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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858529-1244873709/watcher-1858529-1244873709 -o /tmp/evaluation-result-1858529-1244873709/solver-1858529-1244873709 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858529-1244873709.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.85 0.98 0.99 3/64 10642
/proc/meminfo: memFree=1000864/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) R 10640 10642 10599 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 255548505086 0 0 4224 0 0 0 0 17 1 0 0
/proc/10642/statm: 3067 316 242 3 0 167 0

[startup+0.05983 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 10642
/proc/meminfo: memFree=1000864/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101833 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 10642
/proc/meminfo: memFree=1000864/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301865 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 10642
/proc/meminfo: memFree=1000864/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701934 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 10642
/proc/meminfo: memFree=1000864/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50107 s]
/proc/loadavg: 0.85 0.98 0.99 2/68 10647
/proc/meminfo: memFree=997624/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=4000 CPUtime=1.45
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 820 0 0 0 145 0 0 0 25 0 1 0 154967327 4096000 794 1992294400 134512640 136070948 4294956272 18446744073709551615 134824687 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 1000 794 194 380 0 617 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22880

[startup+3.10135 s]
/proc/loadavg: 0.85 0.98 0.99 2/68 10647
/proc/meminfo: memFree=997496/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=4000 CPUtime=3.05
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 834 0 0 0 305 0 0 0 25 0 1 0 154967327 4096000 808 1992294400 134512640 136070948 4294956272 18446744073709551615 134799691 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 1000 808 194 380 0 617 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22880

[startup+6.30291 s]
/proc/loadavg: 0.86 0.98 0.99 2/68 10647
/proc/meminfo: memFree=996920/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=4396 CPUtime=6.25
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 913 0 0 0 625 0 0 0 25 0 1 0 154967327 4501504 887 1992294400 134512640 136070948 4294956272 18446744073709551615 134655376 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 1099 887 194 380 0 716 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23276

[startup+12.702 s]
/proc/loadavg: 0.87 0.98 0.99 2/68 10647
/proc/meminfo: memFree=996600/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=4664 CPUtime=12.65
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 982 0 0 0 1265 0 0 0 25 0 1 0 154967327 4775936 956 1992294400 134512640 136070948 4294956272 18446744073709551615 134834738 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 1166 956 194 380 0 783 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23544

[startup+25.5022 s]
/proc/loadavg: 0.90 0.98 0.99 2/68 10647
/proc/meminfo: memFree=996344/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=5060 CPUtime=25.44
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 1094 0 0 0 2544 0 0 0 25 0 1 0 154967327 5181440 1068 1992294400 134512640 136070948 4294956272 18446744073709551615 134622996 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 1265 1068 194 380 0 882 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23940

[startup+51.1027 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 10647
/proc/meminfo: memFree=995640/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=5840 CPUtime=51.04
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 1276 0 0 0 5103 1 0 0 25 0 1 0 154967327 5980160 1250 1992294400 134512640 136070948 4294956272 18446744073709551615 134647474 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 1460 1250 194 380 0 1077 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24720

[startup+102.307 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 10647
/proc/meminfo: memFree=994616/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=6752 CPUtime=102.21
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 1513 0 0 0 10220 1 0 0 25 0 1 0 154967327 6914048 1487 1992294400 134512640 136070948 4294956272 18446744073709551615 134807656 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 1688 1487 194 380 0 1305 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 25632

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 10647
/proc/meminfo: memFree=993848/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=7544 CPUtime=162.18
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 1702 0 0 0 16217 1 0 0 25 0 1 0 154967327 7725056 1676 1992294400 134512640 136070948 4294956272 18446744073709551615 134835638 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 1886 1676 194 380 0 1503 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 26424

[startup+222.301 s]

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

Current children cumulated vsize (KiB) 33268

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=986808/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=14388 CPUtime=1421.64
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3420 0 0 0 142160 4 0 0 25 0 1 0 154967327 14733312 3376 1992294400 134512640 136070948 4294956272 18446744073709551615 134647760 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 3597 3376 194 380 0 3214 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 33268

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=986552/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=14656 CPUtime=1481.61
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3487 0 0 0 148157 4 0 0 25 0 1 0 154967327 15007744 3443 1992294400 134512640 136070948 4294956272 18446744073709551615 134804033 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 3664 3443 194 380 0 3281 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 33536

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=986488/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=14656 CPUtime=1541.57
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3487 0 0 0 154153 4 0 0 25 0 1 0 154967327 15007744 3443 1992294400 134512640 136070948 4294956272 18446744073709551615 134618849 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 3664 3443 194 380 0 3281 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 33536

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=986488/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=14796 CPUtime=1601.55
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3504 0 0 0 160151 4 0 0 25 0 1 0 154967327 15151104 3460 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 3699 3460 194 380 0 3316 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 33676

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=986296/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=14936 CPUtime=1661.53
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3546 0 0 0 166149 4 0 0 25 0 1 0 154967327 15294464 3502 1992294400 134512640 136070948 4294956272 18446744073709551615 134807812 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 3734 3502 194 380 0 3351 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 33816

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=986040/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=15092 CPUtime=1721.48
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3598 0 0 0 172144 4 0 0 25 0 1 0 154967327 15454208 3554 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 3773 3554 194 380 0 3390 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 33972

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=984952/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=16148 CPUtime=1781.45
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3856 0 0 0 178141 4 0 0 25 0 1 0 154967327 16535552 3812 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 4037 3812 194 380 0 3654 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 35028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=984952/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=16148 CPUtime=1800.05
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3859 0 0 0 180001 4 0 0 25 0 1 0 154967327 16535552 3815 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 4037 3815 194 380 0 3654 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 35028

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10647
/proc/meminfo: memFree=984952/2055920 swapFree=4172160/4192956
[pid=10642] ppid=10640 vsize=12268 CPUtime=0
/proc/10642/stat : 10642 (perl) S 10640 10642 10599 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 154967326 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10642/statm: 3067 411 319 3 0 167 0
[pid=10644] ppid=10642 vsize=5356 CPUtime=0.04
/proc/10644/stat : 10644 (sh) S 10642 10642 10599 0 -1 4194304 305 146 0 0 0 0 4 0 16 0 1 0 154967327 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10644/statm: 1339 227 188 169 0 50 0
[pid=10646] ppid=10644 vsize=16148 CPUtime=1800.05
/proc/10646/stat : 10646 (clasp) R 10644 10642 10599 0 -1 4194304 3859 0 0 0 180001 4 0 0 25 0 1 0 154967327 16535552 3815 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10646/statm: 4037 3815 194 380 0 3654 0
[pid=10647] ppid=10644 vsize=1256 CPUtime=0
/proc/10647/stat : 10647 (pbout) S 10644 10642 10599 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 154967327 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/10647/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 35028

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.12
CPU user time (s): 1800.06
CPU system time (s): 0.05999
CPU usage (%): 99.9558
Max. virtual memory (cumulated for all children) (KiB): 35028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5220
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= 123
involuntary context switches= 5658

runsolver used 1.50277 second user time and 5.05823 second system time

The end