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-3491942-1307778848/watcher-3491942-1307778848 -o /tmp/evaluation-result-3491942-1307778848/solver-3491942-1307778848 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491942-1307778848.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: 1.96 1.97 1.91 3/177 21189
/proc/meminfo: memFree=31176372/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=4448 CPUtime=0 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 841 0 0 0 0 0 0 0 25 0 1 0 345494186 4554752 745 33554432000 4194304 6245536 140735944137072 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 1112 745 179 501 0 608 0
[startup+0.102632 s]
/proc/loadavg: 1.96 1.97 1.91 3/177 21189
/proc/meminfo: memFree=31176372/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=5792 CPUtime=0.09 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 1435 0 0 0 9 0 0 0 25 0 1 0 345494186 5931008 1137 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628663 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 1448 1137 226 501 0 944 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5792
[startup+0.200607 s]
/proc/loadavg: 1.96 1.97 1.91 3/177 21189
/proc/meminfo: memFree=31176372/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=6848 CPUtime=0.19 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 1669 0 0 0 19 0 0 0 25 0 1 0 345494186 7012352 1371 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 1712 1371 227 501 0 1208 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6848
[startup+0.300587 s]
/proc/loadavg: 1.96 1.97 1.91 3/177 21189
/proc/meminfo: memFree=31176372/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=7660 CPUtime=0.29 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 1872 0 0 0 29 0 0 0 25 0 1 0 345494186 7843840 1574 33554432000 4194304 6245536 140735944137072 18446744073709551615 4344635 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 1915 1574 228 501 0 1411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7660
[startup+0.700519 s]
/proc/loadavg: 1.96 1.97 1.91 3/177 21189
/proc/meminfo: memFree=31176372/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=7660 CPUtime=0.69 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 1881 0 0 0 69 0 0 0 25 0 1 0 345494186 7843840 1583 33554432000 4194304 6245536 140735944137072 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 1915 1583 228 501 0 1411 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7660
[startup+1.50038 s]
/proc/loadavg: 1.96 1.97 1.91 3/178 21190
/proc/meminfo: memFree=31171432/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=7660 CPUtime=1.49 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 1882 0 0 0 149 0 0 0 25 0 1 0 345494186 7843840 1584 33554432000 4194304 6245536 140735944137072 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 1915 1584 229 501 0 1411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7660
[startup+3.10109 s]
/proc/loadavg: 1.96 1.97 1.91 3/178 21190
/proc/meminfo: memFree=31171060/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=8324 CPUtime=3.09 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 2067 0 0 0 309 0 0 0 25 0 1 0 345494186 8523776 1769 33554432000 4194304 6245536 140735944137072 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 2081 1769 229 501 0 1577 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8324
[startup+6.30053 s]
/proc/loadavg: 1.96 1.97 1.91 3/178 21190
/proc/meminfo: memFree=31169700/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=9144 CPUtime=6.29 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 2246 0 0 0 629 0 0 0 25 0 1 0 345494186 9363456 1948 33554432000 4194304 6245536 140735944137072 18446744073709551615 4701652 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 2286 1948 229 501 0 1782 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9144
[startup+12.7004 s]
/proc/loadavg: 1.97 1.97 1.91 3/178 21229
/proc/meminfo: memFree=31159064/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=10352 CPUtime=12.69 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 2558 0 0 0 1269 0 0 0 25 0 1 0 345494186 10600448 2260 33554432000 4194304 6245536 140735944137072 18446744073709551615 4323540 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 2588 2260 229 501 0 2084 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10352
[startup+25.5011 s]
/proc/loadavg: 1.97 1.97 1.91 3/178 21229
/proc/meminfo: memFree=31141312/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=18368 CPUtime=25.49 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 4539 0 0 0 2549 0 0 0 25 0 1 0 345494186 18808832 4241 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628305 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 4592 4241 229 501 0 4088 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18368
[startup+51.1006 s]
/proc/loadavg: 1.98 1.97 1.91 3/178 21230
/proc/meminfo: memFree=31119412/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=20504 CPUtime=51.09 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 5080 0 0 0 5109 0 0 0 25 0 1 0 345494186 20996096 4782 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628019 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 5126 4782 229 501 0 4622 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20504
[startup+102.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 21231
/proc/meminfo: memFree=31108840/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=28168 CPUtime=102.29 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 6946 0 0 0 10229 0 0 0 25 0 1 0 345494186 28844032 6648 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628062 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 7042 6648 229 501 0 6538 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 28168
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 21233
/proc/meminfo: memFree=31098484/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=38504 CPUtime=162.3 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 9598 0 0 0 16229 1 0 0 25 0 1 0 345494186 39428096 9176 33554432000 4194304 6245536 140735944137072 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 9626 9176 229 501 0 9122 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 38504
[startup+222.306 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 21234
/proc/meminfo: memFree=31085392/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=38504 CPUtime=222.3 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 9603 0 0 0 22229 1 0 0 25 0 1 0 345494186 39428096 9181 33554432000 4194304 6245536 140735944137072 18446744073709551615 4637456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 9626 9181 229 501 0 9122 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 38504
[startup+282.301 s]
/proc/loadavg: 2.05 1.99 1.91 3/178 21236
/proc/meminfo: memFree=31075544/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=48024 CPUtime=282.29 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 11980 0 0 0 28228 1 0 0 25 0 1 0 345494186 49176576 11558 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628576 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 12006 11558 229 501 0 11502 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 48024
[startup+342.301 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 21238
/proc/meminfo: memFree=31074128/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=49344 CPUtime=342.29 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 12320 0 0 0 34228 1 0 0 25 0 1 0 345494186 50528256 11898 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 12336 11898 229 501 0 11832 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 49344
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21239
/proc/meminfo: memFree=31054224/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=52656 CPUtime=402.29 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 13347 0 0 0 40228 1 0 0 25 0 1 0 345494186 53919744 12742 33554432000 4194304 6245536 140735944137072 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 13164 12742 229 501 0 12660 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 52656
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21250
/proc/meminfo: memFree=31052632/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=54240 CPUtime=462.3 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 13742 0 0 0 46229 1 0 0 25 0 1 0 345494186 55541760 13137 33554432000 4194304 6245536 140735944137072 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 13560 13137 229 501 0 13056 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 54240
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21251
/proc/meminfo: memFree=31051956/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=54392 CPUtime=522.31 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 14162 0 0 0 52229 2 0 0 25 0 1 0 345494186 55697408 13188 33554432000 4194304 6245536 140735944137072 18446744073709551615 4633856 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 13598 13188 229 501 0 13094 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 54392
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21253
/proc/meminfo: memFree=31050780/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=56728 CPUtime=582.31 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 14940 0 0 0 58229 2 0 0 25 0 1 0 345494186 58089472 13751 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 14182 13751 229 501 0 13678 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 56728
[startup+642.301 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21261
/proc/meminfo: memFree=31017828/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=62584 CPUtime=882.32 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 17735 0 0 0 88230 2 0 0 25 0 1 0 345494186 64086016 15225 33554432000 4194304 6245536 140735944137072 18446744073709551615 4637521 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 15646 15225 229 501 0 15142 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 62584
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21263
/proc/meminfo: memFree=31016772/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=63964 CPUtime=942.31 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 18097 0 0 0 94229 2 0 0 25 0 1 0 345494186 65499136 15587 33554432000 4194304 6245536 140735944137072 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 15991 15587 229 501 0 15487 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 63964
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21264
/proc/meminfo: memFree=31016820/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=64200 CPUtime=1002.31 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 18119 0 0 0 100229 2 0 0 25 0 1 0 345494186 65740800 15609 33554432000 4194304 6245536 140735944137072 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 16050 15609 229 501 0 15546 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 64200
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21266
/proc/meminfo: memFree=31016508/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=64452 CPUtime=1062.32 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 18194 0 0 0 106230 2 0 0 25 0 1 0 345494186 65998848 15684 33554432000 4194304 6245536 140735944137072 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 16113 15684 229 501 0 15609 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 64452
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21270
/proc/meminfo: memFree=31016432/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=64452 CPUtime=1122.32 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 18194 0 0 0 112230 2 0 0 25 0 1 0 345494186 65998848 15684 33554432000 4194304 6245536 140735944137072 18446744073709551615 4633927 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 16113 15684 229 501 0 15609 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 64452
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21272
/proc/meminfo: memFree=31008032/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=64708 CPUtime=1182.32 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 18219 0 0 0 118230 2 0 0 25 0 1 0 345494186 66260992 15709 33554432000 4194304 6245536 140735944137072 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 16177 15709 229 501 0 15673 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 64708
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21274
/proc/meminfo: memFree=31007980/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=64708 CPUtime=1242.32 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 18219 0 0 0 124230 2 0 0 25 0 1 0 345494186 66260992 15709 33554432000 4194304 6245536 140735944137072 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 16177 15709 229 501 0 15673 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 64708
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21275
/proc/meminfo: memFree=30996868/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=74120 CPUtime=1302.33 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 20587 0 0 0 130230 3 0 0 25 0 1 0 345494186 75898880 18077 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 18530 18077 229 501 0 18026 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 74120
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 21277
/proc/meminfo: memFree=30996316/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=74668 CPUtime=1362.32 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 21008 0 0 0 136229 3 0 0 25 0 1 0 345494186 76460032 18227 33554432000 4194304 6245536 140735944137072 18446744073709551615 4344681 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 18667 18227 229 501 0 18163 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 74668
[startup+1422.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/178 21278
/proc/meminfo: memFree=30993792/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=76328 CPUtime=1422.33 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 21826 0 0 0 142230 3 0 0 25 0 1 0 345494186 78159872 18648 33554432000 4194304 6245536 140735944137072 18446744073709551615 4635664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 19082 18648 229 501 0 18578 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 76328
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 21280
/proc/meminfo: memFree=30992856/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=76064 CPUtime=1482.33 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 21836 0 0 0 148230 3 0 0 25 0 1 0 345494186 77889536 18559 33554432000 4194304 6245536 140735944137072 18446744073709551615 4324192 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 19016 18559 229 501 0 18512 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 76064
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21282
/proc/meminfo: memFree=30993160/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=75664 CPUtime=1542.33 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 21971 0 0 0 154230 3 0 0 25 0 1 0 345494186 77479936 18494 33554432000 4194304 6245536 140735944137072 18446744073709551615 4628241 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 18916 18494 229 501 0 18412 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 75664
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21283
/proc/meminfo: memFree=30993224/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=76144 CPUtime=1602.33 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 22189 0 0 0 160230 3 0 0 25 0 1 0 345494186 77971456 18610 33554432000 4194304 6245536 140735944137072 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 19036 18610 229 501 0 18532 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 76144
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21285
/proc/meminfo: memFree=30993164/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=76144 CPUtime=1662.33 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 22189 0 0 0 166230 3 0 0 25 0 1 0 345494186 77971456 18610 33554432000 4194304 6245536 140735944137072 18446744073709551615 4605206 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 19036 18610 229 501 0 18532 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 76144
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21286
/proc/meminfo: memFree=30992884/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=76488 CPUtime=1722.33 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 22521 0 0 0 172230 3 0 0 25 0 1 0 345494186 78323712 18684 33554432000 4194304 6245536 140735944137072 18446744073709551615 4646146 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 19122 18684 229 501 0 18618 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 76488
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 21288
/proc/meminfo: memFree=30992076/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=76516 CPUtime=1782.33 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 22981 0 0 0 178230 3 0 0 25 0 1 0 345494186 78352384 18707 33554432000 4194304 6245536 140735944137072 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 19129 18707 229 501 0 18625 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 76516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 21288
/proc/meminfo: memFree=30991936/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=76516 CPUtime=1800.04 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 22981 0 0 0 180001 3 0 0 25 0 1 0 345494186 78352384 18707 33554432000 4194304 6245536 140735944137072 18446744073709551615 4639768 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 19129 18707 229 501 0 18625 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 76516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 21288
/proc/meminfo: memFree=30991936/32950928 swapFree=67054696/67111528
[pid=21189] ppid=21187 vsize=76516 CPUtime=1800.04 cores=0,2,4,6
/proc/21189/stat : 21189 (clasp) R 21187 21189 16493 0 -1 4202496 22981 0 0 0 180001 3 0 0 25 0 1 0 345494186 78352384 18707 33554432000 4194304 6245536 140735944137072 18446744073709551615 4639768 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21189/statm: 19129 18707 229 501 0 18625 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 76516
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1800.01
CPU system time (s): 0.039993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 77808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.039993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22991
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= 5
involuntary context switches= 2983
runsolver used 2.71759 second user time and 5.47717 second system time
The end