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/1670.cudf.caixa.log.runsolver ./uns-paranoid-0.0004 /home/misc2010/data/misc4/caixa//1670.cudf /home/misc2010/tmp/201103031013/uns-paranoid-0.0004/1670.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.78 1.74 1.48 4/34 26654
/proc/meminfo: memFree=299508/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=7572 CPUtime=0
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 264 0 0 0 0 0 0 0 25 0 1 0 75862683 7753728 216 1283457024 134512640 141746657 4287820608 18446744073709551615 140925774 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 1893 216 149 1767 0 103 0

[startup+0.203953 s]
/proc/loadavg: 1.78 1.74 1.48 4/34 26654
/proc/meminfo: memFree=299508/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=20196 CPUtime=0.2
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 3467 0 0 0 18 2 0 0 25 0 1 0 75862683 20680704 3348 1283457024 134512640 141746657 4287820608 18446744073709551615 134598180 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 5049 3348 150 1767 0 3259 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 21868

[startup+0.313999 s]
/proc/loadavg: 1.78 1.74 1.48 4/34 26654
/proc/meminfo: memFree=299508/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=24600 CPUtime=0.31
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 4667 0 0 0 27 4 0 0 25 0 1 0 75862683 25190400 4420 1283457024 134512640 141746657 4287820608 18446744073709551615 140922859 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 6150 4420 150 1767 0 4360 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 26272

[startup+0.404027 s]
/proc/loadavg: 1.78 1.74 1.48 4/34 26654
/proc/meminfo: memFree=299508/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=29856 CPUtime=0.4
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 6029 0 0 0 34 6 0 0 25 0 1 0 75862683 30572544 5701 1283457024 134512640 141746657 4287820608 18446744073709551615 140395838 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 7464 5701 150 1767 0 5674 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 31528

[startup+0.704094 s]
/proc/loadavg: 1.78 1.74 1.48 4/34 26654
/proc/meminfo: memFree=299508/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=48980 CPUtime=0.7
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 11001 0 0 0 60 10 0 0 25 0 1 0 75862683 50155520 10450 1283457024 134512640 141746657 4287820608 18446744073709551615 134632388 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 12245 10450 150 1767 0 10455 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 50652

[startup+1.5043 s]
/proc/loadavg: 1.72 1.72 1.48 2/35 26655
/proc/meminfo: memFree=239976/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=73808 CPUtime=1.5
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 16806 0 0 0 139 11 0 0 25 0 1 0 75862683 75579392 16016 1283457024 134512640 141746657 4287820608 18446744073709551615 136578268 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 18452 16016 724 1767 0 16299 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 75480

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

[startup+1.70437 s]
/proc/loadavg: 1.72 1.72 1.48 2/35 26655
/proc/meminfo: memFree=239976/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=73808 CPUtime=1.7
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 17294 0 0 0 159 11 0 0 25 0 1 0 75862683 75579392 16299 1283457024 134512640 141746657 4287820608 18446744073709551615 138885303 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 18452 16299 709 1767 0 16299 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 75480

[startup+2.10447 s]
/proc/loadavg: 1.72 1.72 1.48 2/35 26655
/proc/meminfo: memFree=239976/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=73808 CPUtime=2.1
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 17387 0 0 0 199 11 0 0 25 0 1 0 75862683 75579392 16301 1283457024 134512640 141746657 4287820608 18446744073709551615 138078069 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 18452 16301 707 1767 0 16299 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 75480

[startup+2.20448 s]
/proc/loadavg: 1.72 1.72 1.48 2/35 26655
/proc/meminfo: memFree=239976/1048576 swapFree=0/0
[pid=26653] ppid=26652 vsize=1672 CPUtime=0
/proc/26653/stat : 26653 (uns-paranoid-0.) S 26652 26653 29493 34817 29493 4202496 214 0 0 0 0 0 0 0 18 0 1 0 75862683 1712128 129 1283457024 134512640 134593992 4289924448 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/26653/statm: 418 129 113 20 0 45 0
[pid=26654] ppid=26653 vsize=90192 CPUtime=2.2
/proc/26654/stat : 26654 (cudfsolver-stat) R 26653 26653 29493 34817 29493 4202496 18830 0 0 0 208 12 0 0 25 0 1 0 75862683 92356608 17435 1283457024 134512640 141746657 4287820608 18446744073709551615 134966964 0 0 0 0 0 0 0 17 0 0 0 0
/proc/26654/statm: 22548 17435 776 1767 0 20395 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 91864

Child status: 0
Real time (s): 2.3003
CPU time (s): 2.29614
CPU user time (s): 2.16014
CPU system time (s): 0.136008
CPU usage (%): 99.8193
Max. virtual memory (cumulated for all children) (KiB): 91864

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

runsolver used 0 second user time and 0 second system time

The end