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/4043.cudf.caixa.log.runsolver ./uns-paranoid-0.0004 /home/misc2010/data/misc4/caixa//4043.cudf /home/misc2010/tmp/201103031013/uns-paranoid-0.0004/4043.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: 1.90 1.75 1.71 3/35 32448
/proc/meminfo: memFree=305792/1048576 swapFree=0/0
[pid=32447] ppid=32446 vsize=1672 CPUtime=0
/proc/32447/stat : 32447 (uns-paranoid-0.) S 32446 32447 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76135226 1712128 130 1283457024 134512640 134593992 4293138544 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32447/statm: 418 130 113 20 0 45 0
[pid=32448] ppid=32447 vsize=8100 CPUtime=0
/proc/32448/stat : 32448 (cudfsolver-stat) R 32447 32447 29493 34817 29493 4202496 381 0 0 0 0 0 0 0 25 0 1 0 76135226 8294400 331 1283457024 134512640 141746657 4291028544 18446744073709551615 140691974 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32448/statm: 2025 331 147 1767 0 235 0

[startup+0.169464 s]
/proc/loadavg: 1.90 1.75 1.71 3/35 32448
/proc/meminfo: memFree=305792/1048576 swapFree=0/0
[pid=32447] ppid=32446 vsize=1672 CPUtime=0
/proc/32447/stat : 32447 (uns-paranoid-0.) S 32446 32447 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76135226 1712128 130 1283457024 134512640 134593992 4293138544 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32447/statm: 418 130 113 20 0 45 0
[pid=32448] ppid=32447 vsize=18584 CPUtime=0.16
/proc/32448/stat : 32448 (cudfsolver-stat) R 32447 32447 29493 34817 29493 4202496 3076 0 0 0 15 1 0 0 25 0 1 0 76135226 19030016 2957 1283457024 134512640 141746657 4291028544 18446744073709551615 140925753 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32448/statm: 4646 2957 148 1767 0 2856 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 20256

[startup+0.209471 s]
/proc/loadavg: 1.90 1.75 1.71 3/35 32448
/proc/meminfo: memFree=305792/1048576 swapFree=0/0
[pid=32447] ppid=32446 vsize=1672 CPUtime=0
/proc/32447/stat : 32447 (uns-paranoid-0.) S 32446 32447 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76135226 1712128 130 1283457024 134512640 134593992 4293138544 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32447/statm: 418 130 113 20 0 45 0
[pid=32448] ppid=32447 vsize=20696 CPUtime=0.2
/proc/32448/stat : 32448 (cudfsolver-stat) R 32447 32447 29493 34817 29493 4202496 3616 0 0 0 19 1 0 0 25 0 1 0 76135226 21192704 3478 1283457024 134512640 141746657 4291028544 18446744073709551615 140925762 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32448/statm: 5174 3478 148 1767 0 3384 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 22368

[startup+0.309491 s]
/proc/loadavg: 1.90 1.75 1.71 3/35 32448
/proc/meminfo: memFree=305792/1048576 swapFree=0/0
[pid=32447] ppid=32446 vsize=1672 CPUtime=0
/proc/32447/stat : 32447 (uns-paranoid-0.) S 32446 32447 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76135226 1712128 130 1283457024 134512640 134593992 4293138544 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32447/statm: 418 130 113 20 0 45 0
[pid=32448] ppid=32447 vsize=26744 CPUtime=0.3
/proc/32448/stat : 32448 (cudfsolver-stat) R 32447 32447 29493 34817 29493 4202496 5200 0 0 0 28 2 0 0 25 0 1 0 76135226 27385856 4987 1283457024 134512640 141746657 4291028544 18446744073709551615 140925737 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32448/statm: 6686 4987 148 1767 0 4896 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 28416

