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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858400-1244866356/watcher-1858400-1244866356 -o /tmp/evaluation-result-1858400-1244866356/solver-1858400-1244866356 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858400-1244866356.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.28 1.10 1.03 3/64 6422
/proc/meminfo: memFree=1251584/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0
/proc/6422/stat : 6422 (perl) R 6420 6422 5749 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 154236611 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 226913647205 0 0 4224 0 0 0 0 17 1 0 0
/proc/6422/statm: 3067 316 242 3 0 167 0

[startup+0.062572 s]
/proc/loadavg: 1.28 1.10 1.03 3/64 6422
/proc/meminfo: memFree=1251584/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0.05
/proc/6422/stat : 6422 (perl) R 6420 6422 5749 0 -1 4194304 423 0 0 0 5 0 0 0 18 0 1 0 154236611 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 226922377314 0 0 4224 16386 0 0 0 17 1 0 0
/proc/6422/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12268

[startup+0.101578 s]
/proc/loadavg: 1.28 1.10 1.03 3/64 6422
/proc/meminfo: memFree=1251584/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0.09
/proc/6422/stat : 6422 (perl) R 6420 6422 5749 0 -1 4194304 423 0 0 0 9 0 0 0 18 0 1 0 154236611 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 226922377314 0 0 4224 16386 0 0 0 17 1 0 0
/proc/6422/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12268

[startup+0.301617 s]
/proc/loadavg: 1.28 1.10 1.03 3/64 6422
/proc/meminfo: memFree=1251584/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0.18
/proc/6422/stat : 6422 (perl) S 6420 6422 5749 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154236611 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/6422/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 12268

[startup+0.701693 s]
/proc/loadavg: 1.28 1.10 1.03 3/64 6422
/proc/meminfo: memFree=1251584/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0.18
/proc/6422/stat : 6422 (perl) S 6420 6422 5749 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154236611 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/6422/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 12268

[startup+1.50185 s]
/proc/loadavg: 1.26 1.10 1.03 3/69 6427
/proc/meminfo: memFree=1230040/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0.18
/proc/6422/stat : 6422 (perl) S 6420 6422 5749 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154236611 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/6422/statm: 3067 398 306 3 0 167 0
[pid=6424] ppid=6422 vsize=5356 CPUtime=0
/proc/6424/stat : 6424 (sh) S 6422 6422 5749 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 154236631 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6424/statm: 1339 227 188 169 0 50 0
[pid=6425] ppid=6424 vsize=1260 CPUtime=1.29
/proc/6425/stat : 6425 (pb2lp) R 6424 6422 5749 0 -1 4194304 141 0 0 0 128 1 0 0 17 0 1 0 154236631 1290240 117 1992294400 134512640 135611737 4294956256 18446744073709551615 134602625 0 0 4096 0 0 0 0 17 0 0 0
/proc/6425/statm: 315 117 104 268 0 44 0
[pid=6426] ppid=6424 vsize=35140 CPUtime=0.72
/proc/6426/stat : 6426 (clasp) S 6424 6422 5749 0 -1 4194304 9468 0 0 0 69 3 0 0 16 0 1 0 154236631 35983360 8378 1992294400 134512640 136070948 4294956272 18446744073709551615 135516062 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/6426/statm: 8785 8378 137 380 0 8402 0
[pid=6427] ppid=6424 vsize=1252 CPUtime=0
/proc/6427/stat : 6427 (pbout) S 6424 6422 5749 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154236631 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/6427/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 55276

[startup+3.10215 s]
/proc/loadavg: 1.26 1.10 1.03 2/69 6427
/proc/meminfo: memFree=1203224/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0.18
/proc/6422/stat : 6422 (perl) S 6420 6422 5749 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154236611 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/6422/statm: 3067 398 306 3 0 167 0
[pid=6424] ppid=6422 vsize=5356 CPUtime=1.9
/proc/6424/stat : 6424 (sh) S 6422 6422 5749 0 -1 4194304 305 148 0 0 0 0 189 1 16 0 1 0 154236631 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6424/statm: 1339 227 188 169 0 50 0
[pid=6426] ppid=6424 vsize=93572 CPUtime=2.04
/proc/6426/stat : 6426 (clasp) R 6424 6422 5749 0 -1 4194304 30145 0 0 0 191 13 0 0 18 0 1 0 154236631 95817728 22756 1992294400 134512640 136070948 4294956272 18446744073709551615 135452810 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6426/statm: 23393 22756 184 380 0 23010 0
[pid=6427] ppid=6424 vsize=1252 CPUtime=0
/proc/6427/stat : 6427 (pbout) S 6424 6422 5749 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154236631 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/6427/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.30619 s]
/proc/loadavg: 1.26 1.10 1.03 2/68 6427
/proc/meminfo: memFree=1159776/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0.18
/proc/6422/stat : 6422 (perl) S 6420 6422 5749 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154236611 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/6422/statm: 3067 398 306 3 0 167 0
[pid=6424] ppid=6422 vsize=5356 CPUtime=1.9
/proc/6424/stat : 6424 (sh) S 6422 6422 5749 0 -1 4194304 305 148 0 0 0 0 189 1 16 0 1 0 154236631 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6424/statm: 1339 227 188 169 0 50 0
[pid=6426] ppid=6424 vsize=93572 CPUtime=2.25
/proc/6426/stat : 6426 (clasp) R 6424 6422 5749 0 -1 4194304 30145 0 0 0 212 13 0 0 18 0 1 0 154236631 95817728 22756 1992294400 134512640 136070948 4294956272 18446744073709551615 135447033 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6426/statm: 23393 22756 184 380 0 23010 0
[pid=6427] ppid=6424 vsize=1252 CPUtime=0
/proc/6427/stat : 6427 (pbout) S 6424 6422 5749 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154236631 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/6427/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 112448

[startup+3.40221 s]
/proc/loadavg: 1.26 1.10 1.03 2/68 6427
/proc/meminfo: memFree=1159776/2055920 swapFree=4183064/4192956
[pid=6422] ppid=6420 vsize=12268 CPUtime=0.18
/proc/6422/stat : 6422 (perl) S 6420 6422 5749 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154236611 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/6422/statm: 3067 398 306 3 0 167 0
[pid=6424] ppid=6422 vsize=5356 CPUtime=1.9
/proc/6424/stat : 6424 (sh) S 6422 6422 5749 0 -1 4194304 305 148 0 0 0 0 189 1 16 0 1 0 154236631 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6424/statm: 1339 227 188 169 0 50 0
[pid=6426] ppid=6424 vsize=91292 CPUtime=2.34
/proc/6426/stat : 6426 (clasp) R 6424 6422 5749 0 -1 4194304 30153 0 0 0 221 13 0 0 18 0 1 0 154236631 93483008 22361 1992294400 134512640 136070948 4294956272 18446744073709551615 134653121 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6426/statm: 22823 22361 192 380 0 22440 0
[pid=6427] ppid=6424 vsize=1252 CPUtime=0
/proc/6427/stat : 6427 (pbout) S 6424 6422 5749 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154236631 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/6427/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 110168

Child status: 0
Real time (s): 3.46899
CPU time (s): 4.53531
CPU user time (s): 4.34734
CPU system time (s): 0.187971
CPU usage (%): 130.738
Max. virtual memory (cumulated for all children) (KiB): 114272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.34734
system time used= 0.187971
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= 2616
involuntary context switches= 54

runsolver used 0.004999 second user time and 0.016997 second system time

The end