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-3468188-1307110207/watcher-3468188-1307110207 -o /tmp/evaluation-result-3468188-1307110207/solver-3468188-1307110207 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468188-1307110207.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.94 2.03 2.01 3/515 9600
/proc/meminfo: memFree=23222080/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=15160 CPUtime=0 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 1218 0 0 0 0 0 0 0 25 0 1 0 901251422 15523840 1089 33554432000 4194304 4933572 140733248475696 18446744073709551615 256415052485 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 3790 1090 329 181 0 799 0
[startup+0.0705929 s]
/proc/loadavg: 1.94 2.03 2.01 3/515 9600
/proc/meminfo: memFree=23222080/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=28820 CPUtime=0.06 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 4610 0 0 0 6 0 0 0 25 0 1 0 901251422 29511680 4481 33554432000 4194304 4933572 140733248475696 18446744073709551615 256415052485 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 7205 4484 329 181 0 4214 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 28820
[startup+0.100587 s]
/proc/loadavg: 1.94 2.03 2.01 3/515 9600
/proc/meminfo: memFree=23222080/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=35804 CPUtime=0.09 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 6270 0 0 0 9 0 0 0 25 0 1 0 901251422 36663296 6055 33554432000 4194304 4933572 140733248475696 18446744073709551615 4625492 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 8951 6055 345 181 0 5960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35804
[startup+0.300546 s]
/proc/loadavg: 1.94 2.03 2.01 3/515 9600
/proc/meminfo: memFree=23222080/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=35804 CPUtime=0.29 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 6270 0 0 0 29 0 0 0 25 0 1 0 901251422 36663296 6055 33554432000 4194304 4933572 140733248475696 18446744073709551615 4625496 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 8951 6055 345 181 0 5960 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35804
[startup+0.700476 s]
/proc/loadavg: 1.94 2.03 2.01 3/515 9600
/proc/meminfo: memFree=23222080/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=35804 CPUtime=0.69 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 6270 0 0 0 69 0 0 0 25 0 1 0 901251422 36663296 6055 33554432000 4194304 4933572 140733248475696 18446744073709551615 4625496 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 8951 6055 345 181 0 5960 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35804
[startup+1.50033 s]
/proc/loadavg: 1.94 2.03 2.01 3/516 9601
/proc/meminfo: memFree=23198148/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=40976 CPUtime=1.49 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 7541 0 0 0 149 0 0 0 25 0 1 0 901251422 41959424 7239 33554432000 4194304 4933572 140733248475696 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 10244 7239 367 181 0 7253 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40976
[startup+3.10101 s]
/proc/loadavg: 1.94 2.03 2.01 3/516 9601
/proc/meminfo: memFree=23191496/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=45440 CPUtime=3.09 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 8517 0 0 0 309 0 0 0 25 0 1 0 901251422 46530560 8215 33554432000 4194304 4933572 140733248475696 18446744073709551615 4718528 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 11360 8215 375 181 0 8369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45440
[startup+6.30041 s]
/proc/loadavg: 1.95 2.03 2.01 3/516 9601
/proc/meminfo: memFree=23187352/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=46148 CPUtime=6.29 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 8712 0 0 0 629 0 0 0 25 0 1 0 901251422 47255552 8410 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 11537 8410 375 181 0 8546 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46148
[startup+12.7012 s]
/proc/loadavg: 1.95 2.03 2.01 3/516 9601
/proc/meminfo: memFree=23184692/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=46916 CPUtime=12.69 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 8941 0 0 0 1269 0 0 0 25 0 1 0 901251422 48041984 8639 33554432000 4194304 4933572 140733248475696 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 11729 8639 375 181 0 8738 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46916
[startup+25.5008 s]
/proc/loadavg: 1.96 2.03 2.00 3/516 9602
/proc/meminfo: memFree=23185924/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=47052 CPUtime=25.49 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 9039 0 0 0 2549 0 0 0 25 0 1 0 901251422 48181248 8737 33554432000 4194304 4933572 140733248475696 18446744073709551615 4710912 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 11763 8737 375 181 0 8772 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47052
[startup+51.1009 s]
/proc/loadavg: 1.97 2.03 2.00 3/516 9630
/proc/meminfo: memFree=23100268/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=47052 CPUtime=51.1 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 9096 0 0 0 5107 3 0 0 25 0 1 0 901251422 48181248 8794 33554432000 4194304 4933572 140733248475696 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 11763 8794 375 181 0 8772 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 47052
[startup+102.32 s]
/proc/loadavg: 1.99 2.02 2.00 3/516 9632
/proc/meminfo: memFree=23097272/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=47052 CPUtime=102.32 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 9146 0 0 0 10229 3 0 0 25 0 1 0 901251422 48181248 8844 33554432000 4194304 4933572 140733248475696 18446744073709551615 4711221 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 11763 8844 375 181 0 8772 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 47052
[startup+162.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/516 9633
/proc/meminfo: memFree=23088444/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=48268 CPUtime=162.3 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 9462 0 0 0 16227 3 0 0 25 0 1 0 901251422 49426432 9160 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649854 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 12067 9160 375 181 0 9076 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 48268
[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/516 9635
/proc/meminfo: memFree=23088284/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=49344 CPUtime=222.3 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 9688 0 0 0 22227 3 0 0 25 0 1 0 901251422 50528256 9386 33554432000 4194304 4933572 140733248475696 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 12336 9386 375 181 0 9345 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 49344
[startup+282.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/516 9637
/proc/meminfo: memFree=23087748/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=50276 CPUtime=282.3 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 9895 0 0 0 28227 3 0 0 25 0 1 0 901251422 51482624 9593 33554432000 4194304 4933572 140733248475696 18446744073709551615 4712973 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 12569 9593 375 181 0 9578 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 50276
[startup+342.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/516 9638
/proc/meminfo: memFree=23085944/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=50592 CPUtime=342.3 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 9989 0 0 0 34227 3 0 0 25 0 1 0 901251422 51806208 9687 33554432000 4194304 4933572 140733248475696 18446744073709551615 4718518 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 12648 9687 375 181 0 9657 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 50592
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/516 9640
/proc/meminfo: memFree=23082924/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=50900 CPUtime=402.3 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10064 0 0 0 40227 3 0 0 25 0 1 0 901251422 52121600 9762 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649836 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 12725 9762 375 181 0 9734 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 50900
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 9641
/proc/meminfo: memFree=23079676/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=51576 CPUtime=462.3 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10209 0 0 0 46227 3 0 0 25 0 1 0 901251422 52813824 9907 33554432000 4194304 4933572 140733248475696 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 12894 9907 375 181 0 9903 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 51576
[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/516 9643
/proc/meminfo: memFree=23079028/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=51940 CPUtime=522.31 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10293 0 0 0 52228 3 0 0 25 0 1 0 901251422 53186560 9991 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649848 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 12985 9991 375 181 0 9994 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 51940
[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/516 9645
/proc/meminfo: memFree=23078744/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=52280 CPUtime=582.31 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10347 0 0 0 58228 3 0 0 25 0 1 0 901251422 53534720 10045 33554432000 4194304 4933572 140733248475696 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13070 10045 375 181 0 10079 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 52280
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/516 9651
/proc/meminfo: memFree=23075352/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=54216 CPUtime=822.31 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10773 0 0 0 82228 3 0 0 25 0 1 0 901251422 55517184 10471 33554432000 4194304 4933572 140733248475696 18446744073709551615 4713010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13554 10471 375 181 0 10563 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 54216
[startup+882.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/516 9653
/proc/meminfo: memFree=23074328/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=54524 CPUtime=882.32 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10858 0 0 0 88229 3 0 0 25 0 1 0 901251422 55832576 10556 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649815 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13631 10556 375 181 0 10640 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 54524
[startup+942.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 9654
/proc/meminfo: memFree=23074032/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=54692 CPUtime=942.32 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10876 0 0 0 94229 3 0 0 25 0 1 0 901251422 56004608 10574 33554432000 4194304 4933572 140733248475696 18446744073709551615 4710995 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13673 10574 375 181 0 10682 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 54692
[startup+1002.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/516 9656
/proc/meminfo: memFree=23073620/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=55032 CPUtime=1002.32 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10947 0 0 0 100229 3 0 0 25 0 1 0 901251422 56352768 10645 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13758 10645 375 181 0 10767 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 55032
[startup+1062.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/516 9657
/proc/meminfo: memFree=23073220/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=55032 CPUtime=1062.32 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10966 0 0 0 106229 3 0 0 25 0 1 0 901251422 56352768 10664 33554432000 4194304 4933572 140733248475696 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13758 10664 375 181 0 10767 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 55032
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/516 9659
/proc/meminfo: memFree=23072936/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=55172 CPUtime=1122.33 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 10984 0 0 0 112230 3 0 0 25 0 1 0 901251422 56496128 10682 33554432000 4194304 4933572 140733248475696 18446744073709551615 4713216 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13793 10682 375 181 0 10802 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 55172
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 9661
/proc/meminfo: memFree=23071916/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=55460 CPUtime=1182.33 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11054 0 0 0 118230 3 0 0 25 0 1 0 901251422 56791040 10752 33554432000 4194304 4933572 140733248475696 18446744073709551615 4718175 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13865 10752 375 181 0 10874 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 55460
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9662
/proc/meminfo: memFree=23071112/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=55628 CPUtime=1242.33 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11083 0 0 0 124230 3 0 0 25 0 1 0 901251422 56963072 10781 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 13907 10781 375 181 0 10916 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 55628
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9664
/proc/meminfo: memFree=23069344/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=56996 CPUtime=1302.34 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11320 0 0 0 130231 3 0 0 25 0 1 0 901251422 58363904 11018 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14249 11018 375 181 0 11258 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 56996
[startup+1362.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/516 9665
/proc/meminfo: memFree=23068064/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=57812 CPUtime=1362.33 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11472 0 0 0 136230 3 0 0 25 0 1 0 901251422 59199488 11170 33554432000 4194304 4933572 140733248475696 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14453 11170 375 181 0 11462 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 57812
[startup+1422.32 s]
/proc/loadavg: 2.05 2.05 2.00 3/516 9667
/proc/meminfo: memFree=23067540/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=58220 CPUtime=1422.36 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11547 0 0 0 142232 4 0 0 25 0 1 0 901251422 59617280 11245 33554432000 4194304 4933572 140733248475696 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14555 11245 375 181 0 11564 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 58220
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 9669
/proc/meminfo: memFree=23067000/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=58220 CPUtime=1482.34 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11548 0 0 0 148230 4 0 0 25 0 1 0 901251422 59617280 11246 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14555 11246 375 181 0 11564 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 58220
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9670
/proc/meminfo: memFree=23067688/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=58424 CPUtime=1542.35 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11585 0 0 0 154231 4 0 0 25 0 1 0 901251422 59826176 11283 33554432000 4194304 4933572 140733248475696 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14606 11283 375 181 0 11615 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 58424
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/516 9672
/proc/meminfo: memFree=23067748/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=58424 CPUtime=1602.35 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11588 0 0 0 160231 4 0 0 25 0 1 0 901251422 59826176 11286 33554432000 4194304 4933572 140733248475696 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14606 11286 375 181 0 11615 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 58424
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 9673
/proc/meminfo: memFree=23067684/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=58628 CPUtime=1662.35 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11624 0 0 0 166231 4 0 0 25 0 1 0 901251422 60035072 11322 33554432000 4194304 4933572 140733248475696 18446744073709551615 4711290 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14657 11322 375 181 0 11666 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 58628
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9675
/proc/meminfo: memFree=23067136/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=58628 CPUtime=1722.35 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11627 0 0 0 172231 4 0 0 25 0 1 0 901251422 60035072 11325 33554432000 4194304 4933572 140733248475696 18446744073709551615 4713041 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14657 11325 375 181 0 11666 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 58628
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9680
/proc/meminfo: memFree=23065564/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=58628 CPUtime=1782.35 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11627 0 0 0 178231 4 0 0 25 0 1 0 901251422 60035072 11325 33554432000 4194304 4933572 140733248475696 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14657 11325 375 181 0 11666 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 58628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9680
/proc/meminfo: memFree=23066176/32950928 swapFree=58671692/67111528
[pid=9600] ppid=9598 vsize=58628 CPUtime=1800.06 cores=0,2,4,6
/proc/9600/stat : 9600 (clasp) R 9598 9600 8237 0 -1 4202496 11627 0 0 0 180002 4 0 0 25 0 1 0 901251422 60035072 11325 33554432000 4194304 4933572 140733248475696 18446744073709551615 4718246 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9600/statm: 14657 11325 375 181 0 11666 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 58628
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.04
CPU system time (s): 0.046992
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 58628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11640
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= 9
involuntary context switches= 2747
runsolver used 9.60954 second user time and 21.5087 second system time
The end