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-3709631-1338179929/watcher-3709631-1338179929 -o /tmp/evaluation-result-3709631-1338179929/solver-3709631-1338179929 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709631-1338179929.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 25371
/proc/meminfo: memFree=30431168/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[startup+0.075955 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25371
/proc/meminfo: memFree=30431168/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25371
/proc/meminfo: memFree=30431168/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300249 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25371
/proc/meminfo: memFree=30431168/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700242 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25371
/proc/meminfo: memFree=30431168/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25373
/proc/meminfo: memFree=30406856/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=31232 CPUtime=1.48 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 7968 0 0 0 147 1 0 0 20 0 1 0 284117290 31981568 7481 33554432000 4194304 6212839 140733497878992 140733497877000 5435280 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 7808 7481 237 493 0 7313 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40384
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25373
/proc/meminfo: memFree=30399284/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=38964 CPUtime=3.08 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 9902 0 0 0 307 1 0 0 20 0 1 0 284117290 39899136 9415 33554432000 4194304 6212839 140733497878992 140733497877400 4674418 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 9741 9415 237 493 0 9246 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48116
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25373
/proc/meminfo: memFree=30387008/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=49568 CPUtime=6.28 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 12544 0 0 0 626 2 0 0 20 0 1 0 284117290 50757632 12057 33554432000 4194304 6212839 140733497878992 140733497877000 5443677 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 12392 12057 237 493 0 11897 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58720
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25373
/proc/meminfo: memFree=30370896/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=62288 CPUtime=12.69 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 15620 0 0 0 1266 3 0 0 20 0 1 0 284117290 63782912 15133 33554432000 4194304 6212839 140733497878992 140733497877288 4308157 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 15572 15133 237 493 0 15077 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71440
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25373
/proc/meminfo: memFree=30354412/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=78836 CPUtime=25.48 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 19775 0 0 0 2545 3 0 0 20 0 1 0 284117290 80728064 19288 33554432000 4194304 6212839 140733497878992 140733497877000 4308147 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 19709 19288 237 493 0 19214 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87988
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25452
/proc/meminfo: memFree=30373392/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=100568 CPUtime=51.06 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 25192 0 0 0 5102 4 0 0 20 0 1 0 284117290 102981632 24687 33554432000 4194304 6212839 140733497878992 140733497877000 4333478 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 25142 24687 237 493 0 24647 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 109720
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25456
/proc/meminfo: memFree=30340824/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=127084 CPUtime=102.22 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 31809 0 0 0 10217 5 0 0 20 0 1 0 284117290 130134016 31472 33554432000 4194304 6212839 140733497878992 140733497877000 4298110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 31771 31472 237 493 0 31276 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 136236
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25456
/proc/meminfo: memFree=30316332/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=150096 CPUtime=162.21 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 37195 0 0 0 16215 6 0 0 20 0 1 0 284117290 153698304 36858 33554432000 4194304 6212839 140733497878992 140733497877000 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 37524 36858 237 493 0 37029 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 159248
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25456
/proc/meminfo: memFree=30298808/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=164852 CPUtime=222.19 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 41927 0 0 0 22212 7 0 0 20 0 1 0 284117290 168808448 40918 33554432000 4194304 6212839 140733497878992 140733497877000 4661914 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 41213 40918 237 493 0 40718 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 174004
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25456
/proc/meminfo: memFree=30275244/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=188056 CPUtime=282.18 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 49302 0 0 0 28210 8 0 0 20 0 1 0 284117290 192569344 46441 33554432000 4194304 6212839 140733497878992 140733497877000 4298110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 47014 46441 237 493 0 46519 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 197208
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25456
/proc/meminfo: memFree=30270204/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=190960 CPUtime=342.16 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 50023 0 0 0 34208 8 0 0 20 0 1 0 284117290 195543040 47359 33554432000 4194304 6212839 140733497878992 140733497877000 4308147 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 47740 47359 237 493 0 47245 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 200112
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 25457
/proc/meminfo: memFree=30257860/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=296996 CPUtime=1062.01 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 75395 0 0 0 106188 13 0 0 20 0 1 0 284117290 304123904 73822 33554432000 4194304 6212839 140733497878992 140733497877144 4421867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 74249 73822 237 493 0 73754 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 306148
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25462
/proc/meminfo: memFree=30158244/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=296996 CPUtime=1122 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 75395 0 0 0 112187 13 0 0 20 0 1 0 284117290 304123904 73822 33554432000 4194304 6212839 140733497878992 140733497877400 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 74249 73822 237 493 0 73754 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 306148
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25462
/proc/meminfo: memFree=30156508/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=298492 CPUtime=1181.99 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 76033 0 0 0 118186 13 0 0 20 0 1 0 284117290 305655808 74189 33554432000 4194304 6212839 140733497878992 140733497877000 4683115 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 74623 74189 237 493 0 74128 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 307644
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 25462
/proc/meminfo: memFree=30153532/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=300868 CPUtime=1241.99 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 76644 0 0 0 124186 13 0 0 20 0 1 0 284117290 308088832 74800 33554432000 4194304 6212839 140733497878992 140733497877000 4335480 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 75217 74800 237 493 0 74722 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 310020
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 25466
/proc/meminfo: memFree=30150104/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=303724 CPUtime=1301.98 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 77285 0 0 0 130185 13 0 0 20 0 1 0 284117290 311013376 75552 33554432000 4194304 6212839 140733497878992 140733497877000 4411578 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 75931 75552 237 493 0 75436 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 312876
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25489
/proc/meminfo: memFree=30146756/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=307904 CPUtime=1361.97 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 78211 0 0 0 136183 14 0 0 20 0 1 0 284117290 315293696 76478 33554432000 4194304 6212839 140733497878992 140733497877144 4333831 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 76976 76478 237 493 0 76481 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 317056
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25489
/proc/meminfo: memFree=30145896/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=308792 CPUtime=1421.97 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 78418 0 0 0 142183 14 0 0 20 0 1 0 284117290 316203008 76685 33554432000 4194304 6212839 140733497878992 140733497877000 4334768 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 77198 76685 237 493 0 76703 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 317944
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25489
/proc/meminfo: memFree=30134656/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=319088 CPUtime=1481.94 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 81412 0 0 0 148180 14 0 0 20 0 1 0 284117290 326746112 79458 33554432000 4194304 6212839 140733497878992 140733497877000 4298317 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 79772 79458 237 493 0 79277 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 328240
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25489
/proc/meminfo: memFree=30130316/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=324320 CPUtime=1541.94 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 82491 0 0 0 154179 15 0 0 20 0 1 0 284117290 332103680 80537 33554432000 4194304 6212839 140733497878992 140733497877000 4660234 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 81080 80537 237 493 0 80585 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 333472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25490
/proc/meminfo: memFree=30129324/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=325492 CPUtime=1601.93 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 82989 0 0 0 160178 15 0 0 20 0 1 0 284117290 333303808 80823 33554432000 4194304 6212839 140733497878992 140733497877000 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 81373 80823 237 493 0 80878 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 334644
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25490
/proc/meminfo: memFree=30127836/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=327120 CPUtime=1661.92 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 83339 0 0 0 166177 15 0 0 20 0 1 0 284117290 334970880 81173 33554432000 4194304 6212839 140733497878992 140733497877144 4356938 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 81780 81173 237 493 0 81285 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 336272
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 25490
/proc/meminfo: memFree=30126648/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=327252 CPUtime=1721.91 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 83380 0 0 0 172176 15 0 0 20 0 1 0 284117290 335106048 81454 33554432000 4194304 6212839 140733497878992 140733497877000 4705081 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 81813 81454 237 493 0 81318 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 336404
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25490
/proc/meminfo: memFree=30124416/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=329276 CPUtime=1781.9 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 83870 0 0 0 178175 15 0 0 20 0 1 0 284117290 337178624 81944 33554432000 4194304 6212839 140733497878992 140733497877000 4661896 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 82319 81944 237 493 0 81824 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 338428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25490
/proc/meminfo: memFree=30124044/32873844 swapFree=7388/7388
[pid=25371] ppid=25369 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25371/stat : 25371 (clasp-opt.sh) S 25369 25371 23256 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284117290 9371648 275 33554432000 4194304 5064252 140735593411520 140735593410432 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25371/statm: 2288 275 232 213 0 73 0
[pid=25372] ppid=25371 vsize=329540 CPUtime=1800 cores=1,3,5,7
/proc/25372/stat : 25372 (clasp-R5325) R 25371 25371 23256 0 -1 4202496 83935 0 0 0 179985 15 0 0 20 0 1 0 284117290 337448960 82009 33554432000 4194304 6212839 140733497878992 140733497877000 4676419 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/25372/statm: 82385 82009 237 493 0 81890 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 338692
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.01
CPU user time (s): 1799.86
CPU system time (s): 0.154976
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 338692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.154976
maximum resident set size= 328064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84306
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= 137
involuntary context switches= 1846
runsolver used 3.37949 second user time and 9.15361 second system time
The end