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/201108251442/aspuncud-paranoid-1.3/rand662.cudf.dudf-random.log.runsolver ./aspuncud-paranoid-1.3 /home/misc2010/data/2011/dudf-random//rand662.cudf /home/misc2010/tmp/201108251442/aspuncud-paranoid-1.3/rand662.cudf.dudf-random.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.54 1.42 1.21 5/35 20997
/proc/meminfo: memFree=334260/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2588 CPUtime=0
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11135544 2650112 279 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/20995/statm: 647 279 234 194 0 34 0
[pid=20996] ppid=20995 vsize=2588 CPUtime=0
/proc/20996/stat : 20996 (aspuncud-parano) R 20995 20995 4778 34817 4778 4202560 110 0 0 0 0 0 0 0 25 0 1 0 11135544 2650112 132 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/20996/statm: 647 132 86 194 0 34 0
[pid=20997] ppid=20996 vsize=2588 CPUtime=0
/proc/20997/stat : 20997 (aspuncud-parano) R 20996 20995 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11135544 2650112 46 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/20997/statm: 647 46 0 194 0 34 0

[startup+0.201621 s]
/proc/loadavg: 1.54 1.42 1.21 5/35 20997
/proc/meminfo: memFree=334260/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2592 CPUtime=0.01
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 657 2940 0 0 0 0 0 1 25 0 1 0 11135544 2654208 297 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20995/statm: 648 297 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.311637 s]
/proc/loadavg: 1.54 1.42 1.21 5/35 20997
/proc/meminfo: memFree=334260/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2592 CPUtime=0.01
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 657 2940 0 0 0 0 0 1 25 0 1 0 11135544 2654208 297 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20995/statm: 648 297 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.411651 s]
/proc/loadavg: 1.54 1.42 1.21 5/35 20997
/proc/meminfo: memFree=334260/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2592 CPUtime=0.01
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 657 2940 0 0 0 0 0 1 25 0 1 0 11135544 2654208 297 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20995/statm: 648 297 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+0.711705 s]
/proc/loadavg: 1.54 1.42 1.21 5/35 20997
/proc/meminfo: memFree=334260/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2592 CPUtime=0.01
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 657 2940 0 0 0 0 0 1 25 0 1 0 11135544 2654208 297 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20995/statm: 648 297 251 194 0 35 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2592

[startup+1.51191 s]
/proc/loadavg: 1.54 1.42 1.21 2/37 21012
/proc/meminfo: memFree=312532/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2592 CPUtime=0.01
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 657 2940 0 0 0 0 0 1 25 0 1 0 11135544 2654208 297 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20995/statm: 648 297 251 194 0 35 0
[pid=21010] ppid=20995 vsize=3444 CPUtime=0
/proc/21010/stat : 21010 (unclasp) S 20995 20995 4778 34817 4778 4202496 406 0 0 0 0 0 0 0 25 0 1 0 11135545 3526656 271 1283457024 134512640 135121179 4286913216 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/21010/statm: 861 271 240 149 0 52 0
[pid=21011] ppid=20995 vsize=2696 CPUtime=0
/proc/21011/stat : 21011 (gringo) S 20995 20995 4778 34817 4778 4202496 409 0 0 0 0 0 0 0 25 0 1 0 11135545 2760704 281 1283457024 134512640 137056543 4287011408 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/21011/statm: 674 281 252 622 0 49 0
[pid=21012] ppid=20995 vsize=25004 CPUtime=1.49
/proc/21012/stat : 21012 (cudf2lp) R 20995 20995 4778 34817 4778 4202496 7222 0 0 0 147 2 0 0 25 0 1 0 11135545 25604096 5630 1283457024 134512640 135786343 4293247184 18446744073709551615 135199560 0 0 6 0 0 0 0 17 0 0 0 0
/proc/21012/statm: 6251 5630 126 311 0 5938 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 33736

[startup+3.11232 s]
/proc/loadavg: 1.50 1.41 1.21 3/37 21012
/proc/meminfo: memFree=289592/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2592 CPUtime=2.36
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 657 15840 0 0 0 0 227 9 18 0 1 0 11135544 2654208 297 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20995/statm: 648 297 251 194 0 35 0
[pid=21010] ppid=20995 vsize=16508 CPUtime=0.12
/proc/21010/stat : 21010 (unclasp) R 20995 20995 4778 34817 4778 4202496 3975 0 0 0 11 1 0 0 18 0 1 0 11135545 16904192 3545 1283457024 134512640 135121179 4286913216 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/21010/statm: 4127 3545 277 149 0 3318 0
[pid=21011] ppid=20995 vsize=23856 CPUtime=0.6
/proc/21011/stat : 21011 (gringo) R 20995 20995 4778 34817 4778 4202496 6552 0 0 0 58 2 0 0 18 0 1 0 11135545 24428544 4476 1283457024 134512640 137056543 4287011408 18446744073709551615 136246383 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/21011/statm: 5964 4476 268 622 0 5339 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42956

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

[startup+3.31241 s]
/proc/loadavg: 1.50 1.41 1.21 3/37 21012
/proc/meminfo: memFree=289592/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2592 CPUtime=3.05
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 657 23215 0 0 0 0 293 12 16 0 1 0 11135544 2654208 297 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20995/statm: 648 297 251 194 0 35 0
[pid=21010] ppid=20995 vsize=22936 CPUtime=0.24
/proc/21010/stat : 21010 (unclasp) R 20995 20995 4778 34817 4778 4202496 5784 0 0 0 20 4 0 0 18 0 1 0 11135545 23486464 5133 1283457024 134512640 135121179 4286913216 18446744073709551615 134691646 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/21010/statm: 5734 5133 296 149 0 4925 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 25528

[startup+3.71256 s]
/proc/loadavg: 1.50 1.41 1.21 2/35 21012
/proc/meminfo: memFree=312564/1048576 swapFree=0/0
[pid=20995] ppid=20994 vsize=2592 CPUtime=3.05
/proc/20995/stat : 20995 (aspuncud-parano) S 20994 20995 4778 34817 4778 4202496 657 23215 0 0 0 0 293 12 16 0 1 0 11135544 2654208 297 1283457024 134512640 135304128 4289604864 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/20995/statm: 648 297 251 194 0 35 0
[pid=21010] ppid=20995 vsize=26348 CPUtime=0.64
/proc/21010/stat : 21010 (unclasp) R 20995 20995 4778 34817 4778 4202496 7962 0 0 0 58 6 0 0 18 0 1 0 11135545 26980352 5795 1283457024 134512640 135121179 4286913216 18446744073709551615 4157552137 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/21010/statm: 6587 5795 337 149 0 5778 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 28940

Child status: 0
Real time (s): 3.74951
CPU time (s): 3.74423
CPU user time (s): 3.54022
CPU system time (s): 0.204012
CPU usage (%): 99.8593
Max. virtual memory (cumulated for all children) (KiB): 67664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.54022
system time used= 0.204012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34446
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= 1166
involuntary context switches= 868

runsolver used 0 second user time and 0 second system time

The end