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-3468179-1307098308/watcher-3468179-1307098308 -o /tmp/evaluation-result-3468179-1307098308/solver-3468179-1307098308 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468179-1307098308.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.95 2.04 2.01 1/515 5178
/proc/meminfo: memFree=21380020/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=13008 CPUtime=0 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 610 0 0 0 0 0 0 0 25 0 1 0 821427540 13320192 547 33554432000 4194304 4933572 140736209912544 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 3252 547 331 181 0 261 0
[startup+0.0889409 s]
/proc/loadavg: 1.95 2.04 2.01 1/515 5178
/proc/meminfo: memFree=21380020/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=14580 CPUtime=0.08 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 1112 0 0 0 8 0 0 0 25 0 1 0 821427540 14929920 1011 33554432000 4194304 4933572 140736209912544 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 3645 1012 385 181 0 654 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14580
[startup+0.100943 s]
/proc/loadavg: 1.95 2.04 2.01 1/515 5178
/proc/meminfo: memFree=21380020/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=14976 CPUtime=0.09 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 1205 0 0 0 9 0 0 0 25 0 1 0 821427540 15335424 1104 33554432000 4194304 4933572 140736209912544 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 3744 1104 385 181 0 753 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14976
[startup+0.300899 s]
/proc/loadavg: 1.95 2.04 2.01 1/515 5178
/proc/meminfo: memFree=21380020/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=20924 CPUtime=0.29 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 2677 0 0 0 29 0 0 0 25 0 1 0 821427540 21426176 2576 33554432000 4194304 4933572 140736209912544 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 5231 2577 385 181 0 2240 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20924
[startup+0.700823 s]
/proc/loadavg: 1.95 2.04 2.01 1/515 5178
/proc/meminfo: memFree=21380020/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=24364 CPUtime=0.69 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 3540 0 0 0 69 0 0 0 25 0 1 0 821427540 24948736 3439 33554432000 4194304 4933572 140736209912544 18446744073709551615 254500388619 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 6091 3439 385 181 0 3100 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24364
[startup+1.50066 s]
/proc/loadavg: 1.95 2.04 2.01 3/518 5206
/proc/meminfo: memFree=21364828/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=29096 CPUtime=1.48 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 4730 0 0 0 148 0 0 0 25 0 1 0 821427540 29794304 4629 33554432000 4194304 4933572 140736209912544 18446744073709551615 4319300 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 7274 4629 385 181 0 4283 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29096
[startup+3.10034 s]
/proc/loadavg: 1.95 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21347828/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=33596 CPUtime=3.09 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 5852 0 0 0 308 1 0 0 25 0 1 0 821427540 34402304 5751 33554432000 4194304 4933572 140736209912544 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 8399 5751 385 181 0 5408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33596
[startup+6.30071 s]
/proc/loadavg: 1.95 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21333640/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=37552 CPUtime=6.29 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 6834 0 0 0 628 1 0 0 25 0 1 0 821427540 38453248 6733 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 9388 6733 385 181 0 6397 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37552
[startup+12.7004 s]
/proc/loadavg: 1.95 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21318064/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=43908 CPUtime=12.69 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 8424 0 0 0 1268 1 0 0 25 0 1 0 821427540 44961792 8323 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 10977 8323 385 181 0 7986 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43908
[startup+25.5009 s]
/proc/loadavg: 1.96 2.04 2.01 3/518 5207
/proc/meminfo: memFree=21305788/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=49512 CPUtime=25.49 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 9796 0 0 0 2548 1 0 0 25 0 1 0 821427540 50700288 9695 33554432000 4194304 4933572 140736209912544 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 12378 9695 387 181 0 9387 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49512
[startup+51.1008 s]
/proc/loadavg: 1.97 2.03 2.00 3/518 5208
/proc/meminfo: memFree=21288276/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=58564 CPUtime=51.09 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 12055 0 0 0 5108 1 0 0 25 0 1 0 821427540 59969536 11935 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 14641 11935 387 181 0 11650 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58564
[startup+102.32 s]
/proc/loadavg: 1.99 2.03 2.00 4/518 5209
/proc/meminfo: memFree=21264936/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=68856 CPUtime=102.32 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 14631 0 0 0 10230 2 0 0 25 0 1 0 821427540 70508544 14511 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 17214 14511 387 181 0 14223 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 68856
[startup+162.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/518 5211
/proc/meminfo: memFree=21248648/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=77688 CPUtime=162.29 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 16826 0 0 0 16227 2 0 0 25 0 1 0 821427540 79552512 16706 33554432000 4194304 4933572 140736209912544 18446744073709551615 4319394 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 19422 16706 387 181 0 16431 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 77688
[startup+222.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/518 5212
/proc/meminfo: memFree=21244144/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=79376 CPUtime=222.3 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 17373 0 0 0 22228 2 0 0 25 0 1 0 821427540 81281024 17120 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 19844 17120 387 181 0 16853 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 79376
[startup+282.301 s]
/proc/loadavg: 2.20 2.07 2.02 3/518 5214
/proc/meminfo: memFree=21231968/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=88012 CPUtime=282.31 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 19595 0 0 0 28228 3 0 0 25 0 1 0 821427540 90124288 19216 33554432000 4194304 4933572 140736209912544 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 22003 19216 387 181 0 19012 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 88012
[startup+342.301 s]
/proc/loadavg: 2.12 2.07 2.02 3/518 5216
/proc/meminfo: memFree=21226852/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=87776 CPUtime=342.31 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 19733 0 0 0 34228 3 0 0 25 0 1 0 821427540 89882624 19176 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5178/statm: 21944 19176 387 181 0 18953 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 87776
[startup+402.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/518 5217
/proc/meminfo: memFree=21213924/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=96248 CPUtime=402.28 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 22629 0 0 0 40225 3 0 0 25 0 1 0 821427540 98557952 21243 33554432000 4194304 4933572 140736209912544 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 24062 21243 387 181 0 21071 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 96248
[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 5219
/proc/meminfo: memFree=21210052/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=97436 CPUtime=462.28 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 22962 0 0 0 46225 3 0 0 25 0 1 0 821427540 99774464 21576 33554432000 4194304 4933572 140736209912544 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 24359 21576 387 181 0 21368 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 97436
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5220
/proc/meminfo: memFree=21208528/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=98360 CPUtime=522.29 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 23183 0 0 0 52226 3 0 0 25 0 1 0 821427540 100720640 21797 33554432000 4194304 4933572 140736209912544 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 24590 21797 387 181 0 21599 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 98360
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5231
/proc/meminfo: memFree=21191080/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=105456 CPUtime=582.29 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 25085 0 0 0 58225 4 0 0 25 0 1 0 821427540 107986944 23551 33554432000 4194304 4933572 140736209912544 18446744073709551615 254500389482 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 26364 23551 387 181 0 23373 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 105456
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.22 2.09 2.02 3/518 5240
/proc/meminfo: memFree=21181696/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=111868 CPUtime=822.3 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 26950 0 0 0 82226 4 0 0 25 0 1 0 821427540 114552832 25146 33554432000 4194304 4933572 140736209912544 18446744073709551615 4319232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 27967 25146 387 181 0 24976 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 111868
[startup+882.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/518 5242
/proc/meminfo: memFree=21166288/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=120300 CPUtime=882.31 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 29020 0 0 0 88226 5 0 0 25 0 1 0 821427540 123187200 27216 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 30075 27216 387 181 0 27084 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 120300
[startup+942.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/518 5244
/proc/meminfo: memFree=21163888/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=120696 CPUtime=942.31 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 29122 0 0 0 94226 5 0 0 25 0 1 0 821427540 123592704 27318 33554432000 4194304 4933572 140736209912544 18446744073709551615 4622112 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 30174 27318 387 181 0 27183 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 120696
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/518 5245
/proc/meminfo: memFree=21162864/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=121860 CPUtime=1002.31 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 29396 0 0 0 100226 5 0 0 25 0 1 0 821427540 124784640 27592 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649427 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 30465 27592 387 181 0 27474 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 121860
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5247
/proc/meminfo: memFree=21160720/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=121860 CPUtime=1062.32 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 29402 0 0 0 106227 5 0 0 25 0 1 0 821427540 124784640 27598 33554432000 4194304 4933572 140736209912544 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 30465 27598 387 181 0 27474 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 121860
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5248
/proc/meminfo: memFree=21160428/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=121040 CPUtime=1122.32 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 29455 0 0 0 112227 5 0 0 25 0 1 0 821427540 123944960 27412 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 30260 27412 387 181 0 27269 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 121040
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5250
/proc/meminfo: memFree=21160016/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=120648 CPUtime=1182.32 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 29456 0 0 0 118227 5 0 0 25 0 1 0 821427540 123543552 27315 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 30162 27315 387 181 0 27171 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 120648
[startup+1242.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/518 5252
/proc/meminfo: memFree=21157496/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=123420 CPUtime=1242.32 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 30125 0 0 0 124227 5 0 0 25 0 1 0 821427540 126382080 27984 33554432000 4194304 4933572 140736209912544 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 30855 27984 387 181 0 27864 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 123420
[startup+1302.3 s]
/proc/loadavg: 2.17 2.06 2.02 3/518 5253
/proc/meminfo: memFree=21143444/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=129384 CPUtime=1302.33 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 32875 0 0 0 130228 5 0 0 25 0 1 0 821427540 132489216 29483 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649424 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 32346 29483 387 181 0 29355 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 129384
[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/518 5255
/proc/meminfo: memFree=21140428/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=131784 CPUtime=1362.32 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 33468 0 0 0 136227 5 0 0 25 0 1 0 821427540 134946816 30076 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 32946 30076 387 181 0 29955 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 131784
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/518 5256
/proc/meminfo: memFree=21139520/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=132600 CPUtime=1422.35 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 33674 0 0 0 142230 5 0 0 25 0 1 0 821427540 135782400 30282 33554432000 4194304 4933572 140736209912544 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 33150 30282 387 181 0 30159 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 132600
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 5258
/proc/meminfo: memFree=21137872/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=132732 CPUtime=1482.33 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 33720 0 0 0 148228 5 0 0 25 0 1 0 821427540 135917568 30328 33554432000 4194304 4933572 140736209912544 18446744073709551615 4341816 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 33183 30328 387 181 0 30192 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 132732
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 5260
/proc/meminfo: memFree=21138332/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=133800 CPUtime=1542.33 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 34082 0 0 0 154228 5 0 0 25 0 1 0 821427540 137011200 30575 33554432000 4194304 4933572 140736209912544 18446744073709551615 4622130 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 33450 30575 387 181 0 30459 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 133800
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5261
/proc/meminfo: memFree=21135816/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=133800 CPUtime=1602.34 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 34099 0 0 0 160229 5 0 0 25 0 1 0 821427540 137011200 30592 33554432000 4194304 4933572 140736209912544 18446744073709551615 4319460 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 33450 30592 387 181 0 30459 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 133800
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5263
/proc/meminfo: memFree=21134164/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=134248 CPUtime=1662.34 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 34283 0 0 0 166229 5 0 0 25 0 1 0 821427540 137469952 30712 33554432000 4194304 4933572 140736209912544 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 33562 30712 387 181 0 30571 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 134248
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5264
/proc/meminfo: memFree=21133504/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=134248 CPUtime=1722.34 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 34285 0 0 0 172229 5 0 0 25 0 1 0 821427540 137469952 30714 33554432000 4194304 4933572 140736209912544 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 33562 30714 387 181 0 30571 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 134248
[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/518 5266
/proc/meminfo: memFree=21131608/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=133880 CPUtime=1782.34 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 34285 0 0 0 178229 5 0 0 25 0 1 0 821427540 137093120 30622 33554432000 4194304 4933572 140736209912544 18446744073709551615 4625222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 33470 30622 387 181 0 30479 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 133880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.18 2.06 2.02 3/518 5266
/proc/meminfo: memFree=21132344/32950928 swapFree=34259960/67111528
[pid=5178] ppid=5176 vsize=133880 CPUtime=1800.05 cores=0,2,4,6
/proc/5178/stat : 5178 (clasp) R 5176 5178 4893 0 -1 4202496 34285 0 0 0 180000 5 0 0 25 0 1 0 821427540 137093120 30622 33554432000 4194304 4933572 140736209912544 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5178/statm: 33470 30622 387 181 0 30479 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 133880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1800.02
CPU system time (s): 0.06499
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 134616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34294
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= 2820
runsolver used 9.46556 second user time and 20.052 second system time
The end