Trace number 3692004

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 E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed? 1796.74 1797.07

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: 947bdb7-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-3692004-1338031558.opb>
0.00/0.04	c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.00/0.04	c problem read in 0.04
0.05/0.07	c presolving:
0.09/0.14	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.09/0.19	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.20	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.21	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.22	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.22	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.23	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.24	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.25	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.25	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.26	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.27	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.27	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.19/0.28	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.19/0.29	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.30	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.30	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.31	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.32	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.32	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.33	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.34	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.34	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.39/0.48	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.39/0.48	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.39/0.48	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.39/0.48	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.39/0.48	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.48	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.48	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.48	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.48	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.48	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.48	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.48	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.48	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.48	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.48	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.48	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.48	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.48	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.48	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.39/0.49	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.39/0.49	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.50	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.50	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.51	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.52	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.49/0.52	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.49/0.53	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.49/0.54	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.49/0.54	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.49/0.55	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.49/0.55	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.49/0.56	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.49/0.56	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.49/0.57	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.49/0.58	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.49/0.58	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.49/0.59	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.49/0.59	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.59/0.60	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.59/0.60	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.59/0.61	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.59/0.67	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.59/0.68	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.77	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.69/0.78	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.83	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.84	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.87	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.79/0.89	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.91	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.93	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.96	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/0.98	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
0.99/1.01	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
0.99/1.03	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
0.99/1.06	c    (1.1s) probing: 272/2138 (12.7%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
0.99/1.06	c    (1.1s) probing aborted: 50/50 successive totally useless probings
0.99/1.06	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
0.99/1.07	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
0.99/1.09	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.10	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.12	c    (1.1s) probing: 277/2138 (13.0%) - 1 fixings, 150 aggregations, 9468 implications, 1 bound changes
1.10/1.12	c    (1.1s) probing aborted: 50/50 successive totally useless probings
1.10/1.13	c presolving (85 rounds):
1.10/1.13	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.13	c  98470 implications, 0 cliques
1.10/1.13	c presolved problem has 1986 variables (1986 bin, 0 int, 0 impl, 0 cont) and 5825 constraints
1.10/1.13	c    1091 constraints of type <setppc>
1.10/1.13	c       1 constraints of type <and>
1.10/1.13	c    4733 constraints of type <logicor>
1.10/1.13	c transformed objective value is always integral (scale: 1)
1.10/1.13	c Presolving Time: 1.06
1.10/1.13	c - non default parameters ----------------------------------------------------------------------
1.10/1.13	c # SCIP version 2.1.1.4
1.10/1.13	c 
1.10/1.13	c # maximal time in seconds to run
1.10/1.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.13	c limits/time = 1797
1.10/1.13	c 
1.10/1.13	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.13	c limits/memory = 13950
1.10/1.13	c 
1.10/1.13	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.13	c # [type: int, range: [1,2], default: 1]
1.10/1.13	c timing/clocktype = 2
1.10/1.13	c 
1.10/1.13	c # belongs reading time to solving time?
1.10/1.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13	c timing/reading = TRUE
1.10/1.13	c 
1.10/1.13	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.13	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.13	c separating/rapidlearning/freq = 0
1.10/1.13	c 
1.10/1.13	c -----------------------------------------------------------------------------------------------
1.10/1.13	c start solving
1.10/1.13	c 
1.29/1.30	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.30	c   1.3s|     1 |     0 |  2249 |     - |  24M|   0 |1250 |1986 |5897 |1986 |5826 |   0 |  72 |   0 | 2.807498e+03 |      --      |    Inf 
3.09/3.12	c   3.1s|     1 |     0 |  6509 |     - |  27M|   0 |1167 |1986 |6582 |1986 |6049 | 223 |  72 |   0 | 2.838552e+03 |      --      |    Inf 
3.19/3.30	c   3.3s|     1 |     0 |  6851 |     - |  27M|   0 |1185 |1986 |6582 |1986 |6081 | 255 |  72 |   0 | 2.844237e+03 |      --      |    Inf 
3.48/3.52	c   3.5s|     1 |     0 |  7389 |     - |  28M|   0 |1172 |1986 |6582 |1986 |6111 | 285 |  72 |   0 | 2.848937e+03 |      --      |    Inf 
3.69/3.71	c   3.7s|     1 |     0 |  7800 |     - |  29M|   0 |1249 |1986 |6582 |1986 |6137 | 311 |  72 |   0 | 2.852637e+03 |      --      |    Inf 
3.89/3.95	c   4.0s|     1 |     0 |  8193 |     - |  29M|   0 |1233 |1986 |6582 |1986 |6180 | 354 |  72 |   0 | 2.857433e+03 |      --      |    Inf 
4.29/4.31	c   4.3s|     1 |     0 |  9409 |     - |  30M|   0 |1235 |1986 |6582 |1986 |6223 | 397 |  72 |   0 | 2.865595e+03 |      --      |    Inf 
4.59/4.62	c   4.6s|     1 |     0 | 10048 |     - |  31M|   0 |1249 |1986 |6582 |1986 |6258 | 432 |  72 |   0 | 2.870242e+03 |      --      |    Inf 
4.88/4.99	c   5.0s|     1 |     0 | 10723 |     - |  32M|   0 |1227 |1986 |6582 |1986 |6305 | 479 |  72 |   0 | 2.876381e+03 |      --      |    Inf 
5.29/5.33	c   5.3s|     1 |     0 | 11581 |     - |  34M|   0 |1250 |1986 |6582 |1986 |6344 | 518 |  72 |   0 | 2.881052e+03 |      --      |    Inf 
5.59/5.63	c   5.6s|     1 |     0 | 12279 |     - |  35M|   0 |1241 |1986 |6582 |1986 |6375 | 549 |  72 |   0 | 2.885154e+03 |      --      |    Inf 
5.89/5.91	c   5.9s|     1 |     0 | 13103 |     - |  37M|   0 |1245 |1986 |6582 |1986 |6413 | 587 |  72 |   0 | 2.891523e+03 |      --      |    Inf 
6.18/6.20	c   6.2s|     1 |     0 | 13970 |     - |  38M|   0 |1230 |1986 |6582 |1986 |6445 | 619 |  72 |   0 | 2.896841e+03 |      --      |    Inf 
6.39/6.43	c   6.4s|     1 |     0 | 14517 |     - |  40M|   0 |1305 |1986 |6582 |1986 |6474 | 648 |  72 |   0 | 2.901796e+03 |      --      |    Inf 
6.60/6.69	c   6.7s|     1 |     0 | 15074 |     - |  41M|   0 |1328 |1986 |6582 |1986 |6515 | 689 |  72 |   0 | 2.908015e+03 |      --      |    Inf 
6.89/6.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.89/6.97	c   7.0s|     1 |     0 | 15929 |     - |  42M|   0 |1368 |1986 |6582 |1986 |6342 | 728 |  72 |   0 | 2.911565e+03 |      --      |    Inf 
7.29/7.32	c   7.3s|     1 |     0 | 17014 |     - |  43M|   0 |1320 |1986 |6582 |1986 |6379 | 765 |  72 |   0 | 2.916459e+03 |      --      |    Inf 
7.49/7.53	c   7.5s|     1 |     0 | 17521 |     - |  44M|   0 |1376 |1986 |6582 |1986 |6420 | 806 |  72 |   0 | 2.919774e+03 |      --      |    Inf 
7.70/7.78	c   7.8s|     1 |     0 | 18088 |     - |  46M|   0 |1362 |1986 |6582 |1986 |6454 | 840 |  72 |   0 | 2.923335e+03 |      --      |    Inf 
7.99/8.02	c   8.0s|     1 |     0 | 18750 |     - |  48M|   0 |1343 |1986 |6582 |1986 |6487 | 873 |  72 |   0 | 2.926246e+03 |      --      |    Inf 
8.09/8.19	c   8.2s|     1 |     0 | 19210 |     - |  49M|   0 |1341 |1986 |6582 |1986 |6517 | 903 |  72 |   0 | 2.927985e+03 |      --      |    Inf 
8.19/8.25	c   8.3s|     1 |     0 | 19351 |     - |  49M|   0 |1356 |1986 |6582 |1986 |6367 | 911 |  72 |   0 | 2.928299e+03 |      --      |    Inf 
8.29/8.32	c   8.3s|     1 |     0 | 19534 |     - |  49M|   0 |1350 |1986 |6582 |1986 |6373 | 917 |  72 |   0 | 2.928552e+03 |      --      |    Inf 
8.29/8.34	c   8.3s|     1 |     0 | 19555 |     - |  49M|   0 |1359 |1986 |6582 |1986 |6379 | 923 |  72 |   0 | 2.928552e+03 |      --      |    Inf 
9.29/9.32	c   9.3s|     1 |     2 | 19555 |     - |  49M|   0 |1359 |1986 |6582 |1986 |6379 | 923 |  72 |  13 | 2.928552e+03 |      --      |    Inf 
49.27/49.34	c  49.3s|   100 |    99 | 83856 | 649.5 |  49M|  17 |1585 |1986 |6636 |1986 |6096 | 923 | 126 | 893 | 2.956908e+03 |      --      |    Inf 
59.38/59.49	c  59.5s|   200 |   199 |118892 | 499.2 |  50M|  17 |1393 |1986 |6694 |1986 |6096 | 923 | 184 | 974 | 2.957075e+03 |      --      |    Inf 
69.66/69.74	c  69.7s|   300 |   299 |150829 | 439.0 |  50M|  17 |1322 |1986 |6743 |1986 |6096 | 923 | 236 |1091 | 2.958908e+03 |      --      |    Inf 
79.46/79.58	c  79.6s|   400 |   399 |180632 | 403.7 |  50M|  19 |1521 |1986 |6779 |1986 |6096 | 923 | 294 |1198 | 2.965226e+03 |      --      |    Inf 
89.06/89.17	c  89.2s|   500 |   499 |215569 | 392.8 |  51M|  19 |1597 |1986 |6791 |1986 |6096 | 923 | 319 |1305 | 2.976385e+03 |      --      |    Inf 
98.06/98.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
98.06/98.20	c  98.2s|   600 |   599 |245068 | 376.5 |  51M|  19 |1618 |1986 |6811 |1986 |6096 | 923 | 347 |1455 | 2.978385e+03 |      --      |    Inf 
109.16/109.29	c   109s|   700 |   699 |287073 | 382.7 |  51M|  22 |1526 |1986 |6825 |1986 |6096 | 923 | 379 |1569 | 2.978696e+03 |      --      |    Inf 
115.56/115.61	c   116s|   800 |   799 |309289 | 362.6 |  51M|  22 |1549 |1986 |6825 |1986 |6096 | 923 | 397 |1641 | 2.979552e+03 |      --      |    Inf 
126.16/126.24	c   126s|   900 |   855 |345601 | 362.7 |  52M|  34 | 331 |1986 |6920 |1986 |6096 | 923 | 528 |1769 | 2.979838e+03 |      --      |    Inf 
138.35/138.45	c   138s|  1000 |   867 |386097 | 366.9 |  52M|  35 |   - |1986 |7100 |1986 |6096 | 923 | 749 |1903 | 2.981030e+03 |      --      |    Inf 
151.15/151.22	c   151s|  1100 |   900 |430702 | 374.1 |  52M|  35 |1512 |1986 |7244 |1986 |6096 | 923 | 987 |1993 | 2.982552e+03 |      --      |    Inf 
160.25/160.31	c   160s|  1200 |   996 |462240 | 369.2 |  52M|  35 |1389 |1986 |7219 |1986 |6096 | 923 |1012 |2081 | 2.989552e+03 |      --      |    Inf 
169.64/169.70	c   170s|  1300 |  1096 |496745 | 367.4 |  52M|  35 |1654 |1986 |7165 |1986 |6096 | 923 |1040 |2145 | 2.992862e+03 |      --      |    Inf 
176.65/176.72	c   177s|  1400 |  1196 |522072 | 359.2 |  52M|  35 |1532 |1986 |6980 |1986 |6096 | 923 |1067 |2201 | 2.993862e+03 |      --      |    Inf 
185.64/185.75	c   186s|  1500 |  1289 |555757 | 357.7 |  53M|  35 |1535 |1986 |6962 |1986 |6096 | 923 |1125 |2297 | 2.994219e+03 |      --      |    Inf 
193.14/193.27	c   193s|  1600 |  1373 |583157 | 352.5 |  53M|  35 |   - |1986 |6969 |1986 |6096 | 923 |1184 |2370 | 2.994552e+03 |      --      |    Inf 
201.04/201.16	c   201s|  1700 |  1470 |612633 | 349.1 |  53M|  35 |1631 |1986 |6985 |1986 |6096 | 923 |1233 |2434 | 2.994793e+03 |      --      |    Inf 
206.24/206.31	c   206s|  1800 |  1568 |637455 | 343.5 |  53M|  35 |1641 |1986 |6974 |1986 |6096 | 923 |1254 |2442 | 2.995052e+03 |      --      |    Inf 
212.43/212.50	c   212s|  1900 |  1658 |667183 | 341.0 |  54M|  35 |1659 |1986 |6985 |1986 |6096 | 923 |1341 |2446 | 2.995219e+03 |      --      |    Inf 
218.94/219.02	c   219s|  2000 |  1749 |697517 | 339.2 |  54M|  35 |1570 |1986 |7003 |1986 |6096 | 923 |1394 |2447 | 2.995219e+03 |      --      |    Inf 
225.04/225.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
225.04/225.19	c   225s|  2100 |  1849 |726388 | 336.7 |  54M|  35 |1648 |1986 |7019 |1986 |6096 | 923 |1432 |2456 | 2.995719e+03 |      --      |    Inf 
231.94/232.06	c   232s|  2200 |  1949 |751796 | 333.0 |  54M|  35 |1541 |1986 |7025 |1986 |6096 | 923 |1450 |2509 | 2.996052e+03 |      --      |    Inf 
239.64/239.74	c   240s|  2300 |  2030 |780499 | 331.0 |  55M|  35 |1468 |1986 |7061 |1986 |6096 | 923 |1527 |2564 | 2.996195e+03 |      --      |    Inf 
247.63/247.78	c   248s|  2400 |  2125 |810500 | 329.7 |  55M|  35 |1630 |1986 |7058 |1986 |6096 | 923 |1573 |2625 | 2.996219e+03 |      --      |    Inf 
255.63/255.71	c   256s|  2500 |  2225 |842266 | 329.2 |  55M|  35 |1546 |1986 |7036 |1986 |6096 | 923 |1585 |2683 | 2.996719e+03 |      --      |    Inf 
265.12/265.24	c   265s|  2600 |  2325 |879583 | 330.9 |  55M|  35 |1524 |1986 |7030 |1986 |6096 | 923 |1615 |2749 | 2.997219e+03 |      --      |    Inf 
273.92/274.07	c   274s|  2700 |  2425 |911367 | 330.4 |  55M|  35 |1591 |1986 |7028 |1986 |6096 | 923 |1648 |2826 | 2.997695e+03 |      --      |    Inf 
280.92/281.09	c   281s|  2800 |  2525 |940314 | 329.0 |  56M|  35 |1544 |1986 |7011 |1986 |6096 | 923 |1656 |2871 | 2.998719e+03 |      --      |    Inf 
293.63/293.73	c   294s|  2900 |  2621 |991504 | 335.3 |  56M|  35 |   - |1986 |7023 |   0 |   0 | 923 |1703 |2946 | 3.000136e+03 |      --      |    Inf 
302.02/302.15	c   302s|  3000 |  2720 |  1024k| 334.9 |  56M|  35 |1529 |1986 |7006 |1986 |6096 | 923 |1727 |3005 | 3.000372e+03 |      --      |    Inf 
310.32/310.41	c   310s|  3100 |  2798 |  1055k| 334.4 |  56M|  35 |1311 |1986 |7073 |1986 |6096 | 923 |1824 |3063 | 3.001136e+03 |      --      |    Inf 
319.82/319.94	c   320s|  3200 |  2898 |  1092k| 335.3 |  57M|  35 |1529 |1986 |7100 |1986 |6096 | 923 |1870 |3148 | 3.001136e+03 |      --      |    Inf 
327.52/327.65	c   328s|  3300 |  2998 |  1120k| 333.7 |  57M|  35 | 364 |1986 |7095 |1986 |6096 | 923 |1887 |3230 | 3.001136e+03 |      --      |    Inf 
336.52/336.64	c   337s|  3400 |  3077 |  1153k| 333.5 |  57M|  35 |1565 |1986 |7124 |1986 |6096 | 923 |1974 |3288 | 3.001136e+03 |      --      |    Inf 
348.52/348.65	c   349s|  3500 |  3171 |  1195k| 336.1 |  57M|  35 |1559 |1986 |7141 |1986 |6096 | 923 |2038 |3396 | 3.004690e+03 |      --      |    Inf 
356.51/356.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
356.51/356.68	c   357s|  3600 |  3261 |  1225k| 335.1 |  58M|  35 |1603 |1986 |7123 |1986 |6096 | 923 |2072 |3466 | 3.005636e+03 |      --      |    Inf 
365.42/365.51	c   366s|  3700 |  3335 |  1256k| 334.4 |  58M|  35 |1605 |1986 |7157 |1986 |6096 | 923 |2196 |3554 | 3.009386e+03 |      --      |    Inf 
376.41/376.54	c   377s|  3800 |  3435 |  1297k| 336.4 |  58M|  35 |1520 |1986 |7115 |1986 |6096 | 923 |2227 |3652 | 3.009386e+03 |      --      |    Inf 
384.31/384.49	c   384s|  3900 |  3531 |  1327k| 335.5 |  58M|  35 |1600 |1986 |7098 |1986 |6096 | 923 |2250 |3725 | 3.011386e+03 |      --      |    Inf 
393.21/393.35	c   393s|  4000 |  3613 |  1360k| 335.3 |  58M|  35 |1523 |1986 |7116 |1986 |6096 | 923 |2335 |3799 | 3.011719e+03 |      --      |    Inf 
401.71/401.83	c   402s|  4100 |  3708 |  1390k| 334.4 |  59M|  35 |1647 |1986 |7104 |1986 |6096 | 923 |2378 |3874 | 3.011886e+03 |      --      |    Inf 
409.50/409.63	c   410s|  4200 |  3790 |  1420k| 333.7 |  59M|  35 |1534 |1986 |7122 |1986 |6096 | 923 |2460 |3929 | 3.012219e+03 |      --      |    Inf 
419.60/419.79	c   420s|  4300 |  3848 |  1457k| 334.4 |  59M|  36 |1522 |1986 |7227 |1986 |6096 | 923 |2625 |3993 | 3.012302e+03 |      --      |    Inf 
428.40/428.52	c   429s|  4400 |  3908 |  1489k| 334.1 |  59M|  36 |1501 |1986 |7280 |1986 |6096 | 923 |2757 |4065 | 3.012886e+03 |      --      |    Inf 
434.10/434.23	c   434s|  4500 |  3982 |  1518k| 333.1 |  60M|  36 |1476 |1986 |7243 |1986 |6096 | 923 |2829 |4075 | 3.013063e+03 |      --      |    Inf 
440.50/440.66	c   441s|  4600 |  4068 |  1547k| 332.3 |  60M|  36 |1568 |1986 |7200 |1986 |6096 | 923 |2910 |4081 | 3.013230e+03 |      --      |    Inf 
446.90/447.05	c   447s|  4700 |  4136 |  1578k| 331.8 |  60M|  36 |1482 |1986 |7209 |1986 |6096 | 923 |3019 |4083 | 3.013230e+03 |      --      |    Inf 
454.59/454.70	c   455s|  4800 |  4220 |  1614k| 332.4 |  60M|  36 |1524 |1986 |7223 |1986 |6096 | 923 |3119 |4086 | 3.014063e+03 |      --      |    Inf 
460.49/460.60	c   461s|  4900 |  4294 |  1643k| 331.5 |  61M|  37 | 495 |1986 |7234 |1986 |6096 | 923 |3220 |4086 | 3.014063e+03 |      --      |    Inf 
466.21/466.32	c   466s|  5000 |  4371 |  1672k| 330.6 |  61M|  37 |1339 |1986 |7221 |1986 |6096 | 923 |3319 |4086 | 3.014230e+03 |      --      |    Inf 
474.09/474.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
474.09/474.28	c   474s|  5100 |  4423 |  1707k| 331.0 |  61M|  37 |1473 |1986 |7277 |1986 |6096 | 923 |3491 |4100 | 3.014230e+03 |      --      |    Inf 
482.60/482.70	c   483s|  5200 |  4482 |  1738k| 330.7 |  61M|  37 |   - |1986 |7283 |   0 |   0 | 923 |3643 |4151 | 3.014230e+03 |      --      |    Inf 
492.19/492.34	c   492s|  5300 |  4543 |  1773k| 331.1 |  61M|  37 |1584 |1986 |7274 |1986 |6096 | 923 |3771 |4197 | 3.014886e+03 |      --      |    Inf 
501.99/502.14	c   502s|  5400 |  4598 |  1810k| 331.7 |  62M|  37 | 507 |1986 |7358 |1986 |6096 | 923 |4001 |4249 | 3.015063e+03 |      --      |    Inf 
512.50/512.67	c   513s|  5500 |  4618 |  1848k| 332.5 |  62M|  37 |1529 |1986 |7517 |1986 |6096 | 923 |4307 |4310 | 3.015230e+03 |      --      |    Inf 
524.29/524.42	c   524s|  5600 |  4664 |  1894k| 334.9 |  62M|  37 |1628 |1986 |7574 |1986 |6096 | 923 |4515 |4358 | 3.015230e+03 |      --      |    Inf 
537.39/537.59	c   538s|  5700 |  4702 |  1943k| 337.6 |  62M|  37 | 347 |1986 |7553 |1986 |6096 | 923 |4738 |4425 | 3.015230e+03 |      --      |    Inf 
551.29/551.46	c   551s|  5800 |  4750 |  1995k| 340.7 |  62M|  37 |1601 |1986 |7461 |1986 |6096 | 923 |4904 |4469 | 3.015328e+03 |      --      |    Inf 
562.58/562.79	c   563s|  5900 |  4791 |  2037k| 342.0 |  62M|  37 |1430 |1986 |7452 |1986 |6096 | 923 |5118 |4526 | 3.015385e+03 |      --      |    Inf 
573.18/573.35	c   573s|  6000 |  4835 |  2077k| 343.1 |  62M|  37 |   - |1986 |7464 |   0 |   0 | 923 |5319 |4578 | 3.015385e+03 |      --      |    Inf 
582.28/582.41	c   582s|  6100 |  4886 |  2113k| 343.3 |  63M|  37 | 362 |1986 |7509 |1986 |6096 | 923 |5508 |4629 | 3.015896e+03 |      --      |    Inf 
593.47/593.67	c   594s|  6200 |  4896 |  2153k| 344.3 |  63M|  37 |1538 |1986 |7735 |1986 |6096 | 923 |5863 |4701 | 3.016230e+03 |      --      |    Inf 
606.37/606.58	c   607s|  6300 |  4954 |  2203k| 346.7 |  63M|  37 |1361 |1986 |7790 |1986 |6096 | 923 |6065 |4763 | 3.016230e+03 |      --      |    Inf 
618.36/618.50	c   619s|  6400 |  4964 |  2246k| 348.1 |  63M|  37 |1405 |1986 |7947 |1986 |6096 | 923 |6344 |4837 | 3.016230e+03 |      --      |    Inf 
629.37/629.54	c   630s|  6500 |  5005 |  2294k| 350.1 |  63M|  37 |1396 |1986 |8018 |1986 |6096 | 923 |6543 |4872 | 3.016385e+03 |      --      |    Inf 
639.87/640.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
639.87/640.01	c   640s|  6600 |  5023 |  2332k| 350.5 |  64M|  37 |1632 |1986 |8128 |1986 |6096 | 923 |6789 |4949 | 3.016385e+03 |      --      |    Inf 
651.37/651.56	c   652s|  6700 |  5053 |  2376k| 351.9 |  64M|  37 |1428 |1986 |8098 |1986 |6096 | 923 |7053 |5007 | 3.016385e+03 |      --      |    Inf 
664.36/664.55	c   665s|  6800 |  5104 |  2422k| 353.4 |  64M|  37 |1558 |1986 |7984 |1986 |6096 | 923 |7219 |5086 | 3.016495e+03 |      --      |    Inf 
676.46/676.60	c   677s|  6900 |  5137 |  2470k| 355.3 |  64M|  37 |1493 |1986 |7919 |1986 |6096 | 923 |7488 |5138 | 3.016718e+03 |      --      |    Inf 
686.35/686.51	c   687s|  7000 |  5160 |  2512k| 356.1 |  64M|  37 |1314 |1986 |8024 |1986 |6096 | 923 |7713 |5195 | 3.016718e+03 |      --      |    Inf 
697.55/697.71	c   698s|  7100 |  5189 |  2552k| 356.8 |  64M|  37 |   - |1986 |8014 |1986 |6096 | 923 |7948 |5254 | 3.016896e+03 |      --      |    Inf 
705.95/706.16	c   706s|  7200 |  5203 |  2585k| 356.4 |  64M|  37 |1649 |1986 |8107 |1986 |6096 | 923 |8164 |5292 | 3.017028e+03 |      --      |    Inf 
716.75/716.98	c   717s|  7300 |  5223 |  2626k| 357.1 |  64M|  37 |   - |1986 |8084 |   0 |   0 | 923 |8418 |5356 | 3.017385e+03 |      --      |    Inf 
725.45/725.62	c   726s|  7400 |  5259 |  2659k| 356.7 |  64M|  37 | 350 |1986 |8026 |1986 |6096 | 923 |8652 |5406 | 3.017552e+03 |      --      |    Inf 
736.44/736.61	c   737s|  7500 |  5278 |  2697k| 357.0 |  65M|  37 | 327 |1986 |8080 |1986 |6096 | 923 |8963 |5484 | 3.018028e+03 |      --      |    Inf 
747.85/748.00	c   748s|  7600 |  5306 |  2745k| 358.7 |  65M|  37 | 470 |1986 |8157 |1986 |6096 | 923 |9244 |5520 | 3.018028e+03 |      --      |    Inf 
758.14/758.33	c   758s|  7700 |  5313 |  2782k| 358.9 |  65M|  37 |   - |1986 |8321 |   0 |   0 | 923 |9524 |5578 | 3.018028e+03 |      --      |    Inf 
768.24/768.49	c   768s|  7800 |  5327 |  2820k| 359.1 |  65M|  37 | 278 |1986 |8377 |1986 |6096 | 923 |9793 |5635 | 3.018146e+03 |      --      |    Inf 
778.34/778.58	c   779s|  7900 |  5352 |  2857k| 359.3 |  65M|  37 |   - |1986 |8324 |1986 |6096 | 923 |  10k|5707 | 3.019146e+03 |      --      |    Inf 
792.23/792.44	c   792s|  8000 |  5397 |  2911k| 361.5 |  65M|  37 |   - |1986 |8170 |   0 |   0 | 923 |  10k|5735 | 3.020445e+03 |      --      |    Inf 
801.33/801.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
801.33/801.58	c   802s|  8100 |  5434 |  2947k| 361.5 |  65M|  37 | 478 |1986 |8026 |1986 |6096 | 923 |  10k|5774 | 3.022386e+03 |      --      |    Inf 
808.84/809.03	c   809s|  8200 |  5449 |  2981k| 361.3 |  65M|  37 |   - |1986 |7982 |   0 |   0 | 923 |  10k|5774 | 3.024146e+03 |      --      |    Inf 
815.93/816.17	c   816s|  8300 |  5462 |  3016k| 361.1 |  65M|  37 | 382 |1986 |8112 |1986 |6096 | 923 |  10k|5778 | 3.025146e+03 |      --      |    Inf 
824.63/824.88	c   825s|  8400 |  5486 |  3055k| 361.5 |  66M|  37 | 613 |1986 |8129 |1986 |6096 | 923 |  11k|5778 | 3.025730e+03 |      --      |    Inf 
831.73/831.98	c   832s|  8500 |  5502 |  3089k| 361.2 |  66M|  37 | 310 |1986 |8233 |1986 |6096 | 923 |  11k|5778 | 3.026469e+03 |      --      |    Inf 
840.52/840.75	c   841s|  8600 |  5532 |  3129k| 361.7 |  66M|  37 |1477 |1986 |8062 |1986 |6096 | 923 |  11k|5778 | 3.026563e+03 |      --      |    Inf 
847.42/847.60	c   848s|  8700 |  5546 |  3163k| 361.4 |  66M|  37 |1610 |1986 |8108 |1986 |6096 | 923 |  12k|5778 | 3.027469e+03 |      --      |    Inf 
854.53/854.70	c   855s|  8800 |  5562 |  3197k| 361.2 |  66M|  37 | 379 |1986 |8333 |1986 |6096 | 923 |  12k|5778 | 3.027469e+03 |      --      |    Inf 
861.82/862.07	c   862s|  8900 |  5586 |  3233k| 361.2 |  66M|  37 |   - |1986 |8326 |   0 |   0 | 923 |  12k|5778 | 3.027563e+03 |      --      |    Inf 
872.81/873.00	c   873s|  9000 |  5625 |  3282k| 362.6 |  66M|  37 | 513 |1986 |8265 |1986 |6096 | 923 |  12k|5796 | 3.028386e+03 |      --      |    Inf 
883.02/883.30	c   883s|  9100 |  5638 |  3320k| 362.8 |  67M|  37 |   - |1986 |8426 |1986 |6096 | 923 |  13k|5845 | 3.028469e+03 |      --      |    Inf 
893.42/893.62	c   894s|  9200 |  5670 |  3360k| 363.2 |  67M|  37 | 367 |1986 |8327 |1986 |6096 | 923 |  13k|5874 | 3.028563e+03 |      --      |    Inf 
903.51/903.77	c   904s|  9300 |  5705 |  3400k| 363.6 |  67M|  37 |1544 |1986 |8105 |1986 |6096 | 923 |  13k|5909 | 3.028563e+03 |      --      |    Inf 
913.82/914.08	c   914s|  9400 |  5743 |  3439k| 363.8 |  67M|  37 | 278 |1986 |7989 |1986 |6096 | 923 |  13k|5955 | 3.028563e+03 |      --      |    Inf 
923.61/923.80	c   924s|  9500 |  5775 |  3477k| 364.0 |  67M|  37 | 455 |1986 |7910 |1986 |6096 | 923 |  14k|5994 | 3.029563e+03 |      --      |    Inf 
934.21/934.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
934.21/934.44	c   934s|  9600 |  5799 |  3516k| 364.3 |  67M|  37 |   - |1986 |7918 |   0 |   0 | 923 |  14k|6033 | 3.029563e+03 |      --      |    Inf 
943.31/943.55	c   944s|  9700 |  5808 |  3551k| 364.2 |  67M|  37 | 374 |1986 |8019 |1986 |6096 | 923 |  14k|6075 | 3.029730e+03 |      --      |    Inf 
954.01/954.21	c   954s|  9800 |  5829 |  3593k| 364.7 |  67M|  37 |   - |1986 |8047 |1986 |6096 | 923 |  15k|6113 | 3.029828e+03 |      --      |    Inf 
963.31/963.57	c   964s|  9900 |  5865 |  3626k| 364.4 |  67M|  37 |   - |1986 |7876 |1986 |6096 | 923 |  15k|6155 | 3.030719e+03 |      --      |    Inf 
970.71/970.91	c   971s| 10000 |  5900 |  3656k| 363.8 |  67M|  37 |   - |1986 |7843 |   0 |   0 | 923 |  15k|6166 | 3.030730e+03 |      --      |    Inf 
980.50/980.73	c   981s| 10100 |  5924 |  3690k| 363.5 |  67M|  37 |1457 |1986 |7882 |1986 |6096 | 923 |  15k|6220 | 3.030886e+03 |      --      |    Inf 
988.50/988.72	c   989s| 10200 |  5934 |  3724k| 363.3 |  67M|  37 |   - |1986 |8011 |   0 |   0 | 923 |  16k|6245 | 3.030886e+03 |      --      |    Inf 
999.80/1000.09	c  1000s| 10300 |  5951 |  3767k| 363.9 |  67M|  37 | 328 |1986 |8036 |1986 |6096 | 923 |  16k|6287 | 3.030886e+03 |      --      |    Inf 
1009.20/1009.49	c  1009s| 10400 |  5972 |  3803k| 363.9 |  67M|  37 |1501 |1986 |8053 |1986 |6096 | 923 |  16k|6326 | 3.030886e+03 |      --      |    Inf 
1017.10/1017.39	c  1017s| 10500 |  5979 |  3833k| 363.3 |  68M|  37 |1563 |1986 |8232 |1986 |6096 | 923 |  16k|6363 | 3.030896e+03 |      --      |    Inf 
1027.39/1027.63	c  1028s| 10600 |  6011 |  3869k| 363.2 |  68M|  37 |1483 |1986 |8220 |1986 |6096 | 923 |  17k|6411 | 3.031052e+03 |      --      |    Inf 
1037.30/1037.55	c  1038s| 10700 |  6035 |  3907k| 363.4 |  68M|  37 |   - |1986 |8308 |   0 |   0 | 923 |  17k|6456 | 3.031230e+03 |      --      |    Inf 
1043.79/1044.01	c  1044s| 10800 |  6066 |  3933k| 362.5 |  68M|  37 |   - |1986 |8335 |   0 |   0 | 924 |  17k|6484 | 3.031230e+03 |      --      |    Inf 
1051.19/1051.48	c  1051s| 10900 |  6062 |  3957k| 361.3 |  68M|  37 |   - |1986 |8428 |   0 |   0 | 924 |  17k|6535 | 3.031719e+03 |      --      |    Inf 
1060.38/1060.69	c  1061s| 11000 |  6076 |  3995k| 361.5 |  68M|  37 |   - |1986 |8573 |   0 |   0 | 924 |  18k|6564 | 3.031719e+03 |      --      |    Inf 
1068.99/1069.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1068.99/1069.21	c  1069s| 11100 |  6094 |  4028k| 361.2 |  68M|  37 |1430 |1986 |8693 |1986 |6096 | 924 |  18k|6618 | 3.031730e+03 |      --      |    Inf 
1077.98/1078.20	c  1078s| 11200 |  6107 |  4060k| 360.8 |  69M|  37 |1458 |1986 |8731 |1986 |6096 | 924 |  18k|6666 | 3.031730e+03 |      --      |    Inf 
1087.28/1087.51	c  1088s| 11300 |  6133 |  4097k| 360.9 |  69M|  37 |   - |1986 |8785 |   0 |   0 | 924 |  19k|6692 | 3.031886e+03 |      --      |    Inf 
1097.38/1097.64	c  1098s| 11400 |  6149 |  4135k| 361.1 |  69M|  37 |   - |1986 |8829 |   0 |   0 | 924 |  19k|6747 | 3.031896e+03 |      --      |    Inf 
1106.18/1106.43	c  1106s| 11500 |  6167 |  4172k| 361.1 |  69M|  37 | 517 |1986 |8900 |1986 |6096 | 924 |  19k|6779 | 3.031896e+03 |      --      |    Inf 
1115.18/1115.47	c  1115s| 11600 |  6177 |  4204k| 360.8 |  69M|  37 |   - |1986 |8838 |   0 |   0 | 924 |  20k|6828 | 3.032052e+03 |      --      |    Inf 
1122.78/1123.06	c  1123s| 11700 |  6196 |  4232k| 360.1 |  69M|  37 | 490 |1986 |8735 |1986 |6096 | 924 |  20k|6862 | 3.032230e+03 |      --      |    Inf 
1131.69/1131.99	c  1132s| 11800 |  6209 |  4265k| 359.8 |  69M|  37 |1247 |1986 |8837 |1986 |6096 | 925 |  20k|6895 | 3.032469e+03 |      --      |    Inf 
1140.07/1140.31	c  1140s| 11900 |  6232 |  4293k| 359.2 |  69M|  37 |1368 |1986 |8731 |1986 |6096 | 925 |  20k|6941 | 3.032896e+03 |      --      |    Inf 
1148.67/1148.93	c  1149s| 12000 |  6241 |  4325k| 358.9 |  69M|  37 |   - |1986 |8695 |1986 |6096 | 925 |  21k|6983 | 3.032896e+03 |      --      |    Inf 
1156.27/1156.52	c  1157s| 12100 |  6261 |  4353k| 358.2 |  69M|  37 |1405 |1986 |8515 |1986 |6096 | 925 |  21k|7013 | 3.033063e+03 |      --      |    Inf 
1163.97/1164.21	c  1164s| 12200 |  6259 |  4385k| 357.9 |  69M|  37 |   - |1986 |8623 |   0 |   0 | 925 |  22k|7054 | 3.033063e+03 |      --      |    Inf 
1172.37/1172.63	c  1173s| 12300 |  6256 |  4414k| 357.4 |  69M|  37 |   - |1986 |8988 |   0 |   0 | 925 |  22k|7100 | 3.033063e+03 |      --      |    Inf 
1180.67/1180.92	c  1181s| 12400 |  6264 |  4448k| 357.2 |  70M|  37 |   - |1986 |9194 |   0 |   0 | 925 |  22k|7125 | 3.033063e+03 |      --      |    Inf 
1192.86/1193.17	c  1193s| 12500 |  6285 |  4494k| 358.0 |  70M|  37 |1413 |1986 |9289 |1986 |6096 | 925 |  23k|7194 | 3.033063e+03 |      --      |    Inf 
1205.86/1206.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1205.86/1206.12	c  1206s| 12600 |  6304 |  4546k| 359.3 |  70M|  37 |   - |1986 |9424 |   0 |   0 | 925 |  23k|7252 | 3.033063e+03 |      --      |    Inf 
1216.86/1217.15	c  1217s| 12700 |  6321 |  4588k| 359.8 |  70M|  37 |1660 |1986 |9386 |1986 |6096 | 925 |  23k|7305 | 3.033469e+03 |      --      |    Inf 
1227.46/1227.77	c  1228s| 12800 |  6336 |  4627k| 360.1 |  70M|  37 | 361 |1986 |9355 |1986 |6096 | 925 |  24k|7363 | 3.033896e+03 |      --      |    Inf 
1236.35/1236.67	c  1237s| 12900 |  6347 |  4664k| 360.1 |  70M|  37 | 508 |1986 |9460 |1986 |6096 | 925 |  24k|7407 | 3.033896e+03 |      --      |    Inf 
1244.16/1244.41	c  1244s| 13000 |  6351 |  4699k| 360.1 |  70M|  37 |1439 |1986 |9336 |1986 |6096 | 925 |  24k|7417 | 3.033896e+03 |      --      |    Inf 
1251.95/1252.22	c  1252s| 13100 |  6360 |  4738k| 360.2 |  70M|  37 |1491 |1986 |9129 |1986 |6096 | 925 |  25k|7417 | 3.033896e+03 |      --      |    Inf 
1258.96/1259.27	c  1259s| 13200 |  6377 |  4773k| 360.1 |  70M|  37 | 508 |1986 |8936 |1986 |6096 | 925 |  25k|7417 | 3.033896e+03 |      --      |    Inf 
1267.15/1267.45	c  1267s| 13300 |  6389 |  4811k| 360.3 |  70M|  37 |1366 |1986 |8889 |1986 |6096 | 925 |  25k|7421 | 3.033896e+03 |      --      |    Inf 
1274.66/1274.92	c  1275s| 13400 |  6405 |  4844k| 360.1 |  70M|  37 |   - |1986 |8576 |   0 |   0 | 925 |  26k|7421 | 3.034063e+03 |      --      |    Inf 
1282.45/1282.70	c  1283s| 13500 |  6439 |  4879k| 360.0 |  70M|  37 | 549 |1986 |8367 |1986 |6096 | 925 |  26k|7422 | 3.034063e+03 |      --      |    Inf 
1288.95/1289.21	c  1289s| 13600 |  6454 |  4909k| 359.6 |  70M|  37 |1379 |1986 |8435 |1986 |6096 | 925 |  26k|7423 | 3.034063e+03 |      --      |    Inf 
1295.35/1295.64	c  1296s| 13700 |  6470 |  4940k| 359.2 |  70M|  37 | 361 |1986 |8545 |1986 |6096 | 925 |  26k|7423 | 3.034063e+03 |      --      |    Inf 
1301.44/1301.71	c  1302s| 13800 |  6479 |  4968k| 358.6 |  70M|  37 |   - |1986 |8693 |   0 |   0 | 925 |  27k|7423 | 3.034063e+03 |      --      |    Inf 
1307.34/1307.67	c  1308s| 13900 |  6486 |  4996k| 358.1 |  70M|  37 |   - |1986 |8671 |   0 |   0 | 925 |  27k|7423 | 3.034063e+03 |      --      |    Inf 
1315.05/1315.31	c  1315s| 14000 |  6507 |  5032k| 358.1 |  70M|  37 |1482 |1986 |8478 |1986 |6096 | 925 |  27k|7423 | 3.034218e+03 |      --      |    Inf 
1321.85/1322.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1321.85/1322.19	c  1322s| 14100 |  6509 |  5068k| 358.1 |  70M|  37 |1316 |1986 |8507 |1986 |6096 | 925 |  28k|7423 | 3.034219e+03 |      --      |    Inf 
1329.84/1330.19	c  1330s| 14200 |  6534 |  5103k| 358.1 |  70M|  37 | 350 |1986 |8459 |1986 |6096 | 925 |  28k|7423 | 3.034396e+03 |      --      |    Inf 
1338.14/1338.43	c  1338s| 14300 |  6553 |  5140k| 358.1 |  70M|  37 |   - |1986 |8251 |   0 |   0 | 925 |  28k|7434 | 3.034896e+03 |      --      |    Inf 
1346.74/1347.04	c  1347s| 14400 |  6571 |  5167k| 357.5 |  70M|  37 |1470 |1986 |8121 |1986 |6096 | 925 |  28k|7472 | 3.034896e+03 |      --      |    Inf 
1354.73/1355.09	c  1355s| 14500 |  6585 |  5201k| 357.4 |  70M|  37 |   - |1986 |7974 |1986 |6096 | 925 |  29k|7481 | 3.034896e+03 |      --      |    Inf 
1364.24/1364.59	c  1365s| 14600 |  6587 |  5237k| 357.4 |  70M|  37 | 357 |1986 |8105 |1986 |6096 | 925 |  29k|7526 | 3.034896e+03 |      --      |    Inf 
1375.14/1375.45	c  1375s| 14700 |  6601 |  5281k| 358.0 |  70M|  37 | 469 |1986 |7999 |1986 |6096 | 925 |  29k|7552 | 3.035063e+03 |      --      |    Inf 
1384.64/1384.94	c  1385s| 14800 |  6608 |  5318k| 358.0 |  70M|  37 |   - |1986 |8158 |   0 |   0 | 925 |  30k|7589 | 3.035063e+03 |      --      |    Inf 
1395.13/1395.41	c  1395s| 14900 |  6630 |  5359k| 358.4 |  70M|  37 |1485 |1986 |8162 |1986 |6096 | 925 |  30k|7631 | 3.035063e+03 |      --      |    Inf 
1407.03/1407.32	c  1407s| 15000 |  6656 |  5406k| 359.2 |  70M|  37 |1609 |1986 |8124 |1986 |6096 | 925 |  30k|7671 | 3.035063e+03 |      --      |    Inf 
1414.13/1414.45	c  1414s| 15100 |  6644 |  5435k| 358.7 |  70M|  37 |   - |1986 |8368 |   0 |   0 | 925 |  31k|7698 | 3.035063e+03 |      --      |    Inf 
1422.63/1422.93	c  1423s| 15200 |  6666 |  5466k| 358.4 |  70M|  37 |1336 |1986 |8353 |1986 |6096 | 925 |  31k|7738 | 3.035063e+03 |      --      |    Inf 
1430.22/1430.51	c  1431s| 15300 |  6663 |  5495k| 357.9 |  70M|  37 |   - |1986 |8450 |   0 |   0 | 925 |  31k|7770 | 3.035063e+03 |      --      |    Inf 
1439.02/1439.33	c  1439s| 15400 |  6670 |  5529k| 357.8 |  70M|  37 |1484 |1986 |8456 |1986 |6096 | 925 |  31k|7803 | 3.035063e+03 |      --      |    Inf 
1446.72/1447.07	c  1447s| 15500 |  6672 |  5559k| 357.5 |  71M|  37 |   - |1986 |8636 |1986 |6096 | 925 |  32k|7824 | 3.035063e+03 |      --      |    Inf 
1455.72/1456.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1455.72/1456.06	c  1456s| 15600 |  6684 |  5593k| 357.3 |  71M|  37 |1324 |1986 |8830 |1986 |6096 | 925 |  32k|7865 | 3.035162e+03 |      --      |    Inf 
1465.02/1465.39	c  1465s| 15700 |  6692 |  5628k| 357.3 |  71M|  37 | 306 |1986 |8873 |1986 |6096 | 925 |  32k|7906 | 3.035162e+03 |      --      |    Inf 
1475.21/1475.59	c  1476s| 15800 |  6706 |  5668k| 357.6 |  71M|  37 |1488 |1986 |8768 |1986 |6096 | 925 |  32k|7946 | 3.035218e+03 |      --      |    Inf 
1484.42/1484.77	c  1485s| 15900 |  6723 |  5704k| 357.6 |  71M|  37 |   - |1986 |8772 |   0 |   0 | 925 |  33k|7978 | 3.035328e+03 |      --      |    Inf 
1493.81/1494.15	c  1494s| 16000 |  6729 |  5739k| 357.5 |  71M|  37 |   - |1986 |8646 |   0 |   0 | 925 |  33k|8022 | 3.035328e+03 |      --      |    Inf 
1504.61/1504.96	c  1505s| 16100 |  6762 |  5782k| 358.0 |  71M|  37 | 340 |1986 |8345 |1986 |6096 | 925 |  33k|8051 | 3.035469e+03 |      --      |    Inf 
1513.61/1513.90	c  1514s| 16200 |  6769 |  5820k| 358.1 |  71M|  37 | 342 |1986 |8466 |1986 |6096 | 925 |  34k|8073 | 3.035469e+03 |      --      |    Inf 
1522.61/1522.90	c  1523s| 16300 |  6789 |  5851k| 357.8 |  71M|  37 |   - |1986 |8244 |   0 |   0 | 925 |  34k|8119 | 3.035896e+03 |      --      |    Inf 
1531.31/1531.69	c  1532s| 16400 |  6795 |  5884k| 357.7 |  71M|  37 |   - |1986 |8272 |   0 |   0 | 925 |  34k|8157 | 3.035896e+03 |      --      |    Inf 
1541.81/1542.20	c  1542s| 16500 |  6812 |  5927k| 358.1 |  71M|  37 |1534 |1986 |8143 |1986 |6096 | 925 |  34k|8195 | 3.036063e+03 |      --      |    Inf 
1551.01/1551.38	c  1551s| 16600 |  6820 |  5962k| 358.0 |  71M|  37 |   - |1986 |8160 |   0 |   0 | 925 |  35k|8236 | 3.036063e+03 |      --      |    Inf 
1559.00/1559.30	c  1559s| 16700 |  6827 |  5992k| 357.7 |  71M|  37 |   - |1986 |8100 |   0 |   0 | 925 |  35k|8264 | 3.036218e+03 |      --      |    Inf 
1568.31/1568.64	c  1569s| 16800 |  6834 |  6028k| 357.7 |  71M|  37 |1414 |1986 |8149 |1986 |6096 | 925 |  35k|8314 | 3.036218e+03 |      --      |    Inf 
1576.60/1576.90	c  1577s| 16900 |  6843 |  6059k| 357.4 |  71M|  37 |   - |1986 |8276 |   0 |   0 | 925 |  36k|8343 | 3.036328e+03 |      --      |    Inf 
1586.39/1586.79	c  1587s| 17000 |  6852 |  6097k| 357.5 |  71M|  37 |1322 |1986 |8329 |1986 |6096 | 925 |  36k|8382 | 3.036328e+03 |      --      |    Inf 
1594.10/1594.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1594.10/1594.47	c  1594s| 17100 |  6848 |  6125k| 357.1 |  71M|  37 | 469 |1986 |8544 |1986 |6096 | 925 |  36k|8419 | 3.036328e+03 |      --      |    Inf 
1602.00/1602.37	c  1602s| 17200 |  6859 |  6158k| 357.0 |  71M|  37 |   - |1986 |8500 |   0 |   0 | 925 |  37k|8447 | 3.036396e+03 |      --      |    Inf 
1612.80/1613.16	c  1613s| 17300 |  6872 |  6204k| 357.6 |  71M|  37 | 338 |1986 |8579 |1986 |6096 | 925 |  37k|8488 | 3.036396e+03 |      --      |    Inf 
1622.20/1622.56	c  1623s| 17400 |  6883 |  6241k| 357.6 |  71M|  37 | 373 |1986 |8673 |1986 |6096 | 925 |  37k|8528 | 3.036469e+03 |      --      |    Inf 
1629.90/1630.25	c  1630s| 17500 |  6884 |  6271k| 357.2 |  71M|  37 |1550 |1986 |8761 |1986 |6096 | 925 |  37k|8572 | 3.036469e+03 |      --      |    Inf 
1638.79/1639.13	c  1639s| 17600 |  6905 |  6308k| 357.4 |  71M|  37 |   - |1986 |8762 |   0 |   0 | 925 |  38k|8601 | 3.036552e+03 |      --      |    Inf 
1648.50/1648.89	c  1649s| 17700 |  6908 |  6346k| 357.5 |  71M|  37 |1550 |1986 |8925 |1986 |6096 | 925 |  38k|8651 | 3.036552e+03 |      --      |    Inf 
1656.99/1657.31	c  1657s| 17800 |  6954 |  6380k| 357.4 |  71M|  37 |   - |1986 |8907 |   0 |   0 | 925 |  38k|8675 | 3.036552e+03 |      --      |    Inf 
1665.18/1665.55	c  1666s| 17900 |  6961 |  6409k| 357.0 |  71M|  37 |1284 |1986 |9018 |1986 |6096 | 925 |  39k|8713 | 3.037063e+03 |      --      |    Inf 
1673.89/1674.26	c  1674s| 18000 |  6976 |  6441k| 356.8 |  71M|  37 |1531 |1986 |8922 |1986 |6096 | 926 |  39k|8750 | 3.037230e+03 |      --      |    Inf 
1681.88/1682.22	c  1682s| 18100 |  6981 |  6471k| 356.5 |  71M|  37 | 479 |1986 |9046 |1986 |6096 | 926 |  39k|8798 | 3.037328e+03 |      --      |    Inf 
1689.69/1690.01	c  1690s| 18200 |  6988 |  6500k| 356.1 |  71M|  37 |   - |1986 |8907 |   0 |   0 | 926 |  39k|8830 | 3.037469e+03 |      --      |    Inf 
1702.68/1703.04	c  1703s| 18300 |  7015 |  6547k| 356.8 |  71M|  37 |1493 |1986 |8830 |1986 |6096 | 926 |  40k|8903 | 3.037469e+03 |      --      |    Inf 
1709.18/1709.59	c  1710s| 18400 |  7039 |  6578k| 356.5 |  71M|  37 |   - |1986 |8826 |1986 |6096 | 926 |  40k|8907 | 3.037469e+03 |      --      |    Inf 
1717.98/1718.38	c  1718s| 18500 |  7047 |  6610k| 356.3 |  71M|  37 |   - |1986 |8841 |   0 |   0 | 926 |  40k|8949 | 3.037552e+03 |      --      |    Inf 
1726.69/1727.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1726.69/1727.07	c  1727s| 18600 |  7063 |  6643k| 356.1 |  71M|  37 |   - |1986 |8795 |   0 |   0 | 926 |  40k|8986 | 3.037719e+03 |      --      |    Inf 
1736.67/1737.06	c  1737s| 18700 |  7082 |  6682k| 356.3 |  72M|  37 |   - |1986 |8951 |   0 |   0 | 926 |  41k|9057 | 3.038063e+03 |      --      |    Inf 
1745.57/1745.94	c  1746s| 18800 |  7102 |  6715k| 356.2 |  71M|  37 |   - |1986 |8875 |   0 |   0 | 926 |  41k|9083 | 3.038230e+03 |      --      |    Inf 
1752.57/1752.91	c  1753s| 18900 |  7112 |  6746k| 355.9 |  72M|  37 | 328 |1986 |8979 |1986 |6096 | 926 |  41k|9103 | 3.038230e+03 |      --      |    Inf 
1762.17/1762.50	c  1763s| 19000 |  7140 |  6789k| 356.3 |  72M|  37 | 516 |1986 |8957 |1986 |6096 | 926 |  42k|9105 | 3.038552e+03 |      --      |    Inf 
1769.77/1770.19	c  1770s| 19100 |  7161 |  6823k| 356.2 |  72M|  37 | 600 |1986 |8791 |1986 |6096 | 926 |  42k|9105 | 3.038730e+03 |      --      |    Inf 
1776.18/1776.59	c  1777s| 19200 |  7175 |  6852k| 355.9 |  72M|  37 | 519 |1986 |8770 |1986 |6096 | 927 |  42k|9105 | 3.039230e+03 |      --      |    Inf 
1783.97/1784.31	c  1784s| 19300 |  7186 |  6887k| 355.8 |  72M|  37 |   - |1986 |8628 |1986 |6096 | 927 |  43k|9105 | 3.039730e+03 |      --      |    Inf 
1790.67/1791.02	c  1791s| 19400 |  7191 |  6921k| 355.8 |  72M|  37 |1525 |1986 |8810 |1986 |6096 | 927 |  43k|9105 | 3.039886e+03 |      --      |    Inf 
1796.67/1797.00	c 
1796.67/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.67/1797.00	c Solving Time (sec) : 1797.00
1796.67/1797.00	c Solving Nodes      : 19465
1796.67/1797.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.67/1797.00	c Dual Bound         : +3.04055177990284e+03
1796.67/1797.00	c Gap                : infinite
1796.67/1797.00	s UNKNOWN
1796.67/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.67/1797.00	c Total Time         :    1797.00
1796.67/1797.00	c   solving          :    1797.00
1796.67/1797.00	c   presolving       :       1.06 (included in solving)
1796.67/1797.00	c   reading          :       0.04 (included in solving)
1796.67/1797.00	c   copying          :       0.04 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.67/1797.00	c Original Problem   :
1796.67/1797.00	c   Problem name     : HOME/instance-3692004-1338031558.opb
1796.67/1797.00	c   Variables        : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00	c   Constraints      : 13473 initial, 13473 maximal
1796.67/1797.00	c   Objective sense  : minimize
1796.67/1797.00	c Presolved Problem  :
1796.67/1797.00	c   Problem name     : t_HOME/instance-3692004-1338031558.opb
1796.67/1797.00	c   Variables        : 1986 (1986 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00	c   Constraints      : 5825 initial, 9570 maximal
1796.67/1797.00	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.67/1797.00	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   trivial          :       0.01       0.00         40          0          0          0          0          0          0          0          0
1796.67/1797.00	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   gateextraction   :       0.01       0.00          0          0          0          0          0          3          1          0          0
1796.67/1797.00	c   implics          :       0.02       0.00          0       3129          0          0          0          0          0          0          0
1796.67/1797.00	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   probing          :       0.16       0.00          1        150          0          1          0          0          0          0          0
1796.67/1797.00	c   setppc           :       0.05       0.00          0          0          0          0          0        279          0          0          0
1796.67/1797.00	c   and              :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   linear           :       0.52       0.00       1001         45          0       1041          0       7367          0        159        315
1796.67/1797.00	c   logicor          :       0.23       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.67/1797.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.67/1797.00	c   integral         :          0          0          0          0      15259          0          4          0         39        194          0          0      30292
1796.67/1797.00	c   setppc           :       1091       1091         24     469337          0          1          3    1345539       3368    1936763          0          0          0
1796.67/1797.00	c   and              :          1          1      11034     264570          0          0          0       2611          7       2146          5          0          0
1796.67/1797.00	c   linear           :          0+       685         24     356422          0          0          0       4150          5       7683         20          0          0
1796.67/1797.00	c   logicor          :       4733+      8412         24     401722          0          1          0    2073816       4969    3009577          0          0          0
1796.67/1797.00	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.67/1797.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.67/1797.00	c   integral         :     346.69       0.00       0.00       0.00     346.69       0.00       0.00       0.00
1796.67/1797.00	c   setppc           :      15.72       0.00       0.00      14.32       0.00       0.00       0.00       1.39
1796.67/1797.00	c   and              :       0.29       0.00       0.02       0.27       0.00       0.00       0.00       0.00
1796.67/1797.00	c   linear           :       1.07       0.00       0.02       1.04       0.00       0.00       0.00       0.01
1796.67/1797.00	c   logicor          :      21.13       0.00       0.01      18.83       0.00       0.00       0.00       2.29
1796.67/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.67/1797.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.67/1797.00	c   rootredcost      :          0          0          0          0
1796.67/1797.00	c   pseudoobj        :     481752          0          0          0
1796.67/1797.00	c   vbounds          :          0          0          0          0
1796.67/1797.00	c   redcost          :      15286          0          0          0
1796.67/1797.00	c   probing          :          0          0          0          0
1796.67/1797.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.67/1797.00	c   rootredcost      :       0.43       0.00       0.00       0.43       0.00
1796.67/1797.00	c   pseudoobj        :       1.03       0.00       0.00       1.03       0.00
1796.67/1797.00	c   vbounds          :       0.40       0.00       0.00       0.40       0.00
1796.67/1797.00	c   redcost          :       0.55       0.00       0.00       0.55       0.00
1796.67/1797.00	c   probing          :       0.16       0.00       0.16       0.00       0.00
1796.67/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.67/1797.00	c   propagation      :       6.21       8349       7855      70343       34.2        585        8.2          -
1796.67/1797.00	c   infeasible LP    :       1.51       1121       1118      16105       41.7         59        5.4          0
1796.67/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.67/1797.00	c   applied globally :          -          -          -      43561       32.5          -          -          -
1796.67/1797.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.67/1797.00	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.67/1797.00	c   cut pool         :       0.05                    23          -          -        641          -    (maximal pool size: 6222)
1796.67/1797.00	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   impliedbounds    :       0.01       0.00         24          0          0        395          0
1796.67/1797.00	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   gomory           :       0.11       0.00         10          0          0        500          0
1796.67/1797.00	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   strongcg         :       1.35       0.00         20          0          0      10000          0
1796.67/1797.00	c   cmir             :       0.25       0.00         10          0          0          0          0
1796.67/1797.00	c   flowcover        :       0.22       0.00         10          0          0          0          0
1796.67/1797.00	c   clique           :       0.06       0.00         24          0          0         87          0
1796.67/1797.00	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.67/1797.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   rapidlearning    :       1.02       0.00          1          0          0          0        685
1796.67/1797.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.67/1797.00	c   problem variables:       0.00          -          0          0
1796.67/1797.00	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.67/1797.00	c   relpscost        :     346.62       0.00      15259         39        194          0          0      30292
1796.67/1797.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.67/1797.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.67/1797.00	c   LP solutions     :       0.00          -          -          0
1796.67/1797.00	c   pseudo solutions :       0.00          -          -          0
1796.67/1797.00	c   oneopt           :       0.04       0.00          0          0
1796.67/1797.00	c   crossover        :       0.02       0.00          0          0
1796.67/1797.00	c   intshifting      :       0.00       0.00          0          0
1796.67/1797.00	c   coefdiving       :      87.76       0.00        173          0
1796.67/1797.00	c   pscostdiving     :      79.98       0.00        221          0
1796.67/1797.00	c   fracdiving       :      76.32       0.00        226          0
1796.67/1797.00	c   smallcard        :       0.00       0.00          0          0
1796.67/1797.00	c   trivial          :       0.01       0.00          2          0
1796.67/1797.00	c   shiftandpropagate:       0.03       0.00          1          0
1796.67/1797.00	c   simplerounding   :       0.02       0.00          0          0
1796.67/1797.00	c   zirounding       :       0.52       0.00       1000          0
1796.67/1797.00	c   rounding         :       0.63       0.00       1715          0
1796.67/1797.00	c   shifting         :       1.40       0.00        718          0
1796.67/1797.00	c   twoopt           :       0.00       0.00          0          0
1796.67/1797.00	c   indoneopt        :       0.05       0.00          0          0
1796.67/1797.00	c   indtwoopt        :       0.00       0.00          0          0
1796.67/1797.00	c   fixandinfer      :       0.00       0.00          0          0
1796.67/1797.00	c   feaspump         :      25.24       0.00         16          0
1796.67/1797.00	c   clique           :       0.00       0.00          0          0
1796.67/1797.00	c   indcoefdiving    :       0.00       0.00          0          0
1796.67/1797.00	c   indrounding      :       0.00       0.00          0          0
1796.67/1797.00	c   nlpdiving        :       0.00       0.00          0          0
1796.67/1797.00	c   veclendiving     :      71.57       0.00        115          0
1796.67/1797.00	c   intdiving        :       0.00       0.00          0          0
1796.67/1797.00	c   actconsdiving    :       0.00       0.00          0          0
1796.67/1797.00	c   objpscostdiving  :      19.82       0.00          9          0
1796.67/1797.00	c   rootsoldiving    :      20.22       0.00         13          0
1796.67/1797.00	c   linesearchdiving :      64.43       0.00        184          0
1796.67/1797.00	c   guideddiving     :       0.00       0.00          0          0
1796.67/1797.00	c   octane           :       0.00       0.00          0          0
1796.67/1797.00	c   rens             :       0.03       0.00          0          0
1796.67/1797.00	c   rins             :       0.00       0.00          0          0
1796.67/1797.00	c   localbranching   :       0.00       0.00          0          0
1796.67/1797.00	c   mutation         :       0.00       0.00          0          0
1796.67/1797.00	c   dins             :       0.00       0.00          0          0
1796.67/1797.00	c   vbounds          :       0.00       0.00          0          0
1796.67/1797.00	c   undercover       :       0.00       0.00          1          0
1796.67/1797.00	c   subnlp           :       0.02       0.00          0          0
1796.67/1797.00	c   trysol           :       0.04       0.00          0          0
1796.67/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.67/1797.00	c   primal LP        :       0.01          3          0       0.00       0.00       0.01          3
1796.67/1797.00	c   dual LP          :     930.91      16222    5360617     331.25    5758.50       0.11         39
1796.67/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1796.67/1797.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.67/1797.00	c   diving/probing LP:     387.13      61578    1588367      25.79    4102.95
1796.67/1797.00	c   strong branching :     341.86       9105    1716454     188.52    5020.98
1796.67/1797.00	c     (at root node) :          -         13       3775     290.38          -
1796.67/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1796.67/1797.00	c B&B Tree           :
1796.67/1797.00	c   number of runs   :          1
1796.67/1797.00	c   nodes            :      19465
1796.67/1797.00	c   nodes (total)    :      19465
1796.67/1797.00	c   nodes left       :       7204
1796.67/1797.00	c   max depth        :         37
1796.67/1797.00	c   max depth (total):         37
1796.67/1797.00	c   backtracks       :       5880 (30.2%)
1796.67/1797.00	c   delayed cutoffs  :       3626
1796.67/1797.00	c   repropagations   :       7805 (2035091 domain reductions, 3285 cutoffs)
1796.67/1797.00	c   avg switch length:       8.32
1796.67/1797.00	c   switching time   :      16.68
1796.67/1797.00	c Solution           :
1796.67/1797.00	c   Solutions found  :          0 (0 improvements)
1796.67/1797.00	c   Primal Bound     :          -
1796.67/1797.00	c   Dual Bound       : +3.04055177990284e+03
1796.67/1797.00	c   Gap              :   infinite
1796.67/1797.00	c   Root Dual Bound  : +2.92855185570095e+03
1796.67/1797.00	c   Root Iterations  :      19555
1796.67/1797.06	c Time complete: 1796.73.

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-3692004-1338031558/watcher-3692004-1338031558 -o /tmp/evaluation-result-3692004-1338031558/solver-3692004-1338031558 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692004-1338031558.opb -t 1800 -m 15500 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 4504
/proc/meminfo: memFree=29379192/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=13584 CPUtime=0 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 2135 0 0 0 0 0 0 0 20 0 1 0 269280725 13910016 2090 33554432000 4194304 10219143 140734146814368 140734104233144 7157213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 3501 2092 413 1471 0 2021 0

[startup+0.0521081 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 4504
/proc/meminfo: memFree=29379192/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=33352 CPUtime=0.05 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 7071 0 0 0 4 1 0 0 20 0 1 0 269280725 34152448 7026 33554432000 4194304 10219143 140734146814368 140734104233144 8930603 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 8338 7037 474 1471 0 6858 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 33352

[startup+0.100336 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 4504
/proc/meminfo: memFree=29379192/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=46356 CPUtime=0.09 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 10031 0 0 0 7 2 0 0 20 0 1 0 269280725 47468544 9986 33554432000 4194304 10219143 140734146814368 140734104233144 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 11589 9986 568 1471 0 10109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46356

[startup+0.30027 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 4504
/proc/meminfo: memFree=29379192/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=48796 CPUtime=0.29 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 10959 0 0 0 15 14 0 0 20 0 1 0 269280725 49967104 10658 33554432000 4194304 10219143 140734146814368 140734104233144 8891096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 12199 10658 569 1471 0 10719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48796

[startup+0.700255 s]
/proc/loadavg: 2.00 2.02 1.91 3/176 4504
/proc/meminfo: memFree=29379192/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=50636 CPUtime=0.69 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 11419 0 0 0 26 43 0 0 20 0 1 0 269280725 51851264 11117 33554432000 4194304 10219143 140734146814368 140734146811368 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 12659 11117 583 1471 0 11179 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50636

[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 4505
/proc/meminfo: memFree=29331172/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=67236 CPUtime=1.49 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 16151 0 0 0 89 60 0 0 20 0 1 0 269280725 68849664 15561 33554432000 4194304 10219143 140734146814368 140734146805576 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 16809 15561 781 1471 0 15329 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67236

[startup+3.10024 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 4505
/proc/meminfo: memFree=29287896/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=106996 CPUtime=3.09 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 26588 0 0 0 220 89 0 0 20 0 1 0 269280725 109563904 25275 33554432000 4194304 10219143 140734146814368 140734146809016 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 26749 25275 833 1471 0 25269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106996

[startup+6.30025 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 4505
/proc/meminfo: memFree=29280332/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=106996 CPUtime=6.28 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 26642 0 0 0 537 91 0 0 20 0 1 0 269280725 109563904 25329 33554432000 4194304 10219143 140734146814368 140734146809752 5150064 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 26749 25329 835 1471 0 25269 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 106996

[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 4505
/proc/meminfo: memFree=29278124/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=107000 CPUtime=12.69 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 29456 0 0 0 1173 96 0 0 20 0 1 0 269280725 109568000 25651 33554432000 4194304 10219143 140734146814368 140734146807208 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 26750 25651 838 1471 0 25270 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107000

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 4505
/proc/meminfo: memFree=29278432/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=107000 CPUtime=25.48 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 29459 0 0 0 2444 104 0 0 20 0 1 0 269280725 109568000 25654 33554432000 4194304 10219143 140734146814368 140734146807544 8077311 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 26750 25654 841 1471 0 25270 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 107000

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 4505
/proc/meminfo: memFree=29277164/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=107000 CPUtime=51.08 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 29466 0 0 0 4985 123 0 0 20 0 1 0 269280725 109568000 25729 33554432000 4194304 10219143 140734146814368 140734146807624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 26750 25729 841 1471 0 25270 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 107000

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 4506
/proc/meminfo: memFree=29272824/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=110828 CPUtime=102.26 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 30295 0 0 0 10060 166 0 0 20 0 1 0 269280725 113487872 26834 33554432000 4194304 10219143 140734146814368 140734146808280 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 27707 26834 841 1471 0 26227 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 110828

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4506
/proc/meminfo: memFree=29266500/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=115388 CPUtime=162.24 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 32290 0 0 0 15996 228 0 0 20 0 1 0 269280725 118157312 28090 33554432000 4194304 10219143 140734146814368 140734146808008 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 28847 28090 842 1471 0 27367 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 115388

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4506
/proc/meminfo: memFree=29261408/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=118624 CPUtime=222.23 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 33101 0 0 0 21942 281 0 0 20 0 1 0 269280725 121470976 28899 33554432000 4194304 10219143 140734146814368 140734146809736 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 29656 28899 842 1471 0 28176 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 118624

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 4509
/proc/meminfo: memFree=29259224/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=120368 CPUtime=282.22 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 34550 0 0 0 27889 333 0 0 20 0 1 0 269280725 123256832 29335 33554432000 4194304 10219143 140734146814368 140734146807032 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 30092 29335 842 1471 0 28612 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 120368

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 4509
/proc/meminfo: memFree=29253836/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=124340 CPUtime=342.22 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 35543 0 0 0 33836 386 0 0 20 0 1 0 269280725 127324160 30328 33554432000 4194304 10219143 140734146814368 140734146807624 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 31085 30328 842 1471 0 29605 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 124340

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4510
/proc/meminfo: memFree=29250920/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=125844 CPUtime=402.21 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 36806 0 0 0 39783 438 0 0 20 0 1 0 269280725 128864256 30723 33554432000 4194304 10219143 140734146814368 140734146808008 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 31461 30723 842 1471 0 29981 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 125844

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4510
/proc/meminfo: memFree=29247136/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=130176 CPUtime=462.2 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 39654 0 0 0 45717 503 0 0 20 0 1 0 269280725 133300224 31626 33554432000 4194304 10219143 140734146814368 140734146807288 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 32544 31626 842 1471 0 31064 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 130176

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/176 4510
/proc/meminfo: memFree=29238020/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=135616 CPUtime=522.19 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 43294 0 0 0 51644 575 0 0 20 0 1 0 269280725 138870784 33033 33554432000 4194304 10219143 140734146814368 140734146807544 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 33904 33033 842 1471 0 32424 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 135616

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 4512
/proc/meminfo: memFree=29230376/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=141892 CPUtime=582.18 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 45900 0 0 0 57577 641 0 0 20 0 1 0 269280725 145297408 34724 33554432000 4194304 10219143 140734146814368 140734146807672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 35473 34724 842 1471 0 33993 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 141892

[startup+642.3 s]

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

/proc/meminfo: memFree=29185880/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=174492 CPUtime=1122.08 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 63108 0 0 0 110869 1339 0 0 20 0 1 0 269280725 178679808 42854 33554432000 4194304 10219143 140734146814368 140734146807624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 43623 42854 842 1471 0 42143 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 174492

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 4517
/proc/meminfo: memFree=29182776/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=177188 CPUtime=1182.07 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 63678 0 0 0 116784 1423 0 0 20 0 1 0 269280725 181440512 43422 33554432000 4194304 10219143 140734146814368 140734146807128 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 44297 43422 842 1471 0 42817 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 177188

[startup+1242.3 s]
/proc/loadavg: 2.15 2.04 1.94 3/177 4517
/proc/meminfo: memFree=29179612/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=178892 CPUtime=1242.06 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 65503 0 0 0 122707 1499 0 0 20 0 1 0 269280725 183185408 43869 33554432000 4194304 10219143 140734146814368 140734146807720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 44723 43869 842 1471 0 43243 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 178892

[startup+1302.3 s]
/proc/loadavg: 2.24 2.08 1.95 3/176 4517
/proc/meminfo: memFree=29177568/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=179624 CPUtime=1302.05 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 65750 0 0 0 128613 1592 0 0 20 0 1 0 269280725 183934976 44113 33554432000 4194304 10219143 140734146814368 140734146807720 8102401 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 44906 44113 842 1471 0 43426 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 179624

[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 1.95 3/177 4518
/proc/meminfo: memFree=29175076/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=182024 CPUtime=1362.03 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 66988 0 0 0 134527 1676 0 0 20 0 1 0 269280725 186392576 44664 33554432000 4194304 10219143 140734146814368 140734146807720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 45506 44664 842 1471 0 44026 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 182024

[startup+1422.31 s]
/proc/loadavg: 2.07 2.06 1.96 3/177 4518
/proc/meminfo: memFree=29173340/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=182780 CPUtime=1422.03 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 67262 0 0 0 140444 1759 0 0 20 0 1 0 269280725 187166720 44938 33554432000 4194304 10219143 140734146814368 140734146807624 8077311 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 45695 44938 842 1471 0 44215 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 182780

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 1.96 3/178 4521
/proc/meminfo: memFree=29167500/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=185044 CPUtime=1482.01 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 67813 0 0 0 146357 1844 0 0 20 0 1 0 269280725 189485056 45487 33554432000 4194304 10219143 140734146814368 140734146808008 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 46261 45487 842 1471 0 44781 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 185044

[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 1.96 3/177 4521
/proc/meminfo: memFree=29165208/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=186256 CPUtime=1542.01 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 68133 0 0 0 152277 1924 0 0 20 0 1 0 269280725 190726144 45807 33554432000 4194304 10219143 140734146814368 140734146811736 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 46564 45807 842 1471 0 45084 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 186256

[startup+1602.3 s]
/proc/loadavg: 2.16 2.08 1.98 3/177 4559
/proc/meminfo: memFree=28877456/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=187160 CPUtime=1602 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 68300 0 0 0 158186 2014 0 0 20 0 1 0 269280725 191651840 45973 33554432000 4194304 10219143 140734146814368 140734146807720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 46790 45973 842 1471 0 45310 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 187160

[startup+1662.3 s]
/proc/loadavg: 2.19 2.10 1.99 3/177 4560
/proc/meminfo: memFree=28875264/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=187192 CPUtime=1661.99 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69129 0 0 0 164097 2102 0 0 20 0 1 0 269280725 191684608 46043 33554432000 4194304 10219143 140734146814368 140734146807816 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 46798 46043 842 1471 0 45318 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 187192

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 1.99 3/177 4560
/proc/meminfo: memFree=28881224/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=188620 CPUtime=1721.98 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69484 0 0 0 170005 2193 0 0 20 0 1 0 269280725 193146880 46398 33554432000 4194304 10219143 140734146814368 140734146807816 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47155 46398 842 1471 0 45675 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 188620

[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 1.99 3/177 4560
/proc/meminfo: memFree=28877680/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=190544 CPUtime=1781.97 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69966 0 0 0 175908 2289 0 0 20 0 1 0 269280725 195117056 46880 33554432000 4194304 10219143 140734146814368 140734146809736 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47636 46880 842 1471 0 46156 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 190544

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.06 1.99 3/177 4560
/proc/meminfo: memFree=28877912/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=190544 CPUtime=1785.17 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69966 0 0 0 176222 2295 0 0 20 0 1 0 269280725 195117056 46880 33554432000 4194304 10219143 140734146814368 140734146807624 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47636 46880 842 1471 0 46156 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 190544

[startup+1791.91 s]
/proc/loadavg: 2.02 2.06 1.99 3/177 4560
/proc/meminfo: memFree=28877912/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=190544 CPUtime=1791.57 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69966 0 0 0 176851 2306 0 0 20 0 1 0 269280725 195117056 46880 33554432000 4194304 10219143 140734146814368 140734146808008 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47636 46880 842 1471 0 46156 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 190544

[startup+1795.1 s]
/proc/loadavg: 2.02 2.06 1.99 3/177 4560
/proc/meminfo: memFree=28877912/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=190544 CPUtime=1794.78 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69966 0 0 0 177168 2310 0 0 20 0 1 0 269280725 195117056 46880 33554432000 4194304 10219143 140734146814368 140734146807304 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47636 46880 842 1471 0 46156 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 190544

[startup+1795.9 s]
/proc/loadavg: 2.02 2.06 1.99 3/177 4560
/proc/meminfo: memFree=28877912/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=190544 CPUtime=1795.57 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69966 0 0 0 177246 2311 0 0 20 0 1 0 269280725 195117056 46880 33554432000 4194304 10219143 140734146814368 140734146807288 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47636 46880 842 1471 0 46156 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 190544

[startup+1796.7 s]
/proc/loadavg: 2.02 2.06 1.99 3/177 4560
/proc/meminfo: memFree=28877912/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=190544 CPUtime=1796.37 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69966 0 0 0 177325 2312 0 0 20 0 1 0 269280725 195117056 46880 33554432000 4194304 10219143 140734146814368 140734146807720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47636 46880 842 1471 0 46156 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 190544

[startup+1796.9 s]
/proc/loadavg: 2.02 2.06 1.99 3/177 4560
/proc/meminfo: memFree=28877912/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=190544 CPUtime=1796.57 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69966 0 0 0 177345 2312 0 0 20 0 1 0 269280725 195117056 46880 33554432000 4194304 10219143 140734146814368 140734146807720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47636 46880 842 1471 0 46156 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (KiB) 190544

[startup+1797 s]
/proc/loadavg: 2.02 2.06 1.99 3/177 4560
/proc/meminfo: memFree=28877912/32873844 swapFree=7116/7116
[pid=4504] ppid=4502 vsize=190544 CPUtime=1796.67 cores=0,2,4,6
/proc/4504/stat : 4504 (scip-2.1.1.4exp) R 4502 4504 3441 0 -1 4202496 69966 0 0 0 177354 2313 0 0 20 0 1 0 269280725 195117056 46880 33554432000 4194304 10219143 140734146814368 140734146807720 5015395 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4504/statm: 47636 46880 842 1471 0 46156 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 190544

Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.74
CPU user time (s): 1773.61
CPU system time (s): 23.1345
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 190544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.61
system time used= 23.1345
maximum resident set size= 187536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69972
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= 53
involuntary context switches= 1866

runsolver used 2.69259 second user time and 7.14391 second system time

The end

Launcher Data

Begin job on node146 at 2012-05-26 13:25:58
IDJOB=3692004
IDBENCH=2109
IDSOLVER=2271
FILE ID=node146/3692004-1338031558
RUNJOBID= node146-1338029515-4286
PBS_JOBID= 14624329
Free space on /tmp= 71536 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp 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.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692004-1338031558/watcher-3692004-1338031558 -o /tmp/evaluation-result-3692004-1338031558/solver-3692004-1338031558 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692004-1338031558.opb -t 1800 -m 15500

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

MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0
RANDOM SEED=1626442580

node146.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		: 2667.034
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	: 5334.06
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		: 2667.034
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.92
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		: 2667.034
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.91
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		: 2667.034
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		: 2667.034
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.91
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		: 2667.034
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		: 2667.034
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		: 2667.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29379192 kB
Buffers:          248588 kB
Cached:          2415928 kB
SwapCached:         2348 kB
Active:           539772 kB
Inactive:        2186044 kB
Active(anon):      60176 kB
Inactive(anon):     3064 kB
Active(file):     479596 kB
Inactive(file):  2182980 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:             14024 kB
Writeback:             4 kB
AnonPages:         66308 kB
Mapped:            11444 kB
Shmem:                 0 kB
Slab:             630044 kB
SReclaimable:      71648 kB
SUnreclaim:       558396 kB
KernelStack:        1472 kB
PageTables:         3836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     182272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71520 MiB
End job on node146 at 2012-05-26 13:55:55