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-3708978-1338310758/watcher-3708978-1338310758 -o /tmp/evaluation-result-3708978-1338310758/solver-3708978-1338310758 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708978-1338310758.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: 0.00 0.00 0.80 2/171 15593
/proc/meminfo: memFree=30835996/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[startup+0.014146 s]
/proc/loadavg: 0.00 0.00 0.80 2/171 15593
/proc/meminfo: memFree=30835996/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100251 s]
/proc/loadavg: 0.00 0.00 0.80 2/171 15593
/proc/meminfo: memFree=30835996/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300179 s]
/proc/loadavg: 0.00 0.00 0.80 2/171 15593
/proc/meminfo: memFree=30835996/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70018 s]
/proc/loadavg: 0.00 0.00 0.80 2/171 15593
/proc/meminfo: memFree=30835996/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50021 s]
/proc/loadavg: 0.00 0.00 0.80 3/179 15608
/proc/meminfo: memFree=30815044/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=4160 CPUtime=1.49 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 787 0 0 0 149 0 0 0 20 0 1 0 297200696 4259840 736 33554432000 4194304 6212839 140736856101792 140736856099944 4333828 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 1040 736 236 493 0 545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13312
[startup+3.10022 s]
/proc/loadavg: 0.00 0.00 0.80 3/179 15608
/proc/meminfo: memFree=30807480/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=4904 CPUtime=3.09 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 968 0 0 0 309 0 0 0 20 0 1 0 297200696 5021696 917 33554432000 4194304 6212839 140736856101792 140736856100088 4421909 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 1226 917 236 493 0 731 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14056
[startup+6.30022 s]
/proc/loadavg: 0.16 0.03 0.81 3/179 15608
/proc/meminfo: memFree=30798800/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=5972 CPUtime=6.29 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 1222 0 0 0 629 0 0 0 20 0 1 0 297200696 6115328 1171 33554432000 4194304 6212839 140736856101792 140736856099992 4333799 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 1493 1171 236 493 0 998 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15124
[startup+12.7002 s]
/proc/loadavg: 0.31 0.07 0.81 3/179 15608
/proc/meminfo: memFree=30782292/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=7096 CPUtime=12.69 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 1510 0 0 0 1269 0 0 0 20 0 1 0 297200696 7266304 1459 33554432000 4194304 6212839 140736856101792 140736856099944 5434274 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 1774 1459 236 493 0 1279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16248
[startup+25.5002 s]
/proc/loadavg: 0.68 0.16 0.83 3/179 15608
/proc/meminfo: memFree=30771404/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=8756 CPUtime=25.48 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 1928 0 0 0 2548 0 0 0 20 0 1 0 297200696 8966144 1866 33554432000 4194304 6212839 140736856101792 140736856099944 4674351 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 2189 1866 236 493 0 1694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17908
[startup+51.1002 s]
/proc/loadavg: 1.13 0.31 0.86 3/180 15611
/proc/meminfo: memFree=30746740/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=10944 CPUtime=51.07 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 2486 0 0 0 5107 0 0 0 20 0 1 0 297200696 11206656 2403 33554432000 4194304 6212839 140736856101792 140736856099944 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 2736 2403 236 493 0 2241 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20096
[startup+102.307 s]
/proc/loadavg: 1.62 0.56 0.92 3/180 15633
/proc/meminfo: memFree=30723720/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=14048 CPUtime=102.27 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 3253 0 0 0 10227 0 0 0 20 0 1 0 297200696 14385152 3150 33554432000 4194304 6212839 140736856101792 140736856099944 4685347 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 3512 3150 236 493 0 3017 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23200
[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.98 3/180 15634
/proc/meminfo: memFree=30708272/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=15820 CPUtime=162.25 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 3675 0 0 0 16225 0 0 0 20 0 1 0 297200696 16199680 3600 33554432000 4194304 6212839 140736856101792 140736856100088 4685347 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 3955 3600 236 493 0 3460 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24972
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 1.04 3/179 15634
/proc/meminfo: memFree=30694432/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=17736 CPUtime=222.25 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 4144 0 0 0 22224 1 0 0 20 0 1 0 297200696 18161664 4079 33554432000 4194304 6212839 140736856101792 140736856099944 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 4434 4079 236 493 0 3939 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 26888
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 1.10 3/179 15634
/proc/meminfo: memFree=30685628/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=19884 CPUtime=282.24 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 4653 0 0 0 28223 1 0 0 20 0 1 0 297200696 20361216 4540 33554432000 4194304 6212839 140736856101792 140736856099944 4685809 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 4971 4540 236 493 0 4476 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 29036
[startup+342.3 s]
/proc/loadavg: 1.99 1.35 1.15 3/179 15634
/proc/meminfo: memFree=30665344/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=20936 CPUtime=342.23 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 4898 0 0 0 34222 1 0 0 20 0 1 0 297200696 21438464 4877 33554432000 4194304 6212839 140736856101792 140736856099944 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 5234 4877 236 493 0 4739 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 30088
[startup+402.3 s]
/proc/loadavg: 2.04 1.48 1.21 3/179 15634
/proc/meminfo: memFree=30654048/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=27444 CPUtime=1122.1 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6291 0 0 0 112209 1 0 0 20 0 1 0 297200696 28102656 6460 33554432000 4194304 6212839 140736856101792 140736856099944 4685275 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 6861 6460 236 493 0 6366 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 36596
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.63 3/179 15640
/proc/meminfo: memFree=30577392/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=27612 CPUtime=1182.09 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6342 0 0 0 118208 1 0 0 20 0 1 0 297200696 28274688 6511 33554432000 4194304 6212839 140736856101792 140736856099944 4683084 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 6903 6511 236 493 0 6408 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 36764
[startup+1242.3 s]
/proc/loadavg: 2.03 1.97 1.66 3/179 15640
/proc/meminfo: memFree=30577020/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=27764 CPUtime=1242.08 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6366 0 0 0 124207 1 0 0 20 0 1 0 297200696 28430336 6535 33554432000 4194304 6212839 140736856101792 140736856099944 4676511 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 6941 6535 236 493 0 6446 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 36916
[startup+1302.3 s]
/proc/loadavg: 2.01 1.97 1.67 3/180 15643
/proc/meminfo: memFree=30576640/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=27932 CPUtime=1302.08 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6414 0 0 0 130207 1 0 0 20 0 1 0 297200696 28602368 6583 33554432000 4194304 6212839 140736856101792 140736856099944 4423545 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 6983 6583 236 493 0 6488 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 37084
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 15643
/proc/meminfo: memFree=30573108/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=28288 CPUtime=1362.07 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6481 0 0 0 136205 2 0 0 20 0 1 0 297200696 28966912 6729 33554432000 4194304 6212839 140736856101792 140736856099944 4685331 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7072 6729 236 493 0 6577 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 37440
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.71 3/179 15644
/proc/meminfo: memFree=30569760/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=28456 CPUtime=1422.07 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6518 0 0 0 142205 2 0 0 20 0 1 0 297200696 29138944 6766 33554432000 4194304 6212839 140736856101792 140736856099944 4372620 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7114 6766 236 493 0 6619 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 37608
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/179 15644
/proc/meminfo: memFree=30562380/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=28960 CPUtime=1482.05 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6599 0 0 0 148203 2 0 0 20 0 1 0 297200696 29655040 6847 33554432000 4194304 6212839 140736856101792 140736856099944 4685476 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7240 6847 236 493 0 6745 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 38112
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/179 15644
/proc/meminfo: memFree=30562124/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=29132 CPUtime=1542.05 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6633 0 0 0 154203 2 0 0 20 0 1 0 297200696 29831168 6881 33554432000 4194304 6212839 140736856101792 140736856099944 4635963 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7283 6881 236 493 0 6788 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 38284
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/179 15644
/proc/meminfo: memFree=30531744/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=29468 CPUtime=1602.04 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6695 0 0 0 160202 2 0 0 20 0 1 0 297200696 30175232 6943 33554432000 4194304 6212839 140736856101792 140736856099944 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7367 6943 236 493 0 6872 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 38620
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/179 15644
/proc/meminfo: memFree=30523180/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=29468 CPUtime=1662.03 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6708 0 0 0 166201 2 0 0 20 0 1 0 297200696 30175232 6956 33554432000 4194304 6212839 140736856101792 140736856099944 4682215 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7367 6956 236 493 0 6872 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 38620
[startup+1722.3 s]
/proc/loadavg: 2.03 1.99 1.78 3/179 15645
/proc/meminfo: memFree=30510676/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=29636 CPUtime=1722.02 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6748 0 0 0 172200 2 0 0 20 0 1 0 297200696 30347264 6996 33554432000 4194304 6212839 140736856101792 140736856099944 4685331 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7409 6996 236 493 0 6914 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 38788
[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.79 3/179 15645
/proc/meminfo: memFree=30510676/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=29776 CPUtime=1782.01 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6775 0 0 0 178199 2 0 0 20 0 1 0 297200696 30490624 7023 33554432000 4194304 6212839 140736856101792 140736856099944 4356934 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7444 7023 236 493 0 6949 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 38928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 1.99 1.80 3/179 15645
/proc/meminfo: memFree=30510800/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=29916 CPUtime=1800.01 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6791 0 0 0 179999 2 0 0 20 0 1 0 297200696 30633984 7039 33554432000 4194304 6212839 140736856101792 140736856099944 4685776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7479 7039 236 493 0 6984 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 39068
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.01 1.99 1.80 3/179 15645
/proc/meminfo: memFree=30510800/32873844 swapFree=6608/6608
[pid=15593] ppid=15591 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/15593/stat : 15593 (clasp-opt.sh) S 15591 15593 15561 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200696 9371648 275 33554432000 4194304 5064252 140735321941760 140735321940672 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15593/statm: 2288 275 232 213 0 73 0
[pid=15594] ppid=15593 vsize=29916 CPUtime=1800.01 cores=1,3,5,7
/proc/15594/stat : 15594 (clasp-R5325) R 15593 15593 15561 0 -1 4202496 6791 0 0 0 179999 2 0 0 20 0 1 0 297200696 30633984 7039 33554432000 4194304 6212839 140736856101792 140736856099944 4685776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/15594/statm: 7479 7039 236 493 0 6984 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 39068
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.022996
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 39068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.022996
maximum resident set size= 28188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7164
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= 17
involuntary context switches= 1854
runsolver used 2.6286 second user time and 7.2459 second system time
The end