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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858662-1244885497/watcher-1858662-1244885497 -o /tmp/evaluation-result-1858662-1244885497/solver-1858662-1244885497 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858662-1244885497.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 17759
/proc/meminfo: memFree=1322704/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) R 17757 17759 17274 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 210824297061 0 0 4224 0 0 0 0 17 0 0 0
/proc/17759/statm: 3067 316 242 3 0 167 0

[startup+0.0693641 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17759
/proc/meminfo: memFree=1322704/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101366 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17759
/proc/meminfo: memFree=1322704/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301406 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17759
/proc/meminfo: memFree=1322704/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701485 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17759
/proc/meminfo: memFree=1322704/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 17764
/proc/meminfo: memFree=1312368/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=12456 CPUtime=1.46
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 2924 0 0 0 145 1 0 0 25 0 1 0 41282696 12754944 2898 1992294400 134512640 136070948 4294956272 18446744073709551615 135456502 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 3114 2898 193 380 0 2731 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31336

[startup+3.10296 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 17764
/proc/meminfo: memFree=1310400/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=14000 CPUtime=3.06
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 3322 0 0 0 305 1 0 0 25 0 1 0 41282696 14336000 3296 1992294400 134512640 136070948 4294956272 18446744073709551615 134800606 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 3500 3296 193 380 0 3117 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32880

[startup+6.3016 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 17764
/proc/meminfo: memFree=1307784/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=16692 CPUtime=6.26
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 3975 0 0 0 624 2 0 0 25 0 1 0 41282696 17092608 3949 1992294400 134512640 136070948 4294956272 18446744073709551615 134615184 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 4173 3949 193 380 0 3790 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35572

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 17764
/proc/meminfo: memFree=1305224/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=19364 CPUtime=12.66
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 4660 0 0 0 1264 2 0 0 25 0 1 0 41282696 19828736 4625 1992294400 134512640 136070948 4294956272 18446744073709551615 135456502 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 4841 4625 193 380 0 4458 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38244

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 17764
/proc/meminfo: memFree=1300808/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=22440 CPUtime=25.45
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 5485 0 0 0 2543 2 0 0 25 0 1 0 41282696 22978560 5388 1992294400 134512640 136070948 4294956272 18446744073709551615 134619392 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 5610 5388 193 380 0 5227 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41320

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 17764
/proc/meminfo: memFree=1296136/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=26836 CPUtime=51.04
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 6700 0 0 0 5101 3 0 0 25 0 1 0 41282696 27480064 6513 1992294400 134512640 136070948 4294956272 18446744073709551615 134636928 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 6709 6513 193 380 0 6326 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45716

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 17764
/proc/meminfo: memFree=1292424/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=30796 CPUtime=102.23
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 7708 0 0 0 10219 4 0 0 25 0 1 0 41282696 31535104 7474 1992294400 134512640 136070948 4294956272 18446744073709551615 134831784 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 7699 7474 193 380 0 7316 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49676

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 17764
/proc/meminfo: memFree=1289928/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=33308 CPUtime=162.21
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 8426 0 0 0 16216 5 0 0 25 0 1 0 41282696 34107392 8103 1992294400 134512640 136070948 4294956272 18446744073709551615 134615190 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 8327 8103 193 380 0 7944 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 52188

[startup+222.303 s]

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

/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 76012

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17766
/proc/meminfo: memFree=1265224/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=57460 CPUtime=1481.74
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 15806 0 0 0 148159 15 0 0 25 0 1 0 41282696 58839040 14158 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 14365 14158 193 380 0 13982 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 76340

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17766
/proc/meminfo: memFree=1265096/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=57700 CPUtime=1541.72
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 15856 0 0 0 154157 15 0 0 25 0 1 0 41282696 59084800 14207 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 14425 14207 193 380 0 14042 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 76580

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17766
/proc/meminfo: memFree=1265032/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=57696 CPUtime=1601.7
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 15948 0 0 0 160154 16 0 0 25 0 1 0 41282696 59080704 14213 1992294400 134512640 136070948 4294956272 18446744073709551615 134639708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 14424 14213 193 380 0 14041 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 76576

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17766
/proc/meminfo: memFree=1264584/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=58096 CPUtime=1661.68
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 16063 0 0 0 166152 16 0 0 25 0 1 0 41282696 59490304 14317 1992294400 134512640 136070948 4294956272 18446744073709551615 134632763 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 14524 14317 193 380 0 14141 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 76976

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17766
/proc/meminfo: memFree=1264520/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=58132 CPUtime=1721.65
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 16082 0 0 0 172149 16 0 0 25 0 1 0 41282696 59527168 14326 1992294400 134512640 136070948 4294956272 18446744073709551615 134636578 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 14533 14326 193 380 0 14150 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 77012

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17772
/proc/meminfo: memFree=1264128/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=58772 CPUtime=1781.63
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 16325 0 0 0 178146 17 0 0 25 0 1 0 41282696 60182528 14455 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 14693 14455 193 380 0 14310 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 77652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17772
/proc/meminfo: memFree=1264064/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=58680 CPUtime=1800.03
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 16339 0 0 0 179986 17 0 0 25 0 1 0 41282696 60088320 14463 1992294400 134512640 136070948 4294956272 18446744073709551615 134769753 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 14670 14463 193 380 0 14287 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 77560

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 17772
/proc/meminfo: memFree=1264064/2055920 swapFree=4192952/4192956
[pid=17759] ppid=17757 vsize=12268 CPUtime=0
/proc/17759/stat : 17759 (perl) S 17757 17759 17274 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 41282695 12562432 414 1992294400 4194304 4206940 548682068784 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/17759/statm: 3067 414 319 3 0 167 0
[pid=17761] ppid=17759 vsize=5356 CPUtime=0.03
/proc/17761/stat : 17761 (sh) S 17759 17759 17274 0 -1 4194304 305 150 0 0 0 0 3 0 16 0 1 0 41282696 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17761/statm: 1339 227 188 169 0 50 0
[pid=17763] ppid=17761 vsize=58680 CPUtime=1800.03
/proc/17763/stat : 17763 (clasp) R 17761 17759 17274 0 -1 4194304 16339 0 0 0 179986 17 0 0 25 0 1 0 41282696 60088320 14463 1992294400 134512640 136070948 4294956272 18446744073709551615 134769753 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17763/statm: 14670 14463 193 380 0 14287 0
[pid=17764] ppid=17761 vsize=1256 CPUtime=0
/proc/17764/stat : 17764 (pbout) S 17761 17759 17274 0 -1 4194304 134 0 0 0 0 0 0 0 15 0 1 0 41282696 1286144 111 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/17764/statm: 314 111 96 267 0 44 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 77560

Child status: 0

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

Real time (s): 1800.73
CPU time (s): 1800.06
CPU user time (s): 1799.89
CPU system time (s): 0.17
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 77780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.044993
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1445
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= 72
involuntary context switches= 16

runsolver used 1.47178 second user time and 5.08723 second system time

The end