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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858391-1244865883/watcher-1858391-1244865883 -o /tmp/evaluation-result-1858391-1244865883/solver-1858391-1244865883 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858391-1244865883.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 16228
/proc/meminfo: memFree=786888/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0
/proc/16228/stat : 16228 (perl) R 16226 16228 15837 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 154189119 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 268583008869 0 0 4224 0 0 0 0 17 1 0 0
/proc/16228/statm: 3067 316 242 3 0 167 0

[startup+0.0424851 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16228
/proc/meminfo: memFree=786888/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.03
/proc/16228/stat : 16228 (perl) R 16226 16228 15837 0 -1 4194304 423 0 0 0 3 0 0 0 18 0 1 0 154189119 12562432 390 1992294400 4194304 4206940 548682068784 18446744073709551615 268591738978 0 0 4224 16386 0 0 0 17 1 0 0
/proc/16228/statm: 3067 390 299 3 0 167 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12268

[startup+0.101739 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16228
/proc/meminfo: memFree=786888/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12268

[startup+0.301541 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16228
/proc/meminfo: memFree=786888/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12268

[startup+0.701619 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16228
/proc/meminfo: memFree=786888/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12268

[startup+1.50277 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 16233
/proc/meminfo: memFree=768544/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=38836 CPUtime=0.84
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 11484 0 0 0 79 5 0 0 17 0 1 0 154189127 39768064 9403 1992294400 134512640 136070948 4294956272 18446744073709551615 135447033 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 9709 9403 183 380 0 9326 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 57712

[startup+3.10108 s]
/proc/loadavg: 1.08 1.02 1.01 2/68 16233
/proc/meminfo: memFree=748520/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=38836 CPUtime=2.43
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 11498 0 0 0 238 5 0 0 19 0 1 0 154189127 39768064 9417 1992294400 134512640 136070948 4294956272 18446744073709551615 134835534 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 9709 9417 192 380 0 9326 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 57712

[startup+6.30171 s]
/proc/loadavg: 1.08 1.02 1.01 2/68 16233
/proc/meminfo: memFree=748648/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=38836 CPUtime=5.63
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 11498 0 0 0 558 5 0 0 25 0 1 0 154189127 39768064 9417 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 9709 9417 192 380 0 9326 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 57712

[startup+12.703 s]
/proc/loadavg: 1.07 1.02 1.00 2/68 16233
/proc/meminfo: memFree=748648/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=38836 CPUtime=12.02
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 11498 0 0 0 1197 5 0 0 25 0 1 0 154189127 39768064 9417 1992294400 134512640 136070948 4294956272 18446744073709551615 134622993 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 9709 9417 192 380 0 9326 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 13.03
Current children cumulated vsize (KiB) 57712

[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 1.00 2/68 16233
/proc/meminfo: memFree=743528/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=44308 CPUtime=24.82
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 12883 0 0 0 2475 7 0 0 25 0 1 0 154189127 45371392 10802 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 11077 10802 192 380 0 10694 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 25.83
Current children cumulated vsize (KiB) 63184

[startup+51.1015 s]
/proc/loadavg: 1.04 1.01 1.00 2/68 16233
/proc/meminfo: memFree=736616/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=51148 CPUtime=50.4
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 14563 0 0 0 5031 9 0 0 25 0 1 0 154189127 52375552 12482 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 12787 12482 192 380 0 12404 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 51.41
Current children cumulated vsize (KiB) 70024

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/68 16233
/proc/meminfo: memFree=733416/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=54480 CPUtime=101.58
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 15377 0 0 0 10149 9 0 0 25 0 1 0 154189127 55787520 13296 1992294400 134512640 136070948 4294956272 18446744073709551615 134623393 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 13620 13296 192 380 0 13237 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 102.59
Current children cumulated vsize (KiB) 73356

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=722088/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=65984 CPUtime=161.56
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 18237 0 0 0 16144 12 0 0 25 0 1 0 154189127 67567616 16156 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 16496 16156 192 380 0 16113 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 162.57
Current children cumulated vsize (KiB) 84860

[startup+222.301 s]

################
# More data... #
################

/proc/meminfo: memFree=697704/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=90756 CPUtime=461.46
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 24255 0 0 0 46127 19 0 0 25 0 1 0 154189127 92934144 22174 1992294400 134512640 136070948 4294956272 18446744073709551615 134623010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 22689 22174 192 380 0 22306 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 462.47
Current children cumulated vsize (KiB) 109632

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=92996 CPUtime=521.44
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 24819 0 0 0 52125 19 0 0 25 0 1 0 154189127 95227904 22738 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 23249 22738 192 380 0 22866 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 522.45
Current children cumulated vsize (KiB) 111872

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

[startup+537.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=92996 CPUtime=536.63
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 24819 0 0 0 53644 19 0 0 25 0 1 0 154189127 95227904 22738 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 23249 22738 192 380 0 22866 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 537.64
Current children cumulated vsize (KiB) 111872

[startup+543.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=92996 CPUtime=543.03
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 24819 0 0 0 54284 19 0 0 25 0 1 0 154189127 95227904 22738 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 23249 22738 192 380 0 22866 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 544.04
Current children cumulated vsize (KiB) 111872

[startup+550.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=92996 CPUtime=549.43
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 24819 0 0 0 54924 19 0 0 25 0 1 0 154189127 95227904 22738 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 23249 22738 192 380 0 22866 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 550.44
Current children cumulated vsize (KiB) 111872

[startup+553.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=92996 CPUtime=552.63
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 24821 0 0 0 55244 19 0 0 25 0 1 0 154189127 95227904 22740 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 23249 22740 192 380 0 22866 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 553.64
Current children cumulated vsize (KiB) 111872

[startup+554.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 145 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=92996 CPUtime=553.43
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 24821 0 0 0 55324 19 0 0 25 0 1 0 154189127 95227904 22740 1992294400 134512640 136070948 4294956272 18446744073709551615 134835582 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 23249 22740 192 380 0 22866 0
[pid=16233] ppid=16230 vsize=1252 CPUtime=0
/proc/16233/stat : 16233 (pbout) S 16230 16228 15837 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 154189127 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/16233/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 554.44
Current children cumulated vsize (KiB) 111872

[startup+554.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 279 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=92996 CPUtime=553.82
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 24827 0 0 0 55363 19 0 0 25 0 1 0 154189127 95227904 22746 1992294400 134512640 136070948 4294956272 18446744073709551615 134822986 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 23249 22746 195 380 0 22866 0
Current children cumulated CPU time (s) 554.83
Current children cumulated vsize (KiB) 110620

[startup+555.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 279 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=95864 CPUtime=554.22
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 25369 0 0 0 55403 19 0 0 25 0 1 0 154189127 98164736 23288 1992294400 134512640 136070948 4294956272 18446744073709551615 134612996 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 23966 23288 195 380 0 23583 0
Current children cumulated CPU time (s) 555.23
Current children cumulated vsize (KiB) 113488

[startup+555.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 16233
/proc/meminfo: memFree=695400/2055924 swapFree=4191900/4192956
[pid=16228] ppid=16226 vsize=12268 CPUtime=0.07
/proc/16228/stat : 16228 (perl) S 16226 16228 15837 0 -1 4194304 438 0 0 0 7 0 0 0 18 0 1 0 154189119 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/16228/statm: 3067 398 306 3 0 167 0
[pid=16230] ppid=16228 vsize=5356 CPUtime=0.94
/proc/16230/stat : 16230 (sh) S 16228 16228 15837 0 -1 4194304 305 279 0 0 0 0 94 0 16 0 1 0 154189127 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16230/statm: 1339 227 188 169 0 50 0
[pid=16232] ppid=16230 vsize=96148 CPUtime=554.32
/proc/16232/stat : 16232 (clasp) R 16230 16228 15837 0 -1 4194304 25444 0 0 0 55413 19 0 0 25 0 1 0 154189127 98455552 23363 1992294400 134512640 136070948 4294956272 18446744073709551615 135260995 0 0 4096 16386 0 0 0 17 1 0 0
/proc/16232/statm: 24037 23363 197 380 0 23654 0
Current children cumulated CPU time (s) 555.33
Current children cumulated vsize (KiB) 113772

Child status: 0
Real time (s): 555.256
CPU time (s): 555.424
CPU user time (s): 555.186
CPU system time (s): 0.237963
CPU usage (%): 100.03
Max. virtual memory (cumulated for all children) (KiB): 113772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 555.186
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26790
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= 1272
involuntary context switches= 782

runsolver used 0.502923 second user time and 1.52277 second system time

The end