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-3462858-1307184331/watcher-3462858-1307184331 -o /tmp/evaluation-result-3462858-1307184331/solver-3462858-1307184331 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462858-1307184331.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.02 2.02 2.00 2/489 31393
/proc/meminfo: memFree=26924864/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=12140 CPUtime=0.01 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 625 0 0 0 1 0 0 0 25 0 1 0 830031641 12431360 571 33554432000 134512640 137138936 4289363200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 3035 571 185 642 0 2391 0
[startup+0.0391561 s]
/proc/loadavg: 2.02 2.02 2.00 2/489 31393
/proc/meminfo: memFree=26924864/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=12140 CPUtime=0.03 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 626 0 0 0 3 0 0 0 25 0 1 0 830031641 12431360 572 33554432000 134512640 137138936 4289363200 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 3035 572 185 642 0 2391 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12140
[startup+0.101155 s]
/proc/loadavg: 2.02 2.02 2.00 2/489 31393
/proc/meminfo: memFree=26924864/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=12140 CPUtime=0.1 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 626 0 0 0 10 0 0 0 25 0 1 0 830031641 12431360 572 33554432000 134512640 137138936 4289363200 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 3035 572 185 642 0 2391 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12140
[startup+0.301124 s]
/proc/loadavg: 2.02 2.02 2.00 2/489 31393
/proc/meminfo: memFree=26924864/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=12140 CPUtime=0.3 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 626 0 0 0 30 0 0 0 25 0 1 0 830031641 12431360 572 33554432000 134512640 137138936 4289363200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 3035 572 185 642 0 2391 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12140
[startup+0.701057 s]
/proc/loadavg: 2.02 2.02 2.00 2/489 31393
/proc/meminfo: memFree=26924864/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=12512 CPUtime=0.69 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 790 0 0 0 69 0 0 0 25 0 1 0 830031641 12812288 690 33554432000 134512640 137138936 4289363200 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 3128 690 192 642 0 2484 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12512
[startup+1.50089 s]
/proc/loadavg: 2.02 2.02 2.00 3/490 31394
/proc/meminfo: memFree=26920144/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=17304 CPUtime=1.49 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 1986 0 0 0 149 0 0 0 25 0 1 0 830031641 17719296 1886 33554432000 134512640 137138936 4289363200 18446744073709551615 134603108 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 4326 1886 192 642 0 3682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17304
[startup+3.10065 s]
/proc/loadavg: 2.02 2.02 2.00 3/490 31394
/proc/meminfo: memFree=26912456/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=24500 CPUtime=3.09 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 3779 0 0 0 308 1 0 0 25 0 1 0 830031641 25088000 3679 33554432000 134512640 137138936 4289363200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 6125 3679 192 642 0 5481 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24500
[startup+6.30112 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 31394
/proc/meminfo: memFree=26896604/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=36636 CPUtime=6.29 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 6836 0 0 0 627 2 0 0 25 0 1 0 830031641 37515264 6736 33554432000 134512640 137138936 4289363200 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 9159 6736 192 642 0 8515 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36636
[startup+12.701 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 31394
/proc/meminfo: memFree=26872256/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=55100 CPUtime=12.69 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 11445 0 0 0 1264 5 0 0 25 0 1 0 830031641 56422400 11345 33554432000 134512640 137138936 4289363200 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 13775 11345 192 642 0 13131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55100
[startup+25.5009 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 31395
/proc/meminfo: memFree=26839020/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=80684 CPUtime=25.5 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 17827 0 0 0 2542 8 0 0 25 0 1 0 830031641 82620416 17727 33554432000 134512640 137138936 4289363200 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 20171 17727 192 642 0 19527 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 80684
[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31397
/proc/meminfo: memFree=26793116/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=115620 CPUtime=51.09 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 26574 0 0 0 5098 11 0 0 25 0 1 0 830031641 118394880 26474 33554432000 134512640 137138936 4289363200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 28905 26474 192 642 0 28261 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 115620
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31398
/proc/meminfo: memFree=26762356/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=123552 CPUtime=102.31 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 28631 0 0 0 10214 17 0 0 25 0 1 0 830031641 126517248 28448 33554432000 134512640 137138936 4289363200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 30888 28448 192 642 0 30244 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 123552
[startup+162.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/490 31399
/proc/meminfo: memFree=26710596/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=152384 CPUtime=162.3 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 35932 0 0 0 16204 26 0 0 25 0 1 0 830031641 156041216 35649 33554432000 134512640 137138936 4289363200 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 38096 35649 192 642 0 37452 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 152384
[startup+222.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/490 31401
/proc/meminfo: memFree=26672120/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=169372 CPUtime=222.29 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 40290 0 0 0 22197 32 0 0 25 0 1 0 830031641 173436928 39897 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 42343 39897 192 642 0 41699 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 169372
[startup+282.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/490 31404
/proc/meminfo: memFree=26647660/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=169372 CPUtime=282.3 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 40290 0 0 0 28190 40 0 0 25 0 1 0 830031641 173436928 39897 33554432000 134512640 137138936 4289363200 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 42343 39897 192 642 0 41699 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 169372
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 31405
/proc/meminfo: memFree=26631380/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=180644 CPUtime=342.29 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 43227 0 0 0 34184 45 0 0 25 0 1 0 830031641 184979456 42713 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 45161 42713 192 642 0 44517 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 180644
[startup+402.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/490 31407
/proc/meminfo: memFree=26630472/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=180644 CPUtime=402.3 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 43227 0 0 0 40180 50 0 0 25 0 1 0 830031641 184979456 42713 33554432000 134512640 137138936 4289363200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 45161 42713 192 642 0 44517 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 180644
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 31408
/proc/meminfo: memFree=26625736/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=187376 CPUtime=462.3 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 44920 0 0 0 46174 56 0 0 25 0 1 0 830031641 191873024 44406 33554432000 134512640 137138936 4289363200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 46844 44406 192 642 0 46200 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 187376
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31411
/proc/meminfo: memFree=26613808/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=198744 CPUtime=522.29 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 47880 0 0 0 52170 59 0 0 25 0 1 0 830031641 203513856 47234 33554432000 134512640 137138936 4289363200 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 49686 47234 192 642 0 49042 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 198744
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31413
/proc/meminfo: memFree=26613792/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=198744 CPUtime=582.3 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 47880 0 0 0 58166 64 0 0 25 0 1 0 830031641 203513856 47234 33554432000 134512640 137138936 4289363200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 49686 47234 192 642 0 49042 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 198744
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26526672/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=221036 CPUtime=1062.31 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 53904 0 0 0 106134 97 0 0 25 0 1 0 830031641 226340864 52836 33554432000 134512640 137138936 4289363200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 55259 52836 192 642 0 54615 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 221036
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/490 31438
/proc/meminfo: memFree=26503208/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=221036 CPUtime=1122.31 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 53904 0 0 0 112128 103 0 0 25 0 1 0 830031641 226340864 52836 33554432000 134512640 137138936 4289363200 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 55259 52836 192 642 0 54615 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 221036
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31441
/proc/meminfo: memFree=26480508/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=221044 CPUtime=1182.31 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 53906 0 0 0 118125 106 0 0 25 0 1 0 830031641 226349056 52838 33554432000 134512640 137138936 4289363200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 55261 52838 192 642 0 54617 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 221044
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31442
/proc/meminfo: memFree=26444640/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=236680 CPUtime=1242.31 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 57977 0 0 0 124123 108 0 0 25 0 1 0 830031641 242360320 56750 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 59170 56750 192 642 0 58526 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 236680
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31444
/proc/meminfo: memFree=26428872/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=236680 CPUtime=1302.32 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 57977 0 0 0 130117 115 0 0 25 0 1 0 830031641 242360320 56750 33554432000 134512640 137138936 4289363200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 59170 56750 192 642 0 58526 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 236680
[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/490 31445
/proc/meminfo: memFree=26413204/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=236680 CPUtime=1362.32 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 57977 0 0 0 136112 120 0 0 25 0 1 0 830031641 242360320 56750 33554432000 134512640 137138936 4289363200 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 59170 56750 192 642 0 58526 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 236680
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 2.01 3/490 31447
/proc/meminfo: memFree=26396064/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=236680 CPUtime=1422.33 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 57977 0 0 0 142109 124 0 0 25 0 1 0 830031641 242360320 56750 33554432000 134512640 137138936 4289363200 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 59170 56750 192 642 0 58526 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 236680
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/490 31449
/proc/meminfo: memFree=26378184/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=236680 CPUtime=1482.31 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 58136 0 0 0 148107 124 0 0 25 0 1 0 830031641 242360320 56750 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 59170 56750 192 642 0 58526 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 236680
[startup+1542.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/490 31450
/proc/meminfo: memFree=26358928/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=236680 CPUtime=1542.32 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 58136 0 0 0 154102 130 0 0 25 0 1 0 830031641 242360320 56750 33554432000 134512640 137138936 4289363200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 59170 56750 192 642 0 58526 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 236680
[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/490 31479
/proc/meminfo: memFree=26850776/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=236680 CPUtime=1602.31 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 58136 0 0 0 160098 133 0 0 25 0 1 0 830031641 242360320 56750 33554432000 134512640 137138936 4289363200 18446744073709551615 136504129 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 59170 56750 192 642 0 58526 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 236680
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/490 31480
/proc/meminfo: memFree=26763692/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=236680 CPUtime=1662.31 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 58136 0 0 0 166095 136 0 0 25 0 1 0 830031641 242360320 56750 33554432000 134512640 137138936 4289363200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 59170 56750 192 642 0 58526 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 236680
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/490 31482
/proc/meminfo: memFree=26661608/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=252492 CPUtime=1722.32 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 62241 0 0 0 172092 140 0 0 25 0 1 0 830031641 258551808 60696 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 63123 60696 192 642 0 62479 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 252492
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31484
/proc/meminfo: memFree=26601672/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=252492 CPUtime=1782.32 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 62241 0 0 0 178092 140 0 0 25 0 1 0 830031641 258551808 60696 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 63123 60696 192 642 0 62479 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 252492
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31484
/proc/meminfo: memFree=26597456/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=252492 CPUtime=1785.52 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 62241 0 0 0 178412 140 0 0 25 0 1 0 830031641 258551808 60696 33554432000 134512640 137138936 4289363200 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 63123 60696 192 642 0 62479 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 252492
[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31484
/proc/meminfo: memFree=26591240/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=252492 CPUtime=1791.94 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 62241 0 0 0 179054 140 0 0 25 0 1 0 830031641 258551808 60696 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 63123 60696 192 642 0 62479 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 252492
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31484
/proc/meminfo: memFree=26587640/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=252492 CPUtime=1795.14 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 62241 0 0 0 179374 140 0 0 25 0 1 0 830031641 258551808 60696 33554432000 134512640 137138936 4289363200 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 63123 60696 192 642 0 62479 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 252492
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31484
/proc/meminfo: memFree=26586772/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=252492 CPUtime=1796.72 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 62241 0 0 0 179532 140 0 0 25 0 1 0 830031641 258551808 60696 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 63123 60696 192 642 0 62479 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 252492
[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31484
/proc/meminfo: memFree=26584912/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=252492 CPUtime=1797.52 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 62241 0 0 0 179612 140 0 0 25 0 1 0 830031641 258551808 60696 33554432000 134512640 137138936 4289363200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 63123 60696 192 642 0 62479 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 252492
[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31484
/proc/meminfo: memFree=26584912/32951124 swapFree=63649284/67111528
[pid=31393] ppid=31391 vsize=252492 CPUtime=1797.92 cores=0,2,4,6
/proc/31393/stat : 31393 (bsolo) R 31391 31393 28154 0 -1 4202496 62241 0 0 0 179652 140 0 0 25 0 1 0 830031641 258551808 60696 33554432000 134512640 137138936 4289363200 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31393/statm: 63123 60696 192 642 0 62479 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 252492
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.01
CPU user time (s): 1796.6
CPU system time (s): 1.41379
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 253128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.6
system time used= 1.41378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62242
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= 2871
runsolver used 9.50655 second user time and 19.726 second system time
The end