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-3468211-1307098322/watcher-3468211-1307098322 -o /tmp/evaluation-result-3468211-1307098322/solver-3468211-1307098322 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468211-1307098322.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: 2.01 2.02 2.00 3/469 6806
/proc/meminfo: memFree=24178208/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=12608 CPUtime=0 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 508 0 0 0 0 0 0 0 25 0 1 0 900062666 12910592 443 33554432000 4194304 4933572 140734179705392 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 3152 443 331 181 0 161 0
[startup+0.056745 s]
/proc/loadavg: 2.01 2.02 2.00 3/469 6806
/proc/meminfo: memFree=24178208/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=15408 CPUtime=0.05 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 1344 0 0 0 5 0 0 0 25 0 1 0 900062666 15777792 1101 33554432000 4194304 4933572 140734179705392 18446744073709551615 4587802 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 3852 1101 348 181 0 861 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15408
[startup+0.100735 s]
/proc/loadavg: 2.01 2.02 2.00 3/469 6806
/proc/meminfo: memFree=24178208/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=14924 CPUtime=0.09 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 1373 0 0 0 9 0 0 0 25 0 1 0 900062666 15282176 1048 33554432000 4194304 4933572 140734179705392 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 3731 1048 377 181 0 740 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14924
[startup+0.300685 s]
/proc/loadavg: 2.01 2.02 2.00 3/469 6806
/proc/meminfo: memFree=24178208/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=20468 CPUtime=0.29 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 2794 0 0 0 29 0 0 0 25 0 1 0 900062666 20959232 2469 33554432000 4194304 4933572 140734179705392 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 5117 2469 384 181 0 2126 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20468
[startup+0.700612 s]
/proc/loadavg: 2.01 2.02 2.00 3/469 6806
/proc/meminfo: memFree=24178208/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=32628 CPUtime=0.69 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 5829 0 0 0 69 0 0 0 25 0 1 0 900062666 33411072 5504 33554432000 4194304 4933572 140734179705392 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 8157 5504 384 181 0 5166 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32628
[startup+1.50046 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6807
/proc/meminfo: memFree=24147952/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=43608 CPUtime=1.48 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 8567 0 0 0 148 0 0 0 25 0 1 0 900062666 44654592 8242 33554432000 4194304 4933572 140734179705392 18446744073709551615 4358545 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 10902 8242 384 181 0 7911 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43608
[startup+3.10017 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6807
/proc/meminfo: memFree=24138024/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=52460 CPUtime=3.09 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 10785 0 0 0 308 1 0 0 25 0 1 0 900062666 53719040 10460 33554432000 4194304 4933572 140734179705392 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 13115 10460 384 181 0 10124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52460
[startup+6.30057 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6807
/proc/meminfo: memFree=24127608/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=63584 CPUtime=6.29 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 13561 0 0 0 628 1 0 0 25 0 1 0 900062666 65110016 13236 33554432000 4194304 4933572 140734179705392 18446744073709551615 4631924 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 15896 13236 386 181 0 12905 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63584
[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6807
/proc/meminfo: memFree=24107516/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=75332 CPUtime=12.68 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 16470 0 0 0 1267 1 0 0 25 0 1 0 900062666 77139968 16145 33554432000 4194304 4933572 140734179705392 18446744073709551615 4341829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 18833 16145 386 181 0 15842 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75332
[startup+25.501 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6808
/proc/meminfo: memFree=24095004/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=87188 CPUtime=25.49 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 19433 0 0 0 2547 2 0 0 25 0 1 0 900062666 89280512 19108 33554432000 4194304 4933572 140734179705392 18446744073709551615 4341611 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6806/statm: 21797 19108 386 181 0 18806 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87188
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6809
/proc/meminfo: memFree=24073744/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=101252 CPUtime=51.07 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 22965 0 0 0 5105 2 0 0 25 0 1 0 900062666 103682048 22640 33554432000 4194304 4933572 140734179705392 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 25313 22640 386 181 0 22322 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 101252
[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6810
/proc/meminfo: memFree=24046812/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=121524 CPUtime=102.29 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 27982 0 0 0 10226 3 0 0 25 0 1 0 900062666 124440576 27657 33554432000 4194304 4933572 140734179705392 18446744073709551615 4331682 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 30381 27657 386 181 0 27390 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 121524
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6811
/proc/meminfo: memFree=24034024/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=127200 CPUtime=162.27 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 29423 0 0 0 16224 3 0 0 25 0 1 0 900062666 130252800 29098 33554432000 4194304 4933572 140734179705392 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 31800 29098 386 181 0 28809 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 127200
[startup+222.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/470 6813
/proc/meminfo: memFree=24012164/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=141788 CPUtime=222.28 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 33046 0 0 0 22224 4 0 0 25 0 1 0 900062666 145190912 32721 33554432000 4194304 4933572 140734179705392 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 35447 32721 386 181 0 32456 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 141788
[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/470 6815
/proc/meminfo: memFree=23997864/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=154680 CPUtime=282.27 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 36816 0 0 0 28223 4 0 0 25 0 1 0 900062666 158392320 35947 33554432000 4194304 4933572 140734179705392 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 38670 35947 387 181 0 35679 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 154680
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 6816
/proc/meminfo: memFree=23989776/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=155604 CPUtime=342.28 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 37071 0 0 0 34224 4 0 0 25 0 1 0 900062666 159338496 36202 33554432000 4194304 4933572 140734179705392 18446744073709551615 4663948 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 38901 36202 387 181 0 35910 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 155604
[startup+402.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/470 6818
/proc/meminfo: memFree=23979436/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=165292 CPUtime=402.28 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 39512 0 0 0 40223 5 0 0 25 0 1 0 900062666 169259008 38643 33554432000 4194304 4933572 140734179705392 18446744073709551615 4319438 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 41323 38643 387 181 0 38332 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 165292
[startup+462.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/470 6819
/proc/meminfo: memFree=23973576/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=171068 CPUtime=462.29 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 40927 0 0 0 46223 6 0 0 25 0 1 0 900062666 175173632 40058 33554432000 4194304 4933572 140734179705392 18446744073709551615 4635474 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 42767 40058 387 181 0 39776 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 171068
[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/470 6821
/proc/meminfo: memFree=23965220/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=170116 CPUtime=522.29 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 40927 0 0 0 52223 6 0 0 25 0 1 0 900062666 174198784 39828 33554432000 4194304 4933572 140734179705392 18446744073709551615 252457763418 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 42529 39828 387 181 0 39538 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 170116
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 6832
/proc/meminfo: memFree=23955420/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=180672 CPUtime=582.28 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 44152 0 0 0 58222 6 0 0 25 0 1 0 900062666 185008128 42451 33554432000 4194304 4933572 140734179705392 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 45168 42451 387 181 0 42177 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 180672
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 6838
/proc/meminfo: memFree=23933684/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=192280 CPUtime=822.3 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 47039 0 0 0 82223 7 0 0 25 0 1 0 900062666 196894720 45338 33554432000 4194304 4933572 140734179705392 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 48070 45338 387 181 0 45079 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 192280
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6840
/proc/meminfo: memFree=23923220/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=199408 CPUtime=882.29 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 49707 0 0 0 88222 7 0 0 25 0 1 0 900062666 204193792 47119 33554432000 4194304 4933572 140734179705392 18446744073709551615 4360876 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 49852 47119 387 181 0 46861 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 199408
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6841
/proc/meminfo: memFree=23908060/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=214316 CPUtime=942.3 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 53392 0 0 0 94222 8 0 0 25 0 1 0 900062666 219459584 50804 33554432000 4194304 4933572 140734179705392 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 53579 50804 387 181 0 50588 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 214316
[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/470 6843
/proc/meminfo: memFree=23904816/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=216824 CPUtime=1002.3 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 54007 0 0 0 100222 8 0 0 25 0 1 0 900062666 222027776 51419 33554432000 4194304 4933572 140734179705392 18446744073709551615 4358512 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 54206 51419 387 181 0 51215 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 216824
[startup+1062.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 6844
/proc/meminfo: memFree=23903420/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=217880 CPUtime=1062.3 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 54295 0 0 0 106222 8 0 0 25 0 1 0 900062666 223109120 51707 33554432000 4194304 4933572 140734179705392 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 54470 51707 387 181 0 51479 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 217880
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 6846
/proc/meminfo: memFree=23902908/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=218540 CPUtime=1122.3 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 54444 0 0 0 112222 8 0 0 25 0 1 0 900062666 223784960 51856 33554432000 4194304 4933572 140734179705392 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 54635 51856 387 181 0 51644 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 218540
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6848
/proc/meminfo: memFree=23900904/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=218540 CPUtime=1182.3 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 54447 0 0 0 118222 8 0 0 25 0 1 0 900062666 223784960 51859 33554432000 4194304 4933572 140734179705392 18446744073709551615 4632192 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 54635 51859 387 181 0 51644 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 218540
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 6849
/proc/meminfo: memFree=23901132/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=218540 CPUtime=1242.31 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 54448 0 0 0 124223 8 0 0 25 0 1 0 900062666 223784960 51860 33554432000 4194304 4933572 140734179705392 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 54635 51860 387 181 0 51644 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 218540
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/470 6851
/proc/meminfo: memFree=23892440/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=218540 CPUtime=1302.31 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 54448 0 0 0 130223 8 0 0 25 0 1 0 900062666 223784960 51860 33554432000 4194304 4933572 140734179705392 18446744073709551615 252457763442 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 54635 51860 387 181 0 51644 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 218540
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/470 6852
/proc/meminfo: memFree=23892676/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=218540 CPUtime=1362.31 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 54448 0 0 0 136223 8 0 0 25 0 1 0 900062666 223784960 51860 33554432000 4194304 4933572 140734179705392 18446744073709551615 252457763408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 54635 51860 387 181 0 51644 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 218540
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 6854
/proc/meminfo: memFree=23888924/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=222000 CPUtime=1422.33 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 57517 0 0 0 142224 9 0 0 25 0 1 0 900062666 227328000 52534 33554432000 4194304 4933572 140734179705392 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 55500 52534 387 181 0 52509 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 222000
[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/470 6856
/proc/meminfo: memFree=23866704/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=243168 CPUtime=1482.31 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 62809 0 0 0 148222 9 0 0 25 0 1 0 900062666 249004032 57826 33554432000 4194304 4933572 140734179705392 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 60792 57826 387 181 0 57801 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 243168
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/470 6857
/proc/meminfo: memFree=23862832/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=246152 CPUtime=1542.32 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 63522 0 0 0 154222 10 0 0 25 0 1 0 900062666 252059648 58539 33554432000 4194304 4933572 140734179705392 18446744073709551615 4622128 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 61538 58539 387 181 0 58547 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 246152
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 6859
/proc/meminfo: memFree=23862800/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=246284 CPUtime=1602.33 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 63542 0 0 0 160223 10 0 0 25 0 1 0 900062666 252194816 58559 33554432000 4194304 4933572 140734179705392 18446744073709551615 4330238 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 61571 58559 387 181 0 58580 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 246284
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 6860
/proc/meminfo: memFree=23862660/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=247208 CPUtime=1662.33 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 63771 0 0 0 166223 10 0 0 25 0 1 0 900062666 253140992 58788 33554432000 4194304 4933572 140734179705392 18446744073709551615 4631752 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 61802 58788 387 181 0 58811 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 247208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 6862
/proc/meminfo: memFree=23861772/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=247208 CPUtime=1722.33 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 63771 0 0 0 172223 10 0 0 25 0 1 0 900062666 253140992 58788 33554432000 4194304 4933572 140734179705392 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 61802 58788 387 181 0 58811 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 247208
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6892
/proc/meminfo: memFree=23917360/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=248924 CPUtime=1782.33 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 64209 0 0 0 178223 10 0 0 25 0 1 0 900062666 254898176 59226 33554432000 4194304 4933572 140734179705392 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 62231 59226 387 181 0 59240 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 248924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 6892
/proc/meminfo: memFree=23893944/32951124 swapFree=56297244/67111528
[pid=6806] ppid=6804 vsize=248924 CPUtime=1800.04 cores=1,3,5,7
/proc/6806/stat : 6806 (clasp) R 6804 6806 6224 0 -1 4202496 64209 0 0 0 179994 10 0 0 25 0 1 0 900062666 254898176 59226 33554432000 4194304 4933572 140734179705392 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6806/statm: 62231 59226 387 181 0 59240 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 248924
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.03
CPU time (s): 1800.07
CPU user time (s): 1799.95
CPU system time (s): 0.113982
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 248924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64218
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= 2691
runsolver used 8.08577 second user time and 19.446 second system time
The end