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-3469326-1307088210/watcher-3469326-1307088210 -o /tmp/evaluation-result-3469326-1307088210/solver-3469326-1307088210 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469326-1307088210.opb --solu --heu=VSIDS
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.00 2.02 1.98 3/483 11481
/proc/meminfo: memFree=24917008/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=22760 CPUtime=0 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 2736 0 0 0 0 0 0 0 25 0 1 0 899051731 23306240 2678 33554432000 4194304 4933572 140735698818032 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 5690 2686 308 181 0 2699 0
[startup+0.0784311 s]
/proc/loadavg: 2.00 2.02 1.98 3/483 11481
/proc/meminfo: memFree=24917008/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=36872 CPUtime=0.06 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 7773 0 0 0 6 0 0 0 25 0 1 0 899051731 37756928 6365 33554432000 4194304 4933572 140735698818032 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 9218 6369 323 181 0 6227 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36872
[startup+0.100431 s]
/proc/loadavg: 2.00 2.02 1.98 3/483 11481
/proc/meminfo: memFree=24917008/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=47236 CPUtime=0.09 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 11607 0 0 0 8 1 0 0 25 0 1 0 899051731 48369664 8825 33554432000 4194304 4933572 140735698818032 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 11809 8828 337 181 0 8818 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47236
[startup+0.300401 s]
/proc/loadavg: 2.00 2.02 1.98 3/483 11481
/proc/meminfo: memFree=24917008/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=57632 CPUtime=0.29 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 14138 0 0 0 28 1 0 0 25 0 1 0 899051731 59015168 11356 33554432000 4194304 4933572 140735698818032 18446744073709551615 260905090827 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 14408 11360 340 181 0 11417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57632
[startup+0.700332 s]
/proc/loadavg: 2.00 2.02 1.98 3/483 11481
/proc/meminfo: memFree=24917008/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=76560 CPUtime=0.69 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 18820 0 0 0 68 1 0 0 25 0 1 0 899051731 78397440 16038 33554432000 4194304 4933572 140735698818032 18446744073709551615 4594200 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 19140 16038 340 181 0 16149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76560
[startup+1.50011 s]
/proc/loadavg: 2.00 2.02 1.98 3/484 11482
/proc/meminfo: memFree=24847484/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=81220 CPUtime=1.49 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 21297 0 0 0 147 2 0 0 25 0 1 0 899051731 83169280 17323 33554432000 4194304 4933572 140735698818032 18446744073709551615 4428510 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 20305 17323 374 181 0 17314 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81220
[startup+3.10088 s]
/proc/loadavg: 2.00 2.02 1.98 3/484 11482
/proc/meminfo: memFree=24846368/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=81220 CPUtime=3.09 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 21339 0 0 0 307 2 0 0 25 0 1 0 899051731 83169280 17365 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649298 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 20305 17365 374 181 0 17314 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81220
[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 1.98 3/484 11482
/proc/meminfo: memFree=24845728/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=81220 CPUtime=6.29 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 21398 0 0 0 627 2 0 0 25 0 1 0 899051731 83169280 17424 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 20305 17424 374 181 0 17314 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81220
[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 1.98 3/484 11483
/proc/meminfo: memFree=24845312/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=81960 CPUtime=12.69 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 21663 0 0 0 1267 2 0 0 25 0 1 0 899051731 83927040 17689 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 20490 17689 374 181 0 17499 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81960
[startup+25.5008 s]
/proc/loadavg: 2.00 2.02 1.98 3/484 11483
/proc/meminfo: memFree=24839872/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=87508 CPUtime=25.5 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 23031 0 0 0 2547 3 0 0 25 0 1 0 899051731 89608192 19057 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 21877 19057 374 181 0 18886 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 87508
[startup+51.101 s]
/proc/loadavg: 2.00 2.02 1.98 3/484 11484
/proc/meminfo: memFree=24833256/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=93656 CPUtime=51.09 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 24492 0 0 0 5106 3 0 0 25 0 1 0 899051731 95903744 20518 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 23414 20518 374 181 0 20423 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93656
[startup+102.318 s]
/proc/loadavg: 1.92 2.00 1.98 3/484 11513
/proc/meminfo: memFree=24838764/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=104092 CPUtime=102.31 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 26989 0 0 0 10228 3 0 0 25 0 1 0 899051731 106590208 23015 33554432000 4194304 4933572 140735698818032 18446744073709551615 4429168 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 26023 23015 374 181 0 23032 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 104092
[startup+162.301 s]
/proc/loadavg: 2.04 2.02 1.99 3/484 11541
/proc/meminfo: memFree=24805520/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=111824 CPUtime=162.3 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 28860 0 0 0 16226 4 0 0 25 0 1 0 899051731 114507776 24886 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 27956 24886 374 181 0 24965 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 111824
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 1.99 3/484 11543
/proc/meminfo: memFree=24789112/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=120260 CPUtime=222.3 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 30843 0 0 0 22226 4 0 0 25 0 1 0 899051731 123146240 26869 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 30065 26869 374 181 0 27074 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 120260
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/484 11545
/proc/meminfo: memFree=24777292/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=126704 CPUtime=282.3 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 32370 0 0 0 28226 4 0 0 25 0 1 0 899051731 129744896 28396 33554432000 4194304 4933572 140735698818032 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 31676 28396 374 181 0 28685 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 126704
[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/484 11546
/proc/meminfo: memFree=24766844/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=133252 CPUtime=342.3 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 33908 0 0 0 34226 4 0 0 25 0 1 0 899051731 136450048 29934 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 33313 29934 374 181 0 30322 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 133252
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 11548
/proc/meminfo: memFree=24757388/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=140684 CPUtime=402.3 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 35700 0 0 0 40226 4 0 0 25 0 1 0 899051731 144060416 31726 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 35171 31726 374 181 0 32180 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 140684
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 11550
/proc/meminfo: memFree=24746936/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=148548 CPUtime=462.31 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 37532 0 0 0 46226 5 0 0 25 0 1 0 899051731 152113152 33558 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 37137 33558 374 181 0 34146 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 148548
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 11551
/proc/meminfo: memFree=24742068/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=149944 CPUtime=522.31 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 37878 0 0 0 52226 5 0 0 25 0 1 0 899051731 153542656 33904 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 37486 33904 374 181 0 34495 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 149944
[startup+582.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/484 11553
/proc/meminfo: memFree=24733112/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=155752 CPUtime=582.31 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 39240 0 0 0 58226 5 0 0 25 0 1 0 899051731 159490048 35266 33554432000 4194304 4933572 140735698818032 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 38938 35266 374 181 0 35947 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 155752
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/484 11559
/proc/meminfo: memFree=24704476/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=176188 CPUtime=822.32 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 43961 0 0 0 82226 6 0 0 25 0 1 0 899051731 180416512 39987 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 44047 39987 374 181 0 41056 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 176188
[startup+882.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/484 11561
/proc/meminfo: memFree=24702576/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=176864 CPUtime=882.32 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 44146 0 0 0 88226 6 0 0 25 0 1 0 899051731 181108736 40172 33554432000 4194304 4933572 140735698818032 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 44216 40172 374 181 0 41225 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 176864
[startup+942.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/484 11562
/proc/meminfo: memFree=24693368/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=186352 CPUtime=942.32 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 46353 0 0 0 94226 6 0 0 25 0 1 0 899051731 190824448 42379 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 46588 42379 374 181 0 43597 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 186352
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 11564
/proc/meminfo: memFree=24688244/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=189472 CPUtime=1002.32 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 47038 0 0 0 100226 6 0 0 25 0 1 0 899051731 194019328 43064 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 47368 43064 374 181 0 44377 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 189472
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11565
/proc/meminfo: memFree=24685848/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=189808 CPUtime=1062.32 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 47132 0 0 0 106226 6 0 0 25 0 1 0 899051731 194363392 43158 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 47452 43158 374 181 0 44461 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 189808
[startup+1122.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/484 11567
/proc/meminfo: memFree=24681376/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=192740 CPUtime=1122.32 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 47804 0 0 0 112226 6 0 0 25 0 1 0 899051731 197365760 43830 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 48185 43830 374 181 0 45194 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 192740
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 11569
/proc/meminfo: memFree=24679600/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=193432 CPUtime=1182.32 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 47960 0 0 0 118226 6 0 0 25 0 1 0 899051731 198074368 43986 33554432000 4194304 4933572 140735698818032 18446744073709551615 4429128 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 48358 43986 374 181 0 45367 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 193432
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 11570
/proc/meminfo: memFree=24676492/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=195600 CPUtime=1242.33 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 48451 0 0 0 124226 7 0 0 25 0 1 0 899051731 200294400 44477 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 48900 44477 374 181 0 45909 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 195600
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11572
/proc/meminfo: memFree=24674848/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=195980 CPUtime=1302.34 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 48534 0 0 0 130227 7 0 0 25 0 1 0 899051731 200683520 44560 33554432000 4194304 4933572 140735698818032 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 48995 44560 374 181 0 46004 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 195980
[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/484 11574
/proc/meminfo: memFree=24669748/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=202020 CPUtime=1362.33 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 50032 0 0 0 136226 7 0 0 25 0 1 0 899051731 206868480 46058 33554432000 4194304 4933572 140735698818032 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 50505 46058 374 181 0 47514 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 202020
[startup+1422.32 s]
/proc/loadavg: 2.11 2.05 2.01 3/484 11575
/proc/meminfo: memFree=24667116/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=202744 CPUtime=1422.35 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 50174 0 0 0 142228 7 0 0 25 0 1 0 899051731 207609856 46200 33554432000 4194304 4933572 140735698818032 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 50686 46200 374 181 0 47695 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 202744
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 11577
/proc/meminfo: memFree=24657164/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=213036 CPUtime=1482.34 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 52550 0 0 0 148226 8 0 0 25 0 1 0 899051731 218148864 48576 33554432000 4194304 4933572 140735698818032 18446744073709551615 4625226 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 53259 48576 374 181 0 50268 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 213036
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 11578
/proc/meminfo: memFree=24652316/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=215400 CPUtime=1542.34 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 53068 0 0 0 154226 8 0 0 25 0 1 0 899051731 220569600 49094 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 53850 49094 374 181 0 50859 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 215400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11580
/proc/meminfo: memFree=24649548/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=216568 CPUtime=1602.34 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 53350 0 0 0 160226 8 0 0 25 0 1 0 899051731 221765632 49376 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 54142 49376 374 181 0 51151 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 216568
[startup+1662.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/484 11582
/proc/meminfo: memFree=24647524/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=216820 CPUtime=1662.34 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 53373 0 0 0 166226 8 0 0 25 0 1 0 899051731 222023680 49399 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 54205 49399 374 181 0 51214 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 216820
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/484 11583
/proc/meminfo: memFree=24642420/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=220844 CPUtime=1722.34 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 54338 0 0 0 172226 8 0 0 25 0 1 0 899051731 226144256 50364 33554432000 4194304 4933572 140735698818032 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 55211 50364 374 181 0 52220 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 220844
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/484 11585
/proc/meminfo: memFree=24639276/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=222600 CPUtime=1782.34 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 54733 0 0 0 178226 8 0 0 25 0 1 0 899051731 227942400 50759 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 55650 50759 374 181 0 52659 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 222600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 11585
/proc/meminfo: memFree=24640016/32950928 swapFree=61542356/67111528
[pid=11481] ppid=11479 vsize=222600 CPUtime=1800.05 cores=1,3,5,7
/proc/11481/stat : 11481 (clasp) R 11479 11481 2195 0 -1 4202496 54737 0 0 0 179997 8 0 0 25 0 1 0 899051731 227942400 50763 33554432000 4194304 4933572 140735698818032 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11481/statm: 55650 50763 374 181 0 52659 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 222600
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.08
CPU user time (s): 1799.99
CPU system time (s): 0.096985
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 222600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54748
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= 21947
runsolver used 8.04978 second user time and 19.796 second system time
The end