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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1859454-1245210352/watcher-1859454-1245210352 -o /tmp/evaluation-result-1859454-1245210352/solver-1859454-1245210352 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1859454-1245210352.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: 1.85 1.69 1.65 3/72 8639
/proc/meminfo: memFree=1640504/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=7504 CPUtime=0
/proc/8639/stat : 8639 (perl) D 8637 8639 8471 0 -1 4194304 67 0 0 0 0 0 0 0 20 0 1 0 188629231 7684096 51 1992294400 4194304 4206940 548682068784 18446744073709551615 237945025929 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/8639/statm: 1876 51 38 3 0 55 0

[startup+0.03781 s]
/proc/loadavg: 1.85 1.69 1.65 3/72 8639
/proc/meminfo: memFree=1640504/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.10216 s]
/proc/loadavg: 1.85 1.69 1.65 3/72 8639
/proc/meminfo: memFree=1640504/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301186 s]
/proc/loadavg: 1.85 1.69 1.65 3/72 8639
/proc/meminfo: memFree=1640504/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.709252 s]
/proc/loadavg: 1.85 1.69 1.65 3/72 8639
/proc/meminfo: memFree=1640504/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.5014 s]
/proc/loadavg: 1.78 1.68 1.65 2/76 8644
/proc/meminfo: memFree=1638168/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=3212 CPUtime=1.42
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 617 0 0 0 142 0 0 0 25 0 1 0 188629235 3289088 591 1992294400 134512640 136070948 4294956272 18446744073709551615 134799808 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 803 591 194 380 0 420 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188629235 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 22092

[startup+3.10163 s]
/proc/loadavg: 1.78 1.68 1.65 4/76 8644
/proc/meminfo: memFree=1637336/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=3740 CPUtime=3.02
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 764 0 0 0 302 0 0 0 25 0 1 0 188629235 3829760 738 1992294400 134512640 136070948 4294956272 18446744073709551615 134647760 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 935 738 194 380 0 552 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 131 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 22620

[startup+6.30115 s]
/proc/loadavg: 1.72 1.67 1.64 4/76 8644
/proc/meminfo: memFree=1636824/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=4004 CPUtime=6.21
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 822 0 0 0 621 0 0 0 25 0 1 0 188629235 4100096 796 1992294400 134512640 136070948 4294956272 18446744073709551615 134801074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 1001 796 194 380 0 618 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 22884

[startup+12.7012 s]
/proc/loadavg: 1.90 1.71 1.66 2/76 8644
/proc/meminfo: memFree=1636760/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=4004 CPUtime=12.61
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 824 0 0 0 1261 0 0 0 25 0 1 0 188629235 4100096 798 1992294400 134512640 136070948 4294956272 18446744073709551615 134615464 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 1001 798 194 380 0 618 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 22884

[startup+25.5014 s]
/proc/loadavg: 2.14 1.77 1.67 2/76 8644
/proc/meminfo: memFree=1636376/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=4928 CPUtime=25.31
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 1037 0 0 0 2528 3 0 0 25 0 1 0 188629235 5046272 1011 1992294400 134512640 136070948 4294956272 18446744073709551615 134831784 0 0 4096 16386 0 0 0 17 0 0 0
/proc/8643/statm: 1232 1011 194 380 0 849 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 23808

[startup+51.1015 s]
/proc/loadavg: 1.89 1.74 1.67 2/76 8644
/proc/meminfo: memFree=1635608/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=5288 CPUtime=50.62
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 1156 0 0 0 5056 6 0 0 25 0 1 0 188629235 5414912 1130 1992294400 134512640 136070948 4294956272 18446744073709551615 134799702 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 1322 1130 194 380 0 939 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 24168

[startup+102.31 s]
/proc/loadavg: 1.94 1.78 1.68 3/76 8644
/proc/meminfo: memFree=1634648/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=6192 CPUtime=101.54
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 1372 0 0 0 10146 8 0 0 25 0 1 0 188629235 6340608 1346 1992294400 134512640 136070948 4294956272 18446744073709551615 134647539 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 1548 1346 194 380 0 1165 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 25072

[startup+162.302 s]
/proc/loadavg: 2.30 1.93 1.74 2/76 8644
/proc/meminfo: memFree=1634648/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=5964 CPUtime=161.49
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 1372 0 0 0 16140 9 0 0 25 0 1 0 188629235 6107136 1301 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 1491 1301 194 380 0 1108 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 24844

[startup+222.302 s]

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

Current children cumulated vsize (KiB) 27836

[startup+1422.31 s]
/proc/loadavg: 1.89 1.71 1.62 3/76 8652
/proc/meminfo: memFree=1631704/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=8952 CPUtime=1416.68
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2189 0 0 0 141595 73 0 0 25 0 1 0 188629235 9166848 2017 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 2238 2017 194 380 0 1855 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1416.69
Current children cumulated vsize (KiB) 27832

