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-3468116-1307083495/watcher-3468116-1307083495 -o /tmp/evaluation-result-3468116-1307083495/solver-3468116-1307083495 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468116-1307083495.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.84 1.98 1.96 2/386 26731
/proc/meminfo: memFree=23860452/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=12836 CPUtime=0.01 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 633 0 0 0 1 0 0 0 25 0 1 0 819952307 13144064 567 33554432000 4194304 4933572 140733288620640 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 3209 567 371 181 0 218 0
[startup+0.0796261 s]
/proc/loadavg: 1.84 1.98 1.96 2/386 26731
/proc/meminfo: memFree=23860452/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=14156 CPUtime=0.07 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 966 0 0 0 7 0 0 0 25 0 1 0 819952307 14495744 900 33554432000 4194304 4933572 140733288620640 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 3539 900 378 181 0 548 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14156
[startup+0.100626 s]
/proc/loadavg: 1.84 1.98 1.96 2/386 26731
/proc/meminfo: memFree=23860452/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=14156 CPUtime=0.09 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 966 0 0 0 9 0 0 0 25 0 1 0 819952307 14495744 900 33554432000 4194304 4933572 140733288620640 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 3539 900 378 181 0 548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14156
[startup+0.30058 s]
/proc/loadavg: 1.84 1.98 1.96 2/386 26731
/proc/meminfo: memFree=23860452/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=14944 CPUtime=0.29 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 1159 0 0 0 29 0 0 0 25 0 1 0 819952307 15302656 1093 33554432000 4194304 4933572 140733288620640 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 3736 1093 378 181 0 745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14944
[startup+0.700505 s]
/proc/loadavg: 1.84 1.98 1.96 2/386 26731
/proc/meminfo: memFree=23860452/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=15736 CPUtime=0.69 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 1350 0 0 0 69 0 0 0 25 0 1 0 819952307 16113664 1284 33554432000 4194304 4933572 140733288620640 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 3934 1284 378 181 0 943 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15736
[startup+1.50038 s]
/proc/loadavg: 1.84 1.98 1.96 3/387 26732
/proc/meminfo: memFree=23852648/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=16532 CPUtime=1.49 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 1546 0 0 0 149 0 0 0 25 0 1 0 819952307 16928768 1480 33554432000 4194304 4933572 140733288620640 18446744073709551615 4713038 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 4133 1480 378 181 0 1142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16532
[startup+3.10105 s]
/proc/loadavg: 1.84 1.98 1.96 3/387 26732
/proc/meminfo: memFree=23850168/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=17460 CPUtime=3.09 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 1790 0 0 0 309 0 0 0 25 0 1 0 819952307 17879040 1724 33554432000 4194304 4933572 140733288620640 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 4365 1724 378 181 0 1374 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17460
[startup+6.30052 s]
/proc/loadavg: 1.85 1.98 1.96 3/387 26732
/proc/meminfo: memFree=23846572/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=18660 CPUtime=6.29 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 2096 0 0 0 629 0 0 0 25 0 1 0 819952307 19107840 2030 33554432000 4194304 4933572 140733288620640 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 4665 2030 378 181 0 1674 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18660
[startup+12.7004 s]
/proc/loadavg: 1.87 1.98 1.96 3/387 26732
/proc/meminfo: memFree=23841376/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=20736 CPUtime=12.69 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 2586 0 0 0 1269 0 0 0 25 0 1 0 819952307 21233664 2520 33554432000 4194304 4933572 140733288620640 18446744073709551615 4664539 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 5184 2520 378 181 0 2193 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20736
[startup+25.5011 s]
/proc/loadavg: 1.89 1.98 1.96 3/387 26733
/proc/meminfo: memFree=23839368/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=21684 CPUtime=25.49 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 2832 0 0 0 2549 0 0 0 25 0 1 0 819952307 22204416 2766 33554432000 4194304 4933572 140733288620640 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 5421 2766 378 181 0 2430 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21684
[startup+51.1006 s]
/proc/loadavg: 1.93 1.98 1.96 3/387 26733
/proc/meminfo: memFree=23837588/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=22536 CPUtime=51.09 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 3058 0 0 0 5109 0 0 0 25 0 1 0 819952307 23076864 2989 33554432000 4194304 4933572 140733288620640 18446744073709551615 4717695 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 5634 2989 378 181 0 2643 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22536
[startup+102.314 s]
/proc/loadavg: 1.97 1.98 1.96 3/387 26735
/proc/meminfo: memFree=23834316/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=23436 CPUtime=102.31 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 3274 0 0 0 10231 0 0 0 25 0 1 0 819952307 23998464 3204 33554432000 4194304 4933572 140733288620640 18446744073709551615 4717664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 5859 3204 378 181 0 2868 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23436
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.96 3/387 26736
/proc/meminfo: memFree=23832304/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=24524 CPUtime=162.3 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 3561 0 0 0 16230 0 0 0 25 0 1 0 819952307 25112576 3490 33554432000 4194304 4933572 140733288620640 18446744073709551615 4328704 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6131 3490 378 181 0 3140 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 24524
[startup+222.3 s]
/proc/loadavg: 2.07 2.00 1.97 3/387 26738
/proc/meminfo: memFree=23831272/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=25244 CPUtime=222.3 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 3740 0 0 0 22230 0 0 0 25 0 1 0 819952307 25849856 3669 33554432000 4194304 4933572 140733288620640 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6311 3669 378 181 0 3320 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 25244
[startup+282.301 s]
/proc/loadavg: 2.06 2.02 1.98 3/387 26740
/proc/meminfo: memFree=23831608/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=25716 CPUtime=282.3 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 3863 0 0 0 28230 0 0 0 25 0 1 0 819952307 26333184 3786 33554432000 4194304 4933572 140733288620640 18446744073709551615 4631936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6429 3786 378 181 0 3438 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 25716
[startup+342.301 s]
/proc/loadavg: 2.06 2.03 1.98 3/387 26741
/proc/meminfo: memFree=23831076/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=26156 CPUtime=342.3 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 3938 0 0 0 34230 0 0 0 25 0 1 0 819952307 26783744 3861 33554432000 4194304 4933572 140733288620640 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6539 3861 378 181 0 3548 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26156
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/387 26743
/proc/meminfo: memFree=23829784/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=26800 CPUtime=402.3 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4120 0 0 0 40230 0 0 0 25 0 1 0 819952307 27443200 4043 33554432000 4194304 4933572 140733288620640 18446744073709551615 4632720 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6700 4043 378 181 0 3709 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 26800
[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/387 26744
/proc/meminfo: memFree=23829496/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=26996 CPUtime=462.3 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4168 0 0 0 46230 0 0 0 25 0 1 0 819952307 27643904 4091 33554432000 4194304 4933572 140733288620640 18446744073709551615 4717627 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6749 4091 378 181 0 3758 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 26996
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/387 26746
/proc/meminfo: memFree=23828840/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=27232 CPUtime=522.3 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4249 0 0 0 52230 0 0 0 25 0 1 0 819952307 27885568 4156 33554432000 4194304 4933572 140733288620640 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6808 4156 378 181 0 3817 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 27232
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/387 26748
/proc/meminfo: memFree=23828420/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=27356 CPUtime=582.3 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4255 0 0 0 58230 0 0 0 25 0 1 0 819952307 28012544 4162 33554432000 4194304 4933572 140733288620640 18446744073709551615 4360856 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6839 4162 378 181 0 3848 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27356
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/387 26754
/proc/meminfo: memFree=23828208/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=27844 CPUtime=822.31 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4372 0 0 0 82231 0 0 0 25 0 1 0 819952307 28512256 4279 33554432000 4194304 4933572 140733288620640 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6961 4279 378 181 0 3970 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 27844
[startup+882.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/387 26756
/proc/meminfo: memFree=23827800/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=27844 CPUtime=882.31 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4390 0 0 0 88231 0 0 0 25 0 1 0 819952307 28512256 4297 33554432000 4194304 4933572 140733288620640 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6961 4297 378 181 0 3970 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 27844
[startup+942.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 26757
/proc/meminfo: memFree=23828000/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=27956 CPUtime=942.31 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4406 0 0 0 94231 0 0 0 25 0 1 0 819952307 28626944 4313 33554432000 4194304 4933572 140733288620640 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6989 4313 378 181 0 3998 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 27956
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26768
/proc/meminfo: memFree=23827956/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=27956 CPUtime=1002.31 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4416 0 0 0 100231 0 0 0 25 0 1 0 819952307 28626944 4323 33554432000 4194304 4933572 140733288620640 18446744073709551615 4717554 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 6989 4323 378 181 0 3998 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 27956
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26769
/proc/meminfo: memFree=23827516/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28244 CPUtime=1062.31 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4514 0 0 0 106231 0 0 0 25 0 1 0 819952307 28921856 4401 33554432000 4194304 4933572 140733288620640 18446744073709551615 4340849 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7061 4401 378 181 0 4070 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 28244
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/388 26774
/proc/meminfo: memFree=23806216/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28392 CPUtime=1122.31 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4517 0 0 0 112231 0 0 0 25 0 1 0 819952307 29073408 4404 33554432000 4194304 4933572 140733288620640 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7098 4404 378 181 0 4107 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 28392
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26776
/proc/meminfo: memFree=23826900/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28392 CPUtime=1182.32 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4535 0 0 0 118232 0 0 0 25 0 1 0 819952307 29073408 4422 33554432000 4194304 4933572 140733288620640 18446744073709551615 4635456 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7098 4422 378 181 0 4107 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 28392
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26777
/proc/meminfo: memFree=23826092/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28492 CPUtime=1242.32 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4553 0 0 0 124232 0 0 0 25 0 1 0 819952307 29175808 4440 33554432000 4194304 4933572 140733288620640 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7123 4440 378 181 0 4132 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 28492
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/387 26779
/proc/meminfo: memFree=23825280/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28492 CPUtime=1302.34 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4553 0 0 0 130233 1 0 0 25 0 1 0 819952307 29175808 4440 33554432000 4194304 4933572 140733288620640 18446744073709551615 4717616 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7123 4440 378 181 0 4132 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 28492
[startup+1362.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/387 26780
/proc/meminfo: memFree=23825992/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28492 CPUtime=1362.33 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4554 0 0 0 136232 1 0 0 25 0 1 0 819952307 29175808 4441 33554432000 4194304 4933572 140733288620640 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7123 4441 378 181 0 4132 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 28492
[startup+1422.31 s]
/proc/loadavg: 2.16 2.06 2.01 3/387 26782
/proc/meminfo: memFree=23826688/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28492 CPUtime=1422.34 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4554 0 0 0 142233 1 0 0 25 0 1 0 819952307 29175808 4441 33554432000 4194304 4933572 140733288620640 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7123 4441 378 181 0 4132 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 28492
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/387 26784
/proc/meminfo: memFree=23826288/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28492 CPUtime=1482.33 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4565 0 0 0 148232 1 0 0 25 0 1 0 819952307 29175808 4452 33554432000 4194304 4933572 140733288620640 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7123 4452 378 181 0 4132 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 28492
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/387 26785
/proc/meminfo: memFree=23826356/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28492 CPUtime=1542.33 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4568 0 0 0 154232 1 0 0 25 0 1 0 819952307 29175808 4455 33554432000 4194304 4933572 140733288620640 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7123 4455 378 181 0 4132 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 28492
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 26787
/proc/meminfo: memFree=23826080/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28604 CPUtime=1602.34 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4580 0 0 0 160233 1 0 0 25 0 1 0 819952307 29290496 4467 33554432000 4194304 4933572 140733288620640 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7151 4467 378 181 0 4160 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 28604
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26788
/proc/meminfo: memFree=23826032/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28716 CPUtime=1662.34 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4604 0 0 0 166233 1 0 0 25 0 1 0 819952307 29405184 4491 33554432000 4194304 4933572 140733288620640 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7179 4491 378 181 0 4188 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 28716
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26790
/proc/meminfo: memFree=23825864/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28716 CPUtime=1722.34 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4604 0 0 0 172233 1 0 0 25 0 1 0 819952307 29405184 4491 33554432000 4194304 4933572 140733288620640 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7179 4491 378 181 0 4188 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 28716
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26792
/proc/meminfo: memFree=23824320/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28716 CPUtime=1782.34 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4616 0 0 0 178233 1 0 0 25 0 1 0 819952307 29405184 4503 33554432000 4194304 4933572 140733288620640 18446744073709551615 4717704 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7179 4503 378 181 0 4188 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 28716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 26793
/proc/meminfo: memFree=23839944/32951124 swapFree=49244120/67111528
[pid=26731] ppid=26729 vsize=28716 CPUtime=1800.05 cores=0,2,4,6
/proc/26731/stat : 26731 (clasp) R 26729 26731 23490 0 -1 4202496 4618 0 0 0 180004 1 0 0 25 0 1 0 819952307 29405184 4505 33554432000 4194304 4933572 140733288620640 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26731/statm: 7179 4505 378 181 0 4188 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 28716
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.06
CPU user time (s): 1800.05
CPU system time (s): 0.011998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4627
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= 2590
runsolver used 7.14491 second user time and 14.1488 second system time
The end