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-3709060-1338149205/watcher-3709060-1338149205 -o /tmp/evaluation-result-3709060-1338149205/solver-3709060-1338149205 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709060-1338149205.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/173 30635
/proc/meminfo: memFree=31421976/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[startup+0.04137 s]
/proc/loadavg: 2.00 2.00 1.91 3/173 30635
/proc/meminfo: memFree=31421976/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 1.91 3/173 30635
/proc/meminfo: memFree=31421976/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 1.91 3/173 30635
/proc/meminfo: memFree=31421976/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 1.91 3/173 30635
/proc/meminfo: memFree=31421976/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/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: 2.00 2.00 1.91 3/179 30648
/proc/meminfo: memFree=31359848/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=6008 CPUtime=1.49 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 1247 0 0 0 149 0 0 0 20 0 1 0 281046177 6152192 1196 33554432000 4194304 6212839 140733582569984 140733582567992 4676495 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 1502 1196 232 493 0 1007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15160
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30648
/proc/meminfo: memFree=31357972/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=7072 CPUtime=3.09 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 1518 0 0 0 309 0 0 0 20 0 1 0 281046177 7241728 1454 33554432000 4194304 6212839 140733582569984 140733582567992 4298183 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 1768 1454 232 493 0 1273 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16224
[startup+6.30027 s]
/proc/loadavg: 2.08 2.02 1.92 3/179 30648
/proc/meminfo: memFree=31360436/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=8680 CPUtime=6.29 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 1934 0 0 0 629 0 0 0 20 0 1 0 281046177 8888320 1857 33554432000 4194304 6212839 140733582569984 140733582567992 4743898 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 2170 1857 232 493 0 1675 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17832
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 30648
/proc/meminfo: memFree=31327044/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=10564 CPUtime=12.69 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 2390 0 0 0 1269 0 0 0 20 0 1 0 281046177 10817536 2313 33554432000 4194304 6212839 140733582569984 140733582567992 4685283 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 2641 2313 232 493 0 2146 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19716
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 1.92 3/179 30648
/proc/meminfo: memFree=31292192/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=12756 CPUtime=25.48 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 2940 0 0 0 2548 0 0 0 20 0 1 0 281046177 13062144 2863 33554432000 4194304 6212839 140733582569984 140733582568136 4743727 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 3189 2863 232 493 0 2694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21908
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 30648
/proc/meminfo: memFree=31261036/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=16020 CPUtime=51.08 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 3760 0 0 0 5108 0 0 0 20 0 1 0 281046177 16404480 3683 33554432000 4194304 6212839 140733582569984 140733582567992 4298183 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 4005 3683 232 493 0 3510 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25172
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 30648
/proc/meminfo: memFree=31211356/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=19844 CPUtime=102.27 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 4693 0 0 0 10227 0 0 0 20 0 1 0 281046177 20320256 4592 33554432000 4194304 6212839 140733582569984 140733582568136 4661283 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 4961 4592 232 493 0 4466 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28996
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30648
/proc/meminfo: memFree=31164032/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=22484 CPUtime=162.26 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 5405 0 0 0 16225 1 0 0 20 0 1 0 281046177 23023616 5277 33554432000 4194304 6212839 140733582569984 140733582568136 4683126 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 5621 5277 232 493 0 5126 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 31636
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 30652
/proc/meminfo: memFree=31146780/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=25324 CPUtime=222.25 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 6079 0 0 0 22224 1 0 0 20 0 1 0 281046177 25931776 5943 33554432000 4194304 6212839 140733582569984 140733582568136 4743898 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 6331 5943 232 493 0 5836 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34476
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 30652
/proc/meminfo: memFree=31140344/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=26736 CPUtime=282.24 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 6383 0 0 0 28223 1 0 0 20 0 1 0 281046177 27377664 6247 33554432000 4194304 6212839 140733582569984 140733582568392 4683129 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 6684 6247 232 493 0 6189 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 35888
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 30652
/proc/meminfo: memFree=31064140/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=28700 CPUtime=342.23 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 6967 0 0 0 34222 1 0 0 20 0 1 0 281046177 29388800 6824 33554432000 4194304 6212839 140733582569984 140733582568280 4685294 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 7175 6824 232 493 0 6680 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37852
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 30652
/proc/meminfo: memFree=31062900/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=40184 CPUtime=1122.1 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 9582 0 0 0 112208 2 0 0 20 0 1 0 281046177 41148416 9542 33554432000 4194304 6212839 140733582569984 140733582568136 4298193 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10046 9542 232 493 0 9551 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 49336
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 30658
/proc/meminfo: memFree=30902456/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=40512 CPUtime=1182.09 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 9659 0 0 0 118207 2 0 0 20 0 1 0 281046177 41484288 9738 33554432000 4194304 6212839 140733582569984 140733582568136 4743912 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10128 9738 232 493 0 9633 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 49664
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 30659
/proc/meminfo: memFree=30901952/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=40848 CPUtime=1242.08 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 9724 0 0 0 124206 2 0 0 20 0 1 0 281046177 41828352 9803 33554432000 4194304 6212839 140733582569984 140733582568136 4674393 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10212 9803 232 493 0 9717 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 50000
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 30659
/proc/meminfo: memFree=30901960/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=40848 CPUtime=1302.08 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 9724 0 0 0 130206 2 0 0 20 0 1 0 281046177 41828352 9803 33554432000 4194304 6212839 140733582569984 140733582568136 4705182 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10212 9803 232 493 0 9717 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 50000
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 30659
/proc/meminfo: memFree=30901216/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=41312 CPUtime=1362.06 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 9889 0 0 0 136204 2 0 0 20 0 1 0 281046177 42303488 9919 33554432000 4194304 6212839 140733582569984 140733582568280 4683115 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10328 9919 232 493 0 9833 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 50464
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 30663
/proc/meminfo: memFree=30901456/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=41480 CPUtime=1422.07 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 9933 0 0 0 142204 3 0 0 20 0 1 0 281046177 42475520 9955 33554432000 4194304 6212839 140733582569984 140733582568136 4681504 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10370 9955 232 493 0 9875 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 50632
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 30663
/proc/meminfo: memFree=30901340/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=41732 CPUtime=1482.05 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 9999 0 0 0 148202 3 0 0 20 0 1 0 281046177 42733568 10007 33554432000 4194304 6212839 140733582569984 140733582568136 4705161 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10433 10007 232 493 0 9938 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 50884
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 30663
/proc/meminfo: memFree=30831156/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=41856 CPUtime=1542.04 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 10056 0 0 0 154201 3 0 0 20 0 1 0 281046177 42860544 10055 33554432000 4194304 6212839 140733582569984 140733582568280 4674871 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10464 10055 232 493 0 9969 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 51008
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 30663
/proc/meminfo: memFree=30830784/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=42124 CPUtime=1602.03 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 10146 0 0 0 160200 3 0 0 20 0 1 0 281046177 43134976 10128 33554432000 4194304 6212839 140733582569984 140733582568280 4743898 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10531 10128 232 493 0 10036 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 51276
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 30663
/proc/meminfo: memFree=30830908/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=42384 CPUtime=1662.02 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 10198 0 0 0 166199 3 0 0 20 0 1 0 281046177 43401216 10180 33554432000 4194304 6212839 140733582569984 140733582568280 4298110 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10596 10180 232 493 0 10101 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 51536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 30664
/proc/meminfo: memFree=30830660/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=42696 CPUtime=1722.01 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 10259 0 0 0 172198 3 0 0 20 0 1 0 281046177 43720704 10241 33554432000 4194304 6212839 140733582569984 140733582568136 4674856 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10674 10241 232 493 0 10179 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 51848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 30664
/proc/meminfo: memFree=30826436/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=42780 CPUtime=1782 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 10288 0 0 0 178197 3 0 0 20 0 1 0 281046177 43806720 10270 33554432000 4194304 6212839 140733582569984 140733582568280 4411578 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10695 10270 232 493 0 10200 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 51932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 30664
/proc/meminfo: memFree=30826560/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=42948 CPUtime=1800.01 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 10326 0 0 0 179998 3 0 0 20 0 1 0 281046177 43978752 10308 33554432000 4194304 6212839 140733582569984 140733582568136 5485360 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10737 10308 232 493 0 10242 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 52100
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 2.00 1.93 3/179 30664
/proc/meminfo: memFree=30826560/32873844 swapFree=7112/7112
[pid=30635] ppid=30633 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (clasp-opt.sh) S 30633 30635 30483 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281046177 9371648 275 33554432000 4194304 5064252 140736588820528 140736588819440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30635/statm: 2288 275 232 213 0 73 0
[pid=30636] ppid=30635 vsize=42948 CPUtime=1800.01 cores=0,2,4,6
/proc/30636/stat : 30636 (clasp-R5325) R 30635 30635 30483 0 -1 4202496 10326 0 0 0 179998 3 0 0 20 0 1 0 281046177 43978752 10308 33554432000 4194304 6212839 140733582569984 140733582568136 5485360 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/30636/statm: 10737 10308 232 493 0 10242 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 52100
Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.98
CPU system time (s): 0.034994
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 52100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.034994
maximum resident set size= 41264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10698
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= 21
involuntary context switches= 1853
runsolver used 2.6276 second user time and 7.2549 second system time
The end