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-3468896-1307119621/watcher-3468896-1307119621 -o /tmp/evaluation-result-3468896-1307119621/solver-3468896-1307119621 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468896-1307119621.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.03 2.03 1.95 2/437 5159
/proc/meminfo: memFree=24707700/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=19688 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 2553 0 0 0 0 0 0 0 25 0 1 0 804377702 20160512 2198 33554432000 4194304 4933572 140733547699088 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 4922 2199 331 181 0 1931 0
[startup+0.099593 s]
/proc/loadavg: 2.03 2.03 1.95 2/437 5159
/proc/meminfo: memFree=24707700/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=29820 CPUtime=0.09 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 5852 0 0 0 8 1 0 0 25 0 1 0 804377702 30535680 4656 33554432000 4194304 4933572 140733547699088 18446744073709551615 4602041 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 7455 4656 348 181 0 4464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29820
[startup+0.100586 s]
/proc/loadavg: 2.03 2.03 1.95 2/437 5159
/proc/meminfo: memFree=24707700/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=29820 CPUtime=0.09 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 5852 0 0 0 8 1 0 0 25 0 1 0 804377702 30535680 4656 33554432000 4194304 4933572 140733547699088 18446744073709551615 4601990 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 7455 4656 348 181 0 4464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29820
[startup+0.300551 s]
/proc/loadavg: 2.03 2.03 1.95 2/437 5159
/proc/meminfo: memFree=24707700/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=27260 CPUtime=0.29 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 5891 0 0 0 28 1 0 0 25 0 1 0 804377702 27914240 4114 33554432000 4194304 4933572 140733547699088 18446744073709551615 4718523 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 6815 4114 374 181 0 3824 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27260
[startup+0.700472 s]
/proc/loadavg: 2.03 2.03 1.95 2/437 5159
/proc/meminfo: memFree=24707700/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=27260 CPUtime=0.69 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 5892 0 0 0 68 1 0 0 25 0 1 0 804377702 27914240 4115 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648440 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 6815 4115 375 181 0 3824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27260
[startup+1.50028 s]
/proc/loadavg: 2.03 2.03 1.95 3/438 5160
/proc/meminfo: memFree=24691064/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=27260 CPUtime=1.49 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 5892 0 0 0 148 1 0 0 25 0 1 0 804377702 27914240 4115 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649153 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 6815 4115 375 181 0 3824 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27260
[startup+3.10099 s]
/proc/loadavg: 2.03 2.03 1.95 3/438 5160
/proc/meminfo: memFree=24689080/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=27260 CPUtime=3.09 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 5892 0 0 0 308 1 0 0 25 0 1 0 804377702 27914240 4115 33554432000 4194304 4933572 140733547699088 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 6815 4115 375 181 0 3824 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27260
[startup+6.30036 s]
/proc/loadavg: 2.03 2.03 1.95 3/438 5160
/proc/meminfo: memFree=24687536/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=27392 CPUtime=6.29 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 5959 0 0 0 628 1 0 0 25 0 1 0 804377702 28049408 4182 33554432000 4194304 4933572 140733547699088 18446744073709551615 4711272 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 6848 4182 375 181 0 3857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27392
[startup+12.7011 s]
/proc/loadavg: 2.02 2.03 1.95 3/438 5161
/proc/meminfo: memFree=24680088/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=28848 CPUtime=12.69 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 6334 0 0 0 1268 1 0 0 25 0 1 0 804377702 29540352 4557 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 7212 4557 377 181 0 4221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28848
[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 1.95 3/438 5161
/proc/meminfo: memFree=24673628/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=35604 CPUtime=25.49 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 8003 0 0 0 2548 1 0 0 25 0 1 0 804377702 36458496 6226 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 8901 6226 377 181 0 5910 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35604
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 1.95 3/438 5161
/proc/meminfo: memFree=24672692/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=36132 CPUtime=51.09 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 8126 0 0 0 5108 1 0 0 25 0 1 0 804377702 36999168 6349 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 9033 6349 377 181 0 6042 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36132
[startup+102.316 s]
/proc/loadavg: 2.14 2.05 1.96 3/438 5163
/proc/meminfo: memFree=24653820/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=42356 CPUtime=102.31 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 9651 0 0 0 10229 2 0 0 25 0 1 0 804377702 43372544 7874 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 10589 7874 377 181 0 7598 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 42356
[startup+162.3 s]
/proc/loadavg: 2.11 2.06 1.96 3/438 5165
/proc/meminfo: memFree=24646716/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=45604 CPUtime=162.29 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 10483 0 0 0 16227 2 0 0 25 0 1 0 804377702 46698496 8706 33554432000 4194304 4933572 140733547699088 18446744073709551615 4718694 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 11401 8706 377 181 0 8410 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 45604
[startup+222.3 s]
/proc/loadavg: 2.10 2.06 1.97 3/438 5166
/proc/meminfo: memFree=24633916/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=54444 CPUtime=222.3 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 12695 0 0 0 22227 3 0 0 25 0 1 0 804377702 55750656 10918 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 13611 10918 377 181 0 10620 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 54444
[startup+282.301 s]
/proc/loadavg: 2.04 2.05 1.97 3/438 5168
/proc/meminfo: memFree=24625584/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=60252 CPUtime=282.29 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 14143 0 0 0 28226 3 0 0 25 0 1 0 804377702 61698048 12366 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 15063 12366 377 181 0 12072 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 60252
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 1.97 3/438 5169
/proc/meminfo: memFree=24620600/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=64580 CPUtime=342.3 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 15196 0 0 0 34226 4 0 0 25 0 1 0 804377702 66129920 13419 33554432000 4194304 4933572 140733547699088 18446744073709551615 4718694 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 16145 13419 377 181 0 13154 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 64580
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 1.97 3/438 5171
/proc/meminfo: memFree=24616604/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=64580 CPUtime=402.3 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 15201 0 0 0 40226 4 0 0 25 0 1 0 804377702 66129920 13424 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 16145 13424 377 181 0 13154 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 64580
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/438 5173
/proc/meminfo: memFree=24615220/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=64580 CPUtime=462.31 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 15213 0 0 0 46227 4 0 0 25 0 1 0 804377702 66129920 13436 33554432000 4194304 4933572 140733547699088 18446744073709551615 4718293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5159/statm: 16145 13436 377 181 0 13154 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 64580
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/438 5174
/proc/meminfo: memFree=24604776/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=65376 CPUtime=522.3 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 15404 0 0 0 52226 4 0 0 25 0 1 0 804377702 66945024 13627 33554432000 4194304 4933572 140733547699088 18446744073709551615 4637123 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 16344 13627 377 181 0 13353 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 65376
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/438 5176
/proc/meminfo: memFree=24600776/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=66044 CPUtime=582.31 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 15547 0 0 0 58227 4 0 0 25 0 1 0 804377702 67629056 13770 33554432000 4194304 4933572 140733547699088 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 16511 13770 377 181 0 13520 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 66044
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/438 5182
/proc/meminfo: memFree=24584052/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=77028 CPUtime=822.32 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 18202 0 0 0 82227 5 0 0 25 0 1 0 804377702 78876672 16425 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 19257 16425 377 181 0 16266 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 77028
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/438 5193
/proc/meminfo: memFree=24581452/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=78220 CPUtime=882.32 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 18470 0 0 0 88227 5 0 0 25 0 1 0 804377702 80097280 16693 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 19555 16693 377 181 0 16564 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 78220
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/438 5194
/proc/meminfo: memFree=24576596/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=80464 CPUtime=942.32 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 19013 0 0 0 94226 6 0 0 25 0 1 0 804377702 82395136 17236 33554432000 4194304 4933572 140733547699088 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 20116 17236 377 181 0 17125 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 80464
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/438 5196
/proc/meminfo: memFree=24570240/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=81540 CPUtime=1002.33 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 19282 0 0 0 100227 6 0 0 25 0 1 0 804377702 83496960 17505 33554432000 4194304 4933572 140733547699088 18446744073709551615 4340852 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 20385 17505 377 181 0 17394 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 81540
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/438 5198
/proc/meminfo: memFree=24567492/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=83936 CPUtime=1062.33 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 19856 0 0 0 106227 6 0 0 25 0 1 0 804377702 85950464 18079 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 20984 18079 377 181 0 17993 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 83936
[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 2.00 3/438 5199
/proc/meminfo: memFree=24562256/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=84988 CPUtime=1122.33 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 20115 0 0 0 112227 6 0 0 25 0 1 0 804377702 87027712 18338 33554432000 4194304 4933572 140733547699088 18446744073709551615 4711245 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 21247 18338 377 181 0 18256 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 84988
[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/438 5201
/proc/meminfo: memFree=24554424/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=87952 CPUtime=1182.33 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 20815 0 0 0 118227 6 0 0 25 0 1 0 804377702 90062848 19038 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 21988 19038 377 181 0 18997 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 87952
[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/438 5202
/proc/meminfo: memFree=24553404/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=88600 CPUtime=1242.33 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 20955 0 0 0 124227 6 0 0 25 0 1 0 804377702 90726400 19178 33554432000 4194304 4933572 140733547699088 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 22150 19178 377 181 0 19159 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 88600
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 5204
/proc/meminfo: memFree=24552248/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=89256 CPUtime=1302.34 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 21105 0 0 0 130228 6 0 0 25 0 1 0 804377702 91398144 19328 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 22314 19328 377 181 0 19323 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 89256
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 5206
/proc/meminfo: memFree=24548488/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=90576 CPUtime=1362.33 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 21405 0 0 0 136227 6 0 0 25 0 1 0 804377702 92749824 19628 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 22644 19628 377 181 0 19653 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 90576
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 5207
/proc/meminfo: memFree=24547584/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=91608 CPUtime=1422.35 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 21638 0 0 0 142229 6 0 0 25 0 1 0 804377702 93806592 19861 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 22902 19861 377 181 0 19911 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 91608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 5209
/proc/meminfo: memFree=24544696/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=93612 CPUtime=1482.34 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 22119 0 0 0 148228 6 0 0 25 0 1 0 804377702 95858688 20342 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648725 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 23403 20342 377 181 0 20412 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 93612
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 5210
/proc/meminfo: memFree=24531900/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=103464 CPUtime=1542.34 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 24597 0 0 0 154227 7 0 0 25 0 1 0 804377702 105947136 22820 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 25866 22820 377 181 0 22875 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 103464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 5212
/proc/meminfo: memFree=24525300/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=109164 CPUtime=1602.35 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 26001 0 0 0 160227 8 0 0 25 0 1 0 804377702 111783936 24224 33554432000 4194304 4933572 140733547699088 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 27291 24224 377 181 0 24300 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 109164
[startup+1662.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/438 5214
/proc/meminfo: memFree=24522928/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=112200 CPUtime=1662.35 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 26750 0 0 0 166227 8 0 0 25 0 1 0 804377702 114892800 24973 33554432000 4194304 4933572 140733547699088 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 28050 24973 377 181 0 25059 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 112200
[startup+1722.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/438 5215
/proc/meminfo: memFree=24520656/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=112200 CPUtime=1722.36 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 26750 0 0 0 172228 8 0 0 25 0 1 0 804377702 114892800 24973 33554432000 4194304 4933572 140733547699088 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 28050 24973 377 181 0 25059 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 112200
[startup+1782.3 s]
/proc/loadavg: 1.98 2.02 2.00 3/438 5245
/proc/meminfo: memFree=24590624/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=114584 CPUtime=1782.36 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 27374 0 0 0 178228 8 0 0 25 0 1 0 804377702 117334016 25597 33554432000 4194304 4933572 140733547699088 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 28646 25597 377 181 0 25655 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 114584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 2.02 2.00 3/438 5245
/proc/meminfo: memFree=24588688/32951124 swapFree=50923800/67111528
[pid=5159] ppid=5157 vsize=114584 CPUtime=1800.07 cores=0,2,4,6
/proc/5159/stat : 5159 (clasp) R 5157 5159 2319 0 -1 4202496 27374 0 0 0 179999 8 0 0 25 0 1 0 804377702 117334016 25597 33554432000 4194304 4933572 140733547699088 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5159/statm: 28646 25597 377 181 0 25655 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 114584
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.02
CPU time (s): 1800.09
CPU user time (s): 1800
CPU system time (s): 0.088986
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 114584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27387
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= 19246
runsolver used 8.02978 second user time and 16.6705 second system time
The end