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-3741351-1338752893.opb>
0.00/0.04 c original problem has 462 variables (462 bin, 0 int, 0 impl, 0 cont) and 5852 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 o 0
0.00/0.05 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.05 c presolving:
0.00/0.07 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5852 upgd conss, 11704 impls, 0 clqs
0.09/0.12 c (0.1s) probing: 101/462 (21.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (2 rounds):
0.09/0.12 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 11704 implications, 0 cliques
0.09/0.12 c presolved problem has 462 variables (462 bin, 0 int, 0 impl, 0 cont) and 5852 constraints
0.09/0.12 c 5852 constraints of type <setppc>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.07
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.3
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1789.97
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 13950
0.09/0.12 c
0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12 c # [type: int, range: [1,2], default: 1]
0.09/0.12 c timing/clocktype = 2
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/indicator/addCouplingCons = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c t 0.1s| 1 | 0 | 462 | - |7413k| 0 | 462 | 462 |5852 | 462 |5852 | 0 | 0 | 0 |-2.310000e+02 | 0.000000e+00 | 100.00%
0.09/0.18 o -1
0.09/0.18 c R 0.1s| 1 | 0 | 462 | - |7420k| 0 | 462 | 462 |5852 | 462 |5852 | 0 | 0 | 0 |-2.310000e+02 |-1.000000e+00 | 99.57%
0.09/0.19 o -2
0.09/0.19 c s 0.2s| 1 | 0 | 462 | - |7424k| 0 | 462 | 462 |5852 | 462 |5852 | 0 | 0 | 0 |-2.310000e+02 |-2.000000e+00 | 99.13%
0.28/0.37 o -44
0.28/0.37 c y 0.3s| 1 | 0 | 462 | - |7786k| 0 | 462 | 462 |5852 | 462 |5852 | 0 | 0 | 0 |-2.310000e+02 |-4.400000e+01 | 80.95%
0.39/0.43 c 0.4s| 1 | 0 | 621 | - |7436k| 0 | 435 | 462 |5852 | 462 |5859 | 7 | 0 | 0 |-2.175000e+02 |-4.400000e+01 | 79.77%
0.49/0.59 c 0.5s| 1 | 0 | 840 | - |7447k| 0 | 407 | 462 |5852 | 462 |5875 | 23 | 0 | 0 |-2.035000e+02 |-4.400000e+01 | 78.38%
0.69/0.76 c 0.7s| 1 | 0 | 1047 | - |7458k| 0 | 380 | 462 |5852 | 462 |5888 | 36 | 0 | 0 |-1.900000e+02 |-4.400000e+01 | 76.84%
0.89/0.91 c 0.9s| 1 | 0 | 1245 | - |7466k| 0 | 360 | 462 |5852 | 462 |5899 | 47 | 0 | 0 |-1.800000e+02 |-4.400000e+01 | 75.56%
1.09/1.11 c 1.1s| 1 | 0 | 1469 | - |7483k| 0 | 345 | 462 |5852 | 462 |5910 | 58 | 0 | 0 |-1.725000e+02 |-4.400000e+01 | 74.49%
1.28/1.30 c 1.3s| 1 | 0 | 1737 | - |7495k| 0 | 325 | 462 |5852 | 462 |5922 | 70 | 0 | 0 |-1.612500e+02 |-4.400000e+01 | 72.71%
1.38/1.49 c 1.4s| 1 | 0 | 2022 | - |7531k| 0 | 311 | 462 |5852 | 462 |5934 | 82 | 0 | 0 |-1.540000e+02 |-4.400000e+01 | 71.43%
1.69/1.70 c 1.7s| 1 | 0 | 2320 | - |7544k| 0 | 304 | 462 |5852 | 462 |5943 | 91 | 0 | 0 |-1.490000e+02 |-4.400000e+01 | 70.47%
1.89/1.92 c 1.9s| 1 | 0 | 2747 | - |7569k| 0 | 286 | 462 |5852 | 462 |5955 | 103 | 0 | 0 |-1.415000e+02 |-4.400000e+01 | 68.90%
2.09/2.18 c 2.1s| 1 | 0 | 3144 | - |7580k| 0 | 275 | 462 |5852 | 462 |5963 | 111 | 0 | 0 |-1.350000e+02 |-4.400000e+01 | 67.41%
2.29/2.35 c 2.3s| 1 | 0 | 3467 | - |7613k| 0 | 260 | 462 |5852 | 462 |5973 | 122 | 0 | 0 |-1.300000e+02 |-4.400000e+01 | 66.15%
2.58/2.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.58/2.61 c 2.6s| 1 | 0 | 4023 | - |7655k| 0 | 257 | 462 |5852 | 462 |5983 | 132 | 0 | 0 |-1.247500e+02 |-4.400000e+01 | 64.73%
2.79/2.82 c 2.8s| 1 | 0 | 4482 | - |7675k| 0 | 248 | 462 |5852 | 462 |5992 | 141 | 0 | 0 |-1.205000e+02 |-4.400000e+01 | 63.49%
2.89/3.00 c 3.0s| 1 | 0 | 4829 | - |7714k| 0 | 230 | 462 |5852 | 462 |6005 | 154 | 0 | 0 |-1.160000e+02 |-4.400000e+01 | 62.07%
3.20/3.21 c 3.2s| 1 | 0 | 5258 | - |7746k| 0 | 225 | 462 |5852 | 462 |6018 | 167 | 0 | 0 |-1.125000e+02 |-4.400000e+01 | 60.89%
3.39/3.42 c 3.4s| 1 | 0 | 5688 | - |7801k| 0 | 248 | 462 |5852 | 462 |6031 | 180 | 0 | 0 |-1.100000e+02 |-4.400000e+01 | 60.00%
3.69/3.73 c 3.7s| 1 | 0 | 6254 | - |8109k| 0 | 243 | 462 |5852 | 462 |6028 | 195 | 0 | 0 |-1.082059e+02 |-4.400000e+01 | 59.34%
3.98/4.02 c 4.0s| 1 | 0 | 6770 | - |8610k| 0 | 248 | 462 |5852 | 462 |6039 | 206 | 0 | 0 |-1.059180e+02 |-4.400000e+01 | 58.46%
4.18/4.23 c 4.2s| 1 | 0 | 7154 | - |9034k| 0 | 255 | 462 |5852 | 462 |6054 | 221 | 0 | 0 |-1.036089e+02 |-4.400000e+01 | 57.53%
4.59/4.63 c 4.6s| 1 | 0 | 7925 | - | 10M| 0 | 288 | 462 |5852 | 462 |6066 | 233 | 0 | 0 |-1.014735e+02 |-4.400000e+01 | 56.64%
4.89/4.99 c 5.0s| 1 | 0 | 8483 | - | 10M| 0 | 252 | 462 |5852 | 462 |6082 | 249 | 0 | 0 |-9.910938e+01 |-4.400000e+01 | 55.60%
5.19/5.23 c 5.2s| 1 | 0 | 8996 | - | 10M| 0 | 256 | 462 |5852 | 462 |6094 | 261 | 0 | 0 |-9.762500e+01 |-4.400000e+01 | 54.93%
5.49/5.51 c 5.5s| 1 | 0 | 9615 | - | 10M| 0 | 258 | 462 |5852 | 462 |6080 | 273 | 0 | 0 |-9.624813e+01 |-4.400000e+01 | 54.28%
5.68/5.76 c 5.7s| 1 | 0 | 10194 | - | 11M| 0 | 266 | 462 |5852 | 462 |6090 | 283 | 0 | 0 |-9.463202e+01 |-4.400000e+01 | 53.50%
5.98/6.00 c 6.0s| 1 | 0 | 10618 | - | 11M| 0 | 263 | 462 |5852 | 462 |6104 | 297 | 0 | 0 |-9.247659e+01 |-4.400000e+01 | 52.42%
6.28/6.36 c 6.3s| 1 | 0 | 11283 | - | 11M| 0 | 272 | 462 |5852 | 462 |6117 | 310 | 0 | 0 |-9.082901e+01 |-4.400000e+01 | 51.56%
7.08/7.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.08/7.15 c 7.1s| 1 | 0 | 11783 | - | 11M| 0 | 258 | 462 |5852 | 462 |6127 | 320 | 0 | 0 |-8.869350e+01 |-4.400000e+01 | 50.39%
7.89/7.93 c 7.9s| 1 | 0 | 12395 | - | 11M| 0 | 265 | 462 |5852 | 462 |6138 | 331 | 0 | 0 |-8.712637e+01 |-4.400000e+01 | 49.50%
8.69/8.74 c 8.7s| 1 | 0 | 12897 | - | 11M| 0 | 264 | 462 |5852 | 462 |6127 | 343 | 0 | 0 |-8.580963e+01 |-4.400000e+01 | 48.72%
9.58/9.62 c 9.6s| 1 | 0 | 13390 | - | 11M| 0 | 265 | 462 |5852 | 462 |6134 | 350 | 0 | 0 |-8.512595e+01 |-4.400000e+01 | 48.31%
10.18/10.29 c 10.2s| 1 | 0 | 13957 | - | 11M| 0 | 254 | 462 |5852 | 462 |6142 | 358 | 0 | 0 |-8.399905e+01 |-4.400000e+01 | 47.62%
10.79/10.82 c 10.8s| 1 | 0 | 14345 | - | 11M| 0 | 262 | 462 |5852 | 462 |6153 | 369 | 0 | 0 |-8.292687e+01 |-4.400000e+01 | 46.94%
11.58/11.62 c 11.6s| 1 | 0 | 14688 | - | 11M| 0 | 267 | 462 |5852 | 462 |6165 | 381 | 0 | 0 |-8.247323e+01 |-4.400000e+01 | 46.65%
12.38/12.49 c 12.4s| 1 | 0 | 15081 | - | 12M| 0 | 269 | 462 |5852 | 462 |6173 | 389 | 0 | 0 |-8.172034e+01 |-4.400000e+01 | 46.16%
13.38/13.41 c 13.4s| 1 | 0 | 15523 | - | 12M| 0 | 267 | 462 |5852 | 462 |6143 | 399 | 0 | 0 |-8.110123e+01 |-4.400000e+01 | 45.75%
14.18/14.28 c 14.2s| 1 | 0 | 15996 | - | 12M| 0 | 271 | 462 |5852 | 462 |6151 | 407 | 0 | 0 |-8.018112e+01 |-4.400000e+01 | 45.12%
15.18/15.20 c 15.2s| 1 | 0 | 16518 | - | 12M| 0 | 271 | 462 |5852 | 462 |6158 | 414 | 0 | 0 |-7.949754e+01 |-4.400000e+01 | 44.65%
16.08/16.18 c 16.1s| 1 | 0 | 17168 | - | 12M| 0 | 265 | 462 |5852 | 462 |6164 | 420 | 0 | 0 |-7.849230e+01 |-4.400000e+01 | 43.94%
17.07/17.12 c 17.1s| 1 | 0 | 17708 | - | 12M| 0 | 266 | 462 |5852 | 462 |6176 | 432 | 0 | 0 |-7.739330e+01 |-4.400000e+01 | 43.15%
17.98/18.07 c 18.0s| 1 | 0 | 18176 | - | 12M| 0 | 268 | 462 |5852 | 462 |6185 | 441 | 0 | 0 |-7.684402e+01 |-4.400000e+01 | 42.74%
18.88/18.97 c 18.9s| 1 | 0 | 18613 | - | 12M| 0 | 270 | 462 |5852 | 462 |6160 | 449 | 0 | 0 |-7.615225e+01 |-4.400000e+01 | 42.22%
19.78/19.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.78/19.89 c 19.8s| 1 | 0 | 19103 | - | 12M| 0 | 269 | 462 |5852 | 462 |6172 | 461 | 0 | 0 |-7.547497e+01 |-4.400000e+01 | 41.70%
20.78/20.84 c 20.8s| 1 | 0 | 19698 | - | 12M| 0 | 272 | 462 |5852 | 462 |6183 | 472 | 0 | 0 |-7.467203e+01 |-4.400000e+01 | 41.08%
21.77/21.84 c 21.8s| 1 | 0 | 20318 | - | 12M| 0 | 271 | 462 |5852 | 462 |6195 | 484 | 0 | 0 |-7.375320e+01 |-4.400000e+01 | 40.34%
22.77/22.87 c 22.8s| 1 | 0 | 20935 | - | 12M| 0 | 263 | 462 |5852 | 462 |6202 | 491 | 0 | 0 |-7.301743e+01 |-4.400000e+01 | 39.74%
23.67/23.79 c 23.7s| 1 | 0 | 21363 | - | 12M| 0 | 267 | 462 |5852 | 462 |6210 | 499 | 0 | 0 |-7.262241e+01 |-4.400000e+01 | 39.41%
24.67/24.72 c 24.7s| 1 | 0 | 21721 | - | 12M| 0 | 277 | 462 |5852 | 462 |6201 | 508 | 0 | 0 |-7.237652e+01 |-4.400000e+01 | 39.21%
25.47/25.58 c 25.5s| 1 | 0 | 21958 | - | 12M| 0 | 275 | 462 |5852 | 462 |6207 | 514 | 0 | 0 |-7.225776e+01 |-4.400000e+01 | 39.11%
26.38/26.48 c 26.4s| 1 | 0 | 22313 | - | 12M| 0 | 281 | 462 |5852 | 462 |6215 | 522 | 0 | 0 |-7.195459e+01 |-4.400000e+01 | 38.85%
27.37/27.41 c 27.4s| 1 | 0 | 22674 | - | 12M| 0 | 278 | 462 |5852 | 462 |6226 | 533 | 0 | 0 |-7.165074e+01 |-4.400000e+01 | 38.59%
28.17/28.25 c 28.2s| 1 | 0 | 22850 | - | 12M| 0 | 283 | 462 |5852 | 462 |6234 | 541 | 0 | 0 |-7.155206e+01 |-4.400000e+01 | 38.51%
29.07/29.12 c 29.1s| 1 | 0 | 23066 | - | 12M| 0 | 287 | 462 |5852 | 462 |6243 | 550 | 0 | 0 |-7.131954e+01 |-4.400000e+01 | 38.31%
29.97/30.03 c 30.0s| 1 | 0 | 23227 | - | 12M| 0 | 291 | 462 |5852 | 462 |6232 | 558 | 0 | 0 |-7.124341e+01 |-4.400000e+01 | 38.24%
30.87/30.92 c 30.9s| 1 | 0 | 23369 | - | 12M| 0 | 302 | 462 |5852 | 462 |6240 | 566 | 0 | 0 |-7.114817e+01 |-4.400000e+01 | 38.16%
31.77/31.83 c 31.8s| 1 | 0 | 23499 | - | 12M| 0 | 304 | 462 |5852 | 462 |6245 | 571 | 0 | 0 |-7.108393e+01 |-4.400000e+01 | 38.10%
32.76/32.83 c 32.8s| 1 | 0 | 23781 | - | 12M| 0 | 304 | 462 |5852 | 462 |6253 | 579 | 0 | 0 |-7.083157e+01 |-4.400000e+01 | 37.88%
33.67/33.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.67/33.77 c 33.7s| 1 | 0 | 23967 | - | 12M| 0 | 311 | 462 |5852 | 462 |6261 | 587 | 0 | 0 |-7.071663e+01 |-4.400000e+01 | 37.78%
34.66/34.73 c 34.7s| 1 | 0 | 24145 | - | 12M| 0 | 327 | 462 |5852 | 462 |6268 | 594 | 0 | 0 |-7.061574e+01 |-4.400000e+01 | 37.69%
35.67/35.74 c 35.7s| 1 | 0 | 24287 | - | 12M| 0 | 334 | 462 |5852 | 462 |6255 | 604 | 0 | 0 |-7.049610e+01 |-4.400000e+01 | 37.59%
36.67/36.72 c 36.7s| 1 | 0 | 24386 | - | 12M| 0 | 338 | 462 |5852 | 462 |6261 | 610 | 0 | 0 |-7.044726e+01 |-4.400000e+01 | 37.54%
37.66/37.71 c 37.7s| 1 | 0 | 24451 | - | 12M| 0 | 347 | 462 |5852 | 462 |6268 | 617 | 0 | 0 |-7.040803e+01 |-4.400000e+01 | 37.51%
38.67/38.72 c 38.7s| 1 | 0 | 24552 | - | 12M| 0 | 357 | 462 |5852 | 462 |6276 | 625 | 0 | 0 |-7.035222e+01 |-4.400000e+01 | 37.46%
39.67/39.76 c 39.7s| 1 | 0 | 24674 | - | 12M| 0 | 361 | 462 |5852 | 462 |6284 | 633 | 0 | 0 |-7.029971e+01 |-4.400000e+01 | 37.41%
40.67/40.78 c 40.7s| 1 | 0 | 24713 | - | 12M| 0 | 372 | 462 |5852 | 462 |6292 | 641 | 0 | 0 |-7.029176e+01 |-4.400000e+01 | 37.40%
41.77/41.83 c 41.8s| 1 | 0 | 24759 | - | 12M| 0 | 374 | 462 |5852 | 462 |6282 | 648 | 0 | 0 |-7.027452e+01 |-4.400000e+01 | 37.39%
42.77/42.85 c 42.8s| 1 | 0 | 24774 | - | 12M| 0 | 363 | 462 |5852 | 462 |6285 | 651 | 0 | 0 |-7.027043e+01 |-4.400000e+01 | 37.38%
53.16/53.22 c 53.2s| 1 | 2 | 24774 | - | 12M| 0 | 363 | 462 |5852 | 462 |6285 | 651 | 0 | 34 |-7.027043e+01 |-4.400000e+01 | 37.38%
93.16/93.25 o -45
93.16/93.25 c c93.2s| 14 | 15 | 29554 | 367.7 | 12M| 13 | - | 462 |5852 | 462 |6232 | 651 | 0 | 285 |-7.018733e+01 |-4.500000e+01 | 35.89%
93.16/93.26 o -46
93.16/93.26 c c93.2s| 14 | 15 | 29596 | 370.9 | 12M| 13 | - | 462 |5852 | 462 |6232 | 651 | 0 | 285 |-7.018733e+01 |-4.600000e+01 | 34.46%
93.16/93.26 o -47
93.16/93.26 c c93.2s| 14 | 15 | 29597 | 371.0 | 12M| 13 | - | 462 |5852 | 462 |6232 | 651 | 0 | 285 |-7.018733e+01 |-4.700000e+01 | 33.04%
93.16/93.26 o -48
93.16/93.26 c c93.2s| 14 | 15 | 29599 | 371.2 | 12M| 13 | - | 462 |5852 | 462 |6232 | 651 | 0 | 285 |-7.018733e+01 |-4.800000e+01 | 31.61%
93.16/93.27 o -55
93.16/93.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.16/93.27 c c93.2s| 14 | 15 | 29602 | 371.4 | 12M| 13 | - | 462 |5852 | 462 |6232 | 651 | 0 | 285 |-7.018733e+01 |-5.500000e+01 | 21.64%
112.45/112.52 o -59
112.45/112.52 c p 112s| 26 | 27 | 33754 | 359.2 | 13M| 13 | - | 462 |5852 | 462 |6232 | 651 | 0 | 362 |-7.011720e+01 |-5.900000e+01 | 15.86%
120.75/120.81 o -60
120.75/120.81 c o 121s| 62 | 63 | 47648 | 375.0 | 13M| 14 | 0 | 462 |5852 | 462 |6232 | 651 | 0 | 375 |-7.011720e+01 |-6.000000e+01 | 14.43%
157.55/157.61 o -61
157.55/157.61 c l 158s| 257 | 232 |115795 | 355.6 | 14M| 22 | - | 462 |5852 | 462 |6232 | 651 | 0 | 446 |-7.008034e+01 |-6.100000e+01 | 12.96%
524.90/525.01 o -62
524.90/525.01 c o 525s| 1549 | 1436 |894419 | 561.8 | 20M| 25 | 0 | 462 |5852 | 462 |6232 | 651 | 0 | 783 |-6.928564e+01 |-6.200000e+01 | 10.52%
1113.60/1113.89 c 1114s| 10000 | 3946 | 2201k| 217.7 | 35M| 62 | 147 | 462 |5852 | 462 |6232 | 651 | 0 |1337 |-6.895087e+01 |-6.200000e+01 | 10.08%
1690.01/1690.31 c 1690s| 20000 | 6570 | 3531k| 175.4 | 50M| 62 | 209 | 462 |5852 | 462 |6232 | 651 | 0 |1965 |-6.877184e+01 |-6.200000e+01 | 9.85%
1789.70/1790.01 c
1789.70/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.01 c Solving Time (sec) : 1789.97
1789.70/1790.01 c Solving Nodes : 21686
1789.70/1790.01 c Primal Bound : -6.20000000000000e+01 (626 solutions)
1789.70/1790.01 c Dual Bound : -6.87349418818452e+01
1789.70/1790.01 c Gap : 9.80 %
1789.70/1790.01 s SATISFIABLE
1789.70/1790.01 v -x462 x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 x442 -x441
1789.70/1790.01 v -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 x420 -x419
1789.70/1790.01 v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398
1789.70/1790.01 v x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 x380 -x379 -x378 -x377
1789.70/1790.01 v -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
1789.70/1790.01 v -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334
1789.70/1790.01 v -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313
1789.70/1790.01 v -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
1789.70/1790.01 v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
1789.70/1790.01 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 x254 -x253 -x252 -x251 x250 -x249
1789.70/1790.01 v -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1789.70/1790.01 v -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 x214 -x213 -x212 -x211 x210 -x209 -x208 x207
1789.70/1790.01 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 x185
1789.70/1790.01 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
1789.70/1790.01 v -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 x145 -x144 -x143
1789.70/1790.01 v x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
1789.70/1790.01 v -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
1789.70/1790.01 v -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 -x75
1789.70/1790.01 v 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
1789.70/1790.01 v -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23
1789.70/1790.01 v -x22 -x21 -x20 -x19 x18 -x17 -x16 -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.97
1789.70/1790.01 c Original Problem :
1789.70/1790.01 c Problem name : HOME/instance-3741351-1338752893.opb
1789.70/1790.01 c Variables : 462 (462 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.01 c Constraints : 5852 initial, 5852 maximal
1789.70/1790.01 c Presolved Problem :
1789.70/1790.01 c Problem name : t_HOME/instance-3741351-1338752893.opb
1789.70/1790.01 c Variables : 462 (462 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.01 c Constraints : 5852 initial, 5852 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.04 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 14675 0 15 363 0 0 28832
1789.70/1790.01 c setppc : 5852 67 81984 0 2 0 195641 0 0 0
1789.70/1790.01 c countsols : 0 0 0 0 2 0 0 0 0 0
1789.70/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.70/1790.01 c integral : 188.62 0.00 0.00 188.62 0.00
1789.70/1790.01 c setppc : 4.10 0.03 4.07 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.02 2 0 0
1789.70/1790.01 c rootredcost : 0.02 9 0 0
1789.70/1790.01 c pseudoobj : 0.68 82165 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.04 66 - - 88 - (maximal pool size: 1641)
1789.70/1790.01 c redcost : 0.37 21851 0 81152 0 0
1789.70/1790.01 c impliedbounds : 0.01 67 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 : 32.18 67 0 0 16173 0
1789.70/1790.01 c strongcg : 0.59 20 0 0 9962 0
1789.70/1790.01 c cmir : 0.19 10 0 0 0 0
1789.70/1790.01 c flowcover : 0.20 10 0 0 0 0
1789.70/1790.01 c clique : 0.12 67 0 0 517 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.11 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 : 188.60 14675 15 363 0 0 28832
1789.70/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.70/1790.01 c inference : 0.00 2 0 0 0 0 4
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.00 - 0
1789.70/1790.01 c pseudo solutions : 0.00 - 0
1789.70/1790.01 c feaspump : 0.00 0 0
1789.70/1790.01 c oneopt : 0.01 6 0
1789.70/1790.01 c crossover : 0.26 7 2
1789.70/1790.01 c fracdiving : 70.49 46 8
1789.70/1790.01 c veclendiving : 62.67 132 0
1789.70/1790.01 c objpscostdiving : 119.38 70 192
1789.70/1790.01 c linesearchdiving : 52.81 140 65
1789.70/1790.01 c pscostdiving : 54.55 140 67
1789.70/1790.01 c coefdiving : 83.52 140 39
1789.70/1790.01 c trivial : 0.00 2 3
1789.70/1790.01 c simplerounding : 0.27 14741 40
1789.70/1790.01 c zirounding : 1.33 3901 78
1789.70/1790.01 c rounding : 7.14 5417 1
1789.70/1790.01 c shifting : 2.06 1399 1
1789.70/1790.01 c intshifting : 0.00 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 rootsoldiving : 20.62 71 126
1789.70/1790.01 c guideddiving : 71.94 50 3
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.00 0 0
1789.70/1790.01 c trysol : 0.01 0 0
1789.70/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.70/1790.01 c primal LP : 0.04 0 0 0.00 0.00
1789.70/1790.01 c dual LP : 1003.37 21995 2490982 113.25 2482.62
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: 521.88 31570 1266967 40.13 2427.68
1789.70/1790.01 c strong branching : 187.91 2042 431270 211.20 2295.06
1789.70/1790.01 c (at root node) : - 34 16538 486.41 -
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 : 21686
1789.70/1790.01 c nodes (total) : 21686
1789.70/1790.01 c nodes left : 7004
1789.70/1790.01 c max depth : 62
1789.70/1790.01 c max depth (total): 62
1789.70/1790.01 c backtracks : 3288 (15.2%)
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: 4.29
1789.70/1790.01 c switching time : 2.78
1789.70/1790.01 c Solution :
1789.70/1790.01 c Solutions found : 626 (13 improvements)
1789.70/1790.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1789.70/1790.01 c Primal Bound : -6.20000000000000e+01 (in run 1, after 1549 nodes, 524.97 seconds, depth 24, found by <objpscostdiving>)
1789.70/1790.01 c Dual Bound : -6.87349418818452e+01
1789.70/1790.01 c Gap : 9.80 %
1789.70/1790.01 c Root Dual Bound : -7.02704326923076e+01
1789.70/1790.01 c Root Iterations : 24774
1789.70/1790.06 c Time complete: 1789.76.
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-3741351-1338752893/watcher-3741351-1338752893 -o /tmp/evaluation-result-3741351-1338752893/solver-3741351-1338752893 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741351-1338752893.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.11 2.03 2.01 2/176 24093
/proc/meminfo: memFree=26938456/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 1419 0 0 0 0 0 0 0 20 0 1 0 341413350 9158656 1365 33554432000 4194304 8395647 140734706624992 140733322187080 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24093/statm: 2236 1375 374 1026 0 1206 0
[startup+0.098824 s]
/proc/loadavg: 2.11 2.03 2.01 2/176 24093
/proc/meminfo: memFree=26938456/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=25132 CPUtime=0.09 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 5655 0 0 0 9 0 0 0 20 0 1 0 341413350 25735168 5247 33554432000 4194304 8395647 140734706624992 140734706490200 5210338 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24093/statm: 6283 5247 491 1026 0 5253 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25132
[startup+0.100197 s]
/proc/loadavg: 2.11 2.03 2.01 2/176 24093
/proc/meminfo: memFree=26938456/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=25132 CPUtime=0.09 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 5655 0 0 0 9 0 0 0 20 0 1 0 341413350 25735168 5247 33554432000 4194304 8395647 140734706624992 140734706490200 5211439 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24093/statm: 6283 5247 491 1026 0 5253 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25132
[startup+0.300215 s]
/proc/loadavg: 2.11 2.03 2.01 2/176 24093
/proc/meminfo: memFree=26938456/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=47936 CPUtime=0.28 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 11258 0 0 0 27 1 0 0 20 0 1 0 341413350 49086464 10700 33554432000 4194304 8395647 140734706624992 140734706620232 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24093/statm: 11984 10700 597 1026 0 10954 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47936
[startup+0.700197 s]
/proc/loadavg: 2.11 2.03 2.01 2/176 24093
/proc/meminfo: memFree=26938456/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=49052 CPUtime=0.69 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 12381 0 0 0 67 2 0 0 20 0 1 0 341413350 50229248 11104 33554432000 4194304 8395647 140734706624992 140734706620232 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24093/statm: 12263 11104 612 1026 0 11233 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49052
[startup+1.50019 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 24094
/proc/meminfo: memFree=26896180/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=49052 CPUtime=1.48 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 12394 0 0 0 146 2 0 0 20 0 1 0 341413350 50229248 11117 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24093/statm: 12263 11117 614 1026 0 11233 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49052
[startup+3.1002 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 24132
/proc/meminfo: memFree=26987812/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=49052 CPUtime=3.09 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 12400 0 0 0 305 4 0 0 20 0 1 0 341413350 50229248 11123 33554432000 4194304 8395647 140734706624992 140734706620232 6698334 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24093/statm: 12263 11123 615 1026 0 11233 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49052
[startup+6.30023 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 24132
/proc/meminfo: memFree=26965168/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=55152 CPUtime=6.28 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 14214 0 0 0 623 5 0 0 20 0 1 0 341413350 56475648 12883 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 13788 12883 617 1026 0 12758 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55152
[startup+12.7002 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 24132
/proc/meminfo: memFree=26928000/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=56284 CPUtime=12.68 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 14558 0 0 0 1259 9 0 0 20 0 1 0 341413350 57634816 13505 33554432000 4194304 8395647 140734706624992 140734706620232 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 14071 13505 617 1026 0 13041 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56284
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24132
/proc/meminfo: memFree=26929024/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=56284 CPUtime=25.47 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 14570 0 0 0 2534 13 0 0 20 0 1 0 341413350 57634816 13514 33554432000 4194304 8395647 140734706624992 140734706620232 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 14071 13514 617 1026 0 13041 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 56284
[startup+51.1002 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 24132
/proc/meminfo: memFree=26936092/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=57784 CPUtime=51.07 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 15595 0 0 0 5085 22 0 0 20 0 1 0 341413350 59170816 13831 33554432000 4194304 8395647 140734706624992 140734706619544 6741705 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 14446 13831 619 1026 0 13416 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 57784
[startup+102.306 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 24170
/proc/meminfo: memFree=26802156/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=58028 CPUtime=102.26 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 15707 0 0 0 10190 36 0 0 20 0 1 0 341413350 59420672 13943 33554432000 4194304 8395647 140734706624992 140734706619864 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 14507 13943 620 1026 0 13477 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58028
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 24173
/proc/meminfo: memFree=26776076/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=59260 CPUtime=162.24 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 15937 0 0 0 16171 53 0 0 20 0 1 0 341413350 60682240 14173 33554432000 4194304 8395647 140734706624992 140734706620504 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 14815 14173 620 1026 0 13785 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 59260
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 24173
/proc/meminfo: memFree=26727572/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=59612 CPUtime=222.24 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 16098 0 0 0 22153 71 0 0 20 0 1 0 341413350 61042688 14334 33554432000 4194304 8395647 140734706624992 140734706620504 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 14903 14334 620 1026 0 13873 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 59612
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 24173
/proc/meminfo: memFree=26684576/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=76560 CPUtime=282.23 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 20063 0 0 0 28133 90 0 0 20 0 1 0 341413350 78397440 18655 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 19140 18655 627 1026 0 18110 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 76560
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 24174
/proc/meminfo: memFree=26682912/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=76560 CPUtime=342.22 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 20063 0 0 0 34112 110 0 0 20 0 1 0 341413350 78397440 18655 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 19140 18655 627 1026 0 18110 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 76560
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24174
/proc/meminfo: memFree=26680436/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=76560 CPUtime=402.21 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 20063 0 0 0 40092 129 0 0 20 0 1 0 341413350 78397440 18655 33554432000 4194304 8395647 140734706624992 140734706620520 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 19140 18655 627 1026 0 18110 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 76560
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 24174
/proc/meminfo: memFree=26679348/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=76560 CPUtime=462.2 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 20063 0 0 0 46075 145 0 0 20 0 1 0 341413350 78397440 18655 33554432000 4194304 8395647 140734706624992 140734706620472 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 19140 18655 627 1026 0 18110 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 76560
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 24174
/proc/meminfo: memFree=26676868/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=76560 CPUtime=522.19 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 20063 0 0 0 52054 165 0 0 20 0 1 0 341413350 78397440 18655 33554432000 4194304 8395647 140734706624992 140734706620600 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 19140 18655 627 1026 0 18110 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 76560
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 24174
/proc/meminfo: memFree=26675132/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=76436 CPUtime=582.19 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 21440 0 0 0 58034 185 0 0 20 0 1 0 341413350 78270464 18661 33554432000 4194304 8395647 140734706624992 140734706619864 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 19109 18661 627 1026 0 18079 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 76436
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26665148/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=79684 CPUtime=1062.11 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 30443 0 0 0 105868 343 0 0 20 0 1 0 341413350 81596416 19346 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 19921 19346 627 1026 0 18891 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 79684
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24202
/proc/meminfo: memFree=26661804/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=82428 CPUtime=1122.11 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 31111 0 0 0 111848 363 0 0 20 0 1 0 341413350 84406272 20014 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 20607 20014 627 1026 0 19577 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 82428
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24202
/proc/meminfo: memFree=26660376/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=83492 CPUtime=1182.09 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 31459 0 0 0 117827 382 0 0 20 0 1 0 341413350 85495808 20362 33554432000 4194304 8395647 140734706624992 140734706620504 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 20873 20362 627 1026 0 19843 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 83492
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24203
/proc/meminfo: memFree=26656560/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=84544 CPUtime=1242.08 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 31685 0 0 0 123806 402 0 0 20 0 1 0 341413350 86573056 20594 33554432000 4194304 8395647 140734706624992 140734706620408 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 21136 20594 627 1026 0 20106 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 84544
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24203
/proc/meminfo: memFree=26669724/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=86060 CPUtime=1302.08 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 32069 0 0 0 129785 423 0 0 20 0 1 0 341413350 88125440 20978 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 21515 20978 627 1026 0 20485 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 86060
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24206
/proc/meminfo: memFree=26668428/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=87568 CPUtime=1362.07 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 36133 0 0 0 135765 442 0 0 20 0 1 0 341413350 89669632 21353 33554432000 4194304 8395647 140734706624992 140734706620712 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 21892 21353 627 1026 0 20862 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 87568
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24206
/proc/meminfo: memFree=26668372/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=88188 CPUtime=1422.06 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 36278 0 0 0 141744 462 0 0 20 0 1 0 341413350 90304512 21498 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 22047 21498 627 1026 0 21017 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 88188
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24206
/proc/meminfo: memFree=26668124/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=88368 CPUtime=1482.05 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 36343 0 0 0 147724 481 0 0 20 0 1 0 341413350 90488832 21562 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 22092 21562 627 1026 0 21062 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 88368
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26666760/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=89952 CPUtime=1542.04 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 36711 0 0 0 153704 500 0 0 20 0 1 0 341413350 92110848 21930 33554432000 4194304 8395647 140734706624992 140734706620456 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 22488 21930 627 1026 0 21458 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 89952
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26661864/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=93860 CPUtime=1602.02 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 37738 0 0 0 159683 519 0 0 20 0 1 0 341413350 96112640 22941 33554432000 4194304 8395647 140734706624992 140734706620456 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 23465 22941 627 1026 0 22435 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 93860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26660376/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=95316 CPUtime=1662.02 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38137 0 0 0 165662 540 0 0 20 0 1 0 341413350 97603584 23340 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 23829 23340 627 1026 0 22799 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 95316
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26658880/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=96928 CPUtime=1722.01 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38462 0 0 0 171641 560 0 0 20 0 1 0 341413350 99254272 23665 33554432000 4194304 8395647 140734706624992 140734706620552 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 24232 23665 627 1026 0 23202 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 96928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26657020/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=97168 CPUtime=1781.99 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38494 0 0 0 177621 578 0 0 20 0 1 0 341413350 99500032 23697 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 24292 23697 627 1026 0 23262 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 97168
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26657020/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=97168 CPUtime=1785.2 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38495 0 0 0 177941 579 0 0 20 0 1 0 341413350 99500032 23698 33554432000 4194304 8395647 140734706624992 140734706620200 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 24292 23698 627 1026 0 23262 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 97168
[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26657392/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=97168 CPUtime=1786.79 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38495 0 0 0 178100 579 0 0 20 0 1 0 341413350 99500032 23698 33554432000 4194304 8395647 140734706624992 140734706620216 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 24292 23698 627 1026 0 23262 0
Current children cumulated CPU time (s) 1786.79
Current children cumulated vsize (KiB) 97168
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26657392/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=97168 CPUtime=1788.4 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38504 0 0 0 178260 580 0 0 20 0 1 0 341413350 99500032 23707 33554432000 4194304 8395647 140734706624992 140734706620232 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 24292 23707 627 1026 0 23262 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 97168
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26657392/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=97168 CPUtime=1789.2 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38515 0 0 0 178340 580 0 0 20 0 1 0 341413350 99500032 23718 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 24292 23718 627 1026 0 23262 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 97168
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26656524/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=97168 CPUtime=1789.6 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38517 0 0 0 178380 580 0 0 20 0 1 0 341413350 99500032 23720 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 24292 23720 627 1026 0 23262 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 97168
[startup+1790 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24207
/proc/meminfo: memFree=26656524/32873648 swapFree=7368/7368
[pid=24093] ppid=24091 vsize=97168 CPUtime=1789.7 cores=0,2,4,6
/proc/24093/stat : 24093 (pbscip.linux.x8) R 24091 24093 23880 0 -1 4202496 38517 0 0 0 178390 580 0 0 20 0 1 0 341413350 99500032 23720 33554432000 4194304 8395647 140734706624992 140734706620120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24093/statm: 24292 23720 627 1026 0 23262 0
Current children cumulated CPU time (s) 1789.7
Current children cumulated vsize (KiB) 97168
Child status: 0
Real time (s): 1790.07
CPU time (s): 1789.77
CPU user time (s): 1783.97
CPU system time (s): 5.80612
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 97168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.97
system time used= 5.80612
maximum resident set size= 97984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38521
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= 26
involuntary context switches= 1895
runsolver used 2.6236 second user time and 7.14491 second system time
The end