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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858545-1244874763/watcher-1858545-1244874763 -o /tmp/evaluation-result-1858545-1244874763/solver-1858545-1244874763 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858545-1244874763.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.84 0.95 0.98 3/64 9672
/proc/meminfo: memFree=972328/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) R 9670 9672 9629 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 238496562174 0 0 4224 0 0 0 0 17 0 0 0
/proc/9672/statm: 3067 316 242 3 0 167 0

[startup+0.0356061 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 9672
/proc/meminfo: memFree=972328/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.102423 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 9672
/proc/meminfo: memFree=972328/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301442 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 9672
/proc/meminfo: memFree=972328/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701488 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 9672
/proc/meminfo: memFree=972328/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50257 s]
/proc/loadavg: 0.84 0.95 0.98 2/68 9677
/proc/meminfo: memFree=969544/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=3556 CPUtime=1.45
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 696 0 0 0 145 0 0 0 25 0 1 0 155076255 3641344 670 1992294400 134512640 136070948 4294956272 18446744073709551615 134835490 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 889 670 194 380 0 506 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22436

[startup+3.10176 s]
/proc/loadavg: 0.85 0.95 0.98 2/68 9677
/proc/meminfo: memFree=969160/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=3820 CPUtime=3.05
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 780 0 0 0 305 0 0 0 25 0 1 0 155076255 3911680 754 1992294400 134512640 136070948 4294956272 18446744073709551615 134822986 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 955 754 194 380 0 572 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22700

[startup+6.30112 s]
/proc/loadavg: 0.85 0.95 0.98 2/68 9677
/proc/meminfo: memFree=968520/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=4480 CPUtime=6.25
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 936 0 0 0 625 0 0 0 25 0 1 0 155076255 4587520 910 1992294400 134512640 136070948 4294956272 18446744073709551615 134824695 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 1120 910 194 380 0 737 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23360

[startup+12.7018 s]
/proc/loadavg: 0.87 0.95 0.98 2/68 9677
/proc/meminfo: memFree=967768/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=5388 CPUtime=12.65
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 1161 0 0 0 1265 0 0 0 25 0 1 0 155076255 5517312 1135 1992294400 134512640 136070948 4294956272 18446744073709551615 134619392 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 1347 1135 194 380 0 964 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24268

[startup+25.5023 s]
/proc/loadavg: 0.89 0.96 0.98 2/68 9677
/proc/meminfo: memFree=966936/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=5928 CPUtime=25.45
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 1300 0 0 0 2544 1 0 0 25 0 1 0 155076255 6070272 1274 1992294400 134512640 136070948 4294956272 18446744073709551615 134801150 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 1482 1274 194 380 0 1099 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24808

[startup+51.1012 s]
/proc/loadavg: 0.93 0.96 0.98 2/68 9677
/proc/meminfo: memFree=965784/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=7292 CPUtime=51.03
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 1634 0 0 0 5102 1 0 0 25 0 1 0 155076255 7467008 1608 1992294400 134512640 136070948 4294956272 18446744073709551615 134799802 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 1823 1608 194 380 0 1440 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 26172

[startup+102.306 s]
/proc/loadavg: 1.07 0.99 0.99 2/68 9677
/proc/meminfo: memFree=964312/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=8596 CPUtime=102.21
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 1980 0 0 0 10219 2 0 0 25 0 1 0 155076255 8802304 1940 1992294400 134512640 136070948 4294956272 18446744073709551615 134801039 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 2149 1940 194 380 0 1766 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27476

[startup+162.302 s]
/proc/loadavg: 1.02 0.99 0.99 2/68 9677
/proc/meminfo: memFree=963416/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=9648 CPUtime=162.18
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 2253 0 0 0 16216 2 0 0 25 0 1 0 155076255 9879552 2213 1992294400 134512640 136070948 4294956272 18446744073709551615 134618942 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 2412 2213 194 380 0 2029 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 28528

[startup+222.303 s]

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

[startup+1362.3 s]
/proc/loadavg: 1.25 1.20 1.07 2/68 9679
/proc/meminfo: memFree=953624/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=19032 CPUtime=1361.67
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 4952 0 0 0 136162 5 0 0 25 0 1 0 155076255 19488768 4566 1992294400 134512640 136070948 4294956272 18446744073709551615 134623190 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 4758 4566 194 380 0 4375 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 37912

