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-3708963-1338154979/watcher-3708963-1338154979 -o /tmp/evaluation-result-3708963-1338154979/solver-3708963-1338154979 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708963-1338154979.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.92 1.18 1.58 4/175 17743
/proc/meminfo: memFree=28794548/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[startup+0.0862031 s]
/proc/loadavg: 0.92 1.18 1.58 4/175 17743
/proc/meminfo: memFree=28794548/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100145 s]
/proc/loadavg: 0.92 1.18 1.58 4/175 17743
/proc/meminfo: memFree=28794548/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300115 s]
/proc/loadavg: 0.92 1.18 1.58 4/175 17743
/proc/meminfo: memFree=28794548/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700113 s]
/proc/loadavg: 0.92 1.18 1.58 4/175 17743
/proc/meminfo: memFree=28794548/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50025 s]
/proc/loadavg: 0.92 1.18 1.58 4/179 17747
/proc/meminfo: memFree=28778628/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=3904 CPUtime=1.49 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 718 0 0 0 149 0 0 0 20 0 1 0 281623884 3997696 668 33554432000 4194304 6212839 140737018018832 140737018016840 4685749 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 976 668 236 493 0 481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13056
[startup+3.10014 s]
/proc/loadavg: 0.92 1.18 1.58 3/179 17747
/proc/meminfo: memFree=28776396/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=4576 CPUtime=3.09 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 874 0 0 0 309 0 0 0 20 0 1 0 281623884 4685824 824 33554432000 4194304 6212839 140737018018832 140737018016984 4661900 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 1144 824 236 493 0 649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13728
[startup+6.30013 s]
/proc/loadavg: 1.17 1.23 1.60 3/179 17747
/proc/meminfo: memFree=28771028/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=5400 CPUtime=6.29 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 1090 0 0 0 629 0 0 0 20 0 1 0 281623884 5529600 1040 33554432000 4194304 6212839 140737018018832 140737018016984 4422296 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 1350 1040 236 493 0 855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14552
[startup+12.7002 s]
/proc/loadavg: 1.23 1.24 1.60 3/179 17748
/proc/meminfo: memFree=28763012/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=6676 CPUtime=12.69 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 1399 0 0 0 1269 0 0 0 20 0 1 0 281623884 6836224 1349 33554432000 4194304 6212839 140737018018832 140737018016984 4685305 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 1669 1349 236 493 0 1174 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15828
[startup+25.5003 s]
/proc/loadavg: 1.40 1.28 1.60 4/179 17748
/proc/meminfo: memFree=28759340/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=8380 CPUtime=25.49 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 1821 0 0 0 2549 0 0 0 20 0 1 0 281623884 8581120 1771 33554432000 4194304 6212839 140737018018832 140737018017128 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 2095 1771 236 493 0 1600 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17532
[startup+51.1001 s]
/proc/loadavg: 1.61 1.33 1.61 3/179 17748
/proc/meminfo: memFree=28745920/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=10796 CPUtime=51.08 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 2414 0 0 0 5108 0 0 0 20 0 1 0 281623884 11055104 2364 33554432000 4194304 6212839 140737018018832 140737018016984 4333816 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 2699 2364 236 493 0 2204 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19948
[startup+102.307 s]
/proc/loadavg: 1.83 1.43 1.63 4/179 17748
/proc/meminfo: memFree=28734496/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=14100 CPUtime=102.27 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 3194 0 0 0 10227 0 0 0 20 0 1 0 281623884 14438400 3180 33554432000 4194304 6212839 140737018018832 140737018016984 4357147 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 3525 3180 236 493 0 3030 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23252
[startup+162.3 s]
/proc/loadavg: 1.93 1.54 1.65 3/179 17748
/proc/meminfo: memFree=28714584/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=16604 CPUtime=162.26 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 3802 0 0 0 16226 0 0 0 20 0 1 0 281623884 17002496 3809 33554432000 4194304 6212839 140737018018832 140737018017240 4356800 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 4151 3809 236 493 0 3656 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25756
[startup+222.3 s]
/proc/loadavg: 1.97 1.62 1.67 4/179 17748
/proc/meminfo: memFree=28710452/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=18536 CPUtime=222.25 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 4223 0 0 0 22225 0 0 0 20 0 1 0 281623884 18980864 4267 33554432000 4194304 6212839 140737018018832 140737018016984 4424409 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 4634 4267 236 493 0 4139 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27688
[startup+282.3 s]
/proc/loadavg: 1.99 1.68 1.69 3/179 17748
/proc/meminfo: memFree=28707016/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=20156 CPUtime=282.24 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 4593 0 0 0 28224 0 0 0 20 0 1 0 281623884 20639744 4637 33554432000 4194304 6212839 140737018018832 140737018016984 4424505 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 5039 4637 236 493 0 4544 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 29308
[startup+342.3 s]
/proc/loadavg: 1.99 1.74 1.70 4/179 17749
/proc/meminfo: memFree=28700324/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=21416 CPUtime=342.22 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 4880 0 0 0 34222 0 0 0 20 0 1 0 281623884 21929984 4969 33554432000 4194304 6212839 140737018018832 140737018016984 4333789 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 5354 4969 236 493 0 4859 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 30568
[startup+402.3 s]
/proc/loadavg: 1.99 1.78 1.72 4/179 17749
/proc/meminfo: memFree=28697052/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=30892 CPUtime=1122.11 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 6895 0 0 0 112210 1 0 0 20 0 1 0 281623884 31633408 7319 33554432000 4194304 6212839 140737018018832 140737018016984 4426146 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 7723 7319 236 493 0 7228 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 40044
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/179 17791
/proc/meminfo: memFree=28644760/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=31060 CPUtime=1182.1 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 6953 0 0 0 118209 1 0 0 20 0 1 0 281623884 31805440 7377 33554432000 4194304 6212839 140737018018832 140737018016984 4354206 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 7765 7377 236 493 0 7270 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 40212
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.86 4/179 17792
/proc/meminfo: memFree=28642028/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=31428 CPUtime=1242.09 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7031 0 0 0 124208 1 0 0 20 0 1 0 281623884 32182272 7539 33554432000 4194304 6212839 140737018018832 140737018016984 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 7857 7539 236 493 0 7362 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 40580
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.86 4/179 17792
/proc/meminfo: memFree=28640140/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=32100 CPUtime=1302.09 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7173 0 0 0 130208 1 0 0 20 0 1 0 281623884 32870400 7681 33554432000 4194304 6212839 140737018018832 140737018016984 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8025 7681 236 493 0 7530 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 41252
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.87 4/179 17792
/proc/meminfo: memFree=28639084/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=32268 CPUtime=1362.07 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7184 0 0 0 136206 1 0 0 20 0 1 0 281623884 33042432 7692 33554432000 4194304 6212839 140737018018832 140737018016984 4424505 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8067 7692 236 493 0 7572 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 41420
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 17792
/proc/meminfo: memFree=28637848/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=32448 CPUtime=1422.07 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7231 0 0 0 142206 1 0 0 20 0 1 0 281623884 33226752 7739 33554432000 4194304 6212839 140737018018832 140737018016984 4685827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8112 7739 236 493 0 7617 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 41600
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 17792
/proc/meminfo: memFree=28635924/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=32448 CPUtime=1482.05 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7249 0 0 0 148204 1 0 0 20 0 1 0 281623884 33226752 7757 33554432000 4194304 6212839 140737018018832 140737018016984 4685776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8112 7757 236 493 0 7617 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 41600
[startup+1542.3 s]
/proc/loadavg: 2.05 1.99 1.89 4/179 17793
/proc/meminfo: memFree=28635552/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=32596 CPUtime=1542.04 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7271 0 0 0 154203 1 0 0 20 0 1 0 281623884 33378304 7779 33554432000 4194304 6212839 140737018018832 140737018016984 4423545 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8149 7779 236 493 0 7654 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 41748
[startup+1602.3 s]
/proc/loadavg: 2.02 1.99 1.90 4/179 17793
/proc/meminfo: memFree=28634060/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=33008 CPUtime=1602.03 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7355 0 0 0 160202 1 0 0 20 0 1 0 281623884 33800192 7863 33554432000 4194304 6212839 140737018018832 140737018016984 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8252 7863 236 493 0 7757 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 42160
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/180 17796
/proc/meminfo: memFree=28630468/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=33516 CPUtime=1662.03 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7449 0 0 0 166202 1 0 0 20 0 1 0 281623884 34320384 7957 33554432000 4194304 6212839 140737018018832 140737018016984 4683420 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8379 7957 236 493 0 7884 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 42668
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/179 17796
/proc/meminfo: memFree=28628612/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=33684 CPUtime=1722.02 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7483 0 0 0 172201 1 0 0 20 0 1 0 281623884 34492416 7991 33554432000 4194304 6212839 140737018018832 140737018016984 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8421 7991 236 493 0 7926 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 42836
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/179 17796
/proc/meminfo: memFree=28627496/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=33852 CPUtime=1782.01 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7516 0 0 0 178200 1 0 0 20 0 1 0 281623884 34664448 8024 33554432000 4194304 6212839 140737018018832 140737018016984 4423520 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8463 8024 236 493 0 7968 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 43004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/179 17796
/proc/meminfo: memFree=28628052/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=33852 CPUtime=1800.01 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7516 0 0 0 180000 1 0 0 20 0 1 0 281623884 34664448 8024 33554432000 4194304 6212839 140737018018832 140737018016984 4333838 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8463 8024 236 493 0 7968 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43004
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.00 1.99 1.91 4/179 17796
/proc/meminfo: memFree=28628052/32873648 swapFree=7372/7372
[pid=17743] ppid=17739 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17743/stat : 17743 (clasp-opt.sh) S 17739 17743 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281623884 9371648 275 33554432000 4194304 5064252 140735863176432 140735863175344 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17743/statm: 2288 275 232 213 0 73 0
[pid=17745] ppid=17743 vsize=33852 CPUtime=1800.01 cores=1,3,5,7
/proc/17745/stat : 17745 (clasp-R5325) R 17743 17743 17700 0 -1 4202496 7516 0 0 0 180000 1 0 0 20 0 1 0 281623884 34664448 8024 33554432000 4194304 6212839 140737018018832 140737018016984 4333838 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17745/statm: 8463 8024 236 493 0 7968 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43004
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.013997
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 43004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.013997
maximum resident set size= 32124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7887
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= 18
involuntary context switches= 1852
runsolver used 2.6446 second user time and 7.2119 second system time
The end