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-3468248-1307087773/watcher-3468248-1307087773 -o /tmp/evaluation-result-3468248-1307087773/solver-3468248-1307087773 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468248-1307087773.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.07 2.03 2.01 2/498 10056
/proc/meminfo: memFree=29142136/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=12864 CPUtime=0.01 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 628 0 0 0 1 0 0 0 25 0 1 0 820376912 13172736 557 33554432000 4194304 4933572 140734649748144 18446744073709551615 4635474 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 3216 557 378 181 0 225 0
[startup+0.0461811 s]
/proc/loadavg: 2.07 2.03 2.01 2/498 10056
/proc/meminfo: memFree=29142136/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=13392 CPUtime=0.04 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 770 0 0 0 4 0 0 0 25 0 1 0 820376912 13713408 699 33554432000 4194304 4933572 140734649748144 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 3348 700 385 181 0 357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13392
[startup+0.101176 s]
/proc/loadavg: 2.07 2.03 2.01 2/498 10056
/proc/meminfo: memFree=29142136/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=13656 CPUtime=0.09 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 853 0 0 0 9 0 0 0 25 0 1 0 820376912 13983744 782 33554432000 4194304 4933572 140734649748144 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 3414 782 385 181 0 423 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13656
[startup+0.301134 s]
/proc/loadavg: 2.07 2.03 2.01 2/498 10056
/proc/meminfo: memFree=29142136/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=14184 CPUtime=0.29 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 964 0 0 0 29 0 0 0 25 0 1 0 820376912 14524416 893 33554432000 4194304 4933572 140734649748144 18446744073709551615 4369036 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 3546 893 385 181 0 555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14184
[startup+0.70105 s]
/proc/loadavg: 2.07 2.03 2.01 2/498 10056
/proc/meminfo: memFree=29142136/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=14580 CPUtime=0.69 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 1090 0 0 0 69 0 0 0 25 0 1 0 820376912 14929920 1019 33554432000 4194304 4933572 140734649748144 18446744073709551615 4428404 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 3645 1019 385 181 0 654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14580
[startup+1.50094 s]
/proc/loadavg: 2.07 2.03 2.01 4/499 10057
/proc/meminfo: memFree=29136228/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=15364 CPUtime=1.49 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 1260 0 0 0 149 0 0 0 25 0 1 0 820376912 15732736 1189 33554432000 4194304 4933572 140734649748144 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 3841 1189 386 181 0 850 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15364
[startup+3.10067 s]
/proc/loadavg: 2.06 2.03 2.01 3/499 10057
/proc/meminfo: memFree=29133500/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=16320 CPUtime=3.09 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 1521 0 0 0 309 0 0 0 25 0 1 0 820376912 16711680 1450 33554432000 4194304 4933572 140734649748144 18446744073709551615 4664031 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 4080 1450 386 181 0 1089 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16320
[startup+6.30114 s]
/proc/loadavg: 2.06 2.03 2.01 3/499 10057
/proc/meminfo: memFree=29131328/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=17320 CPUtime=6.29 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 1772 0 0 0 629 0 0 0 25 0 1 0 820376912 17735680 1701 33554432000 4194304 4933572 140734649748144 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 4330 1701 386 181 0 1339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17320
[startup+12.7011 s]
/proc/loadavg: 2.05 2.03 2.00 4/499 10057
/proc/meminfo: memFree=29127788/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=18072 CPUtime=12.69 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 1956 0 0 0 1269 0 0 0 25 0 1 0 820376912 18505728 1885 33554432000 4194304 4933572 140734649748144 18446744073709551615 4428053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 4518 1885 386 181 0 1527 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18072
[startup+25.5009 s]
/proc/loadavg: 2.04 2.03 2.00 4/499 10057
/proc/meminfo: memFree=29125936/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=18984 CPUtime=25.49 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 2187 0 0 0 2549 0 0 0 25 0 1 0 820376912 19439616 2116 33554432000 4194304 4933572 140734649748144 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 4746 2116 386 181 0 1755 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18984
[startup+51.1006 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 10057
/proc/meminfo: memFree=29123416/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=20356 CPUtime=51.09 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 2519 0 0 0 5109 0 0 0 25 0 1 0 820376912 20844544 2448 33554432000 4194304 4933572 140734649748144 18446744073709551615 4625196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 5089 2448 386 181 0 2098 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20356
[startup+102.319 s]
/proc/loadavg: 2.03 2.03 2.00 4/499 10059
/proc/meminfo: memFree=29119564/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=22140 CPUtime=102.3 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 2953 0 0 0 10230 0 0 0 25 0 1 0 820376912 22671360 2877 33554432000 4194304 4933572 140734649748144 18446744073709551615 210646843998 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 5535 2877 386 181 0 2544 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22140
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 4/499 10061
/proc/meminfo: memFree=29115332/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=22864 CPUtime=162.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 3116 0 0 0 16219 0 0 0 25 0 1 0 820376912 23412736 3040 33554432000 4194304 4933572 140734649748144 18446744073709551615 4328592 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 5716 3040 386 181 0 2725 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 22864
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10063
/proc/meminfo: memFree=29114460/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=23280 CPUtime=222.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 3205 0 0 0 22219 0 0 0 25 0 1 0 820376912 23838720 3129 33554432000 4194304 4933572 140734649748144 18446744073709551615 4631873 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 5820 3129 386 181 0 2829 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 23280
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 10063
/proc/meminfo: memFree=29114576/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=24188 CPUtime=282.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 3424 0 0 0 28219 0 0 0 25 0 1 0 820376912 24768512 3348 33554432000 4194304 4933572 140734649748144 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 6047 3348 386 181 0 3056 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 24188
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 10074
/proc/meminfo: memFree=29114124/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=24332 CPUtime=342.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 3472 0 0 0 34219 1 0 0 25 0 1 0 820376912 24915968 3396 33554432000 4194304 4933572 140734649748144 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 6083 3396 386 181 0 3092 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 24332
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 10076
/proc/meminfo: memFree=29113612/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=24756 CPUtime=402.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 3579 0 0 0 40219 1 0 0 25 0 1 0 820376912 25350144 3503 33554432000 4194304 4933572 140734649748144 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 6189 3503 386 181 0 3198 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 24756
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 10078
/proc/meminfo: memFree=29112488/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=25192 CPUtime=462.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 3683 0 0 0 46219 1 0 0 25 0 1 0 820376912 25796608 3607 33554432000 4194304 4933572 140734649748144 18446744073709551615 4648327 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 6298 3607 386 181 0 3307 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 25192
[startup+522.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/499 10080
/proc/meminfo: memFree=29112232/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=25792 CPUtime=522.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 3796 0 0 0 52219 1 0 0 25 0 1 0 820376912 26411008 3720 33554432000 4194304 4933572 140734649748144 18446744073709551615 4358523 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 6448 3720 386 181 0 3457 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 25792
[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 4/499 10082
/proc/meminfo: memFree=29111112/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=26316 CPUtime=582.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 3950 0 0 0 58219 1 0 0 25 0 1 0 820376912 26947584 3874 33554432000 4194304 4933572 140734649748144 18446744073709551615 4333280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 6579 3874 386 181 0 3588 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 26316
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10091
/proc/meminfo: memFree=29108420/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27252 CPUtime=882.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4179 0 0 0 88218 1 0 0 25 0 1 0 820376912 27906048 4095 33554432000 4194304 4933572 140734649748144 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10056/statm: 6813 4095 386 181 0 3822 0
Current children cumulated CPU time (s) 882.19
Current children cumulated vsize (KiB) 27252
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10093
/proc/meminfo: memFree=29109148/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27400 CPUtime=942.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4196 0 0 0 94218 1 0 0 25 0 1 0 820376912 28057600 4112 33554432000 4194304 4933572 140734649748144 18446744073709551615 4428402 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 6850 4112 386 181 0 3859 0
Current children cumulated CPU time (s) 942.19
Current children cumulated vsize (KiB) 27400
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 10095
/proc/meminfo: memFree=29109012/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27400 CPUtime=1002.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4206 0 0 0 100218 1 0 0 25 0 1 0 820376912 28057600 4122 33554432000 4194304 4933572 140734649748144 18446744073709551615 4360936 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 6850 4122 386 181 0 3859 0
Current children cumulated CPU time (s) 1002.19
Current children cumulated vsize (KiB) 27400
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 10097
/proc/meminfo: memFree=29109000/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27400 CPUtime=1062.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4214 0 0 0 106218 1 0 0 25 0 1 0 820376912 28057600 4130 33554432000 4194304 4933572 140734649748144 18446744073709551615 4329997 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 6850 4130 386 181 0 3859 0
Current children cumulated CPU time (s) 1062.19
Current children cumulated vsize (KiB) 27400
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/499 10099
/proc/meminfo: memFree=29108616/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27552 CPUtime=1122.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4225 0 0 0 112218 1 0 0 25 0 1 0 820376912 28213248 4141 33554432000 4194304 4933572 140734649748144 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 6888 4141 386 181 0 3897 0
Current children cumulated CPU time (s) 1122.19
Current children cumulated vsize (KiB) 27552
[startup+1182.3 s]
/proc/loadavg: 2.08 2.03 2.00 4/499 10099
/proc/meminfo: memFree=29107492/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27700 CPUtime=1182.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4286 0 0 0 118218 1 0 0 25 0 1 0 820376912 28364800 4202 33554432000 4194304 4933572 140734649748144 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 6925 4202 386 181 0 3934 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 27700
[startup+1242.3 s]
/proc/loadavg: 2.12 2.05 2.01 4/499 10101
/proc/meminfo: memFree=29106000/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27840 CPUtime=1242.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4317 0 0 0 124218 1 0 0 25 0 1 0 820376912 28508160 4233 33554432000 4194304 4933572 140734649748144 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 6960 4233 386 181 0 3969 0
Current children cumulated CPU time (s) 1242.19
Current children cumulated vsize (KiB) 27840
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 10103
/proc/meminfo: memFree=29106988/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27988 CPUtime=1302.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4334 0 0 0 130219 1 0 0 25 0 1 0 820376912 28659712 4250 33554432000 4194304 4933572 140734649748144 18446744073709551615 4328327 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 6997 4250 386 181 0 4006 0
Current children cumulated CPU time (s) 1302.2
Current children cumulated vsize (KiB) 27988
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 10105
/proc/meminfo: memFree=29107964/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=27988 CPUtime=1362.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4352 0 0 0 136218 1 0 0 25 0 1 0 820376912 28659712 4268 33554432000 4194304 4933572 140734649748144 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 6997 4268 386 181 0 4006 0
Current children cumulated CPU time (s) 1362.19
Current children cumulated vsize (KiB) 27988
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 4/499 10107
/proc/meminfo: memFree=29107832/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28080 CPUtime=1422.21 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4367 0 0 0 142220 1 0 0 25 0 1 0 820376912 28753920 4283 33554432000 4194304 4933572 140734649748144 18446744073709551615 4328337 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7020 4283 386 181 0 4029 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 28080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 10107
/proc/meminfo: memFree=29107444/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28116 CPUtime=1482.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4390 0 0 0 148218 1 0 0 25 0 1 0 820376912 28790784 4306 33554432000 4194304 4933572 140734649748144 18446744073709551615 4663609 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7029 4306 386 181 0 4038 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 28116
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10109
/proc/meminfo: memFree=29107808/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28116 CPUtime=1542.19 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4391 0 0 0 154218 1 0 0 25 0 1 0 820376912 28790784 4307 33554432000 4194304 4933572 140734649748144 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7029 4307 386 181 0 4038 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 28116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 10111
/proc/meminfo: memFree=29107796/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28188 CPUtime=1602.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4404 0 0 0 160218 2 0 0 25 0 1 0 820376912 28864512 4320 33554432000 4194304 4933572 140734649748144 18446744073709551615 4631801 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7047 4320 386 181 0 4056 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 28188
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 10113
/proc/meminfo: memFree=29107664/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28188 CPUtime=1662.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4407 0 0 0 166218 2 0 0 25 0 1 0 820376912 28864512 4323 33554432000 4194304 4933572 140734649748144 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7047 4323 386 181 0 4056 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 28188
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/499 10115
/proc/meminfo: memFree=29107408/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28188 CPUtime=1722.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4407 0 0 0 172218 2 0 0 25 0 1 0 820376912 28864512 4323 33554432000 4194304 4933572 140734649748144 18446744073709551615 4363251 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7047 4323 386 181 0 4056 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 28188
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/499 10115
/proc/meminfo: memFree=29104672/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28604 CPUtime=1782.2 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4492 0 0 0 178218 2 0 0 25 0 1 0 820376912 29290496 4408 33554432000 4194304 4933572 140734649748144 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7151 4408 386 181 0 4160 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 28604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.08 2.04 2.00 2/497 10118
/proc/meminfo: memFree=29120436/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28604 CPUtime=1800.01 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4492 0 0 0 179999 2 0 0 25 0 1 0 820376912 29290496 4408 33554432000 4194304 4933572 140734649748144 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7151 4408 386 181 0 4160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 28604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.08 2.04 2.00 2/497 10118
/proc/meminfo: memFree=29120436/32951132 swapFree=57925096/67111528
[pid=10056] ppid=10054 vsize=28604 CPUtime=1800.01 cores=0,2,4,6
/proc/10056/stat : 10056 (clasp) R 10054 10056 7222 0 -1 4202496 4492 0 0 0 179999 2 0 0 25 0 1 0 820376912 29290496 4408 33554432000 4194304 4933572 140734649748144 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10056/statm: 7151 4408 386 181 0 4160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 28604
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.03
CPU user time (s): 1800
CPU system time (s): 0.028995
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 28608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4500
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= 4390
runsolver used 9.49856 second user time and 19.721 second system time
The end