[startup+1422.31 s]
/proc/loadavg: 1.11 1.17 1.07 2/68 9679
/proc/meminfo: memFree=953560/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=19032 CPUtime=1421.65
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 4978 0 0 0 142160 5 0 0 25 0 1 0 155076255 19488768 4566 1992294400 134512640 136070948 4294956272 18446744073709551615 134801046 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 4758 4566 194 380 0 4375 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 37912

[startup+1482.3 s]
/proc/loadavg: 1.09 1.16 1.07 2/68 9679
/proc/meminfo: memFree=953560/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=19032 CPUtime=1481.62
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 5000 0 0 0 148157 5 0 0 25 0 1 0 155076255 19488768 4566 1992294400 134512640 136070948 4294956272 18446744073709551615 134841084 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 4758 4566 194 380 0 4375 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 37912

[startup+1542.3 s]
/proc/loadavg: 1.07 1.14 1.07 2/68 9679
/proc/meminfo: memFree=953560/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=19032 CPUtime=1541.59
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 5011 0 0 0 154154 5 0 0 25 0 1 0 155076255 19488768 4566 1992294400 134512640 136070948 4294956272 18446744073709551615 134807599 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 4758 4566 194 380 0 4375 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 37912

[startup+1602.3 s]
/proc/loadavg: 1.02 1.11 1.06 2/68 9679
/proc/meminfo: memFree=953432/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=19364 CPUtime=1601.56
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 5165 0 0 0 160151 5 0 0 25 0 1 0 155076255 19828736 4627 1992294400 134512640 136070948 4294956272 18446744073709551615 134807432 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 4841 4627 194 380 0 4458 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 38244

[startup+1662.3 s]
/proc/loadavg: 1.01 1.09 1.05 2/68 9679
/proc/meminfo: memFree=953048/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=19740 CPUtime=1661.54
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 5274 0 0 0 166149 5 0 0 25 0 1 0 155076255 20213760 4728 1992294400 134512640 136070948 4294956272 18446744073709551615 134618906 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 4935 4728 194 380 0 4552 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 38620

[startup+1722.3 s]
/proc/loadavg: 1.00 1.07 1.05 2/68 9685
/proc/meminfo: memFree=952664/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=19872 CPUtime=1721.52
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 5352 0 0 0 172146 6 0 0 25 0 1 0 155076255 20348928 4755 1992294400 134512640 136070948 4294956272 18446744073709551615 134835594 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 4968 4755 194 380 0 4585 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 38752

[startup+1782.3 s]
/proc/loadavg: 1.00 1.05 1.04 2/68 9685
/proc/meminfo: memFree=952344/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=20316 CPUtime=1781.49
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 5513 0 0 0 178143 6 0 0 25 0 1 0 155076255 20803584 4866 1992294400 134512640 136070948 4294956272 18446744073709551615 134636947 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 5079 4866 194 380 0 4696 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 39196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.05 1.04 2/68 9685
/proc/meminfo: memFree=951960/2055920 swapFree=4182468/4192956
[pid=9672] ppid=9670 vsize=12268 CPUtime=0
/proc/9672/stat : 9672 (perl) S 9670 9672 9629 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 155076254 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/9672/statm: 3067 411 319 3 0 167 0
[pid=9674] ppid=9672 vsize=5356 CPUtime=0.03
/proc/9674/stat : 9674 (sh) S 9672 9672 9629 0 -1 4194304 305 148 0 0 0 0 3 0 16 0 1 0 155076254 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9674/statm: 1339 227 188 169 0 50 0
[pid=9676] ppid=9674 vsize=20700 CPUtime=1799.99
/proc/9676/stat : 9676 (clasp) R 9674 9672 9629 0 -1 4194304 5623 0 0 0 179993 6 0 0 25 0 1 0 155076255 21196800 4976 1992294400 134512640 136070948 4294956272 18446744073709551615 134618965 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9676/statm: 5175 4976 194 380 0 4792 0
[pid=9677] ppid=9674 vsize=1256 CPUtime=0
/proc/9677/stat : 9677 (pbout) S 9674 9672 9629 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155076255 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/9677/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 39580

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

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

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.06
CPU user time (s): 1799.97
CPU system time (s): 0.082987
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 39580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6986
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= 131
involuntary context switches= 7512

runsolver used 1.50277 second user time and 5.05923 second system time

The end