Trace number 2666858

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.25 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
MD5SUM0b8531b64d2ca93b44d439b9cb9fcfaa
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 constraints13429
Number of constraints which are clauses13429
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666858-1276455942.opb>
0.19/0.27	c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13429 constraints
0.19/0.27	c problem read
0.19/0.27	c presolving settings loaded
0.29/0.37	c presolving:
0.39/0.47	c (round 1) 2972 del vars, 502 del conss, 331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38894 impls, 0 clqs
0.49/0.54	c (round 2) 3246 del vars, 4518 del conss, 363 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 48820 impls, 0 clqs
0.49/0.56	c (round 3) 3283 del vars, 4951 del conss, 378 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 49175 impls, 0 clqs
0.49/0.57	c (round 4) 3318 del vars, 5037 del conss, 392 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 49532 impls, 0 clqs
0.49/0.59	c (round 5) 3350 del vars, 5120 del conss, 405 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 49951 impls, 0 clqs
0.59/0.60	c (round 6) 3378 del vars, 5193 del conss, 416 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 50234 impls, 0 clqs
0.59/0.61	c (round 7) 3402 del vars, 5256 del conss, 425 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 50473 impls, 0 clqs
0.59/0.62	c (round 8) 3422 del vars, 5309 del conss, 432 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 50788 impls, 0 clqs
0.59/0.63	c (round 9) 3438 del vars, 5353 del conss, 438 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 50975 impls, 0 clqs
0.59/0.65	c (round 10) 3454 del vars, 5393 del conss, 444 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 51120 impls, 0 clqs
0.59/0.66	c (round 11) 3470 del vars, 5433 del conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 51375 impls, 0 clqs
0.59/0.67	c (round 12) 3486 del vars, 5473 del conss, 456 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 51534 impls, 0 clqs
0.59/0.68	c (round 13) 3502 del vars, 5513 del conss, 462 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 51781 impls, 0 clqs
0.59/0.69	c (round 14) 3518 del vars, 5553 del conss, 468 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 52022 impls, 0 clqs
0.69/0.70	c (round 15) 3534 del vars, 5593 del conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 52173 impls, 0 clqs
0.69/0.71	c (round 16) 3551 del vars, 5634 del conss, 481 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 52324 impls, 0 clqs
0.69/0.72	c (round 17) 3567 del vars, 5674 del conss, 487 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 52479 impls, 0 clqs
0.69/0.74	c (round 18) 3583 del vars, 5714 del conss, 493 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 52636 impls, 0 clqs
0.69/0.75	c (round 19) 3599 del vars, 5754 del conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 52911 impls, 0 clqs
0.69/0.76	c (round 20) 3615 del vars, 5794 del conss, 505 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 53110 impls, 0 clqs
0.69/0.77	c (round 21) 3631 del vars, 5834 del conss, 511 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 53307 impls, 0 clqs
0.69/0.78	c (round 22) 3647 del vars, 5874 del conss, 517 chg bounds, 60 chg sides, 120 chg coeffs, 0 upgd conss, 53532 impls, 0 clqs
0.69/0.79	c (round 23) 3656 del vars, 5909 del conss, 525 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 53572 impls, 0 clqs
0.79/0.80	c (round 24) 3672 del vars, 5943 del conss, 535 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 53659 impls, 0 clqs
0.79/0.81	c (round 25) 3687 del vars, 5985 del conss, 544 chg bounds, 66 chg sides, 132 chg coeffs, 0 upgd conss, 53754 impls, 0 clqs
0.79/0.82	c (round 26) 3703 del vars, 6026 del conss, 554 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 53865 impls, 0 clqs
0.79/0.83	c (round 27) 3718 del vars, 6064 del conss, 563 chg bounds, 68 chg sides, 136 chg coeffs, 0 upgd conss, 53990 impls, 0 clqs
0.79/0.84	c (round 28) 3734 del vars, 6105 del conss, 574 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 54089 impls, 0 clqs
0.79/0.86	c (round 29) 3751 del vars, 6147 del conss, 587 chg bounds, 73 chg sides, 146 chg coeffs, 0 upgd conss, 54185 impls, 0 clqs
0.79/0.87	c (round 30) 3763 del vars, 6182 del conss, 597 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 54281 impls, 0 clqs
0.79/0.88	c (round 31) 3778 del vars, 6217 del conss, 608 chg bounds, 79 chg sides, 158 chg coeffs, 0 upgd conss, 54327 impls, 0 clqs
0.79/0.89	c (round 32) 3793 del vars, 6255 del conss, 619 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 54408 impls, 0 clqs
0.89/0.90	c (round 33) 3806 del vars, 6293 del conss, 629 chg bounds, 85 chg sides, 168 chg coeffs, 0 upgd conss, 54466 impls, 0 clqs
0.89/0.91	c (round 34) 3824 del vars, 6329 del conss, 640 chg bounds, 86 chg sides, 170 chg coeffs, 0 upgd conss, 54583 impls, 0 clqs
0.89/0.92	c (round 35) 3839 del vars, 6373 del conss, 653 chg bounds, 89 chg sides, 176 chg coeffs, 0 upgd conss, 54645 impls, 0 clqs
0.89/0.93	c (round 36) 3854 del vars, 6410 del conss, 664 chg bounds, 94 chg sides, 186 chg coeffs, 0 upgd conss, 54707 impls, 0 clqs
0.89/0.94	c (round 37) 3874 del vars, 6448 del conss, 678 chg bounds, 96 chg sides, 190 chg coeffs, 0 upgd conss, 54833 impls, 0 clqs
0.89/0.95	c (round 38) 3888 del vars, 6496 del conss, 688 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54911 impls, 0 clqs
0.89/0.96	c (round 39) 3904 del vars, 6525 del conss, 698 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54999 impls, 0 clqs
0.89/0.97	c (round 40) 3921 del vars, 6573 del conss, 713 chg bounds, 101 chg sides, 200 chg coeffs, 0 upgd conss, 55058 impls, 0 clqs
0.89/0.98	c (round 41) 3936 del vars, 6612 del conss, 725 chg bounds, 104 chg sides, 206 chg coeffs, 0 upgd conss, 55109 impls, 0 clqs
0.89/0.99	c (round 42) 3950 del vars, 6649 del conss, 737 chg bounds, 106 chg sides, 210 chg coeffs, 0 upgd conss, 55175 impls, 0 clqs
0.99/1.00	c (round 43) 3968 del vars, 6690 del conss, 752 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 55228 impls, 0 clqs
0.99/1.01	c (round 44) 3983 del vars, 6724 del conss, 765 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55305 impls, 0 clqs
0.99/1.02	c (round 45) 3989 del vars, 6755 del conss, 771 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55323 impls, 0 clqs
0.99/1.03	c (round 46) 4008 del vars, 6785 del conss, 785 chg bounds, 110 chg sides, 218 chg coeffs, 0 upgd conss, 55400 impls, 0 clqs
0.99/1.04	c (round 47) 4024 del vars, 6822 del conss, 795 chg bounds, 112 chg sides, 222 chg coeffs, 0 upgd conss, 55506 impls, 0 clqs
0.99/1.05	c (round 48) 4038 del vars, 6865 del conss, 808 chg bounds, 117 chg sides, 232 chg coeffs, 0 upgd conss, 55597 impls, 0 clqs
0.99/1.06	c (round 49) 4053 del vars, 6911 del conss, 821 chg bounds, 122 chg sides, 242 chg coeffs, 0 upgd conss, 55684 impls, 0 clqs
0.99/1.07	c (round 50) 4067 del vars, 6946 del conss, 832 chg bounds, 124 chg sides, 246 chg coeffs, 0 upgd conss, 55751 impls, 0 clqs
0.99/1.08	c (round 51) 4084 del vars, 6979 del conss, 845 chg bounds, 127 chg sides, 252 chg coeffs, 0 upgd conss, 55829 impls, 0 clqs
0.99/1.09	c (round 52) 4101 del vars, 7019 del conss, 857 chg bounds, 131 chg sides, 260 chg coeffs, 0 upgd conss, 55932 impls, 0 clqs
0.99/1.10	c (round 53) 4115 del vars, 7062 del conss, 869 chg bounds, 135 chg sides, 267 chg coeffs, 0 upgd conss, 56002 impls, 0 clqs
1.10/1.11	c (round 54) 4123 del vars, 7095 del conss, 881 chg bounds, 139 chg sides, 275 chg coeffs, 0 upgd conss, 56089 impls, 0 clqs
1.10/1.12	c (round 55) 4141 del vars, 7137 del conss, 895 chg bounds, 141 chg sides, 279 chg coeffs, 0 upgd conss, 56134 impls, 0 clqs
1.10/1.13	c (round 56) 4157 del vars, 7175 del conss, 912 chg bounds, 147 chg sides, 291 chg coeffs, 0 upgd conss, 56163 impls, 0 clqs
1.10/1.14	c (round 57) 4173 del vars, 7214 del conss, 927 chg bounds, 150 chg sides, 297 chg coeffs, 0 upgd conss, 56200 impls, 0 clqs
1.10/1.15	c (round 58) 4187 del vars, 7250 del conss, 939 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56236 impls, 0 clqs
1.10/1.16	c (round 59) 4208 del vars, 7276 del conss, 951 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56396 impls, 0 clqs
1.10/1.17	c (round 60) 4217 del vars, 7327 del conss, 960 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56448 impls, 0 clqs
1.10/1.17	c (round 61) 4223 del vars, 7346 del conss, 969 chg bounds, 157 chg sides, 311 chg coeffs, 0 upgd conss, 56474 impls, 0 clqs
1.10/1.18	c (round 62) 4234 del vars, 7370 del conss, 978 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56507 impls, 0 clqs
1.10/1.19	c (round 63) 4239 del vars, 7384 del conss, 982 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56523 impls, 0 clqs
1.19/1.20	c (round 64) 4245 del vars, 7399 del conss, 989 chg bounds, 160 chg sides, 317 chg coeffs, 0 upgd conss, 56542 impls, 0 clqs
1.19/1.21	c (round 65) 4253 del vars, 7417 del conss, 996 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56567 impls, 0 clqs
1.19/1.22	c (round 66) 4257 del vars, 7430 del conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56623 impls, 0 clqs
1.19/1.23	c (round 67) 4257 del vars, 7431 del conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56643 impls, 0 clqs
1.29/1.36	c (round 68) 4257 del vars, 7440 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 56643 impls, 0 clqs
1.49/1.56	c (round 69) 4307 del vars, 7440 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110535 impls, 0 clqs
1.49/1.57	c (round 70) 4308 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110593 impls, 0 clqs
1.49/1.59	c (round 71) 4310 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110649 impls, 0 clqs
1.69/1.79	c (round 72) 4360 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
1.79/1.84	c (round 73) 4360 del vars, 7448 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
1.89/1.96	c (round 74) 4410 del vars, 7448 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.99/2.00	c (round 75) 4410 del vars, 7452 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.99/2.03	c (round 76) 4410 del vars, 7455 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
2.10/2.10	c (round 77) 4410 del vars, 7465 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
2.20/2.21	c    (1.6s) probing: 834/2095 (39.8%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
2.20/2.21	c    (1.6s) probing aborted: 100/100 successive totally useless probings
2.20/2.21	c (round 78) 4444 del vars, 7465 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 115321 impls, 0 clqs
2.20/2.23	c    (1.6s) probing: 844/2095 (40.3%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
2.20/2.23	c    (1.6s) probing aborted: 100/100 successive totally useless probings
2.20/2.23	c presolving (79 rounds):
2.20/2.23	c  4444 deleted vars, 7465 deleted constraints, 1000 tightened bounds, 0 added holes, 171 changed sides, 321 changed coefficients
2.20/2.23	c  115321 implications, 0 cliques
2.20/2.23	c presolved problem has 1908 variables (1908 bin, 0 int, 0 impl, 0 cont) and 5964 constraints
2.20/2.23	c    5964 constraints of type <logicor>
2.20/2.23	c transformed objective value is always integral (scale: 1)
2.20/2.23	c Presolving Time: 1.54
2.20/2.23	c - non default parameters ----------------------------------------------------------------------
2.20/2.23	c # SCIP version 1.2.1.2
2.20/2.23	c 
2.20/2.23	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.20/2.23	c # [type: int, range: [-1,2147483647], default: -1]
2.20/2.23	c conflict/interconss = 0
2.20/2.23	c 
2.20/2.23	c # should binary conflicts be preferred?
2.20/2.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23	c conflict/preferbinary = TRUE
2.20/2.23	c 
2.20/2.23	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.20/2.23	c # [type: int, range: [-1,2147483647], default: 0]
2.20/2.23	c constraints/agelimit = 1
2.20/2.23	c 
2.20/2.23	c # should enforcement of pseudo solution be disabled?
2.20/2.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23	c constraints/disableenfops = TRUE
2.20/2.23	c 
2.20/2.23	c # frequency for displaying node information lines
2.20/2.23	c # [type: int, range: [-1,2147483647], default: 100]
2.20/2.23	c display/freq = 10000
2.20/2.23	c 
2.20/2.23	c # maximal time in seconds to run
2.20/2.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.23	c limits/time = 1799.74
2.20/2.23	c 
2.20/2.23	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.20/2.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.23	c limits/memory = 1620
2.20/2.23	c 
2.20/2.23	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.20/2.23	c # [type: int, range: [-1,2147483647], default: 1]
2.20/2.23	c lp/solvefreq = 0
2.20/2.23	c 
2.20/2.23	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.20/2.23	c # [type: char, range: {lafpsqd}, default: l]
2.20/2.23	c lp/pricing = a
2.20/2.23	c 
2.20/2.23	c # should presolving try to simplify inequalities
2.20/2.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23	c constraints/linear/simplifyinequalities = TRUE
2.20/2.23	c 
2.20/2.23	c # should presolving try to simplify knapsacks
2.20/2.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23	c constraints/knapsack/simplifyinequalities = TRUE
2.20/2.23	c 
2.20/2.23	c # priority of node selection rule <dfs> in standard mode
2.20/2.23	c # [type: int, range: [-536870912,536870911], default: 0]
2.20/2.23	c nodeselection/dfs/stdpriority = 1000000
2.20/2.23	c 
2.20/2.23	c -----------------------------------------------------------------------------------------------
2.20/2.23	c start solving
2.20/2.24	c 
2.89/2.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.89/2.98	c   2.3s|     1 |     0 |  1972 |     - |  22M|   0 |1210 |1908 |5964 |1908 |5777 |   0 |   0 |   0 | 2.811119e+03 |      --      |    Inf 
8.99/9.03	c   8.3s|     1 |     0 |  8017 |     - |  23M|   0 |1200 |1908 |5964 |1908 |7777 |2000 |   0 |   0 | 2.818667e+03 |      --      |    Inf 
10.69/10.74	c  10.0s|     1 |     0 |  9265 |     - |  23M|   0 |1115 |1908 |5964 |1908 |7814 |2037 |   0 |   0 | 2.845181e+03 |      --      |    Inf 
11.49/11.53	c  10.8s|     1 |     0 |  9728 |     - |  24M|   0 |1111 |1908 |5964 |1908 |7845 |2068 |   0 |   0 | 2.848833e+03 |      --      |    Inf 
12.89/12.97	c  12.2s|     1 |     0 | 10555 |     - |  24M|   0 |1174 |1908 |5964 |1908 |7874 |2097 |   0 |   0 | 2.851250e+03 |      --      |    Inf 
14.30/14.31	c  13.5s|     1 |     0 | 11319 |     - |  26M|   0 |1177 |1908 |5964 |1908 |7905 |2128 |   0 |   0 | 2.856799e+03 |      --      |    Inf 
15.58/15.67	c  14.9s|     1 |     0 | 11946 |     - |  29M|   0 |1176 |1908 |5964 |1908 |7934 |2157 |   0 |   0 | 2.860000e+03 |      --      |    Inf 
18.09/18.15	c  17.3s|     1 |     0 | 13162 |     - |  31M|   0 |1198 |1908 |5964 |1908 |7970 |2193 |   0 |   0 | 2.866900e+03 |      --      |    Inf 
20.19/20.29	c  19.4s|     1 |     0 | 14298 |     - |  33M|   0 |1213 |1908 |5964 |1908 |7994 |2217 |   0 |   0 | 2.870433e+03 |      --      |    Inf 
22.48/22.58	c  21.7s|     1 |     0 | 15466 |     - |  34M|   0 |1191 |1908 |5964 |1908 |8030 |2253 |   0 |   0 | 2.874800e+03 |      --      |    Inf 
25.78/25.80	c  24.9s|     1 |     0 | 17191 |     - |  35M|   0 |1218 |1908 |5964 |1908 |8075 |2298 |   0 |   0 | 2.880144e+03 |      --      |    Inf 
28.59/28.61	c  27.7s|     1 |     0 | 18621 |     - |  37M|   0 |1249 |1908 |5964 |1908 |8115 |2338 |   0 |   0 | 2.885133e+03 |      --      |    Inf 
31.38/31.47	c  30.6s|     1 |     0 | 20288 |     - |  39M|   0 |1261 |1908 |5964 |1908 |8153 |2376 |   0 |   0 | 2.887896e+03 |      --      |    Inf 
38.38/38.48	c  37.5s|     1 |     0 | 23762 |     - |  40M|   0 |1282 |1908 |5964 |1908 |8195 |2418 |   0 |   0 | 2.892525e+03 |      --      |    Inf 
42.07/42.14	c  41.1s|     1 |     0 | 25706 |     - |  43M|   0 |1260 |1908 |5964 |1908 |8236 |2459 |   0 |   0 | 2.896835e+03 |      --      |    Inf 
45.47/45.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.47/45.53	c  44.5s|     1 |     0 | 27417 |     - |  46M|   0 |1301 |1908 |5964 |1908 |8279 |2502 |   0 |   0 | 2.902266e+03 |      --      |    Inf 
47.57/47.62	c  46.6s|     1 |     0 | 28492 |     - |  49M|   0 |1282 |1908 |5964 |1908 |6301 |2542 |   0 |   0 | 2.906205e+03 |      --      |    Inf 
49.67/49.73	c  48.7s|     1 |     0 | 29755 |     - |  51M|   0 |1319 |1908 |5964 |1908 |6340 |2581 |   0 |   0 | 2.910994e+03 |      --      |    Inf 
52.17/52.23	c  51.1s|     1 |     0 | 31228 |     - |  52M|   0 |1323 |1908 |5964 |1908 |6394 |2635 |   0 |   0 | 2.916841e+03 |      --      |    Inf 
54.07/54.17	c  53.1s|     1 |     0 | 32143 |     - |  53M|   0 |1324 |1908 |5964 |1908 |6441 |2682 |   0 |   0 | 2.922214e+03 |      --      |    Inf 
55.97/56.10	c  55.0s|     1 |     0 | 33272 |     - |  55M|   0 |1341 |1908 |5964 |1908 |6483 |2724 |   0 |   0 | 2.927518e+03 |      --      |    Inf 
57.76/57.83	c  56.7s|     1 |     0 | 34133 |     - |  58M|   0 |1377 |1908 |5964 |1908 |6528 |2769 |   0 |   0 | 2.933724e+03 |      --      |    Inf 
63.06/63.17	c  62.0s|     1 |     0 | 36835 |     - |  59M|   0 |1281 |1908 |5964 |1908 |6429 |2820 |   0 |   0 | 2.938760e+03 |      --      |    Inf 
64.87/64.99	c  63.8s|     1 |     0 | 37943 |     - |  59M|   0 |1397 |1908 |5964 |1908 |6464 |2855 |   0 |   0 | 2.943052e+03 |      --      |    Inf 
66.86/66.99	c  65.7s|     1 |     0 | 39223 |     - |  60M|   0 |1436 |1908 |5964 |1908 |6517 |2908 |   0 |   0 | 2.946221e+03 |      --      |    Inf 
68.66/68.74	c  67.5s|     1 |     0 | 40043 |     - |  61M|   0 |1424 |1908 |5964 |1908 |6565 |2956 |   0 |   0 | 2.951457e+03 |      --      |    Inf 
73.16/73.29	c  72.0s|     1 |     0 | 42711 |     - |  61M|   0 |1391 |1908 |5964 |1908 |6603 |2994 |   0 |   0 | 2.954815e+03 |      --      |    Inf 
75.77/75.81	c  74.5s|     1 |     0 | 44204 |     - |  62M|   0 |1420 |1908 |5964 |1908 |6653 |3044 |   0 |   0 | 2.958053e+03 |      --      |    Inf 
79.26/79.39	c  78.0s|     1 |     0 | 46245 |     - |  63M|   0 |1421 |1908 |5964 |1908 |6504 |3083 |   0 |   0 | 2.959839e+03 |      --      |    Inf 
82.65/82.79	c  81.4s|     1 |     0 | 48145 |     - |  63M|   0 |1440 |1908 |5964 |1908 |6554 |3133 |   0 |   0 | 2.963153e+03 |      --      |    Inf 
86.36/86.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
86.36/86.49	c  85.1s|     1 |     0 | 50256 |     - |  64M|   0 |1404 |1908 |5964 |1908 |6597 |3176 |   0 |   0 | 2.966216e+03 |      --      |    Inf 
88.45/88.53	c  87.1s|     1 |     0 | 51173 |     - |  65M|   0 |1422 |1908 |5964 |1908 |6635 |3214 |   0 |   0 | 2.967070e+03 |      --      |    Inf 
91.26/91.35	c  89.9s|     1 |     0 | 52504 |     - |  66M|   0 |1471 |1908 |5964 |1908 |6674 |3253 |   0 |   0 | 2.968900e+03 |      --      |    Inf 
95.85/95.91	c  94.4s|     1 |     0 | 54283 |     - |  66M|   0 |1519 |1908 |5964 |1908 |6712 |3291 |   0 |   0 | 2.972399e+03 |      --      |    Inf 
101.16/101.29	c  99.8s|     1 |     0 | 56742 |     - |  66M|   0 |1481 |1908 |5964 |1908 |6542 |3339 |   0 |   0 | 2.975722e+03 |      --      |    Inf 
106.25/106.39	c   105s|     1 |     0 | 59483 |     - |  67M|   0 |1510 |1908 |5964 |1908 |6582 |3379 |   0 |   0 | 2.978346e+03 |      --      |    Inf 
110.64/110.78	c   109s|     1 |     0 | 61460 |     - |  68M|   0 |1444 |1908 |5964 |1908 |6627 |3424 |   0 |   0 | 2.981930e+03 |      --      |    Inf 
112.94/113.08	c   111s|     1 |     0 | 62553 |     - |  68M|   0 |1500 |1908 |5964 |1908 |6665 |3462 |   0 |   0 | 2.983859e+03 |      --      |    Inf 
116.35/116.41	c   115s|     1 |     0 | 64051 |     - |  69M|   0 |1525 |1908 |5964 |1908 |6698 |3495 |   0 |   0 | 2.986143e+03 |      --      |    Inf 
118.94/119.07	c   117s|     1 |     0 | 65187 |     - |  69M|   0 |1530 |1908 |5964 |1908 |6736 |3533 |   0 |   0 | 2.988700e+03 |      --      |    Inf 
123.94/124.08	c   122s|     1 |     0 | 66972 |     - |  70M|   0 |1531 |1908 |5964 |1908 |6562 |3577 |   0 |   0 | 2.993138e+03 |      --      |    Inf 
128.14/128.26	c   127s|     1 |     0 | 68590 |     - |  70M|   0 |1448 |1908 |5964 |1908 |6598 |3613 |   0 |   0 | 2.996795e+03 |      --      |    Inf 
130.84/130.91	c   129s|     1 |     0 | 70118 |     - |  71M|   0 |1499 |1908 |5964 |1908 |6642 |3657 |   0 |   0 | 2.998877e+03 |      --      |    Inf 
133.64/133.75	c   132s|     1 |     0 | 71567 |     - |  72M|   0 |1496 |1908 |5964 |1908 |6684 |3699 |   0 |   0 | 3.002583e+03 |      --      |    Inf 
136.14/136.28	c   134s|     1 |     0 | 73288 |     - |  73M|   0 |1497 |1908 |5964 |1908 |6724 |3739 |   0 |   0 | 3.004640e+03 |      --      |    Inf 
139.54/139.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
139.54/139.66	c   138s|     1 |     0 | 75297 |     - |  74M|   0 |1473 |1908 |5964 |1908 |6754 |3769 |   0 |   0 | 3.006176e+03 |      --      |    Inf 
145.63/145.71	c   144s|     1 |     0 | 78592 |     - |  74M|   0 |1520 |1908 |5964 |1908 |6586 |3814 |   0 |   0 | 3.008872e+03 |      --      |    Inf 
149.03/149.13	c   147s|     1 |     0 | 80907 |     - |  76M|   0 |1603 |1908 |5964 |1908 |6617 |3845 |   0 |   0 | 3.011729e+03 |      --      |    Inf 
152.93/153.09	c   151s|     1 |     0 | 82299 |     - |  76M|   0 |1555 |1908 |5964 |1908 |6661 |3889 |   0 |   0 | 3.015950e+03 |      --      |    Inf 
155.63/155.73	c   154s|     1 |     0 | 83759 |     - |  77M|   0 |1487 |1908 |5964 |1908 |6687 |3915 |   0 |   0 | 3.018420e+03 |      --      |    Inf 
158.83/158.90	c   157s|     1 |     0 | 85763 |     - |  77M|   0 |1581 |1908 |5964 |1908 |6727 |3955 |   0 |   0 | 3.020716e+03 |      --      |    Inf 
162.53/162.62	c   161s|     1 |     0 | 87506 |     - |  78M|   0 |1568 |1908 |5964 |1908 |6749 |3977 |   0 |   0 | 3.023276e+03 |      --      |    Inf 
165.22/165.31	c   163s|     1 |     0 | 89073 |     - |  79M|   0 |1619 |1908 |5964 |1908 |6610 |4003 |   0 |   0 | 3.025454e+03 |      --      |    Inf 
167.42/167.55	c   165s|     1 |     0 | 90229 |     - |  79M|   0 |1621 |1908 |5964 |1908 |6636 |4029 |   0 |   0 | 3.028584e+03 |      --      |    Inf 
171.53/171.66	c   170s|     1 |     0 | 92350 |     - |  80M|   0 |1632 |1908 |5964 |1908 |6663 |4056 |   0 |   0 | 3.031130e+03 |      --      |    Inf 
175.42/175.56	c   173s|     1 |     0 | 93790 |     - |  80M|   0 |1618 |1908 |5964 |1908 |6697 |4090 |   0 |   0 | 3.034808e+03 |      --      |    Inf 
177.82/177.98	c   176s|     1 |     0 | 95155 |     - |  80M|   0 |1610 |1908 |5964 |1908 |6723 |4116 |   0 |   0 | 3.037656e+03 |      --      |    Inf 
180.63/180.78	c   179s|     1 |     0 | 96831 |     - |  81M|   0 |1560 |1908 |5964 |1908 |6749 |4142 |   0 |   0 | 3.040632e+03 |      --      |    Inf 
183.32/183.40	c   181s|     1 |     0 | 98295 |     - |  82M|   0 |1586 |1908 |5964 |1908 |6575 |4168 |   0 |   0 | 3.041459e+03 |      --      |    Inf 
185.52/185.61	c   183s|     1 |     0 | 99572 |     - |  83M|   0 |1592 |1908 |5964 |1908 |6591 |4184 |   0 |   0 | 3.042339e+03 |      --      |    Inf 
189.03/189.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
189.03/189.13	c   187s|     1 |     0 |101262 |     - |  83M|   0 |1617 |1908 |5964 |1908 |6621 |4214 |   0 |   0 | 3.043885e+03 |      --      |    Inf 
191.32/191.45	c   189s|     1 |     0 |102461 |     - |  83M|   0 |1607 |1908 |5964 |1908 |6645 |4238 |   0 |   0 | 3.045983e+03 |      --      |    Inf 
195.63/195.79	c   194s|     1 |     0 |104379 |     - |  84M|   0 |1626 |1908 |5964 |1908 |6666 |4259 |   0 |   0 | 3.047368e+03 |      --      |    Inf 
199.02/199.17	c   197s|     1 |     0 |105877 |     - |  85M|   0 |1570 |1908 |5964 |1908 |6691 |4284 |   0 |   0 | 3.048721e+03 |      --      |    Inf 
201.71/201.85	c   200s|     1 |     0 |106974 |     - |  85M|   0 |1544 |1908 |5964 |1908 |6562 |4310 |   0 |   0 | 3.050234e+03 |      --      |    Inf 
203.51/203.61	c   201s|     1 |     0 |107969 |     - |  86M|   0 |1538 |1908 |5964 |1908 |6595 |4343 |   0 |   0 | 3.052488e+03 |      --      |    Inf 
205.42/205.58	c   203s|     1 |     0 |109117 |     - |  86M|   0 |1599 |1908 |5964 |1908 |6622 |4370 |   0 |   0 | 3.053102e+03 |      --      |    Inf 
210.02/210.16	c   208s|     1 |     0 |110430 |     - |  87M|   0 |1600 |1908 |5964 |1908 |6656 |4404 |   0 |   0 | 3.053682e+03 |      --      |    Inf 
213.81/213.91	c   211s|     1 |     0 |112031 |     - |  87M|   0 |1554 |1908 |5964 |1908 |6696 |4444 |   0 |   0 | 3.056144e+03 |      --      |    Inf 
216.11/216.29	c   214s|     1 |     0 |113229 |     - |  88M|   0 |1598 |1908 |5964 |1908 |6723 |4471 |   0 |   0 | 3.057943e+03 |      --      |    Inf 
219.11/219.24	c   217s|     1 |     0 |114357 |     - |  88M|   0 |1617 |1908 |5964 |1908 |6603 |4498 |   0 |   0 | 3.059334e+03 |      --      |    Inf 
223.81/223.91	c   221s|     1 |     0 |116407 |     - |  88M|   0 |1553 |1908 |5964 |1908 |6645 |4540 |   0 |   0 | 3.063006e+03 |      --      |    Inf 
226.10/226.23	c   224s|     1 |     0 |117674 |     - |  89M|   0 |1581 |1908 |5964 |1908 |6684 |4579 |   0 |   0 | 3.066677e+03 |      --      |    Inf 
229.61/229.74	c   227s|     1 |     0 |118813 |     - |  89M|   0 |1580 |1908 |5964 |1908 |6720 |4615 |   0 |   0 | 3.068560e+03 |      --      |    Inf 
231.81/231.95	c   229s|     1 |     0 |119471 |     - |  89M|   0 |1585 |1908 |5964 |1908 |6743 |4638 |   0 |   0 | 3.069847e+03 |      --      |    Inf 
234.51/234.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
234.51/234.62	c   232s|     1 |     0 |120545 |     - |  89M|   0 |1574 |1908 |5964 |1908 |6763 |4658 |   0 |   0 | 3.070478e+03 |      --      |    Inf 
237.10/237.29	c   235s|     1 |     0 |121830 |     - |  90M|   0 |1599 |1908 |5964 |1908 |6648 |4681 |   0 |   0 | 3.072259e+03 |      --      |    Inf 
240.81/240.97	c   238s|     1 |     0 |123276 |     - |  90M|   0 |1601 |1908 |5964 |1908 |6671 |4704 |   0 |   0 | 3.073897e+03 |      --      |    Inf 
243.70/243.85	c   241s|     1 |     0 |124094 |     - |  90M|   0 |1620 |1908 |5964 |1908 |6695 |4728 |   0 |   0 | 3.075047e+03 |      --      |    Inf 
247.00/247.15	c   244s|     1 |     0 |124967 |     - |  91M|   0 |1638 |1908 |5964 |1908 |6714 |4747 |   0 |   0 | 3.076077e+03 |      --      |    Inf 
249.89/250.02	c   247s|     1 |     0 |125168 |     - |  91M|   0 |1636 |1908 |5964 |1908 |6723 |4756 |   0 |   0 | 3.076082e+03 |      --      |    Inf 
253.00/253.12	c   250s|     1 |     0 |125370 |     - |  91M|   0 |1628 |1908 |5964 |1908 |6727 |4760 |   0 |   0 | 3.076111e+03 |      --      |    Inf 
255.49/255.60	c   253s|     1 |     0 |125535 |     - |  91M|   0 |1621 |1908 |5964 |1908 |6545 |4761 |   0 |   0 | 3.076391e+03 |      --      |    Inf 
257.59/257.75	c   255s|     1 |     0 |126029 |     - |  91M|   0 |1609 |1908 |5964 |1908 |6553 |4769 |   0 |   0 | 3.076782e+03 |      --      |    Inf 
260.79/260.97	c   258s|     1 |     0 |126870 |     - |  91M|   0 |1593 |1908 |5964 |1908 |6564 |4780 |   0 |   0 | 3.076978e+03 |      --      |    Inf 
263.50/263.64	c   261s|     1 |     0 |127961 |     - |  91M|   0 |1596 |1908 |5964 |1908 |6584 |4800 |   0 |   0 | 3.077934e+03 |      --      |    Inf 
266.39/266.59	c   264s|     1 |     0 |128712 |     - |  91M|   0 |1577 |1908 |5964 |1908 |6609 |4825 |   0 |   0 | 3.078746e+03 |      --      |    Inf 
269.30/269.48	c   267s|     1 |     0 |129557 |     - |  91M|   0 |1580 |1908 |5964 |1908 |6634 |4850 |   0 |   0 | 3.079864e+03 |      --      |    Inf 
272.19/272.35	c   269s|     1 |     0 |130303 |     - |  91M|   0 |1591 |1908 |5964 |1908 |6534 |4874 |   0 |   0 | 3.080851e+03 |      --      |    Inf 
275.59/275.79	c   273s|     1 |     0 |130883 |     - |  92M|   0 |1605 |1908 |5964 |1908 |6553 |4893 |   0 |   0 | 3.081169e+03 |      --      |    Inf 
279.20/279.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
279.20/279.34	c   276s|     1 |     0 |131663 |     - |  92M|   0 |1606 |1908 |5964 |1908 |6573 |4913 |   0 |   0 | 3.081572e+03 |      --      |    Inf 
283.18/283.40	c   280s|     1 |     0 |132996 |     - |  92M|   0 |1576 |1908 |5964 |1908 |6590 |4930 |   0 |   0 | 3.083279e+03 |      --      |    Inf 
286.29/286.41	c   283s|     1 |     0 |133480 |     - |  92M|   0 |1556 |1908 |5964 |1908 |6609 |4949 |   0 |   0 | 3.084071e+03 |      --      |    Inf 
288.99/289.12	c   286s|     1 |     0 |133905 |     - |  92M|   0 |1569 |1908 |5964 |1908 |6622 |4962 |   0 |   0 | 3.084384e+03 |      --      |    Inf 
292.58/292.71	c   290s|     1 |     0 |134724 |     - |  92M|   0 |1586 |1908 |5964 |1908 |6589 |4973 |   0 |   0 | 3.086831e+03 |      --      |    Inf 
295.88/296.07	c   293s|     1 |     0 |135334 |     - |  92M|   0 |1595 |1908 |5964 |1908 |6595 |4979 |   0 |   0 | 3.087287e+03 |      --      |    Inf 
298.08/298.25	c   295s|     1 |     0 |135457 |     - |  92M|   0 |1590 |1908 |5964 |1908 |6599 |4983 |   0 |   0 | 3.087421e+03 |      --      |    Inf 
311.77/311.93	c   309s|     1 |     2 |135457 |     - |  92M|   0 |1590 |1908 |5964 |1908 |6599 |4983 |   0 |  25 | 3.087421e+03 |      --      |    Inf 
347.47/347.68	c   343s| 10000 |    42 |135457 |   0.0 |  93M|  74 |   - |1908 |6028 |   0 |   0 |4983 |6651 |  25 | 3.087754e+03 |      --      |    Inf 
390.25/390.44	c   385s| 20000 |    42 |135457 |   0.0 |  93M|  74 |   - |1908 |6033 |   0 |   0 |4983 |  13k|  25 | 3.087754e+03 |      --      |    Inf 
442.33/442.59	c   436s| 30000 |    39 |135457 |   0.0 |  93M|  74 |   - |1908 |6001 |   0 |   0 |4983 |  20k|  25 | 3.087754e+03 |      --      |    Inf 
499.82/500.00	c   491s| 40000 |    41 |135457 |   0.0 |  93M|  74 |   - |1908 |6037 |   0 |   0 |4983 |  27k|  25 | 3.087754e+03 |      --      |    Inf 
564.38/564.67	c   554s| 50000 |    42 |135457 |   0.0 |  93M|  74 |   - |1908 |6066 |   0 |   0 |4983 |  35k|  25 | 3.087754e+03 |      --      |    Inf 
627.96/628.28	c   616s| 60000 |    43 |135457 |   0.0 |  93M|  74 |   - |1908 |6073 |   0 |   0 |4983 |  42k|  25 | 3.087754e+03 |      --      |    Inf 
683.55/683.80	c   669s| 70000 |    40 |135457 |   0.0 |  93M|  74 |   - |1908 |6070 |   0 |   0 |4983 |  49k|  25 | 3.087754e+03 |      --      |    Inf 
737.73/738.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
737.73/738.08	c   722s| 80000 |    41 |135457 |   0.0 |  93M|  74 |   - |1908 |6092 |   0 |   0 |4983 |  57k|  25 | 3.087754e+03 |      --      |    Inf 
795.21/795.55	c   778s| 90000 |    38 |135457 |   0.0 |  93M|  74 |   - |1908 |6151 |   0 |   0 |4983 |  63k|  25 | 3.087754e+03 |      --      |    Inf 
851.59/851.90	c   833s|100000 |    39 |135457 |   0.0 |  93M|  74 |   - |1908 |6127 |   0 |   0 |4983 |  70k|  25 | 3.087754e+03 |      --      |    Inf 
909.17/909.60	c   889s|110000 |    42 |135457 |   0.0 |  93M|  74 |   - |1908 |6736 |   0 |   0 |4983 |  78k|  25 | 3.087754e+03 |      --      |    Inf 
966.35/966.78	c   944s|120000 |    38 |135457 |   0.0 |  93M|  74 |   - |1908 |6794 |   0 |   0 |4983 |  85k|  25 | 3.087754e+03 |      --      |    Inf 
1028.03/1028.47	c  1004s|130000 |    45 |135457 |   0.0 |  93M|  74 |   - |1908 |8076 |   0 |   0 |4983 |  93k|  25 | 3.087754e+03 |      --      |    Inf 
1097.80/1098.21	c  1072s|140000 |    39 |135457 |   0.0 |  93M|  74 |   - |1908 |8125 |   0 |   0 |4983 | 100k|  25 | 3.087754e+03 |      --      |    Inf 
1164.28/1164.71	c  1137s|150000 |    43 |135457 |   0.0 |  93M|  74 |   - |1908 |8070 |   0 |   0 |4983 | 107k|  25 | 3.087754e+03 |      --      |    Inf 
1235.36/1235.86	c  1206s|160000 |    37 |135457 |   0.0 |  93M|  74 |   - |1908 |8121 |   0 |   0 |4983 | 114k|  25 | 3.087754e+03 |      --      |    Inf 
1303.73/1304.21	c  1273s|170000 |    39 |135457 |   0.0 |  93M|  74 |   - |1908 |8140 |   0 |   0 |4983 | 121k|  25 | 3.087754e+03 |      --      |    Inf 
1371.31/1371.87	c  1339s|180000 |    41 |135457 |   0.0 |  93M|  74 |   - |1908 |8137 |   0 |   0 |4983 | 128k|  25 | 3.087754e+03 |      --      |    Inf 
1444.48/1445.00	c  1410s|190000 |    37 |135457 |   0.0 |  93M|  74 |   - |1908 |8175 |   0 |   0 |4983 | 135k|  25 | 3.087754e+03 |      --      |    Inf 
1515.17/1515.79	c  1479s|200000 |    36 |135457 |   0.0 |  93M|  74 |   - |1908 |8222 |   0 |   0 |4983 | 141k|  25 | 3.087754e+03 |      --      |    Inf 
1584.54/1585.19	c  1547s|210000 |    41 |135457 |   0.0 |  93M|  74 |   - |1908 |8212 |   0 |   0 |4983 | 148k|  25 | 3.087754e+03 |      --      |    Inf 
1652.11/1652.71	c  1612s|220000 |    40 |135457 |   0.0 |  93M|  74 |   - |1908 |8208 |   0 |   0 |4983 | 156k|  25 | 3.087754e+03 |      --      |    Inf 
1723.38/1724.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1723.38/1724.00	c  1681s|230000 |    38 |135457 |   0.0 |  93M|  74 |   - |1908 |8231 |   0 |   0 |4983 | 164k|  25 | 3.087754e+03 |      --      |    Inf 
1784.07/1784.75	c  1740s|240000 |    41 |135457 |   0.0 |  93M|  74 |   - |1908 |8248 |   0 |   0 |4983 | 171k|  25 | 3.087754e+03 |      --      |    Inf 
1800.07/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71	c 
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time (sec) : 1755.25
1800.07/1800.71	c Solving Nodes      : 242988
1800.07/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.71	c Dual Bound         : +3.08775434433789e+03
1800.07/1800.71	c Gap                : infinite
1800.07/1800.71	s UNKNOWN
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time       :    1755.25
1800.07/1800.71	c Original Problem   :
1800.07/1800.71	c   Problem name     : HOME/instance-2666858-1276455942.opb
1800.07/1800.71	c   Variables        : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 13429 initial, 13429 maximal
1800.07/1800.71	c Presolved Problem  :
1800.07/1800.71	c   Problem name     : t_HOME/instance-2666858-1276455942.opb
1800.07/1800.71	c   Variables        : 1908 (1908 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 5964 initial, 8308 maximal
1800.07/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.71	c   trivial          :       0.04         35          0          0          0          0          0          0          0
1800.07/1800.71	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1800.07/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   implics          :       0.09          0       3209          0          0          0          0          0          0
1800.07/1800.71	c   probing          :       0.52          1        183          0          0          0          0          0          0
1800.07/1800.71	c   linear           :       0.54        965         51          0       1000          0       7440        171        321
1800.07/1800.71	c   logicor          :       0.27          0          0          0          0          0         25          0          0
1800.07/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.07/1800.71	c   logicor          :       5964+        97    7767873          0          0     160590   75444268          0          0          0
1800.07/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.71	c   integral         :      11.54       0.00       0.00      11.54       0.00
1800.07/1800.71	c   logicor          :     514.32       0.14     514.18       0.00       0.00
1800.07/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.71	c   vbounds          :       3.49          2          0          0
1800.07/1800.71	c   rootredcost      :       3.61          0          0          0
1800.07/1800.71	c   pseudoobj        :     465.63    7894718          0          0
1800.07/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.71	c   propagation      :      83.75     160589     159645     159645       33.9      14286        7.4          -
1800.07/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.71	c   applied globally :          -          -          -     173817       31.7          -          -          -
1800.07/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.71	c   cut pool         :       2.23         96          -          -       3159          -    (maximal pool size: 27166)
1800.07/1800.71	c   redcost          :       0.02         97          0          0          0          0
1800.07/1800.71	c   impliedbounds    :       0.11         97          0          0       4108          0
1800.07/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.71	c   gomory           :     103.15         96          0          0      40896          0
1800.07/1800.71	c   strongcg         :       3.63         20          0          0      10000          0
1800.07/1800.71	c   cmir             :       0.64         10          0          0          0          0
1800.07/1800.71	c   flowcover        :       0.61         10          0          0          0          0
1800.07/1800.71	c   clique           :       0.15         96          0          0         24          0
1800.07/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.71	c   mcf              :       0.01          1          0          0          0          0
1800.07/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.71	c Pricers            :       Time      Calls       Vars
1800.07/1800.71	c   problem variables:       0.00          0          0
1800.07/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   relpscost        :      11.54          1          0          0          0          0          2
1800.07/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   inference        :      60.98     161420          0          0          0          0     322840
1800.07/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.71	c   LP solutions     :       0.00          -          0
1800.07/1800.71	c   pseudo solutions :       0.00          -          0
1800.07/1800.71	c   oneopt           :       0.19          0          0
1800.07/1800.71	c   crossover        :       0.00          0          0
1800.07/1800.71	c   trivial          :       0.02          2          0
1800.07/1800.71	c   simplerounding   :       0.00          0          0
1800.07/1800.71	c   zirounding       :       0.00          1          0
1800.07/1800.71	c   rounding         :       0.21         97          0
1800.07/1800.71	c   shifting         :       1.79         97          0
1800.07/1800.71	c   intshifting      :       0.00          0          0
1800.07/1800.71	c   twoopt           :       0.00          0          0
1800.07/1800.71	c   fixandinfer      :       0.00          0          0
1800.07/1800.71	c   feaspump         :       5.08          1          0
1800.07/1800.71	c   coefdiving       :       0.00          0          0
1800.07/1800.71	c   pscostdiving     :       0.00          0          0
1800.07/1800.71	c   fracdiving       :       0.00          0          0
1800.07/1800.71	c   veclendiving     :       0.00          0          0
1800.07/1800.71	c   intdiving        :       0.00          0          0
1800.07/1800.71	c   actconsdiving    :       0.00          0          0
1800.07/1800.71	c   objpscostdiving  :       0.00          0          0
1800.07/1800.71	c   rootsoldiving    :       0.00          0          0
1800.07/1800.71	c   linesearchdiving :       0.00          0          0
1800.07/1800.71	c   guideddiving     :       0.00          0          0
1800.07/1800.71	c   octane           :       0.00          0          0
1800.07/1800.71	c   rens             :       0.01          0          0
1800.07/1800.71	c   rins             :       0.00          0          0
1800.07/1800.71	c   localbranching   :       0.00          0          0
1800.07/1800.71	c   mutation         :       0.00          0          0
1800.07/1800.71	c   dins             :       0.00          0          0
1800.07/1800.71	c   undercover       :       0.00          0          0
1800.07/1800.71	c   nlp              :       0.23          0          0
1800.07/1800.71	c   trysol           :       0.19          0          0
1800.07/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.71	c   primal LP        :       0.17          0          0       0.00       0.00
1800.07/1800.71	c   dual LP          :     175.97         97     129955    1339.74     738.51
1800.07/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.71	c   diving/probing LP:       5.01         31       5502     177.48    1098.20
1800.07/1800.71	c   strong branching :      11.54         25       9152     366.08     793.07
1800.07/1800.71	c     (at root node) :          -         25       9152     366.08          -
1800.07/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.71	c B&B Tree           :
1800.07/1800.71	c   number of runs   :          1
1800.07/1800.71	c   nodes            :     242988
1800.07/1800.71	c   nodes (total)    :     242988
1800.07/1800.71	c   nodes left       :         42
1800.07/1800.71	c   max depth        :         74
1800.07/1800.71	c   max depth (total):         74
1800.07/1800.71	c   backtracks       :      80806 (33.3%)
1800.07/1800.71	c   delayed cutoffs  :      79813
1800.07/1800.71	c   repropagations   :     213503 (37107179 domain reductions, 79022 cutoffs)
1800.07/1800.71	c   avg switch length:       2.49
1800.07/1800.71	c   switching time   :     285.41
1800.07/1800.71	c Solution           :
1800.07/1800.71	c   Solutions found  :          0 (0 improvements)
1800.07/1800.71	c   Primal Bound     :          -
1800.07/1800.71	c   Dual Bound       : +3.08775434433789e+03
1800.07/1800.71	c   Gap              :   infinite
1800.07/1800.71	c   Root Dual Bound  : +3.08742101100455e+03
1800.07/1800.71	c   Root Iterations  :     135457
1800.16/1800.88	c Time complete: 1800.24.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666858-1276455942/watcher-2666858-1276455942 -o /tmp/evaluation-result-2666858-1276455942/solver-2666858-1276455942 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666858-1276455942.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27401
/proc/meminfo: memFree=1785624/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=6696 CPUtime=0
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 987 0 0 0 0 0 0 0 18 0 1 0 21195807 6856704 906 1992294400 4194304 8223781 140734509561936 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27401/statm: 1674 907 343 984 0 687 0

[startup+0.0732919 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27401
/proc/meminfo: memFree=1785624/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=14776 CPUtime=0.07
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 3009 0 0 0 6 1 0 0 20 0 1 0 21195807 15130624 2927 1992294400 4194304 8223781 140734509561936 18446744073709551615 6639991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27401/statm: 3694 2927 365 984 0 2707 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14776

[startup+0.100295 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27401
/proc/meminfo: memFree=1785624/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=15628 CPUtime=0.09
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 3230 0 0 0 8 1 0 0 20 0 1 0 21195807 16003072 3148 1992294400 4194304 8223781 140734509561936 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27401/statm: 3907 3148 365 984 0 2920 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15628

[startup+0.300334 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27401
/proc/meminfo: memFree=1785624/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=28152 CPUtime=0.29
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 6671 0 0 0 27 2 0 0 20 0 1 0 21195807 28827648 6225 1992294400 4194304 8223781 140734509561936 18446744073709551615 4384533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 7038 6225 381 984 0 6051 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28152

[startup+0.700411 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27401
/proc/meminfo: memFree=1785624/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=40212 CPUtime=0.69
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 13028 0 0 0 58 11 0 0 20 0 1 0 21195807 41177088 8984 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 10053 8984 446 984 0 9066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40212

[startup+1.50057 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27402
/proc/meminfo: memFree=1750772/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=45212 CPUtime=1.49
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 28515 0 0 0 115 34 0 0 23 0 1 0 21195807 46297088 10275 1992294400 4194304 8223781 140734509561936 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 11303 10275 464 984 0 10316 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45212

[startup+3.10088 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27402
/proc/meminfo: memFree=1745068/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=55008 CPUtime=3.09
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 36366 0 0 0 267 42 0 0 25 0 1 0 21195807 56328192 12463 1992294400 4194304 8223781 140734509561936 18446744073709551615 6563111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 13752 12463 541 984 0 12765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55008

[startup+6.30051 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27402
/proc/meminfo: memFree=1736636/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=55496 CPUtime=6.29
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 42732 0 0 0 584 45 0 0 25 0 1 0 21195807 56827904 12588 1992294400 4194304 8223781 140734509561936 18446744073709551615 6566625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 13874 12588 542 984 0 12887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55496

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27402
/proc/meminfo: memFree=1731924/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=61340 CPUtime=12.69
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 49946 0 0 0 1218 51 0 0 25 0 1 0 21195807 62812160 13990 1992294400 4194304 8223781 140734509561936 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 15335 13990 569 984 0 14348 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61340

[startup+25.5003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27402
/proc/meminfo: memFree=1709728/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=83596 CPUtime=25.48
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 65561 0 0 0 2487 61 0 0 25 0 1 0 21195807 85602304 19327 1992294400 4194304 8223781 140734509561936 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 20899 19327 576 984 0 19912 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83596

[startup+51.1003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27402
/proc/meminfo: memFree=1693236/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=102560 CPUtime=51.07
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 93982 0 0 0 5027 80 0 0 25 0 1 0 21195807 105021440 23599 1992294400 4194304 8223781 140734509561936 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 25640 23599 577 984 0 24653 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102560

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27404
/proc/meminfo: memFree=1676000/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=119952 CPUtime=102.26
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 148714 0 0 0 10102 124 0 0 25 0 1 0 21195807 122830848 27775 1992294400 4194304 8223781 140734509561936 18446744073709551615 6562631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 29988 27775 569 984 0 29001 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 119952

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27406
/proc/meminfo: memFree=1665708/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=130768 CPUtime=162.22
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 203468 0 0 0 16054 168 0 0 25 0 1 0 21195807 133906432 30292 1992294400 4194304 8223781 140734509561936 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 32692 30292 589 984 0 31705 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 130768

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27406
/proc/meminfo: memFree=1652440/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=144364 CPUtime=222.21
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 254275 0 0 0 22004 217 0 0 25 0 1 0 21195807 147828736 33703 1992294400 4194304 8223781 140734509561936 18446744073709551615 6590163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 36091 33703 587 984 0 35104 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 144364

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27408
/proc/meminfo: memFree=1648348/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=146788 CPUtime=282.19
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 285780 0 0 0 27958 261 0 0 25 0 1 0 21195807 150310912 34525 1992294400 4194304 8223781 140734509561936 18446744073709551615 6536432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 36697 34525 569 984 0 35710 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 146788

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27410
/proc/meminfo: memFree=1618712/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=176720 CPUtime=342.17
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 341692 0 0 0 33835 382 0 0 25 0 1 0 21195807 180961280 41963 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 44180 41963 582 984 0 43193 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 176720

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27412
/proc/meminfo: memFree=1609908/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=185756 CPUtime=402.15
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 343865 0 0 0 39681 534 0 0 25 0 1 0 21195807 190214144 44136 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 46439 44136 582 984 0 45452 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 185756

[startup+462.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 27414
/proc/meminfo: memFree=1608792/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=186944 CPUtime=462.12
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 344160 0 0 0 45489 723 0 0 25 0 1 0 21195807 191430656 44431 1992294400 4194304 8223781 140734509561936 18446744073709551615 5917632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 46736 44431 582 984 0 45749 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 186944

[startup+522.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 27417
/proc/meminfo: memFree=1604700/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=190532 CPUtime=522.1
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 345015 0 0 0 51312 898 0 0 25 0 1 0 21195807 195104768 45286 1992294400 4194304 8223781 140734509561936 18446744073709551615 5956747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 47633 45286 582 984 0 46646 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 190532

[startup+582.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 27419
/proc/meminfo: memFree=1602964/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=192180 CPUtime=582.08
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 345417 0 0 0 57138 1070 0 0 25 0 1 0 21195807 196792320 45688 1992294400 4194304 8223781 140734509561936 18446744073709551615 5953026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 48045 45688 582 984 0 47058 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 192180

[startup+642.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 27421
/proc/meminfo: memFree=1601724/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=193628 CPUtime=642.07
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 345735 0 0 0 62956 1251 0 0 25 0 1 0 21195807 198275072 46006 1992294400 4194304 8223781 140734509561936 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 48407 46006 582 984 0 47420 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 193628

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27427
/proc/meminfo: memFree=1598500/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=197224 CPUtime=881.98
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 346559 0 0 0 86234 1964 0 0 25 0 1 0 21195807 201957376 46830 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 49306 46830 582 984 0 48319 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 197224

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27429
/proc/meminfo: memFree=1598004/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=197808 CPUtime=941.96
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 346689 0 0 0 92060 2136 0 0 25 0 1 0 21195807 202555392 46960 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 49452 46960 582 984 0 48465 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 197808

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27431
/proc/meminfo: memFree=1596516/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=199540 CPUtime=1001.94
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347052 0 0 0 97873 2321 0 0 25 0 1 0 21195807 204328960 47323 1992294400 4194304 8223781 140734509561936 18446744073709551615 5000109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 49885 47323 582 984 0 48898 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 199540

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27433
/proc/meminfo: memFree=1596516/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=199676 CPUtime=1061.91
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347076 0 0 0 103720 2471 0 0 25 0 1 0 21195807 204468224 47347 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 49919 47347 582 984 0 48932 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 199676

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27433
/proc/meminfo: memFree=1596392/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=199676 CPUtime=1121.9
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347080 0 0 0 109568 2622 0 0 25 0 1 0 21195807 204468224 47351 1992294400 4194304 8223781 140734509561936 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 49919 47351 582 984 0 48932 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 199676

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27435
/proc/meminfo: memFree=1596268/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=199852 CPUtime=1181.87
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347111 0 0 0 115418 2769 0 0 25 0 1 0 21195807 204648448 47382 1992294400 4194304 8223781 140734509561936 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 49963 47382 582 984 0 48976 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 199852

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27437
/proc/meminfo: memFree=1596020/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=199992 CPUtime=1241.86
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347130 0 0 0 121270 2916 0 0 25 0 1 0 21195807 204791808 47401 1992294400 4194304 8223781 140734509561936 18446744073709551615 5507352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 49998 47401 582 984 0 49011 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 199992

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27439
/proc/meminfo: memFree=1595276/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=200544 CPUtime=1301.83
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347266 0 0 0 127106 3077 0 0 25 0 1 0 21195807 205357056 47537 1992294400 4194304 8223781 140734509561936 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50136 47537 582 984 0 49149 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 200544

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27441
/proc/meminfo: memFree=1595152/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=200816 CPUtime=1361.81
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347307 0 0 0 132946 3235 0 0 25 0 1 0 21195807 205635584 47578 1992294400 4194304 8223781 140734509561936 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50204 47578 582 984 0 49217 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 200816

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27441
/proc/meminfo: memFree=1594656/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=201340 CPUtime=1421.8
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347433 0 0 0 138806 3374 0 0 25 0 1 0 21195807 206172160 47704 1992294400 4194304 8223781 140734509561936 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50335 47704 582 984 0 49348 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 201340

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27443
/proc/meminfo: memFree=1594036/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=201860 CPUtime=1481.77
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347573 0 0 0 144656 3521 0 0 25 0 1 0 21195807 206704640 47844 1992294400 4194304 8223781 140734509561936 18446744073709551615 4661067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50465 47844 582 984 0 49478 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 201860

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 27445
/proc/meminfo: memFree=1593788/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=202156 CPUtime=1541.74
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347636 0 0 0 150505 3669 0 0 25 0 1 0 21195807 207007744 47907 1992294400 4194304 8223781 140734509561936 18446744073709551615 5506790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50539 47907 582 984 0 49552 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 202156

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 27447
/proc/meminfo: memFree=1593788/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=202300 CPUtime=1601.73
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347657 0 0 0 156350 3823 0 0 25 0 1 0 21195807 207155200 47928 1992294400 4194304 8223781 140734509561936 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50575 47928 582 984 0 49588 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 202300

[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 27449
/proc/meminfo: memFree=1593416/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=202472 CPUtime=1661.71
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347720 0 0 0 162171 4000 0 0 25 0 1 0 21195807 207331328 47991 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50618 47991 582 984 0 49631 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 202472

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27449
/proc/meminfo: memFree=1593292/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=202604 CPUtime=1721.69
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347740 0 0 0 167962 4207 0 0 25 0 1 0 21195807 207466496 48011 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50651 48011 582 984 0 49664 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 202604

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27451
/proc/meminfo: memFree=1592920/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=202744 CPUtime=1781.66
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347766 0 0 0 173766 4400 0 0 25 0 1 0 21195807 207609856 48037 1992294400 4194304 8223781 140734509561936 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50686 48037 582 984 0 49699 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 202744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27453
/proc/meminfo: memFree=1592796/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=202876 CPUtime=1800.07
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347791 0 0 0 175550 4457 0 0 25 0 1 0 21195807 207745024 48062 1992294400 4194304 8223781 140734509561936 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27401/statm: 50719 48062 582 984 0 49732 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 202876

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27453
/proc/meminfo: memFree=1592796/2059040 swapFree=4136184/4192956
[pid=27401] ppid=27399 vsize=189720 CPUtime=1800.16
/proc/27401/stat : 27401 (pbscip.linux.x8) R 27399 27401 26893 0 -1 4202496 347824 0 0 0 175559 4457 0 0 25 0 1 0 21195807 194273280 44784 1992294400 4194304 8223781 140734509561936 18446744073709551615 6206542 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27401/statm: 47430 44784 585 984 0 46443 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 189720

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.25
CPU user time (s): 1755.64
CPU system time (s): 44.6032
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 202876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.64
system time used= 44.6032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347828
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= 2
involuntary context switches= 5171

runsolver used 2.87256 second user time and 8.62169 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-13 21:05:42
IDJOB=2666858
IDBENCH=2160
IDSOLVER=1169
FILE ID=node011/2666858-1276455942
PBS_JOBID= 11173337
Free space on /tmp= 62264 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666858-1276455942/watcher-2666858-1276455942 -o /tmp/evaluation-result-2666858-1276455942/solver-2666858-1276455942 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666858-1276455942.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa
RANDOM SEED=1571672896

node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1786152 kB
Buffers:         66596 kB
Cached:         130112 kB
SwapCached:       9840 kB
Active:          94128 kB
Inactive:       115104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1786152 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            4968 kB
Writeback:           0 kB
AnonPages:       11120 kB
Mapped:           9228 kB
Slab:            41836 kB
PageTables:       3968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181388 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62260 MiB
End job on node011 at 2010-06-13 21:35:45