Trace number 2693610

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 NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.07 1802.05

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
MD5SUMfc4fc608292ff0814d25e97efc86eb19
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.25896
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2913
Total number of constraints3105
Number of soft constraints1046
Number of constraints which are clauses2259
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints846
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 52307
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 52306
Biggest number in a constraint 6518
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 18803
Number of bits of the biggest sum of numbers15
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: NONE] [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-2693610-1277913026.wbo>
0.00/0.05	c original problem has 5005 variables (3959 bin, 0 int, 0 impl, 1046 cont) and 4152 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.00/0.05	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07	c presolving:
0.00/0.08	c (round 1) 27 del vars, 1 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 6780 impls, 0 clqs
0.00/0.08	c (round 2) 27 del vars, 55 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 6780 impls, 0 clqs
0.00/0.09	c (round 3) 27 del vars, 55 del conss, 1046 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 6780 impls, 0 clqs
0.09/0.12	c (round 4) 27 del vars, 55 del conss, 1046 chg bounds, 514 chg sides, 1028 chg coeffs, 2005 upgd conss, 6780 impls, 0 clqs
0.09/0.14	c (round 5) 27 del vars, 55 del conss, 1046 chg bounds, 514 chg sides, 1039 chg coeffs, 2006 upgd conss, 7197 impls, 0 clqs
0.09/0.16	c (round 6) 27 del vars, 55 del conss, 1046 chg bounds, 536 chg sides, 1104 chg coeffs, 2006 upgd conss, 7201 impls, 19 clqs
0.19/0.21	c    (0.1s) probing: 102/3932 (2.6%) - 0 fixings, 0 aggregations, 1 implications, 0 bound changes
0.19/0.21	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21	c presolving (7 rounds):
0.19/0.21	c  27 deleted vars, 55 deleted constraints, 1046 tightened bounds, 0 added holes, 536 changed sides, 1104 changed coefficients
0.19/0.21	c  7203 implications, 19 cliques
0.19/0.21	c presolved problem has 4978 variables (3932 bin, 0 int, 0 impl, 1046 cont) and 4119 constraints
0.19/0.21	c    1046 constraints of type <indicator>
0.19/0.21	c       1 constraints of type <varbound>
0.19/0.21	c     574 constraints of type <knapsack>
0.19/0.21	c      22 constraints of type <setppc>
0.19/0.21	c    1045 constraints of type <linear>
0.19/0.21	c    1431 constraints of type <logicor>
0.19/0.21	c transformed objective value is always integral (scale: 1)
0.19/0.21	c Presolving Time: 0.12
0.19/0.21	c - non default parameters ----------------------------------------------------------------------
0.19/0.21	c # SCIP version 1.2.1.2
0.19/0.21	c 
0.19/0.21	c # frequency for displaying node information lines
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21	c display/freq = 10000
0.19/0.21	c 
0.19/0.21	c # maximal time in seconds to run
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/time = 1799.96
0.19/0.21	c 
0.19/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/memory = 3420
0.19/0.21	c 
0.19/0.21	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c lp/solvefreq = -1
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify inequalities
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/linear/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify knapsacks
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.22	c   0.1s|     1 |     2 |     0 |     - |  17M|   0 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.50/6.58	c   6.0s| 10000 | 10001 |     0 |   0.0 |  22M| 105 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.20/13.22	c  12.1s| 20000 | 20001 |     0 |   0.0 |  28M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.79/19.84	c  18.2s| 30000 | 30001 |     0 |   0.0 |  33M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
26.40/26.42	c  24.3s| 40000 | 40001 |     0 |   0.0 |  38M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
32.90/32.93	c  30.3s| 50000 | 50001 |     0 |   0.0 |  44M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
39.39/39.43	c  36.3s| 60000 | 60001 |     0 |   0.0 |  49M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
45.90/45.92	c  42.3s| 70000 | 70001 |     0 |   0.0 |  54M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
52.40/52.42	c  48.3s| 80000 | 80001 |     0 |   0.0 |  59M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
58.79/58.81	c  54.2s| 90000 | 90001 |     0 |   0.0 |  64M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
65.09/65.11	c  60.1s|100000 |100001 |     0 |   0.0 |  69M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
71.29/71.38	c  65.9s|110000 |110001 |     0 |   0.0 |  74M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
77.59/77.69	c  71.8s|120000 |120001 |     0 |   0.0 |  78M| 117 |   - |4978 |4119 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
84.00/84.04	c  77.6s|130000 |129999 |     0 |   0.0 |  83M| 117 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
90.10/90.12	c  83.2s|140000 |139999 |     0 |   0.0 |  88M| 117 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
96.09/96.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
96.09/96.15	c  88.8s|150000 |149999 |     0 |   0.0 |  93M| 117 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
102.30/102.32	c  94.5s|160000 |159999 |     0 |   0.0 |  97M| 123 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
108.49/108.56	c   100s|170000 |169999 |     0 |   0.0 | 102M| 123 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
114.79/114.81	c   106s|180000 |179999 |     0 |   0.0 | 106M| 123 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
121.00/121.06	c   112s|190000 |189999 |     0 |   0.0 | 111M| 123 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
127.29/127.30	c   118s|200000 |199999 |     0 |   0.0 | 116M| 123 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
133.49/133.50	c   124s|210000 |209999 |     0 |   0.0 | 120M| 123 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
139.70/139.71	c   129s|220000 |219999 |     0 |   0.0 | 125M| 123 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
145.89/145.91	c   135s|230000 |229999 |     0 |   0.0 | 130M| 123 |   - |4978 |4120 |   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
152.29/152.32	c   141s|240000 |239995 |     0 |   0.0 | 134M| 123 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
158.69/158.79	c   147s|250000 |249995 |     0 |   0.0 | 139M| 123 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
165.19/165.26	c   153s|260000 |259995 |     0 |   0.0 | 144M| 123 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
171.69/171.75	c   159s|270000 |269995 |     0 |   0.0 | 148M| 123 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
178.20/178.22	c   165s|280000 |279995 |     0 |   0.0 | 153M| 123 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
184.60/184.69	c   171s|290000 |289995 |     0 |   0.0 | 158M| 123 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
191.10/191.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
191.10/191.16	c   177s|300000 |299995 |     0 |   0.0 | 162M| 123 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
197.60/197.68	c   183s|310000 |309995 |     0 |   0.0 | 167M| 123 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
204.00/204.08	c   189s|320000 |319995 |     0 |   0.0 | 172M| 155 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
210.39/210.43	c   195s|330000 |329995 |     0 |   0.0 | 176M| 155 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
216.80/216.85	c   201s|340000 |339995 |     0 |   0.0 | 181M| 155 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
223.20/223.27	c   207s|350000 |349995 |     0 |   0.0 | 185M| 159 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
229.59/229.65	c   213s|360000 |359995 |     0 |   0.0 | 190M| 163 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
235.99/236.06	c   219s|370000 |369995 |     0 |   0.0 | 195M| 163 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
242.39/242.47	c   225s|380000 |379995 |     0 |   0.0 | 199M| 163 |   - |4978 |4121 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
248.80/248.84	c   231s|390000 |389995 |     0 |   0.0 | 204M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
255.20/255.23	c   237s|400000 |399995 |     0 |   0.0 | 209M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
261.50/261.59	c   243s|410000 |409995 |     0 |   0.0 | 213M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
267.90/267.97	c   248s|420000 |419995 |     0 |   0.0 | 218M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
274.29/274.34	c   254s|430000 |429995 |     0 |   0.0 | 222M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
280.60/280.67	c   260s|440000 |439995 |     0 |   0.0 | 227M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
287.00/287.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
287.00/287.02	c   266s|450000 |449995 |     0 |   0.0 | 232M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
293.30/293.38	c   272s|460000 |459995 |     0 |   0.0 | 236M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
299.70/299.73	c   278s|470000 |469995 |     0 |   0.0 | 241M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
306.00/306.04	c   284s|480000 |479995 |     0 |   0.0 | 245M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
312.30/312.38	c   290s|490000 |489995 |     0 |   0.0 | 250M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
318.70/318.74	c   296s|500000 |499995 |     0 |   0.0 | 255M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
325.00/325.04	c   301s|510000 |509995 |     0 |   0.0 | 259M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
331.30/331.38	c   307s|520000 |519995 |     0 |   0.0 | 264M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
337.60/337.70	c   313s|530000 |529995 |     0 |   0.0 | 268M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
344.00/344.02	c   319s|540000 |539995 |     0 |   0.0 | 273M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
350.30/350.31	c   325s|550000 |549995 |     0 |   0.0 | 277M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
356.50/356.56	c   331s|560000 |559995 |     0 |   0.0 | 282M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
362.80/362.83	c   336s|570000 |569995 |     0 |   0.0 | 286M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
369.00/369.08	c   342s|580000 |579995 |     0 |   0.0 | 291M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
375.29/375.31	c   348s|590000 |589995 |     0 |   0.0 | 295M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
381.50/381.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
381.50/381.55	c   354s|600000 |599995 |     0 |   0.0 | 300M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
387.70/387.79	c   359s|610000 |609995 |     0 |   0.0 | 305M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
393.99/394.02	c   365s|620000 |619995 |     0 |   0.0 | 309M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
400.20/400.25	c   371s|630000 |629995 |     0 |   0.0 | 314M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
406.40/406.47	c   377s|640000 |639995 |     0 |   0.0 | 318M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
412.70/412.70	c   382s|650000 |649995 |     0 |   0.0 | 323M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
418.90/418.90	c   388s|660000 |659995 |     0 |   0.0 | 327M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
425.00/425.08	c   394s|670000 |669995 |     0 |   0.0 | 332M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
431.21/431.26	c   400s|680000 |679995 |     0 |   0.0 | 336M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
437.50/437.54	c   405s|690000 |689995 |     0 |   0.0 | 341M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
443.90/443.94	c   411s|700000 |699995 |     0 |   0.0 | 345M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
450.30/450.33	c   417s|710000 |709995 |     0 |   0.0 | 350M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
456.70/456.70	c   423s|720000 |719995 |     0 |   0.0 | 354M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
463.01/463.07	c   429s|730000 |729995 |     0 |   0.0 | 359M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
469.40/469.43	c   435s|740000 |739995 |     0 |   0.0 | 363M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
475.70/475.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
475.70/475.79	c   441s|750000 |749995 |     0 |   0.0 | 368M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
482.10/482.16	c   447s|760000 |759995 |     0 |   0.0 | 372M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
488.50/488.54	c   453s|770000 |769993 |     0 |   0.0 | 377M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
494.91/494.90	c   459s|780000 |779993 |     0 |   0.0 | 382M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
501.20/501.28	c   465s|790000 |789993 |     0 |   0.0 | 386M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
507.60/507.65	c   471s|800000 |799993 |     0 |   0.0 | 391M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
514.01/514.02	c   476s|810000 |809993 |     0 |   0.0 | 395M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
520.31/520.39	c   482s|820000 |819993 |     0 |   0.0 | 400M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
526.71/526.78	c   488s|830000 |829993 |     0 |   0.0 | 404M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
533.11/533.14	c   494s|840000 |839993 |     0 |   0.0 | 409M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
539.40/539.49	c   500s|850000 |849993 |     0 |   0.0 | 413M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
545.80/545.82	c   506s|860000 |859993 |     0 |   0.0 | 418M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
552.11/552.17	c   512s|870000 |869993 |     0 |   0.0 | 422M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
558.50/558.53	c   518s|880000 |879991 |     0 |   0.0 | 427M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
564.80/564.89	c   524s|890000 |889991 |     0 |   0.0 | 431M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
571.21/571.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
571.21/571.27	c   529s|900000 |899991 |     0 |   0.0 | 436M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
577.60/577.65	c   535s|910000 |909991 |     0 |   0.0 | 440M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
584.01/584.03	c   541s|920000 |919991 |     0 |   0.0 | 445M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
590.40/590.41	c   547s|930000 |929991 |     0 |   0.0 | 450M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
596.80/596.80	c   553s|940000 |939991 |     0 |   0.0 | 454M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
603.11/603.17	c   559s|950000 |949991 |     0 |   0.0 | 459M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
609.51/609.53	c   565s|960000 |959991 |     0 |   0.0 | 463M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
615.81/615.90	c   571s|970000 |969991 |     0 |   0.0 | 468M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
622.21/622.27	c   577s|980000 |979991 |     0 |   0.0 | 472M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
628.60/628.65	c   583s|990000 |989991 |     0 |   0.0 | 477M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
635.01/635.03	c   588s|  1000k|999991 |     0 |   0.0 | 482M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
641.41/641.41	c   594s|  1010k|  1009k|     0 |   0.0 | 486M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
647.71/647.79	c   600s|  1020k|  1019k|     0 |   0.0 | 491M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
654.10/654.16	c   606s|  1030k|  1029k|     0 |   0.0 | 495M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
660.51/660.51	c   612s|  1040k|  1039k|     0 |   0.0 | 500M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
666.80/666.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
666.80/666.85	c   618s|  1050k|  1049k|     0 |   0.0 | 505M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
673.21/673.20	c   624s|  1060k|  1059k|     0 |   0.0 | 509M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
679.41/679.44	c   630s|  1070k|  1069k|     0 |   0.0 | 514M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
685.71/685.74	c   636s|  1080k|  1079k|     0 |   0.0 | 518M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
692.01/692.05	c   641s|  1090k|  1089k|     0 |   0.0 | 523M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
698.31/698.33	c   647s|  1100k|  1099k|     0 |   0.0 | 527M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
704.61/704.61	c   653s|  1110k|  1109k|     0 |   0.0 | 532M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
710.90/710.95	c   659s|  1120k|  1119k|     0 |   0.0 | 536M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
717.21/717.25	c   665s|  1130k|  1129k|     0 |   0.0 | 541M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
723.51/723.57	c   671s|  1140k|  1139k|     0 |   0.0 | 545M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
729.81/729.88	c   677s|  1150k|  1149k|     0 |   0.0 | 550M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
736.11/736.17	c   682s|  1160k|  1159k|     0 |   0.0 | 554M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
742.41/742.46	c   688s|  1170k|  1169k|     0 |   0.0 | 559M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
748.71/748.75	c   694s|  1180k|  1179k|     0 |   0.0 | 563M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
755.00/755.02	c   700s|  1190k|  1189k|     0 |   0.0 | 568M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
761.31/761.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
761.31/761.34	c   706s|  1200k|  1199k|     0 |   0.0 | 572M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
767.61/767.62	c   712s|  1210k|  1209k|     0 |   0.0 | 577M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
773.91/773.90	c   717s|  1220k|  1219k|     0 |   0.0 | 581M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
780.21/780.22	c   723s|  1230k|  1229k|     0 |   0.0 | 586M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
786.52/786.54	c   729s|  1240k|  1239k|     0 |   0.0 | 590M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
792.81/792.82	c   735s|  1250k|  1249k|     0 |   0.0 | 595M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
799.11/799.13	c   741s|  1260k|  1259k|     0 |   0.0 | 599M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
805.41/805.41	c   747s|  1270k|  1269k|     0 |   0.0 | 604M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
811.61/811.69	c   753s|  1280k|  1279k|     0 |   0.0 | 609M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
818.00/818.00	c   758s|  1290k|  1289k|     0 |   0.0 | 613M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   7 |   0 | 0.000000e+00 |      --      |    Inf 
824.21/824.29	c   764s|  1300k|  1299k|     0 |   0.0 | 618M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   7 |   0 | 0.000000e+00 |      --      |    Inf 
830.61/830.61	c   770s|  1310k|  1309k|     0 |   0.0 | 622M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   7 |   0 | 0.000000e+00 |      --      |    Inf 
836.91/836.90	c   776s|  1320k|  1319k|     0 |   0.0 | 627M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   7 |   0 | 0.000000e+00 |      --      |    Inf 
843.11/843.15	c   782s|  1330k|  1329k|     0 |   0.0 | 631M| 163 |   - |4978 |4119 |   0 |   0 |   0 |   7 |   0 | 0.000000e+00 |      --      |    Inf 
849.41/849.40	c   788s|  1340k|  1339k|     0 |   0.0 | 636M| 163 |   - |4978 |4121 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
855.51/855.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
855.51/855.57	c   793s|  1350k|  1349k|     0 |   0.0 | 640M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
861.71/861.77	c   799s|  1360k|  1359k|     0 |   0.0 | 644M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
867.92/867.93	c   805s|  1370k|  1369k|     0 |   0.0 | 649M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
874.01/874.08	c   811s|  1380k|  1379k|     0 |   0.0 | 653M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
880.22/880.22	c   816s|  1390k|  1389k|     0 |   0.0 | 657M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
886.31/886.35	c   822s|  1400k|  1399k|     0 |   0.0 | 662M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
892.51/892.51	c   828s|  1410k|  1409k|     0 |   0.0 | 666M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
898.62/898.68	c   834s|  1420k|  1419k|     0 |   0.0 | 671M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
904.81/904.87	c   839s|  1430k|  1429k|     0 |   0.0 | 675M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
911.01/911.01	c   845s|  1440k|  1439k|     0 |   0.0 | 679M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
917.11/917.17	c   851s|  1450k|  1449k|     0 |   0.0 | 684M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
923.31/923.30	c   856s|  1460k|  1459k|     0 |   0.0 | 688M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
929.42/929.46	c   862s|  1470k|  1469k|     0 |   0.0 | 692M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
935.61/935.60	c   868s|  1480k|  1479k|     0 |   0.0 | 697M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
941.71/941.74	c   874s|  1490k|  1489k|     0 |   0.0 | 701M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
947.81/947.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
947.81/947.88	c   879s|  1500k|  1499k|     0 |   0.0 | 706M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
954.02/954.04	c   885s|  1510k|  1509k|     0 |   0.0 | 710M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
960.11/960.20	c   891s|  1520k|  1519k|     0 |   0.0 | 714M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
966.32/966.37	c   897s|  1530k|  1529k|     0 |   0.0 | 719M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
972.52/972.53	c   902s|  1540k|  1539k|     0 |   0.0 | 723M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
978.62/978.69	c   908s|  1550k|  1549k|     0 |   0.0 | 728M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
984.81/984.83	c   914s|  1560k|  1559k|     0 |   0.0 | 732M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
990.91/990.97	c   919s|  1570k|  1569k|     0 |   0.0 | 736M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
997.12/997.12	c   925s|  1580k|  1579k|     0 |   0.0 | 741M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1003.22/1003.27	c   931s|  1590k|  1589k|     0 |   0.0 | 745M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1009.41/1009.44	c   937s|  1600k|  1599k|     0 |   0.0 | 750M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1015.61/1015.62	c   942s|  1610k|  1609k|     0 |   0.0 | 754M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1021.82/1021.81	c   948s|  1620k|  1619k|     0 |   0.0 | 759M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1028.02/1028.00	c   954s|  1630k|  1629k|     0 |   0.0 | 763M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1034.21/1034.20	c   960s|  1640k|  1639k|     0 |   0.0 | 767M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1040.31/1040.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1040.31/1040.38	c   965s|  1650k|  1649k|     0 |   0.0 | 772M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1046.51/1046.54	c   971s|  1660k|  1659k|     0 |   0.0 | 776M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1052.72/1052.70	c   977s|  1670k|  1669k|     0 |   0.0 | 781M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1058.81/1058.88	c   982s|  1680k|  1679k|     0 |   0.0 | 785M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1065.02/1065.04	c   988s|  1690k|  1689k|     0 |   0.0 | 790M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1071.11/1071.19	c   994s|  1700k|  1699k|     0 |   0.0 | 794M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1077.31/1077.36	c  1000s|  1710k|  1709k|     0 |   0.0 | 798M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1083.52/1083.54	c  1005s|  1720k|  1719k|     0 |   0.0 | 803M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1089.72/1089.73	c  1011s|  1730k|  1729k|     0 |   0.0 | 807M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1095.91/1095.90	c  1017s|  1740k|  1739k|     0 |   0.0 | 812M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1102.02/1102.09	c  1023s|  1750k|  1749k|     0 |   0.0 | 816M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1108.21/1108.26	c  1028s|  1760k|  1759k|     0 |   0.0 | 821M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1114.42/1114.41	c  1034s|  1770k|  1769k|     0 |   0.0 | 825M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1120.52/1120.56	c  1040s|  1780k|  1779k|     0 |   0.0 | 829M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1126.71/1126.72	c  1046s|  1790k|  1789k|     0 |   0.0 | 834M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1132.82/1132.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1132.82/1132.87	c  1051s|  1800k|  1799k|     0 |   0.0 | 838M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1139.02/1139.00	c  1057s|  1810k|  1809k|     0 |   0.0 | 843M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1145.12/1145.15	c  1063s|  1820k|  1819k|     0 |   0.0 | 847M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1151.32/1151.30	c  1068s|  1830k|  1829k|     0 |   0.0 | 851M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1157.42/1157.47	c  1074s|  1840k|  1839k|     0 |   0.0 | 856M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1163.62/1163.65	c  1080s|  1850k|  1849k|     0 |   0.0 | 860M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1169.82/1169.83	c  1086s|  1860k|  1859k|     0 |   0.0 | 865M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1176.02/1176.02	c  1091s|  1870k|  1869k|     0 |   0.0 | 869M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1182.12/1182.18	c  1097s|  1880k|  1879k|     0 |   0.0 | 874M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1188.32/1188.31	c  1103s|  1890k|  1889k|     0 |   0.0 | 878M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1194.42/1194.45	c  1109s|  1900k|  1899k|     0 |   0.0 | 882M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1200.62/1200.61	c  1114s|  1910k|  1909k|     0 |   0.0 | 887M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1206.73/1206.74	c  1120s|  1920k|  1919k|     0 |   0.0 | 891M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1212.82/1212.87	c  1126s|  1930k|  1929k|     0 |   0.0 | 896M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1219.02/1219.00	c  1131s|  1940k|  1939k|     0 |   0.0 | 900M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1225.12/1225.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1225.12/1225.11	c  1137s|  1950k|  1949k|     0 |   0.0 | 904M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1231.22/1231.27	c  1143s|  1960k|  1959k|     0 |   0.0 | 909M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1237.42/1237.44	c  1148s|  1970k|  1969k|     0 |   0.0 | 913M| 163 |   - |4978 |4120 |   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1243.62/1243.61	c  1154s|  1980k|  1979k|     0 |   0.0 | 918M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1249.72/1249.77	c  1160s|  1990k|  1989k|     0 |   0.0 | 922M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1255.92/1255.92	c  1166s|  2000k|  1999k|     0 |   0.0 | 926M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1262.02/1262.05	c  1171s|  2010k|  2009k|     0 |   0.0 | 931M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1268.12/1268.17	c  1177s|  2020k|  2019k|     0 |   0.0 | 935M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1274.23/1274.29	c  1183s|  2030k|  2029k|     0 |   0.0 | 940M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1280.43/1280.41	c  1188s|  2040k|  2039k|     0 |   0.0 | 944M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1286.52/1286.52	c  1194s|  2050k|  2049k|     0 |   0.0 | 948M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1292.62/1292.63	c  1200s|  2060k|  2059k|     0 |   0.0 | 953M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1298.72/1298.74	c  1205s|  2070k|  2069k|     0 |   0.0 | 957M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1304.82/1304.87	c  1211s|  2080k|  2079k|     0 |   0.0 | 961M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1311.03/1311.02	c  1217s|  2090k|  2089k|     0 |   0.0 | 966M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1317.12/1317.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1317.12/1317.15	c  1223s|  2100k|  2099k|     0 |   0.0 | 970M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1323.23/1323.26	c  1228s|  2110k|  2109k|     0 |   0.0 | 975M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1329.32/1329.37	c  1234s|  2120k|  2119k|     0 |   0.0 | 979M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1335.43/1335.45	c  1240s|  2130k|  2129k|     0 |   0.0 | 983M| 163 |   - |4978 |4120 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
1341.52/1341.53	c  1245s|  2140k|  2139k|     0 |   0.0 | 988M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1347.62/1347.61	c  1251s|  2150k|  2149k|     0 |   0.0 | 992M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1353.62/1353.68	c  1257s|  2160k|  2159k|     0 |   0.0 | 996M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1359.73/1359.75	c  1262s|  2170k|  2169k|     0 |   0.0 |1001M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1365.83/1365.83	c  1268s|  2180k|  2179k|     0 |   0.0 |1005M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1371.93/1371.91	c  1274s|  2190k|  2189k|     0 |   0.0 |1009M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1377.92/1377.99	c  1279s|  2200k|  2199k|     0 |   0.0 |1014M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1384.02/1384.09	c  1285s|  2210k|  2209k|     0 |   0.0 |1018M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1390.22/1390.20	c  1291s|  2220k|  2219k|     0 |   0.0 |1023M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1396.33/1396.31	c  1296s|  2230k|  2229k|     0 |   0.0 |1027M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1402.43/1402.41	c  1302s|  2240k|  2239k|     0 |   0.0 |1031M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1408.42/1408.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1408.42/1408.49	c  1308s|  2250k|  2249k|     0 |   0.0 |1036M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1414.53/1414.56	c  1313s|  2260k|  2259k|     0 |   0.0 |1040M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1420.62/1420.64	c  1319s|  2270k|  2269k|     0 |   0.0 |1044M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1426.74/1426.71	c  1325s|  2280k|  2279k|     0 |   0.0 |1049M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1432.72/1432.77	c  1330s|  2290k|  2289k|     0 |   0.0 |1053M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1438.83/1438.82	c  1336s|  2300k|  2299k|     0 |   0.0 |1057M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1444.82/1444.89	c  1342s|  2310k|  2309k|     0 |   0.0 |1062M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1450.93/1450.95	c  1347s|  2320k|  2319k|     0 |   0.0 |1066M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1457.03/1457.02	c  1353s|  2330k|  2329k|     0 |   0.0 |1070M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1463.12/1463.12	c  1358s|  2340k|  2339k|     0 |   0.0 |1075M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1469.23/1469.21	c  1364s|  2350k|  2349k|     0 |   0.0 |1079M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1475.32/1475.31	c  1370s|  2360k|  2359k|     0 |   0.0 |1083M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1481.42/1481.41	c  1375s|  2370k|  2369k|     0 |   0.0 |1088M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1487.43/1487.48	c  1381s|  2380k|  2379k|     0 |   0.0 |1092M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1493.53/1493.53	c  1387s|  2390k|  2389k|     0 |   0.0 |1096M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1499.63/1499.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1499.63/1499.60	c  1392s|  2400k|  2399k|     0 |   0.0 |1101M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1505.63/1505.66	c  1398s|  2410k|  2409k|     0 |   0.0 |1105M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1511.73/1511.70	c  1404s|  2420k|  2419k|     0 |   0.0 |1109M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1517.73/1517.77	c  1409s|  2430k|  2429k|     0 |   0.0 |1114M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1523.83/1523.83	c  1415s|  2440k|  2439k|     0 |   0.0 |1118M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1529.82/1529.88	c  1420s|  2450k|  2449k|     0 |   0.0 |1123M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1535.92/1535.97	c  1426s|  2460k|  2459k|     0 |   0.0 |1127M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1542.02/1542.06	c  1432s|  2470k|  2469k|     0 |   0.0 |1131M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1548.13/1548.17	c  1438s|  2480k|  2479k|     0 |   0.0 |1135M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1554.24/1554.27	c  1443s|  2490k|  2489k|     0 |   0.0 |1140M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1560.33/1560.36	c  1449s|  2500k|  2499k|     0 |   0.0 |1144M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1566.43/1566.43	c  1454s|  2510k|  2509k|     0 |   0.0 |1148M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1572.43/1572.49	c  1460s|  2520k|  2519k|     0 |   0.0 |1152M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1578.54/1578.55	c  1466s|  2530k|  2529k|     0 |   0.0 |1157M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1584.62/1584.61	c  1471s|  2540k|  2539k|     0 |   0.0 |1161M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1590.63/1590.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1590.63/1590.65	c  1477s|  2550k|  2549k|     0 |   0.0 |1165M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1596.63/1596.68	c  1483s|  2560k|  2559k|     0 |   0.0 |1170M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1602.74/1602.72	c  1488s|  2570k|  2569k|     0 |   0.0 |1174M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1608.73/1608.76	c  1494s|  2580k|  2579k|     0 |   0.0 |1178M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1614.84/1614.82	c  1500s|  2590k|  2589k|     0 |   0.0 |1183M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1620.93/1620.92	c  1505s|  2600k|  2599k|     0 |   0.0 |1187M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1627.03/1627.02	c  1511s|  2610k|  2609k|     0 |   0.0 |1191M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1633.13/1633.11	c  1517s|  2620k|  2619k|     0 |   0.0 |1196M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1639.13/1639.19	c  1522s|  2630k|  2629k|     0 |   0.0 |1200M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1645.23/1645.25	c  1528s|  2640k|  2639k|     0 |   0.0 |1204M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1651.23/1651.29	c  1533s|  2650k|  2649k|     0 |   0.0 |1209M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1657.33/1657.33	c  1539s|  2660k|  2659k|     0 |   0.0 |1213M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1663.41/1663.43	c  1545s|  2670k|  2669k|     0 |   0.0 |1217M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1669.72/1669.78	c  1551s|  2680k|  2679k|     0 |   0.0 |1221M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1676.11/1676.17	c  1557s|  2690k|  2689k|     0 |   0.0 |1226M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1682.11/1682.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1682.11/1682.19	c  1563s|  2700k|  2699k|     0 |   0.0 |1230M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1688.20/1688.23	c  1569s|  2710k|  2709k|     0 |   0.0 |1234M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1694.21/1694.29	c  1574s|  2720k|  2719k|     0 |   0.0 |1239M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1700.30/1700.38	c  1580s|  2730k|  2729k|     0 |   0.0 |1243M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1706.41/1706.47	c  1586s|  2740k|  2739k|     0 |   0.0 |1247M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1712.51/1712.55	c  1592s|  2750k|  2749k|     0 |   0.0 |1252M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1718.61/1718.62	c  1597s|  2760k|  2759k|     0 |   0.0 |1256M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1724.61/1724.67	c  1603s|  2770k|  2769k|     0 |   0.0 |1260M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1730.71/1730.72	c  1609s|  2780k|  2779k|     0 |   0.0 |1265M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1736.71/1736.77	c  1614s|  2790k|  2789k|     0 |   0.0 |1269M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1742.81/1742.80	c  1620s|  2800k|  2799k|     0 |   0.0 |1273M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1748.81/1748.84	c  1626s|  2810k|  2809k|     0 |   0.0 |1277M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1754.80/1754.86	c  1631s|  2820k|  2819k|     0 |   0.0 |1282M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1760.81/1760.89	c  1637s|  2830k|  2829k|     0 |   0.0 |1286M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1766.91/1766.94	c  1642s|  2840k|  2839k|     0 |   0.0 |1291M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1772.91/1772.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1772.91/1772.99	c  1648s|  2850k|  2849k|     0 |   0.0 |1295M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1778.91/1778.99	c  1654s|  2860k|  2859k|     0 |   0.0 |1299M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1785.01/1785.00	c  1659s|  2870k|  2869k|     0 |   0.0 |1303M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1790.91/1790.99	c  1665s|  2880k|  2879k|     0 |   0.0 |1307M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1796.91/1796.98	c  1671s|  2890k|  2889k|     0 |   0.0 |1311M| 163 |   - |4978 |4121 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
1800.01/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00	c 
1800.01/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.00	c Solving Time (sec) : 1673.48
1800.01/1800.00	c Solving Nodes      : 2895055
1800.01/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.00	c Gap                : infinite
1800.01/1800.00	s UNKNOWN
1800.01/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.00	c Solving Time       :    1673.48
1800.01/1800.00	c Original Problem   :
1800.01/1800.00	c   Problem name     : HOME/instance-2693610-1277913026.wbo
1800.01/1800.00	c   Variables        : 5005 (3959 binary, 0 integer, 0 implicit integer, 1046 continuous)
1800.01/1800.00	c   Constraints      : 4152 initial, 4152 maximal
1800.01/1800.00	c Presolved Problem  :
1800.01/1800.00	c   Problem name     : t_HOME/instance-2693610-1277913026.wbo
1800.01/1800.00	c   Variables        : 4978 (3932 binary, 0 integer, 0 implicit integer, 1046 continuous)
1800.01/1800.00	c   Constraints      : 4119 initial, 4121 maximal
1800.01/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   implics          :       0.00          0         27          0          0          0          0          0          0
1800.01/1800.00	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.01/1800.00	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   knapsack         :       0.01          0          0          0          0          0          0         22         76
1800.01/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   linear           :       0.05          0          0          0       1046          0         55        514       1028
1800.01/1800.00	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.01/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.00	c   indicator        :       1046          0    7974147          0    2895045          0     339104          0          0          0
1800.01/1800.00	c   varbound         :          1          0    1462884          0     488743          0      18316          0          0          0
1800.01/1800.00	c   knapsack         :        574          0    7974147          0    2895045          0     798390          0          0          0
1800.01/1800.00	c   setppc           :         22          0    7973220          0    2894658          0     344137          0          0          0
1800.01/1800.00	c   linear           :       1045          0    7974147          0    2895045          0     275394          0          0          0
1800.01/1800.00	c   logicor          :       1431+         0    5674675          0    2895045         10    5762660          0          0          0
1800.01/1800.00	c   countsols        :          0          0          0          0    2895045          0          0          0          0          0
1800.01/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.00	c   indicator        :     219.62       0.00      73.16       0.00     146.46
1800.01/1800.00	c   varbound         :       0.04       0.00       0.04       0.00       0.00
1800.01/1800.00	c   knapsack         :      62.56       0.00      62.30       0.00       0.26
1800.01/1800.00	c   setppc           :       5.59       0.00       0.81       0.00       4.78
1800.01/1800.00	c   linear           :      69.09       0.00      68.90       0.00       0.19
1800.01/1800.00	c   logicor          :     234.55       0.00      10.08       0.00     224.47
1800.01/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.00	c   vbounds          :       0.03      55305          0       9262
1800.01/1800.00	c   rootredcost      :       0.01          0          0          0
1800.01/1800.00	c   pseudoobj        :     188.19    7973944          0          0
1800.01/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.00	c   propagation      :       0.00         10         10         10        3.9          1        3.0          -
1800.01/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.00	c   applied globally :          -          -          -         11        3.8          -          -          -
1800.01/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.00	c Pricers            :       Time      Calls       Vars
1800.01/1800.00	c   problem variables:       0.00          0          0
1800.01/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   inference        :     854.83    2895045          0          0          0          0    5790090
1800.01/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.00	c   LP solutions     :       0.00          -          0
1800.01/1800.00	c   pseudo solutions :       0.00          -          0
1800.01/1800.00	c   oneopt           :       0.00          0          0
1800.01/1800.00	c   trivial          :       0.00          2          0
1800.01/1800.00	c   simplerounding   :       0.00          0          0
1800.01/1800.00	c   zirounding       :       0.00          0          0
1800.01/1800.00	c   rounding         :       0.00          0          0
1800.01/1800.00	c   shifting         :       0.00          0          0
1800.01/1800.00	c   intshifting      :       0.00          0          0
1800.01/1800.00	c   twoopt           :       0.00          0          0
1800.01/1800.00	c   fixandinfer      :       0.00          0          0
1800.01/1800.00	c   feaspump         :       0.00          0          0
1800.01/1800.00	c   coefdiving       :       0.00          0          0
1800.01/1800.00	c   pscostdiving     :       0.00          0          0
1800.01/1800.00	c   fracdiving       :       0.00          0          0
1800.01/1800.00	c   veclendiving     :       0.00          0          0
1800.01/1800.00	c   intdiving        :       0.00          0          0
1800.01/1800.00	c   actconsdiving    :       0.00          0          0
1800.01/1800.00	c   objpscostdiving  :       0.00          0          0
1800.01/1800.00	c   rootsoldiving    :       0.00          0          0
1800.01/1800.00	c   linesearchdiving :       0.00          0          0
1800.01/1800.00	c   guideddiving     :       0.00          0          0
1800.01/1800.00	c   octane           :       0.00          0          0
1800.01/1800.00	c   rens             :       0.00          0          0
1800.01/1800.00	c   rins             :       0.00          0          0
1800.01/1800.00	c   localbranching   :       0.00          0          0
1800.01/1800.00	c   mutation         :       0.00          0          0
1800.01/1800.00	c   crossover        :       0.00          0          0
1800.01/1800.00	c   dins             :       0.00          0          0
1800.01/1800.00	c   undercover       :       0.00          0          0
1800.01/1800.00	c   nlp              :       0.02          0          0
1800.01/1800.00	c   trysol           :       0.01          1          0
1800.01/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.00	c B&B Tree           :
1800.01/1800.00	c   number of runs   :          1
1800.01/1800.00	c   nodes            :    2895055
1800.01/1800.00	c   nodes (total)    :    2895055
1800.01/1800.00	c   nodes left       :    2895034
1800.01/1800.00	c   max depth        :        163
1800.01/1800.00	c   max depth (total):        163
1800.01/1800.00	c   backtracks       :      33582 (1.2%)
1800.01/1800.00	c   delayed cutoffs  :          2
1800.01/1800.00	c   repropagations   :         67 (75 domain reductions, 0 cutoffs)
1800.01/1800.00	c   avg switch length:       2.48
1800.01/1800.00	c   switching time   :      20.31
1800.01/1800.00	c Solution           :
1800.01/1800.00	c   Solutions found  :          0 (0 improvements)
1800.01/1800.00	c   Primal Bound     :          -
1800.01/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.00	c   Gap              :   infinite
1800.01/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.00	c   Root Iterations  :          0

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-2693610-1277913026/watcher-2693610-1277913026 -o /tmp/evaluation-result-2693610-1277913026/solver-2693610-1277913026 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693610-1277913026.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 1.97 2.44 2.44 3/178 12704
/proc/meminfo: memFree=31459024/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=8304 CPUtime=0
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 1550 0 0 0 0 0 0 0 21 0 1 0 132600595 8503296 1473 4089446400 4194304 7136930 140734543238112 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12704/statm: 2076 1474 275 719 0 1355 0

[startup+0.0986809 s]
/proc/loadavg: 1.97 2.44 2.44 3/178 12704
/proc/meminfo: memFree=31459024/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=29772 CPUtime=0.09
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 7590 0 0 0 8 1 0 0 21 0 1 0 132600595 30486528 6645 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 7443 6645 356 719 0 6722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29772

[startup+0.100679 s]
/proc/loadavg: 1.97 2.44 2.44 3/178 12704
/proc/meminfo: memFree=31459024/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=30800 CPUtime=0.09
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 7655 0 0 0 8 1 0 0 21 0 1 0 132600595 31539200 6710 4089446400 4194304 7136930 140734543238112 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 7700 6731 356 719 0 6979 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30800

[startup+0.300644 s]
/proc/loadavg: 1.97 2.44 2.44 3/178 12704
/proc/meminfo: memFree=31459024/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=36004 CPUtime=0.29
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 12543 0 0 0 25 4 0 0 18 0 1 0 132600595 36868096 8249 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 9001 8249 407 719 0 8280 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36004

[startup+0.700574 s]
/proc/loadavg: 1.97 2.44 2.44 3/178 12704
/proc/meminfo: memFree=31459024/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=36276 CPUtime=0.69
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 12597 0 0 0 62 7 0 0 18 0 1 0 132600595 37146624 8303 4089446400 4194304 7136930 140734543238112 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 9069 8303 407 719 0 8348 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36276

[startup+1.50043 s]
/proc/loadavg: 1.97 2.44 2.44 3/179 12705
/proc/meminfo: memFree=31426652/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=37552 CPUtime=1.49
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 12907 0 0 0 135 14 0 0 19 0 1 0 132600595 38453248 8613 4089446400 4194304 7136930 140734543238112 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 9388 8613 407 719 0 8667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37552

[startup+3.10015 s]
/proc/loadavg: 1.97 2.44 2.44 3/179 12705
/proc/meminfo: memFree=31425472/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=38532 CPUtime=3.09
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 13162 0 0 0 283 26 0 0 24 0 1 0 132600595 39456768 8868 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 9633 8868 407 719 0 8912 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38532

[startup+6.30059 s]
/proc/loadavg: 1.97 2.43 2.44 3/179 12705
/proc/meminfo: memFree=31422000/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=42224 CPUtime=6.29
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 14104 0 0 0 578 51 0 0 25 0 1 0 132600595 43237376 9810 4089446400 4194304 7136930 140734543238112 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 10556 9810 407 719 0 9835 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42224

[startup+12.7005 s]
/proc/loadavg: 1.97 2.43 2.44 3/179 12705
/proc/meminfo: memFree=31416304/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=47672 CPUtime=12.69
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 15514 0 0 0 1166 103 0 0 25 0 1 0 132600595 48816128 11220 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 11918 11220 407 719 0 11197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47672

[startup+25.5002 s]
/proc/loadavg: 1.98 2.40 2.43 3/179 12705
/proc/meminfo: memFree=31406424/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=57796 CPUtime=25.49
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 18105 0 0 0 2345 204 0 0 25 0 1 0 132600595 59183104 13811 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 14449 13811 407 719 0 13728 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57796

[startup+51.1007 s]
/proc/loadavg: 1.98 2.37 2.42 3/179 12705
/proc/meminfo: memFree=31382336/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=82064 CPUtime=51.09
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 23846 0 0 0 4714 395 0 0 25 0 1 0 132600595 84033536 19552 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 20516 19552 407 719 0 19795 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82064

[startup+102.307 s]
/proc/loadavg: 1.99 2.31 2.39 3/179 12707
/proc/meminfo: memFree=31338028/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=122760 CPUtime=102.3
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 34345 0 0 0 9456 774 0 0 25 0 1 0 132600595 125706240 30051 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 30690 30051 411 719 0 29969 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 122760

[startup+162.301 s]
/proc/loadavg: 2.04 2.27 2.37 3/179 12709
/proc/meminfo: memFree=31294932/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=167940 CPUtime=162.29
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 44954 0 0 0 15028 1201 0 0 25 0 1 0 132600595 171970560 40660 4089446400 4194304 7136930 140734543238112 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 41985 40660 411 719 0 41264 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 167940

[startup+222.3 s]
/proc/loadavg: 2.01 2.22 2.34 3/179 12711
/proc/meminfo: memFree=31245624/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=211476 CPUtime=222.29
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 56235 0 0 0 20609 1620 0 0 25 0 1 0 132600595 216551424 51941 4089446400 4194304 7136930 140734543238112 18446744073709551615 4436399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 52869 51941 411 719 0 52148 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 211476

[startup+282.301 s]
/proc/loadavg: 2.00 2.17 2.32 3/179 12712
/proc/meminfo: memFree=31199088/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=255168 CPUtime=282.3
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 67493 0 0 0 26175 2055 0 0 25 0 1 0 132600595 261292032 63199 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12704/statm: 63792 63199 411 719 0 63071 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 255168

[startup+342.3 s]
/proc/loadavg: 2.05 2.15 2.30 3/179 12713
/proc/meminfo: memFree=31150668/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=305440 CPUtime=342.29
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 78394 0 0 0 31741 2488 0 0 25 0 1 0 132600595 312770560 74100 4089446400 4194304 7136930 140734543238112 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 76360 74100 411 719 0 75639 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 305440

[startup+402.301 s]
/proc/loadavg: 2.02 2.12 2.28 3/179 12715
/proc/meminfo: memFree=31102744/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=348888 CPUtime=402.3
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 89650 0 0 0 37291 2939 0 0 25 0 1 0 132600595 357261312 85356 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 87222 85356 411 719 0 86501 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 348888

[startup+462.301 s]
/proc/loadavg: 2.00 2.10 2.26 3/179 12717
/proc/meminfo: memFree=31052092/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=394516 CPUtime=462.3
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 101431 0 0 0 42847 3383 0 0 25 0 1 0 132600595 403984384 97137 4089446400 4194304 7136930 140734543238112 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 98629 97137 411 719 0 97908 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 394516

[startup+522.3 s]
/proc/loadavg: 2.00 2.08 2.24 3/179 12719
/proc/meminfo: memFree=31010132/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=433288 CPUtime=522.3
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 111491 0 0 0 48413 3817 0 0 25 0 1 0 132600595 443686912 107197 4089446400 4194304 7136930 140734543238112 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 108322 107197 411 719 0 107601 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 433288

[startup+582.301 s]
/proc/loadavg: 2.00 2.06 2.22 3/179 12720
/proc/meminfo: memFree=30961212/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=478568 CPUtime=582.3
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 123180 0 0 0 53973 4257 0 0 25 0 1 0 132600595 490053632 118886 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 119642 118886 411 719 0 118921 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 478568

[startup+642.3 s]
/proc/loadavg: 2.00 2.05 2.21 3/179 12730
/proc/meminfo: memFree=30913960/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=535992 CPUtime=642.31
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 133808 0 0 0 59526 4705 0 0 25 0 1 0 132600595 548855808 129514 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 133998 129514 411 719 0 133277 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 535992

[startup+702.301 s]

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

/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 199156 0 0 0 92997 7235 0 0 25 0 1 0 132600595 807325696 194862 4089446400 4194304 7136930 140734543238112 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 197101 194862 411 719 0 196380 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 788404

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/179 12742
/proc/meminfo: memFree=30588396/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=832324 CPUtime=1062.31
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 210521 0 0 0 98572 7659 0 0 25 0 1 0 132600595 852299776 206227 4089446400 4194304 7136930 140734543238112 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 208081 206227 411 719 0 207360 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 832324

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/179 12744
/proc/meminfo: memFree=30539844/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=876592 CPUtime=1122.31
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 221947 0 0 0 104148 8083 0 0 25 0 1 0 132600595 897630208 217653 4089446400 4194304 7136930 140734543238112 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 219148 217653 411 719 0 218427 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 876592

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 12745
/proc/meminfo: memFree=30491672/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=919308 CPUtime=1182.32
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 233012 0 0 0 109727 8505 0 0 25 0 1 0 132600595 941371392 228718 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 229827 228718 411 719 0 229106 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 919308

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 12746
/proc/meminfo: memFree=30445616/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=961348 CPUtime=1242.32
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 243901 0 0 0 115304 8928 0 0 25 0 1 0 132600595 984420352 239607 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 240337 239607 411 719 0 239616 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 961348

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 12748
/proc/meminfo: memFree=30397560/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1037372 CPUtime=1302.33
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 255112 0 0 0 120883 9350 0 0 25 0 1 0 132600595 1062268928 250818 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 259343 250818 411 719 0 258622 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1037372

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 12750
/proc/meminfo: memFree=30354732/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1077772 CPUtime=1362.32
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 265598 0 0 0 126471 9761 0 0 25 0 1 0 132600595 1103638528 261304 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 269443 261304 411 719 0 268722 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1077772

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 12752
/proc/meminfo: memFree=30306160/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1121880 CPUtime=1422.33
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 277009 0 0 0 132057 10176 0 0 25 0 1 0 132600595 1148805120 272715 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 280470 272715 411 719 0 279749 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1121880

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.07 3/179 12753
/proc/meminfo: memFree=30259856/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1164240 CPUtime=1482.33
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 287984 0 0 0 137629 10604 0 0 25 0 1 0 132600595 1192181760 283690 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 291060 283690 411 719 0 290339 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1164240

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.07 3/179 12754
/proc/meminfo: memFree=30213156/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1204368 CPUtime=1542.33
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 298402 0 0 0 143210 11023 0 0 25 0 1 0 132600595 1233272832 294108 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 301092 294108 411 719 0 300371 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1204368

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 12756
/proc/meminfo: memFree=30165492/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1248376 CPUtime=1602.33
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 309792 0 0 0 148794 11439 0 0 25 0 1 0 132600595 1278337024 305498 4089446400 4194304 7136930 140734543238112 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12704/statm: 312094 305498 411 719 0 311373 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1248376

[startup+1662.3 s]
/proc/loadavg: 1.93 1.98 2.05 3/197 12825
/proc/meminfo: memFree=30222800/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1289180 CPUtime=1662.31
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 320378 0 0 0 154384 11847 0 0 25 0 1 0 132600595 1320120320 316084 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12704/statm: 322295 316084 411 719 0 321574 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1289180

[startup+1722.3 s]
/proc/loadavg: 1.97 1.98 2.04 3/197 12873
/proc/meminfo: memFree=30103320/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1331264 CPUtime=1722.3
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 331284 0 0 0 160078 12152 0 0 25 0 1 0 132600595 1363214336 326990 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12704/statm: 332816 326990 411 719 0 332095 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1331264

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 2.04 3/197 12874
/proc/meminfo: memFree=30030116/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1372324 CPUtime=1782.31
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 341936 0 0 0 165688 12543 0 0 25 0 1 0 132600595 1405259776 337642 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12704/statm: 343081 337642 411 719 0 342360 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1372324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.99 1.98 2.04 3/197 12875
/proc/meminfo: memFree=30014604/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1386772 CPUtime=1800.01
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 345663 0 0 0 167352 12649 0 0 25 0 1 0 132600595 1420054528 341369 4089446400 4194304 7136930 140734543238112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12704/statm: 346693 341369 411 719 0 345972 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1386772

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12704

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

[startup+1801.4 s]
/proc/loadavg: 1.99 1.98 2.04 3/198 12876
/proc/meminfo: memFree=30014596/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1386772 CPUtime=1801.41
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 345668 0 0 0 167491 12650 0 0 25 0 1 0 132600595 1420054528 341374 4089446400 4194304 7136930 140734543238112 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12704/statm: 346693 341374 416 719 0 345972 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 1386772

[startup+1801.81 s]
/proc/loadavg: 1.99 1.98 2.04 3/198 12876
/proc/meminfo: memFree=30015216/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1385348 CPUtime=1801.82
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 345668 0 0 0 167532 12650 0 0 25 0 1 0 132600595 1418596352 341018 4089446400 4194304 7136930 140734543238112 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12704/statm: 346337 341018 416 719 0 345616 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 1385348

[startup+1802 s]
/proc/loadavg: 1.99 1.98 2.04 3/198 12876
/proc/meminfo: memFree=30015216/32951124 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=1384568 CPUtime=1802.01
/proc/12704/stat : 12704 (pbscip.linux.x8) R 12702 12704 12487 0 -1 4202496 345668 0 0 0 167551 12650 0 0 25 0 1 0 132600595 1417797632 340823 4089446400 4194304 7136930 140734543238112 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12704/statm: 346142 340823 416 719 0 345421 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1384568

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.07
CPU user time (s): 1675.52
CPU system time (s): 126.545
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1386772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1675.52
system time used= 126.545
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345668
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= 4566

runsolver used 2.40963 second user time and 5.81912 second system time

The end

Launcher Data 

Begin job on node103 at 2010-06-30 17:50:26
IDJOB=2693610
IDBENCH=79007
IDSOLVER=1206
FILE ID=node103/2693610-1277913026
PBS_JOBID= 11197269
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693610-1277913026/watcher-2693610-1277913026 -o /tmp/evaluation-result-2693610-1277913026/solver-2693610-1277913026 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693610-1277913026.wbo -t 1800 -m 3800

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

MD5SUM BENCH= fc4fc608292ff0814d25e97efc86eb19
RANDOM SEED=1900244788

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31459552 kB
Buffers:        199268 kB
Cached:         908232 kB
SwapCached:          0 kB
Active:         705548 kB
Inactive:       643816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31459552 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3560 kB
Writeback:           0 kB
AnonPages:      242692 kB
Mapped:          16120 kB
Slab:            77728 kB
PageTables:       5548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   388540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node103 at 2010-06-30 18:20:28