[startup+0.709548 s]
/proc/loadavg: 1.90 1.75 1.71 3/35 32448
/proc/meminfo: memFree=305792/1048576 swapFree=0/0
[pid=32447] ppid=32446 vsize=1672 CPUtime=0
/proc/32447/stat : 32447 (uns-paranoid-0.) S 32446 32447 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76135226 1712128 130 1283457024 134512640 134593992 4293138544 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32447/statm: 418 130 113 20 0 45 0
[pid=32448] ppid=32447 vsize=49452 CPUtime=0.7
/proc/32448/stat : 32448 (cudfsolver-stat) R 32447 32447 29493 34817 29493 4202496 11109 0 0 0 65 5 0 0 25 0 1 0 76135226 50638848 10602 1283457024 134512640 141746657 4291028544 18446744073709551615 134632991 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32448/statm: 12363 10602 148 1767 0 10573 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 51124

[startup+1.5097 s]
/proc/loadavg: 1.82 1.73 1.71 2/36 32449
/proc/meminfo: memFree=244544/1048576 swapFree=0/0
[pid=32447] ppid=32446 vsize=1672 CPUtime=0
/proc/32447/stat : 32447 (uns-paranoid-0.) S 32446 32447 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76135226 1712128 130 1283457024 134512640 134593992 4293138544 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32447/statm: 418 130 113 20 0 45 0
[pid=32448] ppid=32447 vsize=77308 CPUtime=1.5
/proc/32448/stat : 32448 (cudfsolver-stat) R 32447 32447 29493 34817 29493 4202496 16824 0 0 0 145 5 0 0 25 0 1 0 76135226 79163392 16175 1283457024 134512640 141746657 4291028544 18446744073709551615 136223314 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32448/statm: 19327 16175 468 1767 0 17174 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 78980

[startup+3.11003 s]
/proc/loadavg: 1.82 1.73 1.71 2/36 32449
/proc/meminfo: memFree=240204/1048576 swapFree=0/0
[pid=32447] ppid=32446 vsize=1672 CPUtime=0
/proc/32447/stat : 32447 (uns-paranoid-0.) S 32446 32447 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76135226 1712128 130 1283457024 134512640 134593992 4293138544 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32447/statm: 418 130 113 20 0 45 0
[pid=32448] ppid=32447 vsize=93692 CPUtime=3.1
/proc/32448/stat : 32448 (cudfsolver-stat) R 32447 32447 29493 34817 29493 4202496 18419 0 0 0 305 5 0 0 25 0 1 0 76135226 95940608 17754 1283457024 134512640 141746657 4291028544 18446744073709551615 136767258 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32448/statm: 23423 17754 728 1767 0 21270 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 95364

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

[startup+3.21006 s]
/proc/loadavg: 1.82 1.73 1.71 2/36 32449
/proc/meminfo: memFree=240204/1048576 swapFree=0/0
[pid=32447] ppid=32446 vsize=1672 CPUtime=0
/proc/32447/stat : 32447 (uns-paranoid-0.) S 32446 32447 29493 34817 29493 4202496 215 0 0 0 0 0 0 0 25 0 1 0 76135226 1712128 130 1283457024 134512640 134593992 4293138544 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/32447/statm: 418 130 113 20 0 45 0
[pid=32448] ppid=32447 vsize=93692 CPUtime=3.2
/proc/32448/stat : 32448 (cudfsolver-stat) R 32447 32447 29493 34817 29493 4202496 19837 0 0 0 312 8 0 0 25 0 1 0 76135226 95940608 19172 1283457024 134512640 141746657 4291028544 18446744073709551615 139320232 0 0 0 0 0 0 0 17 0 0 0 0
/proc/32448/statm: 23423 19172 744 1767 0 21270 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 95364

Child status: 0
Real time (s): 3.28025
CPU time (s): 3.2642
CPU user time (s): 3.1602
CPU system time (s): 0.104006
CPU usage (%): 99.5109
Max. virtual memory (cumulated for all children) (KiB): 95364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.1602
system time used= 0.104006
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20195
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= 51

runsolver used 0.004 second user time and 0 second system time

The end