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-3468822-1307105503/watcher-3468822-1307105503 -o /tmp/evaluation-result-3468822-1307105503/solver-3468822-1307105503 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468822-1307105503.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.79 1.99 1.99 1/476 8703
/proc/meminfo: memFree=27068656/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=12880 CPUtime=0 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 634 0 0 0 0 0 0 0 23 0 1 0 822152660 13189120 557 33554432000 4194304 4933572 140735452908512 18446744073709551615 212436017024 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 3220 557 377 181 0 229 0
[startup+0.0224231 s]
/proc/loadavg: 1.79 1.99 1.99 1/476 8703
/proc/meminfo: memFree=27068656/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=13144 CPUtime=0.02 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 714 0 0 0 2 0 0 0 23 0 1 0 822152660 13459456 637 33554432000 4194304 4933572 140735452908512 18446744073709551615 4368063 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 3286 637 377 181 0 295 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13144
[startup+0.100486 s]
/proc/loadavg: 1.79 1.99 1.99 1/476 8703
/proc/meminfo: memFree=27068656/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=14328 CPUtime=0.09 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 1018 0 0 0 9 0 0 0 23 0 1 0 822152660 14671872 941 33554432000 4194304 4933572 140735452908512 18446744073709551615 4368953 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 3582 941 385 181 0 591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14328
[startup+0.300452 s]
/proc/loadavg: 1.79 1.99 1.99 1/476 8703
/proc/meminfo: memFree=27068656/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=14988 CPUtime=0.29 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 1197 0 0 0 29 0 0 0 24 0 1 0 822152660 15347712 1120 33554432000 4194304 4933572 140735452908512 18446744073709551615 4329769 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 3747 1120 385 181 0 756 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14988
[startup+0.700373 s]
/proc/loadavg: 1.79 1.99 1.99 1/476 8703
/proc/meminfo: memFree=27068656/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=15780 CPUtime=0.69 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 1392 0 0 0 69 0 0 0 25 0 1 0 822152660 16158720 1315 33554432000 4194304 4933572 140735452908512 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 3945 1315 385 181 0 954 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15780
[startup+1.5002 s]
/proc/loadavg: 1.81 1.99 1.99 3/482 8712
/proc/meminfo: memFree=27060424/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=16700 CPUtime=1.49 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 1625 0 0 0 149 0 0 0 25 0 1 0 822152660 17100800 1548 33554432000 4194304 4933572 140735452908512 18446744073709551615 4649153 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 4175 1548 385 181 0 1184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16700
[startup+3.10092 s]
/proc/loadavg: 1.81 1.99 1.99 3/482 8712
/proc/meminfo: memFree=27056828/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=17888 CPUtime=3.09 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 1895 0 0 0 309 0 0 0 25 0 1 0 822152660 18317312 1818 33554432000 4194304 4933572 140735452908512 18446744073709551615 4331822 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 4472 1818 385 181 0 1481 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17888
[startup+6.30031 s]
/proc/loadavg: 1.82 1.99 1.99 3/482 8712
/proc/meminfo: memFree=27055020/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=19092 CPUtime=6.29 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 2199 0 0 0 629 0 0 0 25 0 1 0 822152660 19550208 2122 33554432000 4194304 4933572 140735452908512 18446744073709551615 4632776 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 4773 2122 385 181 0 1782 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19092
[startup+12.7011 s]
/proc/loadavg: 1.84 1.99 1.99 3/482 8712
/proc/meminfo: memFree=27051888/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=19736 CPUtime=12.69 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 2371 0 0 0 1269 0 0 0 25 0 1 0 822152660 20209664 2294 33554432000 4194304 4933572 140735452908512 18446744073709551615 4628804 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 4934 2294 385 181 0 1943 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19736
[startup+25.5007 s]
/proc/loadavg: 1.87 1.99 1.99 3/482 8712
/proc/meminfo: memFree=27051508/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=20332 CPUtime=25.49 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 2507 0 0 0 2549 0 0 0 25 0 1 0 822152660 20819968 2430 33554432000 4194304 4933572 140735452908512 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 5083 2430 385 181 0 2092 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20332
[startup+51.1009 s]
/proc/loadavg: 1.91 1.99 1.99 3/482 8713
/proc/meminfo: memFree=27049964/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=21364 CPUtime=51.09 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 2788 0 0 0 5109 0 0 0 25 0 1 0 822152660 21876736 2711 33554432000 4194304 4933572 140735452908512 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 5341 2711 385 181 0 2350 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21364
[startup+102.318 s]
/proc/loadavg: 1.96 1.99 1.99 3/482 8715
/proc/meminfo: memFree=27046468/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=22492 CPUtime=102.31 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3070 0 0 0 10231 0 0 0 25 0 1 0 822152660 23031808 2973 33554432000 4194304 4933572 140735452908512 18446744073709551615 4631928 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 5623 2973 385 181 0 2632 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22492
[startup+162.301 s]
/proc/loadavg: 1.98 1.99 1.99 3/482 8716
/proc/meminfo: memFree=27044592/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=23052 CPUtime=162.3 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3230 0 0 0 16230 0 0 0 25 0 1 0 822152660 23605248 3131 33554432000 4194304 4933572 140735452908512 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 5763 3131 385 181 0 2772 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23052
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/482 8718
/proc/meminfo: memFree=27046276/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=23312 CPUtime=222.3 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3284 0 0 0 22230 0 0 0 25 0 1 0 822152660 23871488 3185 33554432000 4194304 4933572 140735452908512 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 5828 3185 385 181 0 2837 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23312
[startup+282.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/482 8719
/proc/meminfo: memFree=27046368/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=23936 CPUtime=282.3 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3449 0 0 0 28230 0 0 0 25 0 1 0 822152660 24510464 3340 33554432000 4194304 4933572 140735452908512 18446744073709551615 4664041 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 5984 3340 385 181 0 2993 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23936
[startup+342.301 s]
/proc/loadavg: 2.13 2.03 2.00 3/482 8721
/proc/meminfo: memFree=27046196/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=24168 CPUtime=342.3 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3492 0 0 0 34230 0 0 0 25 0 1 0 822152660 24748032 3383 33554432000 4194304 4933572 140735452908512 18446744073709551615 4624504 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6042 3383 385 181 0 3051 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24168
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/482 8722
/proc/meminfo: memFree=27045676/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=24500 CPUtime=402.3 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3623 0 0 0 40230 0 0 0 25 0 1 0 822152660 25088000 3476 33554432000 4194304 4933572 140735452908512 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6125 3476 385 181 0 3134 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24500
[startup+462.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 8724
/proc/meminfo: memFree=27045288/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=24584 CPUtime=462.31 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3656 0 0 0 46231 0 0 0 25 0 1 0 822152660 25174016 3509 33554432000 4194304 4933572 140735452908512 18446744073709551615 4649168 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6146 3509 385 181 0 3155 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24584
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 8726
/proc/meminfo: memFree=27045376/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=24676 CPUtime=522.31 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3685 0 0 0 52231 0 0 0 25 0 1 0 822152660 25268224 3538 33554432000 4194304 4933572 140735452908512 18446744073709551615 4329949 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6169 3538 385 181 0 3178 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24676
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8736
/proc/meminfo: memFree=27044480/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=25216 CPUtime=582.31 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3815 0 0 0 58231 0 0 0 25 0 1 0 822152660 25821184 3651 33554432000 4194304 4933572 140735452908512 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6304 3651 385 181 0 3313 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25216
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8746
/proc/meminfo: memFree=27043212/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=25792 CPUtime=822.32 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3987 0 0 0 82231 1 0 0 25 0 1 0 822152660 26411008 3812 33554432000 4194304 4933572 140735452908512 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6448 3812 385 181 0 3457 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25792
[startup+882.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/482 8747
/proc/meminfo: memFree=27042560/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=25792 CPUtime=882.32 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 3987 0 0 0 88231 1 0 0 25 0 1 0 822152660 26411008 3812 33554432000 4194304 4933572 140735452908512 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6448 3812 385 181 0 3457 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 25792
[startup+942.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/482 8749
/proc/meminfo: memFree=27043260/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=25860 CPUtime=942.32 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4038 0 0 0 94231 1 0 0 25 0 1 0 822152660 26480640 3829 33554432000 4194304 4933572 140735452908512 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6465 3829 385 181 0 3474 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25860
[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 8751
/proc/meminfo: memFree=27042976/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26024 CPUtime=1002.33 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4063 0 0 0 100232 1 0 0 25 0 1 0 822152660 26648576 3854 33554432000 4194304 4933572 140735452908512 18446744073709551615 4635407 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6506 3854 385 181 0 3515 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 26024
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 8752
/proc/meminfo: memFree=27043164/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26024 CPUtime=1062.33 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4070 0 0 0 106232 1 0 0 25 0 1 0 822152660 26648576 3861 33554432000 4194304 4933572 140735452908512 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6506 3861 385 181 0 3515 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 26024
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8754
/proc/meminfo: memFree=27043116/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26024 CPUtime=1122.33 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4116 0 0 0 112232 1 0 0 25 0 1 0 822152660 26648576 3868 33554432000 4194304 4933572 140735452908512 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6506 3868 385 181 0 3515 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 26024
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8755
/proc/meminfo: memFree=27042588/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26056 CPUtime=1182.33 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4121 0 0 0 118232 1 0 0 25 0 1 0 822152660 26681344 3873 33554432000 4194304 4933572 140735452908512 18446744073709551615 4664480 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6514 3873 385 181 0 3523 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 26056
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8784
/proc/meminfo: memFree=27029148/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26692 CPUtime=1242.33 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4263 0 0 0 124232 1 0 0 25 0 1 0 822152660 27332608 4001 33554432000 4194304 4933572 140735452908512 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6673 4001 385 181 0 3682 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 26692
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8786
/proc/meminfo: memFree=27025720/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26932 CPUtime=1302.35 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4362 0 0 0 130233 2 0 0 25 0 1 0 822152660 27578368 4093 33554432000 4194304 4933572 140735452908512 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6733 4093 385 181 0 3742 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 26932
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8787
/proc/meminfo: memFree=27026432/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26932 CPUtime=1362.34 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4362 0 0 0 136232 2 0 0 25 0 1 0 822152660 27578368 4093 33554432000 4194304 4933572 140735452908512 18446744073709551615 4368941 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6733 4093 385 181 0 3742 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 26932
[startup+1422.32 s]
/proc/loadavg: 2.09 2.03 2.01 3/482 8789
/proc/meminfo: memFree=27026248/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26932 CPUtime=1422.36 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4363 0 0 0 142234 2 0 0 25 0 1 0 822152660 27578368 4094 33554432000 4194304 4933572 140735452908512 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6733 4094 385 181 0 3742 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 26932
[startup+1482.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/482 8790
/proc/meminfo: memFree=27025560/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26932 CPUtime=1482.35 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4419 0 0 0 148233 2 0 0 25 0 1 0 822152660 27578368 4094 33554432000 4194304 4933572 140735452908512 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6733 4094 385 181 0 3742 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 26932
[startup+1542.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/482 8792
/proc/meminfo: memFree=27025036/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=26972 CPUtime=1542.35 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4474 0 0 0 154233 2 0 0 25 0 1 0 822152660 27619328 4104 33554432000 4194304 4933572 140735452908512 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6743 4104 385 181 0 3752 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 26972
[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/482 8793
/proc/meminfo: memFree=27025008/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=27092 CPUtime=1602.35 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4552 0 0 0 160233 2 0 0 25 0 1 0 822152660 27742208 4123 33554432000 4194304 4933572 140735452908512 18446744073709551615 4664010 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6773 4123 385 181 0 3782 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 27092
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/482 8795
/proc/meminfo: memFree=27024728/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=27092 CPUtime=1662.35 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4560 0 0 0 166233 2 0 0 25 0 1 0 822152660 27742208 4131 33554432000 4194304 4933572 140735452908512 18446744073709551615 4631919 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6773 4131 385 181 0 3782 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 27092
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 8797
/proc/meminfo: memFree=27023828/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=27212 CPUtime=1722.35 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4658 0 0 0 172233 2 0 0 25 0 1 0 822152660 27865088 4164 33554432000 4194304 4933572 140735452908512 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6803 4164 385 181 0 3812 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 27212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8798
/proc/meminfo: memFree=27022916/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=27248 CPUtime=1782.36 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4677 0 0 0 178234 2 0 0 25 0 1 0 822152660 27901952 4173 33554432000 4194304 4933572 140735452908512 18446744073709551615 4213208 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6812 4173 385 181 0 3821 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 27248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8799
/proc/meminfo: memFree=27022536/32951124 swapFree=38422276/67111528
[pid=8703] ppid=8701 vsize=27248 CPUtime=1800.06 cores=0,2,4,6
/proc/8703/stat : 8703 (clasp) R 8701 8703 7545 0 -1 4202496 4677 0 0 0 180004 2 0 0 25 0 1 0 822152660 27901952 4173 33554432000 4194304 4933572 140735452908512 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8703/statm: 6812 4173 385 181 0 3821 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 27248
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.06
CPU system time (s): 0.025996
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 27344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4685
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= 10
involuntary context switches= 5157
runsolver used 8.99263 second user time and 18.8511 second system time
The end