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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1859463-1245211514/watcher-1859463-1245211514 -o /tmp/evaluation-result-1859463-1245211514/solver-1859463-1245211514 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1859463-1245211514.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: 0.99 0.98 0.92 3/65 5982
/proc/meminfo: memFree=1621024/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=18576 CPUtime=0
/proc/5982/stat : 5982 (runsolver) R 5980 5982 5853 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 188749385 19021824 284 1992294400 4194304 4302564 548682068432 18446744073709551615 255372881191 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/5982/statm: 4644 284 249 26 0 2626 0

[startup+0.0510449 s]
/proc/loadavg: 0.99 0.98 0.92 3/65 5982
/proc/meminfo: memFree=1621024/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101044 s]
/proc/loadavg: 0.99 0.98 0.92 3/65 5982
/proc/meminfo: memFree=1621024/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301064 s]
/proc/loadavg: 0.99 0.98 0.92 3/65 5982
/proc/meminfo: memFree=1621024/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701106 s]
/proc/loadavg: 0.99 0.98 0.92 3/65 5982
/proc/meminfo: memFree=1621024/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50119 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1618560/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=3084 CPUtime=1.46
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 597 0 0 0 146 0 0 0 25 0 1 0 188749387 3158016 571 1992294400 134512640 136070948 4294956272 18446744073709551615 134801039 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 771 571 194 380 0 388 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188749387 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21964

[startup+3.10135 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1618112/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=3744 CPUtime=3.06
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 751 0 0 0 306 0 0 0 25 0 1 0 188749387 3833856 725 1992294400 134512640 136070948 4294956272 18446744073709551615 134647456 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 936 725 194 380 0 553 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22624

[startup+6.30269 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1617472/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=4008 CPUtime=6.26
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 810 0 0 0 626 0 0 0 25 0 1 0 188749387 4104192 784 1992294400 134512640 136070948 4294956272 18446744073709551615 134653131 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 1002 784 194 380 0 619 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22888

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1617024/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=4536 CPUtime=12.65
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 941 0 0 0 1265 0 0 0 25 0 1 0 188749387 4644864 915 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 1134 915 194 380 0 751 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23416

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1617024/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=4912 CPUtime=25.44
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 1049 0 0 0 2544 0 0 0 25 0 1 0 188749387 5029888 1014 1992294400 134512640 136070948 4294956272 18446744073709551615 134618942 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 1228 1014 194 380 0 845 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188749387 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 23792

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1616448/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=5312 CPUtime=51.04
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 1156 0 0 0 5103 1 0 0 25 0 1 0 188749387 5439488 1121 1992294400 134512640 136070948 4294956272 18446744073709551615 134799661 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 1328 1121 194 380 0 945 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 24192

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1616064/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=5536 CPUtime=102.22
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 1229 0 0 0 10221 1 0 0 25 0 1 0 188749387 5668864 1193 1992294400 134512640 136070948 4294956272 18446744073709551615 134615360 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 1384 1193 194 380 0 1001 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 24416

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1615936/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=5672 CPUtime=162.19
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 1251 0 0 0 16218 1 0 0 25 0 1 0 188749387 5808128 1215 1992294400 134512640 136070948 4294956272 18446744073709551615 134618957 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 1418 1215 194 380 0 1035 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 24552

[startup+222.301 s]

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

Current children cumulated vsize (KiB) 27688

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612480/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8808 CPUtime=1361.67
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2084 0 0 0 136165 2 0 0 25 0 1 0 188749387 9019392 1987 1992294400 134512640 136070948 4294956272 18446744073709551615 134615226 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2202 1987 194 380 0 1819 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 27688

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612480/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8808 CPUtime=1421.66
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2084 0 0 0 142164 2 0 0 25 0 1 0 188749387 9019392 1987 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2202 1987 194 380 0 1819 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 27688

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612416/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8808 CPUtime=1481.63
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2084 0 0 0 148161 2 0 0 25 0 1 0 188749387 9019392 1987 1992294400 134512640 136070948 4294956272 18446744073709551615 134807575 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2202 1987 194 380 0 1819 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 27688

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612352/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8872 CPUtime=1541.6
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2127 0 0 0 154158 2 0 0 25 0 1 0 188749387 9084928 2023 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2218 2023 194 380 0 1835 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 27752

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612224/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8872 CPUtime=1601.57
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2152 0 0 0 160155 2 0 0 25 0 1 0 188749387 9084928 2023 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2218 2023 194 380 0 1835 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 27752

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612224/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8948 CPUtime=1661.55
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2161 0 0 0 166153 2 0 0 25 0 1 0 188749387 9162752 2032 1992294400 134512640 136070948 4294956272 18446744073709551615 134623305 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2237 2032 194 380 0 1854 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 27828

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612224/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8948 CPUtime=1721.53
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2173 0 0 0 172151 2 0 0 25 0 1 0 188749387 9162752 2042 1992294400 134512640 136070948 4294956272 18446744073709551615 134615434 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2237 2042 194 380 0 1854 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 27828

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612160/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8948 CPUtime=1781.5
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2174 0 0 0 178148 2 0 0 25 0 1 0 188749387 9162752 2043 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2237 2043 194 380 0 1854 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 27828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.92 2/69 5987
/proc/meminfo: memFree=1612160/2055912 swapFree=4192948/4192956
[pid=5982] ppid=5980 vsize=12268 CPUtime=0
/proc/5982/stat : 5982 (perl) S 5980 5982 5853 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188749385 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255381782420 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5982/statm: 3067 411 319 3 0 167 0
[pid=5984] ppid=5982 vsize=5356 CPUtime=0.02
/proc/5984/stat : 5984 (sh) S 5982 5982 5853 0 -1 4194304 305 145 0 0 0 0 2 0 16 0 1 0 188749387 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5984/statm: 1339 227 188 169 0 50 0
[pid=5986] ppid=5984 vsize=8948 CPUtime=1800
/proc/5986/stat : 5986 (clasp) R 5984 5982 5853 0 -1 4194304 2174 0 0 0 179998 2 0 0 25 0 1 0 188749387 9162752 2043 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/5986/statm: 2237 2043 194 380 0 1854 0
[pid=5987] ppid=5984 vsize=1256 CPUtime=0
/proc/5987/stat : 5987 (pbout) S 5984 5982 5853 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188749387 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/5987/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 27828

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.05
CPU user time (s): 1800.01
CPU system time (s): 0.033994
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 27960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3534
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= 140
involuntary context switches= 5596

runsolver used 1.84072 second user time and 4.72128 second system time

The end