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-3708760-1338162030/watcher-3708760-1338162030 -o /tmp/evaluation-result-3708760-1338162030/solver-3708760-1338162030 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708760-1338162030.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/178 8579
/proc/meminfo: memFree=28095180/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[startup+0.0107509 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8579
/proc/meminfo: memFree=28095180/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8579
/proc/meminfo: memFree=28095180/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8579
/proc/meminfo: memFree=28095180/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8579
/proc/meminfo: memFree=28095180/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8581
/proc/meminfo: memFree=28078876/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=17424 CPUtime=1.48 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 4573 0 0 0 148 0 0 0 20 0 1 0 282328999 17842176 4002 33554432000 4194304 6212839 140737141238384 140737141237352 4685291 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 4356 4002 232 493 0 3861 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26576
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8581
/proc/meminfo: memFree=28078380/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=18496 CPUtime=3.08 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 4883 0 0 0 308 0 0 0 20 0 1 0 282328999 18939904 4312 33554432000 4194304 6212839 140737141238384 140737141236536 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 4624 4312 232 493 0 4129 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27648
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8581
/proc/meminfo: memFree=28076672/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=20200 CPUtime=6.28 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 5266 0 0 0 628 0 0 0 20 0 1 0 282328999 20684800 4695 33554432000 4194304 6212839 140737141238384 140737141236536 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 5050 4695 232 493 0 4555 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29352
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8581
/proc/meminfo: memFree=28073812/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=23368 CPUtime=12.69 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 6080 0 0 0 1268 1 0 0 20 0 1 0 282328999 23928832 5509 33554432000 4194304 6212839 140737141238384 140737141236392 4298129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 5842 5509 232 493 0 5347 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32520
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8581
/proc/meminfo: memFree=28067752/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=28664 CPUtime=25.48 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 7418 0 0 0 2547 1 0 0 20 0 1 0 282328999 29351936 6847 33554432000 4194304 6212839 140737141238384 140737141236392 4674552 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 7166 6847 232 493 0 6671 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37816
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8581
/proc/meminfo: memFree=28064008/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=32652 CPUtime=51.07 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 8362 0 0 0 5106 1 0 0 20 0 1 0 282328999 33435648 7813 33554432000 4194304 6212839 140737141238384 140737141236536 4744888 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 8163 7813 232 493 0 7668 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41804
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8581
/proc/meminfo: memFree=28056552/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=39364 CPUtime=102.26 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 10050 0 0 0 10225 1 0 0 20 0 1 0 282328999 40308736 9532 33554432000 4194304 6212839 140737141238384 140737141236392 4298163 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 9841 9532 232 493 0 9346 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48516
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8622
/proc/meminfo: memFree=28037908/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=45868 CPUtime=162.24 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 11626 0 0 0 16223 1 0 0 20 0 1 0 282328999 46968832 11125 33554432000 4194304 6212839 140737141238384 140737141236392 4686028 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 11467 11125 232 493 0 10972 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 55020
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8622
/proc/meminfo: memFree=28026408/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=51540 CPUtime=222.23 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 12994 0 0 0 22222 1 0 0 20 0 1 0 282328999 52776960 12521 33554432000 4194304 6212839 140737141238384 140737141236392 4685333 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 12885 12521 232 493 0 12390 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60692
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8622
/proc/meminfo: memFree=28018288/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=54576 CPUtime=282.23 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 13760 0 0 0 28221 2 0 0 20 0 1 0 282328999 55885824 13287 33554432000 4194304 6212839 140737141238384 140737141236536 4744879 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 13644 13287 232 493 0 13149 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 63728
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8622
/proc/meminfo: memFree=28012476/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=57628 CPUtime=342.21 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 14490 0 0 0 34219 2 0 0 20 0 1 0 282328999 59011072 14072 33554432000 4194304 6212839 140737141238384 140737141236392 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 14407 14072 232 493 0 13912 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 66780
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8622
/proc/meminfo: memFree=28003228/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=91484 CPUtime=1062.09 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 22865 0 0 0 106204 5 0 0 20 0 1 0 282328999 93679616 22548 33554432000 4194304 6212839 140737141238384 140737141236392 4685449 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 22871 22548 232 493 0 22376 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 100636
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8628
/proc/meminfo: memFree=27945604/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=94596 CPUtime=1122.08 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 23634 0 0 0 112203 5 0 0 20 0 1 0 282328999 96866304 23317 33554432000 4194304 6212839 140737141238384 140737141236392 4674397 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 23649 23317 232 493 0 23154 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 103748
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8631
/proc/meminfo: memFree=27940204/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=94916 CPUtime=1182.07 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 23706 0 0 0 118202 5 0 0 20 0 1 0 282328999 97193984 23404 33554432000 4194304 6212839 140737141238384 140737141236536 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 23729 23404 232 493 0 23234 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 104068
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 8654
/proc/meminfo: memFree=27936076/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=98364 CPUtime=1242.06 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 24613 0 0 0 124201 5 0 0 20 0 1 0 282328999 100724736 24255 33554432000 4194304 6212839 140737141238384 140737141236392 4685709 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 24591 24255 232 493 0 24096 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 107516
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8654
/proc/meminfo: memFree=27926816/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=104904 CPUtime=1302.06 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 26148 0 0 0 130200 6 0 0 20 0 1 0 282328999 107421696 25894 33554432000 4194304 6212839 140737141238384 140737141236536 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 26226 25894 232 493 0 25731 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 114056
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8655
/proc/meminfo: memFree=27927736/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=105072 CPUtime=1362.04 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 26180 0 0 0 136198 6 0 0 20 0 1 0 282328999 107593728 25926 33554432000 4194304 6212839 140737141238384 140737141236536 4635113 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 26268 25926 232 493 0 25773 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 114224
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8655
/proc/meminfo: memFree=27924204/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=107284 CPUtime=1422.04 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 26705 0 0 0 142198 6 0 0 20 0 1 0 282328999 109858816 26479 33554432000 4194304 6212839 140737141238384 140737141236536 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 26821 26479 232 493 0 26326 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 116436
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8655
/proc/meminfo: memFree=27921080/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=109680 CPUtime=1482.02 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 27266 0 0 0 148196 6 0 0 20 0 1 0 282328999 112312320 27040 33554432000 4194304 6212839 140737141238384 140737141236536 4685365 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 27420 27040 232 493 0 26925 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 118832
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8655
/proc/meminfo: memFree=27919888/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=110828 CPUtime=1542.01 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 27528 0 0 0 154195 6 0 0 20 0 1 0 282328999 113487872 27302 33554432000 4194304 6212839 140737141238384 140737141236536 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 27707 27302 232 493 0 27212 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 119980
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8655
/proc/meminfo: memFree=27912408/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=113012 CPUtime=1602 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 28039 0 0 0 160194 6 0 0 20 0 1 0 282328999 115724288 27883 33554432000 4194304 6212839 140737141238384 140737141236536 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 28253 27883 232 493 0 27758 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 122164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8656
/proc/meminfo: memFree=27910480/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=114536 CPUtime=1661.99 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 28421 0 0 0 166193 6 0 0 20 0 1 0 282328999 117284864 28265 33554432000 4194304 6212839 140737141238384 140737141236536 4743871 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 28634 28265 232 493 0 28139 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 123688
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 8656
/proc/meminfo: memFree=27908744/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=115892 CPUtime=1721.98 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 28728 0 0 0 172192 6 0 0 20 0 1 0 282328999 118673408 28634 33554432000 4194304 6212839 140737141238384 140737141236536 4634996 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 28973 28634 232 493 0 28478 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 125044
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 8659
/proc/meminfo: memFree=27906212/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=117324 CPUtime=1781.98 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 29046 0 0 0 178192 6 0 0 20 0 1 0 282328999 120139776 28952 33554432000 4194304 6212839 140737141238384 140737141236536 4674504 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 29331 28952 232 493 0 28836 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 126476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8659
/proc/meminfo: memFree=27906312/32873648 swapFree=6864/6864
[pid=8579] ppid=8577 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/8579/stat : 8579 (clasp-dec.sh) S 8577 8579 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282328999 9371648 275 33554432000 4194304 5064252 140735092436560 140735092435472 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8579/statm: 2288 275 232 213 0 73 0
[pid=8580] ppid=8579 vsize=117324 CPUtime=1800.08 cores=1,3,5,7
/proc/8580/stat : 8580 (clasp-R5325) R 8579 8579 8283 0 -1 4202496 29070 0 0 0 180002 6 0 0 20 0 1 0 282328999 120139776 28976 33554432000 4194304 6212839 140737141238384 140737141236536 4635173 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/8580/statm: 29331 28976 232 493 0 28836 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 126476
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.09
CPU user time (s): 1800.02
CPU system time (s): 0.066989
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 126476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.066989
maximum resident set size= 115944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29445
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= 57
involuntary context switches= 1847
runsolver used 2.80457 second user time and 8.88465 second system time
The end