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-3462849-1307184109/watcher-3462849-1307184109 -o /tmp/evaluation-result-3462849-1307184109/solver-3462849-1307184109 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462849-1307184109.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/415 8798
/proc/meminfo: memFree=25366684/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=11480 CPUtime=0 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 463 0 0 0 0 0 0 0 23 0 1 0 286020313 11755520 408 33554432000 134512640 137138936 4290055456 18446744073709551615 136382014 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 2870 410 180 642 0 2226 0
[startup+0.0744011 s]
/proc/loadavg: 2.00 2.01 2.00 3/415 8798
/proc/meminfo: memFree=25366684/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=12028 CPUtime=0.06 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 625 0 0 0 6 0 0 0 23 0 1 0 286020313 12316672 570 33554432000 134512640 137138936 4290055456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 3007 570 185 642 0 2363 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12028
[startup+0.100393 s]
/proc/loadavg: 2.00 2.01 2.00 3/415 8798
/proc/meminfo: memFree=25366684/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=12028 CPUtime=0.09 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 625 0 0 0 9 0 0 0 23 0 1 0 286020313 12316672 570 33554432000 134512640 137138936 4290055456 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 3007 570 185 642 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12028
[startup+0.300366 s]
/proc/loadavg: 2.00 2.01 2.00 3/415 8798
/proc/meminfo: memFree=25366684/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=12028 CPUtime=0.29 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 625 0 0 0 29 0 0 0 25 0 1 0 286020313 12316672 570 33554432000 134512640 137138936 4290055456 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 3007 570 185 642 0 2363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12028
[startup+0.700293 s]
/proc/loadavg: 2.00 2.01 2.00 3/415 8798
/proc/meminfo: memFree=25366684/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=12844 CPUtime=0.69 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 866 0 0 0 68 1 0 0 25 0 1 0 286020313 13152256 765 33554432000 134512640 137138936 4290055456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 3211 765 192 642 0 2567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12844
[startup+1.50015 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8799
/proc/meminfo: memFree=25362212/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=16836 CPUtime=1.48 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 1879 0 0 0 147 1 0 0 25 0 1 0 286020313 17240064 1778 33554432000 134512640 137138936 4290055456 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 4209 1778 192 642 0 3565 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16836
[startup+3.10087 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8799
/proc/meminfo: memFree=25356172/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=23764 CPUtime=3.09 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 3610 0 0 0 307 2 0 0 25 0 1 0 286020313 24334336 3509 33554432000 134512640 137138936 4290055456 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 5941 3509 192 642 0 5297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23764
[startup+6.30031 s]
/proc/loadavg: 2.08 2.02 2.01 3/416 8799
/proc/meminfo: memFree=25343152/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=35020 CPUtime=6.29 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 6409 0 0 0 626 3 0 0 25 0 1 0 286020313 35860480 6308 33554432000 134512640 137138936 4290055456 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 8755 6308 192 642 0 8111 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35020
[startup+12.7012 s]
/proc/loadavg: 2.07 2.02 2.00 3/416 8799
/proc/meminfo: memFree=25325396/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=51636 CPUtime=12.69 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 10563 0 0 0 1264 5 0 0 25 0 1 0 286020313 52875264 10462 33554432000 134512640 137138936 4290055456 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 12909 10462 192 642 0 12265 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51636
[startup+25.5009 s]
/proc/loadavg: 2.06 2.02 2.00 3/416 8799
/proc/meminfo: memFree=25297524/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=78688 CPUtime=25.49 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 17339 0 0 0 2540 9 0 0 25 0 1 0 286020313 80576512 17238 33554432000 134512640 137138936 4290055456 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 19672 17238 192 642 0 19028 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78688
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/416 8800
/proc/meminfo: memFree=25244672/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=114824 CPUtime=51.09 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 26363 0 0 0 5094 15 0 0 25 0 1 0 286020313 117579776 26262 33554432000 134512640 137138936 4290055456 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 28706 26262 192 642 0 28062 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114824
[startup+102.315 s]
/proc/loadavg: 2.14 2.04 2.01 3/416 8802
/proc/meminfo: memFree=25211036/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=130160 CPUtime=102.3 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 30283 0 0 0 10209 21 0 0 25 0 1 0 286020313 133283840 30102 33554432000 134512640 137138936 4290055456 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 32540 30102 192 642 0 31896 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 130160
[startup+162.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/416 8803
/proc/meminfo: memFree=25211136/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=130160 CPUtime=162.29 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 30283 0 0 0 16206 23 0 0 25 0 1 0 286020313 133283840 30102 33554432000 134512640 137138936 4290055456 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 32540 30102 192 642 0 31896 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 130160
[startup+222.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/416 8805
/proc/meminfo: memFree=25201432/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=130160 CPUtime=222.29 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 30283 0 0 0 22203 26 0 0 25 0 1 0 286020313 133283840 30102 33554432000 134512640 137138936 4290055456 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 32540 30102 192 642 0 31896 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 130160
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/416 8806
/proc/meminfo: memFree=25201668/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=130160 CPUtime=282.29 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 30283 0 0 0 28201 28 0 0 25 0 1 0 286020313 133283840 30102 33554432000 134512640 137138936 4290055456 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 32540 30102 192 642 0 31896 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 130160
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8808
/proc/meminfo: memFree=25206484/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=135916 CPUtime=342.29 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 31708 0 0 0 34198 31 0 0 25 0 1 0 286020313 139177984 31527 33554432000 134512640 137138936 4290055456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 33979 31527 192 642 0 33335 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 135916
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8809
/proc/meminfo: memFree=25209432/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=135916 CPUtime=402.29 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 31708 0 0 0 40195 34 0 0 25 0 1 0 286020313 139177984 31527 33554432000 134512640 137138936 4290055456 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 33979 31527 192 642 0 33335 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 135916
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8811
/proc/meminfo: memFree=25207064/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=137540 CPUtime=462.3 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 32138 0 0 0 46193 37 0 0 25 0 1 0 286020313 140840960 31957 33554432000 134512640 137138936 4290055456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 34385 31957 192 642 0 33741 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 137540
[startup+522.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/416 8867
/proc/meminfo: memFree=25753796/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=145732 CPUtime=522.29 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 34173 0 0 0 52189 40 0 0 25 0 1 0 286020313 149229568 33992 33554432000 134512640 137138936 4290055456 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 36433 33992 192 642 0 35789 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 145732
[startup+582.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/416 8868
/proc/meminfo: memFree=25515704/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=154128 CPUtime=582.3 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 36261 0 0 0 58187 43 0 0 25 0 1 0 286020313 157827072 36080 33554432000 134512640 137138936 4290055456 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 38532 36080 192 642 0 37888 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 154128
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24821916/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=172280 CPUtime=1062.32 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 40907 0 0 0 106177 55 0 0 25 0 1 0 286020313 176414720 40636 33554432000 134512640 137138936 4290055456 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 43070 40636 192 642 0 42426 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 172280
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8883
/proc/meminfo: memFree=24822016/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=172280 CPUtime=1122.31 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 40907 0 0 0 112175 56 0 0 25 0 1 0 286020313 176414720 40636 33554432000 134512640 137138936 4290055456 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 43070 40636 192 642 0 42426 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 172280
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/416 8893
/proc/meminfo: memFree=24821828/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=172280 CPUtime=1182.31 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 40907 0 0 0 118173 58 0 0 25 0 1 0 286020313 176414720 40636 33554432000 134512640 137138936 4290055456 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 43070 40636 192 642 0 42426 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 172280
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8895
/proc/meminfo: memFree=24821044/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=172280 CPUtime=1242.31 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 40907 0 0 0 124172 59 0 0 25 0 1 0 286020313 176414720 40636 33554432000 134512640 137138936 4290055456 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 43070 40636 192 642 0 42426 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 172280
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8897
/proc/meminfo: memFree=24804668/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=189120 CPUtime=1302.33 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 45128 0 0 0 130171 62 0 0 25 0 1 0 286020313 193658880 44857 33554432000 134512640 137138936 4290055456 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 47280 44857 192 642 0 46636 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 189120
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 8898
/proc/meminfo: memFree=24795852/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198320 CPUtime=1362.32 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47500 0 0 0 136169 63 0 0 25 0 1 0 286020313 203079680 47129 33554432000 134512640 137138936 4290055456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49580 47129 192 642 0 48936 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 198320
[startup+1422.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/416 8900
/proc/meminfo: memFree=24796336/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198320 CPUtime=1422.33 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47500 0 0 0 142169 64 0 0 25 0 1 0 286020313 203079680 47129 33554432000 134512640 137138936 4290055456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49580 47129 192 642 0 48936 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 198320
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/416 8901
/proc/meminfo: memFree=24796444/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198320 CPUtime=1482.32 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47500 0 0 0 148163 69 0 0 25 0 1 0 286020313 203079680 47129 33554432000 134512640 137138936 4290055456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49580 47129 192 642 0 48936 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 198320
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 8903
/proc/meminfo: memFree=24797668/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198320 CPUtime=1542.32 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47500 0 0 0 154159 73 0 0 25 0 1 0 286020313 203079680 47129 33554432000 134512640 137138936 4290055456 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49580 47129 192 642 0 48936 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 198320
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8904
/proc/meminfo: memFree=24797648/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198320 CPUtime=1602.33 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47500 0 0 0 160155 78 0 0 25 0 1 0 286020313 203079680 47129 33554432000 134512640 137138936 4290055456 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49580 47129 192 642 0 48936 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 198320
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8906
/proc/meminfo: memFree=24797640/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198320 CPUtime=1662.32 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47500 0 0 0 166152 80 0 0 25 0 1 0 286020313 203079680 47129 33554432000 134512640 137138936 4290055456 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49580 47129 192 642 0 48936 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 198320
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/416 8908
/proc/meminfo: memFree=24797628/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198356 CPUtime=1722.33 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47509 0 0 0 172150 83 0 0 25 0 1 0 286020313 203116544 47138 33554432000 134512640 137138936 4290055456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49589 47138 192 642 0 48945 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 198356
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8909
/proc/meminfo: memFree=24795512/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198356 CPUtime=1782.33 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47509 0 0 0 178144 89 0 0 25 0 1 0 286020313 203116544 47138 33554432000 134512640 137138936 4290055456 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49589 47138 192 642 0 48945 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 198356
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8909
/proc/meminfo: memFree=24795264/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198356 CPUtime=1785.53 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47509 0 0 0 178464 89 0 0 25 0 1 0 286020313 203116544 47138 33554432000 134512640 137138936 4290055456 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49589 47138 192 642 0 48945 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 198356
[startup+1791.92 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8909
/proc/meminfo: memFree=24796248/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198356 CPUtime=1791.94 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47509 0 0 0 179104 90 0 0 25 0 1 0 286020313 203116544 47138 33554432000 134512640 137138936 4290055456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49589 47138 192 642 0 48945 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 198356
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8909
/proc/meminfo: memFree=24795504/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198356 CPUtime=1795.14 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47509 0 0 0 179423 91 0 0 25 0 1 0 286020313 203116544 47138 33554432000 134512640 137138936 4290055456 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49589 47138 192 642 0 48945 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 198356
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8910
/proc/meminfo: memFree=24795504/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198356 CPUtime=1796.73 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47509 0 0 0 179582 91 0 0 25 0 1 0 286020313 203116544 47138 33554432000 134512640 137138936 4290055456 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49589 47138 192 642 0 48945 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 198356
[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8910
/proc/meminfo: memFree=24795504/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198356 CPUtime=1797.53 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47509 0 0 0 179662 91 0 0 25 0 1 0 286020313 203116544 47138 33554432000 134512640 137138936 4290055456 18446744073709551615 136515987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49589 47138 192 642 0 48945 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 198356
[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8910
/proc/meminfo: memFree=24795504/32950928 swapFree=52006644/67111528
[pid=8798] ppid=8796 vsize=198356 CPUtime=1797.93 cores=1,3,5,7
/proc/8798/stat : 8798 (bsolo) R 8796 8798 6914 0 -1 4202496 47509 0 0 0 179702 91 0 0 25 0 1 0 286020313 203116544 47138 33554432000 134512640 137138936 4290055456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8798/statm: 49589 47138 192 642 0 48945 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 198356
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1797.09
CPU system time (s): 0.923859
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 198720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.09
system time used= 0.923859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47510
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= 22262
runsolver used 7.08392 second user time and 17.1434 second system time
The end