0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2692327-1277926298.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.13 o 137244
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.372440e+05
0.09/0.13 c presolving:
0.09/0.14 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.15 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.19/0.21 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (3 rounds):
0.19/0.21 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 2707 implications, 0 cliques
0.19/0.21 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.21 c 2707 constraints of type <indicator>
0.19/0.21 c 2707 constraints of type <linear>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.15
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.97
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 3420
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c t 0.2s| 1 | 0 | 0 | - | 19M| 0 | 0 |5645 |5414 |5645 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 22 | - | 19M| 0 | 0 |5645 |5414 |5645 | 22 | 22 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 43 | - | 19M| 0 | 7 |5645 |5414 |5645 | 53 | 53 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 65 | - | 19M| 0 | 19 |5645 |5414 |5645 | 89 | 89 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 85 | - | 19M| 0 | 30 |5645 |5414 |5645 | 113 | 113 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 98 | - | 19M| 0 | 32 |5645 |5414 |5645 | 127 | 127 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 106 | - | 19M| 0 | 32 |5645 |5414 |5645 | 137 | 137 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
0.39/0.45 c 0.4s| 1 | 2 | 185 | - | 19M| 0 | 32 |5645 |5414 |5645 | 137 | 137 | 0 | 32 | 0.000000e+00 | 1.372440e+05 | Inf
33.79/33.83 c 33.5s| 10000 | 10001 | 54669 | 5.5 | 52M| 133 | 0 |5645 |5414 |5645 | 212 | 12k| 0 |1730 | 0.000000e+00 | 1.372440e+05 | Inf
57.29/57.36 c 56.9s| 20000 | 20001 | 82371 | 4.1 | 74M| 155 | 0 |5645 |5414 |5645 | 212 | 17k| 0 |1747 | 0.000000e+00 | 1.372440e+05 | Inf
79.99/80.03 c 79.3s| 30000 | 30001 |102351 | 3.4 | 96M| 169 | 0 |5645 |5414 |5645 | 193 | 21k| 0 |1855 | 0.000000e+00 | 1.372440e+05 | Inf
102.89/102.92 c 102s| 40000 | 40001 |130855 | 3.3 | 117M| 169 | 0 |5645 |5414 |5645 | 191 | 27k| 0 |2115 | 0.000000e+00 | 1.372440e+05 | Inf
126.69/126.76 c 126s| 50000 | 50001 |157188 | 3.1 | 139M| 169 | 0 |5645 |5414 |5645 | 203 | 33k| 0 |2370 | 0.000000e+00 | 1.372440e+05 | Inf
150.49/150.52 c 149s| 60000 | 60001 |182709 | 3.0 | 161M| 169 | 0 |5645 |5414 |5645 | 201 | 38k| 0 |2642 | 0.000000e+00 | 1.372440e+05 | Inf
173.40/173.47 c 172s| 70000 | 70001 |204359 | 2.9 | 182M| 169 | 0 |5645 |5414 |5645 | 172 | 43k| 0 |2821 | 0.000000e+00 | 1.372440e+05 | Inf
194.00/194.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.00/194.09 c 192s| 80000 | 80001 |220951 | 2.8 | 204M| 181 | 0 |5645 |5414 |5645 | 197 | 47k| 0 |2966 | 0.000000e+00 | 1.372440e+05 | Inf
214.89/214.92 c 213s| 90000 | 90001 |242564 | 2.7 | 226M| 181 | 0 |5645 |5414 |5645 | 184 | 53k| 0 |3225 | 0.000000e+00 | 1.372440e+05 | Inf
235.20/235.23 c 233s|100000 |100001 |261118 | 2.6 | 247M| 181 | 0 |5645 |5414 |5645 | 208 | 58k| 0 |3380 | 0.000000e+00 | 1.372440e+05 | Inf
254.19/254.25 o 587
254.19/254.25 c * 252s|109166 |101241 |278543 | 2.6 | 252M| 181 | - |5645 |5414 |5645 | 180 | 63k| 0 |3548 | 0.000000e+00 | 5.870000e+02 | Inf
256.50/256.52 c 254s|110000 |102063 |280833 | 2.6 | 255M| 181 | 0 |5645 |5444 |5645 | 214 | 63k| 30 |3554 | 0.000000e+00 | 5.870000e+02 | Inf
260.60/260.61 o 580
260.60/260.61 c * 258s|111374 |102993 |285717 | 2.6 | 258M| 181 | - |5645 |5503 |5645 | 210 | 65k| 89 |3591 | 0.000000e+00 | 5.800000e+02 | Inf
278.89/279.00 o 561
278.89/279.00 c * 277s|117142 |107088 |312317 | 2.7 | 272M| 181 | - |5645 |5974 |5645 | 224 | 75k| 560 |3755 | 0.000000e+00 | 5.610000e+02 | Inf
279.41/279.41 o 560
279.41/279.41 c * 277s|117265 |107127 |312820 | 2.7 | 272M| 181 | - |5645 |5977 |5645 | 248 | 75k| 563 |3763 | 0.000000e+00 | 5.600000e+02 | Inf
288.29/288.36 c 286s|120000 |109713 |328102 | 2.7 | 279M| 181 | 4 |5645 |6206 |5645 | 176 | 80k| 799 |3858 | 0.000000e+00 | 5.600000e+02 | Inf
318.40/318.47 c 316s|130000 |119523 |380831 | 2.9 | 304M| 181 | 0 |5645 |6226 |5645 | 163 | 96k|1118 |4178 | 0.000000e+00 | 5.600000e+02 | Inf
347.90/347.95 c 345s|140000 |129350 |423591 | 3.0 | 329M| 181 | 0 |5645 |6083 |5645 | 160 | 110k|1399 |4433 | 0.000000e+00 | 5.600000e+02 | Inf
377.50/377.51 o 543
377.50/377.51 c * 375s|149357 |137048 |475659 | 3.2 | 349M| 181 | - |5645 |5846 |5645 | 221 | 122k|1555 |4715 | 0.000000e+00 | 5.430000e+02 | Inf
377.50/377.52 o 531
377.50/377.52 c * 375s|149358 |135709 |475659 | 3.2 | 347M| 181 | - |5645 |5846 |5645 | 221 | 122k|1555 |4715 | 0.000000e+00 | 5.310000e+02 | Inf
379.70/379.72 c 377s|150000 |136341 |479992 | 3.2 | 348M| 181 | 0 |5645 |5831 |5645 | 194 | 123k|1573 |4756 | 0.000000e+00 | 5.310000e+02 | Inf
414.50/414.53 c 411s|160000 |146192 |545756 | 3.4 | 378M| 181 | 0 |5645 |5908 |5645 | 170 | 138k|2013 |5041 | 0.000000e+00 | 5.310000e+02 | Inf
444.80/444.80 o 524
444.80/444.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.80/444.80 c * 441s|168441 |153592 |609244 | 3.6 | 400M| 181 | - |5645 |5754 |5645 | 185 | 153k|2631 |5415 | 0.000000e+00 | 5.240000e+02 | Inf
450.30/450.32 c 447s|170000 |155057 |621074 | 3.7 | 405M| 181 | 4 |5645 |5746 |5645 | 185 | 156k|2788 |5448 | 0.000000e+00 | 5.240000e+02 | Inf
455.41/455.45 o 501
455.41/455.45 c * 452s|171419 |153188 |631111 | 3.7 | 403M| 181 | - |5645 |5843 |5645 | 226 | 160k|3048 |5517 | 0.000000e+00 | 5.010000e+02 | Inf
465.80/465.84 o 500
465.80/465.84 c * 462s|174297 |155641 |651623 | 3.7 | 413M| 181 | - |5645 |5872 |5645 | 193 | 164k|3557 |5553 | 0.000000e+00 | 5.000000e+02 | Inf
486.90/486.93 c 483s|180000 |160726 |697793 | 3.9 | 431M| 181 | 0 |5645 |6424 |5645 | 185 | 174k|5065 |5714 | 0.000000e+00 | 5.000000e+02 | Inf
488.20/488.23 o 491
488.20/488.23 c * 484s|180333 |159586 |700941 | 3.9 | 428M| 181 | - |5645 |6423 |5645 | 167 | 175k|5175 |5726 | 0.000000e+00 | 4.910000e+02 | Inf
488.20/488.24 o 489
488.20/488.24 c * 484s|180334 |159296 |700941 | 3.9 | 427M| 181 | - |5645 |6423 |5645 | 167 | 175k|5175 |5726 | 0.000000e+00 | 4.890000e+02 | Inf
493.91/493.94 o 488
493.91/493.94 c * 490s|181839 |160474 |713836 | 3.9 | 431M| 181 | - |5645 |6176 |5645 | 171 | 177k|5621 |5743 | 0.000000e+00 | 4.880000e+02 | Inf
514.61/514.67 o 481
514.61/514.67 c * 511s|187456 |164300 |762758 | 4.1 | 443M| 181 | - |5645 |5923 |5645 | 169 | 188k|6582 |5986 | 0.000000e+00 | 4.810000e+02 | Inf
524.10/524.13 c 520s|190000 |166741 |784596 | 4.1 | 450M| 181 | 0 |5645 |5854 |5645 | 230 | 192k|6793 |6090 | 0.000000e+00 | 4.810000e+02 | Inf
529.60/529.62 o 476
529.60/529.62 c * 525s|191551 |167225 |794657 | 4.1 | 453M| 181 | - |5645 |5770 |5645 | 180 | 195k|6900 |6117 | 0.000000e+00 | 4.760000e+02 | Inf
545.30/545.36 o 465
545.30/545.36 c * 541s|195563 |168276 |828575 | 4.2 | 458M| 181 | - |5645 |6078 |5645 | 200 | 202k|8145 |6203 | 0.000000e+00 | 4.650000e+02 | Inf
549.81/549.84 o 462
549.81/549.84 c * 545s|196833 |168840 |835355 | 4.2 | 460M| 181 | - |5645 |5911 |5645 | 230 | 204k|8245 |6254 | 0.000000e+00 | 4.620000e+02 | Inf
553.00/553.09 o 451
553.00/553.09 c * 549s|197654 |166967 |841332 | 4.3 | 455M| 181 | - |5645 |5893 |5645 | 180 | 206k|8389 |6270 | 0.000000e+00 | 4.510000e+02 | Inf
553.10/553.10 o 440
553.10/553.10 c * 549s|197655 |164100 |841332 | 4.3 | 446M| 181 | - |5645 |5893 |5645 | 180 | 206k|8389 |6270 | 0.000000e+00 | 4.400000e+02 | Inf
558.81/558.85 o 429
558.81/558.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.81/558.85 c * 554s|199026 |162311 |855096 | 4.3 | 440M| 181 | - |5645 |6002 |5645 | 177 | 208k|8692 |6299 | 0.000000e+00 | 4.290000e+02 | Inf
558.90/558.94 o 426
558.90/558.94 c * 554s|199043 |161489 |855305 | 4.3 | 437M| 181 | - |5645 |6006 |5645 | 182 | 208k|8696 |6299 | 0.000000e+00 | 4.260000e+02 | Inf
558.90/558.95 o 425
558.90/558.95 c * 554s|199044 |161189 |855305 | 4.3 | 436M| 181 | - |5645 |6006 |5645 | 182 | 208k|8696 |6299 | 0.000000e+00 | 4.250000e+02 | Inf
562.50/562.54 c 558s|200000 |162103 |862138 | 4.3 | 440M| 181 | 0 |5645 |6001 |5645 | 164 | 210k|8786 |6318 | 0.000000e+00 | 4.250000e+02 | Inf
568.80/568.85 o 406
568.80/568.85 c * 564s|201565 |157318 |876217 | 4.3 | 426M| 181 | - |5645 |6213 |5645 | 176 | 214k|9311 |6379 | 0.000000e+00 | 4.060000e+02 | Inf
578.40/578.43 o 402
578.40/578.43 c * 574s|204042 |158254 |895221 | 4.4 | 429M| 181 | - |5645 |6042 |5645 | 191 | 218k|9635 |6438 | 0.000000e+00 | 4.020000e+02 | Inf
579.50/579.55 o 395
579.50/579.55 c * 575s|204276 |156196 |897733 | 4.4 | 425M| 181 | - |5645 |6105 |5645 | 189 | 219k|9713 |6438 | 0.000000e+00 | 3.950000e+02 | Inf
594.11/594.10 o 389
594.11/594.10 c * 589s|208070 |157238 |927269 | 4.5 | 432M| 181 | - |5645 |6135 |5645 | 196 | 227k| 10k|6548 | 0.000000e+00 | 3.890000e+02 | Inf
594.11/594.11 o 388
594.11/594.11 c * 589s|208071 |156891 |927269 | 4.5 | 431M| 181 | - |5645 |6135 |5645 | 196 | 227k| 10k|6548 | 0.000000e+00 | 3.880000e+02 | Inf
599.41/599.50 o 376
599.41/599.50 c * 595s|209414 |153194 |938782 | 4.5 | 423M| 181 | - |5645 |6154 |5645 | 179 | 230k| 10k|6568 | 0.000000e+00 | 3.760000e+02 | Inf
602.01/602.04 c 597s|210000 |153704 |942827 | 4.5 | 426M| 181 | 0 |5645 |6065 |5645 | 210 | 232k| 11k|6584 | 0.000000e+00 | 3.760000e+02 | Inf
609.50/609.59 o 371
609.50/609.59 c * 605s|211822 |153284 |958431 | 4.5 | 429M| 181 | - |5645 |6093 |5645 | 179 | 237k| 11k|6643 | 0.000000e+00 | 3.710000e+02 | Inf
609.60/609.60 o 369
609.60/609.60 c * 605s|211823 |152427 |958431 | 4.5 | 426M| 181 | - |5645 |6093 |5645 | 179 | 237k| 11k|6643 | 0.000000e+00 | 3.690000e+02 | Inf
612.00/612.09 o 367
612.00/612.09 c * 607s|212485 |152087 |963655 | 4.5 | 427M| 181 | - |5645 |6265 |5645 | 180 | 239k| 11k|6646 | 0.000000e+00 | 3.670000e+02 | Inf
612.51/612.60 o 361
612.51/612.60 c * 608s|212585 |149640 |964807 | 4.5 | 422M| 181 | - |5645 |6256 |5645 | 176 | 239k| 11k|6646 | 0.000000e+00 | 3.610000e+02 | Inf
612.61/612.68 o 340
612.61/612.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.61/612.68 c * 608s|212592 |140372 |964982 | 4.5 | 398M| 181 | - |5645 |6252 |5645 | 193 | 239k| 11k|6646 | 0.000000e+00 | 3.400000e+02 | Inf
617.70/617.70 o 338
617.70/617.70 c * 613s|213700 |140334 |976302 | 4.6 | 401M| 181 | - |5645 |6406 |5645 | 176 | 242k| 12k|6689 | 0.000000e+00 | 3.380000e+02 | Inf
617.70/617.71 o 332
617.70/617.71 c * 613s|213701 |137387 |976302 | 4.6 | 393M| 181 | - |5645 |6406 |5645 | 176 | 242k| 12k|6689 | 0.000000e+00 | 3.320000e+02 | Inf
620.50/620.54 o 325
620.50/620.54 c * 615s|214332 |134353 |983130 | 4.6 | 385M| 181 | - |5645 |6542 |5645 | 180 | 243k| 12k|6699 | 0.000000e+00 | 3.250000e+02 | Inf
620.50/620.56 o 319
620.50/620.56 c * 616s|214333 |131223 |983130 | 4.6 | 377M| 181 | - |5645 |6542 |5645 | 180 | 243k| 12k|6699 | 0.000000e+00 | 3.190000e+02 | Inf
621.10/621.11 o 317
621.10/621.11 c * 616s|214442 |130298 |984364 | 4.6 | 374M| 181 | - |5645 |6561 |5645 | 181 | 243k| 12k|6700 | 0.000000e+00 | 3.170000e+02 | Inf
621.10/621.12 o 311
621.10/621.12 c * 616s|214443 |127256 |984364 | 4.6 | 366M| 181 | - |5645 |6561 |5645 | 181 | 243k| 12k|6700 | 0.000000e+00 | 3.110000e+02 | Inf
627.90/627.92 o 301
627.90/627.92 c * 623s|216012 |123276 |997062 | 4.6 | 360M| 181 | - |5645 |6424 |5645 | 188 | 247k| 13k|6748 | 0.000000e+00 | 3.010000e+02 | Inf
627.90/627.93 o 295
627.90/627.93 c * 623s|216013 |119975 |997062 | 4.6 | 351M| 181 | - |5645 |6424 |5645 | 188 | 247k| 13k|6748 | 0.000000e+00 | 2.950000e+02 | Inf
628.01/628.01 o 289
628.01/628.01 c * 623s|216023 |116715 |997248 | 4.6 | 343M| 181 | - |5645 |6421 |5645 | 197 | 247k| 13k|6748 | 0.000000e+00 | 2.890000e+02 | Inf
628.01/628.03 o 283
628.01/628.03 c * 623s|216024 |113115 |997248 | 4.6 | 333M| 181 | - |5645 |6421 |5645 | 197 | 247k| 13k|6748 | 0.000000e+00 | 2.830000e+02 | Inf
628.31/628.31 o 278
628.31/628.31 c * 623s|216074 |110338 |997895 | 4.6 | 327M| 181 | - |5645 |6447 |5645 | 191 | 247k| 13k|6748 | 0.000000e+00 | 2.780000e+02 | Inf
628.31/628.33 o 272
628.31/628.33 c * 623s|216075 |106892 |997895 | 4.6 | 318M| 181 | - |5645 |6447 |5645 | 191 | 247k| 13k|6748 | 0.000000e+00 | 2.720000e+02 | Inf
634.61/634.60 o 266
634.61/634.60 c * 629s|217481 |104453 | 1011k| 4.6 | 315M| 181 | - |5645 |6584 |5645 | 179 | 251k| 13k|6772 | 0.000000e+00 | 2.660000e+02 | Inf
637.71/637.72 o 265
637.71/637.72 c * 632s|218221 |104577 | 1017k| 4.7 | 317M| 181 | - |5645 |6625 |5645 | 201 | 252k| 14k|6795 | 0.000000e+00 | 2.650000e+02 | Inf
638.21/638.20 o 258
638.21/638.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.21/638.20 c * 633s|218314 |100585 | 1018k| 4.7 | 307M| 181 | - |5645 |6636 |5645 | 188 | 252k| 14k|6800 | 0.000000e+00 | 2.580000e+02 | Inf
638.31/638.34 o 251
638.31/638.34 c * 633s|218336 | 96680 | 1018k| 4.7 | 297M| 181 | - |5645 |6643 |5645 | 184 | 252k| 14k|6802 | 0.000000e+00 | 2.510000e+02 | Inf
638.41/638.47 o 247
638.41/638.47 c * 633s|218357 | 94486 | 1018k| 4.7 | 292M| 181 | - |5645 |6639 |5645 | 183 | 252k| 14k|6802 | 0.000000e+00 | 2.470000e+02 | Inf
638.50/638.53 o 231
638.50/638.53 c * 633s|218364 | 85322 | 1018k| 4.7 | 268M| 181 | - |5645 |6653 |5645 | 189 | 252k| 14k|6802 | 0.000000e+00 | 2.310000e+02 | Inf
645.61/645.70 c 640s|220000 | 86558 | 1033k| 4.7 | 276M| 181 | 0 |5645 |6908 |5645 | 194 | 256k| 15k|6832 | 0.000000e+00 | 2.310000e+02 | Inf
646.40/646.43 o 227
646.40/646.43 c * 641s|220207 | 84439 | 1034k| 4.7 | 272M| 181 | - |5645 |6906 |5645 | 199 | 257k| 15k|6832 | 0.000000e+00 | 2.270000e+02 | Inf
646.40/646.44 o 226
646.40/646.44 c * 641s|220208 | 83772 | 1034k| 4.7 | 270M| 181 | - |5645 |6905 |5645 | 199 | 257k| 15k|6832 | 0.000000e+00 | 2.260000e+02 | Inf
649.30/649.38 o 221
649.30/649.38 c * 644s|220946 | 81442 | 1039k| 4.7 | 266M| 181 | - |5645 |6771 |5645 | 178 | 258k| 15k|6843 | 0.000000e+00 | 2.210000e+02 | Inf
649.61/649.65 o 217
649.61/649.65 c * 644s|220996 | 79375 | 1039k| 4.7 | 261M| 181 | - |5645 |6784 |5645 | 185 | 258k| 15k|6848 | 0.000000e+00 | 2.170000e+02 | Inf
649.61/649.66 o 215
649.61/649.66 c * 644s|220997 | 78227 | 1039k| 4.7 | 257M| 181 | - |5645 |6784 |5645 | 185 | 258k| 15k|6848 | 0.000000e+00 | 2.150000e+02 | Inf
649.90/649.99 o 214
649.90/649.99 c * 645s|221051 | 77604 | 1040k| 4.7 | 256M| 181 | - |5645 |6813 |5645 | 201 | 258k| 15k|6854 | 0.000000e+00 | 2.140000e+02 | Inf
650.01/650.09 o 191
650.01/650.09 c * 645s|221060 | 64869 | 1040k| 4.7 | 220M| 181 | - |5645 |6816 |5645 | 195 | 258k| 15k|6854 | 0.000000e+00 | 1.910000e+02 | Inf
650.20/650.26 o 185
650.20/650.26 c * 645s|221082 | 61398 | 1041k| 4.7 | 211M| 181 | - |5645 |6825 |5645 | 173 | 258k| 15k|6856 | 0.000000e+00 | 1.850000e+02 | Inf
650.20/650.28 o 179
650.20/650.28 c * 645s|221083 | 58234 | 1041k| 4.7 | 202M| 181 | - |5645 |6825 |5645 | 173 | 258k| 15k|6856 | 0.000000e+00 | 1.790000e+02 | Inf
650.40/650.40 o 175
650.40/650.40 c * 645s|221095 | 56173 | 1041k| 4.7 | 195M| 181 | - |5645 |6812 |5645 | 191 | 258k| 15k|6858 | 0.000000e+00 | 1.750000e+02 | Inf
650.60/650.66 o 168
650.60/650.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.60/650.66 c * 645s|221128 | 52738 | 1041k| 4.7 | 186M| 181 | - |5645 |6844 |5645 | 179 | 258k| 15k|6865 | 0.000000e+00 | 1.680000e+02 | Inf
658.10/658.12 o 157
658.10/658.12 c * 653s|222526 | 45710 | 1059k| 4.8 | 176M| 181 | - |5645 |7064 |5645 | 201 | 262k| 16k|6900 | 0.000000e+00 | 1.570000e+02 | Inf
659.71/659.73 o 156
659.71/659.73 c * 654s|222855 | 45525 | 1062k| 4.8 | 178M| 181 | - |5645 |7233 |5645 | 149 | 262k| 16k|6902 | 0.000000e+00 | 1.560000e+02 | Inf
659.71/659.75 o 151
659.71/659.75 c * 654s|222858 | 42755 | 1062k| 4.8 | 168M| 181 | - |5645 |7233 |5645 | 149 | 262k| 16k|6902 | 0.000000e+00 | 1.510000e+02 | Inf
659.71/659.77 o 146
659.71/659.77 c * 654s|222859 | 39645 | 1062k| 4.8 | 160M| 181 | - |5645 |7233 |5645 | 149 | 262k| 16k|6902 | 0.000000e+00 | 1.460000e+02 | Inf
660.51/660.55 o 137
660.51/660.55 c * 655s|223000 | 35980 | 1064k| 4.8 | 150M| 181 | - |5645 |7313 |5645 | 208 | 263k| 16k|6906 | 0.000000e+00 | 1.370000e+02 | Inf
660.80/660.81 o 128
660.80/660.81 c * 655s|223037 | 31534 | 1064k| 4.8 | 138M| 181 | - |5645 |7271 |5645 | 163 | 263k| 16k|6909 | 0.000000e+00 | 1.280000e+02 | Inf
660.80/660.83 o 118
660.80/660.83 c * 655s|223038 | 28105 | 1064k| 4.8 | 125M| 181 | - |5645 |7271 |5645 | 163 | 263k| 16k|6909 | 0.000000e+00 | 1.180000e+02 | Inf
660.80/660.87 o 113
660.80/660.87 c * 655s|223040 | 24057 | 1064k| 4.8 | 114M| 181 | - |5645 |7267 |5645 | 147 | 263k| 16k|6909 | 0.000000e+00 | 1.130000e+02 | Inf
661.51/661.57 o 105
661.51/661.57 c * 656s|223151 | 20484 | 1065k| 4.8 | 101M| 181 | - |5645 |6865 |5645 | 200 | 263k| 16k|6923 | 0.000000e+00 | 1.050000e+02 | Inf
661.61/661.60 o 101
661.61/661.60 c * 656s|223158 | 19185 | 1065k| 4.8 | 98M| 181 | - |5645 |6861 |5645 | 199 | 263k| 16k|6923 | 0.000000e+00 | 1.010000e+02 | Inf
661.61/661.62 o 98
661.61/661.62 c * 656s|223161 | 18543 | 1065k| 4.8 | 96M| 181 | - |5645 |6859 |5645 | 200 | 263k| 16k|6923 | 0.000000e+00 | 9.800000e+01 | Inf
661.61/661.63 o 97
661.61/661.63 c * 656s|223162 | 18163 | 1065k| 4.8 | 95M| 181 | - |5645 |6859 |5645 | 200 | 263k| 16k|6923 | 0.000000e+00 | 9.700000e+01 | Inf
664.31/664.38 o 87
664.31/664.38 c * 659s|223721 | 14982 | 1069k| 4.8 | 87M| 181 | - |5645 |6111 |5645 | 147 | 264k| 17k|6938 | 0.000000e+00 | 8.700000e+01 | Inf
666.00/666.02 o 83
666.00/666.02 c * 661s|224162 | 14674 | 1070k| 4.8 | 87M| 181 | - |5645 |5911 |5645 | 148 | 265k| 17k|6943 | 0.000000e+00 | 8.300000e+01 | Inf
666.00/666.03 o 81
666.00/666.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.00/666.03 c * 661s|224163 | 14530 | 1070k| 4.8 | 87M| 181 | - |5645 |5911 |5645 | 148 | 265k| 17k|6943 | 0.000000e+00 | 8.100000e+01 | Inf
666.00/666.08 o 78
666.00/666.08 c * 661s|224166 | 14304 | 1070k| 4.8 | 86M| 181 | - |5645 |5709 |5645 | 148 | 265k| 17k|6943 | 0.000000e+00 | 7.800000e+01 | Inf
666.11/666.12 o 76
666.11/666.12 c * 661s|224167 | 4574 | 1070k| 4.8 | 50M| 181 | - |5645 |5709 |5645 | 148 | 265k| 17k|6943 | 0.000000e+00 | 7.600000e+01 | Inf
678.11/678.10 o 73
678.11/678.10 c * 672s|227296 | 4611 | 1090k| 4.8 | 59M| 181 | - |5645 |6487 |5645 | 199 | 271k| 21k|7008 | 0.000000e+00 | 7.300000e+01 | Inf
687.31/687.32 c 682s|230000 | 4901 | 1103k| 4.8 | 64M| 181 | - |5645 |6403 | 0 | 0 | 275k| 24k|7054 | 0.000000e+00 | 7.300000e+01 | Inf
693.81/693.89 o 70
693.81/693.89 c * 688s|231894 | 4794 | 1111k| 4.8 | 67M| 181 | - |5645 |6408 |5645 | 172 | 279k| 27k|7066 | 0.000000e+00 | 7.000000e+01 | Inf
718.40/718.49 c 712s|240000 | 5125 | 1152k| 4.8 | 74M| 181 | - |5645 |6530 | 0 | 0 | 292k| 39k|7141 | 0.000000e+00 | 7.000000e+01 | Inf
752.80/752.84 c 746s|250000 | 5915 | 1215k| 4.9 | 87M| 181 | 6 |5645 |8572 |5645 | 212 | 310k| 53k|7253 | 0.000000e+00 | 7.000000e+01 | Inf
786.91/786.99 c 780s|260000 | 6496 | 1268k| 4.9 | 99M| 181 | 1 |5645 |9008 |5645 | 194 | 327k| 67k|7317 | 0.000000e+00 | 7.000000e+01 | Inf
818.71/818.72 c 812s|270000 | 6779 | 1310k| 4.9 | 106M| 181 | - |5645 | 10k| 0 | 0 | 340k| 80k|7361 | 0.000000e+00 | 7.000000e+01 | Inf
851.80/851.87 c 844s|280000 | 7083 | 1356k| 4.8 | 115M| 181 | 1 |5645 |8852 |5645 | 161 | 355k| 95k|7410 | 0.000000e+00 | 7.000000e+01 | Inf
874.21/874.25 o 53
874.21/874.25 c * 867s|286737 | 6753 | 1394k| 4.9 | 117M| 181 | - |5645 | 10k|5645 | 181 | 367k| 104k|7458 | 0.000000e+00 | 5.300000e+01 | Inf
879.21/879.28 o 51
879.21/879.28 c * 872s|288274 | 6496 | 1402k| 4.9 | 116M| 181 | - |5645 |9195 |5645 | 176 | 370k| 106k|7460 | 0.000000e+00 | 5.100000e+01 | Inf
884.61/884.67 c 877s|290000 | 6319 | 1407k| 4.9 | 115M| 181 | 15 |5645 |6651 |5645 | 168 | 371k| 108k|7484 | 0.000000e+00 | 5.100000e+01 | Inf
911.91/911.97 c 904s|300000 | 6390 | 1436k| 4.8 | 121M| 181 | 1 |5645 |9139 |5645 | 179 | 379k| 120k|7515 | 0.000000e+00 | 5.100000e+01 | Inf
938.61/938.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.61/938.60 c 930s|310000 | 6406 | 1457k| 4.7 | 124M| 181 | 12 |5645 |8401 |5645 | 171 | 383k| 133k|7541 | 0.000000e+00 | 5.100000e+01 | Inf
965.72/965.71 c 957s|320000 | 6258 | 1487k| 4.6 | 126M| 181 | 1 |5645 |8075 |5645 | 154 | 390k| 146k|7583 | 0.000000e+00 | 5.100000e+01 | Inf
982.32/982.34 o 34
982.32/982.34 c * 974s|326861 | 5477 | 1503k| 4.6 | 119M| 181 | - |5645 | 10k|5645 | 176 | 392k| 154k|7594 | 0.000000e+00 | 3.400000e+01 | Inf
990.31/990.30 c 981s|330000 | 5547 | 1511k| 4.6 | 119M| 181 | 1 |5645 |8941 |5645 | 178 | 394k| 157k|7612 | 0.000000e+00 | 3.400000e+01 | Inf
993.11/993.12 o 28
993.11/993.12 c * 984s|331236 | 5045 | 1513k| 4.6 | 114M| 181 | - |5645 |9500 |5645 | 167 | 394k| 159k|7612 | 0.000000e+00 | 2.800000e+01 | Inf
1013.61/1013.65 c 1004s|340000 | 5096 | 1537k| 4.5 | 116M| 181 | 15 |5645 | 10k|5645 | 173 | 397k| 170k|7633 | 0.000000e+00 | 2.800000e+01 | Inf
1019.31/1019.32 o 27
1019.31/1019.32 c *1009s|342362 | 5051 | 1544k| 4.5 | 116M| 181 | - |5645 |9701 |5645 | 165 | 398k| 173k|7634 | 0.000000e+00 | 2.700000e+01 | Inf
1024.81/1024.82 o 24
1024.81/1024.82 c *1015s|344593 | 4968 | 1552k| 4.5 | 113M| 181 | - |5645 |8691 |5645 | 148 | 399k| 176k|7645 | 0.000000e+00 | 2.400000e+01 | Inf
1024.81/1024.87 o 23
1024.81/1024.87 c *1015s|344605 | 4957 | 1552k| 4.5 | 113M| 181 | - |5645 |8507 |5645 | 153 | 399k| 176k|7645 | 0.000000e+00 | 2.300000e+01 | Inf
1034.02/1034.08 o 16
1034.02/1034.08 c *1024s|349005 | 4831 | 1562k| 4.5 | 107M| 181 | - |5645 |9913 |5645 | 148 | 401k| 182k|7667 | 0.000000e+00 | 1.600000e+01 | Inf
1036.01/1036.05 c 1025s|350000 | 4834 | 1564k| 4.5 | 107M| 181 | 1 |5645 |9810 |5645 | 166 | 401k| 183k|7667 | 0.000000e+00 | 1.600000e+01 | Inf
1056.61/1056.63 c 1045s|360000 | 4919 | 1589k| 4.4 | 110M| 181 | - |5645 | 11k| 0 | 0 | 406k| 196k|7689 | 0.000000e+00 | 1.600000e+01 | Inf
1067.02/1067.08 o 9
1067.02/1067.08 c *1055s|365298 | 4111 | 1600k| 4.4 | 94M| 181 | - |5645 | 12k|5645 | 153 | 408k| 203k|7707 | 0.000000e+00 | 9.000000e+00 | Inf
1067.11/1067.14 o 6
1067.11/1067.14 c *1056s|365312 | 3960 | 1600k| 4.4 | 91M| 181 | - |5645 | 11k|5645 | 178 | 408k| 203k|7707 | 0.000000e+00 | 6.000000e+00 | Inf
1076.02/1076.02 c 1064s|370000 | 3839 | 1608k| 4.3 | 89M| 181 | - |5645 |8346 | 0 | 0 | 409k| 209k|7718 | 0.000000e+00 | 6.000000e+00 | Inf
1097.11/1097.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.11/1097.11 c 1084s|380000 | 3645 | 1643k| 4.3 | 87M| 181 | - |5645 |9064 |5645 | 194 | 418k| 222k|7778 | 0.000000e+00 | 6.000000e+00 | Inf
1118.51/1118.52 c 1105s|390000 | 3538 | 1683k| 4.3 | 88M| 181 | - |5645 | 12k| 0 | 0 | 426k| 235k|7824 | 0.000000e+00 | 6.000000e+00 | Inf
1138.91/1138.94 o 2
1138.91/1138.94 c *1125s|399295 | 3003 | 1711k| 4.3 | 83M| 181 | - |5645 | 17k|5645 | 195 | 431k| 247k|7858 | 0.000000e+00 | 2.000000e+00 | Inf
1140.62/1140.66 c 1126s|400000 | 3002 | 1713k| 4.3 | 83M| 181 | 1 |5645 | 16k|5645 | 180 | 432k| 248k|7866 | 0.000000e+00 | 2.000000e+00 | Inf
1166.02/1166.09 c 1151s|410000 | 2944 | 1753k| 4.3 | 82M| 181 | - |5645 | 14k| 0 | 0 | 441k| 262k|7923 | 0.000000e+00 | 2.000000e+00 | Inf
1187.92/1187.96 c 1172s|420000 | 2886 | 1784k| 4.2 | 83M| 181 | 1 |5645 | 16k|5645 | 168 | 447k| 274k|7969 | 0.000000e+00 | 2.000000e+00 | Inf
1213.12/1213.18 c 1197s|430000 | 2920 | 1823k| 4.2 | 85M| 181 | - |5645 | 20k| 0 | 0 | 457k| 287k|8002 | 0.000000e+00 | 2.000000e+00 | Inf
1242.02/1242.06 c 1225s|440000 | 2966 | 1869k| 4.2 | 86M| 181 | 12 |5645 | 23k|5645 | 196 | 470k| 300k|8065 | 0.000000e+00 | 2.000000e+00 | Inf
1274.52/1274.54 c 1257s|450000 | 3003 | 1918k| 4.3 | 89M| 181 | 15 |5645 | 28k|5645 | 217 | 484k| 313k|8127 | 0.000000e+00 | 2.000000e+00 | Inf
1307.42/1307.42 c 1289s|460000 | 3064 | 1967k| 4.3 | 89M| 181 | - |5645 | 28k| 0 | 0 | 498k| 326k|8174 | 0.000000e+00 | 2.000000e+00 | Inf
1339.22/1339.28 c 1320s|470000 | 3095 | 2007k| 4.3 | 91M| 181 | - |5645 | 29k| 0 | 0 | 508k| 339k|8236 | 0.000000e+00 | 2.000000e+00 | Inf
1372.92/1372.93 c 1353s|480000 | 3140 | 2052k| 4.3 | 92M| 181 | - |5645 | 31k| 0 | 0 | 520k| 352k|8275 | 0.000000e+00 | 2.000000e+00 | Inf
1409.22/1409.25 c 1389s|490000 | 3440 | 2097k| 4.3 | 95M| 181 | 8 |5645 | 34k|5645 | 161 | 533k| 365k|8350 | 0.000000e+00 | 2.000000e+00 | Inf
1447.22/1447.28 c 1426s|500000 | 3688 | 2145k| 4.3 | 98M| 181 | - |5645 | 37k| 0 | 0 | 548k| 378k|8384 | 0.000000e+00 | 2.000000e+00 | Inf
1485.42/1485.40 c 1463s|510000 | 3675 | 2190k| 4.3 | 98M| 181 | - |5645 | 35k| 0 | 0 | 561k| 392k|8444 | 0.000000e+00 | 2.000000e+00 | Inf
1524.82/1524.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.82/1524.82 c 1502s|520000 | 3746 | 2239k| 4.3 | 99M| 181 | - |5645 | 36k| 0 | 0 | 576k| 406k|8505 | 0.000000e+00 | 2.000000e+00 | Inf
1562.52/1562.51 c 1539s|530000 | 3687 | 2283k| 4.3 | 100M| 181 | - |5645 | 36k| 0 | 0 | 587k| 420k|8547 | 0.000000e+00 | 2.000000e+00 | Inf
1599.22/1599.24 c 1575s|540000 | 3692 | 2329k| 4.3 | 99M| 181 | - |5645 | 34k| 0 | 0 | 600k| 434k|8590 | 0.000000e+00 | 2.000000e+00 | Inf
1635.63/1635.63 c 1611s|550000 | 3651 | 2378k| 4.3 | 100M| 181 | - |5645 | 35k| 0 | 0 | 614k| 447k|8656 | 0.000000e+00 | 2.000000e+00 | Inf
1669.22/1669.26 c 1644s|560000 | 3570 | 2417k| 4.3 | 99M| 181 | - |5645 | 33k| 0 | 0 | 623k| 461k|8692 | 0.000000e+00 | 2.000000e+00 | Inf
1704.83/1704.85 c 1679s|570000 | 3487 | 2460k| 4.3 | 98M| 181 | 15 |5645 | 33k|5645 | 189 | 634k| 475k|8758 | 0.000000e+00 | 2.000000e+00 | Inf
1736.63/1736.68 c 1710s|580000 | 3333 | 2497k| 4.3 | 96M| 181 | - |5645 | 30k| 0 | 0 | 641k| 489k|8801 | 0.000000e+00 | 2.000000e+00 | Inf
1770.12/1770.19 c 1743s|590000 | 3319 | 2548k| 4.3 | 96M| 181 | 1 |5645 | 30k|5645 | 175 | 654k| 503k|8834 | 0.000000e+00 | 2.000000e+00 | Inf
1798.33/1798.38 c 1771s|600000 | 3330 | 2581k| 4.3 | 95M| 181 | - |5645 | 27k| 0 | 0 | 660k| 516k|8876 | 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1772.13
1800.03/1800.00 c Solving Nodes : 600612
1800.03/1800.00 c Primal Bound : +2.00000000000000e+00 (262 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.08 s SATISFIABLE
1800.03/1800.08 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.08 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.03/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.08 v -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.08 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.03/1800.08 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.03/1800.08 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.03/1800.08 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.03/1800.08 v -x28 -x27 -x26 -x25 x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.03/1800.08 v -x1
1800.03/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.08 c Solving Time : 1772.13
1800.03/1800.08 c Original Problem :
1800.03/1800.08 c Problem name : HOME/instance-2692327-1277926298.wbo
1800.03/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.08 c Presolved Problem :
1800.03/1800.08 c Problem name : t_HOME/instance-2692327-1277926298.wbo
1800.03/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08 c Constraints : 5414 initial, 38037 maximal
1800.03/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.08 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.08 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.03/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.08 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.08 c root node : - 2673 - - 5346 - - - -
1800.03/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.08 c integral : 0 0 0 524873 0 0 77 0 0 465844
1800.03/1800.08 c indicator : 2707 0 2673254 291457 0 1130 14828118 0 0 0
1800.03/1800.08 c linear : 2707 6 2690567 291661 0 137895 11392291 661256 0 0
1800.03/1800.08 c logicor : 0+ 0 824140 0 0 29800 845462 0 0 0
1800.03/1800.08 c bounddisjunction : 0+ 0 28866 0 0 0 985 0 0 0
1800.03/1800.08 c countsols : 0 0 0 193258 0 0 0 0 0 0
1800.03/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.08 c integral : 17.05 0.00 0.00 17.05 0.00
1800.03/1800.08 c indicator : 108.58 0.01 46.87 61.70 0.00
1800.03/1800.08 c linear : 179.61 0.02 137.50 42.09 0.00
1800.03/1800.08 c logicor : 192.75 0.00 192.75 0.00 0.00
1800.03/1800.08 c bounddisjunction : 0.06 0.00 0.06 0.00 0.00
1800.03/1800.08 c countsols : 0.05 0.00 0.00 0.05 0.00
1800.03/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.08 c vbounds : 0.30 2 0 0
1800.03/1800.08 c rootredcost : 0.35 91 0 2673
1800.03/1800.08 c pseudoobj : 152.14 2720521 28317 8970075
1800.03/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.08 c propagation : 14.39 196012 195818 1227977 30.3 13922 14.2 -
1800.03/1800.08 c infeasible LP : 3.02 7826 7826 59718 42.6 105 18.6 0
1800.03/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.08 c pseudo solution : 0.17 756 756 2758 12.4 339 6.0 -
1800.03/1800.08 c applied globally : - - - 516848 23.5 - - -
1800.03/1800.08 c applied locally : - - - 0 0.0 - - -
1800.03/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.08 c cut pool : 0.00 3 - - 30 - (maximal pool size: 86)
1800.03/1800.08 c redcost : 57.28 532721 0 5525712 0 0
1800.03/1800.08 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.08 c intobj : 0.00 0 0 0 0 0
1800.03/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.08 c gomory : 0.02 4 0 0 86 0
1800.03/1800.08 c strongcg : 0.00 4 0 0 0 0
1800.03/1800.08 c cmir : 0.00 4 0 0 0 0
1800.03/1800.08 c flowcover : 0.03 4 0 0 0 0
1800.03/1800.08 c clique : 0.00 1 0 0 0 0
1800.03/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.08 c mcf : 0.00 1 0 0 0 0
1800.03/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.08 c Pricers : Time Calls Vars
1800.03/1800.08 c problem variables: 0.00 0 0
1800.03/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.08 c relpscost : 16.69 232987 0 77 0 0 465844
1800.03/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.08 c inference : 54.37 193167 0 0 0 0 386334
1800.03/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.08 c random : 0.00 0 0 0 0 0 0
1800.03/1800.08 c Primal Heuristics : Time Calls Found
1800.03/1800.08 c LP solutions : 0.64 - 91
1800.03/1800.08 c pseudo solutions : 0.00 - 0
1800.03/1800.08 c feaspump : 0.00 0 0
1800.03/1800.08 c oneopt : 0.50 71 0
1800.03/1800.08 c intshifting : 0.06 10 0
1800.03/1800.08 c crossover : 3.34 115 0
1800.03/1800.08 c guideddiving : 7.84 4413 0
1800.03/1800.08 c veclendiving : 8.79 5749 0
1800.03/1800.08 c coefdiving : 8.47 5750 0
1800.03/1800.08 c pscostdiving : 9.00 5750 0
1800.03/1800.08 c fracdiving : 9.27 5750 0
1800.03/1800.08 c linesearchdiving : 8.65 5750 0
1800.03/1800.08 c objpscostdiving : 8.83 5532 0
1800.03/1800.08 c rootsoldiving : 9.09 5549 0
1800.03/1800.08 c trivial : 0.08 2 2
1800.03/1800.08 c simplerounding : 0.58 235782 0
1800.03/1800.08 c zirounding : 0.43 1000 0
1800.03/1800.08 c rounding : 3.28 6856 0
1800.03/1800.08 c shifting : 2.36 2150 0
1800.03/1800.08 c twoopt : 0.00 0 0
1800.03/1800.08 c fixandinfer : 0.00 0 0
1800.03/1800.08 c intdiving : 0.00 0 0
1800.03/1800.08 c actconsdiving : 0.00 0 0
1800.03/1800.08 c octane : 0.00 0 0
1800.03/1800.08 c rens : 0.03 1 0
1800.03/1800.08 c rins : 0.00 0 0
1800.03/1800.08 c localbranching : 0.00 0 0
1800.03/1800.08 c mutation : 0.00 0 0
1800.03/1800.08 c dins : 0.00 0 0
1800.03/1800.08 c undercover : 0.00 0 0
1800.03/1800.08 c nlp : 0.10 0 0
1800.03/1800.08 c trysol : 2.38 11463 169
1800.03/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.08 c dual LP : 444.70 362328 2580450 7.12 5802.68
1800.03/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.08 c diving/probing LP: 0.48 618 2701 4.37 5627.08
1800.03/1800.08 c strong branching : 14.74 8876 80107 9.03 5434.67
1800.03/1800.08 c (at root node) : - 32 1061 33.16 -
1800.03/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.08 c B&B Tree :
1800.03/1800.08 c number of runs : 1
1800.03/1800.08 c nodes : 600612
1800.03/1800.08 c nodes (total) : 600612
1800.03/1800.08 c nodes left : 3330
1800.03/1800.08 c max depth : 181
1800.03/1800.08 c max depth (total): 181
1800.03/1800.08 c backtracks : 44783 (7.5%)
1800.03/1800.08 c delayed cutoffs : 34193
1800.03/1800.08 c repropagations : 1056541 (5733731 domain reductions, 31222 cutoffs)
1800.03/1800.08 c avg switch length: 5.50
1800.03/1800.08 c switching time : 199.26
1800.03/1800.08 c Solution :
1800.03/1800.08 c Solutions found : 262 (92 improvements)
1800.03/1800.08 c First Solution : +1.37244000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 399295 nodes, 1124.67 seconds, depth 47, found by <relaxation>)
1800.03/1800.08 c Dual Bound : +0.00000000000000e+00
1800.03/1800.08 c Gap : infinite
1800.03/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.08 c Root Iterations : 106
1800.23/1800.24 c Time complete: 1800.27.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692327-1277926298/watcher-2692327-1277926298 -o /tmp/evaluation-result-2692327-1277926298/solver-2692327-1277926298 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692327-1277926298.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=9400 CPUtime=0
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 133926425 9625600 1568 4089446400 4194304 8223781 140735189531968 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15136/statm: 2350 1568 369 984 0 1363 0
[startup+0.0654899 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=34808 CPUtime=0.05
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 8014 0 0 0 5 0 0 0 25 0 1 0 133926425 35643392 7570 4089446400 4194304 8223781 140735189531968 18446744073709551615 4561351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 8702 7570 422 984 0 7715 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 34808
[startup+0.100485 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=35136 CPUtime=0.09
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 8088 0 0 0 9 0 0 0 25 0 1 0 133926425 35979264 7644 4089446400 4194304 8223781 140735189531968 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 8784 7644 422 984 0 7797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35136
[startup+0.300452 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=42932 CPUtime=0.29
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 10623 0 0 0 27 2 0 0 18 0 1 0 133926425 43962368 9576 4089446400 4194304 8223781 140735189531968 18446744073709551615 5744292 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 10733 9576 561 984 0 9746 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42932
[startup+0.700379 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=43076 CPUtime=0.69
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 15655 0 0 0 66 3 0 0 18 0 1 0 133926425 44109824 9710 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 10769 9710 575 984 0 9782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43076
[startup+1.50024 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 15137
/proc/meminfo: memFree=29897048/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=43396 CPUtime=1.49
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 15810 0 0 0 146 3 0 0 19 0 1 0 133926425 44437504 9864 4089446400 4194304 8223781 140735189531968 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 10849 9864 578 984 0 9862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43396
[startup+3.10097 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 15137
/proc/meminfo: memFree=29893204/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=50480 CPUtime=3.09
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 21866 0 0 0 303 6 0 0 23 0 1 0 133926425 51691520 11535 4089446400 4194304 8223781 140735189531968 18446744073709551615 4561458 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 12620 11535 581 984 0 11633 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50480
[startup+6.30041 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 15137
/proc/meminfo: memFree=29883284/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=53140 CPUtime=6.29
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 27554 0 0 0 621 8 0 0 25 0 1 0 133926425 54415360 12163 4089446400 4194304 8223781 140735189531968 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 13285 12163 581 984 0 12298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53140
[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 15137
/proc/meminfo: memFree=29872628/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=59540 CPUtime=12.69
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 34239 0 0 0 1255 14 0 0 25 0 1 0 133926425 60968960 13760 4089446400 4194304 8223781 140735189531968 18446744073709551615 6456389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 14885 13760 581 984 0 13898 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59540
[startup+25.5011 s]
/proc/loadavg: 2.04 2.04 2.01 3/177 15138
/proc/meminfo: memFree=29843764/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=71592 CPUtime=25.49
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 47381 0 0 0 2525 24 0 0 25 0 1 0 133926425 73310208 16718 4089446400 4194304 8223781 140735189531968 18446744073709551615 4651583 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 17898 16718 581 984 0 16911 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71592
[startup+51.1006 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 15139
/proc/meminfo: memFree=29779252/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=96392 CPUtime=51.09
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 58717 0 0 0 5066 43 0 0 25 0 1 0 133926425 98705408 22976 4089446400 4194304 8223781 140735189531968 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 24098 22976 581 984 0 23111 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96392
[startup+102.307 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 15143
/proc/meminfo: memFree=29642420/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=146464 CPUtime=102.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 76490 0 0 0 10145 85 0 0 25 0 1 0 133926425 149979136 35579 4089446400 4194304 8223781 140735189531968 18446744073709551615 6505963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 36616 35579 581 984 0 35629 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 146464
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 15144
/proc/meminfo: memFree=29493088/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=200952 CPUtime=162.29
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 95369 0 0 0 16096 133 0 0 25 0 1 0 133926425 205774848 49344 4089446400 4194304 8223781 140735189531968 18446744073709551615 6448670 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 50238 49344 581 984 0 49251 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 200952
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 15146
/proc/meminfo: memFree=29363344/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=266804 CPUtime=222.29
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 112461 0 0 0 22050 179 0 0 25 0 1 0 133926425 273207296 65320 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 66701 65320 581 984 0 65714 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 266804
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15148
/proc/meminfo: memFree=29239316/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=314420 CPUtime=282.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 172639 0 0 0 28000 230 0 0 25 0 1 0 133926425 321966080 77270 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 78605 77270 585 984 0 77618 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 314420
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15150
/proc/meminfo: memFree=29092824/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=366016 CPUtime=342.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 205615 0 0 0 33960 270 0 0 25 0 1 0 133926425 374800384 90003 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 91504 90003 585 984 0 90517 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 366016
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15151
/proc/meminfo: memFree=28942728/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=409596 CPUtime=402.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 243552 0 0 0 39913 317 0 0 25 0 1 0 133926425 419426304 100980 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 102399 100980 585 984 0 101412 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 409596
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15152
/proc/meminfo: memFree=28815084/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=465536 CPUtime=462.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 289412 0 0 0 45864 366 0 0 25 0 1 0 133926425 476708864 114778 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 116384 114778 585 984 0 115397 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 465536
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15154
/proc/meminfo: memFree=28693008/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=514624 CPUtime=522.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 342925 0 0 0 51812 418 0 0 25 0 1 0 133926425 526974976 126695 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 128656 126695 585 984 0 127669 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 514624
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15156
/proc/meminfo: memFree=28578020/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=554816 CPUtime=582.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 420789 0 0 0 57759 471 0 0 25 0 1 0 133926425 568131584 136477 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 138704 136477 585 984 0 137717 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 554816
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15158
/proc/meminfo: memFree=28457552/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=598544 CPUtime=642.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 497747 0 0 0 63708 523 0 0 25 0 1 0 133926425 612909056 146866 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 149636 146866 585 984 0 148649 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 598544
[startup+702.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15164
/proc/meminfo: memFree=28030908/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=718320 CPUtime=882.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 647887 0 0 0 87462 769 0 0 25 0 1 0 133926425 735559680 174297 4089446400 4194304 8223781 140735189531968 18446744073709551615 4218744 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 179580 174297 594 984 0 178593 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 718320
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15166
/proc/meminfo: memFree=27951880/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=736328 CPUtime=942.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 667964 0 0 0 93395 836 0 0 25 0 1 0 133926425 753999872 178344 4089446400 4194304 8223781 140735189531968 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 184082 178344 594 984 0 183095 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 736328
[startup+1002.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/195 15234
/proc/meminfo: memFree=30455880/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=748008 CPUtime=1002.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 710799 0 0 0 99280 951 0 0 25 0 1 0 133926425 765960192 180665 4089446400 4194304 8223781 140735189531968 18446744073709551615 6003322 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187002 180665 595 984 0 186015 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 748008
[startup+1062.3 s]
/proc/loadavg: 2.17 2.04 2.01 3/195 15235
/proc/meminfo: memFree=30414728/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=750828 CPUtime=1062.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 781056 0 0 0 105088 1143 0 0 25 0 1 0 133926425 768847872 181308 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187707 181308 595 984 0 186720 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 750828
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/195 15237
/proc/meminfo: memFree=30375612/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=748132 CPUtime=1122.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 819357 0 0 0 110866 1366 0 0 25 0 1 0 133926425 766087168 180678 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187033 180678 595 984 0 186046 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 748132
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 8/195 15239
/proc/meminfo: memFree=30331684/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=750064 CPUtime=1182.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 853594 0 0 0 116689 1543 0 0 25 0 1 0 133926425 768065536 181149 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187516 181149 595 984 0 186529 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 750064
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/195 15241
/proc/meminfo: memFree=30291804/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=750948 CPUtime=1242.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 858249 0 0 0 122525 1707 0 0 25 0 1 0 133926425 768970752 181366 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187737 181366 595 984 0 186750 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 750948
[startup+1302.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/195 15242
/proc/meminfo: memFree=30269820/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=753348 CPUtime=1302.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 863291 0 0 0 128406 1826 0 0 25 0 1 0 133926425 771428352 181930 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 188337 181930 595 984 0 187350 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 753348
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/195 15243
/proc/meminfo: memFree=30251664/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=754084 CPUtime=1362.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 863471 0 0 0 134287 1945 0 0 25 0 1 0 133926425 772182016 182110 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 188521 182110 595 984 0 187534 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 754084
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.01 3/195 15245
/proc/meminfo: memFree=30204984/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=756088 CPUtime=1422.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 863978 0 0 0 140156 2076 0 0 25 0 1 0 133926425 774234112 182617 4089446400 4194304 8223781 140735189531968 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189022 182617 595 984 0 188035 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 756088
[startup+1482.3 s]
/proc/loadavg: 2.25 2.13 2.04 3/195 15247
/proc/meminfo: memFree=30168124/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=756588 CPUtime=1482.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 868896 0 0 0 146040 2192 0 0 25 0 1 0 133926425 774746112 182761 4089446400 4194304 8223781 140735189531968 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189147 182761 595 984 0 188160 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 756588
[startup+1542.3 s]
/proc/loadavg: 2.08 2.10 2.03 3/195 15249
/proc/meminfo: memFree=30127664/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=756728 CPUtime=1542.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 868934 0 0 0 151950 2282 0 0 25 0 1 0 133926425 774889472 182799 4089446400 4194304 8223781 140735189531968 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189182 182799 595 984 0 188195 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 756728
[startup+1602.3 s]
/proc/loadavg: 2.25 2.13 2.04 3/195 15250
/proc/meminfo: memFree=30098732/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757180 CPUtime=1602.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869030 0 0 0 157849 2383 0 0 25 0 1 0 133926425 775352320 182895 4089446400 4194304 8223781 140735189531968 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189295 182895 595 984 0 188308 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 757180
[startup+1662.3 s]
/proc/loadavg: 2.09 2.11 2.04 3/195 15251
/proc/meminfo: memFree=30054440/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757288 CPUtime=1662.33
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869063 0 0 0 163720 2513 0 0 25 0 1 0 133926425 775462912 182928 4089446400 4194304 8223781 140735189531968 18446744073709551615 5957160 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189322 182928 595 984 0 188335 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 757288
[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.03 3/195 15253
/proc/meminfo: memFree=30012396/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757324 CPUtime=1722.33
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869077 0 0 0 169615 2618 0 0 25 0 1 0 133926425 775499776 182942 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189331 182942 595 984 0 188344 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 757324
[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.03 3/195 15264
/proc/meminfo: memFree=29969744/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757576 CPUtime=1782.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869125 0 0 0 175484 2748 0 0 25 0 1 0 133926425 775757824 182990 4089446400 4194304 8223781 140735189531968 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189394 182990 595 984 0 188407 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 757576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.06 2.02 3/195 15264
/proc/meminfo: memFree=29957284/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757664 CPUtime=1800.03
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869167 0 0 0 177216 2787 0 0 25 0 1 0 133926425 775847936 183032 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189416 183032 595 984 0 188429 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 757664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.01 2.06 2.02 3/195 15264
/proc/meminfo: memFree=29957284/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=510524 CPUtime=1800.23
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869169 0 0 0 177234 2789 0 0 18 0 1 0 133926425 522776576 121265 4089446400 4194304 8223781 140735189531968 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15136/statm: 127631 121265 597 984 0 126644 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 510524
Child status: 0
Real time (s): 1800.24
CPU time (s): 1800.28
CPU user time (s): 1772.37
CPU system time (s): 27.9118
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 774172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.37
system time used= 27.9118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 869173
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= 5
involuntary context switches= 1875
runsolver used 2.92455 second user time and 5.81611 second system time
The end
Begin job on node131 at 2010-06-30 21:31:38
IDJOB=2692327
IDBENCH=79268
IDSOLVER=1204
FILE ID=node131/2692327-1277926298
PBS_JOBID= 11197290
Free space on /tmp= 74136 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692327-1277926298/watcher-2692327-1277926298 -o /tmp/evaluation-result-2692327-1277926298/solver-2692327-1277926298 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692327-1277926298.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7333324480eb5267e10bc3c9063685b0
RANDOM SEED=513052644
node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 29937264 kB
Buffers: 211120 kB
Cached: 1141264 kB
SwapCached: 0 kB
Active: 2043884 kB
Inactive: 823064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 29937264 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4700 kB
Writeback: 0 kB
AnonPages: 1514552 kB
Mapped: 16264 kB
Slab: 81036 kB
PageTables: 7852 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 1684440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74136 MiB
End job on node131 at 2010-06-30 22:01:40