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-3462738-1307182569/watcher-3462738-1307182569 -o /tmp/evaluation-result-3462738-1307182569/solver-3462738-1307182569 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462738-1307182569.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.00 2.00 2/434 8849
/proc/meminfo: memFree=12441272/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=11516 CPUtime=0 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 453 0 0 0 0 0 0 0 25 0 1 0 829856557 11792384 408 33554432000 134512640 137138936 4292455344 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 2879 409 179 642 0 2225 0
[startup+0.028812 s]
/proc/loadavg: 2.00 2.00 2.00 2/434 8849
/proc/meminfo: memFree=12441272/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=12316 CPUtime=0.02 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 672 0 0 0 2 0 0 0 25 0 1 0 829856557 12611584 617 33554432000 134512640 137138936 4292455344 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 3079 617 185 642 0 2435 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12316
[startup+0.1008 s]
/proc/loadavg: 2.00 2.00 2.00 2/434 8849
/proc/meminfo: memFree=12441272/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=12588 CPUtime=0.09 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 827 0 0 0 8 1 0 0 25 0 1 0 829856557 12890112 706 33554432000 134512640 137138936 4292455344 18446744073709551615 136500226 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 3147 706 188 642 0 2503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12588
[startup+0.300764 s]
/proc/loadavg: 2.00 2.00 2.00 2/434 8849
/proc/meminfo: memFree=12441272/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=13128 CPUtime=0.29 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 976 0 0 0 28 1 0 0 25 0 1 0 829856557 13443072 855 33554432000 134512640 137138936 4292455344 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 3282 855 192 642 0 2638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13128
[startup+0.700708 s]
/proc/loadavg: 2.00 2.00 2.00 2/434 8849
/proc/meminfo: memFree=12441272/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=14976 CPUtime=0.69 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 1433 0 0 0 68 1 0 0 25 0 1 0 829856557 15335424 1312 33554432000 134512640 137138936 4292455344 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 3744 1312 192 642 0 3100 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14976
[startup+1.50057 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 8850
/proc/meminfo: memFree=12435192/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=17716 CPUtime=1.49 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 2115 0 0 0 147 2 0 0 25 0 1 0 829856557 18141184 1994 33554432000 134512640 137138936 4292455344 18446744073709551615 134618533 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 4429 1994 192 642 0 3785 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17716
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 8850
/proc/meminfo: memFree=12430440/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=22888 CPUtime=3.09 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 3416 0 0 0 307 2 0 0 25 0 1 0 829856557 23437312 3295 33554432000 134512640 137138936 4292455344 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 5722 3295 192 642 0 5078 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22888
[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 8850
/proc/meminfo: memFree=12419696/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=31860 CPUtime=6.29 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 5649 0 0 0 627 2 0 0 25 0 1 0 829856557 32624640 5528 33554432000 134512640 137138936 4292455344 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 7965 5528 192 642 0 7321 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31860
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 8850
/proc/meminfo: memFree=12402716/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=47000 CPUtime=12.69 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 9424 0 0 0 1266 3 0 0 25 0 1 0 829856557 48128000 9303 33554432000 134512640 137138936 4292455344 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 11750 9303 192 642 0 11106 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47000
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 8850
/proc/meminfo: memFree=12374956/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=74888 CPUtime=25.49 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 16405 0 0 0 2543 6 0 0 25 0 1 0 829856557 76685312 16284 33554432000 134512640 137138936 4292455344 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 18722 16284 192 642 0 18078 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74888
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 8851
/proc/meminfo: memFree=12339624/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=111024 CPUtime=51.09 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 25444 0 0 0 5099 10 0 0 25 0 1 0 829856557 113688576 25323 33554432000 134512640 137138936 4292455344 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 27756 25323 192 642 0 27112 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111024
[startup+102.316 s]
/proc/loadavg: 2.07 2.03 2.01 3/435 8852
/proc/meminfo: memFree=12293988/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=154640 CPUtime=102.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 36356 0 0 0 10213 18 0 0 25 0 1 0 829856557 158351360 36235 33554432000 134512640 137138936 4292455344 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 38660 36235 192 642 0 38016 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 154640
[startup+162.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/435 8854
/proc/meminfo: memFree=12253924/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=194588 CPUtime=162.29 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 46337 0 0 0 16205 24 0 0 25 0 1 0 829856557 199258112 46216 33554432000 134512640 137138936 4292455344 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 48647 46216 192 642 0 48003 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 194588
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/435 8855
/proc/meminfo: memFree=12232212/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=216260 CPUtime=222.3 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 51742 0 0 0 22201 29 0 0 25 0 1 0 829856557 221450240 51621 33554432000 134512640 137138936 4292455344 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 54065 51621 192 642 0 53421 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 216260
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/435 8857
/proc/meminfo: memFree=12230092/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=218660 CPUtime=282.29 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 52419 0 0 0 28195 34 0 0 25 0 1 0 829856557 223907840 52226 33554432000 134512640 137138936 4292455344 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 54665 52226 192 642 0 54021 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 218660
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/435 8859
/proc/meminfo: memFree=12230208/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=218660 CPUtime=342.3 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 52419 0 0 0 34193 37 0 0 25 0 1 0 829856557 223907840 52226 33554432000 134512640 137138936 4292455344 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 54665 52226 192 642 0 54021 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 218660
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/435 8860
/proc/meminfo: memFree=12229956/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=218660 CPUtime=402.3 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 52419 0 0 0 40191 39 0 0 25 0 1 0 829856557 223907840 52226 33554432000 134512640 137138936 4292455344 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 54665 52226 192 642 0 54021 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 218660
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8862
/proc/meminfo: memFree=12209488/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=239540 CPUtime=462.3 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 57645 0 0 0 46187 43 0 0 25 0 1 0 829856557 245288960 57452 33554432000 134512640 137138936 4292455344 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 59885 57452 192 642 0 59241 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 239540
[startup+522.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/435 8890
/proc/meminfo: memFree=12072848/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=270116 CPUtime=522.3 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 65274 0 0 0 52183 47 0 0 25 0 1 0 829856557 276598784 65081 33554432000 134512640 137138936 4292455344 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 67529 65081 192 642 0 66885 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 270116
[startup+582.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/435 8892
/proc/meminfo: memFree=12055640/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294692 CPUtime=582.29 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71501 0 0 0 58179 50 0 0 25 0 1 0 829856557 301764608 71222 33554432000 134512640 137138936 4292455344 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73673 71222 192 642 0 73029 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 294692
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=12013792/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294728 CPUtime=1062.3 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71510 0 0 0 106156 74 0 0 25 0 1 0 829856557 301801472 71231 33554432000 134512640 137138936 4292455344 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73682 71231 192 642 0 73038 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 294728
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8906
/proc/meminfo: memFree=12012792/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294728 CPUtime=1122.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71510 0 0 0 112154 77 0 0 25 0 1 0 829856557 301801472 71231 33554432000 134512640 137138936 4292455344 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73682 71231 192 642 0 73038 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 294728
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8908
/proc/meminfo: memFree=12012784/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294728 CPUtime=1182.3 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71510 0 0 0 118150 80 0 0 25 0 1 0 829856557 301801472 71231 33554432000 134512640 137138936 4292455344 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73682 71231 192 642 0 73038 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 294728
[startup+1242.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/435 8910
/proc/meminfo: memFree=12012776/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294728 CPUtime=1242.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71510 0 0 0 124148 83 0 0 25 0 1 0 829856557 301801472 71231 33554432000 134512640 137138936 4292455344 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73682 71231 192 642 0 73038 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 294728
[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/435 8911
/proc/meminfo: memFree=12017108/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294740 CPUtime=1302.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71513 0 0 0 130146 85 0 0 25 0 1 0 829856557 301813760 71234 33554432000 134512640 137138936 4292455344 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73685 71234 192 642 0 73041 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 294740
[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8913
/proc/meminfo: memFree=12017100/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1362.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 136143 88 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 294764
[startup+1422.32 s]
/proc/loadavg: 2.14 2.06 2.01 3/435 8914
/proc/meminfo: memFree=12017592/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1422.33 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 142142 91 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 294764
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/435 8916
/proc/meminfo: memFree=12017460/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1482.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 148138 93 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 294764
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 8918
/proc/meminfo: memFree=12018200/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1542.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 154134 97 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 294764
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8919
/proc/meminfo: memFree=12017820/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1602.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 160132 99 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 294764
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8921
/proc/meminfo: memFree=12017564/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1662.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 166130 101 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 294764
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8922
/proc/meminfo: memFree=12014084/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1722.32 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 172128 104 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 294764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8924
/proc/meminfo: memFree=12012344/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1782.31 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 178123 108 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 294764
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8924
/proc/meminfo: memFree=12012096/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1785.51 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 178443 108 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134543015 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 294764
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8924
/proc/meminfo: memFree=12012348/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1791.93 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 179084 109 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 294764
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8924
/proc/meminfo: memFree=12012224/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1795.12 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 179403 109 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 294764
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8924
/proc/meminfo: memFree=12012224/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1796.71 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 179562 109 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 294764
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8924
/proc/meminfo: memFree=12012968/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1797.51 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 179642 109 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 294764
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8924
/proc/meminfo: memFree=12012968/32951132 swapFree=67093840/67111528
[pid=8849] ppid=8847 vsize=294764 CPUtime=1797.91 cores=1,3,5,7
/proc/8849/stat : 8849 (bsolo) R 8847 8849 6192 0 -1 4202496 71519 0 0 0 179682 109 0 0 25 0 1 0 829856557 301838336 71240 33554432000 134512640 137138936 4292455344 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8849/statm: 73691 71240 192 642 0 73047 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 294764
Child status: 0
Real time (s): 1798
CPU time (s): 1798.01
CPU user time (s): 1796.9
CPU system time (s): 1.11183
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 294764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.9
system time used= 1.11183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71520
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= 23820
runsolver used 7.44387 second user time and 18.4492 second system time
The end