0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3741318-1338752700.opb>
0.00/0.01 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1999 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 200
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.02 c presolving:
0.02/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1999 upgd conss, 3998 impls, 0 clqs
0.02/0.05 c (0.0s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.05 c presolving (2 rounds):
0.02/0.05 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05 c 3998 implications, 0 cliques
0.02/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1999 constraints
0.02/0.05 c 1999 constraints of type <setppc>
0.02/0.05 c transformed objective value is always integral (scale: 1)
0.02/0.05 c Presolving Time: 0.03
0.02/0.05 c - non default parameters ----------------------------------------------------------------------
0.02/0.05 c # SCIP version 1.2.1.3
0.02/0.05 c
0.02/0.05 c # frequency for displaying node information lines
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05 c display/freq = 10000
0.02/0.05 c
0.02/0.05 c # maximal time in seconds to run
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/time = 1789.99
0.02/0.05 c
0.02/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/memory = 13950
0.02/0.05 c
0.02/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05 c # [type: int, range: [1,2], default: 1]
0.02/0.05 c timing/clocktype = 2
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify inequalities
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/linear/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/indicator/addCouplingCons = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify knapsacks
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c separating/rapidlearning/freq = 0
0.02/0.05 c
0.02/0.05 c -----------------------------------------------------------------------------------------------
0.02/0.05 c start solving
0.02/0.05 c
0.02/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.06 c t 0.0s| 1 | 0 | 224 | - |2861k| 0 | 200 | 200 |1999 | 200 |1999 | 0 | 0 | 0 | 1.000000e+02 | 2.000000e+02 | 100.00%
0.02/0.06 o 199
0.02/0.06 c R 0.0s| 1 | 0 | 224 | - |2869k| 0 | 200 | 200 |1999 | 200 |1999 | 0 | 0 | 0 | 1.000000e+02 | 1.990000e+02 | 99.00%
0.02/0.07 o 198
0.02/0.07 c s 0.1s| 1 | 0 | 224 | - |2874k| 0 | 200 | 200 |1999 | 200 |1999 | 0 | 0 | 0 | 1.000000e+02 | 1.980000e+02 | 98.00%
0.09/0.12 o 173
0.09/0.12 c y 0.1s| 1 | 0 | 224 | - |3145k| 0 | 200 | 200 |1999 | 200 |1999 | 0 | 0 | 0 | 1.000000e+02 | 1.730000e+02 | 73.00%
0.09/0.13 c 0.1s| 1 | 0 | 286 | - |2882k| 0 | 194 | 200 |1999 | 200 |2007 | 8 | 0 | 0 | 1.030000e+02 | 1.730000e+02 | 67.96%
0.09/0.16 c 0.1s| 1 | 0 | 331 | - |2886k| 0 | 189 | 200 |1999 | 200 |2011 | 12 | 0 | 0 | 1.055000e+02 | 1.730000e+02 | 63.98%
0.09/0.19 c 0.2s| 1 | 0 | 379 | - |2890k| 0 | 186 | 200 |1999 | 200 |2015 | 16 | 0 | 0 | 1.070000e+02 | 1.730000e+02 | 61.68%
0.19/0.26 c 0.2s| 1 | 0 | 503 | - |2926k| 0 | 181 | 200 |1999 | 200 |2022 | 23 | 0 | 0 | 1.100000e+02 | 1.730000e+02 | 57.27%
0.29/0.32 c 0.3s| 1 | 0 | 615 | - |2958k| 0 | 178 | 200 |1999 | 200 |2029 | 30 | 0 | 0 | 1.115000e+02 | 1.730000e+02 | 55.16%
0.29/0.38 c 0.4s| 1 | 0 | 744 | - |2985k| 0 | 175 | 200 |1999 | 200 |2036 | 37 | 0 | 0 | 1.135000e+02 | 1.730000e+02 | 52.42%
0.39/0.48 c 0.5s| 1 | 0 | 936 | - |3036k| 0 | 172 | 200 |1999 | 200 |2043 | 44 | 0 | 0 | 1.150000e+02 | 1.730000e+02 | 50.43%
0.49/0.56 c 0.5s| 1 | 0 | 1123 | - |3067k| 0 | 167 | 200 |1999 | 200 |2051 | 52 | 0 | 0 | 1.170000e+02 | 1.730000e+02 | 47.86%
0.59/0.64 c 0.6s| 1 | 0 | 1315 | - |3106k| 0 | 163 | 200 |1999 | 200 |2057 | 58 | 0 | 0 | 1.185000e+02 | 1.730000e+02 | 45.99%
0.59/0.68 c 0.7s| 1 | 0 | 1328 | - |3111k| 0 | 162 | 200 |1999 | 200 |2064 | 65 | 0 | 0 | 1.190000e+02 | 1.730000e+02 | 45.38%
0.69/0.79 c 0.8s| 1 | 0 | 1631 | - |3869k| 0 | 161 | 200 |1999 | 200 |2073 | 75 | 0 | 0 | 1.215000e+02 | 1.730000e+02 | 42.39%
0.78/0.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.78/0.87 c 0.9s| 1 | 0 | 1795 | - |3885k| 0 | 163 | 200 |1999 | 200 |2081 | 83 | 0 | 0 | 1.220000e+02 | 1.730000e+02 | 41.80%
0.88/0.98 c 1.0s| 1 | 0 | 2086 | - |3918k| 0 | 160 | 200 |1999 | 200 |2089 | 91 | 0 | 0 | 1.230000e+02 | 1.730000e+02 | 40.65%
0.99/1.08 c 1.1s| 1 | 0 | 2363 | - |3955k| 0 | 152 | 200 |1999 | 200 |2100 | 102 | 0 | 0 | 1.240000e+02 | 1.730000e+02 | 39.52%
1.10/1.14 c 1.1s| 1 | 0 | 2515 | - |3963k| 0 | 153 | 200 |1999 | 200 |2109 | 111 | 0 | 0 | 1.247500e+02 | 1.730000e+02 | 38.68%
1.19/1.23 c 1.2s| 1 | 0 | 2758 | - |3997k| 0 | 148 | 200 |1999 | 200 |2116 | 118 | 0 | 0 | 1.260000e+02 | 1.730000e+02 | 37.30%
1.29/1.31 c 1.3s| 1 | 0 | 3045 | - |4008k| 0 | 145 | 200 |1999 | 200 |2115 | 125 | 0 | 0 | 1.275000e+02 | 1.730000e+02 | 35.69%
1.29/1.38 c 1.4s| 1 | 0 | 3211 | - |4013k| 0 | 144 | 200 |1999 | 200 |2124 | 134 | 0 | 0 | 1.280000e+02 | 1.730000e+02 | 35.16%
1.39/1.46 c 1.4s| 1 | 0 | 3426 | - |4018k| 0 | 144 | 200 |1999 | 200 |2130 | 140 | 0 | 0 | 1.280000e+02 | 1.730000e+02 | 35.16%
1.49/1.53 c 1.5s| 1 | 0 | 3587 | - |4025k| 0 | 155 | 200 |1999 | 200 |2139 | 149 | 0 | 0 | 1.280000e+02 | 1.730000e+02 | 35.16%
1.58/1.63 c 1.6s| 1 | 0 | 3918 | - |4097k| 0 | 150 | 200 |1999 | 200 |2145 | 155 | 0 | 0 | 1.290000e+02 | 1.730000e+02 | 34.11%
1.68/1.72 c 1.7s| 1 | 0 | 4207 | - |4160k| 0 | 151 | 200 |1999 | 200 |2154 | 164 | 0 | 0 | 1.297500e+02 | 1.730000e+02 | 33.33%
1.79/1.87 c 1.9s| 1 | 0 | 4756 | - |4184k| 0 | 181 | 200 |1999 | 200 |2140 | 173 | 0 | 0 | 1.305000e+02 | 1.730000e+02 | 32.57%
1.89/2.00 c 2.0s| 1 | 0 | 5281 | - |4349k| 0 | 180 | 200 |1999 | 200 |2157 | 190 | 0 | 0 | 1.319273e+02 | 1.730000e+02 | 31.13%
2.10/2.12 c 2.1s| 1 | 0 | 5725 | - |4493k| 0 | 182 | 200 |1999 | 200 |2169 | 202 | 0 | 0 | 1.325978e+02 | 1.730000e+02 | 30.47%
2.20/2.24 c 2.2s| 1 | 0 | 6167 | - |4761k| 0 | 180 | 200 |1999 | 200 |2180 | 213 | 0 | 0 | 1.331039e+02 | 1.730000e+02 | 29.97%
2.29/2.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.33 c 2.3s| 1 | 0 | 6405 | - |5200k| 0 | 187 | 200 |1999 | 200 |2197 | 230 | 0 | 0 | 1.340000e+02 | 1.730000e+02 | 29.10%
2.49/2.50 c 2.5s| 1 | 0 | 6856 | - |6354k| 0 | 190 | 200 |1999 | 200 |2214 | 247 | 0 | 0 | 1.345365e+02 | 1.730000e+02 | 28.59%
2.59/2.69 c 2.7s| 1 | 0 | 7203 | - |7336k| 0 | 194 | 200 |1999 | 200 |2202 | 259 | 0 | 0 | 1.353884e+02 | 1.730000e+02 | 27.78%
2.79/2.88 c 2.9s| 1 | 0 | 7460 | - |7382k| 0 | 193 | 200 |1999 | 200 |2213 | 270 | 0 | 0 | 1.357412e+02 | 1.730000e+02 | 27.45%
3.09/3.12 c 3.1s| 1 | 0 | 7893 | - |7917k| 0 | 193 | 200 |1999 | 200 |2228 | 285 | 0 | 0 | 1.364146e+02 | 1.730000e+02 | 26.82%
3.20/3.29 c 3.3s| 1 | 0 | 8024 | - |7929k| 0 | 192 | 200 |1999 | 200 |2236 | 293 | 0 | 0 | 1.365628e+02 | 1.730000e+02 | 26.68%
3.39/3.47 c 3.5s| 1 | 0 | 8208 | - |8014k| 0 | 193 | 200 |1999 | 200 |2247 | 304 | 0 | 0 | 1.367497e+02 | 1.730000e+02 | 26.51%
3.59/3.64 c 3.6s| 1 | 0 | 8387 | - |8023k| 0 | 194 | 200 |1999 | 200 |2258 | 315 | 0 | 0 | 1.371846e+02 | 1.730000e+02 | 26.11%
3.78/3.82 c 3.8s| 1 | 0 | 8574 | - |8027k| 0 | 194 | 200 |1999 | 200 |2251 | 327 | 0 | 0 | 1.375682e+02 | 1.730000e+02 | 25.76%
3.98/4.01 c 4.0s| 1 | 0 | 8771 | - |8044k| 0 | 194 | 200 |1999 | 200 |2263 | 339 | 0 | 0 | 1.377808e+02 | 1.730000e+02 | 25.56%
4.08/4.19 c 4.2s| 1 | 0 | 8941 | - |8064k| 0 | 195 | 200 |1999 | 200 |2273 | 349 | 0 | 0 | 1.379534e+02 | 1.730000e+02 | 25.40%
4.30/4.36 c 4.3s| 1 | 0 | 9103 | - |8078k| 0 | 196 | 200 |1999 | 200 |2284 | 360 | 0 | 0 | 1.381291e+02 | 1.730000e+02 | 25.25%
4.49/4.52 c 4.5s| 1 | 0 | 9174 | - |8082k| 0 | 197 | 200 |1999 | 200 |2297 | 373 | 0 | 0 | 1.381976e+02 | 1.730000e+02 | 25.18%
4.69/4.70 c 4.7s| 1 | 0 | 9310 | - |8095k| 0 | 198 | 200 |1999 | 200 |2309 | 385 | 0 | 0 | 1.383915e+02 | 1.730000e+02 | 25.01%
4.78/4.87 c 4.9s| 1 | 0 | 9371 | - |8098k| 0 | 197 | 200 |1999 | 200 |2292 | 393 | 0 | 0 | 1.384691e+02 | 1.730000e+02 | 24.94%
4.99/5.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.99/5.05 c 5.0s| 1 | 0 | 9469 | - |8103k| 0 | 198 | 200 |1999 | 200 |2302 | 403 | 0 | 0 | 1.386950e+02 | 1.730000e+02 | 24.73%
5.19/5.21 c 5.2s| 1 | 0 | 9556 | - |8109k| 0 | 198 | 200 |1999 | 200 |2313 | 414 | 0 | 0 | 1.388642e+02 | 1.730000e+02 | 24.58%
5.29/5.38 c 5.4s| 1 | 0 | 9609 | - |8112k| 0 | 199 | 200 |1999 | 200 |2320 | 421 | 0 | 0 | 1.389318e+02 | 1.730000e+02 | 24.52%
5.49/5.55 c 5.5s| 1 | 0 | 9710 | - |8118k| 0 | 199 | 200 |1999 | 200 |2329 | 430 | 0 | 0 | 1.390164e+02 | 1.730000e+02 | 24.45%
5.68/5.73 c 5.7s| 1 | 0 | 9765 | - |8121k| 0 | 200 | 200 |1999 | 200 |2336 | 437 | 0 | 0 | 1.390566e+02 | 1.730000e+02 | 24.41%
5.78/5.89 c 5.9s| 1 | 0 | 9824 | - |8125k| 0 | 200 | 200 |1999 | 200 |2321 | 444 | 0 | 0 | 1.390998e+02 | 1.730000e+02 | 24.37%
5.98/6.06 c 6.0s| 1 | 0 | 9913 | - |8130k| 0 | 200 | 200 |1999 | 200 |2331 | 454 | 0 | 0 | 1.391607e+02 | 1.730000e+02 | 24.32%
6.18/6.21 c 6.2s| 1 | 0 | 9958 | - |8133k| 0 | 200 | 200 |1999 | 200 |2338 | 461 | 0 | 0 | 1.391922e+02 | 1.730000e+02 | 24.29%
6.28/6.37 c 6.4s| 1 | 0 | 10009 | - |8136k| 0 | 200 | 200 |1999 | 200 |2345 | 468 | 0 | 0 | 1.392077e+02 | 1.730000e+02 | 24.27%
6.48/6.54 c 6.5s| 1 | 0 | 10069 | - |8140k| 0 | 200 | 200 |1999 | 200 |2354 | 477 | 0 | 0 | 1.392257e+02 | 1.730000e+02 | 24.26%
6.58/6.69 c 6.7s| 1 | 0 | 10094 | - |8144k| 0 | 200 | 200 |1999 | 200 |2361 | 484 | 0 | 0 | 1.392363e+02 | 1.730000e+02 | 24.25%
6.77/6.86 c 6.8s| 1 | 0 | 10137 | - |8148k| 0 | 200 | 200 |1999 | 200 |2323 | 490 | 0 | 0 | 1.392581e+02 | 1.730000e+02 | 24.23%
6.98/7.01 c 7.0s| 1 | 0 | 10165 | - |8151k| 0 | 200 | 200 |1999 | 200 |2331 | 498 | 0 | 0 | 1.392657e+02 | 1.730000e+02 | 24.22%
7.08/7.16 c 7.1s| 1 | 0 | 10184 | - |8153k| 0 | 200 | 200 |1999 | 200 |2335 | 502 | 0 | 0 | 1.392675e+02 | 1.730000e+02 | 24.22%
7.28/7.31 c 7.3s| 1 | 0 | 10199 | - |8154k| 0 | 200 | 200 |1999 | 200 |2336 | 503 | 0 | 0 | 1.392685e+02 | 1.730000e+02 | 24.22%
7.38/7.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.38/7.48 c 7.5s| 1 | 0 | 10317 | - |8161k| 0 | 200 | 200 |1999 | 200 |2337 | 504 | 0 | 0 | 1.393507e+02 | 1.730000e+02 | 24.15%
7.58/7.64 c 7.6s| 1 | 0 | 10354 | - |8165k| 0 | 200 | 200 |1999 | 200 |2345 | 512 | 0 | 0 | 1.393610e+02 | 1.730000e+02 | 24.14%
7.77/7.81 c 7.8s| 1 | 0 | 10393 | - |8168k| 0 | 200 | 200 |1999 | 200 |2305 | 518 | 0 | 0 | 1.393669e+02 | 1.730000e+02 | 24.13%
7.88/7.96 c 7.9s| 1 | 0 | 10405 | - |8170k| 0 | 200 | 200 |1999 | 200 |2308 | 521 | 0 | 0 | 1.393680e+02 | 1.730000e+02 | 24.13%
8.08/8.12 c 8.1s| 1 | 0 | 10416 | - |8170k| 0 | 200 | 200 |1999 | 200 |2309 | 522 | 0 | 0 | 1.393688e+02 | 1.730000e+02 | 24.13%
10.68/10.71 c 10.7s| 1 | 2 | 10416 | - |8176k| 0 | 200 | 200 |1999 | 200 |2309 | 522 | 0 | 17 | 1.393688e+02 | 1.730000e+02 | 24.13%
15.68/15.72 o 172
15.68/15.72 c *15.7s| 13 | 11 | 11963 | 128.9 |8295k| 12 | - | 200 |1999 | 200 |2199 | 522 | 0 | 245 | 1.395387e+02 | 1.720000e+02 | 23.26%
22.07/22.11 o 170
22.07/22.11 c c22.1s| 25 | 20 | 13944 | 147.0 |8401k| 12 | - | 200 |1999 | 200 |2199 | 522 | 0 | 448 | 1.395387e+02 | 1.700000e+02 | 21.83%
26.67/26.75 o 169
26.67/26.75 c R26.7s| 34 | 25 | 15285 | 147.5 |8464k| 12 | 5 | 200 |1999 | 200 |2199 | 522 | 0 | 579 | 1.395387e+02 | 1.690000e+02 | 21.11%
26.67/26.75 o 168
26.67/26.75 c b26.7s| 34 | 25 | 15285 | 147.5 |8472k| 12 | - | 200 |1999 | 200 |2199 | 522 | 0 | 580 | 1.395387e+02 | 1.680000e+02 | 20.40%
31.88/31.90 o 166
31.88/31.90 c p31.9s| 60 | 41 | 17803 | 125.2 |8589k| 14 | - | 200 |1999 | 200 |2199 | 522 | 0 | 710 | 1.397673e+02 | 1.660000e+02 | 18.77%
35.37/35.45 o 165
35.37/35.45 c *35.4s| 335 | 144 | 34244 | 71.3 |8915k| 17 | - | 200 |1999 | 200 |2199 | 522 | 0 | 740 | 1.397673e+02 | 1.650000e+02 | 18.05%
35.87/35.99 o 164
35.87/35.99 c f36.0s| 382 | 160 | 37378 | 70.8 |8976k| 17 | - | 200 |1999 | 200 |2199 | 522 | 0 | 740 | 1.397673e+02 | 1.640000e+02 | 17.34%
37.07/37.14 o 163
37.07/37.14 c *37.1s| 445 | 185 | 43453 | 74.4 |9076k| 21 | - | 200 |1999 | 200 |2199 | 522 | 0 | 740 | 1.401082e+02 | 1.630000e+02 | 16.34%
68.26/68.35 o 161
68.26/68.35 c c68.3s| 1949 | 1097 |220375 | 107.8 | 11M| 31 | - | 200 |1999 | 200 |2199 | 522 | 0 | 896 | 1.427969e+02 | 1.610000e+02 | 12.75%
115.25/115.30 o 160
115.25/115.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.25/115.30 c * 115s| 5772 | 2426 |495559 | 84.1 | 15M| 45 | - | 200 |1999 | 200 |2199 | 522 | 0 |1153 | 1.441447e+02 | 1.600000e+02 | 11.00%
145.35/145.43 c 145s| 10000 | 3548 |685331 | 67.5 | 19M| 46 | - | 200 |1999 | 200 |2199 | 522 | 0 |1252 | 1.450000e+02 | 1.600000e+02 | 10.34%
205.24/205.34 c 205s| 20000 | 5546 | 1068k| 52.9 | 25M| 49 | 71 | 200 |1999 | 200 |2199 | 522 | 0 |1566 | 1.460000e+02 | 1.600000e+02 | 9.59%
266.33/266.41 c 266s| 30000 | 7586 | 1459k| 48.3 | 31M| 49 | - | 200 |1999 | 200 |2199 | 522 | 0 |1967 | 1.465909e+02 | 1.600000e+02 | 9.15%
305.93/306.04 o 159
305.93/306.04 c * 306s| 36942 | 7161 | 1719k| 46.3 | 30M| 51 | - | 200 |1999 | 200 |2199 | 522 | 0 |2270 | 1.469307e+02 | 1.590000e+02 | 8.21%
320.52/320.62 c 321s| 40000 | 7493 | 1817k| 45.2 | 32M| 51 | 73 | 200 |1999 | 200 |2199 | 522 | 0 |2360 | 1.470000e+02 | 1.590000e+02 | 8.16%
368.32/368.50 c 368s| 50000 | 8537 | 2135k| 42.5 | 35M| 51 | - | 200 |1999 | 200 |2199 | 522 | 0 |2704 | 1.472500e+02 | 1.590000e+02 | 7.98%
416.91/417.02 c 417s| 60000 | 9557 | 2457k| 40.8 | 39M| 51 | - | 200 |1999 | 200 |2199 | 522 | 0 |2971 | 1.475000e+02 | 1.590000e+02 | 7.80%
461.50/461.67 c 462s| 70000 | 10489 | 2761k| 39.3 | 43M| 51 | 78 | 200 |1999 | 200 |2199 | 522 | 0 |3211 | 1.476731e+02 | 1.590000e+02 | 7.67%
505.49/505.65 c 506s| 80000 | 11327 | 3059k| 38.1 | 46M| 51 | 74 | 200 |1999 | 200 |2199 | 522 | 0 |3520 | 1.478750e+02 | 1.590000e+02 | 7.52%
546.89/547.00 c 547s| 90000 | 12125 | 3348k| 37.1 | 49M| 53 | 73 | 200 |1999 | 200 |2199 | 522 | 0 |3746 | 1.480000e+02 | 1.590000e+02 | 7.43%
588.79/588.99 c 589s|100000 | 12909 | 3635k| 36.2 | 52M| 53 | - | 200 |1999 | 200 |2199 | 522 | 0 |3996 | 1.480714e+02 | 1.590000e+02 | 7.38%
629.58/629.72 c 630s|110000 | 13709 | 3921k| 35.6 | 55M| 55 | - | 200 |1999 | 200 |2199 | 522 | 0 |4149 | 1.482500e+02 | 1.590000e+02 | 7.25%
669.57/669.79 c 670s|120000 | 14379 | 4199k| 34.9 | 57M| 55 | - | 200 |1999 | 200 |2199 | 522 | 0 |4416 | 1.483780e+02 | 1.590000e+02 | 7.16%
710.77/710.92 c 711s|130000 | 15209 | 4487k| 34.4 | 60M| 55 | 68 | 200 |1999 | 200 |2199 | 522 | 0 |4595 | 1.485000e+02 | 1.590000e+02 | 7.07%
750.86/751.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.86/751.05 c 751s|140000 | 15983 | 4769k| 34.0 | 63M| 55 | - | 200 |1999 | 200 |2199 | 522 | 0 |4772 | 1.485000e+02 | 1.590000e+02 | 7.07%
790.76/790.93 c 791s|150000 | 16693 | 5051k| 33.6 | 66M| 57 | 74 | 200 |1999 | 200 |2199 | 522 | 0 |4960 | 1.486667e+02 | 1.590000e+02 | 6.95%
833.15/833.36 c 833s|160000 | 17501 | 5347k| 33.4 | 69M| 57 | 79 | 200 |1999 | 200 |2199 | 522 | 0 |5181 | 1.488182e+02 | 1.590000e+02 | 6.84%
873.04/873.28 c 873s|170000 | 18221 | 5629k| 33.1 | 71M| 57 | 100 | 200 |1999 | 200 |2199 | 522 | 0 |5346 | 1.489286e+02 | 1.590000e+02 | 6.76%
912.84/913.02 c 913s|180000 | 18861 | 5910k| 32.8 | 74M| 57 | 72 | 200 |1999 | 200 |2199 | 522 | 0 |5534 | 1.490000e+02 | 1.590000e+02 | 6.71%
950.63/950.88 c 951s|190000 | 19417 | 6180k| 32.5 | 76M| 57 | 80 | 200 |1999 | 200 |2199 | 522 | 0 |5665 | 1.490000e+02 | 1.590000e+02 | 6.71%
990.02/990.24 c 990s|200000 | 20033 | 6460k| 32.3 | 79M| 59 | - | 200 |1999 | 200 |2199 | 522 | 0 |5814 | 1.491071e+02 | 1.590000e+02 | 6.63%
1028.61/1028.85 c 1029s|210000 | 20619 | 6735k| 32.0 | 81M| 59 | 75 | 200 |1999 | 200 |2199 | 522 | 0 |5963 | 1.492500e+02 | 1.590000e+02 | 6.53%
1066.31/1066.53 c 1067s|220000 | 21181 | 7006k| 31.8 | 83M| 59 | 85 | 200 |1999 | 200 |2199 | 522 | 0 |6127 | 1.493000e+02 | 1.590000e+02 | 6.50%
1105.11/1105.38 c 1105s|230000 | 21761 | 7282k| 31.6 | 85M| 61 | - | 200 |1999 | 200 |2199 | 522 | 0 |6332 | 1.494000e+02 | 1.590000e+02 | 6.43%
1143.80/1144.01 c 1144s|240000 | 22209 | 7554k| 31.4 | 87M| 61 | 97 | 200 |1999 | 200 |2199 | 522 | 0 |6471 | 1.495000e+02 | 1.590000e+02 | 6.35%
1180.99/1181.26 c 1181s|250000 | 22703 | 7821k| 31.2 | 89M| 62 | 72 | 200 |1999 | 200 |2199 | 522 | 0 |6603 | 1.495000e+02 | 1.590000e+02 | 6.35%
1217.19/1217.49 c 1217s|260000 | 23153 | 8081k| 31.0 | 91M| 62 | 73 | 200 |1999 | 200 |2199 | 522 | 0 |6731 | 1.495227e+02 | 1.590000e+02 | 6.34%
1255.38/1255.68 c 1256s|270000 | 23623 | 8351k| 30.9 | 93M| 62 | 87 | 200 |1999 | 200 |2199 | 522 | 0 |6873 | 1.496667e+02 | 1.590000e+02 | 6.24%
1293.07/1293.37 c 1293s|280000 | 24061 | 8619k| 30.7 | 95M| 62 | - | 200 |1999 | 200 |2199 | 522 | 0 |7014 | 1.497500e+02 | 1.590000e+02 | 6.18%
1329.27/1329.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.27/1329.51 c 1329s|290000 | 24445 | 8878k| 30.6 | 97M| 62 | - | 200 |1999 | 200 |2199 | 522 | 0 |7152 | 1.498333e+02 | 1.590000e+02 | 6.12%
1367.77/1368.04 c 1368s|300000 | 24977 | 9153k| 30.5 | 99M| 63 | - | 200 |1999 | 200 |2199 | 522 | 0 |7279 | 1.499444e+02 | 1.590000e+02 | 6.04%
1403.76/1404.02 c 1404s|310000 | 25393 | 9413k| 30.3 | 100M| 63 | - | 200 |1999 | 200 |2199 | 522 | 0 |7379 | 1.500000e+02 | 1.590000e+02 | 6.00%
1439.85/1440.15 c 1440s|320000 | 25783 | 9675k| 30.2 | 102M| 63 | 68 | 200 |1999 | 200 |2199 | 522 | 0 |7467 | 1.500000e+02 | 1.590000e+02 | 6.00%
1476.14/1476.47 c 1476s|330000 | 26269 | 9938k| 30.1 | 104M| 63 | - | 200 |1999 | 200 |2199 | 522 | 0 |7564 | 1.500000e+02 | 1.590000e+02 | 6.00%
1514.55/1514.81 c 1515s|340000 | 26677 | 10211k| 30.0 | 106M| 63 | - | 200 |1999 | 200 |2199 | 522 | 0 |7719 | 1.501121e+02 | 1.590000e+02 | 5.92%
1551.54/1551.81 c 1552s|350000 | 27061 | 10475k| 29.9 | 107M| 63 | 90 | 200 |1999 | 200 |2199 | 522 | 0 |7864 | 1.502143e+02 | 1.590000e+02 | 5.85%
1588.03/1588.39 c 1588s|360000 | 27417 | 10737k| 29.8 | 109M| 65 | 102 | 200 |1999 | 200 |2199 | 522 | 0 |7994 | 1.502500e+02 | 1.590000e+02 | 5.82%
1624.72/1625.08 c 1625s|370000 | 27863 | 11003k| 29.7 | 111M| 65 | - | 200 |1999 | 200 |2199 | 522 | 0 |8079 | 1.503529e+02 | 1.590000e+02 | 5.75%
1662.31/1662.63 c 1663s|380000 | 28301 | 11273k| 29.6 | 112M| 65 | - | 200 |1999 | 200 |2199 | 522 | 0 |8189 | 1.504500e+02 | 1.590000e+02 | 5.68%
1697.60/1697.99 c 1698s|390000 | 28665 | 11528k| 29.5 | 114M| 65 | 74 | 200 |1999 | 200 |2199 | 522 | 0 |8329 | 1.505000e+02 | 1.590000e+02 | 5.65%
1733.90/1734.25 c 1734s|400000 | 29097 | 11791k| 29.5 | 116M| 67 | - | 200 |1999 | 200 |2199 | 522 | 0 |8460 | 1.505000e+02 | 1.590000e+02 | 5.65%
1769.19/1769.57 c 1770s|410000 | 29415 | 12046k| 29.4 | 117M| 67 | - | 200 |1999 | 200 |2199 | 522 | 0 |8553 | 1.505000e+02 | 1.590000e+02 | 5.65%
1789.70/1790.00 c
1789.70/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.00 c Solving Time (sec) : 1789.99
1789.70/1790.00 c Solving Nodes : 416039
1789.70/1790.00 c Primal Bound : +1.59000000000000e+02 (580 solutions)
1789.70/1790.00 c Dual Bound : +1.50500000000000e+02
1789.70/1790.00 c Gap : 5.65 %
1789.70/1790.01 s SATISFIABLE
1789.70/1790.01 v x200 x199 x198 -x197 x196 x195 x194 x193 x192 x191 -x190 -x189 x188 x187 x186 x185 x184 -x183 x182 x181 x180 x179 x178 x177 x176
1789.70/1790.01 v x175 -x174 -x173 x172 x171 x170 -x169 -x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 -x158 x157 x156 -x155 x154 x153 -x152
1789.70/1790.01 v x151 x150 x149 x148 -x147 x146 -x145 -x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 -x132 x131 -x130 -x129
1789.70/1790.01 v x128 x127 x126 x125 x124 x123 x122 x121 -x120 -x119 x118 x117 x116 x115 x114 x113 x112 -x111 -x110 -x109 x108 x107 -x106 x105
1789.70/1790.01 v x104 x103 x102 x101 x100 x99 x98 x97 x96 -x95 -x94 x93 x92 x91 x90 -x89 x88 -x87 x86 x85 -x84 x83 x82 -x81 x80 x79 x78 x77 x76
1789.70/1790.01 v x75 x74 x73 x72 -x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 -x59 x58 -x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46
1789.70/1790.01 v -x45 x44 -x43 -x42 x41 x40 x39 x38 x37 x36 x35 x34 -x33 x32 x31 x30 x29 x28 x27 x26 x25 -x24 x23 x22 -x21 x20 x19 x18 x17 x16
1789.70/1790.01 v x15 -x14 x13 x12 x11 -x10 x9 x8 x7 x6 -x5 x4 x3 x2 x1
1789.70/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.01 c Solving Time : 1789.99
1789.70/1790.01 c Original Problem :
1789.70/1790.01 c Problem name : HOME/instance-3741318-1338752700.opb
1789.70/1790.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.01 c Constraints : 1999 initial, 1999 maximal
1789.70/1790.01 c Presolved Problem :
1789.70/1790.01 c Problem name : t_HOME/instance-3741318-1338752700.opb
1789.70/1790.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.01 c Constraints : 1999 initial, 1999 maximal
1789.70/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.70/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c probing : 0.02 0 0 0 0 0 0 0 0
1789.70/1790.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c root node : - 0 - - 0 - - - -
1789.70/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.70/1790.01 c integral : 0 0 0 224641 0 134 1724 0 0 448026
1789.70/1790.01 c setppc : 1999 62 669577 5 1 0 2435335 0 0 0
1789.70/1790.01 c countsols : 0 0 0 5 1 0 0 0 0 0
1789.70/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.70/1790.01 c integral : 95.88 0.00 0.00 95.88 0.00
1789.70/1790.01 c setppc : 6.99 0.01 6.98 0.00 0.00
1789.70/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.70/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.70/1790.01 c vbounds : 0.10 2 0 0
1789.70/1790.01 c rootredcost : 0.09 10 0 0
1789.70/1790.01 c pseudoobj : 2.65 671068 0 0
1789.70/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.70/1790.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.70/1790.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.70/1790.01 c applied globally : - - - 0 0.0 - - -
1789.70/1790.01 c applied locally : - - - 0 0.0 - - -
1789.70/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.70/1790.01 c cut pool : 0.03 61 - - 122 - (maximal pool size: 1642)
1789.70/1790.01 c redcost : 0.93 238501 0 15487 0 0
1789.70/1790.01 c impliedbounds : 0.00 62 0 0 0 0
1789.70/1790.01 c intobj : 0.00 0 0 0 0 0
1789.70/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.70/1790.01 c gomory : 5.41 62 0 0 14106 0
1789.70/1790.01 c strongcg : 0.29 20 0 0 9339 0
1789.70/1790.01 c cmir : 0.05 10 0 0 0 0
1789.70/1790.01 c flowcover : 0.04 10 0 0 0 0
1789.70/1790.01 c clique : 0.10 62 0 0 455 0
1789.70/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.70/1790.01 c mcf : 0.00 1 0 0 0 0
1789.70/1790.01 c rapidlearning : 0.04 1 0 0 0 0
1789.70/1790.01 c Pricers : Time Calls Vars
1789.70/1790.01 c problem variables: 0.00 0 0
1789.70/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.70/1790.01 c relpscost : 95.77 224636 134 1724 0 0 448026
1789.70/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.70/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.70/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.70/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.70/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.01 c random : 0.00 0 0 0 0 0 0
1789.70/1790.01 c Primal Heuristics : Time Calls Found
1789.70/1790.01 c LP solutions : 0.01 - 5
1789.70/1790.01 c pseudo solutions : 0.00 - 0
1789.70/1790.01 c feaspump : 0.01 0 0
1789.70/1790.01 c oneopt : 0.07 12 1
1789.70/1790.01 c crossover : 0.24 5 4
1789.70/1790.01 c fracdiving : 5.50 275 1
1789.70/1790.01 c guideddiving : 5.18 275 0
1789.70/1790.01 c veclendiving : 3.23 275 0
1789.70/1790.01 c objpscostdiving : 3.86 138 144
1789.70/1790.01 c rootsoldiving : 2.64 138 76
1789.70/1790.01 c coefdiving : 3.41 276 8
1789.70/1790.01 c linesearchdiving : 4.93 276 0
1789.70/1790.01 c pscostdiving : 3.54 276 5
1789.70/1790.01 c trivial : 0.00 2 3
1789.70/1790.01 c simplerounding : 1.81 224697 58
1789.70/1790.01 c zirounding : 1.57 13501 270
1789.70/1790.01 c rounding : 7.17 30844 2
1789.70/1790.01 c shifting : 1.86 6984 2
1789.70/1790.01 c intshifting : 0.01 0 0
1789.70/1790.01 c twoopt : 0.00 0 0
1789.70/1790.01 c fixandinfer : 0.00 0 0
1789.70/1790.01 c intdiving : 0.00 0 0
1789.70/1790.01 c actconsdiving : 0.00 0 0
1789.70/1790.01 c octane : 0.00 0 0
1789.70/1790.01 c rens : 0.00 0 0
1789.70/1790.01 c rins : 0.00 0 0
1789.70/1790.01 c localbranching : 0.00 0 0
1789.70/1790.01 c mutation : 0.00 0 0
1789.70/1790.01 c dins : 0.00 0 0
1789.70/1790.01 c undercover : 0.00 0 0
1789.70/1790.01 c nlp : 0.05 0 0
1789.70/1790.01 c trysol : 0.07 0 0
1789.70/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.70/1790.01 c primal LP : 0.01 0 0 0.00 -
1789.70/1790.01 c dual LP : 1564.30 416589 11962825 28.72 7647.40
1789.70/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.70/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.70/1790.01 c diving/probing LP: 30.00 13783 234458 17.01 7814.24
1789.70/1790.01 c strong branching : 91.19 8594 658895 76.67 7225.74
1789.70/1790.01 c (at root node) : - 17 11004 647.29 -
1789.70/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.70/1790.01 c B&B Tree :
1789.70/1790.01 c number of runs : 1
1789.70/1790.01 c nodes : 416039
1789.70/1790.01 c nodes (total) : 416039
1789.70/1790.01 c nodes left : 29592
1789.70/1790.01 c max depth : 67
1789.70/1790.01 c max depth (total): 67
1789.70/1790.01 c backtracks : 51819 (12.5%)
1789.70/1790.01 c delayed cutoffs : 0
1789.70/1790.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.70/1790.01 c avg switch length: 5.51
1789.70/1790.01 c switching time : 16.31
1789.70/1790.01 c Solution :
1789.70/1790.01 c Solutions found : 580 (15 improvements)
1789.70/1790.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1789.70/1790.01 c Primal Bound : +1.59000000000000e+02 (in run 1, after 36942 nodes, 306.02 seconds, depth 19, found by <relaxation>)
1789.70/1790.01 c Dual Bound : +1.50500000000000e+02
1789.70/1790.01 c Gap : 5.65 %
1789.70/1790.01 c Root Dual Bound : +1.39368784986259e+02
1789.70/1790.01 c Root Iterations : 10416
1789.90/1790.20 c Time complete: 1789.9.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741318-1338752700/watcher-3741318-1338752700 -o /tmp/evaluation-result-3741318-1338752700/solver-3741318-1338752700 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741318-1338752700.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 30560
/proc/meminfo: memFree=26492860/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 1327 0 0 0 0 0 0 0 20 0 1 0 341398616 9158656 1274 33554432000 4194304 8395647 140733482996256 140733951304504 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 2236 1284 374 1026 0 1206 0
[startup+0.0303349 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 30560
/proc/meminfo: memFree=26492860/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=16276 CPUtime=0.02 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 3417 0 0 0 2 0 0 0 20 0 1 0 341398616 16666624 3010 33554432000 4194304 8395647 140733482996256 140733951304504 5018971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 4069 3010 472 1026 0 3039 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16276
[startup+0.100286 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 30560
/proc/meminfo: memFree=26492860/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=29996 CPUtime=0.09 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 6767 0 0 0 8 1 0 0 20 0 1 0 341398616 30715904 6284 33554432000 4194304 8395647 140733482996256 140733951304504 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 7499 6284 597 1026 0 6469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29996
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 30560
/proc/meminfo: memFree=26492860/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=27932 CPUtime=0.29 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 7298 0 0 0 28 1 0 0 20 0 1 0 341398616 28602368 6108 33554432000 4194304 8395647 140733482996256 140733951304504 5823761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 6983 6108 613 1026 0 5953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27932
[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 30560
/proc/meminfo: memFree=26492860/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=27932 CPUtime=0.69 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 7388 0 0 0 68 1 0 0 20 0 1 0 341398616 28602368 6198 33554432000 4194304 8395647 140733482996256 140733482991768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 6983 6198 615 1026 0 5953 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27932
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30561
/proc/meminfo: memFree=26468540/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=32824 CPUtime=1.49 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 8571 0 0 0 147 2 0 0 20 0 1 0 341398616 33611776 7379 33554432000 4194304 8395647 140733482996256 140733482991768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 8206 7379 615 1026 0 7176 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32824
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30561
/proc/meminfo: memFree=26463696/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=40636 CPUtime=3.09 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 10516 0 0 0 305 4 0 0 20 0 1 0 341398616 41611264 9322 33554432000 4194304 8395647 140733482996256 140733482991496 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 10159 9322 615 1026 0 9129 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40636
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30561
/proc/meminfo: memFree=26456752/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=41076 CPUtime=6.28 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 10667 0 0 0 621 7 0 0 20 0 1 0 341398616 42061824 9706 33554432000 4194304 8395647 140733482996256 140733482991448 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 10269 9706 615 1026 0 9239 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41076
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30561
/proc/meminfo: memFree=26453792/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=40988 CPUtime=12.68 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 11340 0 0 0 1256 12 0 0 20 0 1 0 341398616 41971712 9642 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 10247 9642 618 1026 0 9217 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40988
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30561
/proc/meminfo: memFree=26453104/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=40988 CPUtime=25.47 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 11363 0 0 0 2525 22 0 0 20 0 1 0 341398616 41971712 9659 33554432000 4194304 8395647 140733482996256 140733482991128 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 10247 9659 618 1026 0 9217 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 40988
[startup+51.1002 s]
/proc/loadavg: 2.06 2.01 1.93 3/177 30561
/proc/meminfo: memFree=26451120/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=41552 CPUtime=51.07 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 14282 0 0 0 5064 43 0 0 20 0 1 0 341398616 42549248 9825 33554432000 4194304 8395647 140733482996256 140733482991736 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 10388 9825 627 1026 0 9358 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41552
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 30600
/proc/meminfo: memFree=25602276/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=46568 CPUtime=102.27 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 23228 0 0 0 10140 87 0 0 20 0 1 0 341398616 47685632 11089 33554432000 4194304 8395647 140733482996256 140733482991464 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 11642 11089 636 1026 0 10612 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46568
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 30600
/proc/meminfo: memFree=25522132/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=52028 CPUtime=162.25 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 31357 0 0 0 16090 135 0 0 20 0 1 0 341398616 53276672 12456 33554432000 4194304 8395647 140733482996256 140733482991112 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 13007 12456 636 1026 0 11977 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 52028
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 30600
/proc/meminfo: memFree=25480992/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=58024 CPUtime=222.23 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 33608 0 0 0 22038 185 0 0 20 0 1 0 341398616 59416576 13969 33554432000 4194304 8395647 140733482996256 140733482991864 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 14506 13969 636 1026 0 13476 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58024
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 1.94 3/177 30600
/proc/meminfo: memFree=25433404/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=64060 CPUtime=282.23 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 35813 0 0 0 27985 238 0 0 20 0 1 0 341398616 65597440 15437 33554432000 4194304 8395647 140733482996256 140733482991128 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 16015 15437 636 1026 0 14985 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 64060
[startup+342.3 s]
/proc/loadavg: 2.18 2.06 1.95 3/178 30603
/proc/meminfo: memFree=25377252/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=65840 CPUtime=342.22 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 39983 0 0 0 33935 287 0 0 20 0 1 0 341398616 67420160 15924 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 16460 15924 636 1026 0 15430 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 65840
[startup+402.3 s]
/proc/loadavg: 2.07 2.05 1.95 3/177 30604
/proc/meminfo: memFree=25344924/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=71048 CPUtime=402.21 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 42059 0 0 0 39878 343 0 0 20 0 1 0 341398616 72753152 17249 33554432000 4194304 8395647 140733482996256 140733482991816 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 17762 17249 636 1026 0 16732 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 71048
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/177 30604
/proc/meminfo: memFree=25286672/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=76232 CPUtime=462.2 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 44057 0 0 0 45823 397 0 0 20 0 1 0 341398616 78061568 18510 33554432000 4194304 8395647 140733482996256 140733482991720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 19058 18510 636 1026 0 18028 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 76232
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/176 30604
/proc/meminfo: memFree=25247292/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=80784 CPUtime=522.19 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 45170 0 0 0 51769 450 0 0 20 0 1 0 341398616 82722816 19623 33554432000 4194304 8395647 140733482996256 140733482991720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 20196 19623 636 1026 0 19166 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 80784
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 30605
/proc/meminfo: memFree=25184224/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=85288 CPUtime=582.19 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 47075 0 0 0 57717 502 0 0 20 0 1 0 341398616 87334912 20792 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 21322 20792 636 1026 0 20292 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 85288
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24520248/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=117020 CPUtime=1062.11 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 55725 0 0 0 105276 935 0 0 20 0 1 0 341398616 119828480 28703 33554432000 4194304 8395647 140733482996256 140733482991720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 29255 28703 636 1026 0 28225 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 117020
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/177 30633
/proc/meminfo: memFree=24468568/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=121036 CPUtime=1122.1 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 56726 0 0 0 111219 991 0 0 20 0 1 0 341398616 123940864 29704 33554432000 4194304 8395647 140733482996256 140733482991864 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 30259 29704 636 1026 0 29229 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 121036
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/177 30633
/proc/meminfo: memFree=24356872/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=123988 CPUtime=1182.1 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 58211 0 0 0 117160 1050 0 0 20 0 1 0 341398616 126963712 30453 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 30997 30453 636 1026 0 29967 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 123988
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 30633
/proc/meminfo: memFree=24289568/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=129432 CPUtime=1242.08 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 59566 0 0 0 123102 1106 0 0 20 0 1 0 341398616 132538368 31808 33554432000 4194304 8395647 140733482996256 140733482991064 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 32358 31808 636 1026 0 31328 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 129432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/176 30633
/proc/meminfo: memFree=24227604/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=130192 CPUtime=1302.08 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 59771 0 0 0 129043 1165 0 0 20 0 1 0 341398616 133316608 32013 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 32548 32013 636 1026 0 31518 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 130192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 30634
/proc/meminfo: memFree=24174924/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=132840 CPUtime=1362.07 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 60416 0 0 0 134984 1223 0 0 20 0 1 0 341398616 136028160 32658 33554432000 4194304 8395647 140733482996256 140733482991768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 33210 32658 636 1026 0 32180 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 132840
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 30634
/proc/meminfo: memFree=24085176/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=136628 CPUtime=1422.06 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 61357 0 0 0 140929 1277 0 0 20 0 1 0 341398616 139907072 33599 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 34157 33599 636 1026 0 33127 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 136628
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 30634
/proc/meminfo: memFree=24026924/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=137920 CPUtime=1482.05 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 61686 0 0 0 146873 1332 0 0 20 0 1 0 341398616 141230080 33928 33554432000 4194304 8395647 140733482996256 140733482991720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 34480 33928 636 1026 0 33450 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 137920
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 30637
/proc/meminfo: memFree=23972696/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=140832 CPUtime=1542.04 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 62420 0 0 0 152819 1385 0 0 20 0 1 0 341398616 144211968 34662 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 35208 34662 636 1026 0 34178 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 140832
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30637
/proc/meminfo: memFree=23920576/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=145604 CPUtime=1602.03 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 63616 0 0 0 158763 1440 0 0 20 0 1 0 341398616 149098496 35858 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 36401 35858 636 1026 0 35371 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 145604
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30638
/proc/meminfo: memFree=23877360/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=147096 CPUtime=1662.01 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 63987 0 0 0 164705 1496 0 0 20 0 1 0 341398616 150626304 36221 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 36774 36221 636 1026 0 35744 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 147096
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30638
/proc/meminfo: memFree=23839756/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=147680 CPUtime=1722 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 64144 0 0 0 170645 1555 0 0 20 0 1 0 341398616 151224320 36376 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 36920 36376 636 1026 0 35890 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 147680
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30638
/proc/meminfo: memFree=23791396/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=151624 CPUtime=1781.99 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 65119 0 0 0 176579 1620 0 0 20 0 1 0 341398616 155262976 37351 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 37906 37351 636 1026 0 36876 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 151624
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30638
/proc/meminfo: memFree=23787800/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=153804 CPUtime=1785.2 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 65657 0 0 0 176896 1624 0 0 20 0 1 0 341398616 157495296 37889 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 38451 37889 636 1026 0 37421 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 153804
[startup+1788.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30638
/proc/meminfo: memFree=23785072/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=153804 CPUtime=1788.39 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 65657 0 0 0 177212 1627 0 0 20 0 1 0 341398616 157495296 37889 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 38451 37889 636 1026 0 37421 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 153804
[startup+1789.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30638
/proc/meminfo: memFree=23785072/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=153804 CPUtime=1789.19 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 65657 0 0 0 177291 1628 0 0 20 0 1 0 341398616 157495296 37889 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 38451 37889 636 1026 0 37421 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 153804
[startup+1789.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30638
/proc/meminfo: memFree=23784824/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=153804 CPUtime=1789.6 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 65657 0 0 0 177331 1629 0 0 20 0 1 0 341398616 157495296 37889 33554432000 4194304 8395647 140733482996256 140733482991384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 38451 37889 636 1026 0 37421 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 153804
[startup+1790.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30638
/proc/meminfo: memFree=23784824/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=153804 CPUtime=1789.8 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 65658 0 0 0 177351 1629 0 0 20 0 1 0 341398616 157495296 37890 33554432000 4194304 8395647 140733482996256 140733482991384 4221235 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 38451 37890 637 1026 0 37421 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 153804
[startup+1790.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30638
/proc/meminfo: memFree=23784824/32873844 swapFree=7116/7116
[pid=30560] ppid=30558 vsize=153804 CPUtime=1789.9 cores=1,3,5,7
/proc/30560/stat : 30560 (pbscip.linux.x8) R 30558 30560 30273 0 -1 4202496 65658 0 0 0 177361 1629 0 0 20 0 1 0 341398616 157495296 37890 33554432000 4194304 8395647 140733482996256 140733482991384 6345797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30560/statm: 38451 37890 637 1026 0 37421 0
Current children cumulated CPU time (s) 1789.9
Current children cumulated vsize (KiB) 153804
Child status: 0
Real time (s): 1790.21
CPU time (s): 1789.91
CPU user time (s): 1773.61
CPU system time (s): 16.2935
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 153804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.61
system time used= 16.2935
maximum resident set size= 151560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65661
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= 30
involuntary context switches= 1841
runsolver used 2.56261 second user time and 7.2489 second system time
The end