0.09/0.18	c SCIP version 1.1.0.7
0.09/0.18	c LP-Solver SoPlex 1.4.1
0.09/0.18	c user parameter file <scip.set> not found - using default parameters
0.09/0.18	c read problem <HOME/instance-1870400-1245201999.opb>
0.09/0.18	c original problem has 16811 variables (16811 bin, 0 int, 0 impl, 0 cont) and 16811 constraints
0.29/0.35	c start presolving problem
0.29/0.35	c presolving:
0.69/0.78	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.49/1.53	c    (1.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.53	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.49/1.53	c presolving (2 rounds):
1.49/1.53	c  15811 deleted vars, 1000 deleted constraints, 15811 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.53	c  94866 implications, 0 cliques
1.49/1.53	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15811 constraints
1.49/1.53	c   15811 constraints of type <and>
1.49/1.53	c transformed objective value is always integral (scale: 1)
1.49/1.53	c Presolving Time: 1.03
1.49/1.53	c OPT-NLC
1.49/1.53	c -----------------------------------------------------------------------------------------------
1.49/1.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.53	c limits/memory = c 1620
1.49/1.53	c # maximal time in seconds to run
1.49/1.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.53	c limits/time = c 1791
1.49/1.53	c # frequency for displaying node information lines
1.49/1.53	c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.53	c display/freq = c 10000
1.49/1.53	c -----------------------------------------------------------------------------------------------
1.49/1.53	c start solving problem
1.49/1.53	c 
2.39/2.40	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.39/2.40	c   1.9s|     1 |     0 |  1100 |  59M|   0 |1000 |1000 |  15k|  15k|1000 |  15k|   0 |   0 |   0 |-5.000000e+02 |      --      |    Inf 
2.39/2.42	o -94
2.39/2.42	c R 2.0s|     1 |     0 |  1100 |  59M|   0 |1000 |1000 |  15k|  15k|1000 |  15k|   0 |   0 |   0 |-5.000000e+02 |-9.400000e+01 |  81.20%
3.19/3.26	c   2.8s|     1 |     0 |  1178 |  59M|   0 | 992 |1000 |  15k|  15k|1000 |  15k|  10 |   0 |   0 |-4.960000e+02 |-9.400000e+01 |  81.05%
4.39/4.41	c   3.9s|     1 |     0 |  1420 |  59M|   0 | 984 |1000 |  15k|  15k|1000 |  15k|  24 |   0 |   0 |-4.920000e+02 |-9.400000e+01 |  80.89%
5.50/5.51	c   5.0s|     1 |     0 |  1587 |  59M|   0 | 980 |1000 |  15k|  15k|1000 |  15k|  32 |   0 |   0 |-4.900000e+02 |-9.400000e+01 |  80.82%
6.49/6.55	c   6.0s|     1 |     0 |  1722 |  59M|   0 | 976 |1000 |  15k|  15k|1000 |  15k|  39 |   0 |   0 |-4.880000e+02 |-9.400000e+01 |  80.74%
7.59/7.67	c   7.1s|     1 |     0 |  1904 |  59M|   0 | 969 |1000 |  15k|  15k|1000 |  15k|  49 |   0 |   0 |-4.845000e+02 |-9.400000e+01 |  80.60%
8.89/8.90	c   8.4s|     1 |     0 |  2090 |  59M|   0 | 964 |1000 |  15k|  15k|1000 |  15k|  57 |   0 |   0 |-4.820000e+02 |-9.400000e+01 |  80.50%
10.29/10.31	c   9.8s|     1 |     0 |  2329 |  59M|   0 | 958 |1000 |  15k|  15k|1000 |  15k|  66 |   0 |   0 |-4.790000e+02 |-9.400000e+01 |  80.38%
11.39/11.46	c  10.9s|     1 |     0 |  2476 |  59M|   0 | 955 |1000 |  15k|  15k|1000 |  15k|  73 |   0 |   0 |-4.775000e+02 |-9.400000e+01 |  80.31%
12.59/12.67	c  12.1s|     1 |     0 |  2638 |  59M|   0 | 949 |1000 |  15k|  15k|1000 |  15k|  80 |   0 |   0 |-4.745000e+02 |-9.400000e+01 |  80.19%
14.29/14.35	c  13.8s|     1 |     0 |  2937 |  60M|   0 | 944 |1000 |  15k|  15k|1000 |  15k|  94 |   0 |   0 |-4.715000e+02 |-9.400000e+01 |  80.06%
15.69/15.70	c  15.1s|     1 |     0 |  3214 |  60M|   0 | 939 |1000 |  15k|  15k|1000 |1312 | 103 |   0 |   0 |-4.695000e+02 |-9.400000e+01 |  79.98%
15.99/16.07	c  15.5s|     1 |     0 |  3515 |  60M|   0 | 906 |1000 |  15k|  15k|1000 |1319 | 110 |   0 |   0 |-4.680000e+02 |-9.400000e+01 |  79.91%
16.49/16.55	c  16.0s|     1 |     0 |  3998 |  60M|   0 | 935 |1000 |  15k|  15k|1000 |1700 | 491 |   0 |   0 |-4.670000e+02 |-9.400000e+01 |  79.87%
16.98/17.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.98/17.03	c  16.4s|     1 |     0 |  4536 |  60M|   0 | 956 |1000 |  15k|  15k|1000 |1862 | 653 |   0 |   0 |-4.655769e+02 |-9.400000e+01 |  79.81%
19.49/19.53	c  18.9s|     1 |     0 |  4743 |  61M|   0 | 932 |1000 |  15k|  15k|1000 |3862 |2653 |   0 |   0 |-4.650000e+02 |-9.400000e+01 |  79.78%
20.18/20.20	c  19.6s|     1 |     0 |  5160 |  62M|   0 | 928 |1000 |  15k|  15k|1000 |3873 |2664 |   0 |   0 |-4.640000e+02 |-9.400000e+01 |  79.74%
20.59/20.70	c  20.1s|     1 |     0 |  5460 |  62M|   0 | 926 |1000 |  15k|  15k|1000 |3440 |2673 |   0 |   0 |-4.630000e+02 |-9.400000e+01 |  79.70%
21.18/21.20	c  20.6s|     1 |     0 |  5808 |  62M|   0 | 922 |1000 |  15k|  15k|1000 |3446 |2679 |   0 |   0 |-4.620000e+02 |-9.400000e+01 |  79.65%
21.69/21.78	c  21.2s|     1 |     0 |  6405 |  62M|   0 | 920 |1000 |  15k|  15k|1000 |3476 |2709 |   0 |   0 |-4.600000e+02 |-9.400000e+01 |  79.57%
22.38/22.45	c  21.9s|     1 |     0 |  7161 |  62M|   0 | 913 |1000 |  15k|  15k|1000 |3484 |2717 |   0 |   0 |-4.575000e+02 |-9.400000e+01 |  79.45%
23.28/23.33	c  22.7s|     1 |     0 |  8183 |  62M|   0 | 916 |1000 |  15k|  15k|1000 |3512 |2745 |   0 |   0 |-4.565000e+02 |-9.400000e+01 |  79.41%
24.38/24.43	c  23.8s|     1 |     0 |  9283 |  62M|   0 | 900 |1000 |  15k|  15k|1000 |3673 |2906 |   0 |   0 |-4.550000e+02 |-9.400000e+01 |  79.34%
24.88/24.95	c  24.3s|     1 |     0 |  9745 |  62M|   0 | 908 |1000 |  15k|  15k|1000 |3318 |3047 |   0 |   0 |-4.540000e+02 |-9.400000e+01 |  79.30%
25.39/25.47	c  24.9s|     1 |     0 | 10186 |  62M|   0 | 905 |1000 |  15k|  15k|1000 |3326 |3055 |   0 |   0 |-4.525000e+02 |-9.400000e+01 |  79.23%
25.78/25.89	c  25.3s|     1 |     0 | 10447 |  62M|   0 | 899 |1000 |  15k|  15k|1000 |3333 |3062 |   0 |   0 |-4.515000e+02 |-9.400000e+01 |  79.18%
26.58/26.69	c  26.1s|     1 |     0 | 11455 |  62M|   0 | 892 |1000 |  15k|  15k|1000 |3392 |3121 |   0 |   0 |-4.490000e+02 |-9.400000e+01 |  79.06%
27.28/27.33	c  26.7s|     1 |     0 | 12142 |  62M|   0 | 906 |1000 |  15k|  15k|1000 |3481 |3210 |   0 |   0 |-4.477500e+02 |-9.400000e+01 |  79.01%
28.08/28.19	c  27.6s|     1 |     0 | 12995 |  62M|   0 | 887 |1000 |  15k|  15k|1000 |3689 |3418 |   0 |   0 |-4.465000e+02 |-9.400000e+01 |  78.95%
29.38/29.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
29.38/29.43	c  28.8s|     1 |     0 | 14377 |  62M|   0 | 934 |1000 |  15k|  15k|1000 |1792 |3509 |   0 |   0 |-4.455366e+02 |-9.400000e+01 |  78.90%
31.99/32.06	c  31.4s|     1 |     0 | 14497 |  63M|   0 | 891 |1000 |  15k|  15k|1000 |3792 |5509 |   0 |   0 |-4.455000e+02 |-9.400000e+01 |  78.90%
32.68/32.73	c  32.1s|     1 |     0 | 14882 |  63M|   0 | 884 |1000 |  15k|  15k|1000 |3801 |5518 |   0 |   0 |-4.440000e+02 |-9.400000e+01 |  78.83%
33.48/33.57	c  32.9s|     1 |     0 | 15632 |  64M|   0 | 870 |1000 |  15k|  15k|1000 |3881 |5598 |   0 |   0 |-4.430000e+02 |-9.400000e+01 |  78.78%
34.38/34.48	c  33.8s|     1 |     0 | 16515 |  64M|   0 | 885 |1000 |  15k|  15k|1000 |4088 |5805 |   0 |   0 |-4.410000e+02 |-9.400000e+01 |  78.68%
35.77/35.89	c  35.2s|     1 |     0 | 17927 |  64M|   0 | 880 |1000 |  15k|  15k|1000 |4098 |5815 |   0 |   0 |-4.395000e+02 |-9.400000e+01 |  78.61%
36.98/37.00	c  36.3s|     1 |     0 | 18787 |  64M|   0 | 880 |1000 |  15k|  15k|1000 |3607 |5852 |   0 |   0 |-4.390000e+02 |-9.400000e+01 |  78.59%
37.87/37.93	c  37.2s|     1 |     0 | 19886 |  64M|   0 | 874 |1000 |  15k|  15k|1000 |3660 |5905 |   0 |   0 |-4.380000e+02 |-9.400000e+01 |  78.54%
38.77/38.80	c  38.1s|     1 |     0 | 20781 |  64M|   0 | 871 |1000 |  15k|  15k|1000 |3692 |5937 |   0 |   0 |-4.375000e+02 |-9.400000e+01 |  78.51%
40.58/40.61	c  39.9s|     1 |     0 | 22917 |  64M|   0 | 930 |1000 |  15k|  15k|1000 |3747 |5992 |   0 |   0 |-4.351718e+02 |-9.400000e+01 |  78.40%
42.57/42.64	c  42.0s|     1 |     0 | 23471 |  64M|   0 | 870 |1000 |  15k|  15k|1000 |5747 |7992 |   0 |   0 |-4.350000e+02 |-9.400000e+01 |  78.39%
43.57/43.66	c  43.0s|     1 |     0 | 24099 |  64M|   0 | 868 |1000 |  15k|  15k|1000 |5756 |8001 |   0 |   0 |-4.340000e+02 |-9.400000e+01 |  78.34%
44.17/44.29	c  43.6s|     1 |     0 | 24418 |  64M|   0 | 866 |1000 |  15k|  15k|1000 |3570 |8008 |   0 |   0 |-4.330000e+02 |-9.400000e+01 |  78.29%
44.97/45.04	c  44.3s|     1 |     0 | 25011 |  64M|   0 | 862 |1000 |  15k|  15k|1000 |3577 |8015 |   0 |   0 |-4.320000e+02 |-9.400000e+01 |  78.24%
45.67/45.78	c  45.1s|     1 |     0 | 25618 |  64M|   0 | 862 |1000 |  15k|  15k|1000 |3606 |8044 |   0 |   0 |-4.310000e+02 |-9.400000e+01 |  78.19%
46.66/46.72	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
46.66/46.72	c  46.0s|     1 |     0 | 26561 |  64M|   0 | 854 |1000 |  15k|  15k|1000 |3614 |8052 |   0 |   0 |-4.290000e+02 |-9.400000e+01 |  78.09%
47.47/47.60	c  46.9s|     1 |     0 | 27228 |  64M|   0 | 851 |1000 |  15k|  15k|1000 |3659 |8097 |   0 |   0 |-4.285000e+02 |-9.400000e+01 |  78.06%
48.26/48.38	c  47.6s|     1 |     0 | 27925 |  64M|   0 | 852 |1000 |  15k|  15k|1000 |3738 |8176 |   0 |   0 |-4.270000e+02 |-9.400000e+01 |  77.99%
49.07/49.18	c  48.4s|     1 |     0 | 28537 |  64M|   0 | 849 |1000 |  15k|  15k|1000 |3170 |8206 |   0 |   0 |-4.265000e+02 |-9.400000e+01 |  77.96%
49.67/49.73	c  49.0s|     1 |     0 | 28998 |  64M|   0 | 849 |1000 |  15k|  15k|1000 |3220 |8256 |   0 |   0 |-4.255000e+02 |-9.400000e+01 |  77.91%
50.46/50.56	c  49.8s|     1 |     0 | 29784 |  64M|   0 | 845 |1000 |  15k|  15k|1000 |3256 |8292 |   0 |   0 |-4.245000e+02 |-9.400000e+01 |  77.86%
51.67/51.72	c  51.0s|     1 |     0 | 30901 |  64M|   0 | 846 |1000 |  15k|  15k|1000 |3319 |8355 |   0 |   0 |-4.235000e+02 |-9.400000e+01 |  77.80%
52.66/52.71	c  52.0s|     1 |     0 | 31894 |  65M|   0 | 839 |1000 |  15k|  15k|1000 |3372 |8408 |   0 |   0 |-4.225000e+02 |-9.400000e+01 |  77.75%
53.86/53.95	c  53.2s|     1 |     0 | 33078 |  65M|   0 | 830 |1000 |  15k|  15k|1000 |3442 |8478 |   0 |   0 |-4.220000e+02 |-9.400000e+01 |  77.73%
54.97/55.04	c  54.3s|     1 |     0 | 34101 |  65M|   0 | 839 |1000 |  15k|  15k|1000 |3245 |8654 |   0 |   0 |-4.215000e+02 |-9.400000e+01 |  77.70%
55.36/55.46	c  54.7s|     1 |     0 | 34368 |  65M|   0 | 828 |1000 |  15k|  15k|1000 |3301 |8710 |   0 |   0 |-4.210000e+02 |-9.400000e+01 |  77.67%
56.67/56.78	c  56.0s|     1 |     0 | 35555 |  65M|   0 | 850 |1000 |  15k|  15k|1000 |3506 |8915 |   0 |   0 |-4.202500e+02 |-9.400000e+01 |  77.63%
57.86/57.94	c  57.2s|     1 |     0 | 36476 |  65M|   0 | 831 |1000 |  15k|  15k|1000 |3869 |9278 |   0 |   0 |-4.195000e+02 |-9.400000e+01 |  77.59%
59.57/59.65	c  58.9s|     1 |     0 | 37869 |  65M|   0 | 839 |1000 |  15k|  15k|1000 |3960 |9369 |   0 |   0 |-4.180000e+02 |-9.400000e+01 |  77.51%
60.96/61.01	c  60.2s|     1 |     0 | 39022 |  65M|   0 | 863 |1000 |  15k|  15k|1000 |4122 |9531 |   0 |   0 |-4.166250e+02 |-9.400000e+01 |  77.44%
62.16/62.26	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
62.16/62.26	c  61.5s|     1 |     0 | 39936 |  65M|   0 | 831 |1000 |  15k|  15k|1000 |4121 |9828 |   0 |   0 |-4.155000e+02 |-9.400000e+01 |  77.38%
63.27/63.30	c  62.5s|     1 |     0 | 40648 |  65M|   0 | 830 |1000 |  15k|  15k|1000 |4132 |9839 |   0 |   0 |-4.150000e+02 |-9.400000e+01 |  77.35%
64.06/64.19	c  63.4s|     1 |     0 | 41323 |  65M|   0 | 821 |1000 |  15k|  15k|1000 |4142 |9849 |   0 |   0 |-4.145000e+02 |-9.400000e+01 |  77.32%
65.56/65.62	c  64.8s|     1 |     0 | 42540 |  66M|   0 | 843 |1000 |  15k|  15k|1000 |4236 |9943 |   0 |   0 |-4.135000e+02 |-9.400000e+01 |  77.27%
66.97/67.00	c  66.2s|     1 |     0 | 43601 |  66M|   0 | 822 |1000 |  15k|  15k|1000 |4309 |  10k|   0 |   0 |-4.130000e+02 |-9.400000e+01 |  77.24%
68.96/69.03	c  68.2s|     1 |     0 | 45178 |  66M|   0 | 818 |1000 |  15k|  15k|1000 |4362 |  10k|   0 |   0 |-4.120000e+02 |-9.400000e+01 |  77.18%
70.46/70.57	c  69.7s|     1 |     0 | 46494 |  66M|   0 | 857 |1000 |  15k|  15k|1000 |4090 |  10k|   0 |   0 |-4.108750e+02 |-9.400000e+01 |  77.12%
71.57/71.67	c  70.8s|     1 |     0 | 47274 |  66M|   0 | 818 |1000 |  15k|  15k|1000 |4196 |  10k|   0 |   0 |-4.100000e+02 |-9.400000e+01 |  77.07%
74.55/74.62	c  73.8s|     1 |     0 | 49558 |  67M|   0 | 854 |1000 |  15k|  15k|1000 |4233 |  10k|   0 |   0 |-4.098333e+02 |-9.400000e+01 |  77.06%
76.06/76.13	c  75.3s|     1 |     0 | 50705 |  67M|   0 | 837 |1000 |  15k|  15k|1000 |4470 |  10k|   0 |   0 |-4.082500e+02 |-9.400000e+01 |  76.97%
77.76/77.84	c  77.0s|     1 |     0 | 51884 |  69M|   0 | 820 |1000 |  15k|  15k|1000 |4483 |  10k|   0 |   0 |-4.065729e+02 |-9.400000e+01 |  76.88%
80.46/80.52	c  79.6s|     1 |     0 | 54178 |  69M|   0 | 826 |1000 |  15k|  15k|1000 |4552 |  10k|   0 |   0 |-4.050000e+02 |-9.400000e+01 |  76.79%
84.76/84.89	c  84.0s|     1 |     0 | 56945 |  70M|   0 | 802 |1000 |  15k|  15k|1000 |4210 |  10k|   0 |   0 |-4.037500e+02 |-9.400000e+01 |  76.72%
86.66/86.75	c  85.8s|     1 |     0 | 58277 |  70M|   0 | 818 |1000 |  15k|  15k|1000 |4299 |  10k|   0 |   0 |-4.032500e+02 |-9.400000e+01 |  76.69%
88.25/88.39	c  87.5s|     1 |     0 | 59622 |  70M|   0 | 840 |1000 |  15k|  15k|1000 |4334 |  10k|   0 |   0 |-4.022500e+02 |-9.400000e+01 |  76.63%
90.65/90.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
90.65/90.79	c  89.9s|     1 |     0 | 61491 |  70M|   0 | 844 |1000 |  15k|  15k|1000 |4483 |  11k|   0 |   0 |-4.010000e+02 |-9.400000e+01 |  76.56%
92.55/92.66	c  91.7s|     1 |     0 | 62972 |  70M|   0 | 798 |1000 |  15k|  15k|1000 |4548 |  11k|   0 |   0 |-3.995000e+02 |-9.400000e+01 |  76.47%
94.56/94.69	c  93.7s|     1 |     0 | 64313 |  70M|   0 | 810 |1000 |  15k|  15k|1000 |4578 |  11k|   0 |   0 |-3.990000e+02 |-9.400000e+01 |  76.44%
96.85/96.97	c  96.0s|     1 |     0 | 66208 |  70M|   0 | 835 |1000 |  15k|  15k|1000 |4389 |  11k|   0 |   0 |-3.980833e+02 |-9.400000e+01 |  76.39%
99.75/99.87	c  98.9s|     1 |     0 | 68200 |  71M|   0 | 826 |1000 |  15k|  15k|1000 |4546 |  11k|   0 |   0 |-3.968660e+02 |-9.400000e+01 |  76.31%
101.85/101.99	c   101s|     1 |     0 | 69932 |  72M|   0 | 788 |1000 |  15k|  15k|1000 |4683 |  11k|   0 |   0 |-3.950000e+02 |-9.400000e+01 |  76.20%
107.35/107.49	c   107s|     1 |     0 | 73201 |  72M|   0 | 811 |1000 |  15k|  15k|1000 |4713 |  11k|   0 |   0 |-3.945000e+02 |-9.400000e+01 |  76.17%
110.95/111.02	c   110s|     1 |     0 | 75773 |  73M|   0 | 805 |1000 |  15k|  15k|1000 |4752 |  11k|   0 |   0 |-3.927500e+02 |-9.400000e+01 |  76.07%
113.05/113.10	c   112s|     1 |     0 | 77223 |  73M|   0 | 802 |1000 |  15k|  15k|1000 |4865 |  11k|   0 |   0 |-3.920000e+02 |-9.400000e+01 |  76.02%
122.54/122.61	c   122s|     1 |     0 | 82626 |  73M|   0 | 916 |1000 |  15k|  15k|1000 |4446 |  11k|   0 |   0 |-3.910196e+02 |-9.400000e+01 |  75.96%
124.84/124.96	c   124s|     1 |     0 | 83111 |  74M|   0 | 782 |1000 |  15k|  15k|1000 |6446 |  13k|   0 |   0 |-3.910000e+02 |-9.400000e+01 |  75.96%
127.14/127.26	c   126s|     1 |     0 | 84350 |  74M|   0 | 781 |1000 |  15k|  15k|1000 |6455 |  13k|   0 |   0 |-3.905000e+02 |-9.400000e+01 |  75.93%
129.74/129.82	c   129s|     1 |     0 | 85714 |  75M|   0 | 799 |1000 |  15k|  15k|1000 |6467 |  13k|   0 |   0 |-3.901667e+02 |-9.400000e+01 |  75.91%
131.74/131.82	c   131s|     1 |     0 | 86733 |  75M|   0 | 792 |1000 |  15k|  15k|1000 |6502 |  13k|   0 |   0 |-3.901667e+02 |-9.400000e+01 |  75.91%
133.24/133.38	c   132s|     1 |     0 | 87577 |  76M|   0 | 781 |1000 |  15k|  15k|1000 |6511 |  13k|   0 |   0 |-3.900000e+02 |-9.400000e+01 |  75.90%
136.93/137.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
136.93/137.01	c   136s|     1 |     0 | 89680 |  76M|   0 | 825 |1000 |  15k|  15k|1000 |6120 |  13k|   0 |   0 |-3.893654e+02 |-9.400000e+01 |  75.86%
138.44/138.54	c   137s|     1 |     0 | 90843 |  76M|   0 | 791 |1000 |  15k|  15k|1000 |6138 |  13k|   0 |   0 |-3.880000e+02 |-9.400000e+01 |  75.77%
140.03/140.12	c   139s|     1 |     0 | 91807 |  76M|   0 | 791 |1000 |  15k|  15k|1000 |6163 |  13k|   0 |   0 |-3.872500e+02 |-9.400000e+01 |  75.73%
143.74/143.86	c   143s|     1 |     0 | 94153 |  76M|   0 | 793 |1000 |  15k|  15k|1000 |6210 |  13k|   0 |   0 |-3.862500e+02 |-9.400000e+01 |  75.66%
147.24/147.32	c   146s|     1 |     0 | 96206 |  76M|   0 | 789 |1000 |  15k|  15k|1000 |6223 |  13k|   0 |   0 |-3.857500e+02 |-9.400000e+01 |  75.63%
149.83/149.92	c   149s|     1 |     0 | 97729 |  77M|   0 | 783 |1000 |  15k|  15k|1000 |6232 |  13k|   0 |   0 |-3.853125e+02 |-9.400000e+01 |  75.60%
152.84/152.91	c   152s|     1 |     0 | 99885 |  77M|   0 | 840 |1000 |  15k|  15k|1000 |5084 |  13k|   0 |   0 |-3.844509e+02 |-9.400000e+01 |  75.55%
155.22/155.34	c   154s|     1 |     0 |101635 |  78M|   0 | 835 |1000 |  15k|  15k|1000 |5178 |  13k|   0 |   0 |-3.840000e+02 |-9.400000e+01 |  75.52%
157.92/158.00	c   157s|     1 |     0 |103129 |  78M|   0 | 839 |1000 |  15k|  15k|1000 |5210 |  14k|   0 |   0 |-3.837500e+02 |-9.400000e+01 |  75.50%
161.03/161.17	c   160s|     1 |     0 |105185 |  80M|   0 | 868 |1000 |  15k|  15k|1000 |5238 |  14k|   0 |   0 |-3.830385e+02 |-9.400000e+01 |  75.46%
163.62/163.78	c   163s|     1 |     0 |106961 |  81M|   0 | 862 |1000 |  15k|  15k|1000 |5315 |  14k|   0 |   0 |-3.821481e+02 |-9.400000e+01 |  75.40%
166.32/166.41	c   165s|     1 |     0 |108899 |  84M|   0 | 854 |1000 |  15k|  15k|1000 |5329 |  14k|   0 |   0 |-3.815000e+02 |-9.400000e+01 |  75.36%
170.83/170.95	c   170s|     1 |     0 |111497 |  86M|   0 | 827 |1000 |  15k|  15k|1000 |5177 |  14k|   0 |   0 |-3.800000e+02 |-9.400000e+01 |  75.26%
174.52/174.67	c   173s|     1 |     0 |113761 |  86M|   0 | 824 |1000 |  15k|  15k|1000 |5186 |  14k|   0 |   0 |-3.800000e+02 |-9.400000e+01 |  75.26%
178.42/178.53	c   177s|     1 |     0 |116001 |  86M|   0 | 819 |1000 |  15k|  15k|1000 |5250 |  14k|   0 |   0 |-3.797500e+02 |-9.400000e+01 |  75.25%
183.12/183.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
183.12/183.25	c   182s|     1 |     0 |118606 |  90M|   0 | 870 |1000 |  15k|  15k|1000 |5280 |  14k|   0 |   0 |-3.786786e+02 |-9.400000e+01 |  75.18%
187.21/187.31	c   186s|     1 |     0 |120996 |  94M|   0 | 865 |1000 |  15k|  15k|1000 |5295 |  14k|   0 |   0 |-3.779259e+02 |-9.400000e+01 |  75.13%
190.71/190.83	c   190s|     1 |     0 |122476 |  94M|   0 | 860 |1000 |  15k|  15k|1000 |5346 |  14k|   0 |   0 |-3.772788e+02 |-9.400000e+01 |  75.08%
195.01/195.13	c   194s|     1 |     0 |125070 |  96M|   0 | 893 |1000 |  15k|  15k|1000 |5311 |  14k|   0 |   0 |-3.761071e+02 |-9.400000e+01 |  75.01%
198.61/198.77	c   198s|     1 |     0 |127034 |  98M|   0 | 910 |1000 |  15k|  15k|1000 |5417 |  14k|   0 |   0 |-3.749990e+02 |-9.400000e+01 |  74.93%
204.11/204.29	c   203s|     1 |     0 |129503 |  98M|   0 | 901 |1000 |  15k|  15k|1000 |5473 |  14k|   0 |   0 |-3.740579e+02 |-9.400000e+01 |  74.87%
208.91/209.03	c   208s|     1 |     0 |131923 |  99M|   0 | 871 |1000 |  15k|  15k|1000 |5547 |  14k|   0 |   0 |-3.706369e+02 |-9.400000e+01 |  74.64%
214.61/214.74	c   213s|     1 |     0 |135137 | 101M|   0 | 847 |1000 |  15k|  15k|1000 |5621 |  14k|   0 |   0 |-3.699375e+02 |-9.400000e+01 |  74.59%
221.20/221.30	c   220s|     1 |     0 |138322 | 101M|   0 | 881 |1000 |  15k|  15k|1000 |5643 |  14k|   0 |   0 |-3.689954e+02 |-9.400000e+01 |  74.53%
225.11/225.24	c   224s|     1 |     0 |139868 | 101M|   0 | 900 |1000 |  15k|  15k|1000 |5577 |  14k|   0 |   0 |-3.687477e+02 |-9.400000e+01 |  74.51%
229.10/229.23	c   228s|     1 |     0 |141603 | 101M|   0 | 903 |1000 |  15k|  15k|1000 |5613 |  14k|   0 |   0 |-3.682370e+02 |-9.400000e+01 |  74.47%
234.90/235.02	c   234s|     1 |     0 |144441 | 101M|   0 | 905 |1000 |  15k|  15k|1000 |5679 |  14k|   0 |   0 |-3.666110e+02 |-9.400000e+01 |  74.36%
240.50/240.66	c   239s|     1 |     0 |146963 | 101M|   0 | 906 |1000 |  15k|  15k|1000 |5753 |  15k|   0 |   0 |-3.651849e+02 |-9.400000e+01 |  74.26%
247.00/247.19	c   246s|     1 |     0 |150042 | 103M|   0 | 921 |1000 |  15k|  15k|1000 |5849 |  15k|   0 |   0 |-3.636071e+02 |-9.400000e+01 |  74.15%
252.29/252.45	c   251s|     1 |     0 |151939 | 104M|   0 | 948 |1000 |  15k|  15k|1000 |5941 |  15k|   0 |   0 |-3.628805e+02 |-9.400000e+01 |  74.10%
257.99/258.15	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
257.99/258.15	c   257s|     1 |     0 |154116 | 104M|   0 | 937 |1000 |  15k|  15k|1000 |5850 |  15k|   0 |   0 |-3.619887e+02 |-9.400000e+01 |  74.03%
263.69/263.81	c   262s|     1 |     0 |156396 | 104M|   0 | 946 |1000 |  15k|  15k|1000 |5945 |  15k|   0 |   0 |-3.611342e+02 |-9.400000e+01 |  73.97%
270.39/270.50	c   269s|     1 |     0 |158869 | 104M|   0 | 950 |1000 |  15k|  15k|1000 |6047 |  15k|   0 |   0 |-3.604238e+02 |-9.400000e+01 |  73.92%
277.19/277.39	c   276s|     1 |     0 |161663 | 104M|   0 | 962 |1000 |  15k|  15k|1000 |6120 |  15k|   0 |   0 |-3.586406e+02 |-9.400000e+01 |  73.79%
283.98/284.12	c   283s|     1 |     0 |163838 | 104M|   0 | 952 |1000 |  15k|  15k|1000 |6288 |  15k|   0 |   0 |-3.571460e+02 |-9.400000e+01 |  73.68%
289.88/290.05	c   288s|     1 |     0 |165769 | 104M|   0 | 952 |1000 |  15k|  15k|1000 |6311 |  15k|   0 |   0 |-3.563088e+02 |-9.400000e+01 |  73.62%
296.37/296.54	c   295s|     1 |     0 |167974 | 104M|   0 | 956 |1000 |  15k|  15k|1000 |6199 |  15k|   0 |   0 |-3.554700e+02 |-9.400000e+01 |  73.56%
303.08/303.29	c   302s|     1 |     0 |170641 | 104M|   0 | 949 |1000 |  15k|  15k|1000 |6251 |  15k|   0 |   0 |-3.535285e+02 |-9.400000e+01 |  73.41%
309.47/309.62	c   308s|     1 |     0 |172996 | 104M|   0 | 954 |1000 |  15k|  15k|1000 |6296 |  15k|   0 |   0 |-3.520626e+02 |-9.400000e+01 |  73.30%
316.47/316.64	c   315s|     1 |     0 |175342 | 104M|   0 | 952 |1000 |  15k|  15k|1000 |6392 |  15k|   0 |   0 |-3.511378e+02 |-9.400000e+01 |  73.23%
323.27/323.45	c   322s|     1 |     0 |177700 | 104M|   0 | 958 |1000 |  15k|  15k|1000 |6470 |  16k|   0 |   0 |-3.503296e+02 |-9.400000e+01 |  73.17%
329.07/329.24	c   328s|     1 |     0 |179443 | 104M|   0 | 963 |1000 |  15k|  15k|1000 |6485 |  16k|   0 |   0 |-3.499285e+02 |-9.400000e+01 |  73.14%
334.97/335.17	c   333s|     1 |     0 |180717 | 104M|   0 | 952 |1000 |  15k|  15k|1000 |6289 |  16k|   0 |   0 |-3.496367e+02 |-9.400000e+01 |  73.11%
341.16/341.34	c   340s|     1 |     0 |182761 | 104M|   0 | 955 |1000 |  15k|  15k|1000 |6305 |  16k|   0 |   0 |-3.489377e+02 |-9.400000e+01 |  73.06%
348.36/348.58	c   347s|     1 |     0 |185515 | 104M|   0 | 970 |1000 |  15k|  15k|1000 |6348 |  16k|   0 |   0 |-3.479925e+02 |-9.400000e+01 |  72.99%
356.16/356.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
356.16/356.38	c   355s|     1 |     0 |188304 | 104M|   0 | 973 |1000 |  15k|  15k|1000 |6408 |  16k|   0 |   0 |-3.470582e+02 |-9.400000e+01 |  72.92%
362.46/362.66	c   361s|     1 |     0 |190034 | 103M|   0 | 968 |1000 |  15k|  15k|1000 |6576 |  16k|   0 |   0 |-3.467869e+02 |-9.400000e+01 |  72.89%
368.55/368.71	c   367s|     1 |     0 |191365 | 103M|   0 | 962 |1000 |  15k|  15k|1000 |6594 |  16k|   0 |   0 |-3.464638e+02 |-9.400000e+01 |  72.87%
375.45/375.65	c   374s|     1 |     0 |193307 | 103M|   0 | 970 |1000 |  15k|  15k|1000 |6417 |  16k|   0 |   0 |-3.459756e+02 |-9.400000e+01 |  72.83%
381.15/381.38	c   379s|     1 |     0 |194649 | 103M|   0 | 970 |1000 |  15k|  15k|1000 |6458 |  16k|   0 |   0 |-3.456517e+02 |-9.400000e+01 |  72.80%
388.34/388.57	c   387s|     1 |     0 |196633 | 103M|   0 | 972 |1000 |  15k|  15k|1000 |6481 |  16k|   0 |   0 |-3.449490e+02 |-9.400000e+01 |  72.75%
396.55/396.76	c   395s|     1 |     0 |198922 | 103M|   0 | 976 |1000 |  15k|  15k|1000 |6511 |  16k|   0 |   0 |-3.441263e+02 |-9.400000e+01 |  72.68%
405.04/405.24	c   403s|     1 |     0 |201308 | 103M|   0 | 982 |1000 |  15k|  15k|1000 |6541 |  16k|   0 |   0 |-3.433669e+02 |-9.400000e+01 |  72.62%
413.44/413.70	c   412s|     1 |     0 |203477 | 103M|   0 | 986 |1000 |  15k|  15k|1000 |6598 |  16k|   0 |   0 |-3.426454e+02 |-9.400000e+01 |  72.57%
421.34/421.59	c   420s|     1 |     0 |205155 | 103M|   0 | 977 |1000 |  15k|  15k|1000 |6575 |  16k|   0 |   0 |-3.420495e+02 |-9.400000e+01 |  72.52%
429.13/429.34	c   427s|     1 |     0 |206771 | 103M|   0 | 986 |1000 |  15k|  15k|1000 |6591 |  16k|   0 |   0 |-3.414597e+02 |-9.400000e+01 |  72.47%
436.54/436.77	c   435s|     1 |     0 |208034 | 103M|   0 | 986 |1000 |  15k|  15k|1000 |6654 |  16k|   0 |   0 |-3.411293e+02 |-9.400000e+01 |  72.44%
444.42/444.66	c   443s|     1 |     0 |209392 | 103M|   0 | 987 |1000 |  15k|  15k|1000 |6676 |  16k|   0 |   0 |-3.407446e+02 |-9.400000e+01 |  72.41%
452.92/453.19	c   451s|     1 |     0 |210953 | 103M|   0 | 991 |1000 |  15k|  15k|1000 |6725 |  16k|   0 |   0 |-3.402623e+02 |-9.400000e+01 |  72.37%
461.02/461.29	c   459s|     1 |     0 |212332 | 103M|   0 | 990 |1000 |  15k|  15k|1000 |6757 |  16k|   0 |   0 |-3.399176e+02 |-9.400000e+01 |  72.35%
470.12/470.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
470.12/470.35	c   468s|     1 |     0 |214040 | 103M|   0 | 989 |1000 |  15k|  15k|1000 |6691 |  16k|   0 |   0 |-3.394511e+02 |-9.400000e+01 |  72.31%
478.21/478.46	c   476s|     1 |     0 |215360 | 103M|   0 | 990 |1000 |  15k|  15k|1000 |6746 |  16k|   0 |   0 |-3.390111e+02 |-9.400000e+01 |  72.27%
487.01/487.24	c   485s|     1 |     0 |217008 | 103M|   0 | 985 |1000 |  15k|  15k|1000 |6766 |  16k|   0 |   0 |-3.382124e+02 |-9.400000e+01 |  72.21%
496.30/496.53	c   494s|     1 |     0 |218857 | 103M|   0 | 988 |1000 |  15k|  15k|1000 |6812 |  17k|   0 |   0 |-3.375295e+02 |-9.400000e+01 |  72.15%
505.20/505.45	c   503s|     1 |     0 |220592 | 103M|   0 | 992 |1000 |  15k|  15k|1000 |6859 |  17k|   0 |   0 |-3.369147e+02 |-9.400000e+01 |  72.10%
514.49/514.74	c   512s|     1 |     0 |222263 | 103M|   0 | 988 |1000 |  15k|  15k|1000 |6897 |  17k|   0 |   0 |-3.364086e+02 |-9.400000e+01 |  72.06%
523.09/523.30	c   521s|     1 |     0 |223545 | 103M|   0 | 990 |1000 |  15k|  15k|1000 |6820 |  17k|   0 |   0 |-3.358918e+02 |-9.400000e+01 |  72.01%
531.89/532.16	c   530s|     1 |     0 |225072 | 102M|   0 | 987 |1000 |  15k|  15k|1000 |6851 |  17k|   0 |   0 |-3.353441e+02 |-9.400000e+01 |  71.97%
541.49/541.75	c   539s|     1 |     0 |226920 | 102M|   0 | 992 |1000 |  15k|  15k|1000 |6874 |  17k|   0 |   0 |-3.347774e+02 |-9.400000e+01 |  71.92%
550.89/551.19	c   549s|     1 |     0 |228621 | 102M|   0 | 991 |1000 |  15k|  15k|1000 |6906 |  17k|   0 |   0 |-3.342040e+02 |-9.400000e+01 |  71.87%
560.79/561.02	c   559s|     1 |     0 |230349 | 102M|   0 | 991 |1000 |  15k|  15k|1000 |6937 |  17k|   0 |   0 |-3.335098e+02 |-9.400000e+01 |  71.81%
570.18/570.48	c   568s|     1 |     0 |231872 | 102M|   0 | 991 |1000 |  15k|  15k|1000 |6976 |  17k|   0 |   0 |-3.331906e+02 |-9.400000e+01 |  71.79%
579.37/579.64	c   577s|     1 |     0 |233371 | 102M|   0 | 985 |1000 |  15k|  15k|1000 |6908 |  17k|   0 |   0 |-3.328463e+02 |-9.400000e+01 |  71.76%
588.27/588.59	c   586s|     1 |     0 |234839 | 102M|   0 | 991 |1000 |  15k|  15k|1000 |6938 |  17k|   0 |   0 |-3.322645e+02 |-9.400000e+01 |  71.71%
597.17/597.49	c   595s|     1 |     0 |235974 | 102M|   0 | 994 |1000 |  15k|  15k|1000 |6963 |  17k|   0 |   0 |-3.319634e+02 |-9.400000e+01 |  71.68%
606.36/606.66	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
606.36/606.66	c   604s|     1 |     0 |237398 | 102M|   0 | 993 |1000 |  15k|  15k|1000 |6982 |  17k|   0 |   0 |-3.314276e+02 |-9.400000e+01 |  71.64%
614.96/615.27	c   613s|     1 |     0 |238410 | 102M|   0 | 991 |1000 |  15k|  15k|1000 |7006 |  17k|   0 |   0 |-3.311208e+02 |-9.400000e+01 |  71.61%
623.47/623.75	c   621s|     1 |     0 |239512 | 102M|   0 | 992 |1000 |  15k|  15k|1000 |7023 |  17k|   0 |   0 |-3.307474e+02 |-9.400000e+01 |  71.58%
633.05/633.31	c   631s|     1 |     0 |240955 | 102M|   0 | 992 |1000 |  15k|  15k|1000 |6961 |  17k|   0 |   0 |-3.302201e+02 |-9.400000e+01 |  71.53%
641.36/641.66	c   639s|     1 |     0 |241877 | 101M|   0 | 991 |1000 |  15k|  15k|1000 |6984 |  17k|   0 |   0 |-3.300214e+02 |-9.400000e+01 |  71.52%
651.55/651.80	c   649s|     1 |     0 |243432 | 101M|   0 | 993 |1000 |  15k|  15k|1000 |7012 |  17k|   0 |   0 |-3.295084e+02 |-9.400000e+01 |  71.47%
661.14/661.43	c   659s|     1 |     0 |244914 |  99M|   0 | 993 |1000 |  15k|  15k|1000 |7037 |  17k|   0 |   0 |-3.289132e+02 |-9.400000e+01 |  71.42%
670.84/671.15	c   668s|     1 |     0 |246391 |  98M|   0 | 994 |1000 |  15k|  15k|1000 |7066 |  17k|   0 |   0 |-3.284176e+02 |-9.400000e+01 |  71.38%
681.74/682.05	c   679s|     1 |     0 |248314 |  98M|   0 | 991 |1000 |  15k|  15k|1000 |7098 |  17k|   0 |   0 |-3.277514e+02 |-9.400000e+01 |  71.32%
691.74/692.07	c   689s|     1 |     0 |249737 |  98M|   0 | 990 |1000 |  15k|  15k|1000 |7052 |  17k|   0 |   0 |-3.273547e+02 |-9.400000e+01 |  71.28%
700.33/700.60	c   698s|     1 |     0 |250655 |  98M|   0 | 994 |1000 |  15k|  15k|1000 |7076 |  17k|   0 |   0 |-3.270733e+02 |-9.400000e+01 |  71.26%
709.13/709.46	c   707s|     1 |     0 |251560 |  98M|   0 | 995 |1000 |  15k|  15k|1000 |7103 |  17k|   0 |   0 |-3.268406e+02 |-9.400000e+01 |  71.24%
717.92/718.26	c   716s|     1 |     0 |252345 |  98M|   0 | 992 |1000 |  15k|  15k|1000 |7125 |  17k|   0 |   0 |-3.266024e+02 |-9.400000e+01 |  71.22%
727.62/727.93	c   725s|     1 |     0 |253547 |  98M|   0 | 997 |1000 |  15k|  15k|1000 |7143 |  17k|   0 |   0 |-3.261572e+02 |-9.400000e+01 |  71.18%
736.92/737.29	c   734s|     1 |     0 |254519 |  97M|   0 | 997 |1000 |  15k|  15k|1000 |7166 |  17k|   0 |   0 |-3.258687e+02 |-9.400000e+01 |  71.15%
746.02/746.32	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
746.02/746.32	c   744s|     1 |     0 |255429 |  97M|   0 | 996 |1000 |  15k|  15k|1000 |7120 |  17k|   0 |   0 |-3.255898e+02 |-9.400000e+01 |  71.13%
754.42/754.72	c   752s|     1 |     0 |256098 |  96M|   0 | 997 |1000 |  15k|  15k|1000 |7132 |  17k|   0 |   0 |-3.254289e+02 |-9.400000e+01 |  71.12%
763.61/763.95	c   761s|     1 |     0 |256941 |  96M|   0 | 996 |1000 |  15k|  15k|1000 |7145 |  17k|   0 |   0 |-3.251482e+02 |-9.400000e+01 |  71.09%
772.50/772.87	c   770s|     1 |     0 |257847 |  95M|   0 | 994 |1000 |  15k|  15k|1000 |7160 |  17k|   0 |   0 |-3.247928e+02 |-9.400000e+01 |  71.06%
781.11/781.49	c   779s|     1 |     0 |258432 |  95M|   0 | 996 |1000 |  15k|  15k|1000 |7171 |  17k|   0 |   0 |-3.246389e+02 |-9.400000e+01 |  71.04%
790.10/790.44	c   788s|     1 |     0 |259173 |  95M|   0 | 996 |1000 |  15k|  15k|1000 |7185 |  17k|   0 |   0 |-3.243886e+02 |-9.400000e+01 |  71.02%
798.10/798.43	c   795s|     1 |     0 |259696 |  95M|   0 | 998 |1000 |  15k|  15k|1000 |7130 |  17k|   0 |   0 |-3.243023e+02 |-9.400000e+01 |  71.01%
806.59/806.95	c   804s|     1 |     0 |260329 |  95M|   0 | 997 |1000 |  15k|  15k|1000 |7147 |  17k|   0 |   0 |-3.240611e+02 |-9.400000e+01 |  70.99%
814.59/814.93	c   812s|     1 |     0 |260781 |  95M|   0 | 997 |1000 |  15k|  15k|1000 |7159 |  17k|   0 |   0 |-3.239628e+02 |-9.400000e+01 |  70.98%
822.49/822.88	c   820s|     1 |     0 |261242 |  93M|   0 | 997 |1000 |  15k|  15k|1000 |7169 |  17k|   0 |   0 |-3.238239e+02 |-9.400000e+01 |  70.97%
830.79/831.15	c   828s|     1 |     0 |261860 |  93M|   0 | 997 |1000 |  15k|  15k|1000 |7180 |  17k|   0 |   0 |-3.236576e+02 |-9.400000e+01 |  70.96%
838.88/839.25	c   836s|     1 |     0 |262535 |  93M|   0 | 997 |1000 |  15k|  15k|1000 |7192 |  17k|   0 |   0 |-3.234802e+02 |-9.400000e+01 |  70.94%
846.48/846.85	c   844s|     1 |     0 |262997 |  93M|   0 | 996 |1000 |  15k|  15k|1000 |7158 |  17k|   0 |   0 |-3.233987e+02 |-9.400000e+01 |  70.93%
853.88/854.21	c   851s|     1 |     0 |263399 |  92M|   0 | 998 |1000 |  15k|  15k|1000 |7166 |  17k|   0 |   0 |-3.233279e+02 |-9.400000e+01 |  70.93%
861.27/861.68	c   859s|     1 |     0 |263842 |  92M|   0 | 998 |1000 |  15k|  15k|1000 |7179 |  17k|   0 |   0 |-3.232396e+02 |-9.400000e+01 |  70.92%
868.97/869.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
868.97/869.34	c   866s|     1 |     0 |264252 |  92M|   0 | 999 |1000 |  15k|  15k|1000 |7190 |  17k|   0 |   0 |-3.231762e+02 |-9.400000e+01 |  70.91%
875.97/876.36	c   873s|     1 |     0 |264524 |  92M|   0 | 999 |1000 |  15k|  15k|1000 |7201 |  17k|   0 |   0 |-3.231401e+02 |-9.400000e+01 |  70.91%
883.47/883.87	c   881s|     1 |     0 |264952 |  92M|   0 | 997 |1000 |  15k|  15k|1000 |7211 |  17k|   0 |   0 |-3.230800e+02 |-9.400000e+01 |  70.91%
891.26/891.61	c   888s|     1 |     0 |265439 |  91M|   0 | 964 |1000 |  15k|  15k|1000 |7166 |  17k|   0 |   0 |-3.230000e+02 |-9.400000e+01 |  70.90%
897.17/897.60	c   894s|     1 |     0 |265442 |  90M|   0 | 966 |1000 |  15k|  15k|1000 |7172 |  17k|   0 |   0 |-3.230000e+02 |-9.400000e+01 |  70.90%
903.26/903.64	c   900s|     1 |     0 |265443 |  90M|   0 | 967 |1000 |  15k|  15k|1000 |7173 |  17k|   0 |   0 |-3.230000e+02 |-9.400000e+01 |  70.90%
994.82/995.22	c   992s|     1 |     2 |278838 |  89M|   0 | 967 |1000 |  15k|  15k|1000 |7173 |  17k|   0 |  21 |-3.230000e+02 |-9.400000e+01 |  70.90%
1797.64/1798.33	c 
1797.64/1798.33	c SCIP Status        : solving was interrupted [time limit reached]
1797.64/1798.33	c Solving Time (sec) : 1791.00
1797.64/1798.33	c Solving Nodes      : 139
1797.64/1798.33	c Primal Bound       : -9.40000000000000e+01 (2 solutions)
1797.64/1798.33	c Dual Bound         : -3.22393606048691e+02
1797.64/1798.33	c Gap                : 70.84 %
1797.64/1798.37	c NODE         139
1797.64/1798.37	c DUAL BOUND   -322.394
1797.64/1798.37	c PRIMAL BOUND -94
1797.64/1798.37	c GAP          0.708431
1797.64/1798.37	s SATISFIABLE
1797.64/1798.37	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 x980 -x979 
1797.64/1798.37	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 x961 -x960 -x959 -x958 
1797.64/1798.37	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
1797.64/1798.37	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 
1797.64/1798.37	v -x915 -x914 x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
1797.64/1798.37	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
1797.64/1798.37	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 -x859 -x858 -x857 x856 x855 -x854 -x853 
1797.64/1798.37	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 
1797.64/1798.37	v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 
1797.64/1798.37	v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 
1797.64/1798.37	v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 
1797.64/1798.37	v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 
1797.64/1798.37	v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 
1797.64/1798.37	v -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 
1797.64/1798.37	v -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 
1797.64/1798.37	v -x684 x683 -x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 
1797.64/1798.37	v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 
1797.64/1798.37	v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 
1797.64/1798.37	v -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 
1797.64/1798.37	v -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 
1797.64/1798.37	v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 
1797.64/1798.37	v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 
1797.64/1798.37	v -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 
1797.64/1798.37	v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 
1797.64/1798.37	v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 
1797.64/1798.37	v -x473 x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 
1797.64/1798.37	v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 x432 
1797.64/1798.37	v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 
1797.64/1798.37	v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 
1797.64/1798.37	v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 
1797.64/1798.37	v -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 
1797.64/1798.37	v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 
1797.64/1798.37	v -x326 x325 x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 
1797.64/1798.37	v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 
1797.64/1798.37	v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 
1797.64/1798.37	v -x263 x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 
1797.64/1798.37	v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 
1797.64/1798.37	v -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 
1797.64/1798.37	v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 
1797.64/1798.37	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 x162 x161 -x160 -x159 x158 
1797.64/1798.37	v -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 
1797.64/1798.37	v -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 x127 -x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 
1797.64/1798.37	v -x114 -x113 -x112 -x111 x110 x109 -x108 -x107 x106 -x105 -x104 x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1797.64/1798.37	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 
1797.64/1798.37	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 
1797.64/1798.37	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 
1797.64/1798.37	v -x12 x11 -x10 -x9 -x8 x7 x6 x5 -x4 x3 -x2 x1 
1797.64/1798.37	c SCIP Status        : solving was interrupted [time limit reached]
1797.64/1798.37	c Solving Time       :    1791.00
1797.64/1798.37	c Original Problem   :
1797.64/1798.37	c   Problem name     : HOME/instance-1870400-1245201999.opb
1797.64/1798.37	c   Variables        : 16811 (16811 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.64/1798.37	c   Constraints      : 16811 initial, 16811 maximal
1797.64/1798.37	c Presolved Problem  :
1797.64/1798.37	c   Problem name     : t_HOME/instance-1870400-1245201999.opb
1797.64/1798.37	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.64/1798.37	c   Constraints      : 15811 initial, 15811 maximal
1797.64/1798.37	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.64/1798.37	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1797.64/1798.37	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.37	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.37	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.37	c   implics          :       0.00          0          0          0          0          0          0          0          0
1797.64/1798.37	c   probing          :       0.57          0          0          0          0          0          0          0          0
1797.64/1798.37	c   and              :       0.29          0          0          0          0          0          0          0          0
1797.64/1798.37	c   linear           :       0.10      15811          0          0      15811          0       1000          0          0
1797.64/1798.37	c   root node        :          -          0          -          -          0          -          -          -          -
1797.64/1798.37	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.64/1798.37	c   integral         :          0          0          0        138          0          0          0          0          0        276
1797.64/1798.37	c   and              :      15811        832       6002          0          1          0       2475     172066          0          0
1797.64/1798.37	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1797.64/1798.37	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.64/1798.37	c   integral         :     274.95       0.00       0.00     274.95       0.00
1797.64/1798.37	c   and              :      21.98      13.78       8.20       0.00       0.00
1797.64/1798.37	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.64/1798.37	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.64/1798.37	c   rootredcost      :       0.01          0          0          0
1797.64/1798.37	c   pseudoobj        :       0.33       6000          0          0
1797.64/1798.37	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.64/1798.37	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.64/1798.37	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.64/1798.37	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.64/1798.37	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.64/1798.37	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.64/1798.37	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.64/1798.37	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.64/1798.37	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.64/1798.37	c   cut pool         :       1.77        199          -          -       5626          -    (maximal pool size: 14253)
1797.64/1798.37	c   redcost          :       0.04        832          0          0          0          0
1797.64/1798.37	c   impliedbounds    :       0.36        199          0          0      26179          0
1797.64/1798.37	c   intobj           :       0.00          0          0          0          0          0
1797.64/1798.37	c   gomory           :     485.38        196          0          0      67675          0
1797.64/1798.37	c   strongcg         :       2.50         20          0          0      10000          0
1797.64/1798.37	c   cmir             :       1.23         10          0          0          0          0
1797.64/1798.37	c   flowcover        :       0.93         10          0          0          0          0
1797.64/1798.37	c   clique           :       6.80        196          0          0       1581          0
1797.64/1798.37	c   zerohalf         :       0.00          0          0          0          0          0
1797.64/1798.37	c   mcf              :       0.04          1          0          0          0          0
1797.64/1798.37	c Pricers            :       Time      Calls       Vars
1797.64/1798.37	c   problem variables:       0.00          0          0
1797.64/1798.37	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.64/1798.37	c   relpscost        :     274.95        138          0          0          0          0        276
1797.64/1798.37	c   pscost           :       0.00          0          0          0          0          0          0
1797.64/1798.37	c   inference        :       0.00          1          0          0          0          0          2
1797.64/1798.37	c   mostinf          :       0.00          0          0          0          0          0          0
1797.64/1798.37	c   leastinf         :       0.00          0          0          0          0          0          0
1797.64/1798.37	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.64/1798.37	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.64/1798.37	c   random           :       0.00          0          0          0          0          0          0
1797.64/1798.37	c Primal Heuristics  :       Time      Calls      Found
1797.64/1798.37	c   LP solutions     :       0.00          -          0
1797.64/1798.37	c   pseudo solutions :       0.00          -          0
1797.64/1798.37	c   crossover        :       0.00          0          0
1797.64/1798.37	c   oneopt           :       0.01          1          0
1797.64/1798.37	c   objpscostdiving  :      44.58          1          0
1797.64/1798.37	c   veclendiving     :      57.19          3          0
1797.64/1798.37	c   fracdiving       :      44.78          4          0
1797.64/1798.37	c   linesearchdiving :      49.87          4          0
1797.64/1798.37	c   guideddiving     :      47.99          4          0
1797.64/1798.37	c   rootsoldiving    :       7.69          7          0
1797.64/1798.37	c   simplerounding   :       0.00          0          0
1797.64/1798.37	c   rounding         :      16.44        898          1
1797.64/1798.37	c   shifting         :       5.04        210          1
1797.64/1798.37	c   intshifting      :       0.00          0          0
1797.64/1798.37	c   fixandinfer      :       0.00          0          0
1797.64/1798.37	c   feaspump         :      46.57          1          0
1797.64/1798.37	c   coefdiving       :      51.61          4          0
1797.64/1798.37	c   pscostdiving     :      59.61          3          0
1797.64/1798.37	c   intdiving        :       0.00          0          0
1797.64/1798.37	c   actconsdiving    :       0.00          0          0
1797.64/1798.37	c   octane           :       0.00          0          0
1797.64/1798.37	c   rens             :       0.00          0          0
1797.64/1798.37	c   rins             :       0.00          0          0
1797.64/1798.37	c   localbranching   :       0.00          0          0
1797.64/1798.37	c   mutation         :       0.00          0          0
1797.64/1798.37	c   dins             :       0.00          0          0
1797.64/1798.37	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.64/1798.37	c   primal LP        :       0.91          0          0       0.00       0.00
1797.64/1798.37	c   dual LP          :     556.92        898     561387     625.15    1008.02
1797.64/1798.37	c   barrier LP       :       0.00          0          0       0.00          -
1797.64/1798.37	c   diving/probing LP:     395.68       5968     649451     108.82    1641.35
1797.64/1798.37	c   strong branching :     274.84        501     404974     808.33    1473.49
1797.64/1798.37	c     (at root node) :          -         21      18955     902.62          -
1797.64/1798.37	c   conflict analysis:       0.00          0          0       0.00          -
1797.64/1798.37	c B&B Tree           :
1797.64/1798.37	c   number of runs   :          1
1797.64/1798.37	c   nodes            :        139
1797.64/1798.37	c   nodes (total)    :        139
1797.64/1798.37	c   nodes left       :        140
1797.64/1798.37	c   max depth        :         15
1797.64/1798.37	c   max depth (total):         15
1797.64/1798.37	c   backtracks       :         55 (39.6%)
1797.64/1798.37	c   delayed cutoffs  :          0
1797.64/1798.37	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.64/1798.37	c   avg switch length:       4.64
1797.64/1798.37	c   switching time   :       0.76
1797.64/1798.37	c Solution           :
1797.64/1798.37	c   Solutions found  :          2 (1 improvements)
1797.64/1798.37	c   Primal Bound     : -9.40000000000000e+01   (in run 1, after 1 nodes, 1.94 seconds, depth 0, found by <rounding>)
1797.64/1798.37	c   Dual Bound       : -3.22393606048691e+02
1797.64/1798.37	c   Gap              :      70.84 %
1797.64/1798.37	c   Root Dual Bound  : -3.23000000000000e+02
1797.84/1798.56	c Time complete: 1797.91.

OK	-94

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870400-1245201999/watcher-1870400-1245201999 -o /tmp/evaluation-result-1870400-1245201999/solver-1870400-1245201999 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870400-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.84 0.95 0.98 3/64 7228
/proc/meminfo: memFree=1873912/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=4328 CPUtime=0
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 487 0 0 0 0 0 0 0 18 0 1 0 187796589 4431872 471 1992294400 4194304 7823515 548682068736 18446744073709551615 6962474 0 0 4096 0 0 0 0 17 1 0 0
/proc/7228/statm: 1162 483 316 886 0 272 0

[startup+0.105503 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 7228
/proc/meminfo: memFree=1873912/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=22332 CPUtime=0.09
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 4886 0 0 0 8 1 0 0 18 0 1 0 187796589 22867968 4868 1992294400 4194304 7823515 548682068736 18446744073709551615 5879387 0 0 4096 0 0 0 0 17 1 0 0
/proc/7228/statm: 5583 4868 354 886 0 4693 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22332

[startup+0.201518 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 7228
/proc/meminfo: memFree=1873912/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=30316 CPUtime=0.19
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 7196 0 0 0 17 2 0 0 18 0 1 0 187796589 31043584 6824 1992294400 4194304 7823515 548682068736 18446744073709551615 5879305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 7579 6824 367 886 0 6689 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30316

[startup+0.301536 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 7228
/proc/meminfo: memFree=1873912/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=50536 CPUtime=0.29
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 12242 0 0 0 24 5 0 0 19 0 1 0 187796589 51748864 11870 1992294400 4194304 7823515 548682068736 18446744073709551615 4686188 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 12634 11870 385 886 0 11744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50536

[startup+0.701609 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 7228
/proc/meminfo: memFree=1873912/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=60340 CPUtime=0.69
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 14480 0 0 0 53 16 0 0 22 0 1 0 187796589 61788160 14108 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 15085 14108 425 886 0 14195 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60340

[startup+1.50176 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 7229
/proc/meminfo: memFree=1819056/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=60340 CPUtime=1.49
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 14496 0 0 0 124 25 0 0 25 0 1 0 187796589 61788160 14124 1992294400 4194304 7823515 548682068736 18446744073709551615 4903340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 15085 14124 433 886 0 14195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60340

[startup+3.10105 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 7229
/proc/meminfo: memFree=1784624/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=99264 CPUtime=3.09
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 24714 0 0 0 278 31 0 0 25 0 1 0 187796589 101646336 23589 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 24816 23589 543 886 0 23926 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99264

[startup+6.30163 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 7229
/proc/meminfo: memFree=1776504/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=104232 CPUtime=6.29
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 25917 0 0 0 594 35 0 0 25 0 1 0 187796589 106733568 24792 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 26058 24792 544 886 0 25168 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104232

[startup+12.7018 s]
/proc/loadavg: 0.88 0.95 0.98 2/65 7229
/proc/meminfo: memFree=1775608/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=104232 CPUtime=12.69
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 26142 0 0 0 1231 38 0 0 25 0 1 0 187796589 106733568 25017 1992294400 4194304 7823515 548682068736 18446744073709551615 5401737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 26058 25017 546 886 0 25168 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104232

[startup+25.5011 s]
/proc/loadavg: 0.89 0.95 0.98 2/65 7229
/proc/meminfo: memFree=1766136/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=112832 CPUtime=25.48
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 28745 0 0 0 2503 45 0 0 25 0 1 0 187796589 115539968 27365 1992294400 4194304 7823515 548682068736 18446744073709551615 4686176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 28208 27365 546 886 0 27318 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 112832

[startup+51.1018 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 7229
/proc/meminfo: memFree=1753208/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=126512 CPUtime=51.07
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 32006 0 0 0 5051 56 0 0 25 0 1 0 187796589 129548288 30603 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 31628 30603 546 886 0 30738 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126512

[startup+102.301 s]
/proc/loadavg: 0.97 0.96 0.98 2/65 7229
/proc/meminfo: memFree=1734264/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=146656 CPUtime=102.25
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 36735 0 0 0 10150 75 0 0 25 0 1 0 187796589 150175744 35327 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 36664 35327 547 886 0 35774 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 146656

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7229
/proc/meminfo: memFree=1719608/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=161268 CPUtime=162.23
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 40416 0 0 0 16130 93 0 0 25 0 1 0 187796589 165138432 39004 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 40317 39004 547 886 0 39427 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 161268

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7229
/proc/meminfo: memFree=1703224/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=178252 CPUtime=222.21
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 44456 0 0 0 22110 111 0 0 25 0 1 0 187796589 182530048 43044 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 44563 43044 547 886 0 43673 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 178252

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7229
/proc/meminfo: memFree=1696568/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=184624 CPUtime=282.18
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46202 0 0 0 28090 128 0 0 25 0 1 0 187796589 189054976 44674 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46156 44674 547 886 0 45266 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 184624

[startup+342.302 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 7229
/proc/meminfo: memFree=1696312/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=184624 CPUtime=342.17
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46235 0 0 0 34070 147 0 0 25 0 1 0 187796589 189054976 44707 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46156 44707 547 886 0 45266 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 184624

[startup+402.302 s]
/proc/loadavg: 1.07 1.00 0.99 2/65 7229
/proc/meminfo: memFree=1696248/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=184624 CPUtime=402.14
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46242 0 0 0 40049 165 0 0 25 0 1 0 187796589 189054976 44714 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46156 44714 547 886 0 45266 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 184624

[startup+462.303 s]
/proc/loadavg: 1.07 1.01 1.00 2/65 7229
/proc/meminfo: memFree=1696120/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=184624 CPUtime=462.12
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46247 0 0 0 46033 179 0 0 25 0 1 0 187796589 189054976 44719 1992294400 4194304 7823515 548682068736 18446744073709551615 6722787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46156 44719 547 886 0 45266 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 184624

[startup+522.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 7229
/proc/meminfo: memFree=1696056/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=184624 CPUtime=522.1
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46250 0 0 0 52017 193 0 0 25 0 1 0 187796589 189054976 44722 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46156 44722 547 886 0 45266 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 184624

[startup+582.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 7229
/proc/meminfo: memFree=1695992/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=184624 CPUtime=582.08
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46253 0 0 0 58001 207 0 0 25 0 1 0 187796589 189054976 44725 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46156 44725 547 886 0 45266 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 184624

[startup+642.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 7229
/proc/meminfo: memFree=1695928/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=184624 CPUtime=642.06
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46255 0 0 0 63987 219 0 0 25 0 1 0 187796589 189054976 44727 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46156 44727 547 886 0 45266 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 184624

[startup+702.302 s]

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

/proc/meminfo: memFree=1695288/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1121.88
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46308 0 0 0 111845 343 0 0 25 0 1 0 187796589 189992960 44780 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44780 554 886 0 45495 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 185540

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7229
/proc/meminfo: memFree=1695288/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1181.86
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46308 0 0 0 117813 373 0 0 25 0 1 0 187796589 189992960 44780 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44780 554 886 0 45495 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 185540

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7229
/proc/meminfo: memFree=1695160/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1241.84
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46308 0 0 0 123786 398 0 0 25 0 1 0 187796589 189992960 44780 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44780 554 886 0 45495 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 185540

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7229
/proc/meminfo: memFree=1695096/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1301.81
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46308 0 0 0 129757 424 0 0 25 0 1 0 187796589 189992960 44780 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44780 554 886 0 45495 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 185540

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7229
/proc/meminfo: memFree=1695096/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1361.8
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46308 0 0 0 135725 455 0 0 25 0 1 0 187796589 189992960 44780 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44780 554 886 0 45495 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 185540

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7229
/proc/meminfo: memFree=1694968/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1421.77
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 141696 481 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 185540

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7229
/proc/meminfo: memFree=1694968/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1481.75
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 147664 511 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 185540

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7229
/proc/meminfo: memFree=1694904/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1541.74
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 153631 543 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 185540

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694840/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1601.7
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 159606 564 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 185540

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694776/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1661.69
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 165577 592 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 185540

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694712/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1721.67
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 171548 619 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6209819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 185540

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694904/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1781.65
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 177519 646 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 185540

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694840/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1791.34
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 178485 649 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6234924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 185540

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694840/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1794.55
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 178804 651 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 185540

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694840/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1796.14
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 178963 651 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (KiB) 185540

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694840/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1796.94
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 179043 651 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 185540

[startup+1798 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694840/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1797.34
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46317 0 0 0 179082 652 0 0 25 0 1 0 187796589 189992960 44789 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44789 555 886 0 45495 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 185540

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1694840/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=185540 CPUtime=1797.74
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46319 0 0 0 179122 652 0 0 16 0 1 0 187796589 189992960 44791 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/7228/statm: 46385 44791 557 886 0 45495 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 185540

[startup+1798.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7231
/proc/meminfo: memFree=1698616/2055920 swapFree=4181856/4192956
[pid=7228] ppid=7226 vsize=181396 CPUtime=1797.84
/proc/7228/stat : 7228 (pbscip.linux.x8) R 7226 7228 7115 0 -1 4194304 46321 0 0 0 179132 652 0 0 17 0 1 0 187796589 185749504 43802 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/7228/statm: 45349 43802 559 886 0 44459 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 181396

Child status: 0
Real time (s): 1798.57
CPU time (s): 1797.92
CPU user time (s): 1791.36
CPU system time (s): 6.552
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 185540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.36
system time used= 6.552
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46324
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3524

runsolver used 1.17882 second user time and 3.85741 second system time

The end

Begin job on node44 at 2009-06-17 03:26:39
IDJOB=1870400
IDBENCH=48199
IDSOLVER=683
FILE ID=node44/1870400-1245201999
PBS_JOBID= 9368351
Free space on /tmp= 65924 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
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.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870400-1245201999/watcher-1870400-1245201999 -o /tmp/evaluation-result-1870400-1245201999/solver-1870400-1245201999 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870400-1245201999.opb

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

MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0
RANDOM SEED=897586902

node44.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.263
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	: 5914.62
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.263
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1874392 kB
Buffers:         21568 kB
Cached:          93224 kB
SwapCached:       5024 kB
Active:          86448 kB
Inactive:        36224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1874392 kB
SwapTotal:     4192956 kB
SwapFree:      4181856 kB
Dirty:           10368 kB
Writeback:           0 kB
Mapped:          13764 kB
Slab:            44792 kB
Committed_AS:   193680 kB
PageTables:       1384 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= 65912 MiB
End job on node44 at 2009-06-17 03:56:38