0.99/1.07 c SCIP version 1.1.0.7
0.99/1.07 c LP-Solver SoPlex 1.4.1
0.99/1.07 c user parameter file <scip.set> not found - using default parameters
0.99/1.07 c read problem <HOME/instance-1869260-1245167272.opb>
0.99/1.07 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
1.19/1.25 c start presolving problem
1.19/1.25 c presolving:
2.09/2.16 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81068 upgd conss, 162136 impls, 0 clqs
3.79/3.81 c (2.5s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.79/3.81 c (2.5s) probing aborted: 100/100 successive totally useless probings
3.79/3.81 c presolving (2 rounds):
3.79/3.81 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.79/3.81 c 162136 implications, 0 cliques
3.79/3.81 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
3.79/3.81 c 81068 constraints of type <logicor>
3.79/3.81 c transformed objective value is always integral (scale: 1)
3.79/3.81 c Presolving Time: 2.36
3.79/3.82 c strange?!, PURESAT with obj
3.79/3.82 c -----------------------------------------------------------------------------------------------
3.79/3.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.79/3.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.82 c limits/memory = c 1620
3.79/3.82 c # maximal time in seconds to run
3.79/3.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.82 c limits/time = c 1791
3.79/3.82 c # frequency for displaying node information lines
3.79/3.82 c # [type: int, range: [-1,2147483647], default: 100]
3.79/3.82 c display/freq = c 10000
3.79/3.82 c -----------------------------------------------------------------------------------------------
3.79/3.82 c start solving problem
3.79/3.82 c
10.49/10.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.53 c 9.1s| 1 | 0 | 1401 | 90M| 0 |1150 |1150 | 81k| 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 | -- | Inf
10.49/10.53 o 0
10.49/10.53 c r 9.1s| 1 | 0 | 1401 | 90M| 0 |1150 |1150 | 81k| 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | 100.00%
10.59/10.69 o -1
10.59/10.69 c R 9.3s| 1 | 0 | 1401 | 90M| 0 |1150 |1150 | 81k| 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | 99.83%
16.50/16.56 c 15.0s| 1 | 0 | 1632 | 90M| 0 |1085 |1150 | 81k| 81k|1150 | 81k| 7 | 0 | 0 |-5.425000e+02 |-1.000000e+00 | 99.82%
23.28/23.38 c 21.8s| 1 | 0 | 1779 | 90M| 0 |1037 |1150 | 81k| 81k|1150 | 81k| 18 | 0 | 0 |-5.185000e+02 |-1.000000e+00 | 99.81%
33.28/33.36 c 31.8s| 1 | 0 | 1953 | 90M| 0 |1006 |1150 | 81k| 81k|1150 | 81k| 33 | 0 | 0 |-5.022500e+02 |-1.000000e+00 | 99.80%
45.46/45.59 c 44.0s| 1 | 0 | 2188 | 90M| 0 | 983 |1150 | 81k| 81k|1150 | 81k| 40 | 0 | 0 |-4.907500e+02 |-1.000000e+00 | 99.80%
58.67/58.71 c 57.1s| 1 | 0 | 2511 | 90M| 0 | 938 |1150 | 81k| 81k|1150 | 81k| 50 | 0 | 0 |-4.682500e+02 |-1.000000e+00 | 99.79%
70.16/70.23 c 68.6s| 1 | 0 | 2602 | 90M| 0 | 913 |1150 | 81k| 81k|1150 | 81k| 58 | 0 | 0 |-4.557500e+02 |-1.000000e+00 | 99.78%
83.45/83.57 c 82.0s| 1 | 0 | 2905 | 90M| 0 | 864 |1150 | 81k| 81k|1150 | 81k| 68 | 0 | 0 |-4.312500e+02 |-1.000000e+00 | 99.77%
97.96/98.00 c 96.4s| 1 | 0 | 3240 | 90M| 0 | 828 |1150 | 81k| 81k|1150 | 81k| 83 | 0 | 0 |-4.132500e+02 |-1.000000e+00 | 99.76%
113.95/114.08 c 112s| 1 | 0 | 3680 | 90M| 0 | 783 |1150 | 81k| 81k|1150 | 81k| 96 | 0 | 0 |-3.907500e+02 |-1.000000e+00 | 99.74%
131.04/131.10 c 129s| 1 | 0 | 4204 | 90M| 0 | 743 |1150 | 81k| 81k|1150 | 81k| 103 | 0 | 0 |-3.707500e+02 |-1.000000e+00 | 99.73%
138.44/138.55 c 137s| 1 | 0 | 4713 | 90M| 0 | 702 |1150 | 81k| 81k|1150 | 81k| 112 | 0 | 0 |-3.502500e+02 |-1.000000e+00 | 99.71%
145.54/145.60 c 144s| 1 | 0 | 5166 | 90M| 0 | 649 |1150 | 81k| 81k|1150 | 81k| 118 | 0 | 0 |-3.237500e+02 |-1.000000e+00 | 99.69%
151.03/151.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.03/151.16 c 149s| 1 | 0 | 5495 | 90M| 0 | 605 |1150 | 81k| 81k|1150 | 81k| 127 | 0 | 0 |-3.017500e+02 |-1.000000e+00 | 99.67%
157.34/157.45 c 156s| 1 | 0 | 5918 | 90M| 0 | 560 |1150 | 81k| 81k|1150 | 81k| 138 | 0 | 0 |-2.792500e+02 |-1.000000e+00 | 99.64%
164.63/164.75 c 163s| 1 | 0 | 6465 | 90M| 0 | 519 |1150 | 81k| 81k|1150 | 81k| 144 | 0 | 0 |-2.587500e+02 |-1.000000e+00 | 99.61%
170.13/170.21 c 168s| 1 | 0 | 6771 | 90M| 0 | 497 |1150 | 81k| 81k|1150 | 81k| 148 | 0 | 0 |-2.477500e+02 |-1.000000e+00 | 99.60%
176.72/176.90 c 175s| 1 | 0 | 7255 | 90M| 0 | 455 |1150 | 81k| 81k|1150 | 81k| 156 | 0 | 0 |-2.267500e+02 |-1.000000e+00 | 99.56%
183.63/183.79 c 182s| 1 | 0 | 7823 | 90M| 0 | 396 |1150 | 81k| 81k|1150 | 81k| 161 | 0 | 0 |-1.972500e+02 |-1.000000e+00 | 99.49%
192.72/192.83 c 191s| 1 | 0 | 8747 | 90M| 0 | 357 |1150 | 81k| 81k|1150 | 81k| 170 | 0 | 0 |-1.785000e+02 |-1.000000e+00 | 99.44%
199.82/199.99 c 198s| 1 | 0 | 9409 | 90M| 0 | 318 |1150 | 81k| 81k|1150 | 81k| 175 | 0 | 0 |-1.590000e+02 |-1.000000e+00 | 99.37%
204.62/204.71 c 203s| 1 | 0 | 9887 | 90M| 0 | 280 |1150 | 81k| 81k|1150 | 81k| 182 | 0 | 0 |-1.400000e+02 |-1.000000e+00 | 99.29%
207.83/207.93 c 206s| 1 | 0 | 10140 | 90M| 0 | 261 |1150 | 81k| 81k|1150 | 81k| 186 | 0 | 0 |-1.295000e+02 |-1.000000e+00 | 99.23%
211.82/211.92 c 210s| 1 | 0 | 10492 | 90M| 0 | 221 |1150 | 81k| 81k|1150 | 81k| 193 | 0 | 0 |-1.095000e+02 |-1.000000e+00 | 99.09%
217.12/217.22 c 215s| 1 | 0 | 11011 | 90M| 0 | 185 |1150 | 81k| 81k|1150 | 81k| 198 | 0 | 0 |-9.250000e+01 |-1.000000e+00 | 98.92%
221.02/221.13 c 219s| 1 | 0 | 11366 | 90M| 0 | 150 |1150 | 81k| 81k|1150 | 81k| 202 | 0 | 0 |-7.600000e+01 |-1.000000e+00 | 98.68%
221.02/221.16 o -2
221.02/221.16 c R 219s| 1 | 0 | 11366 | 90M| 0 | 150 |1150 | 81k| 81k|1150 | 81k| 202 | 0 | 0 |-7.600000e+01 |-2.000000e+00 | 97.37%
225.31/225.41 c 224s| 1 | 0 | 11814 | 90M| 0 | 147 |1150 | 81k| 81k|1150 | 81k| 209 | 0 | 0 |-5.900000e+01 |-2.000000e+00 | 96.61%
227.72/227.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.72/227.89 c 226s| 1 | 0 | 11984 | 90M| 0 | 115 |1150 | 81k| 81k|1150 | 81k| 215 | 0 | 0 |-5.400000e+01 |-2.000000e+00 | 96.30%
227.72/227.89 o -2
227.72/227.89 c r 226s| 1 | 0 | 11984 | 90M| 0 | 115 |1150 | 81k| 81k|1150 | 81k| 215 | 0 | 0 |-5.400000e+01 |-2.000000e+00 | 96.30%
227.82/227.92 o -3
227.82/227.92 c R 226s| 1 | 0 | 11984 | 90M| 0 | 115 |1150 | 81k| 81k|1150 | 81k| 215 | 0 | 0 |-5.400000e+01 |-3.000000e+00 | 94.44%
230.11/230.21 c 228s| 1 | 0 | 12106 | 90M| 0 | 98 |1150 | 81k| 81k|1150 | 81k| 221 | 0 | 0 |-5.000000e+01 |-3.000000e+00 | 94.00%
232.11/232.25 c 230s| 1 | 0 | 12206 | 90M| 0 | 158 |1150 | 81k| 81k|1150 | 81k| 232 | 0 | 0 |-5.000000e+01 |-3.000000e+00 | 94.00%
235.11/235.28 c 233s| 1 | 0 | 12430 | 90M| 0 | 177 |1150 | 81k| 81k|1150 | 81k| 248 | 0 | 0 |-5.000000e+01 |-3.000000e+00 | 94.00%
291.60/291.78 c 290s| 1 | 0 | 12589 | 90M| 0 | 154 |1150 | 81k| 81k|1150 | 81k| 260 | 0 | 0 |-5.000000e+01 |-3.000000e+00 | 94.00%
295.09/295.25 c 293s| 1 | 0 | 12720 | 90M| 0 | 185 |1150 | 81k| 81k|1150 | 81k| 269 | 0 | 0 |-5.000000e+01 |-3.000000e+00 | 94.00%
298.40/298.53 c 297s| 1 | 0 | 12945 | 91M| 0 | 190 |1150 | 81k| 81k|1150 | 81k| 283 | 0 | 0 |-5.000000e+01 |-3.000000e+00 | 94.00%
298.50/298.64 o -33
298.50/298.64 c k 297s| 1 | 0 | 12945 | 91M| 0 | 190 |1150 | 81k| 81k|1150 | 81k| 283 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
300.89/301.06 c 299s| 1 | 0 | 12945 | 91M| 0 | 190 |1150 | 81k| 81k|1150 | 81k| 283 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
314.69/314.80 c 313s| 1 | 0 | 13177 | 91M| 0 | 193 |1150 | 81k| 81k|1150 | 81k| 295 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 34.00%
461.55/461.77 c 459s| 1 | 2 | 13177 | 91M| 0 | 193 |1150 | 81k| 81k|1150 | 81k| 295 | 0 | 33 |-5.000000e+01 |-3.300000e+01 | 34.00%
1159.94/1160.39 o -34
1159.94/1160.39 c c1157s| 15 | 16 | 16019 | 92M| 14 | - |1150 | 81k| 77k|1150 | 81k| 295 | 0 | 370 |-5.000000e+01 |-3.400000e+01 | 32.00%
1446.97/1447.40 o -38
1446.97/1447.40 c p1444s| 28 | 29 | 18465 | 93M| 15 | - |1150 | 81k| 59k|1150 | 81k| 295 | 0 | 461 |-5.000000e+01 |-3.800000e+01 | 24.00%
1446.97/1447.49 o -40
1446.97/1447.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.97/1447.49 c p1444s| 28 | 29 | 18466 | 93M| 15 | - |1150 | 81k| 59k|1150 | 81k| 295 | 0 | 461 |-5.000000e+01 |-4.000000e+01 | 20.00%
1636.21/1636.74 o -42
1636.21/1636.74 c p1633s| 128 | 126 | 34486 | 96M| 19 | - |1150 | 81k| 37k|1150 | 81k| 295 | 0 | 491 |-5.000000e+01 |-4.200000e+01 | 16.00%
1794.37/1794.95 c
1794.37/1794.95 c SCIP Status : solving was interrupted [time limit reached]
1794.37/1794.95 c Solving Time (sec) : 1791.02
1794.37/1794.95 c Solving Nodes : 205
1794.37/1794.95 c Primal Bound : -4.20000000000000e+01 (227 solutions)
1794.37/1794.95 c Dual Bound : -5.00000000000000e+01
1794.37/1794.95 c Gap : 16.00 %
1794.37/1794.99 c NODE 205
1794.37/1794.99 c DUAL BOUND -50
1794.37/1794.99 c PRIMAL BOUND -42
1794.37/1794.99 c GAP 0.16
1794.37/1794.99 s SATISFIABLE
1794.37/1794.99 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1794.37/1794.99 v -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1794.37/1794.99 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78
1794.37/1794.99 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1794.37/1794.99 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1794.37/1794.99 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1794.37/1794.99 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166
1794.37/1794.99 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1794.37/1794.99 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1794.37/1794.99 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1794.37/1794.99 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1794.37/1794.99 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1794.37/1794.99 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292
1794.37/1794.99 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1794.37/1794.99 v -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1794.37/1794.99 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1794.37/1794.99 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1794.37/1794.99 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1794.37/1794.99 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1794.37/1794.99 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438
1794.37/1794.99 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1794.37/1794.99 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1794.37/1794.99 v -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1794.37/1794.99 v -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1794.37/1794.99 v -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543
1794.37/1794.99 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1794.37/1794.99 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1794.37/1794.99 v -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1794.37/1794.99 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 x626 -x627
1794.37/1794.99 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1794.37/1794.99 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1794.37/1794.99 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1794.37/1794.99 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1794.37/1794.99 v x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1794.37/1794.99 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1794.37/1794.99 v -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1794.37/1794.99 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795
1794.37/1794.99 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816
1794.37/1794.99 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1794.37/1794.99 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1794.37/1794.99 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1794.37/1794.99 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1794.37/1794.99 v -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1794.37/1794.99 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1794.37/1794.99 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
1794.37/1794.99 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
1794.37/1794.99 v -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003
1794.37/1794.99 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
1794.37/1794.99 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1794.37/1794.99 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1794.37/1794.99 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1794.37/1794.99 v x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093
1794.37/1794.99 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1794.37/1794.99 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129
1794.37/1794.99 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1794.37/1794.99 v -x1148 -x1149 -x1150
1794.37/1794.99 c SCIP Status : solving was interrupted [time limit reached]
1794.37/1794.99 c Solving Time : 1791.02
1794.37/1794.99 c Original Problem :
1794.37/1794.99 c Problem name : HOME/instance-1869260-1245167272.opb
1794.37/1794.99 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.37/1794.99 c Constraints : 81068 initial, 81068 maximal
1794.37/1794.99 c Presolved Problem :
1794.37/1794.99 c Problem name : t_HOME/instance-1869260-1245167272.opb
1794.37/1794.99 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.37/1794.99 c Constraints : 81068 initial, 81068 maximal
1794.37/1794.99 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.37/1794.99 c trivial : 0.00 0 0 0 0 0 0 0 0
1794.37/1794.99 c dualfix : 0.00 0 0 0 0 0 0 0 0
1794.37/1794.99 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.37/1794.99 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.37/1794.99 c implics : 0.00 0 0 0 0 0 0 0 0
1794.37/1794.99 c probing : 1.53 0 0 0 0 0 0 0 0
1794.37/1794.99 c logicor : 0.21 0 0 0 0 0 0 0 0
1794.37/1794.99 c root node : - 0 - - 0 - - - -
1794.37/1794.99 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.37/1794.99 c integral : 0 0 0 203 0 0 0 0 0 406
1794.37/1794.99 c logicor : 81068 34 566 0 1 0 11065 0 0 0
1794.37/1794.99 c countsols : 0 0 0 0 1 0 0 0 0 0
1794.37/1794.99 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.37/1794.99 c integral : 1174.91 0.00 0.00 1174.91 0.00
1794.37/1794.99 c logicor : 1.74 0.41 1.31 0.00 0.02
1794.37/1794.99 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.37/1794.99 c Propagators : Time Calls Cutoffs DomReds
1794.37/1794.99 c rootredcost : 0.00 4 0 0
1794.37/1794.99 c pseudoobj : 0.10 926 0 0
1794.37/1794.99 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.37/1794.99 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.37/1794.99 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.37/1794.99 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.37/1794.99 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.37/1794.99 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.37/1794.99 c applied globally : - - - 0 0.0 - - -
1794.37/1794.99 c applied locally : - - - 0 0.0 - - -
1794.37/1794.99 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.37/1794.99 c cut pool : 0.00 33 - - 93 - (maximal pool size: 533)
1794.37/1794.99 c redcost : 0.05 236 0 0 0 0
1794.37/1794.99 c impliedbounds : 0.08 34 0 0 0 0
1794.37/1794.99 c intobj : 0.00 0 0 0 0 0
1794.37/1794.99 c gomory : 102.67 34 0 0 16500 0
1794.37/1794.99 c strongcg : 22.13 20 0 0 10000 0
1794.37/1794.99 c cmir : 33.23 10 0 0 0 0
1794.37/1794.99 c flowcover : 35.95 10 0 0 0 0
1794.37/1794.99 c clique : 2.29 34 0 0 307 0
1794.37/1794.99 c zerohalf : 0.00 0 0 0 0 0
1794.37/1794.99 c mcf : 0.14 1 0 0 0 0
1794.37/1794.99 c Pricers : Time Calls Vars
1794.37/1794.99 c problem variables: 0.00 0 0
1794.37/1794.99 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.37/1794.99 c relpscost : 1174.91 203 0 0 0 0 406
1794.37/1794.99 c pscost : 0.00 0 0 0 0 0 0
1794.37/1794.99 c inference : 0.00 1 0 0 0 0 2
1794.37/1794.99 c mostinf : 0.00 0 0 0 0 0 0
1794.37/1794.99 c leastinf : 0.00 0 0 0 0 0 0
1794.37/1794.99 c fullstrong : 0.00 0 0 0 0 0 0
1794.37/1794.99 c allfullstrong : 0.00 0 0 0 0 0 0
1794.37/1794.99 c random : 0.00 0 0 0 0 0 0
1794.37/1794.99 c Primal Heuristics : Time Calls Found
1794.37/1794.99 c LP solutions : 0.00 - 0
1794.37/1794.99 c pseudo solutions : 0.00 - 0
1794.37/1794.99 c crossover : 0.01 0 0
1794.37/1794.99 c intshifting : 0.00 0 0
1794.37/1794.99 c oneopt : 0.12 4 1
1794.37/1794.99 c rootsoldiving : 2.57 1 9
1794.37/1794.99 c coefdiving : 5.07 2 21
1794.37/1794.99 c pscostdiving : 5.63 2 29
1794.37/1794.99 c fracdiving : 8.40 2 11
1794.37/1794.99 c veclendiving : 22.52 2 11
1794.37/1794.99 c linesearchdiving : 3.91 2 12
1794.37/1794.99 c guideddiving : 6.65 2 7
1794.37/1794.99 c simplerounding : 0.62 237 90
1794.37/1794.99 c rounding : 4.52 237 3
1794.37/1794.99 c shifting : 2.86 52 7
1794.37/1794.99 c fixandinfer : 0.00 0 0
1794.37/1794.99 c feaspump : 0.00 0 0
1794.37/1794.99 c intdiving : 0.00 0 0
1794.37/1794.99 c actconsdiving : 0.00 0 0
1794.37/1794.99 c objpscostdiving : 7.04 2 25
1794.37/1794.99 c octane : 0.00 0 0
1794.37/1794.99 c rens : 2.24 1 1
1794.37/1794.99 c rins : 0.00 0 0
1794.37/1794.99 c localbranching : 0.00 0 0
1794.37/1794.99 c mutation : 0.00 0 0
1794.37/1794.99 c dins : 0.00 0 0
1794.37/1794.99 c LP : Time Calls Iterations Iter/call Iter/sec
1794.37/1794.99 c primal LP : 0.27 0 0 0.00 0.00
1794.37/1794.99 c dual LP : 336.44 239 42183 176.50 125.38
1794.37/1794.99 c barrier LP : 0.00 0 0 0.00 -
1794.37/1794.99 c diving/probing LP: 53.54 416 5682 13.66 106.13
1794.37/1794.99 c strong branching : 1174.87 537 137807 256.62 117.30
1794.37/1794.99 c (at root node) : - 33 16477 499.30 -
1794.37/1794.99 c conflict analysis: 0.00 0 0 0.00 -
1794.37/1794.99 c B&B Tree :
1794.37/1794.99 c number of runs : 1
1794.37/1794.99 c nodes : 205
1794.37/1794.99 c nodes (total) : 205
1794.37/1794.99 c nodes left : 201
1794.37/1794.99 c max depth : 19
1794.37/1794.99 c max depth (total): 19
1794.37/1794.99 c backtracks : 16 (7.8%)
1794.37/1794.99 c delayed cutoffs : 0
1794.37/1794.99 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.37/1794.99 c avg switch length: 2.27
1794.37/1794.99 c switching time : 0.59
1794.37/1794.99 c Solution :
1794.37/1794.99 c Solutions found : 227 (10 improvements)
1794.37/1794.99 c Primal Bound : -4.20000000000000e+01 (in run 1, after 128 nodes, 1632.99 seconds, depth 31, found by <pscostdiving>)
1794.37/1794.99 c Dual Bound : -5.00000000000000e+01
1794.37/1794.99 c Gap : 16.00 %
1794.37/1794.99 c Root Dual Bound : -5.00000000000000e+01
1794.78/1795.32 c Time complete: 1794.8.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869260-1245167272/watcher-1869260-1245167272 -o /tmp/evaluation-result-1869260-1245167272/solver-1869260-1245167272 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869260-1245167272.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4950
/proc/meminfo: memFree=1536000/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=6100 CPUtime=0
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 554 0 0 0 0 0 0 0 20 0 1 0 184326933 6246400 536 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/4950/statm: 1525 547 325 886 0 635 0
[startup+0.101775 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4950
/proc/meminfo: memFree=1536000/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=13036 CPUtime=0.09
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 2577 0 0 0 9 0 0 0 20 0 1 0 184326933 13348864 2559 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/4950/statm: 3259 2559 354 886 0 2369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13036
[startup+0.201782 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4950
/proc/meminfo: memFree=1536000/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=15412 CPUtime=0.19
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 3194 0 0 0 18 1 0 0 21 0 1 0 184326933 15781888 3176 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4950/statm: 3853 3176 354 886 0 2963 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15412
[startup+0.301792 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4950
/proc/meminfo: memFree=1536000/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=18772 CPUtime=0.29
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 3998 0 0 0 28 1 0 0 22 0 1 0 184326933 19222528 3980 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 1 0 0
/proc/4950/statm: 4693 3980 354 886 0 3803 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18772
[startup+0.701832 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4950
/proc/meminfo: memFree=1536000/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=28576 CPUtime=0.69
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 6452 0 0 0 67 2 0 0 25 0 1 0 184326933 29261824 6434 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/4950/statm: 7144 6434 354 886 0 6254 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28576
[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1493688/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=89036 CPUtime=1.49
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 21515 0 0 0 138 11 0 0 25 0 1 0 184326933 91172864 21143 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 22259 21143 417 886 0 21369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89036
[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1417784/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=124408 CPUtime=3.09
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 31863 0 0 0 281 28 0 0 25 0 1 0 184326933 127393792 29886 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 31102 29886 437 886 0 30212 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 124408
[startup+6.3014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1359288/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=200812 CPUtime=6.29
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 50240 0 0 0 593 36 0 0 25 0 1 0 184326933 205631488 46241 1992294400 4194304 7823515 548682068736 18446744073709551615 6110801 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 50203 46241 506 886 0 49313 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 200812
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1328824/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=226704 CPUtime=12.68
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 57302 0 0 0 1227 41 0 0 25 0 1 0 184326933 232144896 52154 1992294400 4194304 7823515 548682068736 18446744073709551615 5965377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 56676 52154 526 886 0 55786 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 226704
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1320504/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=231204 CPUtime=25.48
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 59751 0 0 0 2498 50 0 0 25 0 1 0 184326933 236752896 54248 1992294400 4194304 7823515 548682068736 18446744073709551615 5965566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 57801 54248 547 886 0 56911 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 231204
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1317752/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=236276 CPUtime=51.07
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 60470 0 0 0 5055 52 0 0 25 0 1 0 184326933 241946624 54967 1992294400 4194304 7823515 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 59069 54967 547 886 0 58179 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 236276
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1315192/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=236972 CPUtime=102.25
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 61092 0 0 0 10170 55 0 0 25 0 1 0 184326933 242659328 55589 1992294400 4194304 7823515 548682068736 18446744073709551615 5575793 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 59243 55589 548 886 0 58353 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 236972
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1314424/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=236972 CPUtime=162.24
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 61274 0 0 0 16164 60 0 0 25 0 1 0 184326933 242659328 55771 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 59243 55771 548 886 0 58353 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 236972
[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4951
/proc/meminfo: memFree=1313656/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=236972 CPUtime=222.22
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 61499 0 0 0 22154 68 0 0 25 0 1 0 184326933 242659328 55958 1992294400 4194304 7823515 548682068736 18446744073709551615 6236715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 59243 55958 548 886 0 58353 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 236972
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4953
/proc/meminfo: memFree=1313336/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=236972 CPUtime=282.2
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 61545 0 0 0 28140 80 0 0 25 0 1 0 184326933 242659328 56004 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 59243 56004 548 886 0 58353 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 236972
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4953
/proc/meminfo: memFree=1259576/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=342.18
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74986 0 0 0 34112 106 0 0 25 0 1 0 184326933 294690816 69445 1992294400 4194304 7823515 548682068736 18446744073709551615 6151228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69445 570 886 0 71056 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 287784
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4953
/proc/meminfo: memFree=1259512/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=402.17
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74986 0 0 0 40106 111 0 0 25 0 1 0 184326933 294690816 69445 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69445 570 886 0 71056 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 287784
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4953
/proc/meminfo: memFree=1259512/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=462.14
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74986 0 0 0 46098 116 0 0 25 0 1 0 184326933 294690816 69445 1992294400 4194304 7823515 548682068736 18446744073709551615 5924546 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69445 570 886 0 71056 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 287784
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4953
/proc/meminfo: memFree=1259448/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=522.13
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74986 0 0 0 52091 122 0 0 25 0 1 0 184326933 294690816 69445 1992294400 4194304 7823515 548682068736 18446744073709551615 6211327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69445 570 886 0 71056 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 287784
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4953
/proc/meminfo: memFree=1259448/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=582.12
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74986 0 0 0 58084 128 0 0 25 0 1 0 184326933 294690816 69445 1992294400 4194304 7823515 548682068736 18446744073709551615 5924546 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69445 570 886 0 71056 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 287784
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4953
/proc/meminfo: memFree=1259448/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=642.09
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74986 0 0 0 64077 132 0 0 25 0 1 0 184326933 294690816 69445 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69445 570 886 0 71056 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 287784
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1259384/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1121.95
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74987 0 0 0 112016 179 0 0 25 0 1 0 184326933 294690816 69446 1992294400 4194304 7823515 548682068736 18446744073709551615 6205847 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69446 571 886 0 71056 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 287784
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259448/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1181.95
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74987 0 0 0 118011 184 0 0 25 0 1 0 184326933 294690816 69446 1992294400 4194304 7823515 548682068736 18446744073709551615 5924519 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69446 571 886 0 71056 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 287784
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259384/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1241.92
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74987 0 0 0 124004 188 0 0 25 0 1 0 184326933 294690816 69446 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69446 571 886 0 71056 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 287784
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259320/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1301.91
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74987 0 0 0 129997 194 0 0 25 0 1 0 184326933 294690816 69446 1992294400 4194304 7823515 548682068736 18446744073709551615 6211625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69446 571 886 0 71056 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 287784
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259256/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1361.9
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74987 0 0 0 135991 199 0 0 25 0 1 0 184326933 294690816 69446 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69446 571 886 0 71056 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 287784
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259192/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1421.88
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74987 0 0 0 141985 203 0 0 25 0 1 0 184326933 294690816 69446 1992294400 4194304 7823515 548682068736 18446744073709551615 6211638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69446 571 886 0 71056 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 287784
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259128/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1481.86
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 74988 0 0 0 147976 210 0 0 25 0 1 0 184326933 294690816 69447 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69447 571 886 0 71056 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 287784
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259064/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1541.85
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75005 0 0 0 153970 215 0 0 25 0 1 0 184326933 294690816 69448 1992294400 4194304 7823515 548682068736 18446744073709551615 6211327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69448 571 886 0 71056 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 287784
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259128/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1601.82
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75006 0 0 0 159963 219 0 0 25 0 1 0 184326933 294690816 69449 1992294400 4194304 7823515 548682068736 18446744073709551615 6110625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69449 571 886 0 71056 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 287784
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259128/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1661.81
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75006 0 0 0 165956 225 0 0 25 0 1 0 184326933 294690816 69449 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69449 571 886 0 71056 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 287784
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259064/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1721.79
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75006 0 0 0 171949 230 0 0 25 0 1 0 184326933 294690816 69449 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69449 571 886 0 71056 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 287784
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259192/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1781.77
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75009 0 0 0 177942 235 0 0 25 0 1 0 184326933 294690816 69452 1992294400 4194304 7823515 548682068736 18446744073709551615 6210987 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69452 571 886 0 71056 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 287784
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259192/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1785.07
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75009 0 0 0 178272 235 0 0 25 0 1 0 184326933 294690816 69452 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69452 571 886 0 71056 0
Current children cumulated CPU time (s) 1785.07
Current children cumulated vsize (KiB) 287784
[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259192/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1791.47
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75009 0 0 0 178911 236 0 0 25 0 1 0 184326933 294690816 69452 1992294400 4194304 7823515 548682068736 18446744073709551615 5994299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69452 571 886 0 71056 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 287784
[startup+1793.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259192/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1793.07
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75009 0 0 0 179071 236 0 0 25 0 1 0 184326933 294690816 69452 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69452 571 886 0 71056 0
Current children cumulated CPU time (s) 1793.07
Current children cumulated vsize (KiB) 287784
[startup+1794.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259192/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1793.87
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75009 0 0 0 179151 236 0 0 25 0 1 0 184326933 294690816 69452 1992294400 4194304 7823515 548682068736 18446744073709551615 6211224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69452 571 886 0 71056 0
Current children cumulated CPU time (s) 1793.87
Current children cumulated vsize (KiB) 287784
[startup+1794.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259192/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1794.27
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75009 0 0 0 179191 236 0 0 25 0 1 0 184326933 294690816 69452 1992294400 4194304 7823515 548682068736 18446744073709551615 6212321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69452 571 886 0 71056 0
Current children cumulated CPU time (s) 1794.27
Current children cumulated vsize (KiB) 287784
[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259128/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=287784 CPUtime=1794.67
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75011 0 0 0 179231 236 0 0 18 0 1 0 184326933 294690816 69454 1992294400 4194304 7823515 548682068736 18446744073709551615 5100686 0 0 4096 0 0 0 0 17 1 0 0
/proc/4950/statm: 71946 69454 573 886 0 71056 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 287784
[startup+1795.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4959
/proc/meminfo: memFree=1259128/2055920 swapFree=4192812/4192956
[pid=4950] ppid=4948 vsize=165592 CPUtime=1794.78
/proc/4950/stat : 4950 (pbscip.linux.x8) R 4948 4950 4628 0 -1 4194304 75011 0 0 0 179239 239 0 0 18 0 1 0 184326933 169566208 30384 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4950/statm: 41398 30384 573 886 0 40508 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 165592
Child status: 0
Real time (s): 1795.33
CPU time (s): 1794.81
CPU user time (s): 1792.39
CPU system time (s): 2.41163
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 287784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.39
system time used= 2.41163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75014
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= 8
involuntary context switches= 1887
runsolver used 1.79273 second user time and 4.74728 second system time
The end
Begin job on node27 at 2009-06-16 17:47:53
IDJOB=1869260
IDBENCH=2261
IDSOLVER=683
FILE ID=node27/1869260-1245167272
PBS_JOBID= 9363812
Free space on /tmp= 66288 MiB
SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869260-1245167272/watcher-1869260-1245167272 -o /tmp/evaluation-result-1869260-1245167272/solver-1869260-1245167272 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869260-1245167272.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 29f577041bedcbf69a98210424b233be
RANDOM SEED=624624340
node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5521.40
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1536416 kB
Buffers: 55024 kB
Cached: 385412 kB
SwapCached: 0 kB
Active: 72700 kB
Inactive: 382140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1536416 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11744 kB
Writeback: 0 kB
Mapped: 24208 kB
Slab: 50548 kB
Committed_AS: 155240 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66276 MiB
End job on node27 at 2009-06-16 18:17:48