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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858408-1244866488/watcher-1858408-1244866488 -o /tmp/evaluation-result-1858408-1244866488/solver-1858408-1244866488 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858408-1244866488.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.02 1.02 1.00 3/64 7036
/proc/meminfo: memFree=1235000/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0
/proc/7036/stat : 7036 (perl) R 7034 7036 6443 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 154245578 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 264849374206 0 0 4224 0 0 0 0 17 1 0 0
/proc/7036/statm: 3067 316 242 3 0 167 0

[startup+0.0964981 s]
/proc/loadavg: 1.02 1.02 1.00 3/64 7036
/proc/meminfo: memFree=1235000/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.08
/proc/7036/stat : 7036 (perl) R 7034 7036 6443 0 -1 4194304 423 0 0 0 8 0 0 0 18 0 1 0 154245578 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 264849371234 0 0 4224 16386 0 0 0 17 1 0 0
/proc/7036/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12268

[startup+0.101498 s]
/proc/loadavg: 1.02 1.02 1.00 3/64 7036
/proc/meminfo: memFree=1235000/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.09
/proc/7036/stat : 7036 (perl) R 7034 7036 6443 0 -1 4194304 423 0 0 0 9 0 0 0 18 0 1 0 154245578 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 264849371234 0 0 4224 16386 0 0 0 17 1 0 0
/proc/7036/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12268

[startup+0.301541 s]
/proc/loadavg: 1.02 1.02 1.00 3/64 7036
/proc/meminfo: memFree=1235000/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.18
/proc/7036/stat : 7036 (perl) S 7034 7036 6443 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154245578 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7036/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 12268

[startup+0.702615 s]
/proc/loadavg: 1.02 1.02 1.00 3/64 7036
/proc/meminfo: memFree=1235000/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.18
/proc/7036/stat : 7036 (perl) S 7034 7036 6443 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154245578 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7036/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 12268

[startup+1.50176 s]
/proc/loadavg: 1.02 1.02 1.00 2/69 7041
/proc/meminfo: memFree=1213960/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.18
/proc/7036/stat : 7036 (perl) S 7034 7036 6443 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154245578 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7036/statm: 3067 398 306 3 0 167 0
[pid=7038] ppid=7036 vsize=5356 CPUtime=0
/proc/7038/stat : 7038 (sh) S 7036 7036 6443 0 -1 4194304 305 0 0 0 0 0 0 0 19 0 1 0 154245598 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7038/statm: 1339 227 188 169 0 50 0
[pid=7039] ppid=7038 vsize=1260 CPUtime=1.27
/proc/7039/stat : 7039 (pb2lp) R 7038 7036 6443 0 -1 4194304 141 0 0 0 126 1 0 0 17 0 1 0 154245598 1290240 117 1992294400 134512640 135611737 4294956256 18446744073709551615 134607261 0 0 4096 0 0 0 0 17 0 0 0
/proc/7039/statm: 315 117 104 268 0 44 0
[pid=7040] ppid=7038 vsize=34084 CPUtime=0.7
/proc/7040/stat : 7040 (clasp) R 7038 7036 6443 0 -1 4194304 9197 0 0 0 66 4 0 0 16 0 1 0 154245598 34902016 8107 1992294400 134512640 136070948 4294956272 18446744073709551615 134716738 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7040/statm: 8521 8107 137 380 0 8138 0
[pid=7041] ppid=7038 vsize=1252 CPUtime=0
/proc/7041/stat : 7041 (pbout) S 7038 7036 6443 0 -1 4194304 111 0 0 0 0 0 0 0 16 0 1 0 154245598 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7041/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 54220

[startup+3.10104 s]
/proc/loadavg: 1.10 1.03 1.01 2/69 7041
/proc/meminfo: memFree=1186952/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.18
/proc/7036/stat : 7036 (perl) S 7034 7036 6443 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154245578 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7036/statm: 3067 398 306 3 0 167 0
[pid=7038] ppid=7036 vsize=5356 CPUtime=1.94
/proc/7038/stat : 7038 (sh) S 7036 7036 6443 0 -1 4194304 305 148 0 0 0 0 192 2 16 0 1 0 154245598 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7038/statm: 1339 227 188 169 0 50 0
[pid=7040] ppid=7038 vsize=93700 CPUtime=2.01
/proc/7040/stat : 7040 (clasp) R 7038 7036 6443 0 -1 4194304 30144 0 0 0 188 13 0 0 18 0 1 0 154245598 95948800 22757 1992294400 134512640 136070948 4294956272 18446744073709551615 134750090 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7040/statm: 23425 22757 184 380 0 23042 0
[pid=7041] ppid=7038 vsize=1252 CPUtime=0
/proc/7041/stat : 7041 (pbout) S 7038 7036 6443 0 -1 4194304 111 0 0 0 0 0 0 0 16 0 1 0 154245598 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7041/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 112576

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

