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-3468170-1307085298/watcher-3468170-1307085298 -o /tmp/evaluation-result-3468170-1307085298/solver-3468170-1307085298 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468170-1307085298.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: 2.00 2.01 2.00 2/386 26847
/proc/meminfo: memFree=23811576/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=15256 CPUtime=0.01 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 1281 0 0 0 1 0 0 0 18 0 1 0 820132576 15622144 1107 33554432000 4194304 4933572 140736730690288 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 3814 1107 332 181 0 823 0
[startup+0.068173 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 26847
/proc/meminfo: memFree=23811576/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=20624 CPUtime=0.06 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 3211 0 0 0 6 0 0 0 18 0 1 0 820132576 21118976 2329 33554432000 4194304 4933572 140736730690288 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 5156 2330 332 181 0 2165 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20624
[startup+0.101159 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 26847
/proc/meminfo: memFree=23811576/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=23808 CPUtime=0.09 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 4360 0 0 0 9 0 0 0 18 0 1 0 820132576 24379392 3072 33554432000 4194304 4933572 140736730690288 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 5952 3073 332 181 0 2961 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23808
[startup+0.301118 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 26847
/proc/meminfo: memFree=23811576/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=43340 CPUtime=0.29 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 10984 0 0 0 28 1 0 0 18 0 1 0 820132576 44380160 8080 33554432000 4194304 4933572 140736730690288 18446744073709551615 218370606690 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 10835 8080 347 181 0 7844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43340
[startup+0.701044 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 26847
/proc/meminfo: memFree=23811576/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=55560 CPUtime=0.69 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 13985 0 0 0 68 1 0 0 18 0 1 0 820132576 56893440 11081 33554432000 4194304 4933572 140736730690288 18446744073709551615 4587802 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55560
[startup+1.5009 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26848
/proc/meminfo: memFree=23739160/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=55560 CPUtime=1.49 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 13985 0 0 0 148 1 0 0 20 0 1 0 820132576 56893440 11081 33554432000 4194304 4933572 140736730690288 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55560
[startup+3.10062 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26848
/proc/meminfo: memFree=23738312/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=50088 CPUtime=3.09 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 14082 0 0 0 308 1 0 0 25 0 1 0 820132576 51290112 9894 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330304 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 12522 9894 381 181 0 9531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50088
[startup+6.30105 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26848
/proc/meminfo: memFree=23717052/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=69964 CPUtime=6.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 18864 0 0 0 627 3 0 0 25 0 1 0 820132576 71643136 14676 33554432000 4194304 4933572 140736730690288 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 17491 14676 381 181 0 14500 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 69964
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26849
/proc/meminfo: memFree=23681736/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=86312 CPUtime=12.7 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 23131 0 0 0 1266 4 0 0 25 0 1 0 820132576 88383488 18943 33554432000 4194304 4933572 140736730690288 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 21578 18943 381 181 0 18587 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 86312
[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26849
/proc/meminfo: memFree=23625816/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=112684 CPUtime=25.49 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 29233 0 0 0 2545 4 0 0 25 0 1 0 820132576 115388416 25045 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 28171 25045 383 181 0 25180 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112684
[startup+51.1011 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 26850
/proc/meminfo: memFree=23570156/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=140092 CPUtime=51.09 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 36106 0 0 0 5104 5 0 0 25 0 1 0 820132576 143454208 31918 33554432000 4194304 4933572 140736730690288 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 35023 31918 383 181 0 32032 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140092
[startup+102.314 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 26851
/proc/meminfo: memFree=23493036/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=178204 CPUtime=102.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 45686 0 0 0 10224 6 0 0 25 0 1 0 820132576 182480896 41498 33554432000 4194304 4933572 140736730690288 18446744073709551615 4337730 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 44551 41498 383 181 0 41560 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 178204
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 26853
/proc/meminfo: memFree=23489040/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=178204 CPUtime=162.29 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 46045 0 0 0 16223 6 0 0 25 0 1 0 820132576 182480896 41857 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 44551 41857 383 181 0 41560 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 178204
[startup+222.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 26854
/proc/meminfo: memFree=23463204/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=191520 CPUtime=222.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 49404 0 0 0 22223 7 0 0 25 0 1 0 820132576 196116480 45216 33554432000 4194304 4933572 140736730690288 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 47880 45216 383 181 0 44889 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191520
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 26856
/proc/meminfo: memFree=23459180/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=193652 CPUtime=282.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 49935 0 0 0 28223 7 0 0 25 0 1 0 820132576 198299648 45747 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 48413 45747 383 181 0 45422 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193652
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 26857
/proc/meminfo: memFree=23386724/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=229828 CPUtime=342.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 58964 0 0 0 34221 9 0 0 25 0 1 0 820132576 235343872 54776 33554432000 4194304 4933572 140736730690288 18446744073709551615 4637466 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 57457 54776 383 181 0 54466 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 229828
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26859
/proc/meminfo: memFree=23368204/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=239128 CPUtime=402.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 61294 0 0 0 40221 9 0 0 25 0 1 0 820132576 244867072 57106 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330254 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 59782 57106 383 181 0 56791 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 239128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26861
/proc/meminfo: memFree=23362072/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=242092 CPUtime=462.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 62025 0 0 0 46221 9 0 0 25 0 1 0 820132576 247902208 57837 33554432000 4194304 4933572 140736730690288 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 60523 57837 383 181 0 57532 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 242092
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 26862
/proc/meminfo: memFree=23362164/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=242092 CPUtime=522.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 62025 0 0 0 52221 9 0 0 25 0 1 0 820132576 247902208 57837 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330310 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 60523 57837 383 181 0 57532 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 242092
[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/387 26864
/proc/meminfo: memFree=23362224/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=242092 CPUtime=582.3 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 62025 0 0 0 58221 9 0 0 25 0 1 0 820132576 247902208 57837 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 60523 57837 383 181 0 57532 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 242092
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/387 26870
/proc/meminfo: memFree=23045124/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=401864 CPUtime=822.31 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 101760 0 0 0 82215 16 0 0 25 0 1 0 820132576 411508736 97572 33554432000 4194304 4933572 140736730690288 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 100466 97572 383 181 0 97475 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 401864
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 26872
/proc/meminfo: memFree=22971296/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=882.32 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110962 0 0 0 88215 17 0 0 25 0 1 0 820132576 449249280 106774 33554432000 4194304 4933572 140736730690288 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106774 383 181 0 106689 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 438720
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26873
/proc/meminfo: memFree=22971384/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=942.32 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110963 0 0 0 94215 17 0 0 25 0 1 0 820132576 449249280 106775 33554432000 4194304 4933572 140736730690288 18446744073709551615 4632794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106775 383 181 0 106689 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 438720
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26875
/proc/meminfo: memFree=22971320/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1002.32 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110965 0 0 0 100215 17 0 0 25 0 1 0 820132576 449249280 106777 33554432000 4194304 4933572 140736730690288 18446744073709551615 4315440 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106777 383 181 0 106689 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 438720
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26877
/proc/meminfo: memFree=22971156/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1062.32 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110972 0 0 0 106215 17 0 0 25 0 1 0 820132576 449249280 106784 33554432000 4194304 4933572 140736730690288 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106784 383 181 0 106689 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 438720
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/387 26878
/proc/meminfo: memFree=22971476/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1122.32 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110972 0 0 0 112215 17 0 0 25 0 1 0 820132576 449249280 106784 33554432000 4194304 4933572 140736730690288 18446744073709551615 4319270 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106784 383 181 0 106689 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 438720
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/387 26880
/proc/meminfo: memFree=22970920/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1182.32 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110972 0 0 0 118215 17 0 0 25 0 1 0 820132576 449249280 106784 33554432000 4194304 4933572 140736730690288 18446744073709551615 4663932 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106784 383 181 0 106689 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 438720
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 26881
/proc/meminfo: memFree=22969908/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1242.33 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110972 0 0 0 124216 17 0 0 25 0 1 0 820132576 449249280 106784 33554432000 4194304 4933572 140736730690288 18446744073709551615 4319323 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106784 383 181 0 106689 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 438720
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26883
/proc/meminfo: memFree=22969248/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1302.34 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110972 0 0 0 130217 17 0 0 25 0 1 0 820132576 449249280 106784 33554432000 4194304 4933572 140736730690288 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106784 383 181 0 106689 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 438720
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/387 26885
/proc/meminfo: memFree=22970212/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1362.33 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110972 0 0 0 136216 17 0 0 25 0 1 0 820132576 449249280 106784 33554432000 4194304 4933572 140736730690288 18446744073709551615 4340176 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106784 383 181 0 106689 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 438720
[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 26886
/proc/meminfo: memFree=22970164/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1422.34 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110972 0 0 0 142217 17 0 0 25 0 1 0 820132576 449249280 106784 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106784 383 181 0 106689 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 438720
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 26888
/proc/meminfo: memFree=22969872/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1482.33 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110972 0 0 0 148216 17 0 0 25 0 1 0 820132576 449249280 106784 33554432000 4194304 4933572 140736730690288 18446744073709551615 4631889 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106784 383 181 0 106689 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 438720
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26889
/proc/meminfo: memFree=22970816/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1542.33 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110973 0 0 0 154216 17 0 0 25 0 1 0 820132576 449249280 106785 33554432000 4194304 4933572 140736730690288 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106785 383 181 0 106689 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 438720
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26891
/proc/meminfo: memFree=22970912/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1602.33 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110973 0 0 0 160216 17 0 0 25 0 1 0 820132576 449249280 106785 33554432000 4194304 4933572 140736730690288 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106785 383 181 0 106689 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 438720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26893
/proc/meminfo: memFree=22970980/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1662.34 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110973 0 0 0 166217 17 0 0 25 0 1 0 820132576 449249280 106785 33554432000 4194304 4933572 140736730690288 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106785 383 181 0 106689 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 438720
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/387 26894
/proc/meminfo: memFree=22970920/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1722.34 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110973 0 0 0 172217 17 0 0 25 0 1 0 820132576 449249280 106785 33554432000 4194304 4933572 140736730690288 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106785 383 181 0 106689 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 438720
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 26896
/proc/meminfo: memFree=22969008/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1782.34 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110974 0 0 0 178217 17 0 0 25 0 1 0 820132576 449249280 106786 33554432000 4194304 4933572 140736730690288 18446744073709551615 4637187 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106786 383 181 0 106689 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 438720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 2/385 26897
/proc/meminfo: memFree=23393948/32951124 swapFree=49244120/67111528
[pid=26847] ppid=26845 vsize=438720 CPUtime=1800.05 cores=0,2,4,6
/proc/26847/stat : 26847 (clasp) R 26845 26847 23490 0 -1 4202496 110974 0 0 0 179988 17 0 0 25 0 1 0 820132576 449249280 106786 33554432000 4194304 4933572 140736730690288 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/26847/statm: 109680 106786 383 181 0 106689 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 438720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1799.89
CPU system time (s): 0.19197
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 438720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110987
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= 6
involuntary context switches= 2686
runsolver used 7.16791 second user time and 14.1279 second system time
The end