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-3468176-1307095229/watcher-3468176-1307095229 -o /tmp/evaluation-result-3468176-1307095229/solver-3468176-1307095229 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468176-1307095229.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: 1.84 1.98 1.97 2/535 17605
/proc/meminfo: memFree=29140772/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=12732 CPUtime=0.01 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 609 0 0 0 1 0 0 0 25 0 1 0 821120891 13037568 541 33554432000 4194304 4933572 140735299394528 18446744073709551615 4648965 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 3183 541 377 181 0 192 0
[startup+0.0965271 s]
/proc/loadavg: 1.84 1.98 1.97 2/535 17605
/proc/meminfo: memFree=29140772/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=13260 CPUtime=0.09 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 729 0 0 0 9 0 0 0 25 0 1 0 821120891 13578240 661 33554432000 4194304 4933572 140735299394528 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 3315 661 384 181 0 324 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13260
[startup+0.100528 s]
/proc/loadavg: 1.84 1.98 1.97 2/535 17605
/proc/meminfo: memFree=29140772/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=13260 CPUtime=0.09 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 740 0 0 0 9 0 0 0 25 0 1 0 821120891 13578240 672 33554432000 4194304 4933572 140735299394528 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 3315 672 384 181 0 324 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13260
[startup+0.300502 s]
/proc/loadavg: 1.84 1.98 1.97 2/535 17605
/proc/meminfo: memFree=29140772/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=13392 CPUtime=0.29 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 784 0 0 0 29 0 0 0 25 0 1 0 821120891 13713408 716 33554432000 4194304 4933572 140735299394528 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 3348 716 384 181 0 357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392
[startup+0.700418 s]
/proc/loadavg: 1.84 1.98 1.97 2/535 17605
/proc/meminfo: memFree=29140772/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=14712 CPUtime=0.69 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 1094 0 0 0 69 0 0 0 25 0 1 0 821120891 15065088 1026 33554432000 4194304 4933572 140735299394528 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 3678 1026 384 181 0 687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14712
[startup+1.50031 s]
/proc/loadavg: 1.84 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29136556/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=15240 CPUtime=1.49 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 1241 0 0 0 149 0 0 0 25 0 1 0 821120891 15605760 1173 33554432000 4194304 4933572 140735299394528 18446744073709551615 4414944 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 3810 1173 384 181 0 819 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15240
[startup+3.10103 s]
/proc/loadavg: 1.85 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29134912/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=16112 CPUtime=3.09 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 1453 0 0 0 309 0 0 0 25 0 1 0 821120891 16498688 1385 33554432000 4194304 4933572 140735299394528 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 4028 1385 385 181 0 1037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16112
[startup+6.30047 s]
/proc/loadavg: 1.85 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29130856/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=18112 CPUtime=6.29 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 1987 0 0 0 629 0 0 0 25 0 1 0 821120891 18546688 1904 33554432000 4194304 4933572 140735299394528 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 4528 1904 385 181 0 1537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18112
[startup+12.7004 s]
/proc/loadavg: 1.87 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29128680/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=18104 CPUtime=12.69 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 1987 0 0 0 1269 0 0 0 25 0 1 0 821120891 18538496 1902 33554432000 4194304 4933572 140735299394528 18446744073709551615 4328712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 4526 1902 385 181 0 1535 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18104
[startup+25.5011 s]
/proc/loadavg: 1.89 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29126560/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=18860 CPUtime=25.49 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 2162 0 0 0 2549 0 0 0 25 0 1 0 821120891 19312640 2077 33554432000 4194304 4933572 140735299394528 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 4715 2077 385 181 0 1724 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18860
[startup+51.1006 s]
/proc/loadavg: 1.93 1.98 1.97 3/536 17616
/proc/meminfo: memFree=29124284/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=20256 CPUtime=51.09 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 2572 0 0 0 5109 0 0 0 25 0 1 0 821120891 20742144 2414 33554432000 4194304 4933572 140735299394528 18446744073709551615 4631928 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 5064 2414 385 181 0 2073 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20256
[startup+102.32 s]
/proc/loadavg: 1.97 1.98 1.97 3/536 17617
/proc/meminfo: memFree=29123492/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=20648 CPUtime=102.31 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 2672 0 0 0 10231 0 0 0 25 0 1 0 821120891 21143552 2512 33554432000 4194304 4933572 140735299394528 18446744073709551615 4363389 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 5162 2512 385 181 0 2171 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20648
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.97 3/536 17619
/proc/meminfo: memFree=29118120/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=22344 CPUtime=162.25 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 3112 0 0 0 16225 0 0 0 25 0 1 0 821120891 22880256 2952 33554432000 4194304 4933572 140735299394528 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 5586 2952 385 181 0 2595 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22344
[startup+222.301 s]
/proc/loadavg: 2.11 2.01 1.98 3/536 17621
/proc/meminfo: memFree=29118584/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=22900 CPUtime=222.25 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 3315 0 0 0 22225 0 0 0 25 0 1 0 821120891 23449600 3095 33554432000 4194304 4933572 140735299394528 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 5725 3095 385 181 0 2734 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 22900
[startup+282.301 s]
/proc/loadavg: 2.10 2.02 1.99 3/536 17625
/proc/meminfo: memFree=29118280/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=23648 CPUtime=282.25 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 3452 0 0 0 28225 0 0 0 25 0 1 0 821120891 24215552 3232 33554432000 4194304 4933572 140735299394528 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 5912 3232 385 181 0 2921 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 23648
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/536 17627
/proc/meminfo: memFree=29117868/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=24100 CPUtime=342.25 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 3573 0 0 0 34225 0 0 0 25 0 1 0 821120891 24678400 3353 33554432000 4194304 4933572 140735299394528 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 6025 3353 385 181 0 3034 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 24100
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.99 3/536 17628
/proc/meminfo: memFree=29116232/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=24248 CPUtime=402.24 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 3599 0 0 0 40224 0 0 0 25 0 1 0 821120891 24829952 3379 33554432000 4194304 4933572 140735299394528 18446744073709551615 4363251 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 6062 3379 385 181 0 3071 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 24248
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/536 17630
/proc/meminfo: memFree=29114720/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=25496 CPUtime=462.24 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 3938 0 0 0 46224 0 0 0 25 0 1 0 821120891 26107904 3715 33554432000 4194304 4933572 140735299394528 18446744073709551615 4358545 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17605/statm: 6374 3715 385 181 0 3383 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 25496
[startup+522.301 s]
/proc/loadavg: 2.12 2.03 2.00 3/536 17632
/proc/meminfo: memFree=29114700/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=25420 CPUtime=522.22 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 3955 0 0 0 52222 0 0 0 25 0 1 0 821120891 26030080 3696 33554432000 4194304 4933572 140735299394528 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 6355 3696 385 181 0 3364 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 25420
[startup+582.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/536 17633
/proc/meminfo: memFree=29113544/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=26544 CPUtime=582.22 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 4495 0 0 0 58222 0 0 0 25 0 1 0 821120891 27181056 3964 33554432000 4194304 4933572 140735299394528 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 6636 3964 385 181 0 3645 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 26544
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/536 17643
/proc/meminfo: memFree=29110512/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=27160 CPUtime=882.23 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 4660 0 0 0 88223 0 0 0 25 0 1 0 821120891 27811840 4129 33554432000 4194304 4933572 140735299394528 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 6790 4129 385 181 0 3799 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 27160
[startup+942.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 17646
/proc/meminfo: memFree=29111076/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=27160 CPUtime=942.23 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 4660 0 0 0 94223 0 0 0 25 0 1 0 821120891 27811840 4129 33554432000 4194304 4933572 140735299394528 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 6790 4129 385 181 0 3799 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 27160
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 17647
/proc/meminfo: memFree=29110916/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=27196 CPUtime=1002.23 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 4668 0 0 0 100223 0 0 0 25 0 1 0 821120891 27848704 4137 33554432000 4194304 4933572 140735299394528 18446744073709551615 4329847 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 6799 4137 385 181 0 3808 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 27196
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17649
/proc/meminfo: memFree=29108520/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29440 CPUtime=1062.23 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5283 0 0 0 106223 0 0 0 25 0 1 0 821120891 30146560 4700 33554432000 4194304 4933572 140735299394528 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7360 4700 385 181 0 4369 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 29440
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/536 17651
/proc/meminfo: memFree=29108480/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29540 CPUtime=1122.23 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5320 0 0 0 112223 0 0 0 25 0 1 0 821120891 30248960 4720 33554432000 4194304 4933572 140735299394528 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7385 4720 385 181 0 4394 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 29540
[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/536 17652
/proc/meminfo: memFree=29108936/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29624 CPUtime=1182.24 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5374 0 0 0 118224 0 0 0 25 0 1 0 821120891 30334976 4749 33554432000 4194304 4933572 140735299394528 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7406 4749 385 181 0 4415 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 29624
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 17655
/proc/meminfo: memFree=29108408/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29732 CPUtime=1242.24 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5388 0 0 0 124224 0 0 0 25 0 1 0 821120891 30445568 4763 33554432000 4194304 4933572 140735299394528 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7433 4763 385 181 0 4442 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 29732
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 17657
/proc/meminfo: memFree=29107376/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29732 CPUtime=1302.25 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5390 0 0 0 130225 0 0 0 25 0 1 0 821120891 30445568 4765 33554432000 4194304 4933572 140735299394528 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7433 4765 385 181 0 4442 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 29732
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17659
/proc/meminfo: memFree=29109200/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29732 CPUtime=1362.24 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5390 0 0 0 136224 0 0 0 25 0 1 0 821120891 30445568 4765 33554432000 4194304 4933572 140735299394528 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7433 4765 385 181 0 4442 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 29732
[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 17661
/proc/meminfo: memFree=29109164/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29748 CPUtime=1422.26 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5422 0 0 0 142226 0 0 0 25 0 1 0 821120891 30461952 4780 33554432000 4194304 4933572 140735299394528 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7437 4780 385 181 0 4446 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 29748
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 17662
/proc/meminfo: memFree=29108148/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29732 CPUtime=1482.24 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5423 0 0 0 148224 0 0 0 25 0 1 0 821120891 30445568 4776 33554432000 4194304 4933572 140735299394528 18446744073709551615 4632090 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7433 4776 385 181 0 4442 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 29732
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/536 17665
/proc/meminfo: memFree=29109224/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29732 CPUtime=1542.24 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5423 0 0 0 154224 0 0 0 25 0 1 0 821120891 30445568 4776 33554432000 4194304 4933572 140735299394528 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7433 4776 385 181 0 4442 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 29732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17666
/proc/meminfo: memFree=29109064/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29732 CPUtime=1602.24 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5424 0 0 0 160224 0 0 0 25 0 1 0 821120891 30445568 4777 33554432000 4194304 4933572 140735299394528 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7433 4777 385 181 0 4442 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 29732
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17668
/proc/meminfo: memFree=29108772/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29732 CPUtime=1662.25 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5424 0 0 0 166225 0 0 0 25 0 1 0 821120891 30445568 4777 33554432000 4194304 4933572 140735299394528 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7433 4777 385 181 0 4442 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 29732
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 17670
/proc/meminfo: memFree=29108740/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29732 CPUtime=1722.25 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5424 0 0 0 172225 0 0 0 25 0 1 0 821120891 30445568 4777 33554432000 4194304 4933572 140735299394528 18446744073709551615 4360938 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7433 4777 385 181 0 4442 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 29732
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/536 17671
/proc/meminfo: memFree=29107588/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29872 CPUtime=1782.25 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5426 0 0 0 178225 0 0 0 25 0 1 0 821120891 30588928 4779 33554432000 4194304 4933572 140735299394528 18446744073709551615 4663983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7468 4779 385 181 0 4477 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 29872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.05 2.04 2.00 2/534 17673
/proc/meminfo: memFree=29119740/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29872 CPUtime=1800.06 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5426 0 0 0 180006 0 0 0 25 0 1 0 821120891 30588928 4779 33554432000 4194304 4933572 140735299394528 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7468 4779 385 181 0 4477 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 29872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.05 2.04 2.00 2/534 17673
/proc/meminfo: memFree=29119740/32951124 swapFree=58212616/67111528
[pid=17605] ppid=17603 vsize=29872 CPUtime=1800.06 cores=0,2,4,6
/proc/17605/stat : 17605 (clasp) R 17603 17605 17375 0 -1 4202496 5426 0 0 0 180006 0 0 0 25 0 1 0 821120891 30588928 4779 33554432000 4194304 4933572 140735299394528 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17605/statm: 7468 4779 385 181 0 4477 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 29872
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.08
CPU user time (s): 1800.07
CPU system time (s): 0.008998
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 29872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5434
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= 2900
runsolver used 10.1865 second user time and 20.9048 second system time
The end