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-3468104-1307083195/watcher-3468104-1307083195 -o /tmp/evaluation-result-3468104-1307083195/solver-3468104-1307083195 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468104-1307083195.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.43 1.75 4/549 20821
/proc/meminfo: memFree=21211712/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=13096 CPUtime=0.01 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 679 0 0 0 1 0 0 0 23 0 1 0 819919924 13410304 612 33554432000 4194304 4933572 140735711476672 18446744073709551615 253640520389 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 3274 612 377 181 0 283 0
[startup+0.057711 s]
/proc/loadavg: 1.02 1.43 1.75 4/549 20821
/proc/meminfo: memFree=21211712/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=13888 CPUtime=0.05 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 905 0 0 0 5 0 0 0 23 0 1 0 819919924 14221312 838 33554432000 4194304 4933572 140735711476672 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 3472 839 384 181 0 481 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13888
[startup+0.100703 s]
/proc/loadavg: 1.02 1.43 1.75 4/549 20821
/proc/meminfo: memFree=21211712/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=14416 CPUtime=0.09 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 1015 0 0 0 9 0 0 0 23 0 1 0 819919924 14761984 948 33554432000 4194304 4933572 140735711476672 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 3604 948 384 181 0 613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14416
[startup+0.300653 s]
/proc/loadavg: 1.02 1.43 1.75 4/549 20821
/proc/meminfo: memFree=21211712/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=15208 CPUtime=0.29 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 1230 0 0 0 29 0 0 0 25 0 1 0 819919924 15572992 1163 33554432000 4194304 4933572 140735711476672 18446744073709551615 4717579 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 3802 1163 384 181 0 811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15208
[startup+0.700582 s]
/proc/loadavg: 1.02 1.43 1.75 4/549 20821
/proc/meminfo: memFree=21211712/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=16132 CPUtime=0.69 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 1444 0 0 0 69 0 0 0 25 0 1 0 819919924 16519168 1377 33554432000 4194304 4933572 140735711476672 18446744073709551615 4332794 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 4033 1377 384 181 0 1042 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16132
[startup+1.50044 s]
/proc/loadavg: 1.02 1.43 1.75 4/551 20823
/proc/meminfo: memFree=21201756/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=16924 CPUtime=1.49 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 1669 0 0 0 149 0 0 0 25 0 1 0 819919924 17330176 1602 33554432000 4194304 4933572 140735711476672 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 4231 1602 384 181 0 1240 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16924
[startup+3.10114 s]
/proc/loadavg: 1.10 1.44 1.75 4/551 20823
/proc/meminfo: memFree=21198408/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=17980 CPUtime=3.09 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 1922 0 0 0 309 0 0 0 25 0 1 0 819919924 18411520 1855 33554432000 4194304 4933572 140735711476672 18446744073709551615 4632737 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 4495 1855 384 181 0 1504 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17980
[startup+6.30056 s]
/proc/loadavg: 1.10 1.44 1.75 4/551 20823
/proc/meminfo: memFree=21195316/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=19008 CPUtime=6.29 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 2189 0 0 0 629 0 0 0 25 0 1 0 819919924 19464192 2122 33554432000 4194304 4933572 140735711476672 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 4752 2122 384 181 0 1761 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19008
[startup+12.7004 s]
/proc/loadavg: 1.24 1.46 1.75 5/551 20823
/proc/meminfo: memFree=21190788/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=20708 CPUtime=12.69 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 2607 0 0 0 1269 0 0 0 25 0 1 0 819919924 21204992 2540 33554432000 4194304 4933572 140735711476672 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 5177 2540 384 181 0 2186 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20708
[startup+25.5011 s]
/proc/loadavg: 1.35 1.48 1.76 5/551 20823
/proc/meminfo: memFree=21189296/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=21564 CPUtime=25.49 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 2818 0 0 0 2549 0 0 0 25 0 1 0 819919924 22081536 2751 33554432000 4194304 4933572 140735711476672 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 5391 2751 384 181 0 2400 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21564
[startup+51.1004 s]
/proc/loadavg: 1.57 1.52 1.76 4/551 20824
/proc/meminfo: memFree=21187648/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=22388 CPUtime=51.09 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3029 0 0 0 5109 0 0 0 25 0 1 0 819919924 22925312 2962 33554432000 4194304 4933572 140735711476672 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 5597 2962 384 181 0 2606 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22388
[startup+102.321 s]
/proc/loadavg: 1.88 1.61 1.78 5/551 20825
/proc/meminfo: memFree=21183908/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=23352 CPUtime=102.31 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3268 0 0 0 10231 0 0 0 25 0 1 0 819919924 23912448 3201 33554432000 4194304 4933572 140735711476672 18446744073709551615 4631752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 5838 3201 384 181 0 2847 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23352
[startup+162.3 s]
/proc/loadavg: 2.09 1.72 1.80 4/551 20827
/proc/meminfo: memFree=21180420/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=23928 CPUtime=162.29 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3418 0 0 0 16229 0 0 0 25 0 1 0 819919924 24502272 3350 33554432000 4194304 4933572 140735711476672 18446744073709551615 4632112 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 5982 3350 384 181 0 2991 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23928
[startup+222.3 s]
/proc/loadavg: 2.07 1.79 1.82 4/551 20829
/proc/meminfo: memFree=21180036/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=24312 CPUtime=222.3 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3522 0 0 0 22230 0 0 0 25 0 1 0 819919924 24895488 3436 33554432000 4194304 4933572 140735711476672 18446744073709551615 4360965 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6078 3436 384 181 0 3087 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24312
[startup+282.3 s]
/proc/loadavg: 2.02 1.82 1.83 4/551 20830
/proc/meminfo: memFree=21179400/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=24572 CPUtime=282.3 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3591 0 0 0 28230 0 0 0 25 0 1 0 819919924 25161728 3505 33554432000 4194304 4933572 140735711476672 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6143 3505 384 181 0 3152 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24572
[startup+342.301 s]
/proc/loadavg: 2.01 1.85 1.83 5/551 20832
/proc/meminfo: memFree=21178756/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=24932 CPUtime=342.3 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3655 0 0 0 34230 0 0 0 25 0 1 0 819919924 25530368 3569 33554432000 4194304 4933572 140735711476672 18446744073709551615 4319397 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6233 3569 384 181 0 3242 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24932
[startup+402.301 s]
/proc/loadavg: 2.00 1.88 1.84 4/551 20833
/proc/meminfo: memFree=21178488/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=25080 CPUtime=402.3 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3688 0 0 0 40230 0 0 0 25 0 1 0 819919924 25681920 3602 33554432000 4194304 4933572 140735711476672 18446744073709551615 4632725 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6270 3602 384 181 0 3279 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 25080
[startup+462.301 s]
/proc/loadavg: 2.00 1.90 1.84 4/551 20835
/proc/meminfo: memFree=21178716/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=25312 CPUtime=462.3 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3769 0 0 0 46230 0 0 0 25 0 1 0 819919924 25919488 3676 33554432000 4194304 4933572 140735711476672 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6328 3676 384 181 0 3337 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25312
[startup+522.301 s]
/proc/loadavg: 2.00 1.91 1.85 4/551 20837
/proc/meminfo: memFree=21178452/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=25392 CPUtime=522.3 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3788 0 0 0 52230 0 0 0 25 0 1 0 819919924 26001408 3695 33554432000 4194304 4933572 140735711476672 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6348 3695 384 181 0 3357 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 25392
[startup+582.301 s]
/proc/loadavg: 2.00 1.92 1.85 4/551 20838
/proc/meminfo: memFree=21178556/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=25456 CPUtime=582.31 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3808 0 0 0 58231 0 0 0 25 0 1 0 819919924 26066944 3715 33554432000 4194304 4933572 140735711476672 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6364 3715 384 181 0 3373 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25456
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.00 1.91 4/551 20845
/proc/meminfo: memFree=21177388/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26008 CPUtime=822.31 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3974 0 0 0 82231 0 0 0 25 0 1 0 819919924 26632192 3843 33554432000 4194304 4933572 140735711476672 18446744073709551615 4717913 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6502 3843 384 181 0 3511 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 26008
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 1.91 4/551 20846
/proc/meminfo: memFree=21177000/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=25980 CPUtime=882.31 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 3974 0 0 0 88231 0 0 0 25 0 1 0 819919924 26603520 3843 33554432000 4194304 4933572 140735711476672 18446744073709551615 4717695 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6495 3843 384 181 0 3504 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 25980
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/551 20848
/proc/meminfo: memFree=21177100/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26200 CPUtime=942.31 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4033 0 0 0 94231 0 0 0 25 0 1 0 819919924 26828800 3902 33554432000 4194304 4933572 140735711476672 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6550 3902 384 181 0 3559 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 26200
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/551 20849
/proc/meminfo: memFree=21176956/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26200 CPUtime=1002.32 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4033 0 0 0 100232 0 0 0 25 0 1 0 819919924 26828800 3902 33554432000 4194304 4933572 140735711476672 18446744073709551615 4632150 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6550 3902 384 181 0 3559 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 26200
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/551 20851
/proc/meminfo: memFree=21176936/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26288 CPUtime=1062.32 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4076 0 0 0 106232 0 0 0 25 0 1 0 819919924 26918912 3926 33554432000 4194304 4933572 140735711476672 18446744073709551615 4717658 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6572 3926 384 181 0 3581 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 26288
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/551 20853
/proc/meminfo: memFree=21177916/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26324 CPUtime=1122.32 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4090 0 0 0 112232 0 0 0 25 0 1 0 819919924 26955776 3935 33554432000 4194304 4933572 140735711476672 18446744073709551615 4635456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6581 3935 384 181 0 3590 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 26324
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/551 20854
/proc/meminfo: memFree=21177400/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26412 CPUtime=1182.32 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4103 0 0 0 118232 0 0 0 25 0 1 0 819919924 27045888 3948 33554432000 4194304 4933572 140735711476672 18446744073709551615 4631824 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6603 3948 384 181 0 3612 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 26412
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 1.93 4/551 20856
/proc/meminfo: memFree=21176392/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26412 CPUtime=1242.32 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4151 0 0 0 124232 0 0 0 25 0 1 0 819919924 27045888 3958 33554432000 4194304 4933572 140735711476672 18446744073709551615 4360965 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6603 3958 384 181 0 3612 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 26412
[startup+1302.3 s]
/proc/loadavg: 2.10 2.06 1.94 5/551 20866
/proc/meminfo: memFree=21175688/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26412 CPUtime=1302.35 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4153 0 0 0 130235 0 0 0 25 0 1 0 819919924 27045888 3959 33554432000 4194304 4933572 140735711476672 18446744073709551615 4637189 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6603 3959 384 181 0 3612 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 26412
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 1.94 5/551 20868
/proc/meminfo: memFree=21176292/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26456 CPUtime=1362.33 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4159 0 0 0 136233 0 0 0 25 0 1 0 819919924 27090944 3965 33554432000 4194304 4933572 140735711476672 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6614 3965 384 181 0 3623 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 26456
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 1.94 4/551 20870
/proc/meminfo: memFree=21176028/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26620 CPUtime=1422.35 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4172 0 0 0 142235 0 0 0 25 0 1 0 819919924 27258880 3978 33554432000 4194304 4933572 140735711476672 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6655 3978 384 181 0 3664 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 26620
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 1.94 4/551 20874
/proc/meminfo: memFree=21176388/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26732 CPUtime=1482.33 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4213 0 0 0 148233 0 0 0 25 0 1 0 819919924 27373568 4019 33554432000 4194304 4933572 140735711476672 18446744073709551615 4717536 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6683 4019 384 181 0 3692 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 26732
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.94 4/551 20876
/proc/meminfo: memFree=21177112/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26732 CPUtime=1542.33 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4236 0 0 0 154233 0 0 0 25 0 1 0 819919924 27373568 4035 33554432000 4194304 4933572 140735711476672 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6683 4035 384 181 0 3692 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 26732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.94 5/551 20877
/proc/meminfo: memFree=21176472/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26732 CPUtime=1602.33 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4236 0 0 0 160233 0 0 0 25 0 1 0 819919924 27373568 4035 33554432000 4194304 4933572 140735711476672 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6683 4035 384 181 0 3692 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 26732
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.94 6/551 20879
/proc/meminfo: memFree=21176324/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26840 CPUtime=1662.34 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4246 0 0 0 166234 0 0 0 25 0 1 0 819919924 27484160 4045 33554432000 4194304 4933572 140735711476672 18446744073709551615 4632105 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6710 4045 384 181 0 3719 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 26840
[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 1.95 5/551 20881
/proc/meminfo: memFree=21176444/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26876 CPUtime=1722.34 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4267 0 0 0 172234 0 0 0 25 0 1 0 819919924 27521024 4066 33554432000 4194304 4933572 140735711476672 18446744073709551615 4713041 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6719 4066 384 181 0 3728 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 26876
[startup+1782.3 s]
/proc/loadavg: 2.18 2.07 1.96 5/551 20882
/proc/meminfo: memFree=21173944/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26876 CPUtime=1782.34 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4268 0 0 0 178234 0 0 0 25 0 1 0 819919924 27521024 4067 33554432000 4194304 4933572 140735711476672 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6719 4067 384 181 0 3728 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 26876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.14 2.06 1.96 4/551 20883
/proc/meminfo: memFree=21174932/32951124 swapFree=53733252/67111528
[pid=20821] ppid=20819 vsize=26876 CPUtime=1800.06 cores=1,3,5,7
/proc/20821/stat : 20821 (clasp) R 20819 20821 15684 0 -1 4202496 4268 0 0 0 180006 0 0 0 25 0 1 0 819919924 27521024 4067 33554432000 4194304 4933572 140735711476672 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/20821/statm: 6719 4067 384 181 0 3728 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 26876
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.02
CPU time (s): 1800.08
CPU user time (s): 1800.07
CPU system time (s): 0.009998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 26972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4276
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= 5018
runsolver used 9.40157 second user time and 23.2655 second system time
The end