0.09/0.17	c SCIP version 1.1.0.7
0.09/0.17	c LP-Solver Clp 1.8.2
0.09/0.17	c user parameter file <scip.set> not found - using default parameters
0.09/0.17	c read problem <HOME/instance-1870401-1245201999.opb>
0.09/0.17	c original problem has 16811 variables (16811 bin, 0 int, 0 impl, 0 cont) and 16811 constraints
0.29/0.33	c start presolving problem
0.29/0.33	c presolving:
0.69/0.73	c (round 1) 15811 del vars, 1000 del conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63244 impls, 0 clqs
1.39/1.45	c    (1.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.45	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.39/1.45	c presolving (2 rounds):
1.39/1.45	c  15811 deleted vars, 1000 deleted constraints, 15811 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.45	c  94866 implications, 0 cliques
1.39/1.45	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15811 constraints
1.39/1.45	c   15811 constraints of type <and>
1.39/1.45	c transformed objective value is always integral (scale: 1)
1.39/1.45	c Presolving Time: 1.01
1.39/1.45	c OPT-NLC
1.39/1.45	c -----------------------------------------------------------------------------------------------
1.39/1.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.45	c limits/memory = c 1620
1.39/1.45	c # maximal time in seconds to run
1.39/1.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.45	c limits/time = c 1791
1.39/1.45	c # frequency for displaying node information lines
1.39/1.45	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.45	c display/freq = c 10000
1.39/1.45	c -----------------------------------------------------------------------------------------------
1.39/1.45	c start solving problem
1.39/1.45	c 
1.79/1.82	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.79/1.82	c   1.4s|     1 |     0 |  1051 |  59M|   0 |1000 |1000 |  15k|  15k|1000 |  15k|   0 |   0 |   0 |-5.000000e+02 |      --      |    Inf 
1.79/1.85	o -94
1.79/1.85	c R 1.4s|     1 |     0 |  1051 |  59M|   0 |1000 |1000 |  15k|  15k|1000 |  15k|   0 |   0 |   0 |-5.000000e+02 |-9.400000e+01 |  81.20%
2.59/2.65	c   2.2s|     1 |     0 |  1182 |  59M|   0 | 988 |1000 |  15k|  15k|1000 |  15k|  14 |   0 |   0 |-4.940000e+02 |-9.400000e+01 |  80.97%
3.38/3.42	c   3.0s|     1 |     0 |  1276 |  59M|   0 | 985 |1000 |  15k|  15k|1000 |  15k|  21 |   0 |   0 |-4.925000e+02 |-9.400000e+01 |  80.91%
4.28/4.31	c   3.9s|     1 |     0 |  1411 |  59M|   0 | 980 |1000 |  15k|  15k|1000 |  15k|  29 |   0 |   0 |-4.900000e+02 |-9.400000e+01 |  80.82%
5.48/5.51	c   5.1s|     1 |     0 |  1656 |  59M|   0 | 972 |1000 |  15k|  15k|1000 |  15k|  40 |   0 |   0 |-4.860000e+02 |-9.400000e+01 |  80.66%
6.68/6.79	c   6.3s|     1 |     0 |  1918 |  59M|   0 | 968 |1000 |  15k|  15k|1000 |  15k|  50 |   0 |   0 |-4.840000e+02 |-9.400000e+01 |  80.58%
8.38/8.48	c   8.0s|     1 |     0 |  2240 |  59M|   0 | 965 |1000 |  15k|  15k|1000 |  15k|  57 |   0 |   0 |-4.825000e+02 |-9.400000e+01 |  80.52%
9.38/9.43	c   9.0s|     1 |     0 |  2359 |  59M|   0 | 961 |1000 |  15k|  15k|1000 |  15k|  65 |   0 |   0 |-4.805000e+02 |-9.400000e+01 |  80.44%
10.38/10.49	c  10.0s|     1 |     0 |  2541 |  59M|   0 | 956 |1000 |  15k|  15k|1000 |  15k|  77 |   0 |   0 |-4.780000e+02 |-9.400000e+01 |  80.33%
12.28/12.33	c  11.9s|     1 |     0 |  3013 |  59M|   0 | 953 |1000 |  15k|  15k|1000 |  15k|  83 |   0 |   0 |-4.765000e+02 |-9.400000e+01 |  80.27%
14.29/14.38	c  13.9s|     1 |     0 |  3454 |  59M|   0 | 948 |1000 |  15k|  15k|1000 |  15k|  91 |   0 |   0 |-4.740000e+02 |-9.400000e+01 |  80.17%
16.27/16.36	c  15.9s|     1 |     0 |  3860 |  60M|   0 | 943 |1000 |  15k|  15k|1000 |1359 | 100 |   0 |   0 |-4.715000e+02 |-9.400000e+01 |  80.06%
16.88/16.91	c  16.4s|     1 |     0 |  4165 |  60M|   0 | 934 |1000 |  15k|  15k|1000 |1367 | 108 |   0 |   0 |-4.710000e+02 |-9.400000e+01 |  80.04%
17.28/17.38	c  16.9s|     1 |     0 |  4592 |  60M|   0 | 939 |1000 |  15k|  15k|1000 |1474 | 215 |   0 |   0 |-4.705000e+02 |-9.400000e+01 |  80.02%
17.98/18.08	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.98/18.08	c  17.6s|     1 |     0 |  5258 |  61M|   0 | 933 |1000 |  15k|  15k|1000 |1784 | 525 |   0 |   0 |-4.680000e+02 |-9.400000e+01 |  79.91%
18.98/19.07	c  18.6s|     1 |     0 |  5979 |  61M|   0 | 929 |1000 |  15k|  15k|1000 |2841 |1582 |   0 |   0 |-4.655000e+02 |-9.400000e+01 |  79.81%
20.18/20.24	c  19.7s|     1 |     0 |  7339 |  61M|   0 | 923 |1000 |  15k|  15k|1000 |2872 |1613 |   0 |   0 |-4.635000e+02 |-9.400000e+01 |  79.72%
21.08/21.12	c  20.6s|     1 |     0 |  8164 |  61M|   0 | 918 |1000 |  15k|  15k|1000 |2539 |1663 |   0 |   0 |-4.610000e+02 |-9.400000e+01 |  79.61%
21.68/21.80	c  21.3s|     1 |     0 |  8996 |  61M|   0 | 949 |1000 |  15k|  15k|1000 |2589 |1713 |   0 |   0 |-4.600698e+02 |-9.400000e+01 |  79.57%
23.97/24.08	c  23.6s|     1 |     0 |  9625 |  61M|   0 | 920 |1000 |  15k|  15k|1000 |4589 |3713 |   0 |   0 |-4.600000e+02 |-9.400000e+01 |  79.57%
25.18/25.26	c  24.7s|     1 |     0 | 10513 |  61M|   0 | 920 |1000 |  15k|  15k|1000 |4595 |3719 |   0 |   0 |-4.580000e+02 |-9.400000e+01 |  79.48%
26.38/26.43	c  25.9s|     1 |     0 | 11377 |  62M|   0 | 913 |1000 |  15k|  15k|1000 |4633 |3757 |   0 |   0 |-4.575000e+02 |-9.400000e+01 |  79.45%
27.48/27.57	c  27.0s|     1 |     0 | 12204 |  62M|   0 | 921 |1000 |  15k|  15k|1000 |4670 |3794 |   0 |   0 |-4.567500e+02 |-9.400000e+01 |  79.42%
28.97/29.01	c  28.5s|     1 |     0 | 13221 |  62M|   0 | 912 |1000 |  15k|  15k|1000 |4425 |3803 |   0 |   0 |-4.560000e+02 |-9.400000e+01 |  79.39%
29.68/29.78	c  29.2s|     1 |     0 | 13967 |  62M|   0 | 917 |1000 |  15k|  15k|1000 |4454 |3832 |   0 |   0 |-4.545000e+02 |-9.400000e+01 |  79.32%
31.07/31.10	c  30.6s|     1 |     0 | 14876 |  62M|   0 | 917 |1000 |  15k|  15k|1000 |4483 |3861 |   0 |   0 |-4.540000e+02 |-9.400000e+01 |  79.30%
32.37/32.42	c  31.9s|     1 |     0 | 15778 |  62M|   0 | 904 |1000 |  15k|  15k|1000 |4561 |3939 |   0 |   0 |-4.530000e+02 |-9.400000e+01 |  79.25%
34.77/34.81	c  34.2s|     1 |     0 | 17503 |  62M|   0 | 898 |1000 |  15k|  15k|1000 |4593 |3971 |   0 |   0 |-4.510000e+02 |-9.400000e+01 |  79.16%
36.86/36.94	c  36.4s|     1 |     0 | 19386 |  62M|   0 | 899 |1000 |  15k|  15k|1000 |4642 |4020 |   0 |   0 |-4.495000e+02 |-9.400000e+01 |  79.09%
39.47/39.60	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
39.47/39.60	c  39.0s|     1 |     0 | 21189 |  62M|   0 | 887 |1000 |  15k|  15k|1000 |3156 |4029 |   0 |   0 |-4.475000e+02 |-9.400000e+01 |  78.99%
40.76/40.88	c  40.3s|     1 |     0 | 22752 |  63M|   0 | 882 |1000 |  15k|  15k|1000 |3257 |4130 |   0 |   0 |-4.460000e+02 |-9.400000e+01 |  78.92%
42.06/42.17	c  41.6s|     1 |     0 | 24125 |  63M|   0 | 894 |1000 |  15k|  15k|1000 |3407 |4280 |   0 |   0 |-4.442500e+02 |-9.400000e+01 |  78.84%
43.16/43.22	c  42.6s|     1 |     0 | 25106 |  63M|   0 | 884 |1000 |  15k|  15k|1000 |3496 |4369 |   0 |   0 |-4.435000e+02 |-9.400000e+01 |  78.80%
46.07/46.17	c  45.6s|     1 |     0 | 27628 |  63M|   0 | 893 |1000 |  15k|  15k|1000 |3593 |4466 |   0 |   0 |-4.423333e+02 |-9.400000e+01 |  78.75%
46.96/47.10	c  46.5s|     1 |     0 | 28520 |  63M|   0 | 880 |1000 |  15k|  15k|1000 |3834 |4707 |   0 |   0 |-4.410000e+02 |-9.400000e+01 |  78.68%
48.36/48.49	c  47.9s|     1 |     0 | 29539 |  63M|   0 | 880 |1000 |  15k|  15k|1000 |3554 |4731 |   0 |   0 |-4.400000e+02 |-9.400000e+01 |  78.64%
49.36/49.45	c  48.8s|     1 |     0 | 30502 |  63M|   0 | 877 |1000 |  15k|  15k|1000 |3561 |4738 |   0 |   0 |-4.395000e+02 |-9.400000e+01 |  78.61%
49.96/50.05	c  49.4s|     1 |     0 | 31011 |  63M|   0 | 877 |1000 |  15k|  15k|1000 |3729 |4906 |   0 |   0 |-4.385000e+02 |-9.400000e+01 |  78.56%
51.26/51.36	c  50.7s|     1 |     0 | 32319 |  63M|   0 | 882 |1000 |  15k|  15k|1000 |3738 |4915 |   0 |   0 |-4.376667e+02 |-9.400000e+01 |  78.52%
52.95/53.02	c  52.4s|     1 |     0 | 33719 |  64M|   0 | 868 |1000 |  15k|  15k|1000 |4152 |5329 |   0 |   0 |-4.360000e+02 |-9.400000e+01 |  78.44%
54.56/54.67	c  54.0s|     1 |     0 | 34857 |  64M|   0 | 863 |1000 |  15k|  15k|1000 |4203 |5380 |   0 |   0 |-4.350000e+02 |-9.400000e+01 |  78.39%
56.46/56.52	c  55.8s|     1 |     0 | 36284 |  64M|   0 | 864 |1000 |  15k|  15k|1000 |3854 |5504 |   0 |   0 |-4.340000e+02 |-9.400000e+01 |  78.34%
57.85/57.92	c  57.2s|     1 |     0 | 37637 |  64M|   0 | 858 |1000 |  15k|  15k|1000 |3905 |5555 |   0 |   0 |-4.320000e+02 |-9.400000e+01 |  78.24%
59.96/60.02	c  59.3s|     1 |     0 | 39539 |  64M|   0 | 856 |1000 |  15k|  15k|1000 |3992 |5642 |   0 |   0 |-4.310000e+02 |-9.400000e+01 |  78.19%
61.86/61.98	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
61.86/61.98	c  61.3s|     1 |     0 | 41083 |  64M|   0 | 854 |1000 |  15k|  15k|1000 |4083 |5733 |   0 |   0 |-4.295000e+02 |-9.400000e+01 |  78.11%
63.56/63.66	c  62.9s|     1 |     0 | 42471 |  64M|   0 | 850 |1000 |  15k|  15k|1000 |4183 |5833 |   0 |   0 |-4.285000e+02 |-9.400000e+01 |  78.06%
65.36/65.48	c  64.8s|     1 |     0 | 44026 |  65M|   0 | 854 |1000 |  15k|  15k|1000 |4305 |5955 |   0 |   0 |-4.267500e+02 |-9.400000e+01 |  77.97%
66.95/67.09	c  66.3s|     1 |     0 | 45390 |  65M|   0 | 860 |1000 |  15k|  15k|1000 |3773 |5985 |   0 |   0 |-4.260000e+02 |-9.400000e+01 |  77.93%
68.66/68.70	c  67.9s|     1 |     0 | 46840 |  65M|   0 | 843 |1000 |  15k|  15k|1000 |3831 |6043 |   0 |   0 |-4.255000e+02 |-9.400000e+01 |  77.91%
71.25/71.39	c  70.6s|     1 |     0 | 49139 |  65M|   0 | 872 |1000 |  15k|  15k|1000 |3914 |6126 |   0 |   0 |-4.242500e+02 |-9.400000e+01 |  77.84%
73.75/73.85	c  73.1s|     1 |     0 | 51058 |  65M|   0 | 846 |1000 |  15k|  15k|1000 |4099 |6311 |   0 |   0 |-4.230000e+02 |-9.400000e+01 |  77.78%
76.35/76.46	c  75.7s|     1 |     0 | 53371 |  65M|   0 | 853 |1000 |  15k|  15k|1000 |4110 |6322 |   0 |   0 |-4.210833e+02 |-9.400000e+01 |  77.68%
78.15/78.24	c  77.4s|     1 |     0 | 55045 |  65M|   0 | 845 |1000 |  15k|  15k|1000 |4302 |6514 |   0 |   0 |-4.190000e+02 |-9.400000e+01 |  77.57%
80.55/80.65	c  79.8s|     1 |     0 | 56722 |  66M|   0 | 835 |1000 |  15k|  15k|1000 |3672 |6536 |   0 |   0 |-4.185000e+02 |-9.400000e+01 |  77.54%
82.85/82.97	c  82.2s|     1 |     0 | 59009 |  66M|   0 | 867 |1000 |  15k|  15k|1000 |3707 |6571 |   0 |   0 |-4.175000e+02 |-9.400000e+01 |  77.49%
86.35/86.46	c  85.6s|     1 |     0 | 61879 |  66M|   0 | 858 |1000 |  15k|  15k|1000 |3892 |6756 |   0 |   0 |-4.160833e+02 |-9.400000e+01 |  77.41%
87.65/87.71	c  86.9s|     1 |     0 | 63181 |  66M|   0 | 837 |1000 |  15k|  15k|1000 |4110 |6974 |   0 |   0 |-4.140000e+02 |-9.400000e+01 |  77.29%
89.15/89.29	c  88.5s|     1 |     0 | 64598 |  66M|   0 | 821 |1000 |  15k|  15k|1000 |4139 |7003 |   0 |   0 |-4.125000e+02 |-9.400000e+01 |  77.21%
91.75/91.85	c  91.0s|     1 |     0 | 66721 |  66M|   0 | 826 |1000 |  15k|  15k|1000 |4191 |7055 |   0 |   0 |-4.110000e+02 |-9.400000e+01 |  77.13%
94.75/94.89	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
94.75/94.89	c  94.0s|     1 |     0 | 69114 |  66M|   0 | 845 |1000 |  15k|  15k|1000 |3826 |7082 |   0 |   0 |-4.100000e+02 |-9.400000e+01 |  77.07%
97.24/97.37	c  96.5s|     1 |     0 | 71183 |  67M|   0 | 835 |1000 |  15k|  15k|1000 |3859 |7115 |   0 |   0 |-4.093333e+02 |-9.400000e+01 |  77.04%
100.45/100.51	c  99.7s|     1 |     0 | 73968 |  67M|   0 | 928 |1000 |  15k|  15k|1000 |3927 |7183 |   0 |   0 |-4.088667e+02 |-9.400000e+01 |  77.01%
104.54/104.65	c   104s|     1 |     0 | 75214 |  68M|   0 | 839 |1000 |  15k|  15k|1000 |5927 |9183 |   0 |   0 |-4.085000e+02 |-9.400000e+01 |  76.99%
108.55/108.60	c   108s|     1 |     0 | 77580 |  69M|   0 | 825 |1000 |  15k|  15k|1000 |5961 |9217 |   0 |   0 |-4.077647e+02 |-9.400000e+01 |  76.95%
110.44/110.50	c   110s|     1 |     0 | 79130 |  69M|   0 | 843 |1000 |  15k|  15k|1000 |5996 |9252 |   0 |   0 |-4.066818e+02 |-9.400000e+01 |  76.89%
113.94/114.07	c   113s|     1 |     0 | 81588 |  69M|   0 | 820 |1000 |  15k|  15k|1000 |5510 |9297 |   0 |   0 |-4.058333e+02 |-9.400000e+01 |  76.84%
115.54/115.66	c   115s|     1 |     0 | 82697 |  69M|   0 | 827 |1000 |  15k|  15k|1000 |5518 |9305 |   0 |   0 |-4.055500e+02 |-9.400000e+01 |  76.82%
118.14/118.23	c   117s|     1 |     0 | 84717 |  69M|   0 | 843 |1000 |  15k|  15k|1000 |5528 |9315 |   0 |   0 |-4.046250e+02 |-9.400000e+01 |  76.77%
121.64/121.71	c   121s|     1 |     0 | 87187 |  70M|   0 | 822 |1000 |  15k|  15k|1000 |5600 |9387 |   0 |   0 |-4.034583e+02 |-9.400000e+01 |  76.70%
123.04/123.10	c   122s|     1 |     0 | 88430 |  70M|   0 | 867 |1000 |  15k|  15k|1000 |5609 |9396 |   0 |   0 |-4.026875e+02 |-9.400000e+01 |  76.66%
128.84/128.96	c   128s|     1 |     0 | 91606 |  71M|   0 | 817 |1000 |  15k|  15k|1000 |5641 |9428 |   0 |   0 |-4.015000e+02 |-9.400000e+01 |  76.59%
137.13/137.20	c   136s|     1 |     0 | 95966 |  71M|   0 | 828 |1000 |  15k|  15k|1000 |5269 |9437 |   0 |   0 |-4.007500e+02 |-9.400000e+01 |  76.54%
138.44/138.55	c   138s|     1 |     0 | 97001 |  71M|   0 | 802 |1000 |  15k|  15k|1000 |5339 |9507 |   0 |   0 |-4.000000e+02 |-9.400000e+01 |  76.50%
140.54/140.65	c   140s|     1 |     0 | 98657 |  72M|   0 | 809 |1000 |  15k|  15k|1000 |5366 |9534 |   0 |   0 |-3.992500e+02 |-9.400000e+01 |  76.46%
143.33/143.45	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
143.33/143.45	c   142s|     1 |     0 |100464 |  72M|   0 | 829 |1000 |  15k|  15k|1000 |5465 |9633 |   0 |   0 |-3.987500e+02 |-9.400000e+01 |  76.43%
149.83/149.97	c   149s|     1 |     0 |104077 |  72M|   0 | 825 |1000 |  15k|  15k|1000 |5502 |9670 |   0 |   0 |-3.980000e+02 |-9.400000e+01 |  76.38%
156.33/156.41	c   155s|     1 |     0 |107622 |  72M|   0 | 823 |1000 |  15k|  15k|1000 |5513 |9681 |   0 |   0 |-3.980000e+02 |-9.400000e+01 |  76.38%
163.03/163.15	c   162s|     1 |     0 |110911 |  73M|   0 | 851 |1000 |  15k|  15k|1000 |4175 |9689 |   0 |   0 |-3.977500e+02 |-9.400000e+01 |  76.37%
164.33/164.43	c   163s|     1 |     0 |111931 |  74M|   0 | 800 |1000 |  15k|  15k|1000 |4204 |9718 |   0 |   0 |-3.970000e+02 |-9.400000e+01 |  76.32%
166.13/166.25	c   165s|     1 |     0 |113191 |  74M|   0 | 799 |1000 |  15k|  15k|1000 |4242 |9756 |   0 |   0 |-3.960000e+02 |-9.400000e+01 |  76.26%
168.53/168.63	c   168s|     1 |     0 |114860 |  75M|   0 | 797 |1000 |  15k|  15k|1000 |4268 |9782 |   0 |   0 |-3.955000e+02 |-9.400000e+01 |  76.23%
171.92/172.01	c   171s|     1 |     0 |117322 |  75M|   0 | 829 |1000 |  15k|  15k|1000 |4293 |9807 |   0 |   0 |-3.947857e+02 |-9.400000e+01 |  76.19%
173.13/173.23	c   172s|     1 |     0 |118314 |  75M|   0 | 821 |1000 |  15k|  15k|1000 |4416 |9930 |   0 |   0 |-3.943333e+02 |-9.400000e+01 |  76.16%
175.23/175.35	c   174s|     1 |     0 |119803 |  75M|   0 | 802 |1000 |  15k|  15k|1000 |4011 |9979 |   0 |   0 |-3.938333e+02 |-9.400000e+01 |  76.13%
176.93/177.01	c   176s|     1 |     0 |121182 |  75M|   0 | 837 |1000 |  15k|  15k|1000 |4036 |  10k|   0 |   0 |-3.935000e+02 |-9.400000e+01 |  76.11%
180.42/180.59	c   180s|     1 |     0 |124009 |  76M|   0 | 809 |1000 |  15k|  15k|1000 |4147 |  10k|   0 |   0 |-3.920000e+02 |-9.400000e+01 |  76.02%
182.12/182.21	c   181s|     1 |     0 |125473 |  77M|   0 | 814 |1000 |  15k|  15k|1000 |4197 |  10k|   0 |   0 |-3.914545e+02 |-9.400000e+01 |  75.99%
184.12/184.23	c   183s|     1 |     0 |127292 |  77M|   0 | 834 |1000 |  15k|  15k|1000 |4304 |  10k|   0 |   0 |-3.910000e+02 |-9.400000e+01 |  75.96%
187.42/187.58	c   187s|     1 |     0 |129662 |  78M|   0 | 805 |1000 |  15k|  15k|1000 |4375 |  10k|   0 |   0 |-3.895000e+02 |-9.400000e+01 |  75.87%
191.52/191.60	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
191.52/191.60	c   191s|     1 |     0 |132430 |  78M|   0 | 840 |1000 |  15k|  15k|1000 |4170 |  10k|   0 |   0 |-3.885556e+02 |-9.400000e+01 |  75.81%
193.92/194.08	c   193s|     1 |     0 |134353 |  79M|   0 | 805 |1000 |  15k|  15k|1000 |4218 |  10k|   0 |   0 |-3.880000e+02 |-9.400000e+01 |  75.77%
197.82/197.93	c   197s|     1 |     0 |137481 |  80M|   0 | 834 |1000 |  15k|  15k|1000 |4230 |  10k|   0 |   0 |-3.870300e+02 |-9.400000e+01 |  75.71%
199.32/199.41	c   198s|     1 |     0 |139036 |  81M|   0 | 855 |1000 |  15k|  15k|1000 |4406 |  10k|   0 |   0 |-3.855556e+02 |-9.400000e+01 |  75.62%
200.92/201.04	c   200s|     1 |     0 |140478 |  82M|   0 | 875 |1000 |  15k|  15k|1000 |4607 |  10k|   0 |   0 |-3.846316e+02 |-9.400000e+01 |  75.56%
203.42/203.58	c   202s|     1 |     0 |142713 |  83M|   0 | 847 |1000 |  15k|  15k|1000 |4814 |  11k|   0 |   0 |-3.838667e+02 |-9.400000e+01 |  75.51%
206.12/206.30	c   205s|     1 |     0 |144859 |  83M|   0 | 788 |1000 |  15k|  15k|1000 |4568 |  11k|   0 |   0 |-3.833000e+02 |-9.400000e+01 |  75.48%
208.32/208.47	c   207s|     1 |     0 |146812 |  85M|   0 | 872 |1000 |  15k|  15k|1000 |4611 |  11k|   0 |   0 |-3.824106e+02 |-9.400000e+01 |  75.42%
210.51/210.68	c   210s|     1 |     0 |148682 |  86M|   0 | 880 |1000 |  15k|  15k|1000 |4832 |  11k|   0 |   0 |-3.812743e+02 |-9.400000e+01 |  75.35%
213.02/213.18	c   212s|     1 |     0 |150583 |  90M|   0 | 799 |1000 |  15k|  15k|1000 |4982 |  11k|   0 |   0 |-3.795000e+02 |-9.400000e+01 |  75.23%
217.01/217.15	c   216s|     1 |     0 |153541 |  92M|   0 | 899 |1000 |  15k|  15k|1000 |5049 |  11k|   0 |   0 |-3.786174e+02 |-9.400000e+01 |  75.17%
220.41/220.52	c   219s|     1 |     0 |155971 |  92M|   0 | 869 |1000 |  15k|  15k|1000 |5215 |  11k|   0 |   0 |-3.768812e+02 |-9.400000e+01 |  75.06%
227.21/227.34	c   226s|     1 |     0 |159782 |  93M|   0 | 832 |1000 |  15k|  15k|1000 |5234 |  11k|   0 |   0 |-3.760000e+02 |-9.400000e+01 |  75.00%
233.50/233.65	c   232s|     1 |     0 |163247 |  93M|   0 | 845 |1000 |  15k|  15k|1000 |5242 |  11k|   0 |   0 |-3.760000e+02 |-9.400000e+01 |  75.00%
241.60/241.79	c   241s|     1 |     0 |167388 |  93M|   0 | 836 |1000 |  15k|  15k|1000 |5285 |  11k|   0 |   0 |-3.754167e+02 |-9.400000e+01 |  74.96%
244.41/244.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
244.41/244.53	c   243s|     1 |     0 |169584 |  96M|   0 | 894 |1000 |  15k|  15k|1000 |5294 |  11k|   0 |   0 |-3.741015e+02 |-9.400000e+01 |  74.87%
247.31/247.42	c   246s|     1 |     0 |171831 |  97M|   0 | 908 |1000 |  15k|  15k|1000 |5325 |  11k|   0 |   0 |-3.729263e+02 |-9.400000e+01 |  74.79%
250.61/250.73	c   249s|     1 |     0 |174008 |  97M|   0 | 863 |1000 |  15k|  15k|1000 |5465 |  12k|   0 |   0 |-3.720300e+02 |-9.400000e+01 |  74.73%
253.50/253.60	c   252s|     1 |     0 |175859 |  99M|   0 | 903 |1000 |  15k|  15k|1000 |5111 |  12k|   0 |   0 |-3.711402e+02 |-9.400000e+01 |  74.67%
256.60/256.74	c   255s|     1 |     0 |178022 |  99M|   0 | 930 |1000 |  15k|  15k|1000 |5204 |  12k|   0 |   0 |-3.693026e+02 |-9.400000e+01 |  74.55%
259.71/259.81	c   259s|     1 |     0 |179876 |  99M|   0 | 915 |1000 |  15k|  15k|1000 |5312 |  12k|   0 |   0 |-3.680058e+02 |-9.400000e+01 |  74.46%
262.50/262.65	c   261s|     1 |     0 |181467 | 100M|   0 | 907 |1000 |  15k|  15k|1000 |5369 |  12k|   0 |   0 |-3.668701e+02 |-9.400000e+01 |  74.38%
264.80/264.95	c   264s|     1 |     0 |182513 | 100M|   0 | 912 |1000 |  15k|  15k|1000 |5398 |  12k|   0 |   0 |-3.662490e+02 |-9.400000e+01 |  74.33%
268.31/268.46	c   267s|     1 |     0 |184417 | 100M|   0 | 921 |1000 |  15k|  15k|1000 |5437 |  12k|   0 |   0 |-3.650292e+02 |-9.400000e+01 |  74.25%
271.90/272.05	c   271s|     1 |     0 |186377 | 100M|   0 | 934 |1000 |  15k|  15k|1000 |5236 |  12k|   0 |   0 |-3.638382e+02 |-9.400000e+01 |  74.16%
274.80/274.93	c   274s|     1 |     0 |187819 | 100M|   0 | 923 |1000 |  15k|  15k|1000 |5260 |  12k|   0 |   0 |-3.633860e+02 |-9.400000e+01 |  74.13%
277.89/278.08	c   277s|     1 |     0 |189476 |  99M|   0 | 946 |1000 |  15k|  15k|1000 |5320 |  12k|   0 |   0 |-3.627452e+02 |-9.400000e+01 |  74.09%
281.30/281.48	c   280s|     1 |     0 |191165 |  99M|   0 | 934 |1000 |  15k|  15k|1000 |5352 |  12k|   0 |   0 |-3.619361e+02 |-9.400000e+01 |  74.03%
285.19/285.33	c   284s|     1 |     0 |193177 |  99M|   0 | 939 |1000 |  15k|  15k|1000 |5431 |  12k|   0 |   0 |-3.612593e+02 |-9.400000e+01 |  73.98%
289.59/289.71	c   288s|     1 |     0 |195651 | 100M|   0 | 953 |1000 |  15k|  15k|1000 |5515 |  12k|   0 |   0 |-3.599282e+02 |-9.400000e+01 |  73.88%
294.49/294.61	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
294.49/294.61	c   293s|     1 |     0 |197850 | 100M|   0 | 949 |1000 |  15k|  15k|1000 |5268 |  12k|   0 |   0 |-3.587108e+02 |-9.400000e+01 |  73.80%
298.00/298.13	c   297s|     1 |     0 |199231 | 100M|   0 | 949 |1000 |  15k|  15k|1000 |5361 |  13k|   0 |   0 |-3.584059e+02 |-9.400000e+01 |  73.77%
302.49/302.61	c   301s|     1 |     0 |201351 | 100M|   0 | 953 |1000 |  15k|  15k|1000 |5421 |  13k|   0 |   0 |-3.578045e+02 |-9.400000e+01 |  73.73%
306.99/307.11	c   306s|     1 |     0 |203253 | 100M|   0 | 952 |1000 |  15k|  15k|1000 |5487 |  13k|   0 |   0 |-3.570862e+02 |-9.400000e+01 |  73.68%
311.59/311.76	c   310s|     1 |     0 |205319 |  99M|   0 | 944 |1000 |  15k|  15k|1000 |5600 |  13k|   0 |   0 |-3.561208e+02 |-9.400000e+01 |  73.60%
316.08/316.23	c   315s|     1 |     0 |207618 |  99M|   0 | 956 |1000 |  15k|  15k|1000 |5656 |  13k|   0 |   0 |-3.552696e+02 |-9.400000e+01 |  73.54%
321.58/321.75	c   320s|     1 |     0 |209940 |  99M|   0 | 959 |1000 |  15k|  15k|1000 |5517 |  13k|   0 |   0 |-3.541986e+02 |-9.400000e+01 |  73.46%
326.59/326.77	c   325s|     1 |     0 |212374 |  99M|   0 | 954 |1000 |  15k|  15k|1000 |5593 |  13k|   0 |   0 |-3.529755e+02 |-9.400000e+01 |  73.37%
331.39/331.59	c   330s|     1 |     0 |214048 |  99M|   0 | 961 |1000 |  15k|  15k|1000 |5730 |  13k|   0 |   0 |-3.525911e+02 |-9.400000e+01 |  73.34%
336.39/336.52	c   335s|     1 |     0 |215772 |  99M|   0 | 956 |1000 |  15k|  15k|1000 |5762 |  13k|   0 |   0 |-3.521215e+02 |-9.400000e+01 |  73.30%
342.08/342.25	c   341s|     1 |     0 |218181 |  99M|   0 | 964 |1000 |  15k|  15k|1000 |5820 |  13k|   0 |   0 |-3.511621e+02 |-9.400000e+01 |  73.23%
347.48/347.62	c   346s|     1 |     0 |220034 |  99M|   0 | 968 |1000 |  15k|  15k|1000 |5842 |  13k|   0 |   0 |-3.504513e+02 |-9.400000e+01 |  73.18%
353.98/354.13	c   353s|     1 |     0 |222448 |  99M|   0 | 969 |1000 |  15k|  15k|1000 |5685 |  13k|   0 |   0 |-3.494790e+02 |-9.400000e+01 |  73.10%
359.18/359.37	c   358s|     1 |     0 |224603 |  99M|   0 | 962 |1000 |  15k|  15k|1000 |5726 |  13k|   0 |   0 |-3.487748e+02 |-9.400000e+01 |  73.05%
364.17/364.33	c   363s|     1 |     0 |226268 |  99M|   0 | 960 |1000 |  15k|  15k|1000 |5802 |  13k|   0 |   0 |-3.482289e+02 |-9.400000e+01 |  73.01%
369.58/369.73	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
369.58/369.73	c   368s|     1 |     0 |228135 |  99M|   0 | 968 |1000 |  15k|  15k|1000 |5877 |  13k|   0 |   0 |-3.477352e+02 |-9.400000e+01 |  72.97%
375.67/375.85	c   374s|     1 |     0 |230574 |  99M|   0 | 972 |1000 |  15k|  15k|1000 |5964 |  14k|   0 |   0 |-3.464226e+02 |-9.400000e+01 |  72.87%
381.67/381.89	c   380s|     1 |     0 |232691 |  99M|   0 | 973 |1000 |  15k|  15k|1000 |6029 |  14k|   0 |   0 |-3.456068e+02 |-9.400000e+01 |  72.80%
388.17/388.38	c   387s|     1 |     0 |234730 |  99M|   0 | 972 |1000 |  15k|  15k|1000 |5838 |  14k|   0 |   0 |-3.447731e+02 |-9.400000e+01 |  72.74%
394.47/394.61	c   393s|     1 |     0 |237046 |  98M|   0 | 977 |1000 |  15k|  15k|1000 |5892 |  14k|   0 |   0 |-3.436642e+02 |-9.400000e+01 |  72.65%
400.76/400.92	c   399s|     1 |     0 |239243 |  98M|   0 | 982 |1000 |  15k|  15k|1000 |5972 |  14k|   0 |   0 |-3.424540e+02 |-9.400000e+01 |  72.55%
407.07/407.21	c   406s|     1 |     0 |241343 |  98M|   0 | 972 |1000 |  15k|  15k|1000 |6078 |  14k|   0 |   0 |-3.416685e+02 |-9.400000e+01 |  72.49%
412.86/413.07	c   411s|     1 |     0 |243265 |  98M|   0 | 979 |1000 |  15k|  15k|1000 |6107 |  14k|   0 |   0 |-3.412999e+02 |-9.400000e+01 |  72.46%
418.96/419.15	c   418s|     1 |     0 |245094 |  98M|   0 | 983 |1000 |  15k|  15k|1000 |6142 |  14k|   0 |   0 |-3.407849e+02 |-9.400000e+01 |  72.42%
425.36/425.54	c   424s|     1 |     0 |246563 |  98M|   0 | 983 |1000 |  15k|  15k|1000 |6052 |  14k|   0 |   0 |-3.403876e+02 |-9.400000e+01 |  72.38%
431.25/431.45	c   430s|     1 |     0 |248091 |  98M|   0 | 987 |1000 |  15k|  15k|1000 |6094 |  14k|   0 |   0 |-3.399747e+02 |-9.400000e+01 |  72.35%
438.25/438.47	c   437s|     1 |     0 |250151 |  98M|   0 | 986 |1000 |  15k|  15k|1000 |6128 |  14k|   0 |   0 |-3.391671e+02 |-9.400000e+01 |  72.29%
444.75/444.94	c   443s|     1 |     0 |251852 |  98M|   0 | 989 |1000 |  15k|  15k|1000 |6197 |  14k|   0 |   0 |-3.386311e+02 |-9.400000e+01 |  72.24%
451.65/451.82	c   450s|     1 |     0 |253660 |  98M|   0 | 984 |1000 |  15k|  15k|1000 |6234 |  14k|   0 |   0 |-3.381057e+02 |-9.400000e+01 |  72.20%
458.45/458.68	c   457s|     1 |     0 |255692 |  98M|   0 | 984 |1000 |  15k|  15k|1000 |6278 |  14k|   0 |   0 |-3.371558e+02 |-9.400000e+01 |  72.12%
465.15/465.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
465.15/465.34	c   464s|     1 |     0 |257072 |  98M|   0 | 987 |1000 |  15k|  15k|1000 |6133 |  14k|   0 |   0 |-3.367197e+02 |-9.400000e+01 |  72.08%
471.25/471.45	c   470s|     1 |     0 |258561 |  97M|   0 | 985 |1000 |  15k|  15k|1000 |6185 |  14k|   0 |   0 |-3.363042e+02 |-9.400000e+01 |  72.05%
477.74/477.91	c   476s|     1 |     0 |260487 |  97M|   0 | 988 |1000 |  15k|  15k|1000 |6232 |  14k|   0 |   0 |-3.356419e+02 |-9.400000e+01 |  71.99%
485.14/485.31	c   484s|     1 |     0 |262733 |  97M|   0 | 989 |1000 |  15k|  15k|1000 |6297 |  14k|   0 |   0 |-3.348926e+02 |-9.400000e+01 |  71.93%
491.64/491.84	c   490s|     1 |     0 |264320 |  97M|   0 | 989 |1000 |  15k|  15k|1000 |6337 |  14k|   0 |   0 |-3.344871e+02 |-9.400000e+01 |  71.90%
498.23/498.43	c   497s|     1 |     0 |265742 |  97M|   0 | 993 |1000 |  15k|  15k|1000 |6373 |  14k|   0 |   0 |-3.341894e+02 |-9.400000e+01 |  71.87%
505.44/505.67	c   504s|     1 |     0 |267246 |  97M|   0 | 987 |1000 |  15k|  15k|1000 |6283 |  14k|   0 |   0 |-3.338136e+02 |-9.400000e+01 |  71.84%
512.74/512.93	c   511s|     1 |     0 |269335 |  97M|   0 | 991 |1000 |  15k|  15k|1000 |6316 |  15k|   0 |   0 |-3.331870e+02 |-9.400000e+01 |  71.79%
519.54/519.77	c   518s|     1 |     0 |271077 |  97M|   0 | 990 |1000 |  15k|  15k|1000 |6343 |  15k|   0 |   0 |-3.324839e+02 |-9.400000e+01 |  71.73%
526.03/526.27	c   525s|     1 |     0 |272359 |  97M|   0 | 989 |1000 |  15k|  15k|1000 |6381 |  15k|   0 |   0 |-3.321646e+02 |-9.400000e+01 |  71.70%
532.43/532.62	c   531s|     1 |     0 |273430 |  97M|   0 | 992 |1000 |  15k|  15k|1000 |6415 |  15k|   0 |   0 |-3.318111e+02 |-9.400000e+01 |  71.67%
538.53/538.78	c   537s|     1 |     0 |274280 |  96M|   0 | 995 |1000 |  15k|  15k|1000 |6440 |  15k|   0 |   0 |-3.315451e+02 |-9.400000e+01 |  71.65%
545.33/545.55	c   544s|     1 |     0 |275313 |  96M|   0 | 992 |1000 |  15k|  15k|1000 |6350 |  15k|   0 |   0 |-3.312916e+02 |-9.400000e+01 |  71.63%
552.42/552.68	c   551s|     1 |     0 |276964 |  95M|   0 | 992 |1000 |  15k|  15k|1000 |6375 |  15k|   0 |   0 |-3.307155e+02 |-9.400000e+01 |  71.58%
558.92/559.14	c   557s|     1 |     0 |278197 |  95M|   0 | 992 |1000 |  15k|  15k|1000 |6396 |  15k|   0 |   0 |-3.304488e+02 |-9.400000e+01 |  71.55%
565.13/565.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
565.13/565.38	c   564s|     1 |     0 |279317 |  95M|   0 | 986 |1000 |  15k|  15k|1000 |6415 |  15k|   0 |   0 |-3.301710e+02 |-9.400000e+01 |  71.53%
571.62/571.88	c   570s|     1 |     0 |280624 |  95M|   0 | 993 |1000 |  15k|  15k|1000 |6446 |  15k|   0 |   0 |-3.298374e+02 |-9.400000e+01 |  71.50%
578.82/579.08	c   577s|     1 |     0 |282428 |  94M|   0 | 990 |1000 |  15k|  15k|1000 |6474 |  15k|   0 |   0 |-3.293281e+02 |-9.400000e+01 |  71.46%
585.42/585.60	c   584s|     1 |     0 |283526 |  94M|   0 | 989 |1000 |  15k|  15k|1000 |6401 |  15k|   0 |   0 |-3.291511e+02 |-9.400000e+01 |  71.44%
592.52/592.79	c   591s|     1 |     0 |285285 |  94M|   0 | 994 |1000 |  15k|  15k|1000 |6423 |  15k|   0 |   0 |-3.286536e+02 |-9.400000e+01 |  71.40%
598.82/599.07	c   597s|     1 |     0 |286293 |  94M|   0 | 994 |1000 |  15k|  15k|1000 |6475 |  15k|   0 |   0 |-3.284230e+02 |-9.400000e+01 |  71.38%
605.52/605.71	c   604s|     1 |     0 |287494 |  93M|   0 | 992 |1000 |  15k|  15k|1000 |6494 |  15k|   0 |   0 |-3.280791e+02 |-9.400000e+01 |  71.35%
612.31/612.50	c   611s|     1 |     0 |288723 |  93M|   0 | 992 |1000 |  15k|  15k|1000 |6513 |  15k|   0 |   0 |-3.276703e+02 |-9.400000e+01 |  71.31%
619.01/619.30	c   617s|     1 |     0 |289950 |  93M|   0 | 990 |1000 |  15k|  15k|1000 |6540 |  15k|   0 |   0 |-3.273000e+02 |-9.400000e+01 |  71.28%
626.20/626.43	c   625s|     1 |     0 |290857 |  92M|   0 | 990 |1000 |  15k|  15k|1000 |6510 |  15k|   0 |   0 |-3.270873e+02 |-9.400000e+01 |  71.26%
632.20/632.50	c   631s|     1 |     0 |291521 |  92M|   0 | 992 |1000 |  15k|  15k|1000 |6526 |  15k|   0 |   0 |-3.269565e+02 |-9.400000e+01 |  71.25%
638.81/639.03	c   637s|     1 |     0 |292462 |  92M|   0 | 992 |1000 |  15k|  15k|1000 |6539 |  15k|   0 |   0 |-3.266628e+02 |-9.400000e+01 |  71.22%
645.90/646.19	c   644s|     1 |     0 |293740 |  92M|   0 | 994 |1000 |  15k|  15k|1000 |6564 |  15k|   0 |   0 |-3.262692e+02 |-9.400000e+01 |  71.19%
653.30/653.56	c   652s|     1 |     0 |294974 |  91M|   0 | 993 |1000 |  15k|  15k|1000 |6588 |  15k|   0 |   0 |-3.258434e+02 |-9.400000e+01 |  71.15%
660.10/660.38	c   658s|     1 |     0 |295920 |  90M|   0 | 996 |1000 |  15k|  15k|1000 |6608 |  15k|   0 |   0 |-3.255837e+02 |-9.400000e+01 |  71.13%
667.29/667.55	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
667.29/667.55	c   666s|     1 |     0 |296795 |  90M|   0 | 996 |1000 |  15k|  15k|1000 |6553 |  15k|   0 |   0 |-3.253486e+02 |-9.400000e+01 |  71.11%
674.49/674.78	c   673s|     1 |     0 |298074 |  90M|   0 | 994 |1000 |  15k|  15k|1000 |6566 |  15k|   0 |   0 |-3.249899e+02 |-9.400000e+01 |  71.08%
681.09/681.38	c   679s|     1 |     0 |298838 |  89M|   0 | 995 |1000 |  15k|  15k|1000 |6585 |  15k|   0 |   0 |-3.247961e+02 |-9.400000e+01 |  71.06%
688.09/688.36	c   686s|     1 |     0 |299692 |  89M|   0 | 995 |1000 |  15k|  15k|1000 |6597 |  15k|   0 |   0 |-3.245814e+02 |-9.400000e+01 |  71.04%
694.29/694.52	c   693s|     1 |     0 |300139 |  89M|   0 | 994 |1000 |  15k|  15k|1000 |6612 |  15k|   0 |   0 |-3.244812e+02 |-9.400000e+01 |  71.03%
700.69/700.97	c   699s|     1 |     0 |300718 |  88M|   0 | 995 |1000 |  15k|  15k|1000 |6626 |  15k|   0 |   0 |-3.243532e+02 |-9.400000e+01 |  71.02%
708.29/708.54	c   707s|     1 |     0 |301606 |  88M|   0 | 996 |1000 |  15k|  15k|1000 |6591 |  15k|   0 |   0 |-3.241049e+02 |-9.400000e+01 |  71.00%
714.78/715.10	c   713s|     1 |     0 |302170 |  88M|   0 | 997 |1000 |  15k|  15k|1000 |6603 |  15k|   0 |   0 |-3.239301e+02 |-9.400000e+01 |  70.98%
720.88/721.15	c   719s|     1 |     0 |302586 |  87M|   0 | 997 |1000 |  15k|  15k|1000 |6617 |  15k|   0 |   0 |-3.237912e+02 |-9.400000e+01 |  70.97%
727.38/727.65	c   726s|     1 |     0 |303247 |  86M|   0 | 997 |1000 |  15k|  15k|1000 |6628 |  15k|   0 |   0 |-3.236558e+02 |-9.400000e+01 |  70.96%
733.78/734.01	c   732s|     1 |     0 |303865 |  86M|   0 | 997 |1000 |  15k|  15k|1000 |6644 |  15k|   0 |   0 |-3.234902e+02 |-9.400000e+01 |  70.94%
739.77/740.05	c   738s|     1 |     0 |304209 |  86M|   0 | 999 |1000 |  15k|  15k|1000 |6650 |  15k|   0 |   0 |-3.234486e+02 |-9.400000e+01 |  70.94%
746.57/746.84	c   745s|     1 |     0 |304711 |  85M|   0 | 999 |1000 |  15k|  15k|1000 |6619 |  15k|   0 |   0 |-3.233643e+02 |-9.400000e+01 |  70.93%
752.77/753.01	c   751s|     1 |     0 |305215 |  85M|   0 | 999 |1000 |  15k|  15k|1000 |6629 |  15k|   0 |   0 |-3.232655e+02 |-9.400000e+01 |  70.92%
758.97/759.23	c   757s|     1 |     0 |305748 |  84M|   0 | 998 |1000 |  15k|  15k|1000 |6642 |  15k|   0 |   0 |-3.231599e+02 |-9.400000e+01 |  70.91%
765.17/765.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
765.17/765.44	c   763s|     1 |     0 |306285 |  83M|   0 | 998 |1000 |  15k|  15k|1000 |6652 |  15k|   0 |   0 |-3.230726e+02 |-9.400000e+01 |  70.90%
771.37/771.66	c   770s|     1 |     0 |306844 |  82M|   0 | 997 |1000 |  15k|  15k|1000 |6662 |  15k|   0 |   0 |-3.230079e+02 |-9.400000e+01 |  70.90%
776.47/776.74	c   775s|     1 |     0 |306907 |  81M|   0 | 965 |1000 |  15k|  15k|1000 |6673 |  15k|   0 |   0 |-3.230000e+02 |-9.400000e+01 |  70.90%
782.06/782.31	c   780s|     1 |     0 |306908 |  81M|   0 | 967 |1000 |  15k|  15k|1000 |6626 |  15k|   0 |   0 |-3.230000e+02 |-9.400000e+01 |  70.90%
786.96/787.24	c   785s|     1 |     0 |306910 |  79M|   0 | 966 |1000 |  15k|  15k|1000 |6630 |  15k|   0 |   0 |-3.230000e+02 |-9.400000e+01 |  70.90%
856.84/857.18	c   855s|     1 |     2 |342217 |  77M|   0 | 966 |1000 |  15k|  15k|1000 |6630 |  15k|   0 |  17 |-3.230000e+02 |-9.400000e+01 |  70.90%
1794.39/1794.95	c 
1794.39/1794.95	c SCIP Status        : solving was interrupted [time limit reached]
1794.39/1794.95	c Solving Time (sec) : 1791.00
1794.39/1794.95	c Solving Nodes      : 161
1794.39/1794.95	c Primal Bound       : -9.40000000000000e+01 (1 solutions)
1794.39/1794.95	c Dual Bound         : -3.20673159899153e+02
1794.39/1794.95	c Gap                : 70.69 %
1794.39/1794.98	c NODE         161
1794.39/1794.98	c DUAL BOUND   -320.673
1794.39/1794.98	c PRIMAL BOUND -94
1794.39/1794.98	c GAP          0.706867
1794.39/1794.98	s SATISFIABLE
1794.39/1794.98	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 x980 -x979 
1794.39/1794.98	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 x961 -x960 -x959 -x958 
1794.39/1794.98	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
1794.39/1794.98	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 
1794.39/1794.98	v -x915 -x914 x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
1794.39/1794.98	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
1794.39/1794.98	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 -x859 -x858 -x857 x856 x855 -x854 -x853 
1794.39/1794.98	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 
1794.39/1794.98	v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 
1794.39/1794.98	v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 
1794.39/1794.98	v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 
1794.39/1794.98	v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 
1794.39/1794.98	v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 
1794.39/1794.98	v -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 
1794.39/1794.98	v -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 
1794.39/1794.98	v -x684 x683 -x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 
1794.39/1794.98	v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 
1794.39/1794.98	v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 
1794.39/1794.98	v -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 
1794.39/1794.98	v -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 
1794.39/1794.98	v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 
1794.39/1794.98	v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 
1794.39/1794.98	v -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 
1794.39/1794.98	v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 
1794.39/1794.98	v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 
1794.39/1794.98	v -x473 x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 
1794.39/1794.98	v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 x432 
1794.39/1794.98	v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 
1794.39/1794.98	v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 
1794.39/1794.98	v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 
1794.39/1794.98	v -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 
1794.39/1794.98	v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 
1794.39/1794.98	v -x326 x325 x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 
1794.39/1794.98	v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 
1794.39/1794.98	v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 
1794.39/1794.98	v -x263 x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 
1794.39/1794.98	v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 
1794.39/1794.98	v -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 
1794.39/1794.98	v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 
1794.39/1794.98	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 x162 x161 -x160 -x159 x158 
1794.39/1794.98	v -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 
1794.39/1794.98	v -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 x127 -x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 
1794.39/1794.98	v -x114 -x113 -x112 -x111 x110 x109 -x108 -x107 x106 -x105 -x104 x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1794.39/1794.98	v -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 x71 x70 -x69 -x68 -x67 -x66 
1794.39/1794.98	v -x65 -x64 -x63 -x62 -x61 -x60 x59 x58 -x57 -x56 x55 -x54 -x53 x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 
1794.39/1794.98	v -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 x20 -x19 x18 x17 x16 -x15 -x14 x13 
1794.39/1794.98	v -x12 x11 -x10 -x9 -x8 x7 x6 x5 -x4 x3 -x2 x1 
1794.39/1794.98	c SCIP Status        : solving was interrupted [time limit reached]
1794.39/1794.98	c Solving Time       :    1791.00
1794.39/1794.98	c Original Problem   :
1794.39/1794.98	c   Problem name     : HOME/instance-1870401-1245201999.opb
1794.39/1794.98	c   Variables        : 16811 (16811 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.39/1794.98	c   Constraints      : 16811 initial, 16811 maximal
1794.39/1794.98	c Presolved Problem  :
1794.39/1794.98	c   Problem name     : t_HOME/instance-1870401-1245201999.opb
1794.39/1794.98	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.39/1794.98	c   Constraints      : 15811 initial, 15811 maximal
1794.39/1794.98	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.39/1794.98	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1794.39/1794.98	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.98	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.98	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.98	c   implics          :       0.01          0          0          0          0          0          0          0          0
1794.39/1794.98	c   probing          :       0.55          0          0          0          0          0          0          0          0
1794.39/1794.98	c   and              :       0.29          0          0          0          0          0          0          0          0
1794.39/1794.98	c   linear           :       0.09      15811          0          0      15811          0       1000          0          0
1794.39/1794.98	c   root node        :          -          0          -          -          0          -          -          -          -
1794.39/1794.98	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.39/1794.98	c   integral         :          0          0          0        160          0          0          0          0          0        320
1794.39/1794.98	c   and              :      15811        962       6662          0          1          0       3738     226643          0          0
1794.39/1794.98	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.39/1794.98	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.39/1794.98	c   integral         :     274.57       0.00       0.00     274.57       0.00
1794.39/1794.98	c   and              :      23.65      15.31       8.34       0.00       0.00
1794.39/1794.98	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.39/1794.98	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.39/1794.98	c   rootredcost      :       0.01          0          0          0
1794.39/1794.98	c   pseudoobj        :       0.37       6665          0          0
1794.39/1794.98	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.39/1794.98	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.39/1794.98	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1794.39/1794.98	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.39/1794.98	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.39/1794.98	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.39/1794.98	c   applied globally :          -          -          -          0        0.0          -          -          -
1794.39/1794.98	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.39/1794.98	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.39/1794.98	c   cut pool         :       1.40        198          -          -       3628          -    (maximal pool size: 11889)
1794.39/1794.98	c   redcost          :       0.04        962          0          0          0          0
1794.39/1794.98	c   impliedbounds    :       0.34        198          0          0      20197          0
1794.39/1794.98	c   intobj           :       0.00          0          0          0          0          0
1794.39/1794.98	c   gomory           :     379.12        197          0          0      68609          0
1794.39/1794.98	c   strongcg         :       2.33         20          0          0      10000          0
1794.39/1794.98	c   cmir             :       1.15         10          0          0          0          0
1794.39/1794.98	c   flowcover        :       0.90         10          0          0          0          0
1794.39/1794.98	c   clique           :       6.37        197          0          0       1625          0
1794.39/1794.98	c   zerohalf         :       0.00          0          0          0          0          0
1794.39/1794.98	c   mcf              :       0.04          1          0          0          0          0
1794.39/1794.98	c Pricers            :       Time      Calls       Vars
1794.39/1794.98	c   problem variables:       0.00          0          0
1794.39/1794.98	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.39/1794.98	c   relpscost        :     274.57        160          0          0          0          0        320
1794.39/1794.98	c   pscost           :       0.00          0          0          0          0          0          0
1794.39/1794.98	c   inference        :       0.00          1          0          0          0          0          2
1794.39/1794.98	c   mostinf          :       0.00          0          0          0          0          0          0
1794.39/1794.98	c   leastinf         :       0.00          0          0          0          0          0          0
1794.39/1794.98	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.39/1794.98	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.39/1794.98	c   random           :       0.00          0          0          0          0          0          0
1794.39/1794.98	c Primal Heuristics  :       Time      Calls      Found
1794.39/1794.98	c   LP solutions     :       0.00          -          0
1794.39/1794.98	c   pseudo solutions :       0.00          -          0
1794.39/1794.98	c   crossover        :       0.00          0          0
1794.39/1794.98	c   oneopt           :       0.01          1          0
1794.39/1794.98	c   guideddiving     :      52.40          4          0
1794.39/1794.98	c   simplerounding   :       0.00          0          0
1794.39/1794.98	c   rounding         :      18.51       1061          1
1794.39/1794.98	c   shifting         :       3.08        134          0
1794.39/1794.98	c   intshifting      :       0.00          0          0
1794.39/1794.98	c   fixandinfer      :       0.00          0          0
1794.39/1794.98	c   feaspump         :      67.94          4          0
1794.39/1794.98	c   coefdiving       :      56.07          4          0
1794.39/1794.98	c   pscostdiving     :      60.61          4          0
1794.39/1794.98	c   fracdiving       :      47.06          4          0
1794.39/1794.98	c   veclendiving     :      56.88          4          0
1794.39/1794.98	c   intdiving        :       0.00          0          0
1794.39/1794.98	c   actconsdiving    :       0.00          0          0
1794.39/1794.98	c   objpscostdiving  :      33.68          1          0
1794.39/1794.98	c   rootsoldiving    :       3.87          4          0
1794.39/1794.98	c   linesearchdiving :      41.82          5          0
1794.39/1794.98	c   octane           :       0.00          0          0
1794.39/1794.98	c   rens             :       0.01          0          0
1794.39/1794.98	c   rins             :       0.00          0          0
1794.39/1794.98	c   localbranching   :       0.00          0          0
1794.39/1794.98	c   mutation         :       0.00          0          0
1794.39/1794.98	c   dins             :       0.00          0          0
1794.39/1794.98	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.39/1794.98	c   primal LP        :      23.97          0          0       0.00       0.00
1794.39/1794.98	c   dual LP          :     632.20       1062     753855     709.84    1192.43
1794.39/1794.98	c   barrier LP       :       0.00          0          0       0.00          -
1794.39/1794.98	c   diving/probing LP:     406.54       6498     960404     147.80    2362.39
1794.39/1794.98	c   strong branching :     274.49       1016     486878     479.21    1773.75
1794.39/1794.98	c     (at root node) :          -         17       6969     409.94          -
1794.39/1794.98	c   conflict analysis:       0.00          0          0       0.00          -
1794.39/1794.98	c B&B Tree           :
1794.39/1794.98	c   number of runs   :          1
1794.39/1794.98	c   nodes            :        161
1794.39/1794.98	c   nodes (total)    :        161
1794.39/1794.98	c   nodes left       :        162
1794.39/1794.98	c   max depth        :         25
1794.39/1794.98	c   max depth (total):         25
1794.39/1794.98	c   backtracks       :         53 (32.9%)
1794.39/1794.98	c   delayed cutoffs  :          0
1794.39/1794.98	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.39/1794.98	c   avg switch length:       3.89
1794.39/1794.98	c   switching time   :      16.35
1794.39/1794.98	c Solution           :
1794.39/1794.98	c   Solutions found  :          1 (1 improvements)
1794.39/1794.98	c   Primal Bound     : -9.40000000000000e+01   (in run 1, after 1 nodes, 1.42 seconds, depth 0, found by <rounding>)
1794.39/1794.98	c   Dual Bound       : -3.20673159899153e+02
1794.39/1794.98	c   Gap              :      70.69 %
1794.39/1794.98	c   Root Dual Bound  : -3.22999999999999e+02
1794.60/1795.16	c Time complete: 1794.65.

OK	-94

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870401-1245201999/watcher-1870401-1245201999 -o /tmp/evaluation-result-1870401-1245201999/solver-1870401-1245201999 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870401-1245201999.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.97 3/65 10484
/proc/meminfo: memFree=1818696/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=7616 CPUtime=0
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 187798380 7798784 581 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/10484/statm: 1904 591 353 1256 0 643 0

[startup+0.080453 s]
/proc/loadavg: 0.99 0.98 0.97 3/65 10484
/proc/meminfo: memFree=1818696/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=20808 CPUtime=0.07
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 4157 0 0 0 6 1 0 0 20 0 1 0 187798380 21307392 4141 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/10484/statm: 5202 4141 378 1256 0 3941 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20808

[startup+0.101454 s]
/proc/loadavg: 0.99 0.98 0.97 3/65 10484
/proc/meminfo: memFree=1818696/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=23724 CPUtime=0.09
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 4921 0 0 0 8 1 0 0 20 0 1 0 187798380 24293376 4905 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/10484/statm: 5931 4905 378 1256 0 4670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23724

[startup+0.301477 s]
/proc/loadavg: 0.99 0.98 0.97 3/65 10484
/proc/meminfo: memFree=1818696/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=51744 CPUtime=0.29
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 12286 0 0 0 25 4 0 0 22 0 1 0 187798380 52985856 11916 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 12936 11916 426 1256 0 11675 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51744

[startup+0.701523 s]
/proc/loadavg: 0.99 0.98 0.97 3/65 10484
/proc/meminfo: memFree=1818696/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=61580 CPUtime=0.69
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 14533 0 0 0 56 13 0 0 25 0 1 0 187798380 63057920 14163 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 15395 14163 467 1256 0 14134 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61580

[startup+1.50161 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1763776/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=70072 CPUtime=1.49
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 16750 0 0 0 128 21 0 0 25 0 1 0 187798380 71753728 16372 1992294400 4194304 9342243 548682068736 18446744073709551615 4639770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 17518 16372 513 1256 0 16257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70072

[startup+3.1018 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1729920/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=104512 CPUtime=3.09
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 24657 0 0 0 283 26 0 0 25 0 1 0 187798380 107020288 23379 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 26128 23379 641 1256 0 24867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104512

[startup+6.30116 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1724608/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=106208 CPUtime=6.28
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 25359 0 0 0 600 28 0 0 25 0 1 0 187798380 108756992 24081 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 26552 24081 642 1256 0 25291 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 106208

[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1722632/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=109416 CPUtime=12.68
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 26779 0 0 0 1238 30 0 0 25 0 1 0 187798380 112041984 24777 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 27354 24777 645 1256 0 26093 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 109416

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1703176/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=125784 CPUtime=25.48
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 32741 0 0 0 2513 35 0 0 25 0 1 0 187798380 128802816 29448 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 31446 29448 659 1256 0 30185 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 125784

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1696072/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=132676 CPUtime=51.06
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 43786 0 0 0 5061 45 0 0 25 0 1 0 187798380 135860224 31261 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 33169 31261 659 1256 0 31908 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 132676

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1685960/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=142408 CPUtime=102.25
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 72550 0 0 0 10160 65 0 0 25 0 1 0 187798380 145825792 33758 1992294400 4194304 9342243 548682068736 18446744073709551615 4291292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 35602 33758 659 1256 0 34341 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 142408

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1674760/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=156208 CPUtime=162.23
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 85239 0 0 0 16145 78 0 0 25 0 1 0 187798380 159956992 36532 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 39052 36532 659 1256 0 37791 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 156208

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1651016/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=181188 CPUtime=222.22
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 114354 0 0 0 22121 101 0 0 25 0 1 0 187798380 185536512 42453 1992294400 4194304 9342243 548682068736 18446744073709551615 6938324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45297 42453 659 1256 0 44036 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 181188

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1644872/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=185812 CPUtime=282.2
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 115851 0 0 0 28111 109 0 0 25 0 1 0 187798380 190271488 43950 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46453 43950 659 1256 0 45192 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 185812

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1644232/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=185812 CPUtime=342.18
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 115981 0 0 0 34100 118 0 0 25 0 1 0 187798380 190271488 44080 1992294400 4194304 9342243 548682068736 18446744073709551615 4898473 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46453 44080 659 1256 0 45192 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 185812

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1643336/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=185812 CPUtime=402.17
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 116184 0 0 0 40089 128 0 0 25 0 1 0 187798380 190271488 44283 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46453 44283 659 1256 0 45192 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 185812

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1643208/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=185812 CPUtime=462.15
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 116209 0 0 0 46079 136 0 0 25 0 1 0 187798380 190271488 44308 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46453 44308 659 1256 0 45192 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 185812

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1643080/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=185812 CPUtime=522.13
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 116226 0 0 0 52071 142 0 0 25 0 1 0 187798380 190271488 44325 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46453 44325 659 1256 0 45192 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 185812

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1642952/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=185812 CPUtime=582.12
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 116231 0 0 0 58064 148 0 0 25 0 1 0 187798380 190271488 44330 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46453 44330 659 1256 0 45192 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 185812

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1642824/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=185812 CPUtime=642.1
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 116235 0 0 0 64054 156 0 0 25 0 1 0 187798380 190271488 44334 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46453 44334 659 1256 0 45192 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 185812

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1641096/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=186032 CPUtime=1061.99
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 118198 0 0 0 105988 211 0 0 25 0 1 0 187798380 190496768 44708 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46508 44708 685 1256 0 45247 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 186032

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1640904/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=186032 CPUtime=1121.97
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 118236 0 0 0 111976 221 0 0 25 0 1 0 187798380 190496768 44746 1992294400 4194304 9342243 548682068736 18446744073709551615 6978052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46508 44746 685 1256 0 45247 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 186032

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1640904/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=186032 CPUtime=1181.96
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 118238 0 0 0 117963 233 0 0 25 0 1 0 187798380 190496768 44748 1992294400 4194304 9342243 548682068736 18446744073709551615 4686206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46508 44748 685 1256 0 45247 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 186032

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1640648/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=186312 CPUtime=1241.94
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 118291 0 0 0 123952 242 0 0 25 0 1 0 187798380 190783488 44801 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46578 44801 686 1256 0 45317 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 186312

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1642120/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=181484 CPUtime=1301.93
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 119139 0 0 0 129942 251 0 0 25 0 1 0 187798380 185839616 44399 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45371 44399 686 1256 0 44110 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 181484

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1641992/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=186104 CPUtime=1361.91
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 119183 0 0 0 135931 260 0 0 25 0 1 0 187798380 190570496 44443 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46526 44443 686 1256 0 45265 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 186104

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1641992/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=182476 CPUtime=1421.89
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 119710 0 0 0 141920 269 0 0 25 0 1 0 187798380 186855424 44410 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45619 44410 686 1256 0 44358 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 182476

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1641992/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=186044 CPUtime=1481.88
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 120665 0 0 0 147910 278 0 0 25 0 1 0 187798380 190509056 44433 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46511 44433 686 1256 0 45250 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 186044

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10485
/proc/meminfo: memFree=1641928/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=182440 CPUtime=1541.86
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 121574 0 0 0 153900 286 0 0 25 0 1 0 187798380 186818560 44416 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45610 44416 686 1256 0 44349 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 182440

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1642056/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=182472 CPUtime=1601.84
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 122576 0 0 0 159888 296 0 0 25 0 1 0 187798380 186851328 44429 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45618 44429 686 1256 0 44357 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 182472

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1642056/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=182492 CPUtime=1661.82
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 123555 0 0 0 165875 307 0 0 25 0 1 0 187798380 186871808 44420 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45623 44420 686 1256 0 44362 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 182492

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1641992/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=182432 CPUtime=1721.81
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 124241 0 0 0 171862 319 0 0 25 0 1 0 187798380 186810368 44416 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45608 44416 686 1256 0 44347 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 182432

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1641928/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=182396 CPUtime=1781.79
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 125809 0 0 0 177852 327 0 0 25 0 1 0 187798380 186773504 44414 1992294400 4194304 9342243 548682068736 18446744073709551615 8221584 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45599 44414 686 1256 0 44338 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 182396

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1641928/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=181484 CPUtime=1784.99
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 126050 0 0 0 178172 327 0 0 25 0 1 0 187798380 185839616 44412 1992294400 4194304 9342243 548682068736 18446744073709551615 6081530 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45371 44412 686 1256 0 44110 0
Current children cumulated CPU time (s) 1784.99
Current children cumulated vsize (KiB) 181484

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1641928/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=187064 CPUtime=1791.39
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 126074 0 0 0 178811 328 0 0 25 0 1 0 187798380 191553536 44436 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46766 44436 686 1256 0 45505 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 187064

[startup+1793.5 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1641928/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=187064 CPUtime=1792.99
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 126188 0 0 0 178971 328 0 0 25 0 1 0 187798380 191553536 44431 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46766 44431 686 1256 0 45505 0
Current children cumulated CPU time (s) 1792.99
Current children cumulated vsize (KiB) 187064

[startup+1794.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1641928/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=187064 CPUtime=1793.79
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 126226 0 0 0 179050 329 0 0 25 0 1 0 187798380 191553536 44431 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 46766 44431 686 1256 0 45505 0
Current children cumulated CPU time (s) 1793.79
Current children cumulated vsize (KiB) 187064

[startup+1794.7 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1641928/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=181484 CPUtime=1794.19
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 126245 0 0 0 179090 329 0 0 25 0 1 0 187798380 185839616 44412 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10484/statm: 45371 44412 686 1256 0 44110 0
Current children cumulated CPU time (s) 1794.19
Current children cumulated vsize (KiB) 181484

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.97 2/66 10487
/proc/meminfo: memFree=1641928/2055920 swapFree=4181848/4192956
[pid=10484] ppid=10482 vsize=181484 CPUtime=1794.6
/proc/10484/stat : 10484 (pbscip.linux.x8) R 10482 10484 8835 0 -1 4194304 126249 0 0 0 179131 329 0 0 17 0 1 0 187798380 185839616 44416 1992294400 4194304 9342243 548682068736 18446744073709551615 4814730 0 0 4096 0 0 0 0 17 1 0 0
/proc/10484/statm: 45371 44416 690 1256 0 44110 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 181484

Child status: 0
Real time (s): 1795.17
CPU time (s): 1794.67
CPU user time (s): 1791.35
CPU system time (s): 3.3205
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 191816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.35
system time used= 3.3205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126253
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= 10
involuntary context switches= 3586

runsolver used 2.00669 second user time and 4.19936 second system time

The end

Begin job on node88 at 2009-06-17 03:26:39
IDJOB=1870401
IDBENCH=48199
IDSOLVER=684
FILE ID=node88/1870401-1245201999
PBS_JOBID= 9368315
Free space on /tmp= 66548 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870401-1245201999/watcher-1870401-1245201999 -o /tmp/evaluation-result-1870401-1245201999/solver-1870401-1245201999 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870401-1245201999.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0
RANDOM SEED=14603682

node88.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1819176 kB
Buffers:         39688 kB
Cached:         125712 kB
SwapCached:       5212 kB
Active:          73348 kB
Inactive:        99424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1819176 kB
SwapTotal:     4192956 kB
SwapFree:      4181848 kB
Dirty:           12136 kB
Writeback:           0 kB
Mapped:          13104 kB
Slab:            49872 kB
Committed_AS:   112604 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66536 MiB
End job on node88 at 2009-06-17 03:56:35