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-3463781-1307185791/watcher-3463781-1307185791 -o /tmp/evaluation-result-3463781-1307185791/solver-3463781-1307185791 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463781-1307185791.opb
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.01 2.00 2/524 28395
/proc/meminfo: memFree=23862972/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=15460 CPUtime=0.01 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 673 0 0 0 1 0 0 0 25 0 1 0 830176832 15831040 627 33554432000 134512640 137138936 4288812400 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 3865 628 224 642 0 2406 0
[startup+0.034551 s]
/proc/loadavg: 2.00 2.01 2.00 2/524 28395
/proc/meminfo: memFree=23862972/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=16876 CPUtime=0.03 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 1115 0 0 0 3 0 0 0 25 0 1 0 830176832 17281024 1069 33554432000 134512640 137138936 4288812400 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 4219 1070 292 642 0 2760 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16876
[startup+0.100544 s]
/proc/loadavg: 2.00 2.01 2.00 2/524 28395
/proc/meminfo: memFree=23862972/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=20588 CPUtime=0.09 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 2280 0 0 0 9 0 0 0 25 0 1 0 830176832 21082112 2234 33554432000 134512640 137138936 4288812400 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 5147 2235 531 642 0 3688 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20588
[startup+0.300508 s]
/proc/loadavg: 2.00 2.01 2.00 2/524 28395
/proc/meminfo: memFree=23862972/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=33184 CPUtime=0.29 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 6657 0 0 0 28 1 0 0 25 0 1 0 830176832 33980416 5756 33554432000 134512640 137138936 4288812400 18446744073709551615 136511114 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 8296 5756 184 642 0 7652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33184
[startup+0.700436 s]
/proc/loadavg: 2.00 2.01 2.00 2/524 28395
/proc/meminfo: memFree=23862972/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=33448 CPUtime=0.69 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 6717 0 0 0 68 1 0 0 25 0 1 0 830176832 34250752 5816 33554432000 134512640 137138936 4288812400 18446744073709551615 134567001 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 8362 5816 184 642 0 7718 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33448
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 28396
/proc/meminfo: memFree=23840024/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=33448 CPUtime=1.49 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 6723 0 0 0 148 1 0 0 25 0 1 0 830176832 34250752 5822 33554432000 134512640 137138936 4288812400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 8362 5822 184 642 0 7718 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33448
[startup+3.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 28396
/proc/meminfo: memFree=23838780/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=33448 CPUtime=3.09 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 6724 0 0 0 308 1 0 0 25 0 1 0 830176832 34250752 5823 33554432000 134512640 137138936 4288812400 18446744073709551615 136501673 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 8362 5823 184 642 0 7718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33448
[startup+6.30042 s]
/proc/loadavg: 2.08 2.03 2.01 3/525 28396
/proc/meminfo: memFree=23839648/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=33580 CPUtime=6.29 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 6752 0 0 0 627 2 0 0 25 0 1 0 830176832 34385920 5851 33554432000 134512640 137138936 4288812400 18446744073709551615 134543403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 8395 5851 184 642 0 7751 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33580
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/525 28396
/proc/meminfo: memFree=23836556/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=34184 CPUtime=12.7 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 7219 0 0 0 1262 8 0 0 25 0 1 0 830176832 35004416 6010 33554432000 134512640 137138936 4288812400 18446744073709551615 134607587 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 8546 6010 192 642 0 7902 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 34184
[startup+25.5009 s]
/proc/loadavg: 2.06 2.02 2.00 3/525 28396
/proc/meminfo: memFree=23827764/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=42024 CPUtime=25.49 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 9180 0 0 0 2539 10 0 0 25 0 1 0 830176832 43032576 7971 33554432000 134512640 137138936 4288812400 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 10506 7971 192 642 0 9862 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42024
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/525 28397
/proc/meminfo: memFree=23793296/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=76952 CPUtime=51.09 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 17912 0 0 0 5094 15 0 0 25 0 1 0 830176832 78798848 16703 33554432000 134512640 137138936 4288812400 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 19238 16703 192 642 0 18594 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76952
[startup+102.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/525 28398
/proc/meminfo: memFree=23734096/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=132324 CPUtime=102.31 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 31755 0 0 0 10210 21 0 0 25 0 1 0 830176832 135499776 30546 33554432000 134512640 137138936 4288812400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 33081 30546 192 642 0 32437 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 132324
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 28400
/proc/meminfo: memFree=23684332/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=183208 CPUtime=162.3 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 44476 0 0 0 16203 27 0 0 25 0 1 0 830176832 187604992 43267 33554432000 134512640 137138936 4288812400 18446744073709551615 134600665 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 45802 43267 192 642 0 45158 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 183208
[startup+222.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/525 28401
/proc/meminfo: memFree=23640000/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=224800 CPUtime=222.29 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 54874 0 0 0 22196 33 0 0 25 0 1 0 830176832 230195200 53665 33554432000 134512640 137138936 4288812400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 56200 53665 192 642 0 55556 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 224800
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/525 28403
/proc/meminfo: memFree=23597312/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=271156 CPUtime=282.3 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 66464 0 0 0 28191 39 0 0 25 0 1 0 830176832 277663744 65255 33554432000 134512640 137138936 4288812400 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 67789 65255 192 642 0 67145 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 271156
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/525 28405
/proc/meminfo: memFree=23552496/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=314220 CPUtime=342.3 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 77230 0 0 0 34186 44 0 0 25 0 1 0 830176832 321761280 76021 33554432000 134512640 137138936 4288812400 18446744073709551615 136500372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 78555 76021 192 642 0 77911 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 314220
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 28433
/proc/meminfo: memFree=23467996/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=353696 CPUtime=402.3 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 87099 0 0 0 40180 50 0 0 25 0 1 0 830176832 362184704 85890 33554432000 134512640 137138936 4288812400 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 88424 85890 192 642 0 87780 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 353696
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 28435
/proc/meminfo: memFree=23430296/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=390436 CPUtime=462.31 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 96284 0 0 0 46177 54 0 0 25 0 1 0 830176832 399806464 95075 33554432000 134512640 137138936 4288812400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 97609 95075 192 642 0 96965 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 390436
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/525 28436
/proc/meminfo: memFree=23396892/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=423896 CPUtime=522.3 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 104649 0 0 0 52173 57 0 0 25 0 1 0 830176832 434069504 103440 33554432000 134512640 137138936 4288812400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 105974 103440 192 642 0 105330 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 423896
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/525 28438
/proc/meminfo: memFree=23364216/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=455848 CPUtime=582.31 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 112637 0 0 0 58170 61 0 0 25 0 1 0 830176832 466788352 111428 33554432000 134512640 137138936 4288812400 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 113962 111428 192 642 0 113318 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 455848
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=23025448/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=514284 CPUtime=1062.32 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 127581 0 0 0 106144 88 0 0 25 0 1 0 830176832 526626816 126038 33554432000 134512640 137138936 4288812400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 128571 126038 192 642 0 127927 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 514284
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/525 28452
/proc/meminfo: memFree=23006796/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=514284 CPUtime=1122.32 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 127581 0 0 0 112143 89 0 0 25 0 1 0 830176832 526626816 126038 33554432000 134512640 137138936 4288812400 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 128571 126038 192 642 0 127927 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 514284
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/525 28454
/proc/meminfo: memFree=22969420/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=529656 CPUtime=1182.33 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 131441 0 0 0 118141 92 0 0 25 0 1 0 830176832 542367744 129898 33554432000 134512640 137138936 4288812400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 132414 129898 192 642 0 131770 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 529656
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/525 28456
/proc/meminfo: memFree=22905144/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=570716 CPUtime=1242.33 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 141689 0 0 0 124137 96 0 0 25 0 1 0 830176832 584413184 140146 33554432000 134512640 137138936 4288812400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 142679 140146 192 642 0 142035 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 570716
[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/525 28457
/proc/meminfo: memFree=22868144/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=602056 CPUtime=1302.34 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 149524 0 0 0 130135 99 0 0 25 0 1 0 830176832 616505344 147981 33554432000 134512640 137138936 4288812400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 150514 147981 192 642 0 149870 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 602056
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 28459
/proc/meminfo: memFree=22836476/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=633992 CPUtime=1362.33 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 157508 0 0 0 136131 102 0 0 25 0 1 0 830176832 649207808 155965 33554432000 134512640 137138936 4288812400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 158498 155965 192 642 0 157854 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 633992
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 28460
/proc/meminfo: memFree=22804560/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=666736 CPUtime=1422.35 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 165694 0 0 0 142129 106 0 0 25 0 1 0 830176832 682737664 164151 33554432000 134512640 137138936 4288812400 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 166684 164151 192 642 0 166040 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 666736
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 28462
/proc/meminfo: memFree=22764804/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=706292 CPUtime=1482.34 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 175583 0 0 0 148125 109 0 0 25 0 1 0 830176832 723243008 174040 33554432000 134512640 137138936 4288812400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 176573 174040 192 642 0 175929 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 706292
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 28464
/proc/meminfo: memFree=22717276/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=753940 CPUtime=1542.34 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 187495 0 0 0 154122 112 0 0 25 0 1 0 830176832 772034560 185952 33554432000 134512640 137138936 4288812400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 188485 185952 192 642 0 187841 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 753940
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/525 28465
/proc/meminfo: memFree=22679048/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=791200 CPUtime=1602.34 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 196810 0 0 0 160119 115 0 0 25 0 1 0 830176832 810188800 195267 33554432000 134512640 137138936 4288812400 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 197800 195267 192 642 0 197156 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 791200
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/525 28467
/proc/meminfo: memFree=22640180/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=829564 CPUtime=1662.34 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 206401 0 0 0 166116 118 0 0 25 0 1 0 830176832 849473536 204858 33554432000 134512640 137138936 4288812400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 207391 204858 192 642 0 206747 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 829564
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 28468
/proc/meminfo: memFree=22608268/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=861932 CPUtime=1722.34 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 214493 0 0 0 172114 120 0 0 25 0 1 0 830176832 882618368 212950 33554432000 134512640 137138936 4288812400 18446744073709551615 134606653 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 215483 212950 192 642 0 214839 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 861932
[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/525 28470
/proc/meminfo: memFree=22563972/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=898440 CPUtime=1782.34 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 223620 0 0 0 178109 125 0 0 25 0 1 0 830176832 920002560 222077 33554432000 134512640 137138936 4288812400 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 224610 222077 192 642 0 223966 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 898440
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.10 2.06 2.01 3/525 28470
/proc/meminfo: memFree=22560128/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=900940 CPUtime=1785.54 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 224245 0 0 0 178429 125 0 0 25 0 1 0 830176832 922562560 222702 33554432000 134512640 137138936 4288812400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 225235 222702 192 642 0 224591 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 900940
[startup+1791.92 s]
/proc/loadavg: 2.09 2.06 2.01 3/525 28470
/proc/meminfo: memFree=22554772/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=905020 CPUtime=1791.96 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 225265 0 0 0 179070 126 0 0 25 0 1 0 830176832 926740480 223722 33554432000 134512640 137138936 4288812400 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 226255 223722 192 642 0 225611 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 905020
[startup+1795.1 s]
/proc/loadavg: 2.08 2.06 2.01 3/525 28470
/proc/meminfo: memFree=22551660/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=906932 CPUtime=1795.16 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 225743 0 0 0 179390 126 0 0 25 0 1 0 830176832 928698368 224200 33554432000 134512640 137138936 4288812400 18446744073709551615 136511136 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 226733 224200 192 642 0 226089 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 906932
[startup+1796.7 s]
/proc/loadavg: 2.08 2.06 2.01 3/525 28470
/proc/meminfo: memFree=22550792/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=907716 CPUtime=1796.74 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 225939 0 0 0 179548 126 0 0 25 0 1 0 830176832 929501184 224396 33554432000 134512640 137138936 4288812400 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 226929 224396 192 642 0 226285 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 907716
[startup+1797.5 s]
/proc/loadavg: 2.08 2.06 2.01 3/525 28470
/proc/meminfo: memFree=22549676/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=907972 CPUtime=1797.54 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 226005 0 0 0 179628 126 0 0 25 0 1 0 830176832 929763328 224462 33554432000 134512640 137138936 4288812400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 226993 224462 192 642 0 226349 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 907972
[startup+1797.9 s]
/proc/loadavg: 2.08 2.06 2.01 3/525 28470
/proc/meminfo: memFree=22549676/32951124 swapFree=56930356/67111528
[pid=28395] ppid=28393 vsize=908236 CPUtime=1797.94 cores=1,3,5,7
/proc/28395/stat : 28395 (bsolo) R 28393 28395 25956 0 -1 4202496 226069 0 0 0 179668 126 0 0 25 0 1 0 830176832 930033664 224526 33554432000 134512640 137138936 4288812400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28395/statm: 227059 224526 192 642 0 226415 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 908236
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.04
CPU user time (s): 1796.73
CPU system time (s): 1.3048
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 908236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.73
system time used= 1.3048
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226069
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= 1589
runsolver used 9.23559 second user time and 21.8497 second system time
The end