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-3462627-1307181511/watcher-3462627-1307181511 -o /tmp/evaluation-result-3462627-1307181511/solver-3462627-1307181511 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462627-1307181511.opb
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.07 2.02 2/535 26561
/proc/meminfo: memFree=28989852/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=10920 CPUtime=0.01 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 351 0 0 0 1 0 0 0 25 0 1 0 829749096 11182080 303 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 2730 303 192 642 0 2086 0
[startup+0.0505131 s]
/proc/loadavg: 2.07 2.07 2.02 2/535 26561
/proc/meminfo: memFree=28989852/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=11428 CPUtime=0.04 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 450 0 0 0 4 0 0 0 25 0 1 0 829749096 11702272 402 33554432000 134512640 137138936 4291022384 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 2857 402 192 642 0 2213 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11428
[startup+0.100506 s]
/proc/loadavg: 2.07 2.07 2.02 2/535 26561
/proc/meminfo: memFree=28989852/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=11812 CPUtime=0.09 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 562 0 0 0 9 0 0 0 25 0 1 0 829749096 12095488 514 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 2953 514 192 642 0 2309 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11812
[startup+0.300479 s]
/proc/loadavg: 2.07 2.07 2.02 2/535 26561
/proc/meminfo: memFree=28989852/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=13744 CPUtime=0.29 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 1058 0 0 0 29 0 0 0 25 0 1 0 829749096 14073856 1010 33554432000 134512640 137138936 4291022384 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 3436 1010 192 642 0 2792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13744
[startup+0.700398 s]
/proc/loadavg: 2.07 2.07 2.02 2/535 26561
/proc/meminfo: memFree=28989852/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=14764 CPUtime=0.69 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 1294 0 0 0 69 0 0 0 25 0 1 0 829749096 15118336 1246 33554432000 134512640 137138936 4291022384 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 3691 1246 192 642 0 3047 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14764
[startup+1.50029 s]
/proc/loadavg: 2.07 2.07 2.02 3/536 26562
/proc/meminfo: memFree=28984628/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=15156 CPUtime=1.49 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 1384 0 0 0 149 0 0 0 25 0 1 0 829749096 15519744 1336 33554432000 134512640 137138936 4291022384 18446744073709551615 134598934 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 3789 1336 192 642 0 3145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15156
[startup+3.101 s]
/proc/loadavg: 2.07 2.07 2.02 3/536 26562
/proc/meminfo: memFree=28982516/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=16308 CPUtime=3.09 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 1693 0 0 0 308 1 0 0 25 0 1 0 829749096 16699392 1645 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 4077 1645 192 642 0 3433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16308
[startup+6.30042 s]
/proc/loadavg: 2.06 2.06 2.01 3/536 26562
/proc/meminfo: memFree=28981232/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=16440 CPUtime=6.29 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 1723 0 0 0 626 3 0 0 25 0 1 0 829749096 16834560 1675 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 4110 1675 192 642 0 3466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16440
[startup+12.7003 s]
/proc/loadavg: 2.06 2.06 2.01 3/536 26562
/proc/meminfo: memFree=28978864/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=18236 CPUtime=12.69 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 2157 0 0 0 1265 4 0 0 25 0 1 0 829749096 18673664 2109 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 4559 2109 192 642 0 3915 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18236
[startup+25.5011 s]
/proc/loadavg: 2.04 2.06 2.01 3/536 26562
/proc/meminfo: memFree=28977124/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=19644 CPUtime=25.49 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 2534 0 0 0 2542 7 0 0 25 0 1 0 829749096 20115456 2486 33554432000 134512640 137138936 4291022384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 4911 2486 192 642 0 4267 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19644
[startup+51.1006 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 26617
/proc/meminfo: memFree=28967916/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=20984 CPUtime=51.09 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 2847 0 0 0 5098 11 0 0 25 0 1 0 829749096 21487616 2799 33554432000 134512640 137138936 4291022384 18446744073709551615 136505593 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 5246 2799 192 642 0 4602 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20984
[startup+102.32 s]
/proc/loadavg: 2.01 2.04 2.01 3/536 26618
/proc/meminfo: memFree=28959704/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=21868 CPUtime=102.31 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 3069 0 0 0 10213 18 0 0 25 0 1 0 829749096 22392832 3021 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 5467 3021 192 642 0 4823 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 21868
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26629
/proc/meminfo: memFree=28957152/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=23224 CPUtime=162.29 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 3426 0 0 0 16200 29 0 0 25 0 1 0 829749096 23781376 3378 33554432000 134512640 137138936 4291022384 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 5806 3378 192 642 0 5162 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23224
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26630
/proc/meminfo: memFree=28956004/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=24436 CPUtime=222.3 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 3728 0 0 0 22189 41 0 0 25 0 1 0 829749096 25022464 3680 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 6109 3680 192 642 0 5465 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 24436
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26632
/proc/meminfo: memFree=28956708/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=24556 CPUtime=282.29 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 3749 0 0 0 28182 47 0 0 25 0 1 0 829749096 25145344 3701 33554432000 134512640 137138936 4291022384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 6139 3701 192 642 0 5495 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24556
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 26634
/proc/meminfo: memFree=28954188/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=25704 CPUtime=342.29 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 4047 0 0 0 34175 54 0 0 25 0 1 0 829749096 26320896 3999 33554432000 134512640 137138936 4291022384 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 6426 3999 192 642 0 5782 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25704
[startup+402.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/536 26638
/proc/meminfo: memFree=28953600/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=25704 CPUtime=402.29 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 4047 0 0 0 40167 62 0 0 25 0 1 0 829749096 26320896 3999 33554432000 134512640 137138936 4291022384 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 6426 3999 192 642 0 5782 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25704
[startup+462.3 s]
/proc/loadavg: 2.25 2.09 2.03 3/536 26640
/proc/meminfo: memFree=28949860/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=27356 CPUtime=462.3 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 4449 0 0 0 46159 71 0 0 25 0 1 0 829749096 28012544 4401 33554432000 134512640 137138936 4291022384 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 6839 4401 192 642 0 6195 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 27356
[startup+522.301 s]
/proc/loadavg: 2.13 2.08 2.02 3/536 26641
/proc/meminfo: memFree=28947588/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=27332 CPUtime=522.3 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 4449 0 0 0 52153 77 0 0 25 0 1 0 829749096 27987968 4401 33554432000 134512640 137138936 4291022384 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 6833 4401 192 642 0 6189 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 27332
[startup+582.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/536 26643
/proc/meminfo: memFree=28947560/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=27320 CPUtime=582.3 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 4449 0 0 0 58145 85 0 0 25 0 1 0 829749096 27975680 4401 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 6830 4401 192 642 0 6186 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27320
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28940836/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=28960 CPUtime=1002.32 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 4859 0 0 0 100099 133 0 0 25 0 1 0 829749096 29655040 4811 33554432000 134512640 137138936 4291022384 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 7240 4811 192 642 0 6596 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 28960
[startup+1062.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/536 26656
/proc/meminfo: memFree=28940184/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=29612 CPUtime=1062.31 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5021 0 0 0 106092 139 0 0 25 0 1 0 829749096 30322688 4973 33554432000 134512640 137138936 4291022384 18446744073709551615 134575626 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 7403 4973 192 642 0 6759 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 29612
[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/536 26657
/proc/meminfo: memFree=28939896/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=29992 CPUtime=1122.31 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5109 0 0 0 112084 147 0 0 25 0 1 0 829749096 30711808 5061 33554432000 134512640 137138936 4291022384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 7498 5061 192 642 0 6854 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 29992
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 26659
/proc/meminfo: memFree=28939360/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=29972 CPUtime=1182.32 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5109 0 0 0 118079 153 0 0 25 0 1 0 829749096 30691328 5061 33554432000 134512640 137138936 4291022384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 7493 5061 192 642 0 6849 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 29972
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26661
/proc/meminfo: memFree=28939316/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=29972 CPUtime=1242.32 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5109 0 0 0 124072 160 0 0 25 0 1 0 829749096 30691328 5061 33554432000 134512640 137138936 4291022384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 7493 5061 192 642 0 6849 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 29972
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26662
/proc/meminfo: memFree=28935932/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=31264 CPUtime=1302.34 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5429 0 0 0 130067 167 0 0 25 0 1 0 829749096 32014336 5381 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 7816 5381 192 642 0 7172 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 31264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26664
/proc/meminfo: memFree=28935780/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32472 CPUtime=1362.32 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5732 0 0 0 136058 174 0 0 25 0 1 0 829749096 33251328 5684 33554432000 134512640 137138936 4291022384 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8118 5684 192 642 0 7474 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 32472
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 26665
/proc/meminfo: memFree=28932880/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32440 CPUtime=1422.34 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5732 0 0 0 142053 181 0 0 25 0 1 0 829749096 33218560 5684 33554432000 134512640 137138936 4291022384 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8110 5684 192 642 0 7466 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 32440
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 26667
/proc/meminfo: memFree=28934068/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32440 CPUtime=1482.32 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5732 0 0 0 148044 188 0 0 25 0 1 0 829749096 33218560 5684 33554432000 134512640 137138936 4291022384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8110 5684 192 642 0 7466 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 32440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 26669
/proc/meminfo: memFree=28933916/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32440 CPUtime=1542.33 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5732 0 0 0 154038 195 0 0 25 0 1 0 829749096 33218560 5684 33554432000 134512640 137138936 4291022384 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8110 5684 192 642 0 7466 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 32440
[startup+1602.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/536 26670
/proc/meminfo: memFree=28933488/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32440 CPUtime=1602.32 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5732 0 0 0 160031 201 0 0 25 0 1 0 829749096 33218560 5684 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8110 5684 192 642 0 7466 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 32440
[startup+1662.3 s]
/proc/loadavg: 2.17 2.06 2.02 3/536 26672
/proc/meminfo: memFree=28933956/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32444 CPUtime=1662.33 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5733 0 0 0 166024 209 0 0 25 0 1 0 829749096 33222656 5685 33554432000 134512640 137138936 4291022384 18446744073709551615 134576446 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8111 5685 192 642 0 7467 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 32444
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 26673
/proc/meminfo: memFree=28933924/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32440 CPUtime=1722.33 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5733 0 0 0 172019 214 0 0 25 0 1 0 829749096 33218560 5685 33554432000 134512640 137138936 4291022384 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8110 5685 192 642 0 7466 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 32440
Solver just ended. Dumping a history of the last processes samples
[startup+1727.9 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 26674
/proc/meminfo: memFree=28933552/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32440 CPUtime=1727.93 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5733 0 0 0 172579 214 0 0 25 0 1 0 829749096 33218560 5685 33554432000 134512640 137138936 4291022384 18446744073709551615 134542434 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8110 5685 192 642 0 7466 0
Current children cumulated CPU time (s) 1727.93
Current children cumulated vsize (KiB) 32440
[startup+1734.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 26674
/proc/meminfo: memFree=28933924/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32440 CPUtime=1734.33 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5733 0 0 0 173218 215 0 0 25 0 1 0 829749096 33218560 5685 33554432000 134512640 137138936 4291022384 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8110 5685 192 642 0 7466 0
Current children cumulated CPU time (s) 1734.33
Current children cumulated vsize (KiB) 32440
[startup+1737.5 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 26674
/proc/meminfo: memFree=28933924/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32436 CPUtime=1737.53 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5733 0 0 0 173538 215 0 0 25 0 1 0 829749096 33214464 5684 33554432000 134512640 137138936 4291022384 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8109 5684 192 642 0 7465 0
Current children cumulated CPU time (s) 1737.53
Current children cumulated vsize (KiB) 32436
[startup+1739.12 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 26674
/proc/meminfo: memFree=28933924/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32436 CPUtime=1739.15 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5733 0 0 0 173700 215 0 0 25 0 1 0 829749096 33214464 5684 33554432000 134512640 137138936 4291022384 18446744073709551615 134576416 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8109 5684 192 642 0 7465 0
Current children cumulated CPU time (s) 1739.15
Current children cumulated vsize (KiB) 32436
[startup+1739.5 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 26674
/proc/meminfo: memFree=28933924/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=32436 CPUtime=1739.53 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) R 26559 26561 23781 0 -1 4202496 5733 0 0 0 173738 215 0 0 25 0 1 0 829749096 33214464 5684 33554432000 134512640 137138936 4291022384 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26561/statm: 8109 5684 192 642 0 7465 0
Current children cumulated CPU time (s) 1739.53
Current children cumulated vsize (KiB) 32436
[startup+1739.9 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 26674
/proc/meminfo: memFree=28933924/32951124 swapFree=58212616/67111528
[pid=26561] ppid=26559 vsize=0 CPUtime=1739.92 cores=0,2,4,6
/proc/26561/stat : 26561 (bsolo) S 26559 26561 23781 0 -1 4202500 5734 0 0 0 173777 215 0 0 25 0 1 0 829749096 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/26561/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1739.92
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1739.9
CPU time (s): 1739.94
CPU user time (s): 1737.78
CPU system time (s): 2.15967
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 32488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.78
system time used= 2.15967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5734
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= 4631
runsolver used 9.54155 second user time and 20.5359 second system time
The end