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-3709114-1338160255/watcher-3709114-1338160255 -o /tmp/evaluation-result-3709114-1338160255/solver-3709114-1338160255 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709114-1338160255.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 2.00 4/176 19695
/proc/meminfo: memFree=30399032/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[startup+0.0918491 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19695
/proc/meminfo: memFree=30399032/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19695
/proc/meminfo: memFree=30399032/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19695
/proc/meminfo: memFree=30399032/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19695
/proc/meminfo: memFree=30399032/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19699
/proc/meminfo: memFree=30344864/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=46544 CPUtime=1.48 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 11824 0 0 0 147 1 0 0 20 0 1 0 282154006 47661056 11312 33554432000 4194304 6212839 140734077001856 140734076999864 4312693 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 11636 11313 234 493 0 11141 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55696
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19699
/proc/meminfo: memFree=30288692/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=65380 CPUtime=3.09 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 16539 0 0 0 306 3 0 0 20 0 1 0 282154006 66949120 16027 33554432000 4194304 6212839 140734077001856 140734076999864 4333818 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 16345 16027 234 493 0 15850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74532
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 19699
/proc/meminfo: memFree=30249392/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=77460 CPUtime=6.29 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 19559 0 0 0 626 3 0 0 20 0 1 0 282154006 79319040 19047 33554432000 4194304 6212839 140734077001856 140734076999864 5437001 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 19365 19047 234 493 0 18870 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86612
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19699
/proc/meminfo: memFree=30203908/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=101600 CPUtime=12.68 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 25580 0 0 0 1264 4 0 0 20 0 1 0 282154006 104038400 25068 33554432000 4194304 6212839 140734077001856 140734076999864 4334936 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 25400 25068 234 493 0 24905 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 110752
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19699
/proc/meminfo: memFree=30149868/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=130436 CPUtime=25.48 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 32767 0 0 0 2542 6 0 0 20 0 1 0 282154006 133566464 32245 33554432000 4194304 6212839 140734077001856 140734076999864 4308157 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 32609 32245 234 493 0 32114 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 139588
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19699
/proc/meminfo: memFree=30089184/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=165872 CPUtime=51.06 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 41640 0 0 0 5098 8 0 0 20 0 1 0 282154006 169852928 41097 33554432000 4194304 6212839 140734077001856 140734076999864 4308157 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 41468 41097 234 493 0 40973 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 175024
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19699
/proc/meminfo: memFree=30017060/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=205684 CPUtime=102.24 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 51500 0 0 0 10214 10 0 0 20 0 1 0 282154006 210620416 50962 33554432000 4194304 6212839 140734077001856 140734076999864 4674896 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 51421 50962 234 493 0 50926 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 214836
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/179 19699
/proc/meminfo: memFree=29933512/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=244588 CPUtime=162.2 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 61217 0 0 0 16209 11 0 0 20 0 1 0 282154006 250458112 60845 33554432000 4194304 6212839 140734077001856 140734076999864 4683126 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 61147 60845 234 493 0 60652 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 253740
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 19700
/proc/meminfo: memFree=29885428/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=269288 CPUtime=222.19 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 67769 0 0 0 22206 13 0 0 20 0 1 0 282154006 275750912 66932 33554432000 4194304 6212839 140734077001856 140734077000152 4681500 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 67322 66932 234 493 0 66827 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 278440
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19700
/proc/meminfo: memFree=29833500/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=292764 CPUtime=282.18 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 74646 0 0 0 28203 15 0 0 20 0 1 0 282154006 299790336 72728 33554432000 4194304 6212839 140734077001856 140734076999864 4411564 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 73191 72728 234 493 0 72696 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 301916
[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 19700
/proc/meminfo: memFree=29804348/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=303348 CPUtime=342.17 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 77656 0 0 0 34202 15 0 0 20 0 1 0 282154006 310628352 75357 33554432000 4194304 6212839 140734077001856 140734076999864 4681533 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 75837 75357 234 493 0 75342 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 312500
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 19700
/proc/meminfo: memFree=29774216/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=430800 CPUtime=1122.01 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 110570 0 0 0 112181 20 0 0 20 0 1 0 282154006 441139200 107394 33554432000 4194304 6212839 140734077001856 140734076999864 4681484 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 107700 107394 234 493 0 107205 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 439952
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 19709
/proc/meminfo: memFree=29553356/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=434760 CPUtime=1182 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 111565 0 0 0 118180 20 0 0 20 0 1 0 282154006 445194240 108389 33554432000 4194304 6212839 140734077001856 140734076999864 4674360 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 108690 108389 234 493 0 108195 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 443912
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19709
/proc/meminfo: memFree=29540096/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=438316 CPUtime=1242 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 112897 0 0 0 124179 21 0 0 20 0 1 0 282154006 448835584 109260 33554432000 4194304 6212839 140734077001856 140734076999864 4308132 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 109579 109260 234 493 0 109084 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 447468
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19709
/proc/meminfo: memFree=29531792/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=441100 CPUtime=1301.99 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 113610 0 0 0 130178 21 0 0 20 0 1 0 282154006 451686400 109973 33554432000 4194304 6212839 140734077001856 140734076999864 4334733 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 110275 109973 234 493 0 109780 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 450252
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19709
/proc/meminfo: memFree=29483556/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=476644 CPUtime=1361.98 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 122052 0 0 0 136175 23 0 0 20 0 1 0 282154006 488083456 118415 33554432000 4194304 6212839 140734077001856 140734076999864 4411578 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 119161 118415 234 493 0 118666 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 485796
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19710
/proc/meminfo: memFree=29481944/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=478768 CPUtime=1421.97 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 123377 0 0 0 142174 23 0 0 20 0 1 0 282154006 490258432 118936 33554432000 4194304 6212839 140734077001856 140734076999864 4325944 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 119692 118936 234 493 0 119197 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 487920
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19710
/proc/meminfo: memFree=29451564/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=485180 CPUtime=1481.96 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 125692 0 0 0 148172 24 0 0 20 0 1 0 282154006 496824320 120355 33554432000 4194304 6212839 140734077001856 140734077000152 4685294 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 121295 120355 234 493 0 120800 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 494332
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19711
/proc/meminfo: memFree=29445604/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=487432 CPUtime=1541.95 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 126748 0 0 0 154171 24 0 0 20 0 1 0 282154006 499130368 120886 33554432000 4194304 6212839 140734077001856 140734076999864 4357006 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 121858 120886 234 493 0 121363 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 496584
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19711
/proc/meminfo: memFree=29437176/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=489812 CPUtime=1601.92 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 127398 0 0 0 160168 24 0 0 20 0 1 0 282154006 501567488 122153 33554432000 4194304 6212839 140734077001856 140734076999864 4298110 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 122453 122153 234 493 0 121958 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 498964
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19711
/proc/meminfo: memFree=29430852/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=495632 CPUtime=1661.91 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 128826 0 0 0 166166 25 0 0 20 0 1 0 282154006 507527168 123581 33554432000 4194304 6212839 140734077001856 140734076999864 4312680 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 123908 123581 234 493 0 123413 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 504784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19712
/proc/meminfo: memFree=29428992/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=495764 CPUtime=1721.9 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 128882 0 0 0 172165 25 0 0 20 0 1 0 282154006 507662336 123637 33554432000 4194304 6212839 140734077001856 140734076999864 5485413 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 123941 123637 234 493 0 123446 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 504916
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 19715
/proc/meminfo: memFree=29417328/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=501840 CPUtime=1781.89 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 131660 0 0 0 178163 26 0 0 20 0 1 0 282154006 513884160 125156 33554432000 4194304 6212839 140734077001856 140734076999864 4674249 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 125460 125156 234 493 0 124965 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 510992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.16 2.03 2.01 4/180 19715
/proc/meminfo: memFree=29418444/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=500628 CPUtime=1800.09 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 131684 0 0 0 179983 26 0 0 20 0 1 0 282154006 512643072 124861 33554432000 4194304 6212839 140734077001856 140734077000152 4685305 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 125157 124861 234 493 0 124662 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 509780
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.16 2.03 2.01 4/180 19715
/proc/meminfo: memFree=29418444/32873844 swapFree=7108/7108
[pid=19694] ppid=19691 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/19694/stat : 19694 (clasp-opt.sh) S 19691 19694 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282154005 9371648 275 33554432000 4194304 5064252 140735003907728 140735003906640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19694/statm: 2288 275 232 213 0 73 0
[pid=19697] ppid=19694 vsize=500628 CPUtime=1800.09 cores=0,2,4,6
/proc/19697/stat : 19697 (clasp-R5325) R 19694 19694 19533 0 -1 4202496 131684 0 0 0 179983 26 0 0 20 0 1 0 282154006 512643072 124861 33554432000 4194304 6212839 140734077001856 140734077000152 4685305 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/19697/statm: 125157 124861 234 493 0 124662 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 509780
Child status: 10
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.84
CPU system time (s): 0.269958
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 511124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.269958
maximum resident set size= 500720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132056
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= 224
involuntary context switches= 1846
runsolver used 2.90956 second user time and 8.5657 second system time
The end