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-3709122-1338160381/watcher-3709122-1338160381 -o /tmp/evaluation-result-3709122-1338160381/solver-3709122-1338160381 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709122-1338160381.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: 2.00 2.00 2.00 3/173 18174
/proc/meminfo: memFree=28792532/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[startup+0.0235951 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 18174
/proc/meminfo: memFree=28792532/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100218 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 18174
/proc/meminfo: memFree=28792532/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300202 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 18174
/proc/meminfo: memFree=28792532/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700192 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 18174
/proc/meminfo: memFree=28792532/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18208
/proc/meminfo: memFree=28755136/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=43004 CPUtime=1.49 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 11218 0 0 0 147 2 0 0 20 0 1 0 282164098 44036096 10430 33554432000 4194304 6212839 140737256307552 140737256305560 4312693 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 10751 10430 233 493 0 10256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52156
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18208
/proc/meminfo: memFree=28684580/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=71808 CPUtime=3.09 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 18399 0 0 0 305 4 0 0 20 0 1 0 282164098 73531392 17611 33554432000 4194304 6212839 140737256307552 140737256305560 4411611 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 17952 17611 234 493 0 17457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80960
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18208
/proc/meminfo: memFree=28612860/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=97892 CPUtime=6.28 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 24941 0 0 0 624 4 0 0 20 0 1 0 282164098 100241408 24153 33554432000 4194304 6212839 140737256307552 140737256305560 4683084 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 24473 24153 234 493 0 23978 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 107044
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18208
/proc/meminfo: memFree=28564248/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=123316 CPUtime=12.69 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 31284 0 0 0 1263 6 0 0 20 0 1 0 282164098 126275584 30496 33554432000 4194304 6212839 140737256307552 140737256305560 4308132 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 30829 30496 234 493 0 30334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132468
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18208
/proc/meminfo: memFree=28494064/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=149244 CPUtime=25.48 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 37728 0 0 0 2541 7 0 0 20 0 1 0 282164098 152825856 36928 33554432000 4194304 6212839 140737256307552 140737256305560 4681500 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 37311 36928 234 493 0 36816 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 158396
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18208
/proc/meminfo: memFree=28424592/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=184900 CPUtime=51.07 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 46633 0 0 0 5098 9 0 0 20 0 1 0 282164098 189337600 45819 33554432000 4194304 6212839 140737256307552 140737256305560 4312693 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 46225 45819 234 493 0 45730 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 194052
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18209
/proc/meminfo: memFree=28311544/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=238480 CPUtime=102.23 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 60005 0 0 0 10211 12 0 0 20 0 1 0 282164098 244203520 59211 33554432000 4194304 6212839 140737256307552 140737256305560 4298129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 59620 59211 234 493 0 59125 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 247632
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18209
/proc/meminfo: memFree=28228088/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=284248 CPUtime=162.18 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 71356 0 0 0 16205 13 0 0 20 0 1 0 282164098 291069952 70698 33554432000 4194304 6212839 140737256307552 140737256305560 4308132 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 71062 70698 234 493 0 70567 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 293400
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18209
/proc/meminfo: memFree=28155320/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=318084 CPUtime=222.17 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 80302 0 0 0 22202 15 0 0 20 0 1 0 282164098 325718016 79189 33554432000 4194304 6212839 140737256307552 140737256305560 4685814 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 79521 79189 234 493 0 79026 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 327236
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18209
/proc/meminfo: memFree=28128688/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=335444 CPUtime=282.15 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 84458 0 0 0 28199 16 0 0 20 0 1 0 282164098 343494656 83344 33554432000 4194304 6212839 140737256307552 140737256305560 4685827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 83861 83344 234 493 0 83366 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 344596
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18209
/proc/meminfo: memFree=28061512/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=369868 CPUtime=342.15 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 97830 0 0 0 34196 19 0 0 20 0 1 0 282164098 378744832 91741 33554432000 4194304 6212839 140737256307552 140737256305560 4411578 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 92467 91741 234 493 0 91972 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 379020
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18210
/proc/meminfo: memFree=28050752/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18175/statm: 136268 135941 234 493 0 135773 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 554224
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18219
/proc/meminfo: memFree=27705908/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=548120 CPUtime=1241.98 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 146873 0 0 0 124170 28 0 0 20 0 1 0 282164098 561274880 136703 33554432000 4194304 6212839 140737256307552 140737256305560 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 137030 136703 234 493 0 136535 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 557272
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 18220
/proc/meminfo: memFree=27699920/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=550568 CPUtime=1301.97 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 147514 0 0 0 130169 28 0 0 20 0 1 0 282164098 563781632 137335 33554432000 4194304 6212839 140737256307552 140737256305560 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 137642 137335 234 493 0 137147 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 559720
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18220
/proc/meminfo: memFree=27697560/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=551492 CPUtime=1361.92 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 147769 0 0 0 136164 28 0 0 20 0 1 0 282164098 564727808 137552 33554432000 4194304 6212839 140737256307552 140737256305560 4357006 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 137873 137552 234 493 0 137378 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 560644
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 18220
/proc/meminfo: memFree=27678740/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=560808 CPUtime=1421.92 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 150101 0 0 0 142164 28 0 0 20 0 1 0 282164098 574267392 139884 33554432000 4194304 6212839 140737256307552 140737256305560 4356864 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 140202 139884 234 493 0 139707 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 569960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18220
/proc/meminfo: memFree=27672664/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=562940 CPUtime=1481.9 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 150625 0 0 0 148162 28 0 0 20 0 1 0 282164098 576450560 140408 33554432000 4194304 6212839 140737256307552 140737256305560 4333831 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 140735 140408 234 493 0 140240 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 572092
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18220
/proc/meminfo: memFree=27662620/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=566048 CPUtime=1541.89 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 151913 0 0 0 154161 28 0 0 20 0 1 0 282164098 579633152 141208 33554432000 4194304 6212839 140737256307552 140737256305560 4308157 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 141512 141208 234 493 0 141017 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 575200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18221
/proc/meminfo: memFree=27654436/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=571524 CPUtime=1601.89 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 153274 0 0 0 160160 29 0 0 20 0 1 0 282164098 585240576 142569 33554432000 4194304 6212839 140737256307552 140737256305560 4333864 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 142881 142569 234 493 0 142386 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 580676
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18224
/proc/meminfo: memFree=27652036/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=573928 CPUtime=1661.87 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 155062 0 0 0 166158 29 0 0 20 0 1 0 282164098 587702272 142991 33554432000 4194304 6212839 140737256307552 140737256305560 4308157 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 143482 142991 234 493 0 142987 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 583080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18224
/proc/meminfo: memFree=27580400/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=616128 CPUtime=1721.87 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 166415 0 0 0 172156 31 0 0 20 0 1 0 282164098 630915072 152977 33554432000 4194304 6212839 140737256307552 140737256305560 4705168 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 154032 152977 234 493 0 153537 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 625280
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 18224
/proc/meminfo: memFree=27570484/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=620156 CPUtime=1781.85 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 167910 0 0 0 178154 31 0 0 20 0 1 0 282164098 635039744 153973 33554432000 4194304 6212839 140737256307552 140737256305560 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 155039 153973 234 493 0 154544 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 629308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 18224
/proc/meminfo: memFree=27571476/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=619216 CPUtime=1800.06 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 168297 0 0 0 179975 31 0 0 20 0 1 0 282164098 634077184 153745 33554432000 4194304 6212839 140737256307552 140737256305560 4674856 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 154804 153745 234 493 0 154309 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 628368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 18224
/proc/meminfo: memFree=27571476/32873648 swapFree=7372/7372
[pid=18174] ppid=18172 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18174/stat : 18174 (clasp-opt.sh) S 18172 18174 17700 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282164097 9371648 275 33554432000 4194304 5064252 140736921528704 140736921527616 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18174/statm: 2288 275 232 213 0 73 0
[pid=18175] ppid=18174 vsize=619216 CPUtime=1800.06 cores=1,3,5,7
/proc/18175/stat : 18175 (clasp-R5325) R 18174 18174 17700 0 -1 4202496 168297 0 0 0 179975 31 0 0 20 0 1 0 282164098 634077184 153745 33554432000 4194304 6212839 140737256307552 140737256305560 4674856 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18175/statm: 154804 153745 234 493 0 154309 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 628368
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18174 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.75
CPU system time (s): 0.31
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 629308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
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= 4
involuntary context switches= 1
runsolver used 3.48147 second user time and 9.68353 second system time
The end