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-3708885-1338161709/watcher-3708885-1338161709 -o /tmp/evaluation-result-3708885-1338161709/solver-3708885-1338161709 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708885-1338161709.opb
running on 4 cores: 0,2,4,6
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.07 2.02 2.00 3/175 26073
/proc/meminfo: memFree=28572444/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[startup+0.0217099 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26073
/proc/meminfo: memFree=28572444/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100194 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26073
/proc/meminfo: memFree=28572444/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300175 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26073
/proc/meminfo: memFree=28572444/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700173 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26073
/proc/meminfo: memFree=28572444/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50021 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26075
/proc/meminfo: memFree=28569096/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=5536 CPUtime=1.49 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 1169 0 0 0 149 0 0 0 20 0 1 0 282296404 5668864 1075 33554432000 4194304 6212839 140735385360352 140735385358360 4635502 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 1384 1075 229 493 0 889 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14688
[startup+3.10021 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26075
/proc/meminfo: memFree=28568460/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=5536 CPUtime=3.09 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 1169 0 0 0 309 0 0 0 20 0 1 0 282296404 5668864 1075 33554432000 4194304 6212839 140735385360352 140735385358360 4333831 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 1384 1075 229 493 0 889 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14688
[startup+6.30021 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26075
/proc/meminfo: memFree=28567968/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=6188 CPUtime=6.29 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 1319 0 0 0 629 0 0 0 20 0 1 0 282296404 6336512 1225 33554432000 4194304 6212839 140735385360352 140735385358424 4743287 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 1547 1225 229 493 0 1052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15340
[startup+12.7002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26075
/proc/meminfo: memFree=28565808/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=8056 CPUtime=12.69 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 1778 0 0 0 1269 0 0 0 20 0 1 0 282296404 8249344 1684 33554432000 4194304 6212839 140735385360352 140735385358504 4635412 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 2014 1684 229 493 0 1519 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17208
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26075
/proc/meminfo: memFree=28564212/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=9968 CPUtime=25.48 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 2267 0 0 0 2548 0 0 0 20 0 1 0 282296404 10207232 2173 33554432000 4194304 6212839 140735385360352 140735385358504 4743509 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 2492 2173 229 493 0 1997 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19120
[startup+51.1001 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26075
/proc/meminfo: memFree=28560736/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=12540 CPUtime=51.08 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 2893 0 0 0 5108 0 0 0 20 0 1 0 282296404 12840960 2793 33554432000 4194304 6212839 140735385360352 140735385358360 4670999 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 3135 2793 229 493 0 2640 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21692
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26075
/proc/meminfo: memFree=28556616/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=16452 CPUtime=102.27 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 3850 0 0 0 10227 0 0 0 20 0 1 0 282296404 16846848 3719 33554432000 4194304 6212839 140735385360352 140735385358504 4372059 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 4113 3719 229 493 0 3618 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25604
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26075
/proc/meminfo: memFree=28553036/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=18808 CPUtime=162.26 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 4380 0 0 0 16225 1 0 0 20 0 1 0 282296404 19259392 4347 33554432000 4194304 6212839 140735385360352 140735385358504 4310009 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 4702 4347 229 493 0 4207 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27960
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26076
/proc/meminfo: memFree=28549436/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=21356 CPUtime=222.25 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 5533 0 0 0 22224 1 0 0 20 0 1 0 282296404 21868544 5013 33554432000 4194304 6212839 140735385360352 140735385358648 4635099 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 5339 5013 229 493 0 4844 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 30508
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26076
/proc/meminfo: memFree=28547604/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=22340 CPUtime=282.24 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 5722 0 0 0 28223 1 0 0 20 0 1 0 282296404 22876160 5202 33554432000 4194304 6212839 140735385360352 140735385358504 4743965 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 5585 5202 229 493 0 5090 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31492
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26079
/proc/meminfo: memFree=28544228/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=23576 CPUtime=342.23 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 6957 0 0 0 34222 1 0 0 20 0 1 0 282296404 24141824 5515 33554432000 4194304 6212839 140735385360352 140735385358504 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 5894 5515 229 493 0 5399 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 32728
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26079
/proc/meminfo: memFree=28542656/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=31820 CPUtime=1122.11 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 10516 0 0 0 112209 2 0 0 20 0 1 0 282296404 32583680 7564 33554432000 4194304 6212839 140735385360352 140735385358648 4685484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 7955 7564 229 493 0 7460 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 40972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26164
/proc/meminfo: memFree=28558324/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=31988 CPUtime=1182.1 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 10526 0 0 0 118208 2 0 0 20 0 1 0 282296404 32755712 7574 33554432000 4194304 6212839 140735385360352 140735385358504 4333864 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 7997 7574 229 493 0 7502 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 41140
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26164
/proc/meminfo: memFree=28554848/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=32324 CPUtime=1242.09 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 10647 0 0 0 124207 2 0 0 20 0 1 0 282296404 33099776 7664 33554432000 4194304 6212839 140735385360352 140735385358504 4625469 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8081 7664 229 493 0 7586 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 41476
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26164
/proc/meminfo: memFree=28552520/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=32496 CPUtime=1302.09 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 10680 0 0 0 130207 2 0 0 20 0 1 0 282296404 33275904 7782 33554432000 4194304 6212839 140735385360352 140735385358504 4635102 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8124 7782 229 493 0 7629 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 41648
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26164
/proc/meminfo: memFree=28551836/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=32832 CPUtime=1362.07 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 10747 0 0 0 136205 2 0 0 20 0 1 0 282296404 33619968 7849 33554432000 4194304 6212839 140735385360352 140735385358504 4635093 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8208 7849 229 493 0 7713 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 41984
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26164
/proc/meminfo: memFree=28548924/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=33336 CPUtime=1422.07 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11122 0 0 0 142205 2 0 0 20 0 1 0 282296404 34136064 7964 33554432000 4194304 6212839 140735385360352 140735385358648 4328891 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8334 7964 229 493 0 7839 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 42488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26165
/proc/meminfo: memFree=28546688/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=33504 CPUtime=1482.05 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11146 0 0 0 148203 2 0 0 20 0 1 0 282296404 34308096 7988 33554432000 4194304 6212839 140735385360352 140735385358504 4298186 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8376 7988 229 493 0 7881 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 42656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26168
/proc/meminfo: memFree=28545928/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=33844 CPUtime=1542.04 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11198 0 0 0 154202 2 0 0 20 0 1 0 282296404 34656256 8040 33554432000 4194304 6212839 140735385360352 140735385358504 4298110 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8461 8040 229 493 0 7966 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 42996
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26191
/proc/meminfo: memFree=28542552/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=35168 CPUtime=1602.03 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11568 0 0 0 160201 2 0 0 20 0 1 0 282296404 36012032 8397 33554432000 4194304 6212839 140735385360352 140735385358424 4674405 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8792 8397 229 493 0 8297 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 44320
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26191
/proc/meminfo: memFree=28539832/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=34772 CPUtime=1662.02 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11714 0 0 0 166200 2 0 0 20 0 1 0 282296404 35606528 8384 33554432000 4194304 6212839 140735385360352 140735385358648 4635502 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8693 8384 229 493 0 8198 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 43924
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26191
/proc/meminfo: memFree=28537564/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=34772 CPUtime=1722.02 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11714 0 0 0 172200 2 0 0 20 0 1 0 282296404 35606528 8384 33554432000 4194304 6212839 140735385360352 140735385358648 4674331 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8693 8384 229 493 0 8198 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 43924
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 26192
/proc/meminfo: memFree=28536448/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=35280 CPUtime=1782.01 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11789 0 0 0 178199 2 0 0 20 0 1 0 282296404 36126720 8459 33554432000 4194304 6212839 140735385360352 140735385358504 4625471 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8820 8459 229 493 0 8325 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 44432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 26192
/proc/meminfo: memFree=28536136/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=35448 CPUtime=1800.01 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11837 0 0 0 179999 2 0 0 20 0 1 0 282296404 36298752 8507 33554432000 4194304 6212839 140735385360352 140735385358504 4685776 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8862 8507 229 493 0 8367 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 44600
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 26192
/proc/meminfo: memFree=28536136/32873624 swapFree=7104/7104
[pid=26073] ppid=26071 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26073/stat : 26073 (clasp-dec.sh) S 26071 26073 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282296404 9371648 274 33554432000 4194304 5064252 140734908579440 140734908578352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26073/statm: 2288 274 232 213 0 73 0
[pid=26074] ppid=26073 vsize=35448 CPUtime=1800.01 cores=0,2,4,6
/proc/26074/stat : 26074 (clasp-R5325) R 26073 26073 25502 0 -1 4202496 11837 0 0 0 179999 2 0 0 20 0 1 0 282296404 36298752 8507 33554432000 4194304 6212839 140735385360352 140735385358504 4685776 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26074/statm: 8862 8507 229 493 0 8367 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 44600
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.026995
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 44600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.026995
maximum resident set size= 34072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12212
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= 20
involuntary context switches= 1920
runsolver used 2.89756 second user time and 6.92895 second system time
The end