[startup+1482.3 s]
/proc/loadavg: 1.44 1.62 1.60 3/76 8652
/proc/meminfo: memFree=1631576/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=8936 CPUtime=1476.14
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2212 0 0 0 147531 83 0 0 25 0 1 0 188629235 9150464 2040 1992294400 134512640 136070948 4294956272 18446744073709551615 134653150 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 2234 2040 194 380 0 1851 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1476.15
Current children cumulated vsize (KiB) 27816

[startup+1542.3 s]
/proc/loadavg: 1.61 1.63 1.60 3/76 8652
/proc/meminfo: memFree=1631384/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=9328 CPUtime=1535.36
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2281 0 0 0 153443 93 0 0 25 0 1 0 188629235 9551872 2109 1992294400 134512640 136070948 4294956272 18446744073709551615 134835534 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 2332 2109 194 380 0 1949 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1535.37
Current children cumulated vsize (KiB) 28208

[startup+1602.3 s]
/proc/loadavg: 1.71 1.66 1.61 2/76 8652
/proc/meminfo: memFree=1631256/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=9136 CPUtime=1594.66
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2304 0 0 0 159362 104 0 0 25 0 1 0 188629235 9355264 2092 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 2284 2092 194 380 0 1901 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1594.67
Current children cumulated vsize (KiB) 28016

[startup+1662.3 s]
/proc/loadavg: 1.66 1.67 1.62 2/76 8652
/proc/meminfo: memFree=1631320/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=9136 CPUtime=1654.03
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2304 0 0 0 165292 111 0 0 25 0 1 0 188629235 9355264 2092 1992294400 134512640 136070948 4294956272 18446744073709551615 134647456 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 2284 2092 194 380 0 1901 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1654.04
Current children cumulated vsize (KiB) 28016

[startup+1722.3 s]
/proc/loadavg: 1.72 1.67 1.62 2/76 8652
/proc/meminfo: memFree=1631320/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=9184 CPUtime=1713.38
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2305 0 0 0 171221 117 0 0 25 0 1 0 188629235 9404416 2093 1992294400 134512640 136070948 4294956272 18446744073709551615 134647504 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 2296 2093 194 380 0 1913 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1713.39
Current children cumulated vsize (KiB) 28064

[startup+1782.3 s]
/proc/loadavg: 1.61 1.64 1.61 3/76 8652
/proc/meminfo: memFree=1631192/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=9164 CPUtime=1772.76
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2305 0 0 0 177151 125 0 0 25 0 1 0 188629235 9383936 2093 1992294400 134512640 136070948 4294956272 18446744073709551615 134647489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8643/statm: 2291 2093 194 380 0 1908 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1772.77
Current children cumulated vsize (KiB) 28044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.9 s]
/proc/loadavg: 1.56 1.62 1.60 2/76 8652
/proc/meminfo: memFree=1631192/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=9164 CPUtime=1800.04
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2305 0 0 0 179874 130 0 0 25 0 1 0 188629235 9383936 2093 1992294400 134512640 136070948 4294956272 18446744073709551615 134842741 0 0 4096 16386 0 0 0 17 0 0 0
/proc/8643/statm: 2291 2093 194 380 0 1908 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 28044

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

[startup+1809.9 s]
/proc/loadavg: 1.56 1.62 1.60 2/76 8652
/proc/meminfo: memFree=1631192/2055920 swapFree=4181748/4192956
[pid=8639] ppid=8637 vsize=12268 CPUtime=0
/proc/8639/stat : 8639 (perl) S 8637 8639 8471 0 -1 4194304 451 0 0 0 0 0 0 0 18 0 1 0 188629231 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 237956546452 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/8639/statm: 3067 411 319 3 0 167 0
[pid=8641] ppid=8639 vsize=5356 CPUtime=0.01
/proc/8641/stat : 8641 (sh) S 8639 8639 8471 0 -1 4194304 305 145 0 0 0 0 1 0 16 0 1 0 188629234 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8641/statm: 1339 227 188 169 0 50 0
[pid=8643] ppid=8641 vsize=9164 CPUtime=1800.04
/proc/8643/stat : 8643 (clasp) R 8641 8639 8471 0 -1 4194304 2305 0 0 0 179874 130 0 0 25 0 1 0 188629235 9383936 2093 1992294400 134512640 136070948 4294956272 18446744073709551615 134842741 0 0 4096 16386 0 0 0 17 0 0 0
/proc/8643/statm: 2291 2093 194 380 0 1908 0
[pid=8644] ppid=8641 vsize=1256 CPUtime=0
/proc/8644/stat : 8644 (pbout) S 8641 8639 8471 0 -1 4194304 132 0 0 0 0 0 0 0 17 0 1 0 188629235 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/8644/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 28044

Child status: 0
Real time (s): 1809.92
CPU time (s): 1800.09
CPU user time (s): 1798.77
CPU system time (s): 1.3238
CPU usage (%): 99.457
Max. virtual memory (cumulated for all children) (KiB): 28212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.3238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3665
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= 141
involuntary context switches= 31664

runsolver used 2.51662 second user time and 6.37903 second system time

The end