runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491885-1307775422/watcher-3491885-1307775422 -o /tmp/evaluation-result-3491885-1307775422/solver-3491885-1307775422 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491885-1307775422.opb --solu --heu=VSIDS
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: 3.00 3.00 2.97 4/178 21749
/proc/meminfo: memFree=31467432/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=3420 CPUtime=0 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 617 0 0 0 0 0 0 0 25 0 1 0 889140988 3502080 509 33554432000 4194304 6245536 140735321264784 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 855 511 201 501 0 351 0
[startup+0.0793051 s]
/proc/loadavg: 3.00 3.00 2.97 4/178 21749
/proc/meminfo: memFree=31467432/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=7652 CPUtime=0.07 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 1730 0 0 0 7 0 0 0 25 0 1 0 889140988 7835648 1586 33554432000 4194304 6245536 140735321264784 18446744073709551615 4324726 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 1913 1586 228 501 0 1409 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7652
[startup+0.100239 s]
/proc/loadavg: 3.00 3.00 2.97 4/178 21749
/proc/meminfo: memFree=31467432/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=7784 CPUtime=0.09 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 1755 0 0 0 9 0 0 0 25 0 1 0 889140988 7970816 1611 33554432000 4194304 6245536 140735321264784 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 1946 1611 228 501 0 1442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7784
[startup+0.300205 s]
/proc/loadavg: 3.00 3.00 2.97 4/178 21749
/proc/meminfo: memFree=31467432/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=9112 CPUtime=0.29 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 2100 0 0 0 29 0 0 0 25 0 1 0 889140988 9330688 1956 33554432000 4194304 6245536 140735321264784 18446744073709551615 4324160 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 2278 1956 228 501 0 1774 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9112
[startup+0.7002 s]
/proc/loadavg: 3.00 3.00 2.97 4/178 21749
/proc/meminfo: memFree=31467432/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=10036 CPUtime=0.69 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 2319 0 0 0 69 0 0 0 25 0 1 0 889140988 10276864 2175 33554432000 4194304 6245536 140735321264784 18446744073709551615 4635664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 2509 2175 229 501 0 2005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10036
[startup+1.50101 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21750
/proc/meminfo: memFree=31458888/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=11092 CPUtime=1.49 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 2602 0 0 0 149 0 0 0 25 0 1 0 889140988 11358208 2458 33554432000 4194304 6245536 140735321264784 18446744073709551615 4304908 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 2773 2458 229 501 0 2269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11092
[startup+3.10066 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21750
/proc/meminfo: memFree=31457152/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=12940 CPUtime=3.09 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 3059 0 0 0 309 0 0 0 25 0 1 0 889140988 13250560 2915 33554432000 4194304 6245536 140735321264784 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 3235 2915 229 501 0 2731 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12940
[startup+6.30014 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21750
/proc/meminfo: memFree=31454996/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=14920 CPUtime=6.29 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 3535 0 0 0 629 0 0 0 25 0 1 0 889140988 15278080 3391 33554432000 4194304 6245536 140735321264784 18446744073709551615 4408778 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 3730 3391 229 501 0 3226 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14920
[startup+12.7011 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21750
/proc/meminfo: memFree=31452532/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=18148 CPUtime=12.69 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 4300 0 0 0 1269 0 0 0 25 0 1 0 889140988 18583552 4156 33554432000 4194304 6245536 140735321264784 18446744073709551615 4634497 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 4537 4156 229 501 0 4033 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18148
[startup+25.5007 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21750
/proc/meminfo: memFree=31448192/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=20528 CPUtime=25.49 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 4916 0 0 0 2549 0 0 0 25 0 1 0 889140988 21020672 4772 33554432000 4194304 6245536 140735321264784 18446744073709551615 4324294 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 5132 4772 229 501 0 4628 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20528
[startup+51.1001 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21751
/proc/meminfo: memFree=31421216/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=24840 CPUtime=51.09 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 6015 0 0 0 5109 0 0 0 25 0 1 0 889140988 25436160 5853 33554432000 4194304 6245536 140735321264784 18446744073709551615 4409085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 6210 5853 229 501 0 5706 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24840
[startup+102.306 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21752
/proc/meminfo: memFree=31412128/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=29456 CPUtime=102.29 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 7317 0 0 0 10229 0 0 0 25 0 1 0 889140988 30162944 7027 33554432000 4194304 6245536 140735321264784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 7364 7027 229 501 0 6860 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 29456
[startup+162.3 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21754
/proc/meminfo: memFree=31403784/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=32640 CPUtime=162.29 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 8437 0 0 0 16229 0 0 0 25 0 1 0 889140988 33423360 7828 33554432000 4194304 6245536 140735321264784 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 8160 7828 229 501 0 7656 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32640
[startup+222.301 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21756
/proc/meminfo: memFree=31402380/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=33856 CPUtime=222.29 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 8741 0 0 0 22229 0 0 0 25 0 1 0 889140988 34668544 8132 33554432000 4194304 6245536 140735321264784 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 8464 8132 229 501 0 7960 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 33856
[startup+282.301 s]
/proc/loadavg: 3.00 3.00 2.97 4/179 21766
/proc/meminfo: memFree=31397080/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=37664 CPUtime=282.29 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 9820 0 0 0 28229 0 0 0 25 0 1 0 889140988 38567936 9074 33554432000 4194304 6245536 140735321264784 18446744073709551615 4325096 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 9416 9074 229 501 0 8912 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 37664
[startup+342.3 s]
/proc/loadavg: 3.05 3.01 2.97 4/179 21768
/proc/meminfo: memFree=31362572/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=38144 CPUtime=342.29 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 10047 0 0 0 34229 0 0 0 25 0 1 0 889140988 39059456 9185 33554432000 4194304 6245536 140735321264784 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 9536 9185 229 501 0 9032 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 38144
[startup+402.301 s]
/proc/loadavg: 3.02 3.01 2.97 4/179 21769
/proc/meminfo: memFree=31353476/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=43448 CPUtime=402.3 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 11422 0 0 0 40229 1 0 0 25 0 1 0 889140988 44490752 10412 33554432000 4194304 6245536 140735321264784 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 10862 10412 229 501 0 10358 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 43448
[startup+462.301 s]
/proc/loadavg: 3.08 3.02 2.98 4/179 21774
/proc/meminfo: memFree=31352040/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=43816 CPUtime=462.3 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 11726 0 0 0 46229 1 0 0 25 0 1 0 889140988 44867584 10515 33554432000 4194304 6245536 140735321264784 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 10954 10515 229 501 0 10450 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 43816
[startup+522.3 s]
/proc/loadavg: 3.03 3.01 2.98 4/179 21776
/proc/meminfo: memFree=31349688/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=44032 CPUtime=522.31 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 11774 0 0 0 52230 1 0 0 25 0 1 0 889140988 45088768 10545 33554432000 4194304 6245536 140735321264784 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 11008 10545 229 501 0 10504 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 44032
[startup+582.3 s]
/proc/loadavg: 3.01 3.01 2.98 4/179 21777
/proc/meminfo: memFree=31343428/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=47508 CPUtime=582.3 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 12881 0 0 0 58229 1 0 0 25 0 1 0 889140988 48648192 11440 33554432000 4194304 6245536 140735321264784 18446744073709551615 4324199 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 11877 11440 229 501 0 11373 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 47508
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.00 3.00 2.98 4/179 21784
/proc/meminfo: memFree=31306748/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=49720 CPUtime=822.31 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 14329 0 0 0 82230 1 0 0 25 0 1 0 889140988 50913280 12011 33554432000 4194304 6245536 140735321264784 18446744073709551615 4608182 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 12430 12011 229 501 0 11926 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 49720
[startup+882.301 s]
/proc/loadavg: 3.07 3.02 2.98 4/179 21785
/proc/meminfo: memFree=31303476/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=50420 CPUtime=882.31 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 14748 0 0 0 88230 1 0 0 25 0 1 0 889140988 51630080 12203 33554432000 4194304 6245536 140735321264784 18446744073709551615 4323498 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 12605 12203 229 501 0 12101 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 50420
[startup+942.3 s]
/proc/loadavg: 3.02 3.01 2.98 4/179 21787
/proc/meminfo: memFree=31301564/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=50816 CPUtime=942.31 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 14839 0 0 0 94230 1 0 0 25 0 1 0 889140988 52035584 12294 33554432000 4194304 6245536 140735321264784 18446744073709551615 5419252 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 12704 12294 229 501 0 12200 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 50816
[startup+1002.3 s]
/proc/loadavg: 3.01 3.00 2.98 4/179 21788
/proc/meminfo: memFree=31300884/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=50816 CPUtime=1002.31 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 14845 0 0 0 100230 1 0 0 25 0 1 0 889140988 52035584 12300 33554432000 4194304 6245536 140735321264784 18446744073709551615 4320423 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 12704 12300 229 501 0 12200 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 50816
[startup+1062.3 s]
/proc/loadavg: 3.04 3.02 2.99 4/179 21790
/proc/meminfo: memFree=31298844/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=51300 CPUtime=1062.31 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 15032 0 0 0 106230 1 0 0 25 0 1 0 889140988 52531200 12390 33554432000 4194304 6245536 140735321264784 18446744073709551615 4324456 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 12825 12390 229 501 0 12321 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 51300
[startup+1122.3 s]
/proc/loadavg: 3.01 3.01 2.99 4/179 21792
/proc/meminfo: memFree=31297784/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=51612 CPUtime=1122.31 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 15141 0 0 0 112230 1 0 0 25 0 1 0 889140988 52850688 12475 33554432000 4194304 6245536 140735321264784 18446744073709551615 4637460 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 12903 12475 229 501 0 12399 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 51612
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.99 4/179 21793
/proc/meminfo: memFree=31296860/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=51612 CPUtime=1182.32 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 15147 0 0 0 118231 1 0 0 25 0 1 0 889140988 52850688 12481 33554432000 4194304 6245536 140735321264784 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 12903 12481 229 501 0 12399 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 51612
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.99 4/179 21795
/proc/meminfo: memFree=31295068/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=53072 CPUtime=1242.32 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 15536 0 0 0 124231 1 0 0 25 0 1 0 889140988 54345728 12850 33554432000 4194304 6245536 140735321264784 18446744073709551615 4324266 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13268 12850 229 501 0 12764 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 53072
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.99 4/179 21796
/proc/meminfo: memFree=31294512/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=53336 CPUtime=1302.32 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 15700 0 0 0 130231 1 0 0 25 0 1 0 889140988 54616064 12918 33554432000 4194304 6245536 140735321264784 18446744073709551615 4324230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13334 12918 229 501 0 12830 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 53336
[startup+1362.3 s]
/proc/loadavg: 2.92 2.98 2.98 3/173 21823
/proc/meminfo: memFree=31710796/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=53676 CPUtime=1362.33 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 15991 0 0 0 136231 2 0 0 25 0 1 0 889140988 54964224 12976 33554432000 4194304 6245536 140735321264784 18446744073709551615 4344698 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13419 12976 229 501 0 12915 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 53676
[startup+1422.31 s]
/proc/loadavg: 2.34 2.80 2.92 3/173 21825
/proc/meminfo: memFree=31711148/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=53812 CPUtime=1422.34 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 16107 0 0 0 142232 2 0 0 25 0 1 0 889140988 55103488 13022 33554432000 4194304 6245536 140735321264784 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13453 13022 229 501 0 12949 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 53812
[startup+1482.3 s]
/proc/loadavg: 2.12 2.65 2.86 3/173 21826
/proc/meminfo: memFree=31710724/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=54208 CPUtime=1482.33 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 16185 0 0 0 148231 2 0 0 25 0 1 0 889140988 55508992 13100 33554432000 4194304 6245536 140735321264784 18446744073709551615 4629125 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13552 13100 229 501 0 13048 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 54208
[startup+1542.3 s]
/proc/loadavg: 2.04 2.53 2.80 3/173 21828
/proc/meminfo: memFree=31710672/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=54416 CPUtime=1542.33 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 16239 0 0 0 154231 2 0 0 25 0 1 0 889140988 55721984 13154 33554432000 4194304 6245536 140735321264784 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13604 13154 229 501 0 13100 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 54416
[startup+1602.3 s]
/proc/loadavg: 2.07 2.45 2.76 3/173 21829
/proc/meminfo: memFree=31710732/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=54584 CPUtime=1602.33 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 16256 0 0 0 160231 2 0 0 25 0 1 0 889140988 55894016 13171 33554432000 4194304 6245536 140735321264784 18446744073709551615 4304844 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13646 13171 229 501 0 13142 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 54584
[startup+1662.3 s]
/proc/loadavg: 2.02 2.36 2.70 3/173 21831
/proc/meminfo: memFree=31710424/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=54920 CPUtime=1662.34 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 16323 0 0 0 166232 2 0 0 25 0 1 0 889140988 56238080 13238 33554432000 4194304 6245536 140735321264784 18446744073709551615 4397859 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13730 13238 229 501 0 13226 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 54920
[startup+1722.3 s]
/proc/loadavg: 2.01 2.29 2.66 3/173 21833
/proc/meminfo: memFree=31710368/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=55088 CPUtime=1722.34 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 16359 0 0 0 172232 2 0 0 25 0 1 0 889140988 56410112 13274 33554432000 4194304 6245536 140735321264784 18446744073709551615 4324230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13772 13274 229 501 0 13268 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 55088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.24 2.61 3/173 21834
/proc/meminfo: memFree=31709924/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=55088 CPUtime=1782.34 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 16360 0 0 0 178232 2 0 0 25 0 1 0 889140988 56410112 13275 33554432000 4194304 6245536 140735321264784 18446744073709551615 4408694 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13772 13275 229 501 0 13268 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 55088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.22 2.60 3/173 21835
/proc/meminfo: memFree=31710152/32950928 swapFree=67048868/67111528
[pid=21749] ppid=21747 vsize=55088 CPUtime=1800.04 cores=0,2,4,6
/proc/21749/stat : 21749 (clasp) R 21747 21749 17848 0 -1 4202496 16360 0 0 0 180002 2 0 0 25 0 1 0 889140988 56410112 13275 33554432000 4194304 6245536 140735321264784 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21749/statm: 13772 13275 229 501 0 13268 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 55088
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.01
CPU time (s): 1800.05
CPU user time (s): 1800.03
CPU system time (s): 0.022996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 55088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16372
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= 2565
runsolver used 2.46062 second user time and 5.74613 second system time
The end