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-3468143-1307100392/watcher-3468143-1307100392 -o /tmp/evaluation-result-3468143-1307100392/solver-3468143-1307100392 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468143-1307100392.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: 2.04 2.03 2.00 3/481 7638
/proc/meminfo: memFree=27450356/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=13148 CPUtime=0 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 656 0 0 0 0 0 0 0 25 0 1 0 821638852 13463552 587 33554432000 4194304 4933572 140734542835376 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 3287 587 331 181 0 296 0
[startup+0.103796 s]
/proc/loadavg: 2.04 2.03 2.00 3/481 7638
/proc/meminfo: memFree=27450356/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=19124 CPUtime=0.09 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 2514 0 0 0 9 0 0 0 25 0 1 0 821638852 19582976 1960 33554432000 4194304 4933572 140734542835376 18446744073709551615 4587802 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 4781 1960 348 181 0 1790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19124
[startup+0.200777 s]
/proc/loadavg: 2.04 2.03 2.00 3/481 7638
/proc/meminfo: memFree=27450356/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=18040 CPUtime=0.19 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 2542 0 0 0 19 0 0 0 25 0 1 0 821638852 18472960 1803 33554432000 4194304 4933572 140734542835376 18446744073709551615 4632155 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 4510 1803 376 181 0 1519 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18040
[startup+0.300699 s]
/proc/loadavg: 2.04 2.03 2.00 3/481 7638
/proc/meminfo: memFree=27450356/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=18040 CPUtime=0.29 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 2549 0 0 0 29 0 0 0 25 0 1 0 821638852 18472960 1810 33554432000 4194304 4933572 140734542835376 18446744073709551615 4632794 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 4510 1810 383 181 0 1519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18040
[startup+0.700622 s]
/proc/loadavg: 2.04 2.03 2.00 3/481 7638
/proc/meminfo: memFree=27450356/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=29600 CPUtime=0.68 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 5497 0 0 0 68 0 0 0 25 0 1 0 821638852 30310400 4758 33554432000 4194304 4933572 140734542835376 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 7400 4758 384 181 0 4409 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29600
[startup+1.50058 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7639
/proc/meminfo: memFree=27392064/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=53904 CPUtime=1.49 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 11582 0 0 0 148 1 0 0 25 0 1 0 821638852 55197696 10843 33554432000 4194304 4933572 140734542835376 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 13476 10843 384 181 0 10485 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53904
[startup+3.10023 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7639
/proc/meminfo: memFree=27341968/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=67804 CPUtime=3.08 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 15037 0 0 0 307 1 0 0 25 0 1 0 821638852 69431296 14298 33554432000 4194304 4933572 140734542835376 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 16951 14298 384 181 0 13960 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67804
[startup+6.30062 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7640
/proc/meminfo: memFree=27315592/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=81032 CPUtime=6.29 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 18349 0 0 0 627 2 0 0 25 0 1 0 821638852 82976768 17610 33554432000 4194304 4933572 140734542835376 18446744073709551615 4631907 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 20258 17610 384 181 0 17267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81032
[startup+12.7004 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7640
/proc/meminfo: memFree=27288744/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=97136 CPUtime=12.68 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 22351 0 0 0 1266 2 0 0 25 0 1 0 821638852 99467264 21612 33554432000 4194304 4933572 140734542835376 18446744073709551615 4360900 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 24284 21612 386 181 0 21293 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 97136
[startup+25.501 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 7640
/proc/meminfo: memFree=27255004/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=112264 CPUtime=25.49 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 26037 0 0 0 2546 3 0 0 25 0 1 0 821638852 114958336 25298 33554432000 4194304 4933572 140734542835376 18446744073709551615 4635445 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 28066 25298 386 181 0 25075 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112264
[startup+51.1011 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 7641
/proc/meminfo: memFree=27211380/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=133880 CPUtime=51.09 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 31411 0 0 0 5105 4 0 0 25 0 1 0 821638852 137093120 30672 33554432000 4194304 4933572 140734542835376 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 33470 30672 386 181 0 30479 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 133880
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7642
/proc/meminfo: memFree=27161756/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=158544 CPUtime=102.3 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 37658 0 0 0 10225 5 0 0 25 0 1 0 821638852 162349056 36919 33554432000 4194304 4933572 140734542835376 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 39636 36919 386 181 0 36645 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 158544
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7644
/proc/meminfo: memFree=27125892/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=175952 CPUtime=162.29 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 41980 0 0 0 16224 5 0 0 25 0 1 0 821638852 180174848 41241 33554432000 4194304 4933572 140734542835376 18446744073709551615 4631990 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 43988 41241 386 181 0 40997 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 175952
[startup+222.318 s]
/proc/loadavg: 2.15 2.04 2.01 3/482 7645
/proc/meminfo: memFree=27088504/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=197684 CPUtime=222.31 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 47391 0 0 0 22225 6 0 0 25 0 1 0 821638852 202428416 46652 33554432000 4194304 4933572 140734542835376 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 49421 46652 386 181 0 46430 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 197684
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/482 7647
/proc/meminfo: memFree=27080536/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=200864 CPUtime=282.3 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 48207 0 0 0 28224 6 0 0 25 0 1 0 821638852 205684736 47468 33554432000 4194304 4933572 140734542835376 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 50216 47468 386 181 0 47225 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 200864
[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 7649
/proc/meminfo: memFree=27066132/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=202056 CPUtime=342.3 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 48565 0 0 0 34224 6 0 0 25 0 1 0 821638852 206905344 47826 33554432000 4194304 4933572 140734542835376 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 50514 47826 386 181 0 47523 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 202056
[startup+402.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 7650
/proc/meminfo: memFree=27038948/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=220912 CPUtime=402.31 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 53987 0 0 0 40223 8 0 0 25 0 1 0 821638852 226213888 52510 33554432000 4194304 4933572 140734542835376 18446744073709551615 4341617 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 55228 52510 387 181 0 52237 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 220912
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 7652
/proc/meminfo: memFree=27032092/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=222240 CPUtime=462.31 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 54332 0 0 0 46223 8 0 0 25 0 1 0 821638852 227573760 52855 33554432000 4194304 4933572 140734542835376 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 55560 52855 387 181 0 52569 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 222240
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7653
/proc/meminfo: memFree=27014076/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=236780 CPUtime=522.31 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 60689 0 0 0 52222 9 0 0 25 0 1 0 821638852 242462720 56495 33554432000 4194304 4933572 140734542835376 18446744073709551615 4622118 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 59195 56495 387 181 0 56204 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 236780
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7655
/proc/meminfo: memFree=26984776/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=246060 CPUtime=582.31 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 62977 0 0 0 58222 9 0 0 25 0 1 0 821638852 251965440 58783 33554432000 4194304 4933572 140734542835376 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 61515 58783 387 181 0 58524 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 246060
[startup+642.3 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.08 2.05 2.01 3/482 7663
/proc/meminfo: memFree=26932880/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=270336 CPUtime=882.34 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 69020 0 0 0 88224 10 0 0 25 0 1 0 821638852 276824064 64826 33554432000 4194304 4933572 140734542835376 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 67584 64826 387 181 0 64593 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 270336
[startup+942.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 7665
/proc/meminfo: memFree=26932600/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=270336 CPUtime=942.33 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 69028 0 0 0 94223 10 0 0 25 0 1 0 821638852 276824064 64834 33554432000 4194304 4933572 140734542835376 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 67584 64834 387 181 0 64593 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 270336
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7666
/proc/meminfo: memFree=26930596/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=270336 CPUtime=1002.33 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 69034 0 0 0 100223 10 0 0 25 0 1 0 821638852 276824064 64840 33554432000 4194304 4933572 140734542835376 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 67584 64840 387 181 0 64593 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 270336
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7668
/proc/meminfo: memFree=26927708/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=273800 CPUtime=1062.33 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 69876 0 0 0 106223 10 0 0 25 0 1 0 821638852 280371200 65682 33554432000 4194304 4933572 140734542835376 18446744073709551615 4340549 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 68450 65682 387 181 0 65459 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 273800
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7669
/proc/meminfo: memFree=26927188/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=274028 CPUtime=1122.33 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 69914 0 0 0 112223 10 0 0 25 0 1 0 821638852 280604672 65720 33554432000 4194304 4933572 140734542835376 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 68507 65720 387 181 0 65516 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 274028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7671
/proc/meminfo: memFree=26925664/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=275084 CPUtime=1182.34 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 70196 0 0 0 118224 10 0 0 25 0 1 0 821638852 281686016 66002 33554432000 4194304 4933572 140734542835376 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 68771 66002 387 181 0 65780 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 275084
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/482 7673
/proc/meminfo: memFree=26886312/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=290128 CPUtime=1242.33 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 73964 0 0 0 124223 10 0 0 25 0 1 0 821638852 297091072 69770 33554432000 4194304 4933572 140734542835376 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 72532 69770 387 181 0 69541 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 290128
[startup+1302.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/482 7674
/proc/meminfo: memFree=26876368/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=300088 CPUtime=1302.34 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 76419 0 0 0 130223 11 0 0 25 0 1 0 821638852 307290112 72225 33554432000 4194304 4933572 140734542835376 18446744073709551615 4625226 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 75022 72225 387 181 0 72031 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 300088
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/482 7676
/proc/meminfo: memFree=26871872/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=300356 CPUtime=1362.34 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 76495 0 0 0 136223 11 0 0 25 0 1 0 821638852 307564544 72301 33554432000 4194304 4933572 140734542835376 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 75089 72301 387 181 0 72098 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 300356
[startup+1422.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/482 7677
/proc/meminfo: memFree=26868856/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=302476 CPUtime=1422.35 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 77005 0 0 0 142224 11 0 0 25 0 1 0 821638852 309735424 72811 33554432000 4194304 4933572 140734542835376 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 75619 72811 387 181 0 72628 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 302476
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7679
/proc/meminfo: memFree=26868708/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=302476 CPUtime=1482.34 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 77005 0 0 0 148223 11 0 0 25 0 1 0 821638852 309735424 72811 33554432000 4194304 4933572 140734542835376 18446744073709551615 208079929978 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 75619 72811 387 181 0 72628 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 302476
[startup+1542.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7681
/proc/meminfo: memFree=26868684/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=302476 CPUtime=1542.36 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 77005 0 0 0 154225 11 0 0 25 0 1 0 821638852 309735424 72811 33554432000 4194304 4933572 140734542835376 18446744073709551615 4625232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 75619 72811 387 181 0 72628 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 302476
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7682
/proc/meminfo: memFree=26865680/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=302476 CPUtime=1602.35 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 77005 0 0 0 160224 11 0 0 25 0 1 0 821638852 309735424 72811 33554432000 4194304 4933572 140734542835376 18446744073709551615 4631919 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 75619 72811 387 181 0 72628 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 302476
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7684
/proc/meminfo: memFree=26861552/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=305396 CPUtime=1662.35 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 77749 0 0 0 166224 11 0 0 25 0 1 0 821638852 312725504 73555 33554432000 4194304 4933572 140734542835376 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 76349 73555 387 181 0 73358 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 305396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7685
/proc/meminfo: memFree=26860268/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=306592 CPUtime=1722.35 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 78051 0 0 0 172224 11 0 0 25 0 1 0 821638852 313950208 73857 33554432000 4194304 4933572 140734542835376 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 76648 73857 387 181 0 73657 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 306592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 7687
/proc/meminfo: memFree=26825624/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=322116 CPUtime=1782.36 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 82446 0 0 0 178224 12 0 0 25 0 1 0 821638852 329846784 77734 33554432000 4194304 4933572 140734542835376 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 80529 77734 387 181 0 77538 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 322116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.03 2.01 2/480 7688
/proc/meminfo: memFree=27139600/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=322116 CPUtime=1800.07 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 82446 0 0 0 179995 12 0 0 25 0 1 0 821638852 329846784 77734 33554432000 4194304 4933572 140734542835376 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 80529 77734 387 181 0 77538 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 322116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.12 2.03 2.01 2/480 7688
/proc/meminfo: memFree=27139600/32950928 swapFree=39617324/67111528
[pid=7638] ppid=7636 vsize=322116 CPUtime=1800.07 cores=1,3,5,7
/proc/7638/stat : 7638 (clasp) R 7636 7638 7025 0 -1 4202496 82446 0 0 0 179995 12 0 0 25 0 1 0 821638852 329846784 77734 33554432000 4194304 4933572 140734542835376 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7638/statm: 80529 77734 387 181 0 77538 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 322116
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.1
CPU user time (s): 1799.96
CPU system time (s): 0.136979
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 324248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82454
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= 7094
runsolver used 8.11876 second user time and 20.001 second system time
The end