Trace number 3690838

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed? 1796.76 1797.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
MD5SUM473e2cd0e31e48ba0932d7bd34857dd0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13473
Number of constraints which are clauses13473
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3690838-1338018748.opb>
0.02/0.03	c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.02/0.03	c problem read in 0.04
0.02/0.09	c presolving:
0.09/0.16	c (round 1) 2944 del vars, 496 del conss, 0 add conss, 325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38274 impls, 0 clqs
0.19/0.20	c (round 2) 3207 del vars, 4467 del conss, 0 add conss, 356 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 47718 impls, 0 clqs
0.19/0.22	c (round 3) 3240 del vars, 4891 del conss, 0 add conss, 371 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 47987 impls, 0 clqs
0.19/0.23	c (round 4) 3275 del vars, 4972 del conss, 0 add conss, 387 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 48326 impls, 0 clqs
0.19/0.23	c (round 5) 3310 del vars, 5064 del conss, 0 add conss, 401 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 48683 impls, 0 clqs
0.19/0.24	c (round 6) 3339 del vars, 5138 del conss, 0 add conss, 413 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 49050 impls, 0 clqs
0.19/0.25	c (round 7) 3362 del vars, 5205 del conss, 0 add conss, 425 chg bounds, 16 chg sides, 32 chg coeffs, 0 upgd conss, 49290 impls, 0 clqs
0.19/0.26	c (round 8) 3386 del vars, 5263 del conss, 0 add conss, 434 chg bounds, 19 chg sides, 38 chg coeffs, 0 upgd conss, 49503 impls, 0 clqs
0.19/0.26	c (round 9) 3402 del vars, 5310 del conss, 0 add conss, 442 chg bounds, 23 chg sides, 46 chg coeffs, 0 upgd conss, 49664 impls, 0 clqs
0.19/0.27	c (round 10) 3418 del vars, 5350 del conss, 0 add conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 49805 impls, 0 clqs
0.19/0.28	c (round 11) 3434 del vars, 5390 del conss, 0 add conss, 458 chg bounds, 31 chg sides, 62 chg coeffs, 0 upgd conss, 49928 impls, 0 clqs
0.19/0.28	c (round 12) 3450 del vars, 5430 del conss, 0 add conss, 466 chg bounds, 35 chg sides, 70 chg coeffs, 0 upgd conss, 50061 impls, 0 clqs
0.19/0.29	c (round 13) 3466 del vars, 5470 del conss, 0 add conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 50182 impls, 0 clqs
0.29/0.30	c (round 14) 3482 del vars, 5510 del conss, 0 add conss, 482 chg bounds, 43 chg sides, 86 chg coeffs, 0 upgd conss, 50325 impls, 0 clqs
0.29/0.31	c (round 15) 3499 del vars, 5551 del conss, 0 add conss, 491 chg bounds, 47 chg sides, 94 chg coeffs, 0 upgd conss, 50508 impls, 0 clqs
0.29/0.31	c (round 16) 3515 del vars, 5591 del conss, 0 add conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 50725 impls, 0 clqs
0.29/0.32	c (round 17) 3531 del vars, 5631 del conss, 0 add conss, 507 chg bounds, 55 chg sides, 110 chg coeffs, 0 upgd conss, 50918 impls, 0 clqs
0.29/0.33	c (round 18) 3547 del vars, 5671 del conss, 0 add conss, 515 chg bounds, 59 chg sides, 118 chg coeffs, 0 upgd conss, 51049 impls, 0 clqs
0.29/0.33	c (round 19) 3563 del vars, 5711 del conss, 0 add conss, 523 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 51190 impls, 0 clqs
0.29/0.34	c (round 20) 3579 del vars, 5751 del conss, 0 add conss, 531 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 51333 impls, 0 clqs
0.29/0.35	c (round 21) 3592 del vars, 5784 del conss, 0 add conss, 536 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 51499 impls, 0 clqs
0.29/0.35	c (round 22) 3609 del vars, 5825 del conss, 0 add conss, 546 chg bounds, 72 chg sides, 144 chg coeffs, 0 upgd conss, 51613 impls, 0 clqs
0.29/0.36	c (round 23) 3622 del vars, 5872 del conss, 0 add conss, 556 chg bounds, 75 chg sides, 150 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.29/0.37	c (round 24) 3640 del vars, 5910 del conss, 0 add conss, 568 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 51800 impls, 0 clqs
0.29/0.37	c (round 25) 3654 del vars, 5949 del conss, 0 add conss, 577 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 51911 impls, 0 clqs
0.29/0.38	c (round 26) 3670 del vars, 5987 del conss, 0 add conss, 587 chg bounds, 78 chg sides, 156 chg coeffs, 0 upgd conss, 52054 impls, 0 clqs
0.29/0.39	c (round 27) 3690 del vars, 6027 del conss, 0 add conss, 597 chg bounds, 80 chg sides, 160 chg coeffs, 0 upgd conss, 52205 impls, 0 clqs
0.29/0.39	c (round 28) 3697 del vars, 6068 del conss, 0 add conss, 606 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 52223 impls, 0 clqs
0.39/0.40	c (round 29) 3713 del vars, 6097 del conss, 0 add conss, 616 chg bounds, 85 chg sides, 170 chg coeffs, 0 upgd conss, 52300 impls, 0 clqs
0.39/0.41	c (round 30) 3727 del vars, 6136 del conss, 0 add conss, 628 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 52349 impls, 0 clqs
0.39/0.41	c (round 31) 3742 del vars, 6172 del conss, 0 add conss, 640 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 52408 impls, 0 clqs
0.39/0.42	c (round 32) 3759 del vars, 6211 del conss, 0 add conss, 653 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 52441 impls, 0 clqs
0.39/0.43	c (round 33) 3778 del vars, 6252 del conss, 0 add conss, 666 chg bounds, 89 chg sides, 178 chg coeffs, 0 upgd conss, 52548 impls, 0 clqs
0.39/0.43	c (round 34) 3795 del vars, 6294 del conss, 0 add conss, 676 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 52671 impls, 0 clqs
0.39/0.44	c (round 35) 3807 del vars, 6327 del conss, 0 add conss, 686 chg bounds, 92 chg sides, 185 chg coeffs, 0 upgd conss, 52708 impls, 0 clqs
0.39/0.45	c (round 36) 3816 del vars, 6357 del conss, 0 add conss, 694 chg bounds, 95 chg sides, 191 chg coeffs, 0 upgd conss, 52762 impls, 0 clqs
0.39/0.45	c (round 37) 3836 del vars, 6398 del conss, 0 add conss, 707 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52853 impls, 0 clqs
0.39/0.46	c (round 38) 3846 del vars, 6439 del conss, 0 add conss, 716 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52881 impls, 0 clqs
0.39/0.46	c (round 39) 3863 del vars, 6472 del conss, 0 add conss, 731 chg bounds, 100 chg sides, 201 chg coeffs, 0 upgd conss, 52932 impls, 0 clqs
0.39/0.47	c (round 40) 3878 del vars, 6516 del conss, 0 add conss, 743 chg bounds, 102 chg sides, 205 chg coeffs, 0 upgd conss, 52989 impls, 0 clqs
0.39/0.48	c (round 41) 3892 del vars, 6554 del conss, 0 add conss, 759 chg bounds, 107 chg sides, 215 chg coeffs, 0 upgd conss, 53019 impls, 0 clqs
0.39/0.48	c (round 42) 3910 del vars, 6592 del conss, 0 add conss, 773 chg bounds, 109 chg sides, 219 chg coeffs, 0 upgd conss, 53112 impls, 0 clqs
0.39/0.49	c (round 43) 3922 del vars, 6632 del conss, 0 add conss, 787 chg bounds, 112 chg sides, 225 chg coeffs, 0 upgd conss, 53133 impls, 0 clqs
0.39/0.49	c (round 44) 3943 del vars, 6667 del conss, 0 add conss, 802 chg bounds, 114 chg sides, 229 chg coeffs, 0 upgd conss, 53246 impls, 0 clqs
0.49/0.50	c (round 45) 3956 del vars, 6711 del conss, 0 add conss, 815 chg bounds, 117 chg sides, 235 chg coeffs, 0 upgd conss, 53276 impls, 0 clqs
0.49/0.51	c (round 46) 3974 del vars, 6749 del conss, 0 add conss, 830 chg bounds, 120 chg sides, 241 chg coeffs, 0 upgd conss, 53396 impls, 0 clqs
0.49/0.51	c (round 47) 3985 del vars, 6790 del conss, 0 add conss, 842 chg bounds, 123 chg sides, 247 chg coeffs, 0 upgd conss, 53422 impls, 0 clqs
0.49/0.52	c (round 48) 4000 del vars, 6823 del conss, 0 add conss, 855 chg bounds, 125 chg sides, 251 chg coeffs, 0 upgd conss, 53441 impls, 0 clqs
0.49/0.52	c (round 49) 4017 del vars, 6864 del conss, 0 add conss, 871 chg bounds, 127 chg sides, 255 chg coeffs, 0 upgd conss, 53531 impls, 0 clqs
0.49/0.53	c (round 50) 4031 del vars, 6898 del conss, 0 add conss, 883 chg bounds, 128 chg sides, 257 chg coeffs, 0 upgd conss, 53574 impls, 0 clqs
0.69/0.75	c (round 51) 4051 del vars, 6943 del conss, 0 add conss, 901 chg bounds, 130 chg sides, 261 chg coeffs, 0 upgd conss, 53725 impls, 0 clqs
0.69/0.75	c (round 52) 4067 del vars, 6992 del conss, 0 add conss, 916 chg bounds, 134 chg sides, 269 chg coeffs, 0 upgd conss, 53788 impls, 0 clqs
0.69/0.75	c (round 53) 4080 del vars, 7026 del conss, 0 add conss, 930 chg bounds, 139 chg sides, 279 chg coeffs, 0 upgd conss, 53823 impls, 0 clqs
0.69/0.75	c (round 54) 4101 del vars, 7062 del conss, 0 add conss, 943 chg bounds, 140 chg sides, 281 chg coeffs, 0 upgd conss, 53946 impls, 0 clqs
0.69/0.75	c (round 55) 4114 del vars, 7108 del conss, 0 add conss, 955 chg bounds, 143 chg sides, 287 chg coeffs, 0 upgd conss, 54060 impls, 0 clqs
0.69/0.75	c (round 56) 4129 del vars, 7152 del conss, 0 add conss, 970 chg bounds, 145 chg sides, 291 chg coeffs, 0 upgd conss, 54088 impls, 0 clqs
0.69/0.75	c (round 57) 4149 del vars, 7184 del conss, 0 add conss, 984 chg bounds, 149 chg sides, 297 chg coeffs, 0 upgd conss, 54194 impls, 0 clqs
0.69/0.75	c (round 58) 4159 del vars, 7225 del conss, 0 add conss, 994 chg bounds, 151 chg sides, 301 chg coeffs, 0 upgd conss, 54226 impls, 0 clqs
0.69/0.75	c (round 59) 4174 del vars, 7249 del conss, 0 add conss, 1006 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54313 impls, 0 clqs
0.69/0.75	c (round 60) 4182 del vars, 7284 del conss, 0 add conss, 1013 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54337 impls, 0 clqs
0.69/0.75	c (round 61) 4189 del vars, 7299 del conss, 0 add conss, 1022 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54356 impls, 0 clqs
0.69/0.75	c (round 62) 4197 del vars, 7320 del conss, 0 add conss, 1028 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54396 impls, 0 clqs
0.69/0.75	c (round 63) 4202 del vars, 7334 del conss, 0 add conss, 1033 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54421 impls, 0 clqs
0.69/0.75	c (round 64) 4210 del vars, 7345 del conss, 0 add conss, 1037 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54471 impls, 0 clqs
0.69/0.75	c (round 65) 4214 del vars, 7364 del conss, 0 add conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54527 impls, 0 clqs
0.69/0.75	c (round 66) 4214 del vars, 7366 del conss, 0 add conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54535 impls, 0 clqs
0.69/0.75	c (round 67) 4214 del vars, 7367 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6227 upgd conss, 54535 impls, 0 clqs
0.69/0.75	c (round 68) 4214 del vars, 7488 del conss, 0 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6227 upgd conss, 54535 impls, 0 clqs
0.69/0.79	c (round 69) 4239 del vars, 7491 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6227 upgd conss, 71147 impls, 0 clqs
0.79/0.80	c (round 70) 4239 del vars, 7516 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6252 upgd conss, 71147 impls, 0 clqs
0.79/0.85	c (round 71) 4264 del vars, 7516 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6252 upgd conss, 92613 impls, 0 clqs
0.79/0.86	c (round 72) 4264 del vars, 7541 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6277 upgd conss, 92613 impls, 0 clqs
0.79/0.89	c (round 73) 4289 del vars, 7541 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6277 upgd conss, 94055 impls, 0 clqs
0.89/0.91	c (round 74) 4289 del vars, 7566 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6286 upgd conss, 94055 impls, 0 clqs
0.89/0.93	c (round 75) 4314 del vars, 7566 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6286 upgd conss, 94705 impls, 0 clqs
0.89/0.95	c (round 76) 4314 del vars, 7591 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6286 upgd conss, 94705 impls, 0 clqs
0.89/0.98	c (round 77) 4339 del vars, 7591 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6286 upgd conss, 96051 impls, 0 clqs
0.89/1.00	c (round 78) 4339 del vars, 7616 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6288 upgd conss, 96051 impls, 0 clqs
1.00/1.03	c (round 79) 4364 del vars, 7616 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6288 upgd conss, 98413 impls, 0 clqs
1.00/1.05	c (round 80) 4364 del vars, 7641 del conss, 1 add conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6288 upgd conss, 98413 impls, 0 clqs
1.00/1.08	c    (1.1s) probing: 272/2138 (12.7%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
1.00/1.08	c    (1.1s) probing aborted: 50/50 successive totally useless probings
1.00/1.08	c (round 81) 4365 del vars, 7641 del conss, 1 add conss, 1042 chg bounds, 159 chg sides, 315 chg coeffs, 6288 upgd conss, 98456 impls, 0 clqs
1.00/1.09	c (round 82) 4366 del vars, 7645 del conss, 1 add conss, 1042 chg bounds, 159 chg sides, 315 chg coeffs, 6293 upgd conss, 98470 impls, 0 clqs
1.10/1.11	c (round 83) 4366 del vars, 7647 del conss, 1 add conss, 1042 chg bounds, 159 chg sides, 315 chg coeffs, 6293 upgd conss, 98470 impls, 0 clqs
1.10/1.13	c (round 84) 4366 del vars, 7649 del conss, 1 add conss, 1042 chg bounds, 159 chg sides, 315 chg coeffs, 6293 upgd conss, 98470 impls, 0 clqs
1.10/1.14	c    (1.1s) probing: 277/2138 (13.0%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
1.10/1.14	c    (1.1s) probing aborted: 50/50 successive totally useless probings
1.10/1.15	c presolving (85 rounds):
1.10/1.15	c  4366 deleted vars, 7649 deleted constraints, 1 added constraints, 1042 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
1.10/1.15	c  98470 implications, 0 cliques
1.10/1.15	c presolved problem has 1986 variables (1986 bin, 0 int, 0 impl, 0 cont) and 5825 constraints
1.10/1.15	c    1091 constraints of type <setppc>
1.10/1.15	c       1 constraints of type <and>
1.10/1.15	c    4733 constraints of type <logicor>
1.10/1.15	c transformed objective value is always integral (scale: 1)
1.10/1.15	c Presolving Time: 1.09
1.10/1.15	c - non default parameters ----------------------------------------------------------------------
1.10/1.15	c # SCIP version 2.1.1.4
1.10/1.15	c 
1.10/1.15	c # maximal time in seconds to run
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15	c limits/time = 1797
1.10/1.15	c 
1.10/1.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15	c limits/memory = 13950
1.10/1.15	c 
1.10/1.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.15	c # [type: int, range: [1,2], default: 1]
1.10/1.15	c timing/clocktype = 2
1.10/1.15	c 
1.10/1.15	c # belongs reading time to solving time?
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c timing/reading = TRUE
1.10/1.15	c 
1.10/1.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15	c separating/rapidlearning/freq = 0
1.10/1.15	c 
1.10/1.15	c -----------------------------------------------------------------------------------------------
1.10/1.15	c start solving
1.10/1.15	c 
1.29/1.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.29/1.32	c   1.3s|     1 |     0 |  2249 |     - |  22M|   0 |1250 |1986 |5897 |1986 |5826 |   0 |  72 |   0 | 2.807498e+03 |      --      |    Inf 
3.09/3.16	c   3.2s|     1 |     0 |  6509 |     - |  25M|   0 |1167 |1986 |6582 |1986 |6049 | 223 |  72 |   0 | 2.838552e+03 |      --      |    Inf 
3.29/3.33	c   3.3s|     1 |     0 |  6851 |     - |  26M|   0 |1185 |1986 |6582 |1986 |6081 | 255 |  72 |   0 | 2.844237e+03 |      --      |    Inf 
3.49/3.55	c   3.6s|     1 |     0 |  7389 |     - |  26M|   0 |1172 |1986 |6582 |1986 |6111 | 285 |  72 |   0 | 2.848937e+03 |      --      |    Inf 
3.69/3.74	c   3.7s|     1 |     0 |  7800 |     - |  27M|   0 |1249 |1986 |6582 |1986 |6137 | 311 |  72 |   0 | 2.852637e+03 |      --      |    Inf 
3.89/3.99	c   4.0s|     1 |     0 |  8193 |     - |  28M|   0 |1233 |1986 |6582 |1986 |6180 | 354 |  72 |   0 | 2.857433e+03 |      --      |    Inf 
4.30/4.35	c   4.3s|     1 |     0 |  9409 |     - |  29M|   0 |1235 |1986 |6582 |1986 |6223 | 397 |  72 |   0 | 2.865595e+03 |      --      |    Inf 
4.59/4.65	c   4.7s|     1 |     0 | 10048 |     - |  30M|   0 |1249 |1986 |6582 |1986 |6258 | 432 |  72 |   0 | 2.870242e+03 |      --      |    Inf 
4.99/5.02	c   5.0s|     1 |     0 | 10723 |     - |  30M|   0 |1227 |1986 |6582 |1986 |6305 | 479 |  72 |   0 | 2.876381e+03 |      --      |    Inf 
5.29/5.37	c   5.4s|     1 |     0 | 11581 |     - |  32M|   0 |1250 |1986 |6582 |1986 |6344 | 518 |  72 |   0 | 2.881052e+03 |      --      |    Inf 
5.59/5.66	c   5.7s|     1 |     0 | 12279 |     - |  33M|   0 |1241 |1986 |6582 |1986 |6375 | 549 |  72 |   0 | 2.885154e+03 |      --      |    Inf 
5.89/5.95	c   5.9s|     1 |     0 | 13103 |     - |  35M|   0 |1245 |1986 |6582 |1986 |6413 | 587 |  72 |   0 | 2.891523e+03 |      --      |    Inf 
6.19/6.24	c   6.2s|     1 |     0 | 13970 |     - |  36M|   0 |1230 |1986 |6582 |1986 |6445 | 619 |  72 |   0 | 2.896841e+03 |      --      |    Inf 
6.39/6.47	c   6.5s|     1 |     0 | 14517 |     - |  38M|   0 |1305 |1986 |6582 |1986 |6474 | 648 |  72 |   0 | 2.901796e+03 |      --      |    Inf 
6.69/6.73	c   6.7s|     1 |     0 | 15074 |     - |  39M|   0 |1328 |1986 |6582 |1986 |6515 | 689 |  72 |   0 | 2.908015e+03 |      --      |    Inf 
6.98/7.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.98/7.01	c   7.0s|     1 |     0 | 15929 |     - |  40M|   0 |1368 |1986 |6582 |1986 |6342 | 728 |  72 |   0 | 2.911565e+03 |      --      |    Inf 
7.29/7.36	c   7.4s|     1 |     0 | 17014 |     - |  41M|   0 |1320 |1986 |6582 |1986 |6379 | 765 |  72 |   0 | 2.916459e+03 |      --      |    Inf 
7.49/7.57	c   7.6s|     1 |     0 | 17521 |     - |  43M|   0 |1376 |1986 |6582 |1986 |6420 | 806 |  72 |   0 | 2.919774e+03 |      --      |    Inf 
7.79/7.82	c   7.8s|     1 |     0 | 18088 |     - |  44M|   0 |1362 |1986 |6582 |1986 |6454 | 840 |  72 |   0 | 2.923335e+03 |      --      |    Inf 
7.99/8.07	c   8.1s|     1 |     0 | 18750 |     - |  46M|   0 |1343 |1986 |6582 |1986 |6487 | 873 |  72 |   0 | 2.926246e+03 |      --      |    Inf 
8.19/8.24	c   8.2s|     1 |     0 | 19210 |     - |  47M|   0 |1341 |1986 |6582 |1986 |6517 | 903 |  72 |   0 | 2.927985e+03 |      --      |    Inf 
8.29/8.30	c   8.3s|     1 |     0 | 19351 |     - |  47M|   0 |1356 |1986 |6582 |1986 |6367 | 911 |  72 |   0 | 2.928299e+03 |      --      |    Inf 
8.29/8.36	c   8.4s|     1 |     0 | 19534 |     - |  47M|   0 |1350 |1986 |6582 |1986 |6373 | 917 |  72 |   0 | 2.928552e+03 |      --      |    Inf 
8.29/8.39	c   8.4s|     1 |     0 | 19555 |     - |  47M|   0 |1359 |1986 |6582 |1986 |6379 | 923 |  72 |   0 | 2.928552e+03 |      --      |    Inf 
9.28/9.37	c   9.4s|     1 |     2 | 19555 |     - |  47M|   0 |1359 |1986 |6582 |1986 |6379 | 923 |  72 |  13 | 2.928552e+03 |      --      |    Inf 
49.38/49.45	c  49.5s|   100 |    99 | 83856 | 649.5 |  48M|  17 |1585 |1986 |6636 |1986 |6096 | 923 | 126 | 893 | 2.956908e+03 |      --      |    Inf 
59.57/59.63	c  59.6s|   200 |   199 |118892 | 499.2 |  48M|  17 |1393 |1986 |6694 |1986 |6096 | 923 | 184 | 974 | 2.957075e+03 |      --      |    Inf 
69.87/69.91	c  69.9s|   300 |   299 |150829 | 439.0 |  48M|  17 |1322 |1986 |6743 |1986 |6096 | 923 | 236 |1091 | 2.958908e+03 |      --      |    Inf 
79.76/79.81	c  79.8s|   400 |   399 |180632 | 403.7 |  49M|  19 |1521 |1986 |6779 |1986 |6096 | 923 | 294 |1198 | 2.965226e+03 |      --      |    Inf 
89.36/89.44	c  89.4s|   500 |   499 |215569 | 392.8 |  49M|  19 |1597 |1986 |6791 |1986 |6096 | 923 | 319 |1305 | 2.976385e+03 |      --      |    Inf 
98.46/98.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
98.46/98.54	c  98.5s|   600 |   599 |245068 | 376.5 |  49M|  19 |1618 |1986 |6811 |1986 |6096 | 923 | 347 |1455 | 2.978385e+03 |      --      |    Inf 
109.56/109.66	c   110s|   700 |   699 |287073 | 382.7 |  49M|  22 |1526 |1986 |6825 |1986 |6096 | 923 | 379 |1569 | 2.978696e+03 |      --      |    Inf 
115.95/116.02	c   116s|   800 |   799 |309289 | 362.6 |  49M|  22 |1549 |1986 |6825 |1986 |6096 | 923 | 397 |1641 | 2.979552e+03 |      --      |    Inf 
126.65/126.74	c   127s|   900 |   855 |345601 | 362.7 |  50M|  34 | 331 |1986 |6920 |1986 |6096 | 923 | 528 |1769 | 2.979838e+03 |      --      |    Inf 
138.96/139.05	c   139s|  1000 |   867 |386097 | 366.9 |  50M|  35 |   - |1986 |7100 |1986 |6096 | 923 | 749 |1903 | 2.981030e+03 |      --      |    Inf 
151.85/151.92	c   152s|  1100 |   900 |430702 | 374.1 |  50M|  35 |1512 |1986 |7244 |1986 |6096 | 923 | 987 |1993 | 2.982552e+03 |      --      |    Inf 
160.95/161.07	c   161s|  1200 |   996 |462240 | 369.2 |  50M|  35 |1389 |1986 |7219 |1986 |6096 | 923 |1012 |2081 | 2.989552e+03 |      --      |    Inf 
170.46/170.52	c   171s|  1300 |  1096 |496745 | 367.4 |  50M|  35 |1654 |1986 |7165 |1986 |6096 | 923 |1040 |2145 | 2.992862e+03 |      --      |    Inf 
177.55/177.62	c   178s|  1400 |  1196 |522072 | 359.2 |  51M|  35 |1532 |1986 |6980 |1986 |6096 | 923 |1067 |2201 | 2.993862e+03 |      --      |    Inf 
186.65/186.73	c   187s|  1500 |  1289 |555757 | 357.7 |  51M|  35 |1535 |1986 |6962 |1986 |6096 | 923 |1125 |2297 | 2.994219e+03 |      --      |    Inf 
194.25/194.31	c   194s|  1600 |  1373 |583157 | 352.5 |  51M|  35 |   - |1986 |6969 |1986 |6096 | 923 |1184 |2370 | 2.994552e+03 |      --      |    Inf 
202.15/202.27	c   202s|  1700 |  1470 |612633 | 349.1 |  51M|  35 |1631 |1986 |6985 |1986 |6096 | 923 |1233 |2434 | 2.994793e+03 |      --      |    Inf 
207.34/207.46	c   207s|  1800 |  1568 |637455 | 343.5 |  51M|  35 |1641 |1986 |6974 |1986 |6096 | 923 |1254 |2442 | 2.995052e+03 |      --      |    Inf 
213.54/213.70	c   214s|  1900 |  1658 |667183 | 341.0 |  52M|  35 |1659 |1986 |6985 |1986 |6096 | 923 |1341 |2446 | 2.995219e+03 |      --      |    Inf 
220.14/220.26	c   220s|  2000 |  1749 |697517 | 339.2 |  52M|  35 |1570 |1986 |7003 |1986 |6096 | 923 |1394 |2447 | 2.995219e+03 |      --      |    Inf 
226.34/226.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
226.34/226.48	c   226s|  2100 |  1849 |726388 | 336.7 |  52M|  35 |1648 |1986 |7019 |1986 |6096 | 923 |1432 |2456 | 2.995719e+03 |      --      |    Inf 
233.34/233.40	c   233s|  2200 |  1949 |751796 | 333.0 |  52M|  35 |1541 |1986 |7025 |1986 |6096 | 923 |1450 |2509 | 2.996052e+03 |      --      |    Inf 
241.04/241.15	c   241s|  2300 |  2030 |780499 | 331.0 |  53M|  35 |1468 |1986 |7061 |1986 |6096 | 923 |1527 |2564 | 2.996195e+03 |      --      |    Inf 
249.13/249.25	c   249s|  2400 |  2125 |810500 | 329.7 |  53M|  35 |1630 |1986 |7058 |1986 |6096 | 923 |1573 |2625 | 2.996219e+03 |      --      |    Inf 
257.13/257.22	c   257s|  2500 |  2225 |842266 | 329.2 |  53M|  35 |1546 |1986 |7036 |1986 |6096 | 923 |1585 |2683 | 2.996719e+03 |      --      |    Inf 
266.74/266.81	c   267s|  2600 |  2325 |879583 | 330.9 |  53M|  35 |1524 |1986 |7030 |1986 |6096 | 923 |1615 |2749 | 2.997219e+03 |      --      |    Inf 
275.64/275.70	c   276s|  2700 |  2425 |911367 | 330.4 |  54M|  35 |1591 |1986 |7028 |1986 |6096 | 923 |1648 |2826 | 2.997695e+03 |      --      |    Inf 
282.64/282.78	c   283s|  2800 |  2525 |940314 | 329.0 |  54M|  35 |1544 |1986 |7011 |1986 |6096 | 923 |1656 |2871 | 2.998719e+03 |      --      |    Inf 
295.43/295.52	c   296s|  2900 |  2621 |991504 | 335.3 |  54M|  35 |   - |1986 |7023 |   0 |   0 | 923 |1703 |2946 | 3.000136e+03 |      --      |    Inf 
303.93/304.02	c   304s|  3000 |  2720 |  1024k| 334.9 |  54M|  35 |1529 |1986 |7006 |1986 |6096 | 923 |1727 |3005 | 3.000372e+03 |      --      |    Inf 
312.24/312.34	c   312s|  3100 |  2798 |  1055k| 334.4 |  55M|  35 |1311 |1986 |7073 |1986 |6096 | 923 |1824 |3063 | 3.001136e+03 |      --      |    Inf 
321.83/321.91	c   322s|  3200 |  2898 |  1092k| 335.3 |  55M|  35 |1529 |1986 |7100 |1986 |6096 | 923 |1870 |3148 | 3.001136e+03 |      --      |    Inf 
329.52/329.68	c   330s|  3300 |  2998 |  1120k| 333.7 |  55M|  35 | 364 |1986 |7095 |1986 |6096 | 923 |1887 |3230 | 3.001136e+03 |      --      |    Inf 
338.63/338.75	c   339s|  3400 |  3077 |  1153k| 333.5 |  55M|  35 |1565 |1986 |7124 |1986 |6096 | 923 |1974 |3288 | 3.001136e+03 |      --      |    Inf 
350.73/350.82	c   351s|  3500 |  3171 |  1195k| 336.1 |  56M|  35 |1559 |1986 |7141 |1986 |6096 | 923 |2038 |3396 | 3.004690e+03 |      --      |    Inf 
358.83/358.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
358.83/358.91	c   359s|  3600 |  3261 |  1225k| 335.1 |  56M|  35 |1603 |1986 |7123 |1986 |6096 | 923 |2072 |3466 | 3.005636e+03 |      --      |    Inf 
367.72/367.80	c   368s|  3700 |  3335 |  1256k| 334.4 |  56M|  35 |1605 |1986 |7157 |1986 |6096 | 923 |2196 |3554 | 3.009386e+03 |      --      |    Inf 
378.82/378.90	c   379s|  3800 |  3435 |  1297k| 336.4 |  56M|  35 |1520 |1986 |7115 |1986 |6096 | 923 |2227 |3652 | 3.009386e+03 |      --      |    Inf 
386.82/386.91	c   387s|  3900 |  3531 |  1327k| 335.5 |  56M|  35 |1600 |1986 |7098 |1986 |6096 | 923 |2250 |3725 | 3.011386e+03 |      --      |    Inf 
395.71/395.85	c   396s|  4000 |  3613 |  1360k| 335.3 |  57M|  35 |1523 |1986 |7116 |1986 |6096 | 923 |2335 |3799 | 3.011719e+03 |      --      |    Inf 
404.31/404.41	c   404s|  4100 |  3708 |  1390k| 334.4 |  57M|  35 |1647 |1986 |7104 |1986 |6096 | 923 |2378 |3874 | 3.011886e+03 |      --      |    Inf 
412.12/412.27	c   412s|  4200 |  3790 |  1420k| 333.7 |  57M|  35 |1534 |1986 |7122 |1986 |6096 | 923 |2460 |3929 | 3.012219e+03 |      --      |    Inf 
422.41/422.51	c   423s|  4300 |  3848 |  1457k| 334.4 |  57M|  36 |1522 |1986 |7227 |1986 |6096 | 923 |2625 |3993 | 3.012302e+03 |      --      |    Inf 
431.21/431.30	c   431s|  4400 |  3908 |  1489k| 334.1 |  58M|  36 |1501 |1986 |7280 |1986 |6096 | 923 |2757 |4065 | 3.012886e+03 |      --      |    Inf 
436.91/437.06	c   437s|  4500 |  3982 |  1518k| 333.1 |  58M|  36 |1476 |1986 |7243 |1986 |6096 | 923 |2829 |4075 | 3.013063e+03 |      --      |    Inf 
443.41/443.53	c   444s|  4600 |  4068 |  1547k| 332.3 |  58M|  36 |1568 |1986 |7199 |1986 |6096 | 923 |2910 |4081 | 3.013230e+03 |      --      |    Inf 
449.82/449.97	c   450s|  4700 |  4136 |  1578k| 331.8 |  58M|  36 |1482 |1986 |7209 |1986 |6096 | 923 |3019 |4083 | 3.013230e+03 |      --      |    Inf 
457.51/457.66	c   458s|  4800 |  4220 |  1614k| 332.4 |  58M|  36 |1524 |1986 |7223 |1986 |6096 | 923 |3119 |4086 | 3.014063e+03 |      --      |    Inf 
463.50/463.61	c   464s|  4900 |  4294 |  1643k| 331.5 |  59M|  37 | 495 |1986 |7234 |1986 |6096 | 923 |3220 |4086 | 3.014063e+03 |      --      |    Inf 
469.21/469.37	c   469s|  5000 |  4371 |  1672k| 330.6 |  59M|  37 |1339 |1986 |7221 |1986 |6096 | 923 |3319 |4086 | 3.014230e+03 |      --      |    Inf 
477.21/477.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
477.21/477.39	c   477s|  5100 |  4423 |  1707k| 331.0 |  59M|  37 |1473 |1986 |7277 |1986 |6096 | 923 |3491 |4100 | 3.014230e+03 |      --      |    Inf 
485.70/485.88	c   486s|  5200 |  4482 |  1738k| 330.7 |  59M|  37 |   - |1986 |7283 |   0 |   0 | 923 |3643 |4151 | 3.014230e+03 |      --      |    Inf 
495.50/495.60	c   496s|  5300 |  4543 |  1773k| 331.1 |  59M|  37 |1584 |1986 |7275 |1986 |6096 | 923 |3771 |4197 | 3.014886e+03 |      --      |    Inf 
505.30/505.48	c   505s|  5400 |  4598 |  1810k| 331.7 |  60M|  37 | 507 |1986 |7358 |1986 |6096 | 923 |4001 |4249 | 3.015063e+03 |      --      |    Inf 
516.00/516.10	c   516s|  5500 |  4618 |  1848k| 332.5 |  60M|  37 |1529 |1986 |7518 |1986 |6096 | 923 |4307 |4310 | 3.015230e+03 |      --      |    Inf 
527.80/527.92	c   528s|  5600 |  4664 |  1894k| 334.9 |  60M|  37 |1628 |1986 |7574 |1986 |6096 | 923 |4515 |4358 | 3.015230e+03 |      --      |    Inf 
541.00/541.15	c   541s|  5700 |  4702 |  1943k| 337.6 |  60M|  37 | 347 |1986 |7553 |1986 |6096 | 923 |4738 |4425 | 3.015230e+03 |      --      |    Inf 
554.89/555.07	c   555s|  5800 |  4750 |  1995k| 340.7 |  60M|  37 |1601 |1986 |7459 |1986 |6096 | 923 |4904 |4469 | 3.015328e+03 |      --      |    Inf 
566.29/566.49	c   566s|  5900 |  4791 |  2037k| 342.0 |  60M|  37 |1430 |1986 |7451 |1986 |6096 | 923 |5118 |4526 | 3.015385e+03 |      --      |    Inf 
576.99/577.13	c   577s|  6000 |  4835 |  2077k| 343.1 |  61M|  37 |   - |1986 |7458 |   0 |   0 | 923 |5315 |4578 | 3.015385e+03 |      --      |    Inf 
586.09/586.26	c   586s|  6100 |  4886 |  2113k| 343.3 |  61M|  37 | 362 |1986 |7502 |1986 |6096 | 923 |5501 |4629 | 3.015896e+03 |      --      |    Inf 
597.48/597.63	c   598s|  6200 |  4897 |  2154k| 344.3 |  61M|  37 |1603 |1986 |7730 |1986 |6096 | 923 |5855 |4705 | 3.016230e+03 |      --      |    Inf 
608.98/609.16	c   609s|  6300 |  4954 |  2198k| 345.9 |  61M|  37 | 381 |1986 |7755 |1986 |6096 | 923 |6060 |4752 | 3.016328e+03 |      --      |    Inf 
618.38/618.51	c   619s|  6400 |  4973 |  2229k| 345.4 |  61M|  37 |1577 |1986 |7859 |1986 |6096 | 923 |6288 |4804 | 3.016385e+03 |      --      |    Inf 
629.17/629.33	c   629s|  6500 |  4996 |  2275k| 347.1 |  61M|  37 | 322 |1986 |7966 |1986 |6096 | 923 |6511 |4862 | 3.016385e+03 |      --      |    Inf 
640.68/640.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
640.68/640.86	c   641s|  6600 |  5022 |  2318k| 348.3 |  62M|  37 | 282 |1986 |8030 |1986 |6096 | 923 |6773 |4918 | 3.016718e+03 |      --      |    Inf 
650.87/651.03	c   651s|  6700 |  5041 |  2354k| 348.6 |  62M|  37 |1488 |1986 |8097 |1986 |6096 | 923 |7029 |5000 | 3.016896e+03 |      --      |    Inf 
662.27/662.43	c   662s|  6800 |  5070 |  2396k| 349.5 |  62M|  37 |1475 |1986 |8156 |1986 |6096 | 923 |7367 |5061 | 3.017028e+03 |      --      |    Inf 
675.46/675.67	c   676s|  6900 |  5129 |  2447k| 351.9 |  62M|  37 |1526 |1986 |8016 |1986 |6096 | 923 |7579 |5117 | 3.017385e+03 |      --      |    Inf 
688.47/688.64	c   689s|  7000 |  5154 |  2506k| 355.3 |  62M|  37 |1161 |1986 |8033 |1986 |6096 | 923 |7811 |5157 | 3.017495e+03 |      --      |    Inf 
698.66/698.80	c   699s|  7100 |  5172 |  2544k| 355.6 |  62M|  37 | 374 |1986 |8101 |1986 |6096 | 923 |8105 |5209 | 3.017552e+03 |      --      |    Inf 
709.96/710.11	c   710s|  7200 |  5190 |  2587k| 356.6 |  62M|  37 | 377 |1986 |8226 |1986 |6096 | 923 |8481 |5274 | 3.018028e+03 |      --      |    Inf 
720.16/720.35	c   720s|  7300 |  5214 |  2625k| 357.1 |  62M|  37 |1548 |1986 |8201 |1986 |6096 | 923 |8683 |5324 | 3.018146e+03 |      --      |    Inf 
730.86/731.01	c   731s|  7400 |  5231 |  2664k| 357.4 |  63M|  37 |1502 |1986 |8222 |1986 |6096 | 923 |8967 |5378 | 3.019146e+03 |      --      |    Inf 
741.56/741.74	c   742s|  7500 |  5250 |  2702k| 357.7 |  63M|  37 | 315 |1986 |8333 |1986 |6096 | 923 |9251 |5454 | 3.019552e+03 |      --      |    Inf 
752.86/753.06	c   753s|  7600 |  5291 |  2745k| 358.7 |  63M|  37 |   - |1986 |8292 |   0 |   0 | 923 |9483 |5494 | 3.019718e+03 |      --      |    Inf 
761.95/762.18	c   762s|  7700 |  5298 |  2779k| 358.4 |  63M|  37 |1350 |1986 |8378 |1986 |6096 | 923 |9753 |5544 | 3.019719e+03 |      --      |    Inf 
771.55/771.74	c   772s|  7800 |  5312 |  2816k| 358.7 |  63M|  37 |1598 |1986 |8513 |1986 |6096 | 923 |  10k|5590 | 3.020146e+03 |      --      |    Inf 
781.35/781.56	c   782s|  7900 |  5338 |  2854k| 358.8 |  63M|  37 |   - |1986 |8578 |1986 |6096 | 923 |  10k|5655 | 3.020719e+03 |      --      |    Inf 
790.85/791.05	c   791s|  8000 |  5359 |  2891k| 359.0 |  64M|  37 |   - |1986 |8684 |   0 |   0 | 923 |  10k|5703 | 3.022386e+03 |      --      |    Inf 
800.55/800.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
800.55/800.79	c   801s|  8100 |  5371 |  2928k| 359.1 |  64M|  37 | 377 |1986 |8646 |1986 |6096 | 923 |  11k|5743 | 3.023386e+03 |      --      |    Inf 
810.45/810.68	c   811s|  8200 |  5390 |  2971k| 360.0 |  64M|  37 | 510 |1986 |8507 |1986 |6096 | 923 |  11k|5765 | 3.025146e+03 |      --      |    Inf 
817.65/817.87	c   818s|  8300 |  5405 |  3005k| 359.8 |  64M|  37 |1473 |1986 |8352 |1986 |6096 | 923 |  11k|5765 | 3.025146e+03 |      --      |    Inf 
826.35/826.55	c   827s|  8400 |  5431 |  3045k| 360.3 |  64M|  37 | 360 |1986 |8452 |1986 |6096 | 923 |  11k|5765 | 3.026469e+03 |      --      |    Inf 
831.54/831.74	c   832s|  8500 |  5453 |  3070k| 359.0 |  64M|  37 |1552 |1986 |8463 |1986 |6096 | 923 |  12k|5765 | 3.026563e+03 |      --      |    Inf 
837.34/837.55	c   838s|  8600 |  5472 |  3098k| 358.1 |  64M|  38 |1546 |1986 |8460 |1986 |6096 | 923 |  12k|5765 | 3.027469e+03 |      --      |    Inf 
843.74/843.90	c   844s|  8700 |  5477 |  3127k| 357.2 |  64M|  38 | 326 |1986 |8383 |1986 |6096 | 923 |  12k|5765 | 3.027563e+03 |      --      |    Inf 
849.24/849.44	c   849s|  8800 |  5470 |  3156k| 356.5 |  64M|  38 |1484 |1986 |8377 |1986 |6096 | 923 |  12k|5765 | 3.027563e+03 |      --      |    Inf 
854.94/855.12	c   855s|  8900 |  5518 |  3181k| 355.3 |  64M|  38 |   - |1986 |8235 |   0 |   0 | 923 |  12k|5765 | 3.028386e+03 |      --      |    Inf 
861.33/861.52	c   862s|  9000 |  5511 |  3211k| 354.7 |  64M|  38 | 467 |1986 |8372 |1986 |6096 | 923 |  13k|5765 | 3.028386e+03 |      --      |    Inf 
867.54/867.77	c   868s|  9100 |  5523 |  3241k| 354.1 |  64M|  38 | 362 |1986 |8510 |1986 |6096 | 923 |  13k|5765 | 3.028563e+03 |      --      |    Inf 
875.94/876.16	c   876s|  9200 |  5534 |  3279k| 354.3 |  64M|  38 | 475 |1986 |8431 |1986 |6096 | 923 |  13k|5776 | 3.028563e+03 |      --      |    Inf 
885.34/885.55	c   886s|  9300 |  5542 |  3316k| 354.5 |  64M|  38 |1533 |1986 |8486 |1986 |6096 | 923 |  14k|5811 | 3.028563e+03 |      --      |    Inf 
895.04/895.22	c   895s|  9400 |  5574 |  3354k| 354.8 |  65M|  38 |   - |1986 |8495 |1986 |6096 | 923 |  14k|5851 | 3.028563e+03 |      --      |    Inf 
905.73/905.96	c   906s|  9500 |  5596 |  3394k| 355.3 |  65M|  38 |   - |1986 |8477 |1986 |6096 | 923 |  14k|5893 | 3.028563e+03 |      --      |    Inf 
915.63/915.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
915.63/915.86	c   916s|  9600 |  5599 |  3431k| 355.5 |  65M|  38 | 474 |1986 |8623 |1986 |6096 | 923 |  15k|5929 | 3.028563e+03 |      --      |    Inf 
923.03/923.26	c   923s|  9700 |  5611 |  3463k| 355.1 |  65M|  38 |   - |1986 |8766 |   0 |   0 | 923 |  15k|5959 | 3.028730e+03 |      --      |    Inf 
930.23/930.41	c   930s|  9800 |  5609 |  3491k| 354.3 |  65M|  38 |   - |1986 |9019 |   0 |   0 | 923 |  15k|6002 | 3.028730e+03 |      --      |    Inf 
940.03/940.27	c   940s|  9900 |  5627 |  3530k| 354.6 |  65M|  38 |1535 |1986 |8970 |1986 |6096 | 923 |  15k|6042 | 3.029563e+03 |      --      |    Inf 
948.72/948.93	c   949s| 10000 |  5667 |  3565k| 354.6 |  65M|  38 |   - |1986 |9016 |   0 |   0 | 923 |  16k|6069 | 3.029563e+03 |      --      |    Inf 
959.32/959.50	c   960s| 10100 |  5672 |  3605k| 355.1 |  65M|  38 |1317 |1986 |8942 |1986 |6096 | 923 |  16k|6114 | 3.029730e+03 |      --      |    Inf 
968.52/968.79	c   969s| 10200 |  5671 |  3638k| 354.9 |  65M|  38 | 479 |1986 |8750 |1986 |6096 | 923 |  16k|6168 | 3.029828e+03 |      --      |    Inf 
978.42/978.64	c   979s| 10300 |  5685 |  3678k| 355.2 |  65M|  38 |   - |1986 |8712 |1986 |6096 | 923 |  16k|6209 | 3.030719e+03 |      --      |    Inf 
985.72/985.99	c   986s| 10400 |  5718 |  3707k| 354.6 |  65M|  38 |   - |1986 |8639 |   0 |   0 | 923 |  17k|6236 | 3.030730e+03 |      --      |    Inf 
994.81/995.05	c   995s| 10500 |  5743 |  3740k| 354.4 |  65M|  38 |1265 |1986 |8540 |1986 |6096 | 923 |  17k|6284 | 3.030730e+03 |      --      |    Inf 
1001.93/1002.14	c  1002s| 10600 |  5754 |  3769k| 353.8 |  65M|  38 | 483 |1986 |8549 |1986 |6096 | 923 |  17k|6305 | 3.030730e+03 |      --      |    Inf 
1009.81/1010.06	c  1010s| 10700 |  5758 |  3799k| 353.3 |  66M|  38 | 509 |1986 |8615 |1986 |6096 | 923 |  18k|6340 | 3.030886e+03 |      --      |    Inf 
1016.91/1017.18	c  1017s| 10800 |  5766 |  3827k| 352.6 |  66M|  38 |1276 |1986 |8621 |1986 |6096 | 923 |  18k|6366 | 3.030886e+03 |      --      |    Inf 
1025.11/1025.32	c  1025s| 10900 |  5779 |  3856k| 352.1 |  66M|  38 | 332 |1986 |8641 |1986 |6096 | 923 |  18k|6405 | 3.030886e+03 |      --      |    Inf 
1036.41/1036.66	c  1037s| 11000 |  5799 |  3901k| 352.9 |  66M|  38 |1197 |1986 |8581 |1986 |6096 | 923 |  18k|6434 | 3.031052e+03 |      --      |    Inf 
1044.91/1045.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1044.91/1045.12	c  1045s| 11100 |  5800 |  3930k| 352.4 |  66M|  38 |1404 |1986 |8649 |1986 |6096 | 923 |  19k|6482 | 3.031218e+03 |      --      |    Inf 
1053.51/1053.72	c  1054s| 11200 |  5811 |  3964k| 352.3 |  66M|  38 |1424 |1986 |8621 |1986 |6096 | 923 |  19k|6510 | 3.031719e+03 |      --      |    Inf 
1063.31/1063.60	c  1064s| 11300 |  5821 |  4007k| 353.0 |  66M|  38 | 484 |1986 |8655 |1986 |6096 | 923 |  19k|6538 | 3.031719e+03 |      --      |    Inf 
1071.60/1071.82	c  1072s| 11400 |  5839 |  4036k| 352.4 |  66M|  38 |   - |1986 |8573 |   0 |   0 | 923 |  19k|6575 | 3.031730e+03 |      --      |    Inf 
1078.60/1078.89	c  1079s| 11500 |  5839 |  4065k| 351.8 |  66M|  38 | 477 |1986 |8674 |1986 |6096 | 923 |  19k|6618 | 3.031730e+03 |      --      |    Inf 
1087.70/1087.98	c  1088s| 11600 |  5872 |  4098k| 351.6 |  66M|  38 |   - |1986 |8570 |   0 |   0 | 923 |  20k|6663 | 3.031886e+03 |      --      |    Inf 
1096.29/1096.53	c  1097s| 11700 |  5873 |  4126k| 351.0 |  66M|  38 |1307 |1986 |8648 |1986 |6096 | 923 |  20k|6706 | 3.031896e+03 |      --      |    Inf 
1101.60/1101.80	c  1102s| 11800 |  5882 |  4152k| 350.3 |  66M|  38 |1332 |1986 |8888 |1986 |6096 | 923 |  20k|6706 | 3.031896e+03 |      --      |    Inf 
1110.09/1110.32	c  1110s| 11900 |  5893 |  4183k| 350.0 |  66M|  38 |1540 |1986 |8893 |1986 |6096 | 923 |  21k|6742 | 3.031896e+03 |      --      |    Inf 
1117.79/1118.06	c  1118s| 12000 |  5904 |  4211k| 349.3 |  66M|  38 |1421 |1986 |8815 |1986 |6096 | 923 |  21k|6765 | 3.031969e+03 |      --      |    Inf 
1129.89/1130.18	c  1130s| 12100 |  5917 |  4263k| 350.8 |  66M|  38 |1595 |1986 |8752 |1986 |6096 | 923 |  21k|6812 | 3.032063e+03 |      --      |    Inf 
1137.49/1137.77	c  1138s| 12200 |  5919 |  4291k| 350.2 |  66M|  38 |1135 |1986 |8878 |1986 |6096 | 923 |  21k|6857 | 3.032063e+03 |      --      |    Inf 
1146.79/1147.08	c  1147s| 12300 |  5928 |  4323k| 349.9 |  66M|  38 |1511 |1986 |8788 |1986 |6096 | 923 |  22k|6910 | 3.032469e+03 |      --      |    Inf 
1154.59/1154.85	c  1155s| 12400 |  5941 |  4357k| 349.9 |  66M|  38 |   - |1986 |8879 |   0 |   0 | 923 |  22k|6933 | 3.032469e+03 |      --      |    Inf 
1163.69/1163.91	c  1164s| 12500 |  5954 |  4391k| 349.8 |  67M|  38 | 485 |1986 |8952 |1986 |6096 | 923 |  22k|6977 | 3.032896e+03 |      --      |    Inf 
1172.39/1172.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1172.39/1172.64	c  1173s| 12600 |  5959 |  4425k| 349.7 |  67M|  38 | 509 |1986 |9122 |1986 |6096 | 923 |  23k|7019 | 3.032896e+03 |      --      |    Inf 
1181.28/1181.51	c  1182s| 12700 |  5958 |  4459k| 349.6 |  67M|  38 |1491 |1986 |9099 |1986 |6096 | 923 |  23k|7054 | 3.032896e+03 |      --      |    Inf 
1192.69/1192.90	c  1193s| 12800 |  5986 |  4502k| 350.3 |  67M|  38 |   - |1986 |8871 |   0 |   0 | 923 |  23k|7086 | 3.033063e+03 |      --      |    Inf 
1202.09/1202.38	c  1202s| 12900 |  5991 |  4536k| 350.2 |  67M|  38 |1390 |1986 |8914 |1986 |6096 | 923 |  24k|7128 | 3.033063e+03 |      --      |    Inf 
1207.18/1207.47	c  1207s| 13000 |  6001 |  4558k| 349.2 |  67M|  38 |   - |1986 |8945 |   0 |   0 | 923 |  24k|7145 | 3.033063e+03 |      --      |    Inf 
1216.68/1216.93	c  1217s| 13100 |  6018 |  4598k| 349.5 |  67M|  38 |1424 |1986 |8837 |1986 |6096 | 923 |  24k|7182 | 3.033063e+03 |      --      |    Inf 
1227.18/1227.41	c  1227s| 13200 |  6027 |  4638k| 350.0 |  67M|  38 |   - |1986 |8700 |   0 |   0 | 923 |  24k|7220 | 3.033469e+03 |      --      |    Inf 
1236.18/1236.46	c  1236s| 13300 |  6053 |  4673k| 349.9 |  67M|  38 |1559 |1986 |8610 |1986 |6096 | 923 |  25k|7254 | 3.033719e+03 |      --      |    Inf 
1242.58/1242.87	c  1243s| 13400 |  6066 |  4697k| 349.2 |  67M|  38 |   - |1986 |8673 |1986 |6096 | 923 |  25k|7275 | 3.033896e+03 |      --      |    Inf 
1250.08/1250.39	c  1250s| 13500 |  6074 |  4721k| 348.3 |  67M|  38 |1301 |1986 |8579 |1986 |6096 | 923 |  25k|7320 | 3.033896e+03 |      --      |    Inf 
1256.98/1257.29	c  1257s| 13600 |  6079 |  4751k| 348.0 |  67M|  38 |1264 |1986 |8391 |1986 |6096 | 923 |  25k|7353 | 3.033896e+03 |      --      |    Inf 
1265.67/1265.95	c  1266s| 13700 |  6092 |  4786k| 348.0 |  67M|  38 |1473 |1986 |8268 |1986 |6096 | 923 |  25k|7385 | 3.033896e+03 |      --      |    Inf 
1273.67/1273.90	c  1274s| 13800 |  6105 |  4816k| 347.7 |  67M|  38 |   - |1986 |8253 |   0 |   0 | 923 |  26k|7414 | 3.033896e+03 |      --      |    Inf 
1280.97/1281.22	c  1281s| 13900 |  6117 |  4847k| 347.3 |  67M|  38 |1269 |1986 |8202 |1986 |6096 | 923 |  26k|7432 | 3.033896e+03 |      --      |    Inf 
1287.27/1287.55	c  1288s| 14000 |  6131 |  4877k| 347.0 |  67M|  38 |1317 |1986 |8107 |1986 |6096 | 923 |  26k|7436 | 3.033896e+03 |      --      |    Inf 
1293.47/1293.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1293.47/1293.73	c  1294s| 14100 |  6142 |  4909k| 346.8 |  67M|  38 | 443 |1986 |8081 |1986 |6096 | 923 |  26k|7436 | 3.034063e+03 |      --      |    Inf 
1299.26/1299.51	c  1300s| 14200 |  6148 |  4937k| 346.4 |  67M|  38 |   - |1986 |8112 |   0 |   0 | 923 |  27k|7436 | 3.034063e+03 |      --      |    Inf 
1305.87/1306.17	c  1306s| 14300 |  6170 |  4968k| 346.1 |  67M|  38 | 469 |1986 |8094 |1986 |6096 | 923 |  27k|7436 | 3.034063e+03 |      --      |    Inf 
1311.47/1311.77	c  1312s| 14400 |  6168 |  4994k| 345.5 |  67M|  38 |   - |1986 |8196 |1986 |6096 | 923 |  27k|7436 | 3.034063e+03 |      --      |    Inf 
1316.86/1317.11	c  1317s| 14500 |  6181 |  5018k| 344.8 |  67M|  39 | 429 |1986 |8119 |1986 |6096 | 923 |  27k|7436 | 3.034063e+03 |      --      |    Inf 
1322.36/1322.61	c  1323s| 14600 |  6191 |  5042k| 344.1 |  67M|  39 | 456 |1986 |8086 |1986 |6096 | 923 |  28k|7436 | 3.034063e+03 |      --      |    Inf 
1329.96/1330.26	c  1330s| 14700 |  6221 |  5077k| 344.1 |  67M|  39 |1311 |1986 |7957 |1986 |6096 | 923 |  28k|7436 | 3.034218e+03 |      --      |    Inf 
1335.96/1336.29	c  1336s| 14800 |  6233 |  5107k| 343.8 |  67M|  39 |1321 |1986 |7953 |1986 |6096 | 923 |  28k|7436 | 3.034328e+03 |      --      |    Inf 
1341.76/1342.05	c  1342s| 14900 |  6258 |  5133k| 343.3 |  67M|  39 | 586 |1986 |7897 |1986 |6096 | 923 |  28k|7436 | 3.034719e+03 |      --      |    Inf 
1347.65/1347.92	c  1348s| 15000 |  6265 |  5162k| 342.9 |  67M|  39 |   - |1986 |7927 |   0 |   0 | 923 |  28k|7436 | 3.034896e+03 |      --      |    Inf 
1352.76/1353.08	c  1353s| 15100 |  6269 |  5187k| 342.3 |  67M|  39 |   - |1986 |7972 |   0 |   0 | 924 |  29k|7436 | 3.034896e+03 |      --      |    Inf 
1358.76/1359.06	c  1359s| 15200 |  6291 |  5215k| 341.9 |  67M|  39 | 455 |1986 |8026 |1986 |6096 | 924 |  29k|7436 | 3.034896e+03 |      --      |    Inf 
1363.95/1364.27	c  1364s| 15300 |  6300 |  5240k| 341.3 |  67M|  39 |   - |1986 |8010 |   0 |   0 | 924 |  29k|7436 | 3.034896e+03 |      --      |    Inf 
1370.45/1370.79	c  1371s| 15400 |  6306 |  5272k| 341.1 |  67M|  39 |   - |1986 |7997 |   0 |   0 | 924 |  29k|7436 | 3.034896e+03 |      --      |    Inf 
1374.95/1375.27	c  1375s| 15500 |  6303 |  5295k| 340.4 |  67M|  39 |   - |1986 |8247 |   0 |   0 | 924 |  30k|7436 | 3.034896e+03 |      --      |    Inf 
1380.26/1380.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1380.26/1380.56	c  1381s| 15600 |  6308 |  5320k| 339.8 |  67M|  39 |1301 |1986 |8261 |1986 |6096 | 924 |  30k|7436 | 3.035063e+03 |      --      |    Inf 
1387.15/1387.40	c  1387s| 15700 |  6324 |  5347k| 339.4 |  67M|  39 |1422 |1986 |8355 |1986 |6096 | 924 |  30k|7462 | 3.035063e+03 |      --      |    Inf 
1394.75/1395.07	c  1395s| 15800 |  6334 |  5376k| 339.1 |  68M|  39 |   - |1986 |8600 |1986 |6096 | 924 |  30k|7506 | 3.035063e+03 |      --      |    Inf 
1404.75/1405.01	c  1405s| 15900 |  6342 |  5416k| 339.4 |  67M|  39 | 317 |1986 |8596 |1986 |6096 | 924 |  31k|7539 | 3.035063e+03 |      --      |    Inf 
1414.36/1414.63	c  1415s| 16000 |  6360 |  5457k| 339.9 |  67M|  39 | 345 |1986 |8311 |1986 |6096 | 924 |  31k|7561 | 3.035063e+03 |      --      |    Inf 
1421.05/1421.30	c  1421s| 16100 |  6369 |  5485k| 339.5 |  67M|  39 |1485 |1986 |8333 |1986 |6096 | 924 |  31k|7579 | 3.035063e+03 |      --      |    Inf 
1430.15/1430.49	c  1430s| 16200 |  6379 |  5523k| 339.8 |  67M|  39 |1515 |1986 |8309 |1986 |6096 | 924 |  31k|7607 | 3.035063e+03 |      --      |    Inf 
1438.64/1438.96	c  1439s| 16300 |  6397 |  5557k| 339.8 |  67M|  39 | 422 |1986 |8358 |1986 |6096 | 924 |  32k|7637 | 3.035162e+03 |      --      |    Inf 
1447.74/1448.05	c  1448s| 16400 |  6418 |  5585k| 339.4 |  67M|  39 | 416 |1986 |8226 |1986 |6096 | 924 |  32k|7695 | 3.035162e+03 |      --      |    Inf 
1455.64/1455.90	c  1456s| 16500 |  6437 |  5621k| 339.5 |  67M|  39 | 509 |1986 |8183 |1986 |6096 | 924 |  32k|7695 | 3.035218e+03 |      --      |    Inf 
1463.75/1464.02	c  1464s| 16600 |  6450 |  5655k| 339.5 |  67M|  39 | 360 |1986 |8161 |1986 |6096 | 924 |  33k|7717 | 3.035328e+03 |      --      |    Inf 
1471.63/1471.92	c  1472s| 16700 |  6474 |  5685k| 339.3 |  67M|  39 |1434 |1986 |7902 |1986 |6096 | 924 |  33k|7735 | 3.035469e+03 |      --      |    Inf 
1478.94/1479.28	c  1479s| 16800 |  6488 |  5712k| 338.9 |  68M|  39 |   - |1986 |7855 |   0 |   0 | 924 |  33k|7760 | 3.035896e+03 |      --      |    Inf 
1487.94/1488.21	c  1488s| 16900 |  6518 |  5745k| 338.8 |  68M|  39 | 490 |1986 |7743 |1986 |6096 | 924 |  33k|7796 | 3.035896e+03 |      --      |    Inf 
1495.34/1495.62	c  1496s| 17000 |  6529 |  5777k| 338.7 |  68M|  39 |   - |1986 |7877 |1986 |6096 | 924 |  34k|7822 | 3.036063e+03 |      --      |    Inf 
1503.44/1503.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1503.44/1503.74	c  1504s| 17100 |  6547 |  5807k| 338.5 |  68M|  39 |1161 |1986 |7912 |1986 |6096 | 924 |  34k|7859 | 3.036063e+03 |      --      |    Inf 
1511.03/1511.38	c  1511s| 17200 |  6564 |  5837k| 338.3 |  68M|  39 |1402 |1986 |8013 |1986 |6096 | 924 |  34k|7882 | 3.036162e+03 |      --      |    Inf 
1518.13/1518.49	c  1518s| 17300 |  6585 |  5865k| 337.9 |  68M|  39 | 292 |1986 |8061 |1986 |6096 | 924 |  34k|7898 | 3.036218e+03 |      --      |    Inf 
1525.93/1526.20	c  1526s| 17400 |  6600 |  5896k| 337.8 |  68M|  39 |1453 |1986 |8063 |1986 |6096 | 924 |  35k|7924 | 3.036219e+03 |      --      |    Inf 
1532.83/1533.11	c  1533s| 17500 |  6622 |  5922k| 337.3 |  68M|  39 |   - |1986 |8043 |   0 |   0 | 924 |  35k|7951 | 3.036328e+03 |      --      |    Inf 
1541.43/1541.73	c  1542s| 17600 |  6644 |  5954k| 337.2 |  68M|  39 |1316 |1986 |7983 |1986 |6096 | 924 |  35k|7978 | 3.036396e+03 |      --      |    Inf 
1548.43/1548.71	c  1549s| 17700 |  6658 |  5984k| 337.0 |  68M|  41 |1173 |1986 |8015 |1986 |6096 | 924 |  35k|7995 | 3.036396e+03 |      --      |    Inf 
1553.73/1554.08	c  1554s| 17800 |  6670 |  6005k| 336.3 |  69M|  42 | 436 |1986 |8159 |1986 |6096 | 924 |  35k|8027 | 3.036396e+03 |      --      |    Inf 
1560.22/1560.52	c  1561s| 17900 |  6672 |  6028k| 335.7 |  69M|  42 |1283 |1986 |8301 |1986 |6096 | 924 |  36k|8053 | 3.036469e+03 |      --      |    Inf 
1568.42/1568.73	c  1569s| 18000 |  6683 |  6057k| 335.5 |  69M|  42 |   - |1986 |8381 |   0 |   0 | 924 |  36k|8096 | 3.036469e+03 |      --      |    Inf 
1575.52/1575.83	c  1576s| 18100 |  6711 |  6089k| 335.4 |  69M|  42 |1329 |1986 |8339 |1986 |6096 | 924 |  36k|8096 | 3.036552e+03 |      --      |    Inf 
1581.72/1582.00	c  1582s| 18200 |  6730 |  6113k| 334.8 |  69M|  42 |   - |1986 |8354 |   0 |   0 | 924 |  36k|8117 | 3.036552e+03 |      --      |    Inf 
1589.32/1589.63	c  1590s| 18300 |  6724 |  6141k| 334.5 |  69M|  42 |   - |1986 |8544 |   0 |   0 | 924 |  37k|8168 | 3.036552e+03 |      --      |    Inf 
1597.32/1597.66	c  1598s| 18400 |  6747 |  6174k| 334.5 |  69M|  42 |   - |1986 |8495 |   0 |   0 | 924 |  37k|8190 | 3.036552e+03 |      --      |    Inf 
1604.32/1604.60	c  1605s| 18500 |  6768 |  6197k| 334.0 |  69M|  42 |1348 |1986 |8459 |1986 |6096 | 924 |  37k|8222 | 3.037218e+03 |      --      |    Inf 
1611.62/1611.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1611.62/1611.94	c  1612s| 18600 |  6788 |  6228k| 333.8 |  69M|  42 | 486 |1986 |8528 |1986 |6096 | 924 |  37k|8245 | 3.037328e+03 |      --      |    Inf 
1620.21/1620.53	c  1621s| 18700 |  6804 |  6259k| 333.7 |  69M|  42 | 454 |1986 |8576 |1986 |6096 | 924 |  38k|8289 | 3.037396e+03 |      --      |    Inf 
1633.72/1634.04	c  1634s| 18800 |  6831 |  6313k| 334.8 |  69M|  42 | 307 |1986 |8675 |1986 |6096 | 924 |  38k|8338 | 3.037469e+03 |      --      |    Inf 
1641.41/1641.73	c  1642s| 18900 |  6844 |  6342k| 334.6 |  70M|  42 |   - |1986 |8782 |   0 |   0 | 924 |  38k|8378 | 3.037469e+03 |      --      |    Inf 
1650.31/1650.69	c  1651s| 19000 |  6863 |  6376k| 334.6 |  70M|  42 |   - |1986 |8878 |   0 |   0 | 924 |  38k|8412 | 3.037552e+03 |      --      |    Inf 
1659.81/1660.13	c  1660s| 19100 |  6894 |  6415k| 334.9 |  70M|  42 | 465 |1986 |8730 |1986 |6096 | 924 |  39k|8432 | 3.037730e+03 |      --      |    Inf 
1669.71/1670.09	c  1670s| 19200 |  6924 |  6453k| 335.1 |  70M|  42 |   - |1986 |8531 |   0 |   0 | 924 |  39k|8475 | 3.038219e+03 |      --      |    Inf 
1679.21/1679.52	c  1680s| 19300 |  6965 |  6486k| 335.1 |  70M|  42 |   - |1986 |8374 |   0 |   0 | 924 |  39k|8503 | 3.038552e+03 |      --      |    Inf 
1686.20/1686.57	c  1687s| 19400 |  6969 |  6512k| 334.7 |  70M|  42 |   - |1986 |8569 |   0 |   0 | 924 |  39k|8562 | 3.038552e+03 |      --      |    Inf 
1692.90/1693.25	c  1693s| 19500 |  6985 |  6540k| 334.4 |  70M|  42 | 453 |1986 |8692 |1986 |6096 | 925 |  40k|8599 | 3.038730e+03 |      --      |    Inf 
1699.21/1699.53	c  1700s| 19600 |  6987 |  6564k| 333.9 |  70M|  42 |   - |1986 |8870 |   0 |   0 | 925 |  40k|8635 | 3.038730e+03 |      --      |    Inf 
1708.71/1709.06	c  1709s| 19700 |  7009 |  6600k| 334.1 |  70M|  42 | 442 |1986 |8887 |1986 |6096 | 925 |  40k|8682 | 3.039230e+03 |      --      |    Inf 
1714.51/1714.86	c  1715s| 19800 |  7010 |  6623k| 333.5 |  70M|  42 | 366 |1986 |9050 |1986 |6096 | 925 |  40k|8702 | 3.039386e+03 |      --      |    Inf 
1723.50/1723.86	c  1724s| 19900 |  7020 |  6658k| 333.6 |  70M|  42 |1486 |1986 |9070 |1986 |6096 | 925 |  41k|8731 | 3.039730e+03 |      --      |    Inf 
1733.00/1733.34	c  1733s| 20000 |  7044 |  6689k| 333.5 |  70M|  42 |1544 |1986 |8989 |1986 |6096 | 925 |  41k|8777 | 3.039886e+03 |      --      |    Inf 
1741.00/1741.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1741.00/1741.34	c  1741s| 20100 |  7061 |  6724k| 333.6 |  70M|  42 | 440 |1986 |9068 |1986 |6096 | 925 |  41k|8806 | 3.040230e+03 |      --      |    Inf 
1750.19/1750.55	c  1751s| 20200 |  7073 |  6761k| 333.8 |  70M|  42 |   - |1986 |9052 |   0 |   0 | 925 |  42k|8834 | 3.040730e+03 |      --      |    Inf 
1759.30/1759.62	c  1760s| 20300 |  7097 |  6794k| 333.8 |  70M|  42 |   - |1986 |8960 |   0 |   0 | 925 |  42k|8893 | 3.041396e+03 |      --      |    Inf 
1767.70/1768.05	c  1768s| 20400 |  7116 |  6826k| 333.7 |  70M|  42 | 427 |1986 |9070 |1986 |6096 | 925 |  42k|8954 | 3.041396e+03 |      --      |    Inf 
1776.79/1777.17	c  1777s| 20500 |  7124 |  6861k| 333.8 |  71M|  42 | 312 |1986 |9220 |1986 |6096 | 925 |  42k|9000 | 3.041480e+03 |      --      |    Inf 
1784.09/1784.49	c  1784s| 20600 |  7120 |  6897k| 333.9 |  70M|  42 |1199 |1986 |9259 |1986 |6096 | 925 |  43k|9005 | 3.041480e+03 |      --      |    Inf 
1792.09/1792.42	c  1792s| 20700 |  7136 |  6935k| 334.1 |  70M|  42 |1473 |1986 |9092 |1986 |6096 | 925 |  43k|9007 | 3.042396e+03 |      --      |    Inf 
1796.69/1797.00	c 
1796.69/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.00	c Solving Time (sec) : 1797.00
1796.69/1797.00	c Solving Nodes      : 20764
1796.69/1797.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.69/1797.00	c Dual Bound         : +3.04289623549407e+03
1796.69/1797.00	c Gap                : infinite
1796.69/1797.00	s UNKNOWN
1796.69/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.00	c Total Time         :    1797.00
1796.69/1797.00	c   solving          :    1797.00
1796.69/1797.00	c   presolving       :       1.09 (included in solving)
1796.69/1797.00	c   reading          :       0.04 (included in solving)
1796.69/1797.00	c   copying          :       0.03 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.00	c Original Problem   :
1796.69/1797.00	c   Problem name     : HOME/instance-3690838-1338018748.opb
1796.69/1797.00	c   Variables        : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00	c   Constraints      : 13473 initial, 13473 maximal
1796.69/1797.00	c   Objective sense  : minimize
1796.69/1797.00	c Presolved Problem  :
1796.69/1797.00	c   Problem name     : t_HOME/instance-3690838-1338018748.opb
1796.69/1797.00	c   Variables        : 1986 (1986 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00	c   Constraints      : 5825 initial, 9284 maximal
1796.69/1797.00	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.69/1797.00	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   trivial          :       0.01       0.00         40          0          0          0          0          0          0          0          0
1796.69/1797.00	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   gateextraction   :       0.01       0.00          0          0          0          0          0          3          1          0          0
1796.69/1797.00	c   implics          :       0.02       0.00          0       3129          0          0          0          0          0          0          0
1796.69/1797.00	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   probing          :       0.16       0.00          1        150          0          1          0          0          0          0          0
1796.69/1797.00	c   setppc           :       0.05       0.00          0          0          0          0          0        279          0          0          0
1796.69/1797.00	c   and              :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   linear           :       0.52       0.00       1001         45          0       1041          0       7367          0        159        315
1796.69/1797.00	c   logicor          :       0.24       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.00	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.69/1797.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.00	c   integral         :          0          0          0          0      16294          0          4          0         33        166          0          0      32392
1796.69/1797.00	c   setppc           :       1091       1091         24     495411          0          1          3    1301060       3452    2181255          0          0          0
1796.69/1797.00	c   and              :          1          1      13039     315939          0          0          0       1917         17       2875          3          0          0
1796.69/1797.00	c   linear           :          0+       685         24     400195          0          0          0       3762          9       8233         20          0          0
1796.69/1797.00	c   logicor          :       4733+      8158         24     427476          0          1          0    1955455       5795    3457656          0          0          0
1796.69/1797.00	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.69/1797.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.69/1797.00	c   integral         :     353.63       0.00       0.00       0.00     353.63       0.00       0.00       0.00
1796.69/1797.00	c   setppc           :      16.27       0.00       0.00      14.91       0.00       0.00       0.00       1.36
1796.69/1797.00	c   and              :       0.35       0.00       0.03       0.32       0.00       0.00       0.00       0.00
1796.69/1797.00	c   linear           :       1.11       0.00       0.02       1.08       0.00       0.00       0.00       0.01
1796.69/1797.00	c   logicor          :      23.18       0.00       0.01      20.99       0.00       0.00       0.00       2.19
1796.69/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.69/1797.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.69/1797.00	c   rootredcost      :          0          0          0          0
1796.69/1797.00	c   pseudoobj        :     508861          0          0          0
1796.69/1797.00	c   vbounds          :          0          0          0          0
1796.69/1797.00	c   redcost          :      16319          0          0          0
1796.69/1797.00	c   probing          :          0          0          0          0
1796.69/1797.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.69/1797.00	c   rootredcost      :       0.45       0.00       0.00       0.45       0.00
1796.69/1797.00	c   pseudoobj        :       1.08       0.00       0.00       1.07       0.00
1796.69/1797.00	c   vbounds          :       0.42       0.00       0.00       0.42       0.00
1796.69/1797.00	c   redcost          :       0.58       0.00       0.00       0.58       0.00
1796.69/1797.00	c   probing          :       0.16       0.00       0.16       0.00       0.00
1796.69/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.69/1797.00	c   propagation      :       6.21       9273       8650      78066       34.4        658        8.5          -
1796.69/1797.00	c   infeasible LP    :       1.17        963        961      13059       42.0         47        4.5          0
1796.69/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.69/1797.00	c   applied globally :          -          -          -      43601       32.3          -          -          -
1796.69/1797.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.69/1797.00	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.69/1797.00	c   cut pool         :       0.05                    23          -          -        641          -    (maximal pool size: 6222)
1796.69/1797.00	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.69/1797.00	c   impliedbounds    :       0.01       0.00         24          0          0        395          0
1796.69/1797.00	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.69/1797.00	c   gomory           :       0.11       0.00         10          0          0        500          0
1796.69/1797.00	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.69/1797.00	c   strongcg         :       1.34       0.00         20          0          0      10000          0
1796.69/1797.00	c   cmir             :       0.25       0.00         10          0          0          0          0
1796.69/1797.00	c   flowcover        :       0.22       0.00         10          0          0          0          0
1796.69/1797.00	c   clique           :       0.06       0.00         24          0          0         87          0
1796.69/1797.00	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.69/1797.00	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.69/1797.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.69/1797.00	c   rapidlearning    :       1.02       0.00          1          0          0          0        685
1796.69/1797.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.69/1797.00	c   problem variables:       0.00          -          0          0
1796.69/1797.00	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.00	c   relpscost        :     353.56       0.00      16294         33        166          0          0      32392
1796.69/1797.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.00	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.69/1797.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.00	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.69/1797.00	c   LP solutions     :       0.00          -          -          0
1796.69/1797.00	c   pseudo solutions :       0.00          -          -          0
1796.69/1797.00	c   oneopt           :       0.04       0.00          0          0
1796.69/1797.00	c   crossover        :       0.02       0.00          0          0
1796.69/1797.00	c   guideddiving     :       0.00       0.00          0          0
1796.69/1797.00	c   intshifting      :       0.00       0.00          0          0
1796.69/1797.00	c   coefdiving       :      89.35       0.00        170          0
1796.69/1797.00	c   fracdiving       :      69.01       0.00        205          0
1796.69/1797.00	c   pscostdiving     :      72.69       0.00        205          0
1796.69/1797.00	c   smallcard        :       0.00       0.00          0          0
1796.69/1797.00	c   trivial          :       0.01       0.00          2          0
1796.69/1797.00	c   shiftandpropagate:       0.03       0.00          1          0
1796.69/1797.00	c   simplerounding   :       0.02       0.00          0          0
1796.69/1797.00	c   zirounding       :       0.51       0.00       1000          0
1796.69/1797.00	c   rounding         :       0.67       0.00       1735          0
1796.69/1797.00	c   shifting         :       1.37       0.00        660          0
1796.69/1797.00	c   twoopt           :       0.00       0.00          0          0
1796.69/1797.00	c   indtwoopt        :       0.00       0.00          0          0
1796.69/1797.00	c   indoneopt        :       0.05       0.00          0          0
1796.69/1797.00	c   fixandinfer      :       0.00       0.00          0          0
1796.69/1797.00	c   feaspump         :      25.17       0.00         16          0
1796.69/1797.00	c   clique           :       0.00       0.00          0          0
1796.69/1797.00	c   indcoefdiving    :       0.00       0.00          0          0
1796.69/1797.00	c   indrounding      :       0.00       0.00          0          0
1796.69/1797.00	c   nlpdiving        :       0.00       0.00          0          0
1796.69/1797.00	c   veclendiving     :      72.45       0.00        109          0
1796.69/1797.00	c   intdiving        :       0.00       0.00          0          0
1796.69/1797.00	c   actconsdiving    :       0.00       0.00          0          0
1796.69/1797.00	c   objpscostdiving  :      19.16       0.00          9          0
1796.69/1797.00	c   rootsoldiving    :      20.63       0.00         13          0
1796.69/1797.00	c   linesearchdiving :      67.80       0.00        205          0
1796.69/1797.00	c   octane           :       0.00       0.00          0          0
1796.69/1797.00	c   rens             :       0.02       0.00          0          0
1796.69/1797.00	c   rins             :       0.00       0.00          0          0
1796.69/1797.00	c   localbranching   :       0.00       0.00          0          0
1796.69/1797.00	c   mutation         :       0.00       0.00          0          0
1796.69/1797.00	c   dins             :       0.00       0.00          0          0
1796.69/1797.00	c   vbounds          :       0.00       0.00          0          0
1796.69/1797.00	c   undercover       :       0.00       0.00          1          0
1796.69/1797.00	c   subnlp           :       0.02       0.00          0          0
1796.69/1797.00	c   trysol           :       0.04       0.00          0          0
1796.69/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.69/1797.00	c   primal LP        :       0.01          3          0       0.00       0.00       0.01          3
1796.69/1797.00	c   dual LP          :     927.36      17088    5391350     316.23    5813.66       0.11         39
1796.69/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1796.69/1797.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.69/1797.00	c   diving/probing LP:     380.08      59753    1566987      26.22    4122.79
1796.69/1797.00	c   strong branching :     348.41       9007    1756227     194.98    5040.70
1796.69/1797.00	c     (at root node) :          -         13       3775     290.38          -
1796.69/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1796.69/1797.00	c B&B Tree           :
1796.69/1797.00	c   number of runs   :          1
1796.69/1797.00	c   nodes            :      20764
1796.69/1797.00	c   nodes (total)    :      20764
1796.69/1797.00	c   nodes left       :       7156
1796.69/1797.00	c   max depth        :         42
1796.69/1797.00	c   max depth (total):         42
1796.69/1797.00	c   backtracks       :       6215 (29.9%)
1796.69/1797.00	c   delayed cutoffs  :       4475
1796.69/1797.00	c   repropagations   :       9164 (2472845 domain reductions, 3787 cutoffs)
1796.69/1797.00	c   avg switch length:       7.31
1796.69/1797.00	c   switching time   :      17.97
1796.69/1797.00	c Solution           :
1796.69/1797.00	c   Solutions found  :          0 (0 improvements)
1796.69/1797.00	c   Primal Bound     :          -
1796.69/1797.00	c   Dual Bound       : +3.04289623549407e+03
1796.69/1797.00	c   Gap              :   infinite
1796.69/1797.00	c   Root Dual Bound  : +2.92855185570095e+03
1796.69/1797.00	c   Root Iterations  :      19555
1796.69/1797.06	c Time complete: 1796.75.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690838-1338018748/watcher-3690838-1338018748 -o /tmp/evaluation-result-3690838-1338018748/solver-3690838-1338018748 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690838-1338018748.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.97 1.69 3/176 29755
/proc/meminfo: memFree=28737384/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=12484 CPUtime=0 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 1890 0 0 0 0 0 0 0 20 0 1 0 268001619 12783616 1844 33554432000 4194304 10173063 140733315389216 140733315252744 7173674 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 3121 1844 408 1460 0 1652 0

[startup+0.0248381 s]
/proc/loadavg: 1.85 1.97 1.69 3/176 29755
/proc/meminfo: memFree=28737384/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=17420 CPUtime=0.02 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 3129 0 0 0 2 0 0 0 20 0 1 0 268001619 17838080 3083 33554432000 4194304 10173063 140733315389216 140733315252744 5479875 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 4355 3083 416 1460 0 2886 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17420

[startup+0.100311 s]
/proc/loadavg: 1.85 1.97 1.69 3/176 29755
/proc/meminfo: memFree=28737384/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=46920 CPUtime=0.09 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 10201 0 0 0 7 2 0 0 20 0 1 0 268001619 48046080 10155 33554432000 4194304 10173063 140733315389216 140733315252744 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 11730 10155 566 1460 0 10261 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46920

[startup+0.300266 s]
/proc/loadavg: 1.85 1.97 1.69 3/176 29755
/proc/meminfo: memFree=28737384/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=49972 CPUtime=0.29 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 11246 0 0 0 16 13 0 0 20 0 1 0 268001619 51171328 10943 33554432000 4194304 10173063 140733315389216 140733315252744 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 12493 10943 568 1460 0 11024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49972

[startup+0.70029 s]
/proc/loadavg: 1.85 1.97 1.69 3/176 29755
/proc/meminfo: memFree=28737384/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=51260 CPUtime=0.69 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 11736 0 0 0 29 40 0 0 20 0 1 0 268001619 52490240 11272 33554432000 4194304 10173063 140733315389216 140733315386216 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 12815 11272 583 1460 0 11346 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51260

[startup+1.50029 s]
/proc/loadavg: 1.85 1.97 1.69 3/177 29756
/proc/meminfo: memFree=28688396/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=67528 CPUtime=1.48 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 16396 0 0 0 93 55 0 0 20 0 1 0 268001619 69148672 15649 33554432000 4194304 10173063 140733315389216 140733315380376 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 16882 15649 788 1460 0 15413 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67528

[startup+3.10025 s]
/proc/loadavg: 1.85 1.97 1.69 3/177 29756
/proc/meminfo: memFree=28648220/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=107572 CPUtime=3.09 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 26195 0 0 0 223 86 0 0 20 0 1 0 268001619 110153728 25432 33554432000 4194304 10173063 140733315389216 140733315384152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 26893 25432 843 1460 0 25424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107572

[startup+6.30028 s]
/proc/loadavg: 1.86 1.97 1.69 3/177 29756
/proc/meminfo: memFree=28636580/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=107572 CPUtime=6.29 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 26260 0 0 0 541 88 0 0 20 0 1 0 268001619 110153728 25496 33554432000 4194304 10173063 140733315389216 140733315385144 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 26893 25496 845 1460 0 25424 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 107572

[startup+12.7003 s]
/proc/loadavg: 1.87 1.97 1.69 3/177 29756
/proc/meminfo: memFree=28630164/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=112756 CPUtime=12.69 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 27563 0 0 0 1176 93 0 0 20 0 1 0 268001619 115462144 26943 33554432000 4194304 10173063 140733315389216 140733315385896 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 28189 26943 850 1460 0 26720 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112756

[startup+25.5002 s]
/proc/loadavg: 1.90 1.97 1.70 3/177 29794
/proc/meminfo: memFree=28591916/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=112756 CPUtime=25.49 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 27566 0 0 0 2446 103 0 0 20 0 1 0 268001619 115462144 27029 33554432000 4194304 10173063 140733315389216 140733315383128 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 28189 27029 852 1460 0 26720 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112756

[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.71 3/177 29794
/proc/meminfo: memFree=28593140/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=112756 CPUtime=51.07 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 27578 0 0 0 4987 120 0 0 20 0 1 0 268001619 115462144 27031 33554432000 4194304 10173063 140733315389216 140733315382472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 28189 27031 852 1460 0 26720 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 112756

[startup+102.306 s]
/proc/loadavg: 2.01 1.99 1.73 3/177 29795
/proc/meminfo: memFree=28590168/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=112756 CPUtime=102.27 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 27587 0 0 0 10061 166 0 0 20 0 1 0 268001619 115462144 27323 33554432000 4194304 10173063 140733315389216 140733315382200 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 28189 27323 852 1460 0 26720 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112756

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/177 29795
/proc/meminfo: memFree=28586848/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=113976 CPUtime=162.25 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 28931 0 0 0 15999 226 0 0 20 0 1 0 268001619 116711424 27510 33554432000 4194304 10173063 140733315389216 140733315382136 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 28494 27510 853 1460 0 27025 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 113976

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/177 29795
/proc/meminfo: memFree=28572400/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=117956 CPUtime=222.24 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 36778 0 0 0 21941 283 0 0 20 0 1 0 268001619 120786944 28421 33554432000 4194304 10173063 140733315389216 140733315382856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 29489 28421 853 1460 0 28020 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 117956

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/177 29795
/proc/meminfo: memFree=28565692/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=121032 CPUtime=282.23 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 40201 0 0 0 27889 334 0 0 20 0 1 0 268001619 123936768 29245 33554432000 4194304 10173063 140733315389216 140733315383048 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 30258 29245 853 1460 0 28789 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 121032

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/177 29795
/proc/meminfo: memFree=28555276/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=125104 CPUtime=342.22 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 45263 0 0 0 33837 385 0 0 20 0 1 0 268001619 128106496 30355 33554432000 4194304 10173063 140733315389216 140733315382200 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 31276 30355 853 1460 0 29807 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 125104

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/176 29795
/proc/meminfo: memFree=28547408/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=125696 CPUtime=402.22 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 47519 0 0 0 39785 437 0 0 20 0 1 0 268001619 128712704 30576 33554432000 4194304 10173063 140733315389216 140733315382856 8032942 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 31424 30576 853 1460 0 29955 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 125696

[startup+462.3 s]
/proc/loadavg: 2.07 2.00 1.80 3/178 29799
/proc/meminfo: memFree=28533760/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=130268 CPUtime=462.21 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 50838 0 0 0 45722 499 0 0 20 0 1 0 268001619 133394432 31703 33554432000 4194304 10173063 140733315389216 140733315382024 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 32567 31703 853 1460 0 31098 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 130268

[startup+522.3 s]
/proc/loadavg: 2.02 2.00 1.81 4/178 29822
/proc/meminfo: memFree=28517164/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=137160 CPUtime=522.2 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 54478 0 0 0 51648 572 0 0 20 0 1 0 268001619 140451840 33443 33554432000 4194304 10173063 140733315389216 140733315382248 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 34290 33443 853 1460 0 32821 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 137160

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.82 3/177 29822
/proc/meminfo: memFree=28502056/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=141596 CPUtime=582.19 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 57662 0 0 0 57577 642 0 0 20 0 1 0 268001619 144994304 34535 33554432000 4194304 10173063 140733315389216 140733315384584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 35399 34535 853 1460 0 33930 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 141596

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=28406360/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=174484 CPUtime=1122.09 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 87641 0 0 0 110840 1369 0 0 20 0 1 0 268001619 178671616 42722 33554432000 4194304 10173063 140733315389216 140733315382472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 43621 42722 853 1460 0 42152 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 174484

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 29827
/proc/meminfo: memFree=28400284/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=176544 CPUtime=1182.09 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 88172 0 0 0 116751 1458 0 0 20 0 1 0 268001619 180781056 43253 33554432000 4194304 10173063 140733315389216 140733315382472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 44136 43253 853 1460 0 42667 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 176544

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 29827
/proc/meminfo: memFree=28393700/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=179444 CPUtime=1242.08 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 92083 0 0 0 122663 1545 0 0 20 0 1 0 268001619 183750656 43917 33554432000 4194304 10173063 140733315389216 140733315381944 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 44861 43917 853 1460 0 43392 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 179444

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 29827
/proc/meminfo: memFree=28382292/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=180960 CPUtime=1302.07 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 94431 0 0 0 128571 1636 0 0 20 0 1 0 268001619 185303040 44316 33554432000 4194304 10173063 140733315389216 140733315382856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 45240 44316 853 1460 0 43771 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 180960

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 29828
/proc/meminfo: memFree=28376576/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=183064 CPUtime=1362.06 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 95021 0 0 0 134472 1734 0 0 20 0 1 0 268001619 187457536 44903 33554432000 4194304 10173063 140733315389216 140733315382520 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 45766 44903 853 1460 0 44297 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 183064

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 1.91 3/177 29828
/proc/meminfo: memFree=28370504/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=183700 CPUtime=1422.05 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 95748 0 0 0 140387 1818 0 0 20 0 1 0 268001619 188108800 45061 33554432000 4194304 10173063 140733315389216 140733315382472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 45925 45061 853 1460 0 44456 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 183700

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 1.91 3/177 29828
/proc/meminfo: memFree=28366828/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=183780 CPUtime=1482.03 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 96369 0 0 0 146305 1898 0 0 20 0 1 0 268001619 188190720 44988 33554432000 4194304 10173063 140733315389216 140733315382664 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 45945 44988 853 1460 0 44476 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 183780

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.91 3/177 29828
/proc/meminfo: memFree=28362944/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=184376 CPUtime=1542.03 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 97190 0 0 0 152225 1978 0 0 20 0 1 0 268001619 188801024 45188 33554432000 4194304 10173063 140733315389216 140733315382200 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 46094 45188 853 1460 0 44625 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 184376

[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 1.93 3/177 29828
/proc/meminfo: memFree=28354884/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=186812 CPUtime=1602.01 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 99232 0 0 0 158140 2061 0 0 20 0 1 0 268001619 191295488 45810 33554432000 4194304 10173063 140733315389216 140733315382472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 46703 45810 853 1460 0 45234 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 186812

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 1.93 3/178 29832
/proc/meminfo: memFree=28349144/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=188324 CPUtime=1662.01 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 101812 0 0 0 164062 2139 0 0 20 0 1 0 268001619 192843776 46217 33554432000 4194304 10173063 140733315389216 140733315382472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47081 46217 853 1460 0 45612 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 188324

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 29832
/proc/meminfo: memFree=28344224/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=189468 CPUtime=1722 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 103217 0 0 0 169974 2226 0 0 20 0 1 0 268001619 194015232 46463 33554432000 4194304 10173063 140733315389216 140733315382856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47367 46463 853 1460 0 45898 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 189468

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 29832
/proc/meminfo: memFree=28336996/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=191548 CPUtime=1781.99 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 105050 0 0 0 175894 2305 0 0 20 0 1 0 268001619 196145152 46926 33554432000 4194304 10173063 140733315389216 140733315382472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47887 46926 853 1460 0 46418 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 191548

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.05 2.03 1.93 3/177 29832
/proc/meminfo: memFree=28336500/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=191548 CPUtime=1785.2 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 105059 0 0 0 176210 2310 0 0 20 0 1 0 268001619 196145152 46935 33554432000 4194304 10173063 140733315389216 140733315382136 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47887 46935 853 1460 0 46418 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 191548

[startup+1791.91 s]
/proc/loadavg: 2.04 2.03 1.93 3/177 29832
/proc/meminfo: memFree=28335760/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=191548 CPUtime=1791.6 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 105059 0 0 0 176840 2320 0 0 20 0 1 0 268001619 196145152 46935 33554432000 4194304 10173063 140733315389216 140733315382472 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47887 46935 853 1460 0 46418 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 191548

[startup+1795.1 s]
/proc/loadavg: 2.04 2.03 1.93 3/177 29832
/proc/meminfo: memFree=28335636/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=191548 CPUtime=1794.79 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 105059 0 0 0 177154 2325 0 0 20 0 1 0 268001619 196145152 46935 33554432000 4194304 10173063 140733315389216 140733315382856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47887 46935 853 1460 0 46418 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 191548

[startup+1795.9 s]
/proc/loadavg: 2.04 2.03 1.93 3/177 29832
/proc/meminfo: memFree=28335636/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=191548 CPUtime=1795.59 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 105059 0 0 0 177233 2326 0 0 20 0 1 0 268001619 196145152 46935 33554432000 4194304 10173063 140733315389216 140733315382472 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47887 46935 853 1460 0 46418 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 191548

[startup+1796.7 s]
/proc/loadavg: 2.04 2.03 1.93 3/177 29832
/proc/meminfo: memFree=28335636/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=191548 CPUtime=1796.39 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 105059 0 0 0 177312 2327 0 0 20 0 1 0 268001619 196145152 46935 33554432000 4194304 10173063 140733315389216 140733315382856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47887 46935 853 1460 0 46418 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 191548

[startup+1796.9 s]
/proc/loadavg: 2.04 2.03 1.93 3/177 29832
/proc/meminfo: memFree=28335636/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=191548 CPUtime=1796.59 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 105059 0 0 0 177332 2327 0 0 20 0 1 0 268001619 196145152 46935 33554432000 4194304 10173063 140733315389216 140733315382856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47887 46935 853 1460 0 46418 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 191548

[startup+1797 s]
/proc/loadavg: 2.04 2.03 1.93 3/177 29832
/proc/meminfo: memFree=28335636/32873648 swapFree=6844/6844
[pid=29755] ppid=29753 vsize=191548 CPUtime=1796.69 cores=0,2,4,6
/proc/29755/stat : 29755 (scip-2.1.1.4fix) R 29753 29755 29540 0 -1 4202496 105059 0 0 0 177342 2327 0 0 20 0 1 0 268001619 196145152 46935 33554432000 4194304 10173063 140733315389216 140733315382856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29755/statm: 47887 46935 853 1460 0 46418 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 191548

Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.76
CPU user time (s): 1773.49
CPU system time (s): 23.2755
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 191548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.49
system time used= 23.2755
maximum resident set size= 187756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105065
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= 48
involuntary context switches= 2092

runsolver used 2.85556 second user time and 7.03493 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-26 09:52:28
IDJOB=3690838
IDBENCH=2109
IDSOLVER=2270
FILE ID=node115/3690838-1338018748
RUNJOBID= node115-1338016937-29556
PBS_JOBID= 14624356
Free space on /tmp= 71564 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690838-1338018748/watcher-3690838-1338018748 -o /tmp/evaluation-result-3690838-1338018748/solver-3690838-1338018748 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690838-1338018748.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0
RANDOM SEED=359479331

node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28737648 kB
Buffers:          222412 kB
Cached:          3075736 kB
SwapCached:            0 kB
Active:          1065360 kB
Inactive:        2302392 kB
Active(anon):      72192 kB
Inactive(anon):        0 kB
Active(file):     993168 kB
Inactive(file):  2302392 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28320 kB
Writeback:             4 kB
AnonPages:         76108 kB
Mapped:            17796 kB
Shmem:               200 kB
Slab:             629672 kB
SReclaimable:      73680 kB
SUnreclaim:       555992 kB
KernelStack:        1456 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     183924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71548 MiB
End job on node115 at 2012-05-26 10:22:26