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-3709068-1338151908/watcher-3709068-1338151908 -o /tmp/evaluation-result-3709068-1338151908/solver-3709068-1338151908 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709068-1338151908.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: 1.85 1.97 1.96 3/177 21676
/proc/meminfo: memFree=31661896/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[startup+0.092566 s]
/proc/loadavg: 1.85 1.97 1.96 3/177 21676
/proc/meminfo: memFree=31661896/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100234 s]
/proc/loadavg: 1.85 1.97 1.96 3/177 21676
/proc/meminfo: memFree=31661896/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300232 s]
/proc/loadavg: 1.85 1.97 1.96 3/177 21676
/proc/meminfo: memFree=31661896/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700232 s]
/proc/loadavg: 1.85 1.97 1.96 3/177 21676
/proc/meminfo: memFree=31661896/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50027 s]
/proc/loadavg: 1.85 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31638976/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=15248 CPUtime=1.49 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 3561 0 0 0 149 0 0 0 20 0 1 0 281257851 15613952 3501 33554432000 4194304 6212839 140736329497152 140736329495160 4670461 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 3812 3501 234 493 0 3317 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24400
[startup+3.1003 s]
/proc/loadavg: 1.85 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31627940/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=18356 CPUtime=3.08 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 4344 0 0 0 308 0 0 0 20 0 1 0 281257851 18796544 4284 33554432000 4194304 6212839 140736329497152 140736329495304 4674351 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 4589 4284 234 493 0 4094 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27508
[startup+6.30028 s]
/proc/loadavg: 1.86 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31620988/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=21012 CPUtime=6.28 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 5015 0 0 0 628 0 0 0 20 0 1 0 281257851 21516288 4948 33554432000 4194304 6212839 140736329497152 140736329495320 4705037 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 5253 4948 234 493 0 4758 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30164
[startup+12.7003 s]
/proc/loadavg: 1.87 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31610552/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=26484 CPUtime=12.68 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 6548 0 0 0 1267 1 0 0 20 0 1 0 281257851 27119616 6324 33554432000 4194304 6212839 140736329497152 140736329495448 4308157 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 6621 6324 234 493 0 6126 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35636
[startup+25.5003 s]
/proc/loadavg: 1.90 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31594068/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=35348 CPUtime=25.48 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 8860 0 0 0 2546 2 0 0 20 0 1 0 281257851 36196352 8521 33554432000 4194304 6212839 140736329497152 140736329495320 4357173 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 8837 8521 234 493 0 8342 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44500
[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31584676/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=40120 CPUtime=51.07 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 10494 0 0 0 5105 2 0 0 20 0 1 0 281257851 41082880 9716 33554432000 4194304 6212839 140736329497152 140736329495320 4356900 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 10030 9716 234 493 0 9535 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49272
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31556752/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=53656 CPUtime=102.27 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 13906 0 0 0 10224 3 0 0 20 0 1 0 281257851 54943744 12951 33554432000 4194304 6212839 140736329497152 140736329495160 4334731 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 13414 12951 234 493 0 12919 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62808
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31541044/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=61032 CPUtime=162.25 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 16643 0 0 0 16221 4 0 0 20 0 1 0 281257851 62496768 14947 33554432000 4194304 6212839 140736329497152 140736329495160 4683113 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 15258 14947 234 493 0 14763 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 70184
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/179 21678
/proc/meminfo: memFree=31523180/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=66172 CPUtime=222.24 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 18404 0 0 0 22219 5 0 0 20 0 1 0 281257851 67760128 16243 33554432000 4194304 6212839 140736329497152 140736329495448 4681533 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 16543 16243 234 493 0 16048 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 75324
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/179 21679
/proc/meminfo: memFree=31510764/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=72104 CPUtime=282.22 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 20446 0 0 0 28217 5 0 0 20 0 1 0 281257851 73834496 17728 33554432000 4194304 6212839 140736329497152 140736329495448 4674552 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 18026 17728 234 493 0 17531 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 81256
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/179 21679
/proc/meminfo: memFree=31505420/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=74964 CPUtime=342.22 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 21843 0 0 0 34216 6 0 0 20 0 1 0 281257851 76763136 18418 33554432000 4194304 6212839 140736329497152 140736329495464 4705024 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 18741 18418 234 493 0 18246 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 84116
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/179 21679
/proc/meminfo: memFree=31491588/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=115764 CPUtime=1062.1 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 39777 0 0 0 106199 11 0 0 20 0 1 0 281257851 118542336 28637 33554432000 4194304 6212839 140736329497152 140736329495320 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 28941 28637 234 493 0 28446 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 124916
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 21710
/proc/meminfo: memFree=31431556/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=116788 CPUtime=1122.09 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 40347 0 0 0 112198 11 0 0 20 0 1 0 281257851 119590912 28895 33554432000 4194304 6212839 140736329497152 140736329495224 4308132 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 29197 28895 234 493 0 28702 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 125940
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21710
/proc/meminfo: memFree=31429516/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=118700 CPUtime=1182.08 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 41058 0 0 0 118197 11 0 0 20 0 1 0 281257851 121548800 29356 33554432000 4194304 6212839 140736329497152 140736329495320 4676495 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 29675 29356 234 493 0 29180 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 127852
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21711
/proc/meminfo: memFree=31405708/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=134116 CPUtime=1242.08 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 44057 0 0 0 124196 12 0 0 20 0 1 0 281257851 137334784 32188 33554432000 4194304 6212839 140736329497152 140736329495448 4333840 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 33529 32188 234 493 0 33034 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 143268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21711
/proc/meminfo: memFree=31400172/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=134208 CPUtime=1302.07 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 44068 0 0 0 130195 12 0 0 20 0 1 0 281257851 137428992 33210 33554432000 4194304 6212839 140736329497152 140736329495448 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 33552 33210 234 493 0 33057 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 143360
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21711
/proc/meminfo: memFree=31394140/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=134364 CPUtime=1362.05 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 44673 0 0 0 136193 12 0 0 20 0 1 0 281257851 137588736 33271 33554432000 4194304 6212839 140736329497152 140736329495448 4674525 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 33591 33271 234 493 0 33096 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 143516
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 21711
/proc/meminfo: memFree=31393272/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=137776 CPUtime=1422.05 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 46358 0 0 0 142192 13 0 0 20 0 1 0 281257851 141082624 34105 33554432000 4194304 6212839 140736329497152 140736329495320 4660198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 34444 34105 234 493 0 33949 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 146928
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.99 3/179 21711
/proc/meminfo: memFree=31382360/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=140844 CPUtime=1482.03 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 47817 0 0 0 148190 13 0 0 20 0 1 0 281257851 144224256 34892 33554432000 4194304 6212839 140736329497152 140736329495448 4334724 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 35211 34892 234 493 0 34716 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 149996
[startup+1542.3 s]
/proc/loadavg: 2.12 2.04 2.00 3/179 21712
/proc/meminfo: memFree=31380308/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=142520 CPUtime=1542.03 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 48858 0 0 0 154189 14 0 0 20 0 1 0 281257851 145940480 35296 33554432000 4194304 6212839 140736329497152 140736329495160 4335022 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 35630 35296 234 493 0 35135 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 151672
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 21712
/proc/meminfo: memFree=31377572/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=143196 CPUtime=1602.02 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 50528 0 0 0 160188 14 0 0 20 0 1 0 281257851 146632704 35503 33554432000 4194304 6212839 140736329497152 140736329495448 4326110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 35799 35503 234 493 0 35304 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 152348
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 21712
/proc/meminfo: memFree=31376828/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=143564 CPUtime=1662.01 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 50904 0 0 0 166187 14 0 0 20 0 1 0 281257851 147009536 35595 33554432000 4194304 6212839 140736329497152 140736329495448 4334688 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 35891 35595 234 493 0 35396 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 152716
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 21715
/proc/meminfo: memFree=31375452/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=144736 CPUtime=1722.01 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 51316 0 0 0 172186 15 0 0 20 0 1 0 281257851 148209664 35886 33554432000 4194304 6212839 140736329497152 140736329495448 4705146 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 36184 35886 234 493 0 35689 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 153888
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21715
/proc/meminfo: memFree=31370496/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=147176 CPUtime=1781.99 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 52647 0 0 0 178184 15 0 0 20 0 1 0 281257851 150708224 36498 33554432000 4194304 6212839 140736329497152 140736329495448 4334949 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 36794 36498 234 493 0 36299 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 156328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 21740
/proc/meminfo: memFree=31519292/32873844 swapFree=6872/6872
[pid=21676] ppid=21674 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/21676/stat : 21676 (clasp-opt.sh) S 21674 21676 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281257850 9371648 275 33554432000 4194304 5064252 140734548854016 140734548852928 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21676/statm: 2288 275 232 213 0 73 0
[pid=21677] ppid=21676 vsize=146780 CPUtime=1800.1 cores=1,3,5,7
/proc/21677/stat : 21677 (clasp-R5325) R 21676 21676 19129 0 -1 4202496 52863 0 0 0 179995 15 0 0 20 0 1 0 281257851 150302720 36399 33554432000 4194304 6212839 140736329497152 140736329495448 4334710 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/21677/statm: 36695 36399 234 493 0 36200 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 155932
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.11
CPU user time (s): 1799.95
CPU system time (s): 0.156976
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 156944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.156976
maximum resident set size= 146572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53235
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= 59
involuntary context switches= 1848
runsolver used 2.65759 second user time and 7.18291 second system time
The end