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-3468061-1307092915/watcher-3468061-1307092915 -o /tmp/evaluation-result-3468061-1307092915/solver-3468061-1307092915 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468061-1307092915.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: 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.97 2.01 2.00 2/469 6425
/proc/meminfo: memFree=24214492/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=12900 CPUtime=0 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 657 0 0 0 0 0 0 0 25 0 1 0 899521997 13209600 579 33554432000 4194304 4933572 140733331980992 18446744073709551615 252461609648 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3225 579 364 181 0 234 0
[startup+0.065596 s]
/proc/loadavg: 1.97 2.01 2.00 2/469 6425
/proc/meminfo: memFree=24214492/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=13044 CPUtime=0.06 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 703 0 0 0 6 0 0 0 25 0 1 0 899521997 13357056 625 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3261 625 380 181 0 270 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13044
[startup+0.100587 s]
/proc/loadavg: 1.97 2.01 2.00 2/469 6425
/proc/meminfo: memFree=24214492/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=13176 CPUtime=0.09 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 719 0 0 0 9 0 0 0 25 0 1 0 899521997 13492224 641 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649153 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3294 641 380 181 0 303 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13176
[startup+0.30055 s]
/proc/loadavg: 1.97 2.01 2.00 2/469 6425
/proc/meminfo: memFree=24214492/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=13448 CPUtime=0.29 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 777 0 0 0 29 0 0 0 25 0 1 0 899521997 13770752 699 33554432000 4194304 4933572 140733331980992 18446744073709551615 4319549 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3362 699 380 181 0 371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13448
[startup+0.700487 s]
/proc/loadavg: 1.97 2.01 2.00 2/469 6425
/proc/meminfo: memFree=24214492/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=13712 CPUtime=0.69 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 847 0 0 0 69 0 0 0 25 0 1 0 899521997 14041088 769 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3428 769 380 181 0 437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13712
[startup+1.50033 s]
/proc/loadavg: 1.97 2.01 2.00 3/470 6426
/proc/meminfo: memFree=24211888/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=13976 CPUtime=1.49 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 928 0 0 0 149 0 0 0 25 0 1 0 899521997 14311424 850 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3494 850 380 181 0 503 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13976
[startup+3.10103 s]
/proc/loadavg: 1.97 2.01 2.00 3/470 6426
/proc/meminfo: memFree=24210832/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=14388 CPUtime=3.1 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 1042 0 0 0 310 0 0 0 25 0 1 0 899521997 14733312 964 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649747 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3597 964 380 181 0 606 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 14388
[startup+6.30043 s]
/proc/loadavg: 1.97 2.01 2.00 3/470 6426
/proc/meminfo: memFree=24209804/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=15184 CPUtime=6.3 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 1221 0 0 0 630 0 0 0 25 0 1 0 899521997 15548416 1143 33554432000 4194304 4933572 140733331980992 18446744073709551615 4429729 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3796 1143 381 181 0 805 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15184
[startup+12.7002 s]
/proc/loadavg: 1.97 2.01 2.00 3/470 6426
/proc/meminfo: memFree=24208192/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=15864 CPUtime=12.7 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 1408 0 0 0 1270 0 0 0 25 0 1 0 899521997 16244736 1330 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 3966 1330 381 181 0 975 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 15864
[startup+25.5009 s]
/proc/loadavg: 2.14 2.04 2.01 3/470 6427
/proc/meminfo: memFree=24206728/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=16944 CPUtime=25.5 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 1651 0 0 0 2550 0 0 0 25 0 1 0 899521997 17350656 1573 33554432000 4194304 4933572 140733331980992 18446744073709551615 4319445 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 4236 1573 381 181 0 1245 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 16944
[startup+51.1001 s]
/proc/loadavg: 2.09 2.04 2.00 3/470 6427
/proc/meminfo: memFree=24205712/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=17776 CPUtime=51.1 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 1882 0 0 0 5110 0 0 0 25 0 1 0 899521997 18202624 1804 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648810 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 4444 1804 381 181 0 1453 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 17776
[startup+102.317 s]
/proc/loadavg: 2.09 2.04 2.00 3/470 6429
/proc/meminfo: memFree=24201088/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=18860 CPUtime=102.31 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2158 0 0 0 10231 0 0 0 25 0 1 0 899521997 19312640 2080 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648327 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 4715 2080 381 181 0 1724 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18860
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 6430
/proc/meminfo: memFree=24197704/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=19820 CPUtime=162.3 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2383 0 0 0 16230 0 0 0 25 0 1 0 899521997 20295680 2305 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 4955 2305 381 181 0 1964 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19820
[startup+222.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/470 6432
/proc/meminfo: memFree=24197396/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=20376 CPUtime=222.3 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2532 0 0 0 22230 0 0 0 25 0 1 0 899521997 20865024 2454 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5094 2454 381 181 0 2103 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20376
[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 6433
/proc/meminfo: memFree=24196980/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=20920 CPUtime=282.3 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2648 0 0 0 28230 0 0 0 25 0 1 0 899521997 21422080 2570 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649747 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5230 2570 381 181 0 2239 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20920
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 6435
/proc/meminfo: memFree=24196696/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=21196 CPUtime=342.3 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2725 0 0 0 34230 0 0 0 25 0 1 0 899521997 21704704 2647 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649168 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5299 2647 381 181 0 2308 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21196
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6437
/proc/meminfo: memFree=24195920/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=21616 CPUtime=402.31 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2810 0 0 0 40231 0 0 0 25 0 1 0 899521997 22134784 2732 33554432000 4194304 4933572 140733331980992 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5404 2732 381 181 0 2413 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 21616
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6438
/proc/meminfo: memFree=24196000/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=21748 CPUtime=462.31 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2870 0 0 0 46231 0 0 0 25 0 1 0 899521997 22269952 2792 33554432000 4194304 4933572 140733331980992 18446744073709551615 4319453 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5437 2792 381 181 0 2446 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 21748
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6440
/proc/meminfo: memFree=24195840/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=22028 CPUtime=522.31 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2927 0 0 0 52231 0 0 0 25 0 1 0 899521997 22556672 2849 33554432000 4194304 4933572 140733331980992 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5507 2849 381 181 0 2516 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 22028
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6441
/proc/meminfo: memFree=24196044/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=22300 CPUtime=582.31 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 2985 0 0 0 58231 0 0 0 25 0 1 0 899521997 22835200 2907 33554432000 4194304 4933572 140733331980992 18446744073709551615 4329088 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5575 2907 381 181 0 2584 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 22300
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/470 6448
/proc/meminfo: memFree=24194508/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=22976 CPUtime=822.32 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3163 0 0 0 82232 0 0 0 25 0 1 0 899521997 23527424 3085 33554432000 4194304 4933572 140733331980992 18446744073709551615 4664010 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5744 3085 381 181 0 2753 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 22976
[startup+882.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 6450
/proc/meminfo: memFree=24194228/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=23108 CPUtime=882.32 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3186 0 0 0 88232 0 0 0 25 0 1 0 899521997 23662592 3108 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5777 3108 381 181 0 2786 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 23108
[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 6451
/proc/meminfo: memFree=24194448/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=23248 CPUtime=942.32 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3233 0 0 0 94232 0 0 0 25 0 1 0 899521997 23805952 3155 33554432000 4194304 4933572 140733331980992 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5812 3155 381 181 0 2821 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 23248
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6453
/proc/meminfo: memFree=24194056/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=23536 CPUtime=1002.33 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3292 0 0 0 100233 0 0 0 25 0 1 0 899521997 24100864 3214 33554432000 4194304 4933572 140733331980992 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5884 3214 381 181 0 2893 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 23536
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6457
/proc/meminfo: memFree=24193748/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=23536 CPUtime=1062.33 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3305 0 0 0 106233 0 0 0 25 0 1 0 899521997 24100864 3227 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648595 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5884 3227 381 181 0 2893 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 23536
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6459
/proc/meminfo: memFree=24193944/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=23680 CPUtime=1122.33 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3323 0 0 0 112233 0 0 0 25 0 1 0 899521997 24248320 3245 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648737 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5920 3245 381 181 0 2929 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 23680
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/470 6460
/proc/meminfo: memFree=24192788/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=23680 CPUtime=1182.33 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3347 0 0 0 118233 0 0 0 25 0 1 0 899521997 24248320 3269 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649454 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5920 3269 381 181 0 2929 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 23680
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6462
/proc/meminfo: memFree=24192132/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=23956 CPUtime=1242.33 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3397 0 0 0 124233 0 0 0 25 0 1 0 899521997 24530944 3319 33554432000 4194304 4933572 140733331980992 18446744073709551615 4632147 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 5989 3319 381 181 0 2998 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 23956
[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/470 6464
/proc/meminfo: memFree=24191992/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24092 CPUtime=1302.34 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3435 0 0 0 130234 0 0 0 25 0 1 0 899521997 24670208 3357 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648324 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6023 3357 381 181 0 3032 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 24092
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 6465
/proc/meminfo: memFree=24192824/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24236 CPUtime=1362.34 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3463 0 0 0 136234 0 0 0 25 0 1 0 899521997 24817664 3385 33554432000 4194304 4933572 140733331980992 18446744073709551615 4427919 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6059 3385 381 181 0 3068 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 24236
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6467
/proc/meminfo: memFree=24192672/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24372 CPUtime=1422.36 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3485 0 0 0 142236 0 0 0 25 0 1 0 899521997 24956928 3407 33554432000 4194304 4933572 140733331980992 18446744073709551615 4637088 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6093 3407 381 181 0 3102 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 24372
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6468
/proc/meminfo: memFree=24192536/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24372 CPUtime=1482.34 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3493 0 0 0 148234 0 0 0 25 0 1 0 899521997 24956928 3415 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6093 3415 381 181 0 3102 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 24372
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6470
/proc/meminfo: memFree=24192872/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24372 CPUtime=1542.34 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3500 0 0 0 154234 0 0 0 25 0 1 0 899521997 24956928 3422 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648697 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6093 3422 381 181 0 3102 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 24372
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6472
/proc/meminfo: memFree=24192592/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24520 CPUtime=1602.35 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3532 0 0 0 160235 0 0 0 25 0 1 0 899521997 25108480 3454 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6130 3454 381 181 0 3139 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 24520
[startup+1662.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/470 6473
/proc/meminfo: memFree=24191688/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24652 CPUtime=1662.35 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3553 0 0 0 166235 0 0 0 25 0 1 0 899521997 25243648 3475 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6163 3475 381 181 0 3172 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 24652
[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/470 6475
/proc/meminfo: memFree=24191516/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24792 CPUtime=1722.35 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3588 0 0 0 172235 0 0 0 25 0 1 0 899521997 25387008 3510 33554432000 4194304 4933572 140733331980992 18446744073709551615 4649567 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6198 3510 381 181 0 3207 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 24792
[startup+1782.3 s]
/proc/loadavg: 1.96 2.01 2.00 3/470 6531
/proc/meminfo: memFree=24181948/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24792 CPUtime=1782.35 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3595 0 0 0 178235 0 0 0 25 0 1 0 899521997 25387008 3517 33554432000 4194304 4933572 140733331980992 18446744073709551615 4648405 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6198 3517 381 181 0 3207 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 24792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.97 2.01 2.00 3/470 6532
/proc/meminfo: memFree=24171176/32951124 swapFree=56297244/67111528
[pid=6425] ppid=6423 vsize=24792 CPUtime=1800.06 cores=1,3,5,7
/proc/6425/stat : 6425 (clasp) R 6423 6425 6224 0 -1 4202496 3595 0 0 0 180006 0 0 0 25 0 1 0 899521997 25387008 3517 33554432000 4194304 4933572 140733331980992 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6425/statm: 6198 3517 381 181 0 3207 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 24792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1800.07
CPU system time (s): 0.004999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3608
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= 6
involuntary context switches= 2733
runsolver used 7.70583 second user time and 18.4982 second system time
The end