runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858395-1244866249/watcher-1858395-1244866249 -o /tmp/evaluation-result-1858395-1244866249/solver-1858395-1244866249 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858395-1244866249.opb HOME HOME 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12538
/proc/meminfo: memFree=1471816/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0
/proc/12538/stat : 12538 (perl) R 12536 12538 12107 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 154222136 12562432 317 1992294400 4194304 4206940 548682068784 18446744073709551615 213116506823 0 0 4224 0 0 0 0 17 0 0 0
/proc/12538/statm: 3067 321 243 3 0 167 0

[startup+0.0194141 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12538
/proc/meminfo: memFree=1471816/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0.01
/proc/12538/stat : 12538 (perl) R 12536 12538 12107 0 -1 4194304 423 0 0 0 1 0 0 0 18 0 1 0 154222136 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 213125214306 0 0 4224 16386 0 0 0 17 0 0 0
/proc/12538/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12268

[startup+0.101421 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12538
/proc/meminfo: memFree=1471816/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0.09
/proc/12538/stat : 12538 (perl) R 12536 12538 12107 0 -1 4194304 423 0 0 0 9 0 0 0 18 0 1 0 154222136 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 213125214306 0 0 4224 16386 0 0 0 17 0 0 0
/proc/12538/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12268

[startup+0.301451 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12538
/proc/meminfo: memFree=1471816/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0.16
/proc/12538/stat : 12538 (perl) S 12536 12538 12107 0 -1 4194304 438 0 0 0 16 0 0 0 18 0 1 0 154222136 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 213125218196 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12538/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 12268

[startup+0.701495 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12538
/proc/meminfo: memFree=1471816/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0.16
/proc/12538/stat : 12538 (perl) S 12536 12538 12107 0 -1 4194304 438 0 0 0 16 0 0 0 18 0 1 0 154222136 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 213125218196 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12538/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 12268

[startup+1.50258 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 12543
/proc/meminfo: memFree=1449496/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0.16
/proc/12538/stat : 12538 (perl) S 12536 12538 12107 0 -1 4194304 438 0 0 0 16 0 0 0 18 0 1 0 154222136 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 213125218196 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12538/statm: 3067 398 306 3 0 167 0
[pid=12540] ppid=12538 vsize=5356 CPUtime=0
/proc/12540/stat : 12540 (sh) S 12538 12538 12107 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 154222154 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12540/statm: 1339 227 188 169 0 50 0
[pid=12541] ppid=12540 vsize=1260 CPUtime=1.3
/proc/12541/stat : 12541 (pb2lp) R 12540 12538 12107 0 -1 4194304 141 0 0 0 130 0 0 0 23 0 1 0 154222154 1290240 117 1992294400 134512640 135611737 4294956256 18446744073709551615 134607232 0 0 4096 0 0 0 0 17 1 0 0
/proc/12541/statm: 315 117 104 268 0 44 0
[pid=12542] ppid=12540 vsize=35012 CPUtime=0.71
/proc/12542/stat : 12542 (clasp) S 12540 12538 12107 0 -1 4194304 9414 0 0 0 67 4 0 0 16 0 1 0 154222154 35852288 8324 1992294400 134512640 136070948 4294956272 18446744073709551615 135516062 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12542/statm: 8753 8324 137 380 0 8370 0
[pid=12543] ppid=12540 vsize=1252 CPUtime=0
/proc/12543/stat : 12543 (pbout) S 12540 12538 12107 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 154222154 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/12543/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 55148

[startup+3.10275 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 12543
/proc/meminfo: memFree=1423320/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0.16
/proc/12538/stat : 12538 (perl) S 12536 12538 12107 0 -1 4194304 438 0 0 0 16 0 0 0 18 0 1 0 154222136 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 213125218196 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12538/statm: 3067 398 306 3 0 167 0
[pid=12540] ppid=12538 vsize=5356 CPUtime=1.96
/proc/12540/stat : 12540 (sh) S 12538 12538 12107 0 -1 4194304 305 148 0 0 0 0 194 2 16 0 1 0 154222154 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12540/statm: 1339 227 188 169 0 50 0
[pid=12542] ppid=12540 vsize=93572 CPUtime=2
/proc/12542/stat : 12542 (clasp) R 12540 12538 12107 0 -1 4194304 30144 0 0 0 187 13 0 0 18 0 1 0 154222154 95817728 22755 1992294400 134512640 136070948 4294956272 18446744073709551615 134750107 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12542/statm: 23393 22755 184 380 0 23010 0
[pid=12543] ppid=12540 vsize=1252 CPUtime=0
/proc/12543/stat : 12543 (pbout) S 12540 12538 12107 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 154222154 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/12543/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 112448

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

[startup+3.50279 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12543
/proc/meminfo: memFree=1380000/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0.16
/proc/12538/stat : 12538 (perl) S 12536 12538 12107 0 -1 4194304 438 0 0 0 16 0 0 0 18 0 1 0 154222136 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 213125218196 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12538/statm: 3067 398 306 3 0 167 0
[pid=12540] ppid=12538 vsize=5356 CPUtime=1.96
/proc/12540/stat : 12540 (sh) S 12538 12538 12107 0 -1 4194304 305 148 0 0 0 0 194 2 16 0 1 0 154222154 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12540/statm: 1339 227 188 169 0 50 0
[pid=12542] ppid=12540 vsize=90000 CPUtime=2.4
/proc/12542/stat : 12542 (clasp) R 12540 12538 12107 0 -1 4194304 30154 0 0 0 227 13 0 0 18 0 1 0 154222154 92160000 22039 1992294400 134512640 136070948 4294956272 18446744073709551615 134799818 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12542/statm: 22500 22039 193 380 0 22117 0
[pid=12543] ppid=12540 vsize=1252 CPUtime=0
/proc/12543/stat : 12543 (pbout) S 12540 12538 12107 0 -1 4194304 111 0 0 0 0 0 0 0 22 0 1 0 154222154 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/12543/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 108876

[startup+3.90284 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12543
/proc/meminfo: memFree=1380000/2055920 swapFree=4191900/4192956
[pid=12538] ppid=12536 vsize=12268 CPUtime=0.16
/proc/12538/stat : 12538 (perl) S 12536 12538 12107 0 -1 4194304 438 0 0 0 16 0 0 0 18 0 1 0 154222136 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 213125218196 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12538/statm: 3067 398 306 3 0 167 0
[pid=12540] ppid=12538 vsize=5356 CPUtime=1.96
/proc/12540/stat : 12540 (sh) S 12538 12538 12107 0 -1 4194304 305 148 0 0 0 0 194 2 16 0 1 0 154222154 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12540/statm: 1339 227 188 169 0 50 0
[pid=12542] ppid=12540 vsize=90000 CPUtime=2.8
/proc/12542/stat : 12542 (clasp) R 12540 12538 12107 0 -1 4194304 30157 0 0 0 267 13 0 0 19 0 1 0 154222154 92160000 22042 1992294400 134512640 136070948 4294956272 18446744073709551615 135516158 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12542/statm: 22500 22042 196 380 0 22117 0
[pid=12543] ppid=12540 vsize=1252 CPUtime=0
/proc/12543/stat : 12543 (pbout) R 12540 12538 12107 0 -1 4194304 111 0 0 0 0 0 0 0 16 0 1 0 154222154 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12543/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 108876

Child status: 0
Real time (s): 3.93104
CPU time (s): 4.98924
CPU user time (s): 4.80527
CPU system time (s): 0.183972
CPU usage (%): 126.919
Max. virtual memory (cumulated for all children) (KiB): 114272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.80527
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31507
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= 2613
involuntary context switches= 119

runsolver used 0.007998 second user time and 0.013997 second system time

The end