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-3709049-1338156780/watcher-3709049-1338156780 -o /tmp/evaluation-result-3709049-1338156780/solver-3709049-1338156780 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709049-1338156780.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 1.99 1.91 3/177 17991
/proc/meminfo: memFree=28793100/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (runsolver) D 17989 17991 17700 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 281803992 12095488 51 33554432000 4194304 5436572 140737122053520 140737122049816 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/17991/statm: 2953 51 31 304 0 2645 0
[startup+0.072704 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 17991
/proc/meminfo: memFree=28793100/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100158 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 17991
/proc/meminfo: memFree=28793100/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300106 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 17991
/proc/meminfo: memFree=28793100/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700099 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 17991
/proc/meminfo: memFree=28793100/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50013 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 17993
/proc/meminfo: memFree=28790884/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=3912 CPUtime=1.48 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 693 0 0 0 148 0 0 0 20 0 1 0 281803993 4005888 648 33554432000 4194304 6212839 140734439547840 140734439545992 4684039 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 978 648 234 493 0 483 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13064
[startup+3.10027 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 17993
/proc/meminfo: memFree=28790372/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=4336 CPUtime=3.08 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 815 0 0 0 308 0 0 0 20 0 1 0 281803993 4440064 770 33554432000 4194304 6212839 140734439547840 140734439545992 4357173 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 1084 770 234 493 0 589 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13488
[startup+6.30026 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 17993
/proc/meminfo: memFree=28789464/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=5036 CPUtime=6.28 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 987 0 0 0 628 0 0 0 20 0 1 0 281803993 5156864 942 33554432000 4194304 6212839 140734439547840 140734439545992 4357027 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 1259 942 234 493 0 764 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14188
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 17993
/proc/meminfo: memFree=28788148/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=5808 CPUtime=12.68 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 1149 0 0 0 1268 0 0 0 20 0 1 0 281803993 5947392 1104 33554432000 4194304 6212839 140734439547840 140734439545992 4685275 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 1452 1104 234 493 0 957 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14960
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 17994
/proc/meminfo: memFree=28786464/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=6984 CPUtime=25.48 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 1427 0 0 0 2548 0 0 0 20 0 1 0 281803993 7151616 1382 33554432000 4194304 6212839 140734439547840 140734439545992 5485388 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 1746 1382 234 493 0 1251 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16136
[startup+51.1002 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 17994
/proc/meminfo: memFree=28786024/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=7732 CPUtime=51.08 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 1607 0 0 0 5108 0 0 0 20 0 1 0 281803993 7917568 1562 33554432000 4194304 6212839 140734439547840 140734439545992 4421890 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 1933 1562 234 493 0 1438 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16884
[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 17994
/proc/meminfo: memFree=28782492/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=9028 CPUtime=102.27 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 1915 0 0 0 10227 0 0 0 20 0 1 0 281803993 9244672 1885 33554432000 4194304 6212839 140734439547840 140734439545992 4356895 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 2257 1885 234 493 0 1762 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18180
[startup+162.3 s]
/proc/loadavg: 2.05 2.00 1.91 3/179 17994
/proc/meminfo: memFree=28781064/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=10348 CPUtime=162.26 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2220 0 0 0 16226 0 0 0 20 0 1 0 281803993 10596352 2235 33554432000 4194304 6212839 140734439547840 140734439545992 4333806 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 2587 2235 234 493 0 2092 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 19500
[startup+222.3 s]
/proc/loadavg: 2.07 2.01 1.92 3/179 17994
/proc/meminfo: memFree=28779884/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=10796 CPUtime=222.25 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2309 0 0 0 22225 0 0 0 20 0 1 0 281803993 11055104 2324 33554432000 4194304 6212839 140734439547840 140734439545992 4685438 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 2699 2324 234 493 0 2204 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 19948
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 17994
/proc/meminfo: memFree=28779784/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=11136 CPUtime=282.24 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2393 0 0 0 28224 0 0 0 20 0 1 0 281803993 11403264 2408 33554432000 4194304 6212839 140734439547840 140734439545992 4685814 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 2784 2408 234 493 0 2289 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 20288
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 17995
/proc/meminfo: memFree=28779352/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=11472 CPUtime=342.23 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2459 0 0 0 34223 0 0 0 20 0 1 0 281803993 11747328 2536 33554432000 4194304 6212839 140734439547840 140734439545992 4685794 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 2868 2536 234 493 0 2373 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 20624
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 17995
/proc/meminfo: memFree=28778484/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13328 CPUtime=1122.11 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2793 0 0 0 112211 0 0 0 20 0 1 0 281803993 13647872 2992 33554432000 4194304 6212839 140734439547840 140734439545992 4298319 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3332 2992 234 493 0 2837 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 22480
[startup+1182.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/179 18004
/proc/meminfo: memFree=28775884/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13328 CPUtime=1182.1 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2793 0 0 0 118210 0 0 0 20 0 1 0 281803993 13647872 2992 33554432000 4194304 6212839 140734439547840 140734439545992 4685484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3332 2992 234 493 0 2837 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 22480
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 1.94 3/178 18004
/proc/meminfo: memFree=28775644/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13496 CPUtime=1242.09 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2824 0 0 0 124209 0 0 0 20 0 1 0 281803993 13819904 3023 33554432000 4194304 6212839 140734439547840 140734439545992 4683420 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3374 3023 234 493 0 2879 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 22648
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 1.94 3/179 18005
/proc/meminfo: memFree=28775016/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13496 CPUtime=1302.09 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2824 0 0 0 130209 0 0 0 20 0 1 0 281803993 13819904 3023 33554432000 4194304 6212839 140734439547840 140734439545992 4685444 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3374 3023 234 493 0 2879 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 22648
[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 1.95 3/179 18005
/proc/meminfo: memFree=28774272/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13496 CPUtime=1362.07 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2824 0 0 0 136207 0 0 0 20 0 1 0 281803993 13819904 3023 33554432000 4194304 6212839 140734439547840 140734439545992 4661283 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3374 3023 234 493 0 2879 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 22648
[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 1.95 3/179 18005
/proc/meminfo: memFree=28773468/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13496 CPUtime=1422.07 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2839 0 0 0 142207 0 0 0 20 0 1 0 281803993 13819904 3038 33554432000 4194304 6212839 140734439547840 140734439545992 4685776 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3374 3038 234 493 0 2879 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 22648
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 1.95 3/179 18005
/proc/meminfo: memFree=28773568/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13664 CPUtime=1482.06 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2869 0 0 0 148206 0 0 0 20 0 1 0 281803993 13991936 3068 33554432000 4194304 6212839 140734439547840 140734439545992 4298202 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3416 3068 234 493 0 2921 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 22816
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 1.96 3/179 18005
/proc/meminfo: memFree=28773816/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13832 CPUtime=1542.05 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2884 0 0 0 154205 0 0 0 20 0 1 0 281803993 14163968 3083 33554432000 4194304 6212839 140734439547840 140734439545992 4662636 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3458 3083 234 493 0 2963 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 22984
[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 1.96 3/179 18006
/proc/meminfo: memFree=28773444/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=13832 CPUtime=1602.04 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2899 0 0 0 160204 0 0 0 20 0 1 0 281803993 14163968 3098 33554432000 4194304 6212839 140734439547840 140734439545992 4681500 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3458 3098 234 493 0 2963 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 22984
[startup+1662.3 s]
/proc/loadavg: 2.14 2.07 1.97 3/180 18009
/proc/meminfo: memFree=28773332/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=14000 CPUtime=1662.03 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2915 0 0 0 166203 0 0 0 20 0 1 0 281803993 14336000 3114 33554432000 4194304 6212839 140734439547840 140734439545992 4328831 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3500 3114 234 493 0 3005 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 23152
[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 1.98 3/179 18009
/proc/meminfo: memFree=28773220/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=14168 CPUtime=1722.02 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2948 0 0 0 172202 0 0 0 20 0 1 0 281803993 14508032 3147 33554432000 4194304 6212839 140734439547840 140734439545992 4681500 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3542 3147 234 493 0 3047 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 23320
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 1.98 3/179 18009
/proc/meminfo: memFree=28772972/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=14168 CPUtime=1782.01 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2949 0 0 0 178201 0 0 0 20 0 1 0 281803993 14508032 3148 33554432000 4194304 6212839 140734439547840 140734439545992 4298304 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3542 3148 234 493 0 3047 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 23320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.03 2.05 1.98 3/179 18049
/proc/meminfo: memFree=28777264/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=14168 CPUtime=1800.01 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2949 0 0 0 180001 0 0 0 20 0 1 0 281803993 14508032 3148 33554432000 4194304 6212839 140734439547840 140734439545992 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3542 3148 234 493 0 3047 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 23320
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.03 2.05 1.98 3/179 18049
/proc/meminfo: memFree=28777264/32873648 swapFree=7372/7372
[pid=17991] ppid=17989 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/17991/stat : 17991 (clasp-opt.sh) S 17989 17991 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281803992 9371648 275 33554432000 4194304 5064252 140735129688000 140735129686912 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17991/statm: 2288 275 232 213 0 73 0
[pid=17993] ppid=17991 vsize=14168 CPUtime=1800.01 cores=0,2,4,6
/proc/17993/stat : 17993 (clasp-R5325) R 17991 17991 17700 0 -1 4202496 2949 0 0 0 180001 0 0 0 20 0 1 0 281803993 14508032 3148 33554432000 4194304 6212839 140734439547840 140734439545992 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/17993/statm: 3542 3148 234 493 0 3047 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 23320
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.02
CPU system time (s): 0.007998
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 23320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.007998
maximum resident set size= 12624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3322
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= 10
involuntary context switches= 1946
runsolver used 2.73058 second user time and 7.09792 second system time
The end