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-3479202-1307447761/watcher-3479202-1307447761 -o /tmp/evaluation-result-3479202-1307447761/solver-3479202-1307447761 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3479202-1307447761.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.97 2.02 1.92 2/473 25580
/proc/meminfo: memFree=19378396/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=39204 CPUtime=0 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 4528 0 0 0 0 0 0 0 25 0 1 0 856375853 40144896 4468 33554432000 4194304 4933572 140736637175664 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 9801 4475 318 181 0 6810 0
[startup+0.0586629 s]
/proc/loadavg: 1.97 2.02 1.92 2/473 25580
/proc/meminfo: memFree=19378396/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=67440 CPUtime=0.05 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 15676 0 0 0 4 1 0 0 25 0 1 0 856375853 69058560 13949 33554432000 4194304 4933572 140736637175664 18446744073709551615 274473628357 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 16860 13953 329 181 0 13869 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 67440
[startup+0.100656 s]
/proc/loadavg: 1.97 2.02 1.92 2/473 25580
/proc/meminfo: memFree=19378396/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=84796 CPUtime=0.09 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 20017 0 0 0 7 2 0 0 25 0 1 0 856375853 86831104 18290 33554432000 4194304 4933572 140736637175664 18446744073709551615 274473628357 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 21199 18292 330 181 0 18208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84796
[startup+0.30062 s]
/proc/loadavg: 1.97 2.02 1.92 2/473 25580
/proc/meminfo: memFree=19378396/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=108144 CPUtime=0.29 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 26811 0 0 0 26 3 0 0 25 0 1 0 856375853 110739456 23934 33554432000 4194304 4933572 140736637175664 18446744073709551615 274473664615 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 27036 23948 334 181 0 24045 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108144
[startup+0.700621 s]
/proc/loadavg: 1.97 2.02 1.92 2/473 25580
/proc/meminfo: memFree=19378396/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=0.69 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36099 0 0 0 65 4 0 0 25 0 1 0 856375853 128892928 28637 33554432000 4194304 4933572 140736637175664 18446744073709551615 4369053 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28637 374 181 0 28477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 125872
[startup+1.50047 s]
/proc/loadavg: 1.97 2.02 1.92 3/474 25581
/proc/meminfo: memFree=19264312/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=1.49 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36106 0 0 0 145 4 0 0 25 0 1 0 856375853 128892928 28644 33554432000 4194304 4933572 140736637175664 18446744073709551615 4370214 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28644 381 181 0 28477 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125872
[startup+3.10012 s]
/proc/loadavg: 1.97 2.02 1.92 3/474 25581
/proc/meminfo: memFree=19263320/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=3.09 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36106 0 0 0 305 4 0 0 25 0 1 0 856375853 128892928 28644 33554432000 4194304 4933572 140736637175664 18446744073709551615 4369036 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28644 381 181 0 28477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 125872
[startup+6.30062 s]
/proc/loadavg: 1.97 2.02 1.92 3/474 25581
/proc/meminfo: memFree=19262796/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=6.29 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36106 0 0 0 625 4 0 0 25 0 1 0 856375853 128892928 28644 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28644 381 181 0 28477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 125872
[startup+12.7004 s]
/proc/loadavg: 1.97 2.02 1.92 3/474 25581
/proc/meminfo: memFree=19262192/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=12.69 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36106 0 0 0 1265 4 0 0 25 0 1 0 856375853 128892928 28644 33554432000 4194304 4933572 140736637175664 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28644 381 181 0 28477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 125872
[startup+25.5002 s]
/proc/loadavg: 1.98 2.02 1.92 3/474 25582
/proc/meminfo: memFree=19263260/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=25.49 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36106 0 0 0 2545 4 0 0 25 0 1 0 856375853 128892928 28644 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28644 381 181 0 28477 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 125872
[startup+51.1007 s]
/proc/loadavg: 1.98 2.02 1.92 3/474 25582
/proc/meminfo: memFree=19263172/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=51.09 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36108 0 0 0 5105 4 0 0 25 0 1 0 856375853 128892928 28646 33554432000 4194304 4933572 140736637175664 18446744073709551615 4369157 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28646 383 181 0 28477 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 125872
[startup+102.318 s]
/proc/loadavg: 1.99 2.01 1.92 3/474 25584
/proc/meminfo: memFree=19261740/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=102.31 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36108 0 0 0 10227 4 0 0 25 0 1 0 856375853 128892928 28646 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368924 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28646 383 181 0 28477 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 125872
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.92 3/474 25585
/proc/meminfo: memFree=19262220/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=162.29 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36108 0 0 0 16225 4 0 0 25 0 1 0 856375853 128892928 28646 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28646 383 181 0 28477 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 125872
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.92 3/474 25587
/proc/meminfo: memFree=19261944/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=222.3 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36108 0 0 0 22226 4 0 0 25 0 1 0 856375853 128892928 28646 33554432000 4194304 4933572 140736637175664 18446744073709551615 4370214 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28646 383 181 0 28477 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 125872
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.92 3/474 25589
/proc/meminfo: memFree=19261900/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=125872 CPUtime=282.3 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36202 0 0 0 28226 4 0 0 25 0 1 0 856375853 128892928 28740 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31468 28740 383 181 0 28477 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 125872
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/474 25599
/proc/meminfo: memFree=19261636/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=126556 CPUtime=342.3 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36374 0 0 0 34226 4 0 0 25 0 1 0 856375853 129593344 28912 33554432000 4194304 4933572 140736637175664 18446744073709551615 4370199 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 31639 28912 383 181 0 28648 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 126556
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.92 3/474 25601
/proc/meminfo: memFree=19259140/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=128944 CPUtime=402.3 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 36983 0 0 0 40226 4 0 0 25 0 1 0 856375853 132038656 29521 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 32236 29521 383 181 0 29245 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 128944
[startup+462.3 s]
/proc/loadavg: 2.12 2.03 1.93 3/474 25602
/proc/meminfo: memFree=19239268/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=130660 CPUtime=462.3 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 37428 0 0 0 46226 4 0 0 25 0 1 0 856375853 133795840 29966 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368953 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 32665 29966 383 181 0 29674 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 130660
[startup+522.301 s]
/proc/loadavg: 2.09 2.04 1.94 3/474 25607
/proc/meminfo: memFree=19238784/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=132380 CPUtime=522.3 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 37846 0 0 0 52226 4 0 0 25 0 1 0 856375853 135557120 30384 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 33095 30384 383 181 0 30104 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 132380
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 1.94 3/474 25609
/proc/meminfo: memFree=19238892/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=132380 CPUtime=582.3 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 37846 0 0 0 58226 4 0 0 25 0 1 0 856375853 135557120 30384 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368973 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 33095 30384 383 181 0 30104 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 132380
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/474 25643
/proc/meminfo: memFree=20094032/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=135736 CPUtime=822.31 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 38681 0 0 0 82227 4 0 0 25 0 1 0 856375853 138993664 31219 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 33934 31219 383 181 0 30943 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 135736
[startup+882.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/474 25645
/proc/meminfo: memFree=20087556/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=141844 CPUtime=882.31 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 40192 0 0 0 88226 5 0 0 25 0 1 0 856375853 145248256 32730 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 35461 32730 383 181 0 32470 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 141844
[startup+942.301 s]
/proc/loadavg: 2.04 2.02 1.95 3/474 25646
/proc/meminfo: memFree=20077852/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=151080 CPUtime=942.31 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 42475 0 0 0 94226 5 0 0 25 0 1 0 856375853 154705920 35013 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368901 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 37770 35013 383 181 0 34779 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 151080
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/474 25648
/proc/meminfo: memFree=20077716/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=151080 CPUtime=1002.31 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 42477 0 0 0 100226 5 0 0 25 0 1 0 856375853 154705920 35015 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 37770 35015 383 181 0 34779 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 151080
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/474 25649
/proc/meminfo: memFree=20077572/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=151080 CPUtime=1062.31 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 42477 0 0 0 106226 5 0 0 25 0 1 0 856375853 154705920 35015 33554432000 4194304 4933572 140736637175664 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 37770 35015 383 181 0 34779 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 151080
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/474 25651
/proc/meminfo: memFree=20077316/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=151080 CPUtime=1122.31 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 42477 0 0 0 112226 5 0 0 25 0 1 0 856375853 154705920 35015 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 37770 35015 383 181 0 34779 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 151080
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/474 25653
/proc/meminfo: memFree=20076796/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=151080 CPUtime=1182.32 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 42477 0 0 0 118227 5 0 0 25 0 1 0 856375853 154705920 35015 33554432000 4194304 4933572 140736637175664 18446744073709551615 4369053 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 37770 35015 383 181 0 34779 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 151080
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/474 25654
/proc/meminfo: memFree=20076024/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=151400 CPUtime=1242.33 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 42534 0 0 0 124227 6 0 0 25 0 1 0 856375853 155033600 35072 33554432000 4194304 4933572 140736637175664 18446744073709551615 4664505 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 37850 35072 383 181 0 34859 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 151400
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/474 25656
/proc/meminfo: memFree=20075748/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=151400 CPUtime=1302.34 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 42534 0 0 0 130228 6 0 0 25 0 1 0 856375853 155033600 35072 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368960 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 37850 35072 383 181 0 34859 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 151400
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/474 25657
/proc/meminfo: memFree=20075348/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=151400 CPUtime=1362.33 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 42534 0 0 0 136227 6 0 0 25 0 1 0 856375853 155033600 35072 33554432000 4194304 4933572 140736637175664 18446744073709551615 4369056 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 37850 35072 383 181 0 34859 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 151400
[startup+1422.32 s]
/proc/loadavg: 2.15 2.05 1.98 4/474 25659
/proc/meminfo: memFree=20073100/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=155168 CPUtime=1422.34 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 43345 0 0 0 142228 6 0 0 25 0 1 0 856375853 158892032 35883 33554432000 4194304 4933572 140736637175664 18446744073709551615 4370209 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 38792 35883 383 181 0 35801 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 155168
[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 1.98 3/474 25661
/proc/meminfo: memFree=20072944/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=155168 CPUtime=1482.33 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 43345 0 0 0 148227 6 0 0 25 0 1 0 856375853 158892032 35883 33554432000 4194304 4933572 140736637175664 18446744073709551615 4369115 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 38792 35883 383 181 0 35801 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 155168
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/474 25662
/proc/meminfo: memFree=20073280/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=155168 CPUtime=1542.33 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 43345 0 0 0 154227 6 0 0 25 0 1 0 856375853 158892032 35883 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 38792 35883 383 181 0 35801 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 155168
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/474 25664
/proc/meminfo: memFree=20061980/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=168620 CPUtime=1602.33 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 46047 0 0 0 160227 6 0 0 25 0 1 0 856375853 172666880 38585 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368901 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 42155 38585 383 181 0 39164 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 168620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/474 25665
/proc/meminfo: memFree=20061828/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=168620 CPUtime=1662.33 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 46048 0 0 0 166227 6 0 0 25 0 1 0 856375853 172666880 38586 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 42155 38586 383 181 0 39164 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 168620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/474 25667
/proc/meminfo: memFree=20062052/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=168620 CPUtime=1722.33 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 46052 0 0 0 172227 6 0 0 25 0 1 0 856375853 172666880 38590 33554432000 4194304 4933572 140736637175664 18446744073709551615 4369115 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 42155 38590 383 181 0 39164 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 168620
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 1.99 3/474 25669
/proc/meminfo: memFree=20061032/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=168620 CPUtime=1782.34 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 46052 0 0 0 178228 6 0 0 25 0 1 0 856375853 172666880 38590 33554432000 4194304 4933572 140736637175664 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 42155 38590 383 181 0 39164 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 168620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.04 1.99 3/474 25669
/proc/meminfo: memFree=20061024/32950928 swapFree=61858088/67111528
[pid=25580] ppid=25578 vsize=168620 CPUtime=1800.05 cores=1,3,5,7
/proc/25580/stat : 25580 (clasp) R 25578 25580 25352 0 -1 4202496 46052 0 0 0 179999 6 0 0 25 0 1 0 856375853 172666880 38590 33554432000 4194304 4933572 140736637175664 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25580/statm: 42155 38590 383 181 0 39164 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 168620
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.07
CPU user time (s): 1800
CPU system time (s): 0.069989
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 168620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46064
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= 2601
runsolver used 8.10977 second user time and 19.474 second system time
The end