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-3462832-1307183707/watcher-3462832-1307183707 -o /tmp/evaluation-result-3462832-1307183707/solver-3462832-1307183707 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462832-1307183707.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.05 2.04 2.00 2/526 8429
/proc/meminfo: memFree=21963036/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=11516 CPUtime=0 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 460 0 0 0 0 0 0 0 25 0 1 0 810786514 11792384 414 33554432000 134512640 137138936 4292058720 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 2879 415 178 642 0 2226 0
[startup+0.115542 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 8429
/proc/meminfo: memFree=21963036/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=12284 CPUtime=0.11 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 691 0 0 0 11 0 0 0 25 0 1 0 810786514 12578816 636 33554432000 134512640 137138936 4292058720 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 3071 636 185 642 0 2427 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12284
[startup+0.200514 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 8429
/proc/meminfo: memFree=21963036/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=12284 CPUtime=0.19 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 692 0 0 0 19 0 0 0 25 0 1 0 810786514 12578816 637 33554432000 134512640 137138936 4292058720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 3071 637 185 642 0 2427 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12284
[startup+0.300498 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 8429
/proc/meminfo: memFree=21963036/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=12284 CPUtime=0.29 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 692 0 0 0 29 0 0 0 25 0 1 0 810786514 12578816 637 33554432000 134512640 137138936 4292058720 18446744073709551615 136501693 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 3071 637 185 642 0 2427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12284
[startup+0.700424 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 8429
/proc/meminfo: memFree=21963036/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=12284 CPUtime=0.69 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 693 0 0 0 69 0 0 0 25 0 1 0 810786514 12578816 638 33554432000 134512640 137138936 4292058720 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 3071 638 185 642 0 2427 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12284
[startup+1.50028 s]
/proc/loadavg: 2.05 2.04 2.00 3/527 8430
/proc/meminfo: memFree=21959432/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=12284 CPUtime=1.49 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 693 0 0 0 149 0 0 0 25 0 1 0 810786514 12578816 638 33554432000 134512640 137138936 4292058720 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 3071 638 185 642 0 2427 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12284
[startup+3.10101 s]
/proc/loadavg: 2.05 2.04 2.00 3/527 8430
/proc/meminfo: memFree=21958184/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=12988 CPUtime=3.09 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 905 0 0 0 308 1 0 0 25 0 1 0 810786514 13299712 802 33554432000 134512640 137138936 4292058720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 3247 802 192 642 0 2603 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12988
[startup+6.30042 s]
/proc/loadavg: 2.12 2.06 2.01 3/527 8430
/proc/meminfo: memFree=21947900/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=21720 CPUtime=6.29 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 3109 0 0 0 627 2 0 0 25 0 1 0 810786514 22241280 3006 33554432000 134512640 137138936 4292058720 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 5430 3006 192 642 0 4786 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21720
[startup+12.7003 s]
/proc/loadavg: 2.11 2.05 2.01 3/527 8430
/proc/meminfo: memFree=21932740/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=31628 CPUtime=12.69 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 5567 0 0 0 1265 4 0 0 25 0 1 0 810786514 32387072 5464 33554432000 134512640 137138936 4292058720 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 7907 5464 192 642 0 7263 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31628
[startup+25.501 s]
/proc/loadavg: 2.09 2.05 2.01 3/527 8431
/proc/meminfo: memFree=21912404/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=44272 CPUtime=25.49 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 8738 0 0 0 2542 7 0 0 25 0 1 0 810786514 45334528 8635 33554432000 134512640 137138936 4292058720 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 11068 8635 192 642 0 10424 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44272
[startup+51.1004 s]
/proc/loadavg: 2.06 2.05 2.00 3/527 8431
/proc/meminfo: memFree=21885672/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=60776 CPUtime=51.09 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 12852 0 0 0 5098 11 0 0 25 0 1 0 810786514 62234624 12749 33554432000 134512640 137138936 4292058720 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 15194 12749 192 642 0 14550 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60776
[startup+102.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8433
/proc/meminfo: memFree=21844100/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=80000 CPUtime=102.3 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 17665 0 0 0 10214 16 0 0 25 0 1 0 810786514 81920000 17562 33554432000 134512640 137138936 4292058720 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 20000 17562 192 642 0 19356 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 80000
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 8434
/proc/meminfo: memFree=21800416/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=99364 CPUtime=162.29 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 22499 0 0 0 16208 21 0 0 25 0 1 0 810786514 101748736 22396 33554432000 134512640 137138936 4292058720 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 24841 22396 192 642 0 24197 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 99364
[startup+222.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8436
/proc/meminfo: memFree=21757960/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=116820 CPUtime=222.31 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 26871 0 0 0 22205 26 0 0 25 0 1 0 810786514 119623680 26768 33554432000 134512640 137138936 4292058720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 29205 26768 192 642 0 28561 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 116820
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8438
/proc/meminfo: memFree=21725800/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=131860 CPUtime=282.3 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 30636 0 0 0 28199 31 0 0 25 0 1 0 810786514 135024640 30533 33554432000 134512640 137138936 4292058720 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 32965 30533 192 642 0 32321 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 131860
[startup+342.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/527 8439
/proc/meminfo: memFree=21699440/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=134340 CPUtime=342.3 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 31412 0 0 0 34196 34 0 0 25 0 1 0 810786514 137564160 31161 33554432000 134512640 137138936 4292058720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 33585 31161 192 642 0 32941 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 134340
[startup+402.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/527 8441
/proc/meminfo: memFree=21681920/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=134340 CPUtime=402.3 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 31412 0 0 0 40191 39 0 0 25 0 1 0 810786514 137564160 31161 33554432000 134512640 137138936 4292058720 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 33585 31161 192 642 0 32941 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 134340
[startup+462.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/527 8442
/proc/meminfo: memFree=21659436/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=134340 CPUtime=462.3 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 31412 0 0 0 46189 41 0 0 25 0 1 0 810786514 137564160 31161 33554432000 134512640 137138936 4292058720 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 33585 31161 192 642 0 32941 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 134340
[startup+522.301 s]
/proc/loadavg: 2.13 2.07 2.01 3/527 8444
/proc/meminfo: memFree=21659392/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=134340 CPUtime=522.31 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 31412 0 0 0 52186 45 0 0 25 0 1 0 810786514 137564160 31161 33554432000 134512640 137138936 4292058720 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 33585 31161 192 642 0 32941 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 134340
[startup+582.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/527 8446
/proc/meminfo: memFree=21659476/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=134340 CPUtime=582.3 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 31412 0 0 0 58181 49 0 0 25 0 1 0 810786514 137564160 31161 33554432000 134512640 137138936 4292058720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 33585 31161 192 642 0 32941 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 134340
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22127980/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=144824 CPUtime=1122.32 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 34197 0 0 0 112156 76 0 0 25 0 1 0 810786514 148299776 33776 33554432000 134512640 137138936 4292058720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 36206 33776 192 642 0 35562 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 144824
[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/527 8516
/proc/meminfo: memFree=22064316/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=146384 CPUtime=1182.32 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 34572 0 0 0 118154 78 0 0 25 0 1 0 810786514 149897216 34151 33554432000 134512640 137138936 4292058720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 36596 34151 192 642 0 35952 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 146384
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8517
/proc/meminfo: memFree=21993060/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=154352 CPUtime=1242.33 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 36571 0 0 0 124151 82 0 0 25 0 1 0 810786514 158056448 36150 33554432000 134512640 137138936 4292058720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 38588 36150 192 642 0 37944 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 154352
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 8519
/proc/meminfo: memFree=21942920/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=161456 CPUtime=1302.32 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 38347 0 0 0 130148 84 0 0 25 0 1 0 810786514 165330944 37926 33554432000 134512640 137138936 4292058720 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 40364 37926 192 642 0 39720 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 161456
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8520
/proc/meminfo: memFree=21879124/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=168412 CPUtime=1362.33 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 40101 0 0 0 136145 88 0 0 25 0 1 0 810786514 172453888 39680 33554432000 134512640 137138936 4292058720 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 42103 39680 192 642 0 41459 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 168412
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8522
/proc/meminfo: memFree=21822648/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1422.34 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 142143 91 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 174028
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 8524
/proc/meminfo: memFree=21768276/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1482.33 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 148142 91 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 174028
[startup+1542.32 s]
/proc/loadavg: 2.09 2.04 2.01 3/527 8525
/proc/meminfo: memFree=21731504/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1542.36 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 154139 97 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 174028
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/527 8536
/proc/meminfo: memFree=21689948/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1602.34 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 160133 101 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 174028
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/527 8537
/proc/meminfo: memFree=21643652/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1662.34 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 166130 104 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 174028
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/527 8539
/proc/meminfo: memFree=21611968/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1722.34 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 172126 108 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 174028
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/527 8541
/proc/meminfo: memFree=21611412/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1782.34 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 178123 111 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542367 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 174028
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.02 2.05 2.00 3/527 8541
/proc/meminfo: memFree=21611524/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1785.64 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 178453 111 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 174028
[startup+1792.02 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8541
/proc/meminfo: memFree=21611884/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1792.06 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 179094 112 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 174028
[startup+1795.2 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8541
/proc/meminfo: memFree=21611884/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1795.25 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 179413 112 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 174028
[startup+1796.8 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8541
/proc/meminfo: memFree=21612008/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1796.84 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 179572 112 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 136511215 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 174028
[startup+1797.6 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8541
/proc/meminfo: memFree=21612008/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1797.64 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 179652 112 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 174028
[startup+1797.8 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8541
/proc/meminfo: memFree=21612008/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1797.84 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 179672 112 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 174028
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8541
/proc/meminfo: memFree=21612008/32951124 swapFree=64303760/67111528
[pid=8429] ppid=8427 vsize=174028 CPUtime=1797.94 cores=1,3,5,7
/proc/8429/stat : 8429 (bsolo) R 8427 8429 4512 0 -1 4202496 41702 0 0 0 179682 112 0 0 25 0 1 0 810786514 178204672 41077 33554432000 134512640 137138936 4292058720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8429/statm: 43507 41077 192 642 0 42863 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 174028
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1796.88
CPU system time (s): 1.13183
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 174844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 1.13183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41703
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= 6
involuntary context switches= 2211
runsolver used 9.27259 second user time and 21.7867 second system time
The end