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-3709069-1338152048/watcher-3709069-1338152048 -o /tmp/evaluation-result-3709069-1338152048/solver-3709069-1338152048 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709069-1338152048.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.00 2.00 1.86 2/177 30954
/proc/meminfo: memFree=31263488/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[startup+0.0736459 s]
/proc/loadavg: 2.00 2.00 1.86 2/177 30954
/proc/meminfo: memFree=31263488/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 1.86 2/177 30954
/proc/meminfo: memFree=31263488/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300183 s]
/proc/loadavg: 2.00 2.00 1.86 2/177 30954
/proc/meminfo: memFree=31263488/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700196 s]
/proc/loadavg: 2.00 2.00 1.86 2/177 30954
/proc/meminfo: memFree=31263488/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/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 1.86 3/179 30956
/proc/meminfo: memFree=31243864/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=14500 CPUtime=1.49 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 3381 0 0 0 149 0 0 0 20 0 1 0 281330425 14848000 3306 33554432000 4194304 6212839 140737477727184 140737477725192 4683115 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 3625 3306 234 493 0 3130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23652
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 30956
/proc/meminfo: memFree=31234812/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=18440 CPUtime=3.09 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 4368 0 0 0 309 0 0 0 20 0 1 0 281330425 18882560 4292 33554432000 4194304 6212839 140737477727184 140737477725352 4683115 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 4610 4292 234 493 0 4115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27592
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 30956
/proc/meminfo: memFree=31227124/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=23964 CPUtime=6.29 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 5742 0 0 0 628 1 0 0 20 0 1 0 281330425 24539136 5661 33554432000 4194304 6212839 140737477727184 140737477725192 4674519 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 5991 5661 234 493 0 5496 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33116
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 30956
/proc/meminfo: memFree=31211540/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=31992 CPUtime=12.69 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 7600 0 0 0 1268 1 0 0 20 0 1 0 281330425 32759808 7518 33554432000 4194304 6212839 140737477727184 140737477725192 4411611 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 7998 7518 234 493 0 7503 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41144
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 30956
/proc/meminfo: memFree=31203984/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=34840 CPUtime=25.48 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 8517 0 0 0 2547 1 0 0 20 0 1 0 281330425 35676160 8336 33554432000 4194304 6212839 140737477727184 140737477725352 4357173 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 8710 8336 234 493 0 8215 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43992
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 30956
/proc/meminfo: memFree=31185352/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=46388 CPUtime=51.08 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 11506 0 0 0 5106 2 0 0 20 0 1 0 281330425 47501312 10995 33554432000 4194304 6212839 140737477727184 140737477725480 4705112 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 11597 10995 234 493 0 11102 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55540
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 30957
/proc/meminfo: memFree=31164432/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=54464 CPUtime=102.26 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 13825 0 0 0 10224 2 0 0 20 0 1 0 281330425 55771136 13274 33554432000 4194304 6212839 140737477727184 140737477725480 4308157 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 13616 13274 234 493 0 13121 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 63616
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 30957
/proc/meminfo: memFree=31150080/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=60520 CPUtime=162.24 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 16347 0 0 0 16222 2 0 0 20 0 1 0 281330425 61972480 14834 33554432000 4194304 6212839 140737477727184 140737477725192 4685809 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 15130 14834 234 493 0 14635 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69672
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 30957
/proc/meminfo: memFree=31140036/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=66544 CPUtime=222.24 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 18370 0 0 0 22221 3 0 0 20 0 1 0 281330425 68141056 16335 33554432000 4194304 6212839 140737477727184 140737477725352 4334768 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 16636 16335 234 493 0 16141 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 75696
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 30957
/proc/meminfo: memFree=31131528/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=68748 CPUtime=282.23 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 19357 0 0 0 28220 3 0 0 20 0 1 0 281330425 70397952 16891 33554432000 4194304 6212839 140737477727184 140737477725480 4674569 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 17187 16891 234 493 0 16692 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 77900
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 30957
/proc/meminfo: memFree=31108772/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=83200 CPUtime=342.22 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 22849 0 0 0 34218 4 0 0 20 0 1 0 281330425 85196800 20189 33554432000 4194304 6212839 140737477727184 140737477725352 4334701 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 20800 20189 234 493 0 20305 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 92352
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/180 30961
/proc/meminfo: memFree=31104228/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=114220 CPUtime=1062.09 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 39457 0 0 0 106200 9 0 0 20 0 1 0 281330425 116961280 28239 33554432000 4194304 6212839 140737477727184 140737477725352 4674882 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 28555 28239 234 493 0 28060 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 123372
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30989
/proc/meminfo: memFree=31043892/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=115624 CPUtime=1122.09 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 40015 0 0 0 112199 10 0 0 20 0 1 0 281330425 118398976 28576 33554432000 4194304 6212839 140737477727184 140737477725336 4421856 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 28906 28576 234 493 0 28411 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 124776
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 30989
/proc/meminfo: memFree=31040916/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=116516 CPUtime=1182.08 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 40565 0 0 0 118198 10 0 0 20 0 1 0 281330425 119312384 28826 33554432000 4194304 6212839 140737477727184 140737477725480 4308157 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 29129 28826 234 493 0 28634 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 125668
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 30989
/proc/meminfo: memFree=31040424/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=116640 CPUtime=1242.06 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 41066 0 0 0 124196 10 0 0 20 0 1 0 281330425 119439360 28847 33554432000 4194304 6212839 140737477727184 140737477725192 4421867 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 29160 28847 234 493 0 28665 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 125792
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 30990
/proc/meminfo: memFree=31036444/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=118888 CPUtime=1302.06 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 42435 0 0 0 130196 10 0 0 20 0 1 0 281330425 121741312 29416 33554432000 4194304 6212839 140737477727184 140737477725480 4333831 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 29722 29416 234 493 0 29227 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 128040
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30991
/proc/meminfo: memFree=31033776/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=119764 CPUtime=1362.04 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 43505 0 0 0 136194 10 0 0 20 0 1 0 281330425 122638336 29645 33554432000 4194304 6212839 140737477727184 140737477725480 4421873 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 29941 29645 234 493 0 29446 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 128916
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30991
/proc/meminfo: memFree=31027576/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=121676 CPUtime=1422.03 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 44569 0 0 0 142193 10 0 0 20 0 1 0 281330425 124596224 30120 33554432000 4194304 6212839 140737477727184 140737477725480 4421925 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/30955/statm: 30419 30120 234 493 0 29924 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 130828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30991
/proc/meminfo: memFree=31025028/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=122980 CPUtime=1482.02 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 45941 0 0 0 148191 11 0 0 20 0 1 0 281330425 125931520 30425 33554432000 4194304 6212839 140737477727184 140737477725352 4335612 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30955/statm: 30745 30425 234 493 0 30250 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 132132
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30991
/proc/meminfo: memFree=31018136/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=128784 CPUtime=1542.01 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 48056 0 0 0 154190 11 0 0 20 0 1 0 281330425 131874816 31898 33554432000 4194304 6212839 140737477727184 140737477725352 4333864 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30955/statm: 32196 31898 234 493 0 31701 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 137936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 30994
/proc/meminfo: memFree=31005108/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=143440 CPUtime=1602 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 51406 0 0 0 160188 12 0 0 20 0 1 0 281330425 146882560 34907 33554432000 4194304 6212839 140737477727184 140737477725192 4334960 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30955/statm: 35860 34907 234 493 0 35365 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 152592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30995
/proc/meminfo: memFree=31004556/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=144420 CPUtime=1661.99 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 52107 0 0 0 166187 12 0 0 20 0 1 0 281330425 147886080 35162 33554432000 4194304 6212839 140737477727184 140737477725352 4683115 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30955/statm: 36105 35162 234 493 0 35610 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 153572
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30995
/proc/meminfo: memFree=31001952/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=144996 CPUtime=1721.98 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 53014 0 0 0 172186 12 0 0 20 0 1 0 281330425 148475904 35358 33554432000 4194304 6212839 140737477727184 140737477725480 4328971 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30955/statm: 36249 35358 234 493 0 35754 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 154148
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30995
/proc/meminfo: memFree=30988048/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=145772 CPUtime=1781.97 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 53347 0 0 0 178185 12 0 0 20 0 1 0 281330425 149270528 36116 33554432000 4194304 6212839 140737477727184 140737477725480 4308147 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30955/statm: 36443 36116 234 493 0 35948 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 154924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 31003
/proc/meminfo: memFree=31121764/32873844 swapFree=7624/7624
[pid=30954] ppid=30952 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30954/stat : 30954 (clasp-opt.sh) S 30952 30954 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281330425 9371648 275 33554432000 4194304 5064252 140735565396288 140735565395200 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30954/statm: 2288 275 232 213 0 73 0
[pid=30955] ppid=30954 vsize=146100 CPUtime=1800.07 cores=0,2,4,6
/proc/30955/stat : 30955 (clasp-R5325) R 30954 30954 27402 0 -1 4202496 53562 0 0 0 179995 12 0 0 20 0 1 0 281330425 149606400 36229 33554432000 4194304 6212839 140737477727184 140737477725480 4421877 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/30955/statm: 36525 36229 234 493 0 36030 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 155252
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.96
CPU system time (s): 0.13098
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 155312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.13098
maximum resident set size= 144964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53935
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= 54
involuntary context switches= 2161
runsolver used 2.46862 second user time and 7.36988 second system time
The end