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/201012091434/cudf2pbo4user-1.0/rand5619c8.cudf.easy.log.runsolver ./cudf2pbo4user-1.0 /home/misc2010/data/2010/easy//rand5619c8.cudf /home/misc2010/tmp/201012091434/cudf2pbo4user-1.0/rand5619c8.cudf.easy.result -changed,-removed,-unmet_recommends,-new 

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.41 1.13 1.01 3/40 28292
/proc/meminfo: memFree=388344/1048576 swapFree=2095372/2097144
[pid=28291] ppid=28290 vsize=2572 CPUtime=0
/proc/28291/stat : 28291 (cudf2pbo4user-1) S 28290 28291 25521 34816 25544 4202496 383 0 0 0 0 0 0 0 18 0 1 0 900074821 2633728 280 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/28291/statm: 643 280 240 194 0 29 0
[pid=28292] ppid=28291 vsize=2572 CPUtime=0
/proc/28292/stat : 28292 (cudf2pbo4user-1) D 28291 28291 25521 34816 25544 4202560 80 0 0 0 0 0 0 0 18 0 1 0 900074821 2633728 103 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 0 0 0 18446744071564252162 0 0 17 0 0 0 0
/proc/28292/statm: 643 103 62 194 0 29 0

[startup+0.202274 s]
/proc/loadavg: 1.41 1.13 1.01 3/40 28292
/proc/meminfo: memFree=388344/1048576 swapFree=2095372/2097144
[pid=28291] ppid=28290 vsize=2572 CPUtime=0
/proc/28291/stat : 28291 (cudf2pbo4user-1) S 28290 28291 25521 34816 25544 4202496 383 0 0 0 0 0 0 0 18 0 1 0 900074821 2633728 280 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/28291/statm: 643 280 240 194 0 29 0
[pid=28292] ppid=28291 vsize=9984 CPUtime=0.18
/proc/28292/stat : 28292 (cudf_msu32) R 28291 28291 25521 34816 25544 4202496 2296 0 0 0 18 0 0 0 25 0 1 0 900074821 10223616 2188 1283457024 134512640 136125367 4287046368 18446744073709551615 134712208 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/28292/statm: 2496 2188 146 394 0 2100 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 12556

[startup+0.312299 s]
/proc/loadavg: 1.41 1.13 1.01 3/40 28292
/proc/meminfo: memFree=388344/1048576 swapFree=2095372/2097144
[pid=28291] ppid=28290 vsize=2572 CPUtime=0
/proc/28291/stat : 28291 (cudf2pbo4user-1) S 28290 28291 25521 34816 25544 4202496 383 0 0 0 0 0 0 0 18 0 1 0 900074821 2633728 280 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/28291/statm: 643 280 240 194 0 29 0
[pid=28292] ppid=28291 vsize=14008 CPUtime=0.28
/proc/28292/stat : 28292 (cudf_msu32) R 28291 28291 25521 34816 25544 4202496 3325 0 0 0 28 0 0 0 25 0 1 0 900074821 14344192 3217 1283457024 134512640 136125367 4287046368 18446744073709551615 134718131 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/28292/statm: 3502 3217 147 394 0 3106 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16580

[startup+0.402322 s]
/proc/loadavg: 1.41 1.13 1.01 3/40 28292
/proc/meminfo: memFree=388344/1048576 swapFree=2095372/2097144
[pid=28291] ppid=28290 vsize=2572 CPUtime=0
/proc/28291/stat : 28291 (cudf2pbo4user-1) S 28290 28291 25521 34816 25544 4202496 383 0 0 0 0 0 0 0 18 0 1 0 900074821 2633728 280 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/28291/statm: 643 280 240 194 0 29 0
[pid=28292] ppid=28291 vsize=17108 CPUtime=0.38
/proc/28292/stat : 28292 (cudf_msu32) R 28291 28291 25521 34816 25544 4202496 4099 0 0 0 38 0 0 0 25 0 1 0 900074821 17518592 3991 1283457024 134512640 136125367 4287046368 18446744073709551615 134718286 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/28292/statm: 4277 3991 147 394 0 3881 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 19680

