0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-3731408-1338687857.opb>
0.00/0.01 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 42 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.02 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 42 chg coeffs, 473 upgd conss, 0 impls, 0 clqs
0.01/0.02 c (round 3) 0 del vars, 2 del conss, 0 chg bounds, 176 chg sides, 407 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.01/0.02 c (round 4) 0 del vars, 35 del conss, 0 chg bounds, 271 chg sides, 524 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.01/0.02 c (round 5) 0 del vars, 38 del conss, 0 chg bounds, 292 chg sides, 551 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.01/0.02 c (round 6) 0 del vars, 116 del conss, 0 chg bounds, 294 chg sides, 553 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.01/0.02 c (0.0s) probing: 101/473 (21.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.02 c presolving (7 rounds):
0.01/0.02 c 0 deleted vars, 116 deleted constraints, 0 tightened bounds, 0 added holes, 294 changed sides, 553 changed coefficients
0.01/0.02 c 226 implications, 0 cliques
0.01/0.02 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 559 constraints
0.01/0.02 c 444 constraints of type <knapsack>
0.01/0.02 c 113 constraints of type <setppc>
0.01/0.02 c 2 constraints of type <logicor>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.02
0.01/0.03 c OPT-LIN
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = c 13950
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = c 1791
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = c 10000
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving problem
0.01/0.03 c
0.28/0.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.28/0.32 c 0.3s| 1 | 0 | 2113 |2475k| 0 | 305 | 473 | 559 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510064e+02 | -- | Inf
0.28/0.32 o 326
0.28/0.32 c r 0.3s| 1 | 0 | 2113 |2489k| 0 | 305 | 473 | 559 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510064e+02 | 3.260000e+02 | 115.88%
0.28/0.32 o 325
0.28/0.32 c R 0.3s| 1 | 0 | 2113 |2502k| 0 | 305 | 473 | 559 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510064e+02 | 3.250000e+02 | 115.22%
0.28/0.32 o 324
0.28/0.32 c s 0.3s| 1 | 0 | 2113 |2516k| 0 | 305 | 473 | 559 | 559 | 473 | 559 | 0 | 0 | 0 | 1.510064e+02 | 3.240000e+02 | 114.56%
0.69/0.72 c 0.7s| 1 | 0 | 2977 |2829k| 0 | 390 | 473 | 559 | 559 | 473 | 776 | 217 | 0 | 0 | 1.575382e+02 | 3.240000e+02 | 105.66%
1.19/1.23 c 1.2s| 1 | 0 | 3842 |3090k| 0 | 418 | 473 | 559 | 559 | 473 | 955 | 396 | 0 | 0 | 1.605797e+02 | 3.240000e+02 | 101.77%
1.69/1.78 c 1.8s| 1 | 0 | 4674 |3279k| 0 | 424 | 473 | 559 | 559 | 473 |1086 | 527 | 0 | 0 | 1.623112e+02 | 3.240000e+02 | 99.62%
2.29/2.32 c 2.3s| 1 | 0 | 5295 |3373k| 0 | 433 | 473 | 559 | 559 | 473 |1174 | 615 | 0 | 0 | 1.631175e+02 | 3.240000e+02 | 98.63%
2.78/2.85 c 2.8s| 1 | 0 | 5768 |3430k| 0 | 438 | 473 | 559 | 559 | 473 |1230 | 671 | 0 | 0 | 1.635136e+02 | 3.240000e+02 | 98.15%
3.29/3.32 c 3.3s| 1 | 0 | 6099 |3457k| 0 | 441 | 473 | 559 | 559 | 473 |1263 | 704 | 0 | 0 | 1.636882e+02 | 3.240000e+02 | 97.94%
3.59/3.69 c 3.7s| 1 | 0 | 6295 |3466k| 0 | 440 | 473 | 559 | 559 | 473 |1273 | 714 | 0 | 0 | 1.637246e+02 | 3.240000e+02 | 97.89%
3.99/4.04 c 4.0s| 1 | 0 | 6382 |3473k| 0 | 444 | 473 | 559 | 559 | 473 |1279 | 720 | 0 | 0 | 1.637455e+02 | 3.240000e+02 | 97.87%
4.49/4.51 c 4.5s| 1 | 0 | 6605 |3488k| 0 | 444 | 473 | 559 | 559 | 473 |1290 | 731 | 0 | 0 | 1.638176e+02 | 3.240000e+02 | 97.78%
4.79/4.86 c 4.8s| 1 | 0 | 6664 |3496k| 0 | 441 | 473 | 559 | 559 | 473 |1296 | 737 | 0 | 0 | 1.638267e+02 | 3.240000e+02 | 97.77%
5.19/5.20 c 5.2s| 1 | 0 | 6726 |3503k| 0 | 439 | 473 | 559 | 559 | 473 |1263 | 739 | 0 | 0 | 1.638349e+02 | 3.240000e+02 | 97.76%
5.49/5.50 o 213
5.49/5.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.49/5.50 c k 5.5s| 1 | 0 | 6726 |3524k| 0 | 439 | 473 | 559 | 559 | 473 |1263 | 739 | 0 | 0 | 1.638349e+02 | 2.130000e+02 | 30.01%
5.49/5.51 c 5.5s| 1 | 0 | 6726 |3517k| 0 | 439 | 473 | 559 | 559 | 473 |1263 | 739 | 0 | 0 | 1.638349e+02 | 2.130000e+02 | 30.01%
14.59/14.62 c 14.6s| 1 | 2 | 6726 |3518k| 0 | 439 | 473 | 559 | 559 | 473 |1263 | 739 | 0 | 41 | 1.638349e+02 | 2.130000e+02 | 30.01%
49.48/49.56 o 212
49.48/49.56 c v49.4s| 95 | 96 | 39295 |4425k| 59 | - | 473 | 559 | 452 | 473 |1034 | 739 | 0 | 282 | 1.641877e+02 | 2.120000e+02 | 29.12%
49.48/49.56 o 209
49.48/49.56 c k49.4s| 95 | 96 | 39311 |4336k| 59 | 216 | 473 | 559 | 490 | 473 |1034 | 739 | 0 | 282 | 1.641877e+02 | 2.090000e+02 | 27.29%
51.07/51.11 o 208
51.07/51.11 c o50.9s| 111 | 112 | 47902 |4349k| 59 | 21 | 473 | 559 | 488 | 473 |1034 | 739 | 0 | 282 | 1.641877e+02 | 2.080000e+02 | 26.68%
51.07/51.11 o 208
51.07/51.11 c o50.9s| 111 | 112 | 47903 |4349k| 59 | 21 | 473 | 559 | 488 | 473 |1034 | 739 | 0 | 282 | 1.641877e+02 | 2.080000e+02 | 26.68%
51.07/51.11 o 207
51.07/51.11 c o50.9s| 111 | 112 | 47905 |4349k| 59 | 17 | 473 | 559 | 488 | 473 |1034 | 739 | 0 | 282 | 1.641877e+02 | 2.070000e+02 | 26.08%
51.07/51.11 o 207
51.07/51.11 c o50.9s| 111 | 112 | 47949 |4349k| 59 | 11 | 473 | 559 | 488 | 473 |1034 | 739 | 0 | 282 | 1.641877e+02 | 2.070000e+02 | 26.08%
51.07/51.18 o 206
51.07/51.18 c k51.0s| 111 | 112 | 48772 |4355k| 59 | 213 | 473 | 559 | 488 | 473 |1034 | 739 | 0 | 282 | 1.641877e+02 | 2.060000e+02 | 25.47%
57.38/57.42 o 205
57.38/57.42 c C57.2s| 311 | 312 | 76152 |4555k| 106 | 119 | 473 | 562 | 465 | 473 |1034 | 739 | 3 | 340 | 1.641877e+02 | 2.050000e+02 | 24.86%
92.56/92.65 o 205
92.56/92.65 c o92.2s| 1135 | 1136 |252629 |5217k| 107 | 22 | 473 | 570 | 501 | 473 |1034 | 739 | 11 | 661 | 1.642710e+02 | 2.050000e+02 | 24.79%
92.56/92.66 o 204
92.56/92.66 c o92.3s| 1135 | 1136 |252717 |5217k| 107 | 19 | 473 | 570 | 501 | 473 |1034 | 739 | 11 | 661 | 1.642710e+02 | 2.040000e+02 | 24.19%
92.66/92.77 o 202
92.66/92.77 c k92.4s| 1136 | 1137 |253657 |5224k| 107 | 154 | 473 | 570 | 481 | 473 |1034 | 739 | 11 | 663 | 1.642710e+02 | 2.020000e+02 | 22.97%
113.57/113.62 o 202
113.57/113.62 c o 113s| 1421 | 1422 |351028 |5439k| 107 | 15 | 473 | 583 | 575 | 473 |1034 | 739 | 24 | 757 | 1.644127e+02 | 2.020000e+02 | 22.86%
113.57/113.62 o 201
113.57/113.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.57/113.62 c o 113s| 1421 | 1422 |351034 |5439k| 107 | 13 | 473 | 583 | 575 | 473 |1034 | 739 | 24 | 757 | 1.644127e+02 | 2.010000e+02 | 22.25%
162.76/162.83 o 197
162.76/162.83 c C 162s| 2295 | 2214 |616301 |6056k| 108 | 417 | 473 | 597 | 592 | 473 |1034 | 739 | 38 | 843 | 1.645457e+02 | 1.970000e+02 | 19.72%
162.86/162.90 o 196
162.86/162.90 c k 162s| 2296 | 2129 |616554 |6002k| 108 | 413 | 473 | 597 | 592 | 473 |1034 | 739 | 38 | 843 | 1.645457e+02 | 1.960000e+02 | 19.12%
323.33/323.44 o 194
323.33/323.44 c C 322s| 6933 | 4174 | 1408k|7574k| 112 | 402 | 473 | 636 | 625 | 473 |1034 | 739 | 77 |1301 | 1.649463e+02 | 1.940000e+02 | 17.61%
336.13/336.22 o 193
336.13/336.22 c C 335s| 7303 | 3967 | 1476k|7417k| 112 | 414 | 473 | 636 | 626 | 473 |1034 | 739 | 77 |1317 | 1.649612e+02 | 1.930000e+02 | 17.00%
425.31/425.42 c 424s| 10000 | 5102 | 1940k|8331k| 112 | 386 | 473 | 646 | 638 | 473 |1034 | 739 | 87 |1440 | 1.650690e+02 | 1.930000e+02 | 16.92%
784.96/785.16 c 782s| 20000 | 8634 | 3692k| 11M| 117 | 125 | 473 | 678 | 548 | 473 |1034 | 739 | 149 |1953 | 1.653378e+02 | 1.930000e+02 | 16.73%
1103.51/1103.71 c 1099s| 30000 | 11708 | 5236k| 13M| 121 | - | 473 | 701 | 462 | 473 |1034 | 739 | 195 |2408 | 1.654621e+02 | 1.930000e+02 | 16.64%
1425.56/1425.82 c 1420s| 40000 | 14188 | 6782k| 16M| 121 | 114 | 473 | 753 | 555 | 473 |1034 | 739 | 269 |2814 | 1.655489e+02 | 1.930000e+02 | 16.58%
1746.61/1746.96 c 1740s| 50000 | 16762 | 8370k| 17M| 121 | 145 | 473 | 782 | 559 | 473 |1034 | 739 | 324 |3191 | 1.656094e+02 | 1.930000e+02 | 16.54%
1797.80/1798.19 c
1797.80/1798.19 c SCIP Status : solving was interrupted [time limit reached]
1797.80/1798.19 c Solving Time (sec) : 1791.00
1797.80/1798.19 c Solving Nodes : 51884
1797.80/1798.19 c Primal Bound : +1.93000000000000e+02 (965 solutions)
1797.80/1798.19 c Dual Bound : +1.65617072719084e+02
1797.80/1798.19 c Gap : 16.53 %
1797.80/1798.19 c NODE 51884
1797.80/1798.19 c DUAL BOUND 165.617
1797.80/1798.19 c PRIMAL BOUND 193
1797.80/1798.19 c GAP 0.165339
1797.80/1798.19 s SATISFIABLE
1797.80/1798.19 v x473 x472 x471 x470 x469 x468 -x467 -x466 -x465 x464 -x463 x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451
1797.80/1798.19 v -x450 x449 x448 x447 x446 x445 x444 x443 -x442 -x441 -x440 x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
1797.80/1798.19 v -x427 -x426 x425 -x424 -x423 x422 x421 x420 -x419 -x418 x417 x416 x415 x414 x413 x412 -x411 x410 -x409 x408 -x407 -x406
1797.80/1798.19 v x405 x404 -x403 -x402 -x401 x400 x399 x398 -x397 -x396 x395 -x394 -x393 x392 -x391 x390 x389 -x388 -x387 x386 -x385 x384 -x383
1797.80/1798.19 v -x382 -x381 -x380 -x379 -x378 x377 x376 -x375 x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 x362 x361
1797.80/1798.19 v -x360 x359 -x358 -x357 x356 -x355 x354 -x353 -x352 -x351 -x350 x349 x348 x347 -x346 -x345 -x344 x343 x342 x341 x340 x339 -x338
1797.80/1798.19 v -x337 x336 -x335 x334 -x333 -x332 x331 -x330 -x329 x328 x327 -x326 x325 x324 -x323 -x322 -x321 -x320 x319 -x318 x317 x316
1797.80/1798.19 v -x315 -x314 x313 x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 x300 -x299 -x298 x297 x296 -x295 x294
1797.80/1798.19 v -x293 x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 x284 x283 -x282 x281 -x280 -x279 x278 -x277 x276 -x275 x274 -x273 -x272 x271
1797.80/1798.19 v -x270 x269 -x268 x267 x266 x265 -x264 x263 x262 x261 -x260 x259 -x258 -x257 x256 -x255 x254 x253 x252 x251 -x250 -x249 -x248
1797.80/1798.19 v -x247 -x246 x245 -x244 -x243 -x242 -x241 -x240 x239 x238 x237 x236 -x235 -x234 x233 -x232 x231 -x230 -x229 x228 -x227 -x226
1797.80/1798.19 v -x225 -x224 -x223 -x222 x221 -x220 x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 x208 -x207 -x206 -x205 -x204
1797.80/1798.19 v -x203 -x202 -x201 -x200 -x199 -x198 x197 x196 x195 -x194 x193 x192 -x191 -x190 -x189 x188 -x187 x186 -x185 -x184 -x183 x182
1797.80/1798.19 v x181 -x180 x179 -x178 -x177 x176 -x175 x174 x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160
1797.80/1798.19 v x159 x158 -x157 -x156 -x155 -x154 x153 x152 -x151 x150 -x149 -x148 -x147 x146 x145 x144 -x143 -x142 x141 x140 -x139 x138
1797.80/1798.19 v -x137 x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 x126 -x125 x124 -x123 -x122 -x121 -x120 x119 x118 -x117 -x116
1797.80/1798.19 v x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 x95 x94 -x93 -x92
1797.80/1798.19 v -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 x75 -x74 x73 x72 -x71 x70 x69 -x68 x67 -x66
1797.80/1798.19 v -x65 -x64 x63 x62 x61 -x60 x59 -x58 -x57 -x56 x55 x54 x53 x52 -x51 x50 x49 -x48 x47 -x46 x45 x44 -x43 x42 x41 -x40 -x39 x38
1797.80/1798.19 v x37 x36 x35 x34 -x33 -x32 -x31 x30 x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 x18 -x17 x16 -x15 x14 -x13 -x12 -x11 -x10
1797.80/1798.19 v -x9 x8 x7 -x6 x5 -x4 x3 -x2 x1
1797.80/1798.19 c SCIP Status : solving was interrupted [time limit reached]
1797.80/1798.19 c Solving Time : 1791.00
1797.80/1798.19 c Original Problem :
1797.80/1798.19 c Problem name : HOME/instance-3731408-1338687857.opb
1797.80/1798.19 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.80/1798.19 c Constraints : 473 initial, 473 maximal
1797.80/1798.19 c Presolved Problem :
1797.80/1798.19 c Problem name : t_HOME/instance-3731408-1338687857.opb
1797.80/1798.19 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.80/1798.19 c Constraints : 559 initial, 788 maximal
1797.80/1798.19 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.80/1798.19 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.80/1798.19 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.80/1798.19 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.80/1798.19 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.80/1798.19 c implics : 0.00 0 0 0 0 0 0 0 0
1797.80/1798.19 c probing : 0.01 0 0 0 0 0 0 0 0
1797.80/1798.19 c knapsack : 0.00 0 0 0 0 0 27 294 511
1797.80/1798.19 c setppc : 0.00 0 0 0 0 0 89 0 0
1797.80/1798.19 c linear : 0.01 0 0 0 0 0 0 0 42
1797.80/1798.19 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.80/1798.19 c root node : - 0 - - 0 - - - -
1797.80/1798.19 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.80/1798.19 c integral : 0 0 0 35208 0 1 101 0 0 70286
1797.80/1798.19 c knapsack : 444 12 205891 0 1 0 158181 516 0 0
1797.80/1798.19 c setppc : 113 12 205891 0 1 0 31339 0 0 0
1797.80/1798.19 c logicor : 2+ 12 42870 0 1 0 1 0 0 0
1797.80/1798.19 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.80/1798.19 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.80/1798.19 c integral : 125.02 0.00 0.00 125.02 0.00
1797.80/1798.19 c knapsack : 1.60 0.01 1.59 0.00 0.00
1797.80/1798.19 c setppc : 0.26 0.00 0.26 0.00 0.00
1797.80/1798.19 c logicor : 0.05 0.00 0.05 0.00 0.00
1797.80/1798.19 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.80/1798.19 c Propagators : Time Calls Cutoffs DomReds
1797.80/1798.19 c rootredcost : 0.05 11 0 0
1797.80/1798.19 c pseudoobj : 1.84 206531 0 0
1797.80/1798.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.80/1798.19 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.80/1798.19 c infeasible LP : 0.04 337 337 337 4.1 0 0.0 0
1797.80/1798.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.80/1798.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.80/1798.19 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.80/1798.19 c applied globally : - - - 337 4.1 - - -
1797.80/1798.19 c applied locally : - - - 0 0.0 - - -
1797.80/1798.19 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.80/1798.19 c cut pool : 0.00 11 - - 377 - (maximal pool size: 1699)
1797.80/1798.19 c redcost : 1.10 65585 0 636635 0 0
1797.80/1798.19 c impliedbounds : 0.00 13 0 0 0 0
1797.80/1798.19 c intobj : 0.00 0 0 0 0 0
1797.80/1798.19 c gomory : 1.80 13 0 0 0 0
1797.80/1798.19 c strongcg : 1.63 13 0 0 0 0
1797.80/1798.19 c cmir : 0.24 10 0 0 733 0
1797.80/1798.19 c flowcover : 0.23 10 0 0 885 0
1797.80/1798.19 c clique : 0.00 1 0 0 0 0
1797.80/1798.19 c zerohalf : 0.00 0 0 0 0 0
1797.80/1798.19 c mcf : 0.00 1 0 0 0 0
1797.80/1798.19 c Pricers : Time Calls Vars
1797.80/1798.19 c problem variables: 0.00 0 0
1797.80/1798.19 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.80/1798.19 c relpscost : 124.99 35208 1 101 0 0 70286
1797.80/1798.19 c pscost : 0.00 0 0 0 0 0 0
1797.80/1798.19 c inference : 0.00 1 0 0 0 0 2
1797.80/1798.19 c mostinf : 0.00 0 0 0 0 0 0
1797.80/1798.19 c leastinf : 0.00 0 0 0 0 0 0
1797.80/1798.19 c fullstrong : 0.00 0 0 0 0 0 0
1797.80/1798.19 c allfullstrong : 0.00 0 0 0 0 0 0
1797.80/1798.19 c random : 0.00 0 0 0 0 0 0
1797.80/1798.19 c Primal Heuristics : Time Calls Found
1797.80/1798.19 c LP solutions : 0.00 - 0
1797.80/1798.19 c pseudo solutions : 0.00 - 0
1797.80/1798.19 c feaspump : 0.00 0 0
1797.80/1798.19 c oneopt : 0.00 11 5
1797.80/1798.19 c crossover : 0.46 11 5
1797.80/1798.19 c guideddiving : 61.45 53 0
1797.80/1798.19 c coefdiving : 63.98 54 111
1797.80/1798.19 c fracdiving : 67.61 63 11
1797.80/1798.19 c linesearchdiving : 79.15 95 44
1797.80/1798.19 c pscostdiving : 95.89 101 197
1797.80/1798.19 c veclendiving : 93.01 120 70
1797.80/1798.19 c objpscostdiving : 195.26 63 463
1797.80/1798.19 c rootsoldiving : 14.42 75 0
1797.80/1798.19 c simplerounding : 0.96 55379 57
1797.80/1798.19 c rounding : 8.50 10952 1
1797.80/1798.19 c shifting : 2.66 3059 1
1797.80/1798.19 c intshifting : 0.00 0 0
1797.80/1798.19 c fixandinfer : 0.00 0 0
1797.80/1798.19 c intdiving : 0.00 0 0
1797.80/1798.19 c actconsdiving : 0.00 0 0
1797.80/1798.19 c octane : 0.00 0 0
1797.80/1798.19 c rens : 0.00 0 0
1797.80/1798.19 c rins : 0.00 0 0
1797.80/1798.19 c localbranching : 0.00 0 0
1797.80/1798.19 c mutation : 0.00 0 0
1797.80/1798.19 c dins : 0.00 0 0
1797.80/1798.19 c LP : Time Calls Iterations Iter/call Iter/sec
1797.80/1798.19 c primal LP : 0.00 0 0 0.00 -
1797.80/1798.19 c dual LP : 960.55 72009 5118144 71.08 5328.35
1797.80/1798.19 c barrier LP : 0.00 0 0 0.00 -
1797.80/1798.19 c diving/probing LP: 656.00 77314 3519758 45.53 5365.48
1797.80/1798.19 c strong branching : 123.37 3215 560453 174.32 4542.86
1797.80/1798.19 c (at root node) : - 41 29731 725.15 -
1797.80/1798.19 c conflict analysis: 0.00 0 0 0.00 -
1797.80/1798.19 c B&B Tree :
1797.80/1798.19 c number of runs : 1
1797.80/1798.19 c nodes : 51884
1797.80/1798.19 c nodes (total) : 51884
1797.80/1798.19 c nodes left : 17084
1797.80/1798.19 c max depth : 121
1797.80/1798.19 c max depth (total): 121
1797.80/1798.19 c backtracks : 8602 (16.6%)
1797.80/1798.19 c delayed cutoffs : 0
1797.80/1798.19 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.80/1798.19 c avg switch length: 6.91
1797.80/1798.19 c switching time : 1.84
1797.80/1798.19 c Solution :
1797.80/1798.19 c Solutions found : 965 (21 improvements)
1797.80/1798.19 c Primal Bound : +1.93000000000000e+02 (in run 1, after 7303 nodes, 334.78 seconds, depth 10, found by <crossover>)
1797.80/1798.19 c Dual Bound : +1.65617072719084e+02
1797.80/1798.19 c Gap : 16.53 %
1797.80/1798.19 c Root Dual Bound : +1.63834856265382e+02
1797.90/1798.22 c Time complete: 1797.92.
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-3731408-1338687857/watcher-3731408-1338687857 -o /tmp/evaluation-result-3731408-1338687857/solver-3731408-1338687857 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731408-1338687857.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 2.00 3/174 24069
/proc/meminfo: memFree=23611472/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=8728 CPUtime=0 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 1541 0 0 0 0 0 0 0 20 0 1 0 334914268 8937472 1494 33554432000 4194304 7823515 140735764870576 140735764736680 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 2182 1495 349 887 0 1292 0
[startup+0.022038 s]
/proc/loadavg: 2.08 2.02 2.00 3/174 24069
/proc/meminfo: memFree=23611472/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=14692 CPUtime=0.01 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 3108 0 0 0 1 0 0 0 20 0 1 0 334914268 15044608 2707 33554432000 4194304 7823515 140735764870576 140735764736680 4402248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 3673 2707 422 887 0 2783 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14692
[startup+0.100277 s]
/proc/loadavg: 2.08 2.02 2.00 3/174 24069
/proc/meminfo: memFree=23611472/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=16088 CPUtime=0.09 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 3631 0 0 0 9 0 0 0 20 0 1 0 334914268 16474112 3224 33554432000 4194304 7823515 140735764870576 140735764736680 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 4022 3224 522 887 0 3132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16088
[startup+0.300236 s]
/proc/loadavg: 2.08 2.02 2.00 3/174 24069
/proc/meminfo: memFree=23611472/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=17328 CPUtime=0.28 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 3924 0 0 0 28 0 0 0 20 0 1 0 334914268 17743872 3517 33554432000 4194304 7823515 140735764870576 140735764736680 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 4332 3517 523 887 0 3442 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17328
[startup+0.700231 s]
/proc/loadavg: 2.08 2.02 2.00 3/174 24069
/proc/meminfo: memFree=23611472/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=19636 CPUtime=0.69 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 4504 0 0 0 68 1 0 0 20 0 1 0 334914268 20107264 4078 33554432000 4194304 7823515 140735764870576 140735764736680 6254603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 4909 4078 559 887 0 4019 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19636
[startup+1.50023 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 24070
/proc/meminfo: memFree=23597568/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=20168 CPUtime=1.49 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 4744 0 0 0 148 1 0 0 20 0 1 0 334914268 20652032 4303 33554432000 4194304 7823515 140735764870576 140735764866328 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 5042 4303 559 887 0 4152 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20168
[startup+3.10027 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 24070
/proc/meminfo: memFree=23595452/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=21708 CPUtime=3.08 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 5137 0 0 0 307 1 0 0 20 0 1 0 334914268 22228992 4696 33554432000 4194304 7823515 140735764870576 140735764865720 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 5427 4696 559 887 0 4537 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21708
[startup+6.30023 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 24070
/proc/meminfo: memFree=23594148/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=23848 CPUtime=6.29 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 5674 0 0 0 627 2 0 0 20 0 1 0 334914268 24420352 5233 33554432000 4194304 7823515 140735764870576 140735764865272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 5962 5233 564 887 0 5072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23848
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 24070
/proc/meminfo: memFree=23591924/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=23848 CPUtime=12.68 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 5674 0 0 0 1265 3 0 0 20 0 1 0 334914268 24420352 5233 33554432000 4194304 7823515 140735764870576 140735764865272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 5962 5233 564 887 0 5072 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23848
[startup+25.5002 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 24070
/proc/meminfo: memFree=23592180/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=23848 CPUtime=25.49 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 5675 0 0 0 2542 7 0 0 20 0 1 0 334914268 24420352 5234 33554432000 4194304 7823515 140735764870576 140735764865272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 5962 5234 565 887 0 5072 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23848
[startup+51.1002 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 24070
/proc/meminfo: memFree=23590676/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=23848 CPUtime=51.07 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 5684 0 0 0 5091 16 0 0 20 0 1 0 334914268 24420352 5578 33554432000 4194304 7823515 140735764870576 140735764866488 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 5962 5578 567 887 0 5072 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23848
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 24070
/proc/meminfo: memFree=23586956/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=24500 CPUtime=102.27 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 10496 0 0 0 10186 41 0 0 20 0 1 0 334914268 25088000 5755 33554432000 4194304 7823515 140735764870576 140735764866008 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 6125 5755 581 887 0 5235 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24500
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 24070
/proc/meminfo: memFree=23587700/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=24580 CPUtime=162.26 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 12177 0 0 0 16158 68 0 0 20 0 1 0 334914268 25169920 5750 33554432000 4194304 7823515 140735764870576 140735764866392 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 6145 5750 581 887 0 5255 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 24580
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24071
/proc/meminfo: memFree=23584724/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=26852 CPUtime=222.24 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 15879 0 0 0 22131 93 0 0 20 0 1 0 334914268 27496448 6348 33554432000 4194304 7823515 140735764870576 140735764864904 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 6713 6348 581 887 0 5823 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 26852
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24071
/proc/meminfo: memFree=23586460/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=26852 CPUtime=282.23 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 15882 0 0 0 28109 114 0 0 20 0 1 0 334914268 27496448 6348 33554432000 4194304 7823515 140735764870576 140735764866488 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 6713 6348 581 887 0 5823 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 26852
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24071
/proc/meminfo: memFree=23586832/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=26444 CPUtime=342.23 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 21894 0 0 0 34083 140 0 0 20 0 1 0 334914268 27078656 6273 33554432000 4194304 7823515 140735764870576 140735764866424 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 6611 6273 581 887 0 5721 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26444
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 24074
/proc/meminfo: memFree=23584892/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=28536 CPUtime=402.22 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 22417 0 0 0 40061 161 0 0 20 0 1 0 334914268 29220864 6796 33554432000 4194304 7823515 140735764870576 140735764866328 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 7134 6796 581 887 0 6244 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 28536
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 24074
/proc/meminfo: memFree=23584960/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=28276 CPUtime=462.21 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 23816 0 0 0 46037 184 0 0 20 0 1 0 334914268 28954624 6731 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 7069 6731 581 887 0 6179 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 28276
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23584960/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=29080 CPUtime=522.2 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 23985 0 0 0 52013 207 0 0 20 0 1 0 334914268 29777920 6900 33554432000 4194304 7823515 140735764870576 140735764866376 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 7270 6900 581 887 0 6380 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 29080
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23584340/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=29532 CPUtime=582.19 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 24098 0 0 0 57986 233 0 0 20 0 1 0 334914268 30240768 7013 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 7383 7013 581 887 0 6493 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 29532
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23820148/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=33928 CPUtime=1122.1 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 25172 0 0 0 111778 432 0 0 20 0 1 0 334914268 34742272 8085 33554432000 4194304 7823515 140735764870576 140735764866024 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 8482 8085 581 887 0 7592 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 33928
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24141
/proc/meminfo: memFree=23820084/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=34228 CPUtime=1182.1 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 25239 0 0 0 117758 452 0 0 20 0 1 0 334914268 35049472 8152 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 8557 8152 581 887 0 7667 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 34228
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24141
/proc/meminfo: memFree=23819588/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=34228 CPUtime=1242.09 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 25239 0 0 0 123733 476 0 0 20 0 1 0 334914268 35049472 8152 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 8557 8152 581 887 0 7667 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 34228
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24141
/proc/meminfo: memFree=23818968/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=34824 CPUtime=1302.08 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 27547 0 0 0 129713 495 0 0 20 0 1 0 334914268 35659776 8302 33554432000 4194304 7823515 140735764870576 140735764866056 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 8706 8302 581 887 0 7816 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 34824
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24141
/proc/meminfo: memFree=23818532/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=35212 CPUtime=1362.06 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 27648 0 0 0 135690 516 0 0 20 0 1 0 334914268 36057088 8402 33554432000 4194304 7823515 140735764870576 140735764865736 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 8803 8402 581 887 0 7913 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 35212
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 24142
/proc/meminfo: memFree=23817788/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=35388 CPUtime=1422.07 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 27702 0 0 0 141665 542 0 0 20 0 1 0 334914268 36237312 8456 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 8847 8456 581 887 0 7957 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 35388
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 24142
/proc/meminfo: memFree=23817664/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=35388 CPUtime=1482.05 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 27702 0 0 0 147637 568 0 0 20 0 1 0 334914268 36237312 8456 33554432000 4194304 7823515 140735764870576 140735764866024 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 8847 8456 581 887 0 7957 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 35388
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 24142
/proc/meminfo: memFree=23814440/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37280 CPUtime=1542.04 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28141 0 0 0 153609 595 0 0 20 0 1 0 334914268 38174720 8895 33554432000 4194304 7823515 140735764870576 140735764866376 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9320 8895 581 887 0 8430 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 37280
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24145
/proc/meminfo: memFree=23813996/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37280 CPUtime=1602.03 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28152 0 0 0 159585 618 0 0 20 0 1 0 334914268 38174720 8906 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9320 8906 581 887 0 8430 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 37280
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24145
/proc/meminfo: memFree=23813444/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37608 CPUtime=1662.02 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28219 0 0 0 165563 639 0 0 20 0 1 0 334914268 38510592 8973 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9402 8973 581 887 0 8512 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 37608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 24145
/proc/meminfo: memFree=23813080/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37608 CPUtime=1722.01 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28272 0 0 0 171539 662 0 0 20 0 1 0 334914268 38510592 9026 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9402 9026 581 887 0 8512 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 37608
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/175 24146
/proc/meminfo: memFree=23812948/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37608 CPUtime=1782 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28288 0 0 0 177516 684 0 0 20 0 1 0 334914268 38510592 9042 33554432000 4194304 7823515 140735764870576 140735764865272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9402 9042 581 887 0 8512 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 37608
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 24146
/proc/meminfo: memFree=23812824/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37984 CPUtime=1791.61 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28350 0 0 0 178473 688 0 0 20 0 1 0 334914268 38895616 9104 33554432000 4194304 7823515 140735764870576 140735764866408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9496 9104 581 887 0 8606 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 37984
[startup+1795.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 24146
/proc/meminfo: memFree=23812824/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37984 CPUtime=1794.8 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28350 0 0 0 178791 689 0 0 20 0 1 0 334914268 38895616 9104 33554432000 4194304 7823515 140735764870576 140735764866264 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9496 9104 581 887 0 8606 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 37984
[startup+1796.7 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 24146
/proc/meminfo: memFree=23812824/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37984 CPUtime=1796.4 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28350 0 0 0 178950 690 0 0 20 0 1 0 334914268 38895616 9104 33554432000 4194304 7823515 140735764870576 140735764866328 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9496 9104 581 887 0 8606 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 37984
[startup+1797.5 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 24146
/proc/meminfo: memFree=23812824/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37984 CPUtime=1797.2 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28350 0 0 0 179030 690 0 0 20 0 1 0 334914268 38895616 9104 33554432000 4194304 7823515 140735764870576 140735764866328 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9496 9104 581 887 0 8606 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 37984
[startup+1797.9 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 24146
/proc/meminfo: memFree=23812824/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37984 CPUtime=1797.6 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28350 0 0 0 179070 690 0 0 20 0 1 0 334914268 38895616 9104 33554432000 4194304 7823515 140735764870576 140735764866328 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9496 9104 581 887 0 8606 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 37984
[startup+1798.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 24146
/proc/meminfo: memFree=23812824/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37984 CPUtime=1797.8 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28350 0 0 0 179090 690 0 0 20 0 1 0 334914268 38895616 9104 33554432000 4194304 7823515 140735764870576 140735764865912 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9496 9104 581 887 0 8606 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 37984
[startup+1798.2 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 24146
/proc/meminfo: memFree=23812824/32873844 swapFree=7112/7112
[pid=24069] ppid=24067 vsize=37984 CPUtime=1797.9 cores=1,3,5,7
/proc/24069/stat : 24069 (pbscip.linux.x8) R 24067 24069 13043 0 -1 4202496 28352 0 0 0 179100 690 0 0 20 0 1 0 334914268 38895616 9106 33554432000 4194304 7823515 140735764870576 140735764865912 4805796 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24069/statm: 9496 9106 583 887 0 8606 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 37984
Child status: 0
Real time (s): 1798.22
CPU time (s): 1797.94
CPU user time (s): 1791.03
CPU system time (s): 6.90795
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 37984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.03
system time used= 6.90795
maximum resident set size= 40524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28355
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= 17
involuntary context switches= 1851
runsolver used 2.50262 second user time and 7.67183 second system time
The end