runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3468899-1307118958/watcher-3468899-1307118958 -o /tmp/evaluation-result-3468899-1307118958/solver-3468899-1307118958 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468899-1307118958.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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.21 2.08 1.98 1/528 31181
/proc/meminfo: memFree=15266408/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=17788 CPUtime=0.01 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 2030 0 0 0 1 0 0 0 25 0 1 0 823494474 18214912 1708 33554432000 4194304 4933572 140735263652896 18446744073709551615 242970550016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 4447 1709 333 181 0 1456 0
[startup+0.0975599 s]
/proc/loadavg: 2.21 2.08 1.98 1/528 31181
/proc/meminfo: memFree=15266408/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=20768 CPUtime=0.09 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 3443 0 0 0 9 0 0 0 25 0 1 0 823494474 21266432 2498 33554432000 4194304 4933572 140735263652896 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 5192 2498 374 181 0 2201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20768
[startup+0.100554 s]
/proc/loadavg: 2.21 2.08 1.98 1/528 31181
/proc/meminfo: memFree=15266408/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=20768 CPUtime=0.09 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 3443 0 0 0 9 0 0 0 25 0 1 0 823494474 21266432 2498 33554432000 4194304 4933572 140735263652896 18446744073709551615 4340878 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 5192 2498 374 181 0 2201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20768
[startup+0.300472 s]
/proc/loadavg: 2.21 2.08 1.98 1/528 31181
/proc/meminfo: memFree=15266408/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=20768 CPUtime=0.29 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 3444 0 0 0 29 0 0 0 25 0 1 0 823494474 21266432 2499 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 5192 2499 375 181 0 2201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20768
[startup+0.700442 s]
/proc/loadavg: 2.21 2.08 1.98 1/528 31181
/proc/meminfo: memFree=15266408/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=20768 CPUtime=0.69 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 3444 0 0 0 69 0 0 0 25 0 1 0 823494474 21266432 2499 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 5192 2499 375 181 0 2201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20768
[startup+1.50031 s]
/proc/loadavg: 2.21 2.08 1.98 3/528 31239
/proc/meminfo: memFree=15258416/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=20768 CPUtime=1.49 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 3445 0 0 0 149 0 0 0 25 0 1 0 823494474 21266432 2500 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 5192 2500 375 181 0 2201 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20768
[startup+3.12375 s]
/proc/loadavg: 2.35 2.11 1.99 3/531 31263
/proc/meminfo: memFree=15245012/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=20768 CPUtime=3.13 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 3448 0 0 0 313 0 0 0 25 0 1 0 823494474 21266432 2503 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 5192 2503 375 181 0 2201 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 20768
[startup+6.30048 s]
/proc/loadavg: 2.35 2.11 1.99 3/531 31263
/proc/meminfo: memFree=15242664/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=21824 CPUtime=6.29 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 3739 0 0 0 629 0 0 0 25 0 1 0 823494474 22347776 2794 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 5456 2794 375 181 0 2465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21824
[startup+12.7194 s]
/proc/loadavg: 2.46 2.14 2.00 3/531 31263
/proc/meminfo: memFree=15235080/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=22356 CPUtime=12.7 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 3865 0 0 0 1270 0 0 0 25 0 1 0 823494474 22892544 2920 33554432000 4194304 4933572 140735263652896 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 5589 2920 375 181 0 2598 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 22356
[startup+25.5012 s]
/proc/loadavg: 2.39 2.14 2.00 3/531 31263
/proc/meminfo: memFree=15230540/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=24136 CPUtime=25.49 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 4295 0 0 0 2549 0 0 0 25 0 1 0 823494474 24715264 3350 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648944 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 6034 3350 375 181 0 3043 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24136
[startup+51.1008 s]
/proc/loadavg: 2.25 2.13 2.00 3/531 31265
/proc/meminfo: memFree=15224096/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=26400 CPUtime=51.11 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 4853 0 0 0 5110 1 0 0 25 0 1 0 823494474 27033600 3908 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648550 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 6600 3908 377 181 0 3609 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 26400
[startup+102.301 s]
/proc/loadavg: 2.23 2.15 2.01 3/531 31265
/proc/meminfo: memFree=15216400/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=29260 CPUtime=102.29 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 5549 0 0 0 10228 1 0 0 25 0 1 0 823494474 29962240 4604 33554432000 4194304 4933572 140735263652896 18446744073709551615 4635376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 7315 4604 377 181 0 4324 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 29260
[startup+162.32 s]
/proc/loadavg: 2.08 2.12 2.01 3/531 31267
/proc/meminfo: memFree=15206108/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=31940 CPUtime=162.31 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 6236 0 0 0 16230 1 0 0 25 0 1 0 823494474 32706560 5291 33554432000 4194304 4933572 140735263652896 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 7985 5291 377 181 0 4994 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 31940
[startup+222.3 s]
/proc/loadavg: 2.03 2.09 2.00 3/531 31269
/proc/meminfo: memFree=15200268/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=33720 CPUtime=222.29 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 6634 0 0 0 22228 1 0 0 25 0 1 0 823494474 34529280 5689 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649854 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 8430 5689 377 181 0 5439 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 33720
[startup+282.301 s]
/proc/loadavg: 2.01 2.07 2.00 3/531 31271
/proc/meminfo: memFree=15193200/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=36036 CPUtime=282.29 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 7229 0 0 0 28228 1 0 0 25 0 1 0 823494474 36900864 6284 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 9009 6284 377 181 0 6018 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 36036
[startup+342.301 s]
/proc/loadavg: 2.00 2.06 2.00 3/531 31273
/proc/meminfo: memFree=15190592/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=36548 CPUtime=342.29 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 7315 0 0 0 34228 1 0 0 25 0 1 0 823494474 37425152 6370 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648920 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 9137 6370 377 181 0 6146 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 36548
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/531 31273
/proc/meminfo: memFree=15187740/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=38092 CPUtime=402.29 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 7728 0 0 0 40228 1 0 0 25 0 1 0 823494474 39006208 6783 33554432000 4194304 4933572 140735263652896 18446744073709551615 4631942 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 9523 6783 377 181 0 6532 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 38092
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 31275
/proc/meminfo: memFree=15184636/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=39008 CPUtime=462.29 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 7939 0 0 0 46228 1 0 0 25 0 1 0 823494474 39944192 6994 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649730 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 9752 6994 377 181 0 6761 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 39008
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 31278
/proc/meminfo: memFree=15184012/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=40160 CPUtime=522.3 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 8202 0 0 0 52229 1 0 0 25 0 1 0 823494474 41123840 7257 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 10040 7257 377 181 0 7049 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 40160
[startup+582.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/531 31281
/proc/meminfo: memFree=15180532/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=42184 CPUtime=582.3 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 8655 0 0 0 58229 1 0 0 25 0 1 0 823494474 43196416 7710 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648417 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 10546 7710 377 181 0 7555 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 42184
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 31291
/proc/meminfo: memFree=15157936/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=46140 CPUtime=882.31 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 9619 0 0 0 88229 2 0 0 25 0 1 0 823494474 47247360 8674 33554432000 4194304 4933572 140735263652896 18446744073709551615 4637527 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 11535 8674 377 181 0 8544 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 46140
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 31293
/proc/meminfo: memFree=15156812/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=47284 CPUtime=942.31 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 9899 0 0 0 94229 2 0 0 25 0 1 0 823494474 48418816 8954 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648324 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 11821 8954 377 181 0 8830 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 47284
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 31293
/proc/meminfo: memFree=15154948/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=48236 CPUtime=1002.31 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 10133 0 0 0 100229 2 0 0 25 0 1 0 823494474 49393664 9188 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 12059 9188 377 181 0 9068 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 48236
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 31295
/proc/meminfo: memFree=15154072/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=48376 CPUtime=1062.31 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 10162 0 0 0 106229 2 0 0 25 0 1 0 823494474 49537024 9217 33554432000 4194304 4933572 140735263652896 18446744073709551615 4340852 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 12094 9217 377 181 0 9103 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 48376
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 31297
/proc/meminfo: memFree=15150968/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=49328 CPUtime=1122.31 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 10384 0 0 0 112229 2 0 0 25 0 1 0 823494474 50511872 9439 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 12332 9439 377 181 0 9341 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 49328
[startup+1182.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/531 31299
/proc/meminfo: memFree=15148604/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=50248 CPUtime=1182.32 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 10615 0 0 0 118230 2 0 0 25 0 1 0 823494474 51453952 9670 33554432000 4194304 4933572 140735263652896 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 12562 9670 377 181 0 9571 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 50248
[startup+1242.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/531 31301
/proc/meminfo: memFree=15145256/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=50556 CPUtime=1242.32 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 10669 0 0 0 124230 2 0 0 25 0 1 0 823494474 51769344 9724 33554432000 4194304 4933572 140735263652896 18446744073709551615 4711285 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 12639 9724 377 181 0 9648 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 50556
[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/531 31301
/proc/meminfo: memFree=15142896/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=50884 CPUtime=1302.32 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 10756 0 0 0 130230 2 0 0 25 0 1 0 823494474 52105216 9811 33554432000 4194304 4933572 140735263652896 18446744073709551615 4372896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 12721 9811 377 181 0 9730 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 50884
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/531 31303
/proc/meminfo: memFree=15142648/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=51632 CPUtime=1362.34 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 10927 0 0 0 136232 2 0 0 25 0 1 0 823494474 52871168 9982 33554432000 4194304 4933572 140735263652896 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 12908 9982 377 181 0 9917 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 51632
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/531 31305
/proc/meminfo: memFree=15142768/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=52196 CPUtime=1422.32 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11059 0 0 0 142230 2 0 0 25 0 1 0 823494474 53448704 10114 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13049 10114 377 181 0 10058 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 52196
[startup+1482.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 31307
/proc/meminfo: memFree=15141032/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=52504 CPUtime=1482.34 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11105 0 0 0 148232 2 0 0 25 0 1 0 823494474 53764096 10160 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13126 10160 377 181 0 10135 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 52504
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 31321
/proc/meminfo: memFree=15139984/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=53044 CPUtime=1542.32 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11237 0 0 0 154230 2 0 0 25 0 1 0 823494474 54317056 10292 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13261 10292 377 181 0 10270 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 53044
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 31321
/proc/meminfo: memFree=15139112/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=53244 CPUtime=1602.32 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11301 0 0 0 160230 2 0 0 25 0 1 0 823494474 54521856 10356 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13311 10356 377 181 0 10320 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 53244
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/531 31323
/proc/meminfo: memFree=15138360/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=53560 CPUtime=1662.32 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11383 0 0 0 166230 2 0 0 25 0 1 0 823494474 54845440 10438 33554432000 4194304 4933572 140735263652896 18446744073709551615 4649730 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13390 10438 377 181 0 10399 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 53560
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/531 31325
/proc/meminfo: memFree=15136728/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=53860 CPUtime=1722.32 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11449 0 0 0 172230 2 0 0 25 0 1 0 823494474 55152640 10504 33554432000 4194304 4933572 140735263652896 18446744073709551615 4664087 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13465 10504 377 181 0 10474 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 53860
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/531 31327
/proc/meminfo: memFree=15131508/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=54368 CPUtime=1782.33 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11577 0 0 0 178231 2 0 0 25 0 1 0 823494474 55672832 10632 33554432000 4194304 4933572 140735263652896 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13592 10632 377 181 0 10601 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 54368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.10 2.04 2.00 3/531 31327
/proc/meminfo: memFree=15132128/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=54500 CPUtime=1800.04 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11604 0 0 0 180002 2 0 0 25 0 1 0 823494474 55808000 10659 33554432000 4194304 4933572 140735263652896 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13625 10659 377 181 0 10634 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 54500
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.10 2.04 2.00 3/531 31327
/proc/meminfo: memFree=15132128/32951132 swapFree=46579808/67111528
[pid=31181] ppid=31179 vsize=54500 CPUtime=1800.04 cores=0,2,4,6
/proc/31181/stat : 31181 (clasp) R 31179 31181 28716 0 -1 4202496 11604 0 0 0 180002 2 0 0 25 0 1 0 823494474 55808000 10659 33554432000 4194304 4933572 140735263652896 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31181/statm: 13625 10659 377 181 0 10634 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 54500
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1800.03
CPU system time (s): 0.026995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 54500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11617
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= 10
involuntary context switches= 2701
runsolver used 10.2684 second user time and 21.6747 second system time
The end