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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858600-1244880876/watcher-1858600-1244880876 -o /tmp/evaluation-result-1858600-1244880876/solver-1858600-1244880876 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858600-1244880876.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.96 1.02 1.00 2/64 12264
/proc/meminfo: memFree=1329016/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) D 12262 12264 12035 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 272837081701 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/12264/statm: 3067 316 242 3 0 167 0

[startup+0.0477181 s]
/proc/loadavg: 0.96 1.02 1.00 2/64 12264
/proc/meminfo: memFree=1329016/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101725 s]
/proc/loadavg: 0.96 1.02 1.00 2/64 12264
/proc/meminfo: memFree=1329016/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301759 s]
/proc/loadavg: 0.96 1.02 1.00 2/64 12264
/proc/meminfo: memFree=1329016/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701814 s]
/proc/loadavg: 0.96 1.02 1.00 2/64 12264
/proc/meminfo: memFree=1329016/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50192 s]
/proc/loadavg: 0.96 1.02 1.00 2/68 12269
/proc/meminfo: memFree=1320536/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=9240 CPUtime=1.39
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 2158 0 0 0 138 1 0 0 18 0 1 0 155684683 9461760 2085 1992294400 134512640 136070948 4294956272 18446744073709551615 134841796 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 2310 2085 194 380 0 1927 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 28120

[startup+3.10115 s]
/proc/loadavg: 0.96 1.02 1.00 2/68 12269
/proc/meminfo: memFree=1320408/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=9240 CPUtime=2.98
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 2179 0 0 0 297 1 0 0 21 0 1 0 155684683 9461760 2106 1992294400 134512640 136070948 4294956272 18446744073709551615 134831538 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 2310 2106 194 380 0 1927 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 28120

[startup+6.30161 s]
/proc/loadavg: 0.97 1.02 1.00 2/68 12269
/proc/meminfo: memFree=1319000/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=10428 CPUtime=6.18
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 2479 0 0 0 617 1 0 0 25 0 1 0 155684683 10678272 2406 1992294400 134512640 136070948 4294956272 18446744073709551615 134623147 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 2607 2406 194 380 0 2224 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 29308

[startup+12.7015 s]
/proc/loadavg: 0.97 1.02 1.00 2/68 12269
/proc/meminfo: memFree=1317272/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=12212 CPUtime=12.57
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 2917 0 0 0 1256 1 0 0 25 0 1 0 155684683 12505088 2844 1992294400 134512640 136070948 4294956272 18446744073709551615 134799843 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 3053 2844 194 380 0 2670 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 31092

[startup+25.5014 s]
/proc/loadavg: 0.97 1.01 1.00 2/68 12269
/proc/meminfo: memFree=1315736/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=13984 CPUtime=25.38
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 3355 0 0 0 2536 2 0 0 25 0 1 0 155684683 14319616 3282 1992294400 134512640 136070948 4294956272 18446744073709551615 134623190 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 3496 3282 194 380 0 3113 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 32864

[startup+51.102 s]
/proc/loadavg: 0.98 1.01 1.00 2/68 12269
/proc/meminfo: memFree=1312216/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=17556 CPUtime=50.95
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 4240 0 0 0 5093 2 0 0 25 0 1 0 155684683 17977344 4167 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 4389 4167 194 380 0 4006 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36436

[startup+102.305 s]
/proc/loadavg: 0.99 1.01 1.00 2/68 12269
/proc/meminfo: memFree=1307928/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=21780 CPUtime=102.14
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 5290 0 0 0 10211 3 0 0 25 0 1 0 155684683 22302720 5217 1992294400 134512640 136070948 4294956272 18446744073709551615 134799661 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 5445 5217 194 380 0 5062 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 40660

[startup+162.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1306776/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=23232 CPUtime=162.12
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 5644 0 0 0 16208 4 0 0 25 0 1 0 155684683 23789568 5571 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 5808 5571 194 380 0 5425 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 42112

[startup+222.302 s]

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

/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 64444

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1283608/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=45828 CPUtime=1421.76
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 11281 0 0 0 142166 10 0 0 25 0 1 0 155684683 46927872 11208 1992294400 134512640 136070948 4294956272 18446744073709551615 134806796 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 11457 11208 194 380 0 11074 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 64708

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1283288/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=46092 CPUtime=1481.74
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 11356 0 0 0 148164 10 0 0 25 0 1 0 155684683 47198208 11283 1992294400 134512640 136070948 4294956272 18446744073709551615 134623305 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 11523 11283 194 380 0 11140 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 64972

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1283224/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=46224 CPUtime=1541.71
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 11383 0 0 0 154161 10 0 0 25 0 1 0 155684683 47333376 11310 1992294400 134512640 136070948 4294956272 18446744073709551615 134623393 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 11556 11310 194 380 0 11173 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 65104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1282136/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=47340 CPUtime=1601.7
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 11657 0 0 0 160159 11 0 0 25 0 1 0 155684683 48476160 11584 1992294400 134512640 136070948 4294956272 18446744073709551615 134623408 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 11835 11584 194 380 0 11452 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 66220

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1281944/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=47472 CPUtime=1661.68
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 11699 0 0 0 166157 11 0 0 25 0 1 0 155684683 48611328 11626 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 11868 11626 194 380 0 11485 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 66352

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1281816/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=47604 CPUtime=1721.67
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 11727 0 0 0 172156 11 0 0 25 0 1 0 155684683 48746496 11654 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 11901 11654 194 380 0 11518 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 66484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1281240/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=48132 CPUtime=1781.65
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 11841 0 0 0 178154 11 0 0 25 0 1 0 155684683 49287168 11768 1992294400 134512640 136070948 4294956272 18446744073709551615 134799632 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 12033 11768 194 380 0 11650 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 67012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 12269
/proc/meminfo: memFree=1281240/2055920 swapFree=4182568/4192956
[pid=12264] ppid=12262 vsize=12268 CPUtime=0
/proc/12264/stat : 12264 (perl) S 12262 12264 12035 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155684682 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 272845815700 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/12264/statm: 3067 412 319 3 0 167 0
[pid=12266] ppid=12264 vsize=5356 CPUtime=0.14
/proc/12266/stat : 12266 (sh) S 12264 12264 12035 0 -1 4194304 305 146 0 0 0 0 14 0 15 0 1 0 155684683 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12266/statm: 1339 227 188 169 0 50 0
[pid=12268] ppid=12266 vsize=48132 CPUtime=1799.95
/proc/12268/stat : 12268 (clasp) R 12266 12264 12035 0 -1 4194304 11841 0 0 0 179984 11 0 0 25 0 1 0 155684683 49287168 11768 1992294400 134512640 136070948 4294956272 18446744073709551615 134623360 0 0 4096 16386 0 0 0 17 0 0 0
/proc/12268/statm: 12033 11768 194 380 0 11650 0
[pid=12269] ppid=12266 vsize=1256 CPUtime=0
/proc/12269/stat : 12269 (pbout) S 12266 12264 12035 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 155684683 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0
/proc/12269/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 67012

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

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

Child status: 0

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

Real time (s): 1800.63
CPU time (s): 1800.09
CPU user time (s): 1799.98
CPU system time (s): 0.11
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 67012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.151976
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1440
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= 75
involuntary context switches= 15

runsolver used 1.64775 second user time and 4.91625 second system time

The end