[startup+0.712387 s]
/proc/loadavg: 1.41 1.13 1.01 3/40 28292
/proc/meminfo: memFree=388344/1048576 swapFree=2095372/2097144
[pid=28291] ppid=28290 vsize=2572 CPUtime=0
/proc/28291/stat : 28291 (cudf2pbo4user-1) S 28290 28291 25521 34816 25544 4202496 383 0 0 0 0 0 0 0 18 0 1 0 900074821 2633728 280 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/28291/statm: 643 280 240 194 0 29 0
[pid=28292] ppid=28291 vsize=24824 CPUtime=0.69
/proc/28292/stat : 28292 (cudf_msu32) R 28291 28291 25521 34816 25544 4202496 6058 0 0 0 60 9 0 0 25 0 1 0 900074821 25419776 5950 1283457024 134512640 136125367 4287046368 18446744073709551615 135526072 0 0 0 25121 0 0 0 17 0 0 0 0
/proc/28292/statm: 6206 5950 169 394 0 5810 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27396

[startup+1.5126 s]
/proc/loadavg: 1.41 1.13 1.01 2/41 28294
/proc/meminfo: memFree=378280/1048576 swapFree=2095372/2097144
[pid=28291] ppid=28290 vsize=2572 CPUtime=0.77
/proc/28291/stat : 28291 (cudf2pbo4user-1) S 28290 28291 25521 34816 25544 4202496 401 6060 0 0 0 0 66 11 20 0 1 0 900074821 2633728 281 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/28291/statm: 643 281 241 194 0 29 0
[pid=28294] ppid=28291 vsize=11536 CPUtime=0.71
/proc/28294/stat : 28294 (bmo-pblex32) R 28291 28291 25521 34816 25544 4202496 3126 0 0 0 53 18 0 0 23 0 1 0 900074901 11812864 2509 1283457024 134512640 135887319 4288216096 18446744073709551615 135381651 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/28294/statm: 2884 2509 137 336 0 2546 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14108

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

[startup+1.71265 s]
/proc/loadavg: 1.41 1.13 1.01 2/41 28294
/proc/meminfo: memFree=378280/1048576 swapFree=2095372/2097144
[pid=28291] ppid=28290 vsize=2572 CPUtime=0.77
/proc/28291/stat : 28291 (cudf2pbo4user-1) S 28290 28291 25521 34816 25544 4202496 401 6060 0 0 0 0 66 11 20 0 1 0 900074821 2633728 281 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/28291/statm: 643 281 241 194 0 29 0
[pid=28294] ppid=28291 vsize=11808 CPUtime=0.91
/proc/28294/stat : 28294 (bmo-pblex32) R 28291 28291 25521 34816 25544 4202496 3191 0 0 0 67 24 0 0 25 0 1 0 900074901 12091392 2574 1283457024 134512640 135887319 4288216096 18446744073709551615 135381649 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/28294/statm: 2952 2574 137 336 0 2614 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 14380

[startup+1.9127 s]
/proc/loadavg: 1.41 1.13 1.01 2/41 28294
/proc/meminfo: memFree=378280/1048576 swapFree=2095372/2097144
[pid=28291] ppid=28290 vsize=2572 CPUtime=0.77
/proc/28291/stat : 28291 (cudf2pbo4user-1) S 28290 28291 25521 34816 25544 4202496 401 6060 0 0 0 0 66 11 20 0 1 0 900074821 2633728 281 1283457024 134512640 135304128 4293109808 18446744073709551615 4294960130 0 65536 4 82434 18446744071564329979 0 0 17 0 0 0 0
/proc/28291/statm: 643 281 241 194 0 29 0
[pid=28294] ppid=28291 vsize=20728 CPUtime=1.12
/proc/28294/stat : 28294 (bmo-pblex32) R 28291 28291 25521 34816 25544 4202496 7167 0 0 0 85 27 0 0 25 0 1 0 900074901 21225472 4846 1283457024 134512640 135887319 4288216096 18446744073709551615 134617654 0 0 0 16899 0 0 0 17 0 0 0 0
/proc/28294/statm: 5182 4846 143 336 0 4844 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 23300

Child status: 0
Real time (s): 1.96572
CPU time (s): 1.94812
CPU user time (s): 1.5481
CPU system time (s): 0.400025
CPU usage (%): 99.1045
Max. virtual memory (cumulated for all children) (KiB): 27396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.5481
system time used= 0.400025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15247
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= 9
involuntary context switches= 1023

runsolver used 0 second user time and 0 second system time

The end