[startup+3.50112 s]
/proc/loadavg: 1.10 1.03 1.01 2/68 7041
/proc/meminfo: memFree=1143120/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.18
/proc/7036/stat : 7036 (perl) S 7034 7036 6443 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154245578 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7036/statm: 3067 398 306 3 0 167 0
[pid=7038] ppid=7036 vsize=5356 CPUtime=1.94
/proc/7038/stat : 7038 (sh) S 7036 7036 6443 0 -1 4194304 305 148 0 0 0 0 192 2 16 0 1 0 154245598 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7038/statm: 1339 227 188 169 0 50 0
[pid=7040] ppid=7038 vsize=90128 CPUtime=2.41
/proc/7040/stat : 7040 (clasp) R 7038 7036 6443 0 -1 4194304 30154 0 0 0 228 13 0 0 18 0 1 0 154245598 92291072 22041 1992294400 134512640 136070948 4294956272 18446744073709551615 134653104 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7040/statm: 22532 22041 193 380 0 22149 0
[pid=7041] ppid=7038 vsize=1252 CPUtime=0
/proc/7041/stat : 7041 (pbout) S 7038 7036 6443 0 -1 4194304 111 0 0 0 0 0 0 0 16 0 1 0 154245598 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7041/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 109004

[startup+3.70116 s]
/proc/loadavg: 1.10 1.03 1.01 2/68 7041
/proc/meminfo: memFree=1143120/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.18
/proc/7036/stat : 7036 (perl) S 7034 7036 6443 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154245578 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7036/statm: 3067 398 306 3 0 167 0
[pid=7038] ppid=7036 vsize=5356 CPUtime=1.94
/proc/7038/stat : 7038 (sh) S 7036 7036 6443 0 -1 4194304 305 148 0 0 0 0 192 2 16 0 1 0 154245598 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7038/statm: 1339 227 188 169 0 50 0
[pid=7040] ppid=7038 vsize=90128 CPUtime=2.61
/proc/7040/stat : 7040 (clasp) R 7038 7036 6443 0 -1 4194304 30154 0 0 0 248 13 0 0 18 0 1 0 154245598 92291072 22041 1992294400 134512640 136070948 4294956272 18446744073709551615 134653121 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7040/statm: 22532 22041 193 380 0 22149 0
[pid=7041] ppid=7038 vsize=1252 CPUtime=0
/proc/7041/stat : 7041 (pbout) S 7038 7036 6443 0 -1 4194304 111 0 0 0 0 0 0 0 16 0 1 0 154245598 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/7041/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 109004

[startup+3.80117 s]
/proc/loadavg: 1.10 1.03 1.01 2/68 7041
/proc/meminfo: memFree=1143120/2055920 swapFree=4191900/4192956
[pid=7036] ppid=7034 vsize=12268 CPUtime=0.18
/proc/7036/stat : 7036 (perl) S 7034 7036 6443 0 -1 4194304 438 0 0 0 18 0 0 0 18 0 1 0 154245578 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/7036/statm: 3067 398 306 3 0 167 0
[pid=7038] ppid=7036 vsize=5356 CPUtime=1.94
/proc/7038/stat : 7038 (sh) S 7036 7036 6443 0 -1 4194304 305 280 0 0 0 0 192 2 16 0 1 0 154245598 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7038/statm: 1339 227 188 169 0 50 0
[pid=7040] ppid=7038 vsize=52944 CPUtime=2.71
/proc/7040/stat : 7040 (clasp) R 7038 7036 6443 0 -1 4194304 30160 0 0 0 257 14 0 0 18 0 1 0 154245598 54214656 13049 1992294400 134512640 136070948 4294956272 18446744073709551615 135521201 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7040/statm: 13236 12726 199 380 0 12853 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 70568

Child status: 0
Real time (s): 3.81422
CPU time (s): 4.88626
CPU user time (s): 4.68929
CPU system time (s): 0.19697
CPU usage (%): 128.106
Max. virtual memory (cumulated for all children) (KiB): 114400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.68929
system time used= 0.19697
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= 2618
involuntary context switches= 75

runsolver used 0.004999 second user time and 0.016997 second system time

The end