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-3462789-1307182861/watcher-3462789-1307182861 -o /tmp/evaluation-result-3462789-1307182861/solver-3462789-1307182861 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462789-1307182861.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.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=12580 CPUtime=0.01 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 773 0 0 0 1 0 0 0 25 0 1 0 829884112 12881920 708 33554432000 134512640 137138936 4291739584 18446744073709551615 136382014 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 3145 708 180 642 0 2501 0
[startup+0.029361 s]
/proc/loadavg: 2.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=14192 CPUtime=0.02 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 1147 0 0 0 2 0 0 0 25 0 1 0 829884112 14532608 1082 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 3548 1082 185 642 0 2904 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14192
[startup+0.100352 s]
/proc/loadavg: 2.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=14200 CPUtime=0.09 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 1206 0 0 0 9 0 0 0 25 0 1 0 829884112 14540800 1122 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 3550 1122 192 642 0 2906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14200
[startup+0.300313 s]
/proc/loadavg: 2.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=15796 CPUtime=0.29 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 1596 0 0 0 29 0 0 0 25 0 1 0 829884112 16175104 1512 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 3949 1512 192 642 0 3305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15796
[startup+0.700239 s]
/proc/loadavg: 2.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=18796 CPUtime=0.69 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 2355 0 0 0 68 1 0 0 25 0 1 0 829884112 19247104 2271 33554432000 134512640 137138936 4291739584 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 4699 2271 192 642 0 4055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18796
[startup+1.50111 s]
/proc/loadavg: 2.07 2.03 2.00 3/462 23511
/proc/meminfo: memFree=28590644/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=23976 CPUtime=1.49 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 3641 0 0 0 147 2 0 0 25 0 1 0 829884112 24551424 3557 33554432000 134512640 137138936 4291739584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 5994 3557 192 642 0 5350 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23976
[startup+3.10081 s]
/proc/loadavg: 2.07 2.02 2.00 3/462 23511
/proc/meminfo: memFree=28582704/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=33988 CPUtime=3.09 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 6143 0 0 0 306 3 0 0 25 0 1 0 829884112 34803712 6059 33554432000 134512640 137138936 4291739584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 8497 6059 192 642 0 7853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33988
[startup+6.30022 s]
/proc/loadavg: 2.07 2.02 2.00 3/462 23511
/proc/meminfo: memFree=28575164/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=35208 CPUtime=6.29 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 6458 0 0 0 625 4 0 0 25 0 1 0 829884112 36052992 6374 33554432000 134512640 137138936 4291739584 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 8802 6374 192 642 0 8158 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35208
[startup+12.7011 s]
/proc/loadavg: 2.06 2.02 2.00 3/462 23511
/proc/meminfo: memFree=28573180/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=37872 CPUtime=12.69 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 7114 0 0 0 1263 6 0 0 25 0 1 0 829884112 38780928 7030 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 9468 7030 192 642 0 8824 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37872
[startup+25.5007 s]
/proc/loadavg: 2.21 2.06 2.01 3/462 23512
/proc/meminfo: memFree=28570960/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=40128 CPUtime=25.49 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 7679 0 0 0 2540 9 0 0 25 0 1 0 829884112 41091072 7595 33554432000 134512640 137138936 4291739584 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 10032 7595 192 642 0 9388 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40128
[startup+51.1011 s]
/proc/loadavg: 2.13 2.05 2.01 3/462 23512
/proc/meminfo: memFree=28569604/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=41528 CPUtime=51.09 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8025 0 0 0 5096 13 0 0 25 0 1 0 829884112 42524672 7941 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 10382 7941 192 642 0 9738 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41528
[startup+102.317 s]
/proc/loadavg: 2.10 2.06 2.01 3/462 23514
/proc/meminfo: memFree=28568232/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=42916 CPUtime=102.31 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8383 0 0 0 10208 23 0 0 25 0 1 0 829884112 43945984 8299 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 10729 8299 192 642 0 10085 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 42916
[startup+162.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/462 23515
/proc/meminfo: memFree=28565576/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=44120 CPUtime=162.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8806 0 0 0 16195 35 0 0 25 0 1 0 829884112 45178880 8602 33554432000 134512640 137138936 4291739584 18446744073709551615 134557371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11030 8602 192 642 0 10386 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 44120
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 23517
/proc/meminfo: memFree=28562944/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=43568 CPUtime=222.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8806 0 0 0 22181 49 0 0 25 0 1 0 829884112 44613632 8464 33554432000 134512640 137138936 4291739584 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 10892 8464 192 642 0 10248 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 43568
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23518
/proc/meminfo: memFree=28562548/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=44080 CPUtime=282.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8961 0 0 0 28170 60 0 0 25 0 1 0 829884112 45137920 8592 33554432000 134512640 137138936 4291739584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11020 8592 192 642 0 10376 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44080
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23520
/proc/meminfo: memFree=28560160/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=46036 CPUtime=342.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 9439 0 0 0 34160 70 0 0 25 0 1 0 829884112 47140864 9064 33554432000 134512640 137138936 4291739584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11509 9064 192 642 0 10865 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 46036
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/462 23522
/proc/meminfo: memFree=28559988/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=45956 CPUtime=402.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 9439 0 0 0 40152 78 0 0 25 0 1 0 829884112 47058944 9061 33554432000 134512640 137138936 4291739584 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11489 9061 192 642 0 10845 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 45956
[startup+462.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/462 23523
/proc/meminfo: memFree=28556840/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=47788 CPUtime=462.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 9906 0 0 0 46142 88 0 0 25 0 1 0 829884112 48934912 9519 33554432000 134512640 137138936 4291739584 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11947 9519 192 642 0 11303 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 47788
[startup+522.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/462 23552
/proc/meminfo: memFree=28554100/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=47964 CPUtime=522.31 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 9935 0 0 0 52132 99 0 0 25 0 1 0 829884112 49115136 9548 33554432000 134512640 137138936 4291739584 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11991 9548 192 642 0 11347 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 47964
[startup+582.301 s]
/proc/loadavg: 2.12 2.08 2.02 3/462 23553
/proc/meminfo: memFree=28522824/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=49880 CPUtime=582.31 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 10454 0 0 0 58123 108 0 0 25 0 1 0 829884112 51077120 10042 33554432000 134512640 137138936 4291739584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 12470 10042 192 642 0 11826 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 49880
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28462072/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=52236 CPUtime=1062.32 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11136 0 0 0 106055 177 0 0 25 0 1 0 829884112 53489664 10631 33554432000 134512640 137138936 4291739584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13059 10631 192 642 0 12415 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 52236
[startup+1122.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/462 23568
/proc/meminfo: memFree=28459704/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54844 CPUtime=1122.32 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11811 0 0 0 112045 187 0 0 25 0 1 0 829884112 56160256 11282 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13711 11282 192 642 0 13067 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 54844
[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/462 23569
/proc/meminfo: memFree=28459040/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54880 CPUtime=1182.32 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11814 0 0 0 118034 198 0 0 25 0 1 0 829884112 56197120 11285 33554432000 134512640 137138936 4291739584 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13720 11285 192 642 0 13076 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 54880
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/462 23571
/proc/meminfo: memFree=28450684/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54900 CPUtime=1242.33 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11827 0 0 0 124027 206 0 0 25 0 1 0 829884112 56217600 11297 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13725 11297 192 642 0 13081 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 54900
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 23573
/proc/meminfo: memFree=28442452/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54900 CPUtime=1302.35 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11827 0 0 0 130020 215 0 0 25 0 1 0 829884112 56217600 11297 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13725 11297 192 642 0 13081 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 54900
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23574
/proc/meminfo: memFree=28436320/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54912 CPUtime=1362.33 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11842 0 0 0 136010 223 0 0 25 0 1 0 829884112 56229888 11297 33554432000 134512640 137138936 4291739584 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13728 11297 192 642 0 13084 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 54912
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23576
/proc/meminfo: memFree=28437652/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54900 CPUtime=1422.35 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11842 0 0 0 142005 230 0 0 25 0 1 0 829884112 56217600 11297 33554432000 134512640 137138936 4291739584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13725 11297 192 642 0 13081 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 54900
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 23577
/proc/meminfo: memFree=28437620/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54952 CPUtime=1482.34 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11850 0 0 0 147993 241 0 0 25 0 1 0 829884112 56270848 11304 33554432000 134512640 137138936 4291739584 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13738 11304 192 642 0 13094 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 54952
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/462 23579
/proc/meminfo: memFree=28437936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54868 CPUtime=1542.33 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11850 0 0 0 153982 251 0 0 25 0 1 0 829884112 56184832 11289 33554432000 134512640 137138936 4291739584 18446744073709551615 134602871 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13717 11289 192 642 0 13073 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 54868
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/462 23581
/proc/meminfo: memFree=28434656/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57780 CPUtime=1602.34 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12566 0 0 0 159973 261 0 0 25 0 1 0 829884112 59166720 12005 33554432000 134512640 137138936 4291739584 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14445 12005 192 642 0 13801 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 57780
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/462 23582
/proc/meminfo: memFree=28434472/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57728 CPUtime=1662.34 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12566 0 0 0 165966 268 0 0 25 0 1 0 829884112 59113472 12004 33554432000 134512640 137138936 4291739584 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14432 12004 192 642 0 13788 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 57728
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/462 23584
/proc/meminfo: memFree=28433692/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57740 CPUtime=1722.34 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 171957 277 0 0 25 0 1 0 829884112 59125760 12005 33554432000 134512640 137138936 4291739584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14435 12005 192 642 0 13791 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 57740
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 23585
/proc/meminfo: memFree=28432656/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1782.35 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 177950 285 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 57696
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 23586
/proc/meminfo: memFree=28433028/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1785.54 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 178269 285 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 57696
[startup+1791.92 s]
/proc/loadavg: 2.02 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433624/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1791.97 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 178911 286 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 57696
[startup+1795.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433500/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1795.16 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 179230 286 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 57696
[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433500/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1796.75 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 179388 287 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 57696
[startup+1797.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433128/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1797.55 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 179468 287 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 57696
[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433128/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1797.95 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 179508 287 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 57696
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1795.13
CPU system time (s): 2.87556
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 57780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.13
system time used= 2.87556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12575
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= 20721
runsolver used 7.53985 second user time and 18.7222 second system time
The end