runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103031013/uns-paranoid-0.0004/4019.cudf.caixa.log.runsolver ./uns-paranoid-0.0004 /home/misc2010/data/misc4/caixa//4019.cudf /home/misc2010/tmp/201103031013/uns-paranoid-0.0004/4019.cudf.caixa.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.10 1.91 1.74 4/34 25428
/proc/meminfo: memFree=292460/1048576 swapFree=0/0
[pid=25427] ppid=25426 vsize=1676 CPUtime=0
/proc/25427/stat : 25427 (uns-paranoid-0.) S 25426 25427 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76078445 1716224 130 1283457024 134512640 134593992 4290889296 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25427/statm: 419 130 113 20 0 46 0
[pid=25428] ppid=25427 vsize=8752 CPUtime=0.02
/proc/25428/stat : 25428 (cudfsolver-stat) R 25427 25427 29493 34817 29493 4202496 564 0 0 0 2 0 0 0 25 0 1 0 76078445 8962048 512 1283457024 134512640 141746657 4292366224 18446744073709551615 134637235 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25428/statm: 2188 512 147 1767 0 398 0

[startup+0.218228 s]
/proc/loadavg: 2.10 1.91 1.74 4/34 25428
/proc/meminfo: memFree=292460/1048576 swapFree=0/0
[pid=25427] ppid=25426 vsize=1676 CPUtime=0
/proc/25427/stat : 25427 (uns-paranoid-0.) S 25426 25427 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76078445 1716224 130 1283457024 134512640 134593992 4290889296 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25427/statm: 419 130 113 20 0 46 0
[pid=25428] ppid=25427 vsize=22300 CPUtime=0.21
/proc/25428/stat : 25428 (cudfsolver-stat) R 25427 25427 29493 34817 29493 4202496 4030 0 0 0 18 3 0 0 25 0 1 0 76078445 22835200 3850 1283457024 134512640 141746657 4292366224 18446744073709551615 140925728 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25428/statm: 5575 3850 148 1767 0 3785 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 23976

[startup+0.308249 s]
/proc/loadavg: 2.10 1.91 1.74 4/34 25428
/proc/meminfo: memFree=292460/1048576 swapFree=0/0
[pid=25427] ppid=25426 vsize=1676 CPUtime=0
/proc/25427/stat : 25427 (uns-paranoid-0.) S 25426 25427 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76078445 1716224 130 1283457024 134512640 134593992 4290889296 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25427/statm: 419 130 113 20 0 46 0
[pid=25428] ppid=25427 vsize=28124 CPUtime=0.3
/proc/25428/stat : 25428 (cudfsolver-stat) R 25427 25427 29493 34817 29493 4202496 5520 0 0 0 26 4 0 0 25 0 1 0 76078445 28798976 5321 1283457024 134512640 141746657 4292366224 18446744073709551615 134598204 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25428/statm: 7031 5321 148 1767 0 5241 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 29800

[startup+0.408271 s]
/proc/loadavg: 2.10 1.91 1.74 4/34 25428
/proc/meminfo: memFree=292460/1048576 swapFree=0/0
[pid=25427] ppid=25426 vsize=1676 CPUtime=0
/proc/25427/stat : 25427 (uns-paranoid-0.) S 25426 25427 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76078445 1716224 130 1283457024 134512640 134593992 4290889296 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25427/statm: 419 130 113 20 0 46 0
[pid=25428] ppid=25427 vsize=34124 CPUtime=0.4
/proc/25428/stat : 25428 (cudfsolver-stat) R 25427 25427 29493 34817 29493 4202496 7052 0 0 0 36 4 0 0 25 0 1 0 76078445 34942976 6835 1283457024 134512640 141746657 4292366224 18446744073709551615 134632224 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25428/statm: 8531 6835 148 1767 0 6741 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 35800

[startup+0.708335 s]
/proc/loadavg: 2.10 1.91 1.74 4/34 25428
/proc/meminfo: memFree=292460/1048576 swapFree=0/0
[pid=25427] ppid=25426 vsize=1676 CPUtime=0
/proc/25427/stat : 25427 (uns-paranoid-0.) S 25426 25427 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76078445 1716224 130 1283457024 134512640 134593992 4290889296 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25427/statm: 419 130 113 20 0 46 0
[pid=25428] ppid=25427 vsize=52328 CPUtime=0.7
/proc/25428/stat : 25428 (cudfsolver-stat) R 25427 25427 29493 34817 29493 4202496 11794 0 0 0 63 7 0 0 25 0 1 0 76078445 53583872 11331 1283457024 134512640 141746657 4292366224 18446744073709551615 140925807 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25428/statm: 13082 11331 148 1767 0 11292 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 54004

[startup+1.50852 s]
/proc/loadavg: 2.10 1.91 1.74 2/35 25429
/proc/meminfo: memFree=234988/1048576 swapFree=0/0
[pid=25427] ppid=25426 vsize=1676 CPUtime=0
/proc/25427/stat : 25427 (uns-paranoid-0.) S 25426 25427 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76078445 1716224 130 1283457024 134512640 134593992 4290889296 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25427/statm: 419 130 113 20 0 46 0
[pid=25428] ppid=25427 vsize=73056 CPUtime=1.5
/proc/25428/stat : 25428 (cudfsolver-stat) R 25427 25427 29493 34817 29493 4202496 16503 0 0 0 143 7 0 0 25 0 1 0 76078445 74809344 15852 1283457024 134512640 141746657 4292366224 18446744073709551615 138886449 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25428/statm: 18264 15852 899 1767 0 16111 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 74732

Solver just ended. Dumping a history of the last processes samples

[startup+1.70858 s]
/proc/loadavg: 2.10 1.91 1.74 2/35 25429
/proc/meminfo: memFree=234988/1048576 swapFree=0/0
[pid=25427] ppid=25426 vsize=1676 CPUtime=0
/proc/25427/stat : 25427 (uns-paranoid-0.) S 25426 25427 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 18 0 1 0 76078445 1716224 130 1283457024 134512640 134593992 4290889296 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25427/statm: 419 130 113 20 0 46 0
[pid=25428] ppid=25427 vsize=72484 CPUtime=1.7
/proc/25428/stat : 25428 (cudfsolver-stat) R 25427 25427 29493 34817 29493 4202496 16545 0 0 0 162 8 0 0 25 0 1 0 76078445 74223616 15760 1283457024 134512640 141746657 4292366224 18446744073709551615 140691965 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25428/statm: 18121 15760 921 1767 0 15968 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 74160

Child status: 0
Real time (s): 1.74294
CPU time (s): 1.74011
CPU user time (s): 1.6481
CPU system time (s): 0.092005
CPU usage (%): 99.8375
Max. virtual memory (cumulated for all children) (KiB): 74732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.6481
system time used= 0.092005
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 27

runsolver used 0 second user time and 0 second system time

The end