runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491824-1307769268/watcher-3491824-1307769268 -o /tmp/evaluation-result-3491824-1307769268/solver-3491824-1307769268 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491824-1307769268.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.08 1.45 2/174 5078
/proc/meminfo: memFree=30937640/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=9384 CPUtime=0 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 2140 0 0 0 0 0 0 0 25 0 1 0 967157297 9609216 1841 33554432000 4194304 6245536 140737323679296 18446744073709551615 4604576 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 2346 1842 181 501 0 1842 0
[startup+0.0586021 s]
/proc/loadavg: 1.00 1.08 1.45 2/174 5078
/proc/meminfo: memFree=30937640/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=19248 CPUtime=0.05 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 5451 0 0 0 5 0 0 0 25 0 1 0 967157297 19709952 4260 33554432000 4194304 6245536 140737323679296 18446744073709551615 5364508 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 4812 4260 201 501 0 4308 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19248
[startup+0.100599 s]
/proc/loadavg: 1.00 1.08 1.45 2/174 5078
/proc/meminfo: memFree=30937640/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=20832 CPUtime=0.09 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 5857 0 0 0 9 0 0 0 25 0 1 0 967157297 21331968 4666 33554432000 4194304 6245536 140737323679296 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 5208 4666 201 501 0 4704 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20832
[startup+0.300568 s]
/proc/loadavg: 1.00 1.08 1.45 2/174 5078
/proc/meminfo: memFree=30937640/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=22456 CPUtime=0.29 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 6896 0 0 0 29 0 0 0 25 0 1 0 967157297 22994944 5200 33554432000 4194304 6245536 140737323679296 18446744073709551615 4362846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 5614 5200 227 501 0 5110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22456
[startup+0.700497 s]
/proc/loadavg: 1.00 1.08 1.45 2/174 5078
/proc/meminfo: memFree=30937640/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=24604 CPUtime=0.69 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 7437 0 0 0 69 0 0 0 25 0 1 0 967157297 25194496 5741 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 6151 5741 228 501 0 5647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24604
[startup+1.50033 s]
/proc/loadavg: 1.08 1.10 1.45 3/175 5079
/proc/meminfo: memFree=30914592/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=26056 CPUtime=1.49 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 7813 0 0 0 149 0 0 0 25 0 1 0 967157297 26681344 6117 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 6514 6117 229 501 0 6010 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26056
[startup+3.10104 s]
/proc/loadavg: 1.08 1.10 1.45 3/175 5079
/proc/meminfo: memFree=30910748/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=29116 CPUtime=3.09 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 8576 0 0 0 309 0 0 0 25 0 1 0 967157297 29814784 6880 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 7279 6880 229 501 0 6775 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29116
[startup+6.30044 s]
/proc/loadavg: 1.08 1.10 1.45 3/175 5079
/proc/meminfo: memFree=30904840/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=31844 CPUtime=6.3 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 9259 0 0 0 629 1 0 0 25 0 1 0 967157297 32608256 7563 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 7961 7563 229 501 0 7457 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 31844
[startup+12.7002 s]
/proc/loadavg: 1.22 1.13 1.46 3/175 5079
/proc/meminfo: memFree=30895212/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=37144 CPUtime=12.69 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 10573 0 0 0 1268 1 0 0 25 0 1 0 967157297 38035456 8877 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 9286 8877 229 501 0 8782 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37144
[startup+25.5009 s]
/proc/loadavg: 1.34 1.16 1.46 3/175 5080
/proc/meminfo: memFree=30886900/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=41424 CPUtime=25.49 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 11606 0 0 0 2548 1 0 0 25 0 1 0 967157297 42418176 9910 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629020 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 10356 9910 229 501 0 9852 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41424
[startup+51.1011 s]
/proc/loadavg: 1.56 1.22 1.47 3/175 5080
/proc/meminfo: memFree=30873204/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=49928 CPUtime=51.09 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 13685 0 0 0 5108 1 0 0 25 0 1 0 967157297 51126272 11989 33554432000 4194304 6245536 140737323679296 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 12482 11989 229 501 0 11978 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 49928
[startup+102.307 s]
/proc/loadavg: 1.82 1.35 1.50 3/175 5082
/proc/meminfo: memFree=30853824/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=61176 CPUtime=102.3 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 16410 0 0 0 10228 2 0 0 25 0 1 0 967157297 62644224 14714 33554432000 4194304 6245536 140737323679296 18446744073709551615 4409648 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 15294 14714 229 501 0 14790 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 61176
[startup+162.3 s]
/proc/loadavg: 1.93 1.47 1.53 3/175 5083
/proc/meminfo: memFree=30839284/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=70436 CPUtime=162.3 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 18547 0 0 0 16228 2 0 0 25 0 1 0 967157297 72126464 16851 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 17609 16851 229 501 0 17105 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 70436
[startup+222.3 s]
/proc/loadavg: 1.97 1.56 1.56 3/175 5085
/proc/meminfo: memFree=30825608/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=80416 CPUtime=222.3 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 20937 0 0 0 22227 3 0 0 25 0 1 0 967157297 82345984 19241 33554432000 4194304 6245536 140737323679296 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 20104 19241 229 501 0 19600 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 80416
[startup+282.301 s]
/proc/loadavg: 1.99 1.64 1.58 3/175 5087
/proc/meminfo: memFree=30813804/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=86840 CPUtime=282.3 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 22504 0 0 0 28227 3 0 0 25 0 1 0 967157297 88924160 20808 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 21710 20808 229 501 0 21206 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 86840
[startup+342.301 s]
/proc/loadavg: 2.10 1.73 1.62 3/175 5088
/proc/meminfo: memFree=30807952/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=91280 CPUtime=342.3 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 23488 0 0 0 34227 3 0 0 25 0 1 0 967157297 93470720 21792 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 22820 21792 229 501 0 22316 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 91280
[startup+402.301 s]
/proc/loadavg: 2.04 1.78 1.64 3/175 5090
/proc/meminfo: memFree=30799360/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=94172 CPUtime=402.31 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 24131 0 0 0 40227 4 0 0 25 0 1 0 967157297 96432128 22435 33554432000 4194304 6245536 140737323679296 18446744073709551615 4409797 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 23543 22435 229 501 0 23039 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 94172
[startup+462.301 s]
/proc/loadavg: 2.01 1.82 1.66 3/175 5091
/proc/meminfo: memFree=30789284/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=102172 CPUtime=462.31 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 26073 0 0 0 46227 4 0 0 25 0 1 0 967157297 104624128 24377 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 25543 24377 229 501 0 25039 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 102172
[startup+522.3 s]
/proc/loadavg: 2.00 1.85 1.67 3/175 5093
/proc/meminfo: memFree=30784168/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=106084 CPUtime=522.3 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 27038 0 0 0 52226 4 0 0 25 0 1 0 967157297 108630016 25342 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 26521 25342 229 501 0 26017 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 106084
[startup+582.3 s]
/proc/loadavg: 2.00 1.87 1.69 3/175 5095
/proc/meminfo: memFree=30777936/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=109172 CPUtime=582.31 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 27713 0 0 0 58226 5 0 0 25 0 1 0 967157297 111792128 26017 33554432000 4194304 6245536 140737323679296 18446744073709551615 4361727 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 27293 26017 229 501 0 26789 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 109172
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.93 1.75 3/175 5101
/proc/meminfo: memFree=30756576/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=123568 CPUtime=822.32 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 30992 0 0 0 82227 5 0 0 25 0 1 0 967157297 126533632 29296 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 30892 29296 229 501 0 30388 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 123568
[startup+882.3 s]
/proc/loadavg: 2.07 1.96 1.77 3/175 5103
/proc/meminfo: memFree=30753316/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=126812 CPUtime=882.32 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 31754 0 0 0 88227 5 0 0 25 0 1 0 967157297 129855488 30058 33554432000 4194304 6245536 140737323679296 18446744073709551615 4361757 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 31703 30058 229 501 0 31199 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 126812
[startup+942.3 s]
/proc/loadavg: 2.02 1.97 1.78 3/175 5104
/proc/meminfo: memFree=30748820/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=128892 CPUtime=942.33 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 32192 0 0 0 94227 6 0 0 25 0 1 0 967157297 131985408 30496 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 32223 30496 229 501 0 31719 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 128892
[startup+1002.3 s]
/proc/loadavg: 2.01 1.97 1.79 3/175 5106
/proc/meminfo: memFree=30746680/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=129588 CPUtime=1002.33 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 32341 0 0 0 100227 6 0 0 25 0 1 0 967157297 132698112 30645 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 32397 30645 229 501 0 31893 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 129588
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/175 5107
/proc/meminfo: memFree=30743668/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=131796 CPUtime=1062.33 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 32831 0 0 0 106227 6 0 0 25 0 1 0 967157297 134959104 31135 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 32949 31135 229 501 0 32445 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 131796
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.81 3/175 5109
/proc/meminfo: memFree=30732840/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=142768 CPUtime=1122.33 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 35379 0 0 0 112227 6 0 0 25 0 1 0 967157297 146194432 33683 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629020 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 35692 33683 229 501 0 35188 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 142768
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/175 5111
/proc/meminfo: memFree=30729464/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=145696 CPUtime=1182.33 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 36022 0 0 0 118227 6 0 0 25 0 1 0 967157297 149192704 34326 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 36424 34326 229 501 0 35920 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 145696
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/175 5112
/proc/meminfo: memFree=30723712/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=149552 CPUtime=1242.33 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 36868 0 0 0 124227 6 0 0 25 0 1 0 967157297 153141248 35172 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 37388 35172 229 501 0 36884 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 149552
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/175 5114
/proc/meminfo: memFree=30721316/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=151484 CPUtime=1302.34 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 37304 0 0 0 130227 7 0 0 25 0 1 0 967157297 155119616 35608 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628952 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 37871 35608 229 501 0 37367 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 151484
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/175 5115
/proc/meminfo: memFree=30718548/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=153388 CPUtime=1362.34 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 37759 0 0 0 136227 7 0 0 25 0 1 0 967157297 157069312 36063 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 38347 36063 229 501 0 37843 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 153388
[startup+1422.31 s]
/proc/loadavg: 2.04 1.99 1.85 3/175 5117
/proc/meminfo: memFree=30716416/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=155472 CPUtime=1422.35 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 38183 0 0 0 142228 7 0 0 25 0 1 0 967157297 159203328 36487 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 38868 36487 229 501 0 38364 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 155472
[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.86 3/175 5122
/proc/meminfo: memFree=30710648/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=157528 CPUtime=1482.34 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 38668 0 0 0 148227 7 0 0 25 0 1 0 967157297 161308672 36972 33554432000 4194304 6245536 140737323679296 18446744073709551615 4408765 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 39382 36972 229 501 0 38878 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 157528
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/175 5123
/proc/meminfo: memFree=30707916/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=159044 CPUtime=1542.34 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 38997 0 0 0 154227 7 0 0 25 0 1 0 967157297 162861056 37301 33554432000 4194304 6245536 140737323679296 18446744073709551615 4304672 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 39761 37301 229 501 0 39257 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 159044
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/175 5125
/proc/meminfo: memFree=30704284/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=162712 CPUtime=1602.35 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 39794 0 0 0 160228 7 0 0 25 0 1 0 967157297 166617088 38098 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 40678 38098 229 501 0 40174 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 162712
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/175 5126
/proc/meminfo: memFree=30700656/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=165492 CPUtime=1662.35 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 40433 0 0 0 166228 7 0 0 25 0 1 0 967157297 169463808 38737 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 41373 38737 229 501 0 40869 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 165492
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/175 5128
/proc/meminfo: memFree=30698260/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=167248 CPUtime=1722.35 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 40818 0 0 0 172228 7 0 0 25 0 1 0 967157297 171261952 39122 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 41812 39122 229 501 0 41308 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 167248
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/175 5130
/proc/meminfo: memFree=30691780/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=172612 CPUtime=1782.36 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 42169 0 0 0 178228 8 0 0 25 0 1 0 967157297 176754688 40473 33554432000 4194304 6245536 140737323679296 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 43153 40473 229 501 0 42649 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 172612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.89 2/173 5131
/proc/meminfo: memFree=30782048/32951124 swapFree=67062556/67111528
[pid=5078] ppid=5076 vsize=176456 CPUtime=1800.06 cores=1,3,5,7
/proc/5078/stat : 5078 (clasp) R 5076 5078 30926 0 -1 4202496 43056 0 0 0 179998 8 0 0 25 0 1 0 967157297 180690944 41360 33554432000 4194304 6245536 140737323679296 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5078/statm: 44114 41360 229 501 0 43610 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 176456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.08
CPU user time (s): 1799.99
CPU system time (s): 0.089986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 176456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43066
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= 3
involuntary context switches= 2617
runsolver used 2.67859 second user time and 7.11792 second system time
The end