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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858802-1244893878/watcher-1858802-1244893878 -o /tmp/evaluation-result-1858802-1244893878/solver-1858802-1244893878 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858802-1244893878.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.92 0.98 0.99 3/64 11759
/proc/meminfo: memFree=1297896/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) R 11757 11759 11578 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 245482879589 0 0 4224 0 0 0 0 17 1 0 0
/proc/11759/statm: 3067 316 242 3 0 167 0

[startup+0.062754 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11759
/proc/meminfo: memFree=1297896/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101617 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11759
/proc/meminfo: memFree=1297896/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301624 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11759
/proc/meminfo: memFree=1297896/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701669 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11759
/proc/meminfo: memFree=1297896/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50174 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 11764
/proc/meminfo: memFree=1270664/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=27804 CPUtime=1.25
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 9008 0 0 0 122 3 0 0 18 0 1 0 156988096 28471296 6701 1992294400 134512640 136070948 4294956272 18446744073709551615 134653150 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 6951 6701 193 380 0 6568 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 46684

[startup+3.1019 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 11764
/proc/meminfo: memFree=1270664/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=36680 CPUtime=2.85
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 11210 0 0 0 281 4 0 0 20 0 1 0 156988096 37560320 8903 1992294400 134512640 136070948 4294956272 18446744073709551615 134614257 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 9170 8903 193 380 0 8787 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 55560

[startup+6.30123 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 11764
/proc/meminfo: memFree=1243016/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=60408 CPUtime=6.05
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 17152 0 0 0 598 7 0 0 25 0 1 0 156988096 61857792 14845 1992294400 134512640 136070948 4294956272 18446744073709551615 135456502 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 15102 14845 193 380 0 14719 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 79288

[startup+12.7029 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 11764
/proc/meminfo: memFree=1210376/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=91456 CPUtime=12.45
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 24895 0 0 0 1233 12 0 0 25 0 1 0 156988096 93650944 22588 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 22864 22588 193 380 0 22481 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 12.95
Current children cumulated vsize (KiB) 110336

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 11764
/proc/meminfo: memFree=1160520/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=138868 CPUtime=25.25
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 36741 0 0 0 2506 19 0 0 25 0 1 0 156988096 142200832 34434 1992294400 134512640 136070948 4294956272 18446744073709551615 135456502 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 34717 34434 193 380 0 34334 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 25.75
Current children cumulated vsize (KiB) 157748

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 11764
/proc/meminfo: memFree=1088520/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=211152 CPUtime=50.84
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 54816 0 0 0 5055 29 0 0 25 0 1 0 156988096 216219648 52509 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 52788 52509 193 380 0 52405 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 51.34
Current children cumulated vsize (KiB) 230032

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 11764
/proc/meminfo: memFree=1047752/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=250544 CPUtime=102.03
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 64661 0 0 0 10169 34 0 0 25 0 1 0 156988096 256557056 62354 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 62636 62354 193 380 0 62253 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 102.53
Current children cumulated vsize (KiB) 269424

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11764
/proc/meminfo: memFree=1020616/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=277576 CPUtime=162.02
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 71425 0 0 0 16163 39 0 0 25 0 1 0 156988096 284237824 69118 1992294400 134512640 136070948 4294956272 18446744073709551615 134830816 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 69394 69118 193 380 0 69011 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 162.52
Current children cumulated vsize (KiB) 296456

[startup+222.301 s]

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

/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1422.2
Current children cumulated vsize (KiB) 473224

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11770
/proc/meminfo: memFree=843720/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=454344 CPUtime=1481.67
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 115536 0 0 0 148100 67 0 0 25 0 1 0 156988096 465248256 113229 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 113586 113229 193 380 0 113203 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 473224

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11770
/proc/meminfo: memFree=843720/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=454344 CPUtime=1541.66
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 115536 0 0 0 154099 67 0 0 25 0 1 0 156988096 465248256 113229 1992294400 134512640 136070948 4294956272 18446744073709551615 134619414 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 113586 113229 193 380 0 113203 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 473224

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11770
/proc/meminfo: memFree=843656/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=454344 CPUtime=1601.64
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 115539 0 0 0 160097 67 0 0 25 0 1 0 156988096 465248256 113232 1992294400 134512640 136070948 4294956272 18446744073709551615 134639745 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 113586 113232 193 380 0 113203 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 473224

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11770
/proc/meminfo: memFree=843656/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=454344 CPUtime=1661.62
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 115547 0 0 0 166095 67 0 0 25 0 1 0 156988096 465248256 113240 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 113586 113240 193 380 0 113203 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 473224

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11770
/proc/meminfo: memFree=843656/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=454344 CPUtime=1721.62
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 115547 0 0 0 172094 68 0 0 25 0 1 0 156988096 465248256 113240 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 113586 113240 193 380 0 113203 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 473224

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11770
/proc/meminfo: memFree=843016/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=454904 CPUtime=1781.6
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 115694 0 0 0 178092 68 0 0 25 0 1 0 156988096 465821696 113387 1992294400 134512640 136070948 4294956272 18446744073709551615 134841811 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 113726 113387 193 380 0 113343 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 473784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11770
/proc/meminfo: memFree=843016/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=454904 CPUtime=1799.6
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 115694 0 0 0 179892 68 0 0 25 0 1 0 156988096 465821696 113387 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 113726 113387 193 380 0 113343 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 473784

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11770
/proc/meminfo: memFree=843016/2055920 swapFree=4182548/4192956
[pid=11759] ppid=11757 vsize=12268 CPUtime=0
/proc/11759/stat : 11759 (perl) S 11757 11759 11578 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 156988095 12562432 413 1992294400 4194304 4206940 548682068784 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11759/statm: 3067 413 319 3 0 167 0
[pid=11761] ppid=11759 vsize=5356 CPUtime=0.5
/proc/11761/stat : 11761 (sh) S 11759 11759 11578 0 -1 4194304 305 150 0 0 0 0 49 1 16 0 1 0 156988096 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11761/statm: 1339 227 188 169 0 50 0
[pid=11763] ppid=11761 vsize=454904 CPUtime=1799.6
/proc/11763/stat : 11763 (clasp) R 11761 11759 11578 0 -1 4194304 115694 0 0 0 179892 68 0 0 25 0 1 0 156988096 465821696 113387 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11763/statm: 113726 113387 193 380 0 113343 0
[pid=11764] ppid=11761 vsize=1256 CPUtime=0
/proc/11764/stat : 11764 (pbout) S 11761 11759 11578 0 -1 4194304 131 0 0 0 0 0 0 0 15 0 1 0 156988096 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/11764/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 473784

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11759 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=499924
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.52392
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.33
CPU time (s): 1800.1
CPU user time (s): 1799.41
CPU system time (s): 0.69
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 473784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.499924
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1446
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= 46
involuntary context switches= 12

runsolver used 1.66575 second user time and 4.89126 second system time

The end