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-3491835-1307769726/watcher-3491835-1307769726 -o /tmp/evaluation-result-3491835-1307769726/solver-3491835-1307769726 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491835-1307769726.opb --solu --heu=VSIDS
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: 3.00 3.00 2.92 3/178 21085
/proc/meminfo: memFree=31736612/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=9388 CPUtime=0 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 2153 0 0 0 0 0 0 0 25 0 1 0 888571408 9613312 1853 33554432000 4194304 6245536 140735136966000 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 2347 1853 181 501 0 1843 0
[startup+0.074193 s]
/proc/loadavg: 3.00 3.00 2.92 3/178 21085
/proc/meminfo: memFree=31736612/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=19656 CPUtime=0.06 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 5574 0 0 0 6 0 0 0 25 0 1 0 888571408 20127744 4380 33554432000 4194304 6245536 140735136966000 18446744073709551615 4566535 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 4914 4381 201 501 0 4410 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19656
[startup+0.100185 s]
/proc/loadavg: 3.00 3.00 2.92 3/178 21085
/proc/meminfo: memFree=31736612/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=20844 CPUtime=0.09 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 5865 0 0 0 9 0 0 0 25 0 1 0 888571408 21344256 4671 33554432000 4194304 6245536 140735136966000 18446744073709551615 4564321 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 5211 4671 201 501 0 4707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20844
[startup+0.300239 s]
/proc/loadavg: 3.00 3.00 2.92 3/178 21085
/proc/meminfo: memFree=31736612/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=22456 CPUtime=0.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 6904 0 0 0 29 0 0 0 25 0 1 0 888571408 22994944 5203 33554432000 4194304 6245536 140735136966000 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 5614 5203 227 501 0 5110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22456
[startup+0.700148 s]
/proc/loadavg: 3.00 3.00 2.92 3/178 21085
/proc/meminfo: memFree=31736612/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=24444 CPUtime=0.69 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 7415 0 0 0 69 0 0 0 25 0 1 0 888571408 25030656 5714 33554432000 4194304 6245536 140735136966000 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 6111 5714 228 501 0 5607 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24444
[startup+1.50093 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21086
/proc/meminfo: memFree=31714060/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=26364 CPUtime=1.49 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 7895 0 0 0 149 0 0 0 25 0 1 0 888571408 26996736 6194 33554432000 4194304 6245536 140735136966000 18446744073709551615 4409865 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 6591 6194 229 501 0 6087 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26364
[startup+3.10072 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21086
/proc/meminfo: memFree=31711460/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=28356 CPUtime=3.09 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 8425 0 0 0 309 0 0 0 25 0 1 0 888571408 29036544 6724 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 7089 6724 229 501 0 6585 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28356
[startup+6.30008 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21086
/proc/meminfo: memFree=31706668/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=32228 CPUtime=6.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 9358 0 0 0 629 0 0 0 25 0 1 0 888571408 33001472 7657 33554432000 4194304 6245536 140735136966000 18446744073709551615 4635025 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 8057 7657 229 501 0 7553 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32228
[startup+12.7009 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21086
/proc/meminfo: memFree=31700832/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=37000 CPUtime=12.7 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 10547 0 0 0 1269 1 0 0 25 0 1 0 888571408 37888000 8846 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 9250 8846 229 501 0 8746 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37000
[startup+25.5007 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21086
/proc/meminfo: memFree=31694612/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=42376 CPUtime=25.49 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 11873 0 0 0 2548 1 0 0 25 0 1 0 888571408 43393024 10172 33554432000 4194304 6245536 140735136966000 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 10594 10172 229 501 0 10090 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42376
[startup+51.1001 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21087
/proc/meminfo: memFree=31685372/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=50988 CPUtime=51.09 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 13995 0 0 0 5108 1 0 0 25 0 1 0 888571408 52211712 12294 33554432000 4194304 6245536 140735136966000 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 12747 12294 229 501 0 12243 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 50988
[startup+102.306 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21088
/proc/meminfo: memFree=31675652/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=60312 CPUtime=102.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 16268 0 0 0 10229 1 0 0 25 0 1 0 888571408 61759488 14567 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 15078 14567 229 501 0 14574 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 60312
[startup+162.3 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21090
/proc/meminfo: memFree=31661704/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=68944 CPUtime=162.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 18288 0 0 0 16228 2 0 0 25 0 1 0 888571408 70598656 16587 33554432000 4194304 6245536 140735136966000 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 17236 16587 229 501 0 16732 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 68944
[startup+222.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21092
/proc/meminfo: memFree=31650976/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=79132 CPUtime=222.29 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 20714 0 0 0 22227 2 0 0 25 0 1 0 888571408 81031168 19013 33554432000 4194304 6245536 140735136966000 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 19783 19013 229 501 0 19279 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 79132
[startup+282.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21093
/proc/meminfo: memFree=31641240/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=87132 CPUtime=282.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 22648 0 0 0 28227 3 0 0 25 0 1 0 888571408 89223168 20947 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 21783 20947 229 501 0 21279 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 87132
[startup+342.3 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21095
/proc/meminfo: memFree=31634964/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=92460 CPUtime=342.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 23885 0 0 0 34227 3 0 0 25 0 1 0 888571408 94679040 22184 33554432000 4194304 6245536 140735136966000 18446744073709551615 4316560 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 23115 22184 229 501 0 22611 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 92460
[startup+402.3 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21096
/proc/meminfo: memFree=31631928/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=95036 CPUtime=402.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 24454 0 0 0 40227 3 0 0 25 0 1 0 888571408 97316864 22753 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 23759 22753 229 501 0 23255 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 95036
[startup+462.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21098
/proc/meminfo: memFree=31623316/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=104452 CPUtime=462.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 26651 0 0 0 46227 4 0 0 25 0 1 0 888571408 106958848 24950 33554432000 4194304 6245536 140735136966000 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 26113 24950 229 501 0 25609 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 104452
[startup+522.3 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21100
/proc/meminfo: memFree=31614960/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=107864 CPUtime=522.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 27433 0 0 0 52226 4 0 0 25 0 1 0 888571408 110452736 25732 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 26966 25732 229 501 0 26462 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 107864
[startup+582.3 s]
/proc/loadavg: 3.05 3.01 2.93 4/179 21101
/proc/meminfo: memFree=31611312/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=111040 CPUtime=582.3 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 28132 0 0 0 58226 4 0 0 25 0 1 0 888571408 113704960 26431 33554432000 4194304 6245536 140735136966000 18446744073709551615 4409672 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 27760 26431 229 501 0 27256 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 111040
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21108
/proc/meminfo: memFree=31593316/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=127276 CPUtime=822.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 31850 0 0 0 82226 5 0 0 25 0 1 0 888571408 130330624 30149 33554432000 4194304 6245536 140735136966000 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 31819 30149 229 501 0 31315 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 127276
[startup+882.301 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21109
/proc/meminfo: memFree=31590276/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=129436 CPUtime=882.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 32331 0 0 0 88226 5 0 0 25 0 1 0 888571408 132542464 30630 33554432000 4194304 6245536 140735136966000 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 32359 30630 229 501 0 31855 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 129436
[startup+942.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21111
/proc/meminfo: memFree=31588472/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=130720 CPUtime=942.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 32617 0 0 0 94226 5 0 0 25 0 1 0 888571408 133857280 30916 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 32680 30916 229 501 0 32176 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 130720
[startup+1002.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21112
/proc/meminfo: memFree=31586924/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=131572 CPUtime=1002.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 32860 0 0 0 100226 5 0 0 25 0 1 0 888571408 134729728 31159 33554432000 4194304 6245536 140735136966000 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 32893 31159 229 501 0 32389 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 131572
[startup+1062.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21114
/proc/meminfo: memFree=31584496/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=133672 CPUtime=1062.31 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 33308 0 0 0 106226 5 0 0 25 0 1 0 888571408 136880128 31607 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 33418 31607 229 501 0 32914 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 133672
[startup+1122.3 s]
/proc/loadavg: 3.07 3.02 2.93 4/179 21116
/proc/meminfo: memFree=31577856/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=140476 CPUtime=1122.32 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 34931 0 0 0 112226 6 0 0 25 0 1 0 888571408 143847424 33230 33554432000 4194304 6245536 140735136966000 18446744073709551615 5419301 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 35119 33230 229 501 0 34615 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 140476
[startup+1182.3 s]
/proc/loadavg: 3.02 3.01 2.93 4/179 21117
/proc/meminfo: memFree=31575324/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=143288 CPUtime=1182.32 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 35553 0 0 0 118226 6 0 0 25 0 1 0 888571408 146726912 33852 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 35822 33852 229 501 0 35318 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 143288
[startup+1242.3 s]
/proc/loadavg: 3.01 3.00 2.93 4/179 21119
/proc/meminfo: memFree=31571164/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=147240 CPUtime=1242.32 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 36426 0 0 0 124226 6 0 0 25 0 1 0 888571408 150773760 34725 33554432000 4194304 6245536 140735136966000 18446744073709551615 4323540 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 36810 34725 229 501 0 36306 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 147240
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21120
/proc/meminfo: memFree=31567992/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=150464 CPUtime=1302.32 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 37139 0 0 0 130226 6 0 0 25 0 1 0 888571408 154075136 35438 33554432000 4194304 6245536 140735136966000 18446744073709551615 4408778 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 37616 35438 229 501 0 37112 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 150464
[startup+1362.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21122
/proc/meminfo: memFree=31561732/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=152492 CPUtime=1362.33 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 37654 0 0 0 136226 7 0 0 25 0 1 0 888571408 156151808 35953 33554432000 4194304 6245536 140735136966000 18446744073709551615 5419316 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 38123 35953 229 501 0 37619 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 152492
[startup+1422.31 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21124
/proc/meminfo: memFree=31559192/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=154024 CPUtime=1422.34 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 38022 0 0 0 142227 7 0 0 25 0 1 0 888571408 157720576 36321 33554432000 4194304 6245536 140735136966000 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 38506 36321 229 501 0 38002 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 154024
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21125
/proc/meminfo: memFree=31557772/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=155256 CPUtime=1482.33 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 38301 0 0 0 148226 7 0 0 25 0 1 0 888571408 158982144 36600 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 38814 36600 229 501 0 38310 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 155256
[startup+1542.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21127
/proc/meminfo: memFree=31556096/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=156836 CPUtime=1542.33 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 38660 0 0 0 154226 7 0 0 25 0 1 0 888571408 160600064 36959 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 39209 36959 229 501 0 38705 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 156836
[startup+1602.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21128
/proc/meminfo: memFree=31553432/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=158268 CPUtime=1602.33 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 39041 0 0 0 160226 7 0 0 25 0 1 0 888571408 162066432 37340 33554432000 4194304 6245536 140735136966000 18446744073709551615 4634509 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 39567 37340 229 501 0 39063 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 158268
[startup+1662.3 s]
/proc/loadavg: 2.94 2.98 2.93 4/179 21283
/proc/meminfo: memFree=31593212/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=160732 CPUtime=1662.33 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 39544 0 0 0 166226 7 0 0 25 0 1 0 888571408 164589568 37843 33554432000 4194304 6245536 140735136966000 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 40183 37843 229 501 0 39679 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 160732
[startup+1722.3 s]
/proc/loadavg: 3.01 3.00 2.93 4/179 21285
/proc/meminfo: memFree=31580740/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=161584 CPUtime=1722.33 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 39742 0 0 0 172226 7 0 0 25 0 1 0 888571408 165462016 38041 33554432000 4194304 6245536 140735136966000 18446744073709551615 4637548 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 40396 38041 229 501 0 39892 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 161584
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21286
/proc/meminfo: memFree=31575104/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=162248 CPUtime=1782.33 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 39896 0 0 0 178226 7 0 0 25 0 1 0 888571408 166141952 38195 33554432000 4194304 6245536 140735136966000 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 40562 38195 229 501 0 40058 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 162248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21287
/proc/meminfo: memFree=31564664/32950928 swapFree=67048868/67111528
[pid=21085] ppid=21083 vsize=169236 CPUtime=1800.04 cores=0,2,4,6
/proc/21085/stat : 21085 (clasp) R 21083 21085 17848 0 -1 4202496 41652 0 0 0 179997 7 0 0 25 0 1 0 888571408 173297664 39951 33554432000 4194304 6245536 140735136966000 18446744073709551615 4629020 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21085/statm: 42309 39951 229 501 0 41805 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 169236
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.06
CPU user time (s): 1799.97
CPU system time (s): 0.084987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 169236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41664
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= 4514
runsolver used 2.45663 second user time and 5.74113 second system time
The end