runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708826-1338170688/watcher-3708826-1338170688 -o /tmp/evaluation-result-3708826-1338170688/solver-3708826-1338170688 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708826-1338170688.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9310
/proc/meminfo: memFree=31333728/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[startup+0.0401359 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9310
/proc/meminfo: memFree=31333728/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9310
/proc/meminfo: memFree=31333728/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9310
/proc/meminfo: memFree=31333728/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700277 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9310
/proc/meminfo: memFree=31333728/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9312
/proc/meminfo: memFree=31325520/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=11772 CPUtime=1.49 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 3040 0 0 0 149 0 0 0 20 0 1 0 283193110 12054528 2607 33554432000 4194304 6212839 140735182492288 140735182490296 4685325 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/9311/statm: 2943 2607 230 493 0 2448 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20924
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9312
/proc/meminfo: memFree=31323040/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=12696 CPUtime=3.09 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 3281 0 0 0 309 0 0 0 20 0 1 0 283193110 13000704 2848 33554432000 4194304 6212839 140735182492288 140735182490440 4685801 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/9311/statm: 3174 2848 230 493 0 2679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21848
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9312
/proc/meminfo: memFree=31319936/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=15216 CPUtime=6.28 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 3898 0 0 0 628 0 0 0 20 0 1 0 283193110 15581184 3465 33554432000 4194304 6212839 140735182492288 140735182490296 4670983 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/9311/statm: 3804 3465 230 493 0 3309 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24368
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9312
/proc/meminfo: memFree=31319828/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=15348 CPUtime=12.68 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 3948 0 0 0 1268 0 0 0 20 0 1 0 283193110 15716352 3515 33554432000 4194304 6212839 140735182492288 140735182490296 4743727 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/9311/statm: 3837 3515 230 493 0 3342 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24500
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9312
/proc/meminfo: memFree=31318712/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=16952 CPUtime=25.49 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 4327 0 0 0 2548 1 0 0 20 0 1 0 283193110 17358848 3904 33554432000 4194304 6212839 140735182492288 140735182490520 4334819 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/9311/statm: 4238 3904 230 493 0 3743 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26104
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9312
/proc/meminfo: memFree=31310828/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=22160 CPUtime=51.08 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 5650 0 0 0 5107 1 0 0 20 0 1 0 283193110 22691840 5227 33554432000 4194304 6212839 140735182492288 140735182490440 4744763 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/9311/statm: 5540 5227 230 493 0 5045 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31312
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9312
/proc/meminfo: memFree=31300212/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=32192 CPUtime=102.27 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 8152 0 0 0 10225 2 0 0 20 0 1 0 283193110 32964608 7728 33554432000 4194304 6212839 140735182492288 140735182490296 4685736 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 8048 7728 230 493 0 7553 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41344
[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 9312
/proc/meminfo: memFree=31293080/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=39516 CPUtime=162.25 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 9959 0 0 0 16223 2 0 0 20 0 1 0 283193110 40464384 9534 33554432000 4194304 6212839 140735182492288 140735182490456 4635959 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 9879 9534 230 493 0 9384 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48668
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 9313
/proc/meminfo: memFree=31287804/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=44412 CPUtime=222.24 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 11191 0 0 0 22221 3 0 0 20 0 1 0 283193110 45477888 10768 33554432000 4194304 6212839 140735182492288 140735182490296 4635088 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 11103 10768 230 493 0 10608 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 53564
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 9313
/proc/meminfo: memFree=31275152/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=49832 CPUtime=282.23 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 12539 0 0 0 28220 3 0 0 20 0 1 0 283193110 51027968 12121 33554432000 4194304 6212839 140735182492288 140735182490440 4635121 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 12458 12121 230 493 0 11963 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 58984
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 9316
/proc/meminfo: memFree=31274208/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=49832 CPUtime=342.22 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 12542 0 0 0 34219 3 0 0 20 0 1 0 283193110 51027968 12126 33554432000 4194304 6212839 140735182492288 140735182490440 4685801 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 12458 12126 230 493 0 11963 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 58984
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9316
/proc/meminfo: memFree=31266204/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=76916 CPUtime=1062.1 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 19344 0 0 0 106205 5 0 0 20 0 1 0 283193110 78761984 18918 33554432000 4194304 6212839 140735182492288 140735182490296 4298163 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 19229 18918 230 493 0 18734 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 86068
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9362
/proc/meminfo: memFree=31305124/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=76916 CPUtime=1122.1 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 19346 0 0 0 112205 5 0 0 20 0 1 0 283193110 78761984 18918 33554432000 4194304 6212839 140735182492288 140735182490296 4635102 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 19229 18918 230 493 0 18734 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 86068
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9363
/proc/meminfo: memFree=31293268/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=76916 CPUtime=1182.09 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 19346 0 0 0 118204 5 0 0 20 0 1 0 283193110 78761984 18918 33554432000 4194304 6212839 140735182492288 140735182490296 4635058 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 19229 18918 230 493 0 18734 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 86068
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9363
/proc/meminfo: memFree=31280804/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=86688 CPUtime=1242.08 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 21776 0 0 0 124202 6 0 0 20 0 1 0 283193110 88768512 21348 33554432000 4194304 6212839 140735182492288 140735182490296 4683260 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 21672 21348 230 493 0 21177 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 95840
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9363
/proc/meminfo: memFree=31275648/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=86688 CPUtime=1302.07 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 21780 0 0 0 130201 6 0 0 20 0 1 0 283193110 88768512 21357 33554432000 4194304 6212839 140735182492288 140735182490296 4683152 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 21672 21357 230 493 0 21177 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 95840
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9363
/proc/meminfo: memFree=31275704/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=86688 CPUtime=1362.06 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 21780 0 0 0 136200 6 0 0 20 0 1 0 283193110 88768512 21357 33554432000 4194304 6212839 140735182492288 140735182490296 4635113 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 21672 21357 230 493 0 21177 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 95840
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9363
/proc/meminfo: memFree=31258276/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=94624 CPUtime=1422.06 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 23768 0 0 0 142199 7 0 0 20 0 1 0 283193110 96894976 23345 33554432000 4194304 6212839 140735182492288 140735182490440 4685438 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 23656 23345 230 493 0 23161 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 103776
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9364
/proc/meminfo: memFree=31258268/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=94624 CPUtime=1482.05 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 23772 0 0 0 148198 7 0 0 20 0 1 0 283193110 96894976 23346 33554432000 4194304 6212839 140735182492288 140735182490440 4635082 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 23656 23346 230 493 0 23161 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 103776
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9367
/proc/meminfo: memFree=31245360/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=102960 CPUtime=1542.03 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 25852 0 0 0 154196 7 0 0 20 0 1 0 283193110 105431040 25426 33554432000 4194304 6212839 140735182492288 140735182490296 4636069 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 25740 25426 230 493 0 25245 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 112112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9367
/proc/meminfo: memFree=31240208/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=102960 CPUtime=1602.02 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 25856 0 0 0 160195 7 0 0 20 0 1 0 283193110 105431040 25428 33554432000 4194304 6212839 140735182492288 140735182490296 4685321 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 25740 25428 230 493 0 25245 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 112112
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 9367
/proc/meminfo: memFree=31240456/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=102960 CPUtime=1662.01 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 25856 0 0 0 166194 7 0 0 20 0 1 0 283193110 105431040 25428 33554432000 4194304 6212839 140735182492288 140735182490296 4634928 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 25740 25428 230 493 0 25245 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 112112
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 9367
/proc/meminfo: memFree=31238780/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=102960 CPUtime=1722.01 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 25856 0 0 0 172194 7 0 0 20 0 1 0 283193110 105431040 25428 33554432000 4194304 6212839 140735182492288 140735182490296 4635078 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 25740 25428 230 493 0 25245 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 112112
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 9368
/proc/meminfo: memFree=31233076/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=102960 CPUtime=1782 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 25856 0 0 0 178193 7 0 0 20 0 1 0 283193110 105431040 25428 33554432000 4194304 6212839 140735182492288 140735182490296 4676616 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 25740 25428 230 493 0 25245 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 112112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9368
/proc/meminfo: memFree=31233324/32873844 swapFree=7632/7632
[pid=9310] ppid=9308 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9310/stat : 9310 (clasp-dec.sh) S 9308 9310 7805 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283193110 9371648 274 33554432000 4194304 5064252 140736995191952 140736995190864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9310/statm: 2288 274 232 213 0 73 0
[pid=9311] ppid=9310 vsize=102960 CPUtime=1800.1 cores=1,3,5,7
/proc/9311/stat : 9311 (clasp-R5325) R 9310 9310 7805 0 -1 4202496 25856 0 0 0 180003 7 0 0 20 0 1 0 283193110 105431040 25428 33554432000 4194304 6212839 140735182492288 140735182490296 4685347 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/9311/statm: 25740 25428 230 493 0 25245 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 112112
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1800.04
CPU system time (s): 0.079987
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 112112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.079987
maximum resident set size= 101756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26230
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= 50
involuntary context switches= 4939
runsolver used 5.85911 second user time and 13.8509 second system time
The end