Trace number 2699961

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.99 1800.94

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh12_wcsp.wbo
MD5SUMd787b0d4d15d2d5c6758a89f1cfd571b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.164974
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2699961-1278533862.wbo>
0.00/0.01	c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.03	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.04	c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.05/0.06	c    (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.05/0.06	c presolving (3 rounds):
0.05/0.06	c  100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.06	c  1050 implications, 0 cliques
0.05/0.06	c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.05/0.06	c     850 constraints of type <indicator>
0.05/0.06	c     850 constraints of type <linear>
0.05/0.06	c transformed objective value is always integral (scale: 1)
0.05/0.06	c Presolving Time: 0.04
0.05/0.06	c - non default parameters ----------------------------------------------------------------------
0.05/0.06	c # SCIP version 1.2.1.2
0.05/0.06	c 
0.05/0.06	c # frequency for displaying node information lines
0.05/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.06	c display/freq = 10000
0.05/0.06	c 
0.05/0.06	c # maximal time in seconds to run
0.05/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06	c limits/time = 1799.99
0.05/0.06	c 
0.05/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06	c limits/memory = 3420
0.05/0.06	c 
0.05/0.06	c # should presolving try to simplify inequalities
0.05/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06	c constraints/linear/simplifyinequalities = TRUE
0.05/0.06	c 
0.05/0.06	c # should presolving try to simplify knapsacks
0.05/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.06	c 
0.05/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06	c separating/rapidlearning/freq = 0
0.05/0.06	c 
0.05/0.06	c -----------------------------------------------------------------------------------------------
0.05/0.06	c start solving
0.05/0.06	c 
0.05/0.06	o 420925
0.05/0.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.05/0.06	c t 0.1s|     1 |     0 |     0 |     - |6129k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.05/0.07	c   0.1s|     1 |     0 |     0 |     - |6526k|   0 |   0 |1800 |1700 |1800 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.05/0.07	c   0.1s|     1 |     0 |    50 |     - |6566k|   0 |   0 |1800 |1700 |1800 |  69 |  69 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.05/0.07	c   0.1s|     1 |     0 |   136 |     - |6617k|   0 |  50 |1800 |1700 |1800 | 118 | 118 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.05/0.08	c   0.1s|     1 |     0 |   180 |     - |6811k|   0 |  55 |1800 |1700 |1800 | 157 | 157 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |   244 |     - |7041k|   0 |  59 |1800 |1700 |1800 | 183 | 183 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   280 |     - |7076k|   0 |  56 |1800 |1700 |1800 | 193 | 193 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |   337 |     - |7106k|   0 |  59 |1800 |1700 |1800 | 196 | 196 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.49/0.53	c   0.5s|     1 |     2 |   597 |     - |7158k|   0 |  59 |1800 |1700 |1800 | 196 | 196 |   0 |  33 | 0.000000e+00 | 4.209250e+05 |    Inf 
9.29/9.31	c   9.0s| 10000 |  9997 | 15499 |   1.5 |  19M| 603 |   0 |1800 |1705 |1800 | 277 |1969 |   5 | 738 | 0.000000e+00 | 4.209250e+05 |    Inf 
15.99/16.00	o 10681
15.99/16.00	c *15.6s| 18486 | 14966 | 29933 |   1.6 |  25M| 603 |   - |1800 |1727 |1800 | 260 |4031 |  27 | 774 | 0.000000e+00 | 1.068100e+04 |    Inf 
17.49/17.55	c  17.1s| 20000 | 16480 | 33980 |   1.7 |  26M| 603 |   0 |1800 |1727 |1800 | 238 |4703 |  27 | 778 | 0.000000e+00 | 1.068100e+04 |    Inf 
26.69/26.78	c  26.1s| 30000 | 26476 | 58578 |   1.9 |  36M| 603 |   0 |1800 |1740 |1800 | 231 |8427 |  40 | 785 | 0.000000e+00 | 1.068100e+04 |    Inf 
35.99/36.02	c  35.1s| 40000 | 36472 | 83345 |   2.1 |  46M| 603 |   0 |1800 |1744 |1800 | 252 |  11k|  44 | 785 | 0.000000e+00 | 1.068100e+04 |    Inf 
44.69/44.70	c  43.5s| 50000 | 46472 |105651 |   2.1 |  56M| 603 |   0 |1800 |1744 |1800 | 211 |  15k|  44 | 785 | 0.000000e+00 | 1.068100e+04 |    Inf 
53.19/53.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
53.19/53.29	c  51.9s| 60000 | 56472 |131523 |   2.2 |  66M| 603 |   0 |1800 |1744 |1800 | 236 |  18k|  44 | 785 | 0.000000e+00 | 1.068100e+04 |    Inf 
61.28/61.37	c  59.8s| 70000 | 66472 |151349 |   2.2 |  76M| 603 |   0 |1800 |1743 |1800 | 242 |  21k|  44 | 785 | 0.000000e+00 | 1.068100e+04 |    Inf 
69.59/69.62	c  67.8s| 80000 | 76472 |170431 |   2.1 |  86M| 603 |   0 |1800 |1737 |1800 | 231 |  24k|  44 | 785 | 0.000000e+00 | 1.068100e+04 |    Inf 
78.09/78.17	c  76.1s| 90000 | 86470 |192416 |   2.1 |  97M| 603 |   0 |1800 |1739 |1800 | 250 |  28k|  50 | 785 | 0.000000e+00 | 1.068100e+04 |    Inf 
86.59/86.65	c  84.4s|100000 | 96470 |213527 |   2.1 | 107M| 603 |   0 |1800 |1734 |1800 | 242 |  31k|  50 | 819 | 0.000000e+00 | 1.068100e+04 |    Inf 
94.79/94.82	c  92.4s|110000 |106470 |233397 |   2.1 | 117M| 603 |   0 |1800 |1731 |1800 | 241 |  34k|  50 | 839 | 0.000000e+00 | 1.068100e+04 |    Inf 
102.49/102.51	c  99.8s|120000 |116466 |245962 |   2.0 | 127M| 603 |   0 |1800 |1741 |1800 | 240 |  35k|  64 | 855 | 0.000000e+00 | 1.068100e+04 |    Inf 
109.89/109.95	c   107s|130000 |126464 |260010 |   2.0 | 137M| 603 |   0 |1800 |1736 |1800 | 204 |  37k|  66 | 937 | 0.000000e+00 | 1.068100e+04 |    Inf 
116.99/117.09	c   114s|140000 |136460 |270650 |   1.9 | 147M| 603 |   0 |1800 |1748 |1800 | 225 |  38k|  86 | 958 | 0.000000e+00 | 1.068100e+04 |    Inf 
124.19/124.24	c   121s|150000 |146333 |281115 |   1.9 | 157M| 603 |   0 |1800 |2072 |1800 | 225 |  39k| 531 |1010 | 0.000000e+00 | 1.068100e+04 |    Inf 
131.39/131.49	c   128s|160000 |155652 |292176 |   1.8 | 168M| 603 |   0 |1800 |3485 |1800 | 236 |  41k|2963 |1033 | 0.000000e+00 | 1.068100e+04 |    Inf 
138.89/138.93	c   135s|170000 |164702 |306803 |   1.8 | 179M| 603 |   0 |1800 |3239 |1800 | 207 |  43k|6992 |1190 | 0.000000e+00 | 1.068100e+04 |    Inf 
146.49/146.50	c   143s|180000 |174002 |326343 |   1.8 | 190M| 603 |   0 |1800 |3998 |1800 | 232 |  45k|9945 |1230 | 0.000000e+00 | 1.068100e+04 |    Inf 
153.90/153.91	c   150s|190000 |183235 |338850 |   1.8 | 201M| 603 |   0 |1800 |4305 |1800 | 233 |  46k|  13k|1248 | 0.000000e+00 | 1.068100e+04 |    Inf 
161.19/161.28	c   157s|200000 |192569 |351853 |   1.8 | 212M| 603 |   0 |1800 |4056 |1800 | 219 |  48k|  16k|1264 | 0.000000e+00 | 1.068100e+04 |    Inf 
165.99/166.05	o 10680
165.99/166.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
165.99/166.05	c * 162s|206233 |198373 |362509 |   1.8 | 219M| 603 |   - |1800 |4295 |1800 | 222 |  49k|  18k|1282 | 0.000000e+00 | 1.068000e+04 |    Inf 
165.99/166.05	o 10598
165.99/166.05	c * 162s|206234 |198084 |362512 |   1.8 | 219M| 603 |   - |1800 |4295 |1800 | 222 |  49k|  18k|1282 | 0.000000e+00 | 1.059800e+04 |    Inf 
168.99/169.03	c   165s|210000 |201596 |369071 |   1.8 | 223M| 603 |   0 |1800 |4479 |1800 | 232 |  50k|  19k|1293 | 0.000000e+00 | 1.059800e+04 |    Inf 
172.19/172.23	o 10526
172.19/172.23	c s 168s|214252 |205201 |374896 |   1.7 | 227M| 603 |   - |1800 |4393 |1800 | 234 |  51k|  20k|1317 | 0.000000e+00 | 1.052600e+04 |    Inf 
176.59/176.65	c   172s|220000 |210497 |383474 |   1.7 | 233M| 603 |   0 |1800 |4198 |1800 | 210 |  52k|  23k|1343 | 0.000000e+00 | 1.052600e+04 |    Inf 
181.10/181.16	o 10469
181.10/181.16	c R 177s|225924 |215714 |393010 |   1.7 | 239M| 603 |   - |1800 |3639 |1800 | 241 |  53k|  24k|1358 | 0.000000e+00 | 1.046900e+04 |    Inf 
184.19/184.22	c   180s|230000 |219381 |397652 |   1.7 | 244M| 603 |   0 |1800 |4254 |1800 | 208 |  53k|  26k|1395 | 0.000000e+00 | 1.046900e+04 |    Inf 
191.49/191.59	c   187s|240000 |228489 |409916 |   1.7 | 255M| 603 |   0 |1800 |4339 |1800 | 220 |  55k|  30k|1422 | 0.000000e+00 | 1.046900e+04 |    Inf 
198.69/198.79	c   194s|250000 |237996 |420148 |   1.7 | 266M| 603 |   0 |1800 |4183 |1800 | 224 |  56k|  32k|1427 | 0.000000e+00 | 1.046900e+04 |    Inf 
204.99/205.04	o 10291
204.99/205.04	c * 200s|258505 |244426 |428879 |   1.7 | 274M| 603 |   - |1800 |4480 |1800 | 248 |  57k|  35k|1440 | 0.000000e+00 | 1.029100e+04 |    Inf 
204.99/205.05	o 10245
204.99/205.05	c * 200s|258506 |243998 |428881 |   1.7 | 273M| 603 |   - |1800 |4480 |1800 | 248 |  57k|  35k|1440 | 0.000000e+00 | 1.024500e+04 |    Inf 
206.09/206.19	c   201s|260000 |245375 |430680 |   1.7 | 275M| 603 |   0 |1800 |4495 |1800 | 241 |  58k|  36k|1451 | 0.000000e+00 | 1.024500e+04 |    Inf 
213.69/213.78	c   208s|270000 |254562 |443706 |   1.6 | 285M| 603 |   0 |1800 |4344 |1800 | 234 |  59k|  39k|1508 | 0.000000e+00 | 1.024500e+04 |    Inf 
220.20/220.25	o 10233
220.20/220.25	c * 215s|278776 |262463 |454148 |   1.6 | 295M| 603 |   - |1800 |4428 |1800 | 205 |  61k|  43k|1530 | 0.000000e+00 | 1.023300e+04 |    Inf 
221.20/221.26	c   216s|280000 |263510 |456043 |   1.6 | 297M| 603 |   0 |1800 |4641 |1800 | 234 |  61k|  43k|1533 | 0.000000e+00 | 1.023300e+04 |    Inf 
229.00/229.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
229.00/229.09	c   223s|290000 |272482 |470268 |   1.6 | 308M| 603 |   0 |1800 |5209 |1800 | 223 |  63k|  48k|1551 | 0.000000e+00 | 1.023300e+04 |    Inf 
236.60/236.61	c   231s|300000 |281769 |484539 |   1.6 | 319M| 603 |   0 |1800 |4086 |1800 | 251 |  64k|  51k|1586 | 0.000000e+00 | 1.023300e+04 |    Inf 
244.00/244.07	c   238s|310000 |291000 |497756 |   1.6 | 330M| 603 |   0 |1800 |4355 |1800 | 212 |  66k|  55k|1625 | 0.000000e+00 | 1.023300e+04 |    Inf 
251.60/251.62	c   245s|320000 |300230 |510775 |   1.6 | 341M| 603 |   0 |1800 |4883 |1800 | 207 |  68k|  58k|1640 | 0.000000e+00 | 1.023300e+04 |    Inf 
258.79/258.84	c   252s|330000 |309770 |522121 |   1.6 | 351M| 603 |   0 |1800 |3727 |1800 | 222 |  69k|  60k|1666 | 0.000000e+00 | 1.023300e+04 |    Inf 
260.20/260.22	o 10220
260.20/260.22	c * 254s|332029 |311588 |523930 |   1.6 | 353M| 603 |   - |1800 |3561 |1800 | 220 |  69k|  60k|1666 | 0.000000e+00 | 1.022000e+04 |    Inf 
260.20/260.24	o 9743
260.20/260.24	c * 254s|332043 |304805 |523964 |   1.6 | 340M| 603 |   - |1800 |3561 |1800 | 221 |  69k|  60k|1666 | 0.000000e+00 | 9.743000e+03 |    Inf 
266.20/266.29	c   260s|340000 |312194 |534711 |   1.6 | 349M| 603 |   0 |1800 |4284 |1800 | 228 |  71k|  62k|1691 | 0.000000e+00 | 9.743000e+03 |    Inf 
273.70/273.74	c   267s|350000 |321503 |546580 |   1.6 | 360M| 603 |   - |1800 |4525 |1800 | 238 |  72k|  65k|1705 | 0.000000e+00 | 9.743000e+03 |    Inf 
281.19/281.22	c   274s|360000 |330578 |558048 |   1.5 | 371M| 603 |   0 |1800 |4894 |1800 | 217 |  74k|  69k|1769 | 0.000000e+00 | 9.743000e+03 |    Inf 
289.00/289.02	c   282s|370000 |339609 |573119 |   1.5 | 382M| 603 |   0 |1800 |4833 |1800 | 223 |  76k|  74k|1792 | 0.000000e+00 | 9.743000e+03 |    Inf 
296.20/296.23	c   289s|380000 |348795 |582084 |   1.5 | 393M| 603 |   0 |1800 |4977 |1800 | 217 |  77k|  77k|1805 | 0.000000e+00 | 9.743000e+03 |    Inf 
300.30/300.37	o 9569
300.30/300.37	c * 293s|385169 |349461 |589469 |   1.5 | 392M| 603 |   - |1800 |6151 |1800 | 233 |  79k|  80k|1817 | 0.000000e+00 | 9.569000e+03 |    Inf 
304.09/304.13	c   297s|390000 |353796 |597266 |   1.5 | 396M| 603 |   0 |1800 |4612 |1800 | 224 |  79k|  82k|1862 | 0.000000e+00 | 9.569000e+03 |    Inf 
311.30/311.36	c   304s|400000 |363047 |606765 |   1.5 | 407M| 603 |   0 |1800 |4717 |1800 | 224 |  81k|  85k|1867 | 0.000000e+00 | 9.569000e+03 |    Inf 
318.70/318.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
318.70/318.74	c   311s|410000 |372220 |618480 |   1.5 | 418M| 603 |   0 |1800 |4435 |1800 | 228 |  82k|  89k|1909 | 0.000000e+00 | 9.569000e+03 |    Inf 
324.99/325.07	o 9529
324.99/325.07	c * 317s|417842 |378202 |631925 |   1.5 | 426M| 603 |   - |1800 |5358 |1800 | 230 |  84k|  93k|1930 | 0.000000e+00 | 9.529000e+03 |    Inf 
326.80/326.89	c   319s|420000 |380135 |635324 |   1.5 | 428M| 603 |   0 |1800 |5423 |1800 | 230 |  84k|  94k|1939 | 0.000000e+00 | 9.529000e+03 |    Inf 
334.80/334.87	c   326s|430000 |389151 |651721 |   1.5 | 440M| 603 |   0 |1800 |5105 |1800 | 221 |  87k|  98k|1962 | 0.000000e+00 | 9.529000e+03 |    Inf 
336.40/336.44	o 9486
336.40/336.44	c * 328s|432083 |389935 |654230 |   1.5 | 439M| 603 |   - |1800 |5063 |1800 | 231 |  87k|  99k|1968 | 0.000000e+00 | 9.486000e+03 |    Inf 
336.40/336.45	o 9417
336.40/336.45	c * 328s|432085 |388150 |654248 |   1.5 | 436M| 603 |   - |1800 |5063 |1800 | 231 |  87k|  99k|1968 | 0.000000e+00 | 9.417000e+03 |    Inf 
342.50/342.59	c   334s|440000 |395424 |665770 |   1.5 | 444M| 603 |   0 |1800 |4597 |1800 | 218 |  88k| 101k|1992 | 0.000000e+00 | 9.417000e+03 |    Inf 
349.90/349.94	c   341s|450000 |404400 |676420 |   1.5 | 456M| 603 |   - |1800 |4887 |   0 |   0 |  90k| 105k|2019 | 0.000000e+00 | 9.417000e+03 |    Inf 
351.60/351.68	o 9407
351.60/351.68	c * 343s|452340 |406312 |679037 |   1.5 | 458M| 603 |   - |1800 |4600 |1800 | 215 |  90k| 106k|2034 | 0.000000e+00 | 9.407000e+03 |    Inf 
351.60/351.69	o 9374
351.60/351.69	c * 343s|452341 |405318 |679042 |   1.5 | 456M| 603 |   - |1800 |4600 |1800 | 215 |  90k| 106k|2034 | 0.000000e+00 | 9.374000e+03 |    Inf 
357.40/357.42	c   348s|460000 |412283 |688506 |   1.5 | 464M| 603 |   0 |1800 |4834 |1800 | 226 |  91k| 109k|2057 | 0.000000e+00 | 9.374000e+03 |    Inf 
364.80/364.82	c   356s|470000 |421479 |698749 |   1.5 | 476M| 603 |   0 |1800 |5207 |1800 | 231 |  93k| 112k|2068 | 0.000000e+00 | 9.374000e+03 |    Inf 
372.70/372.70	c   363s|480000 |430419 |714471 |   1.5 | 487M| 603 |   0 |1800 |5538 |1800 | 224 |  95k| 116k|2110 | 0.000000e+00 | 9.374000e+03 |    Inf 
380.40/380.48	o 9325
380.40/380.48	c * 371s|489964 |437715 |728115 |   1.5 | 496M| 603 |   - |1800 |5105 |1800 | 224 |  97k| 121k|2122 | 0.000000e+00 | 9.325000e+03 |    Inf 
380.40/380.49	o 9256
380.40/380.49	c * 371s|489965 |435535 |728116 |   1.5 | 492M| 603 |   - |1800 |5105 |1800 | 224 |  97k| 121k|2122 | 0.000000e+00 | 9.256000e+03 |    Inf 
380.50/380.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
380.50/380.53	c   371s|490000 |435565 |728262 |   1.5 | 492M| 603 |   0 |1800 |5098 |1800 | 213 |  97k| 121k|2122 | 0.000000e+00 | 9.256000e+03 |    Inf 
387.90/387.92	c   378s|500000 |444739 |739818 |   1.5 | 503M| 603 |   0 |1800 |4628 |1800 | 229 |  99k| 124k|2141 | 0.000000e+00 | 9.256000e+03 |    Inf 
395.79/395.89	c   386s|510000 |453749 |755650 |   1.5 | 515M| 603 |   0 |1800 |5204 |1800 | 212 | 101k| 128k|2180 | 0.000000e+00 | 9.256000e+03 |    Inf 
403.50/403.59	c   394s|520000 |463084 |769307 |   1.5 | 525M| 603 |   0 |1800 |4281 |1800 | 227 | 103k| 131k|2200 | 0.000000e+00 | 9.256000e+03 |    Inf 
411.41/411.45	c   401s|530000 |472403 |783946 |   1.5 | 537M| 603 |   0 |1800 |4997 |1800 | 247 | 105k| 134k|2216 | 0.000000e+00 | 9.256000e+03 |    Inf 
417.50/417.52	o 9233
417.50/417.52	c * 407s|537515 |478368 |795868 |   1.5 | 544M| 603 |   - |1800 |5366 |1800 | 252 | 107k| 138k|2266 | 0.000000e+00 | 9.233000e+03 |    Inf 
419.59/419.61	c   409s|540000 |480642 |801777 |   1.5 | 547M| 603 |   0 |1800 |5183 |1800 | 241 | 107k| 138k|2271 | 0.000000e+00 | 9.233000e+03 |    Inf 
426.60/426.63	o 9223
426.60/426.63	c * 416s|548681 |488066 |816421 |   1.5 | 556M| 603 |   - |1800 |5151 |1800 | 240 | 110k| 142k|2292 | 0.000000e+00 | 9.223000e+03 |    Inf 
426.60/426.64	o 9145
426.60/426.64	c * 416s|548683 |485294 |816439 |   1.5 | 552M| 603 |   - |1800 |5151 |1800 | 240 | 110k| 142k|2292 | 0.000000e+00 | 9.145000e+03 |    Inf 
426.60/426.65	o 9112
426.60/426.65	c * 416s|548684 |484023 |816443 |   1.5 | 549M| 603 |   - |1800 |5151 |1800 | 240 | 110k| 142k|2292 | 0.000000e+00 | 9.112000e+03 |    Inf 
427.69/427.77	c   417s|550000 |485220 |819556 |   1.5 | 551M| 603 |   0 |1800 |5104 |1800 | 243 | 110k| 143k|2296 | 0.000000e+00 | 9.112000e+03 |    Inf 
433.79/433.81	o 9107
433.79/433.81	c * 423s|557389 |491609 |832171 |   1.5 | 559M| 603 |   - |1800 |5854 |1800 | 235 | 112k| 146k|2334 | 0.000000e+00 | 9.107000e+03 |    Inf 
433.79/433.82	o 9052
433.79/433.82	c * 423s|557390 |489458 |832173 |   1.5 | 555M| 603 |   - |1800 |5854 |1800 | 235 | 112k| 146k|2334 | 0.000000e+00 | 9.052000e+03 |    Inf 
436.00/436.03	c   425s|560000 |491796 |836856 |   1.5 | 558M| 603 |   0 |1800 |5897 |1800 | 219 | 112k| 147k|2356 | 0.000000e+00 | 9.052000e+03 |    Inf 
438.19/438.25	o 8997
438.19/438.25	c * 427s|562725 |492132 |841623 |   1.5 | 557M| 603 |   - |1800 |5565 |1800 | 229 | 113k| 148k|2361 | 0.000000e+00 | 8.997000e+03 |    Inf 
444.20/444.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
444.20/444.26	c   433s|570000 |498615 |855541 |   1.5 | 566M| 603 |   0 |1800 |5604 |1800 | 220 | 115k| 151k|2384 | 0.000000e+00 | 8.997000e+03 |    Inf 
452.00/452.09	c   441s|580000 |507453 |869633 |   1.5 | 577M| 603 |   0 |1800 |5511 |1800 | 251 | 117k| 156k|2397 | 0.000000e+00 | 8.997000e+03 |    Inf 
460.10/460.14	c   449s|590000 |516392 |885837 |   1.5 | 589M| 603 |   0 |1800 |5681 |1800 | 220 | 119k| 160k|2418 | 0.000000e+00 | 8.997000e+03 |    Inf 
462.70/462.75	o 8842
462.70/462.75	c * 451s|593349 |512910 |890170 |   1.5 | 582M| 603 |   - |1800 |6116 |1800 | 248 | 120k| 162k|2426 | 0.000000e+00 | 8.842000e+03 |    Inf 
463.10/463.16	o 8797
463.10/463.16	c * 452s|593826 |511324 |891180 |   1.5 | 579M| 603 |   - |1800 |6194 |1800 | 241 | 120k| 162k|2434 | 0.000000e+00 | 8.797000e+03 |    Inf 
463.10/463.17	o 8736
463.10/463.17	c * 452s|593827 |508642 |891187 |   1.5 | 574M| 603 |   - |1800 |6194 |1800 | 241 | 120k| 162k|2434 | 0.000000e+00 | 8.736000e+03 |    Inf 
468.20/468.25	c   457s|600000 |514046 |901303 |   1.5 | 581M| 603 |   0 |1800 |6427 |1800 | 237 | 121k| 166k|2449 | 0.000000e+00 | 8.736000e+03 |    Inf 
475.90/475.97	c   464s|610000 |522931 |915080 |   1.5 | 592M| 603 |   0 |1800 |5651 |1800 | 220 | 123k| 170k|2487 | 0.000000e+00 | 8.736000e+03 |    Inf 
483.60/483.69	c   472s|620000 |532052 |926880 |   1.5 | 603M| 603 |   0 |1800 |5427 |1800 | 225 | 125k| 173k|2548 | 0.000000e+00 | 8.736000e+03 |    Inf 
491.40/491.43	c   479s|630000 |541272 |939434 |   1.5 | 614M| 603 |   0 |1800 |4912 |1800 | 224 | 127k| 176k|2576 | 0.000000e+00 | 8.736000e+03 |    Inf 
499.31/499.39	c   487s|640000 |550114 |953929 |   1.5 | 626M| 603 |   0 |1800 |4829 |1800 | 227 | 129k| 181k|2604 | 0.000000e+00 | 8.736000e+03 |    Inf 
506.90/506.99	c   494s|650000 |559137 |965270 |   1.5 | 637M| 603 |   0 |1800 |5062 |1800 | 236 | 131k| 185k|2627 | 0.000000e+00 | 8.736000e+03 |    Inf 
514.60/514.63	c   502s|660000 |567767 |976325 |   1.5 | 650M| 603 |   0 |1800 |5937 |1800 | 220 | 133k| 190k|2639 | 0.000000e+00 | 8.736000e+03 |    Inf 
522.81/522.86	c   510s|670000 |576794 |993591 |   1.5 | 662M| 603 |   0 |1800 |6199 |1800 | 212 | 135k| 194k|2667 | 0.000000e+00 | 8.736000e+03 |    Inf 
530.40/530.48	c   517s|680000 |585503 |  1004k|   1.5 | 673M| 603 |   0 |1800 |6112 |1800 | 225 | 137k| 199k|2690 | 0.000000e+00 | 8.736000e+03 |    Inf 
538.00/538.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
538.00/538.03	c   525s|690000 |594298 |  1015k|   1.5 | 684M| 603 |   0 |1800 |4873 |1800 | 213 | 138k| 203k|2725 | 0.000000e+00 | 8.736000e+03 |    Inf 
545.51/545.53	c   532s|700000 |603095 |  1025k|   1.5 | 696M| 603 |   0 |1800 |5240 |1800 | 234 | 140k| 208k|2733 | 0.000000e+00 | 8.736000e+03 |    Inf 
552.70/552.77	o 8729
552.70/552.77	c * 539s|709227 |610968 |  1038k|   1.5 | 706M| 603 |   - |1800 |4905 |1800 | 229 | 142k| 212k|2778 | 0.000000e+00 | 8.729000e+03 |    Inf 
552.70/552.78	o 8694
552.70/552.78	c * 539s|709228 |609182 |  1038k|   1.5 | 703M| 603 |   - |1800 |4905 |1800 | 229 | 142k| 212k|2778 | 0.000000e+00 | 8.694000e+03 |    Inf 
553.31/553.39	c   540s|710000 |609848 |  1039k|   1.5 | 704M| 603 |   0 |1800 |4981 |1800 | 220 | 142k| 212k|2778 | 0.000000e+00 | 8.694000e+03 |    Inf 
561.10/561.11	c   547s|720000 |618641 |  1051k|   1.5 | 715M| 603 |   0 |1800 |5309 |1800 | 219 | 144k| 216k|2781 | 0.000000e+00 | 8.694000e+03 |    Inf 
568.90/568.96	c   555s|730000 |627645 |  1065k|   1.5 | 727M| 603 |   0 |1800 |4831 |1800 | 239 | 146k| 220k|2803 | 0.000000e+00 | 8.694000e+03 |    Inf 
576.80/576.85	c   563s|740000 |636522 |  1078k|   1.5 | 739M| 603 |   0 |1800 |5588 |1800 | 231 | 148k| 225k|2827 | 0.000000e+00 | 8.694000e+03 |    Inf 
584.61/584.66	c   570s|750000 |645516 |  1090k|   1.5 | 751M| 603 |   0 |1800 |5503 |1800 | 228 | 151k| 229k|2845 | 0.000000e+00 | 8.694000e+03 |    Inf 
592.30/592.37	c   578s|760000 |654507 |  1101k|   1.4 | 763M| 603 |   - |1800 |5742 |   0 |   0 | 152k| 233k|2854 | 0.000000e+00 | 8.694000e+03 |    Inf 
599.91/599.99	c   585s|770000 |663410 |  1113k|   1.4 | 774M| 603 |   0 |1800 |5043 |1800 | 240 | 154k| 237k|2894 | 0.000000e+00 | 8.694000e+03 |    Inf 
607.80/607.84	c   593s|780000 |672116 |  1126k|   1.4 | 786M| 603 |   0 |1800 |6052 |1800 | 236 | 156k| 242k|2906 | 0.000000e+00 | 8.694000e+03 |    Inf 
615.61/615.61	c   600s|790000 |680904 |  1139k|   1.4 | 798M| 603 |   0 |1800 |5915 |1800 | 228 | 158k| 247k|2937 | 0.000000e+00 | 8.694000e+03 |    Inf 
615.91/615.97	o 8679
615.91/615.97	c * 601s|790454 |680420 |  1139k|   1.4 | 797M| 603 |   - |1800 |5934 |1800 | 220 | 158k| 247k|2937 | 0.000000e+00 | 8.679000e+03 |    Inf 
623.70/623.72	c   608s|800000 |688731 |  1154k|   1.4 | 808M| 603 |   0 |1800 |6077 |1800 | 228 | 161k| 251k|2971 | 0.000000e+00 | 8.679000e+03 |    Inf 
631.70/631.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
631.70/631.77	c   616s|810000 |697355 |  1169k|   1.4 | 820M| 603 |   0 |1800 |6645 |1800 | 237 | 163k| 257k|2982 | 0.000000e+00 | 8.679000e+03 |    Inf 
632.21/632.20	o 8589
632.21/632.20	c * 616s|810576 |692420 |  1170k|   1.4 | 811M| 603 |   - |1800 |6612 |1800 | 218 | 163k| 258k|2982 | 0.000000e+00 | 8.589000e+03 |    Inf 
632.21/632.22	o 8502
632.21/632.22	c * 616s|810577 |686744 |  1170k|   1.4 | 800M| 603 |   - |1800 |6612 |1800 | 218 | 163k| 258k|2982 | 0.000000e+00 | 8.502000e+03 |    Inf 
639.51/639.58	c   624s|820000 |694932 |  1180k|   1.4 | 811M| 603 |   0 |1800 |5984 |1800 | 218 | 164k| 262k|3011 | 0.000000e+00 | 8.502000e+03 |    Inf 
647.60/647.61	c   631s|830000 |703602 |  1193k|   1.4 | 823M| 603 |   0 |1800 |6490 |1800 | 218 | 166k| 267k|3023 | 0.000000e+00 | 8.502000e+03 |    Inf 
652.50/652.51	o 8482
652.50/652.51	c * 636s|836511 |708140 |  1200k|   1.4 | 828M| 603 |   - |1800 |6015 |1800 | 237 | 167k| 269k|3042 | 0.000000e+00 | 8.482000e+03 |    Inf 
652.50/652.53	o 8368
652.50/652.53	c * 636s|836512 |700192 |  1200k|   1.4 | 812M| 603 |   - |1800 |6015 |1800 | 237 | 167k| 269k|3042 | 0.000000e+00 | 8.368000e+03 |    Inf 
655.21/655.29	c   639s|840000 |703164 |  1204k|   1.4 | 816M| 603 |   - |1800 |5884 |   0 |   0 | 168k| 271k|3044 | 0.000000e+00 | 8.368000e+03 |    Inf 
663.51/663.55	c   647s|850000 |711707 |  1219k|   1.4 | 828M| 603 |   0 |1800 |6238 |1800 | 221 | 170k| 277k|3060 | 0.000000e+00 | 8.368000e+03 |    Inf 
671.50/671.55	c   655s|860000 |720737 |  1233k|   1.4 | 839M| 603 |   0 |1800 |4855 |1800 | 232 | 172k| 280k|3088 | 0.000000e+00 | 8.368000e+03 |    Inf 
678.90/678.99	c   662s|870000 |729846 |  1244k|   1.4 | 851M| 603 |   0 |1800 |5321 |1800 | 247 | 174k| 284k|3101 | 0.000000e+00 | 8.368000e+03 |    Inf 
686.91/686.99	c   670s|880000 |738653 |  1258k|   1.4 | 863M| 603 |   0 |1800 |5572 |1800 | 233 | 176k| 289k|3124 | 0.000000e+00 | 8.368000e+03 |    Inf 
688.51/688.51	o 8244
688.51/688.51	c * 671s|881939 |731005 |  1260k|   1.4 | 848M| 603 |   - |1800 |5433 |1800 | 228 | 176k| 290k|3124 | 0.000000e+00 | 8.244000e+03 |    Inf 
688.51/688.53	o 8167
688.51/688.53	c * 671s|881940 |724852 |  1260k|   1.4 | 836M| 603 |   - |1800 |5433 |1800 | 228 | 176k| 290k|3124 | 0.000000e+00 | 8.167000e+03 |    Inf 
693.81/693.82	o 8163
693.81/693.82	c * 677s|888494 |730127 |  1269k|   1.4 | 844M| 603 |   - |1800 |5805 |1800 | 216 | 178k| 293k|3139 | 0.000000e+00 | 8.163000e+03 |    Inf 
695.01/695.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
695.01/695.01	c   678s|890000 |731464 |  1271k|   1.4 | 845M| 603 |   0 |1800 |5345 |1800 | 224 | 178k| 294k|3139 | 0.000000e+00 | 8.163000e+03 |    Inf 
702.81/702.82	c   685s|900000 |740023 |  1283k|   1.4 | 857M| 603 |   0 |1800 |6324 |1800 | 221 | 180k| 299k|3154 | 0.000000e+00 | 8.163000e+03 |    Inf 
710.81/710.84	c   693s|910000 |748679 |  1297k|   1.4 | 869M| 603 |   - |1800 |6440 |   0 |   0 | 182k| 304k|3178 | 0.000000e+00 | 8.163000e+03 |    Inf 
718.71/718.77	c   701s|920000 |757459 |  1311k|   1.4 | 881M| 603 |   0 |1800 |6639 |1800 | 233 | 184k| 309k|3192 | 0.000000e+00 | 8.163000e+03 |    Inf 
726.81/726.86	c   709s|930000 |766177 |  1325k|   1.4 | 893M| 603 |   0 |1800 |6414 |1800 | 237 | 187k| 314k|3215 | 0.000000e+00 | 8.163000e+03 |    Inf 
734.51/734.57	c   716s|940000 |774871 |  1338k|   1.4 | 904M| 603 |   0 |1800 |5866 |1800 | 213 | 188k| 319k|3233 | 0.000000e+00 | 8.163000e+03 |    Inf 
741.71/741.75	o 8141
741.71/741.75	c * 723s|949061 |781088 |  1350k|   1.4 | 912M| 603 |   - |1800 |5725 |1800 | 239 | 190k| 323k|3252 | 0.000000e+00 | 8.141000e+03 |    Inf 
742.51/742.57	c   724s|950000 |781859 |  1352k|   1.4 | 914M| 603 |   0 |1800 |5752 |1800 | 226 | 191k| 324k|3258 | 0.000000e+00 | 8.141000e+03 |    Inf 
750.21/750.26	c   732s|960000 |790591 |  1363k|   1.4 | 926M| 603 |   0 |1800 |6116 |1800 | 233 | 192k| 329k|3276 | 0.000000e+00 | 8.141000e+03 |    Inf 
758.31/758.33	c   739s|970000 |799104 |  1376k|   1.4 | 938M| 603 |   0 |1800 |6633 |1800 | 228 | 194k| 335k|3300 | 0.000000e+00 | 8.141000e+03 |    Inf 
766.31/766.34	c   747s|980000 |807677 |  1390k|   1.4 | 950M| 603 |   0 |1800 |6360 |1800 | 236 | 196k| 340k|3338 | 0.000000e+00 | 8.141000e+03 |    Inf 
773.91/773.95	c   755s|990000 |816240 |  1401k|   1.4 | 963M| 603 |   0 |1800 |6665 |1800 | 219 | 198k| 346k|3338 | 0.000000e+00 | 8.141000e+03 |    Inf 
782.02/782.08	c   763s|  1000k|825083 |  1415k|   1.4 | 975M| 603 |   0 |1800 |7109 |1800 | 238 | 200k| 350k|3354 | 0.000000e+00 | 8.141000e+03 |    Inf 
789.82/789.84	c   770s|  1010k|833828 |  1427k|   1.4 | 986M| 603 |   0 |1800 |6738 |1800 | 229 | 202k| 355k|3382 | 0.000000e+00 | 8.141000e+03 |    Inf 
795.41/795.47	o 8096
795.41/795.47	c * 776s|  1017k|836237 |  1435k|   1.4 | 987M| 603 |   - |1800 |6204 |1800 | 227 | 203k| 359k|3392 | 0.000000e+00 | 8.096000e+03 |    Inf 
795.61/795.66	o 8088
795.61/795.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
795.61/795.66	c * 776s|  1017k|835745 |  1435k|   1.4 | 986M| 603 |   - |1800 |6182 |1800 | 235 | 203k| 359k|3402 | 0.000000e+00 | 8.088000e+03 |    Inf 
796.01/796.00	o 8037
796.01/796.00	c * 776s|  1017k|831660 |  1436k|   1.4 | 979M| 603 |   - |1800 |6115 |1800 | 231 | 203k| 359k|3406 | 0.000000e+00 | 8.037000e+03 |    Inf 
796.10/796.19	o 8035
796.10/796.19	c * 776s|  1018k|831688 |  1436k|   1.4 | 979M| 603 |   - |1800 |6124 |1800 | 228 | 203k| 359k|3406 | 0.000000e+00 | 8.035000e+03 |    Inf 
796.31/796.31	o 7949
796.31/796.31	c * 777s|  1018k|823759 |  1436k|   1.4 | 962M| 603 |   - |1800 |6141 |1800 | 234 | 203k| 359k|3406 | 0.000000e+00 | 7.949000e+03 |    Inf 
796.31/796.34	o 7881
796.31/796.34	c * 777s|  1018k|817655 |  1436k|   1.4 | 950M| 603 |   - |1800 |6141 |1800 | 234 | 203k| 359k|3406 | 0.000000e+00 | 7.881000e+03 |    Inf 
797.71/797.72	c   778s|  1020k|819133 |  1438k|   1.4 | 951M| 603 |   0 |1800 |6027 |1800 | 227 | 203k| 360k|3406 | 0.000000e+00 | 7.881000e+03 |    Inf 
799.21/799.22	o 7879
799.21/799.22	c * 779s|  1021k|820406 |  1440k|   1.4 | 953M| 603 |   - |1800 |6133 |1800 | 245 | 203k| 361k|3408 | 0.000000e+00 | 7.879000e+03 |    Inf 
800.61/800.60	o 7863
800.61/800.60	c * 781s|  1023k|820309 |  1442k|   1.4 | 952M| 603 |   - |1800 |6295 |1800 | 232 | 204k| 362k|3411 | 0.000000e+00 | 7.863000e+03 |    Inf 
800.61/800.68	o 7594
800.61/800.68	c * 781s|  1023k|793321 |  1442k|   1.4 | 897M| 603 |   - |1800 |6295 |1800 | 232 | 204k| 362k|3411 | 0.000000e+00 | 7.594000e+03 |    Inf 
806.11/806.12	c   786s|  1030k|798760 |  1451k|   1.4 | 905M| 603 |   0 |1800 |6362 |1800 | 214 | 205k| 365k|3415 | 0.000000e+00 | 7.594000e+03 |    Inf 
809.11/809.14	o 7558
809.11/809.14	c * 789s|  1033k|798151 |  1456k|   1.4 | 902M| 603 |   - |1800 |6024 |1800 | 238 | 206k| 367k|3445 | 0.000000e+00 | 7.558000e+03 |    Inf 
814.51/814.58	c   794s|  1040k|803668 |  1470k|   1.4 | 909M| 603 |   0 |1800 |5701 |1800 | 245 | 207k| 370k|3484 | 0.000000e+00 | 7.558000e+03 |    Inf 
822.91/822.91	c   802s|  1050k|812286 |  1484k|   1.4 | 922M| 603 |   0 |1800 |6572 |1800 | 210 | 210k| 375k|3488 | 0.000000e+00 | 7.558000e+03 |    Inf 
831.01/831.00	c   810s|  1060k|820822 |  1497k|   1.4 | 934M| 603 |   0 |1800 |6067 |1800 | 219 | 212k| 380k|3522 | 0.000000e+00 | 7.558000e+03 |    Inf 
839.01/839.07	c   818s|  1070k|829341 |  1509k|   1.4 | 947M| 603 |   0 |1800 |5969 |1800 | 221 | 213k| 385k|3541 | 0.000000e+00 | 7.558000e+03 |    Inf 
847.31/847.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
847.31/847.39	c   826s|  1080k|838068 |  1526k|   1.4 | 959M| 603 |   0 |1800 |6280 |1800 | 242 | 216k| 390k|3557 | 0.000000e+00 | 7.558000e+03 |    Inf 
851.11/851.11	o 7478
851.11/851.11	c * 830s|  1084k|833553 |  1532k|   1.4 | 948M| 603 |   - |1800 |6487 |1800 | 247 | 217k| 393k|3560 | 0.000000e+00 | 7.478000e+03 |    Inf 
851.11/851.15	o 7359
851.11/851.15	c * 830s|  1084k|821146 |  1532k|   1.4 | 924M| 603 |   - |1800 |6487 |1800 | 247 | 217k| 393k|3560 | 0.000000e+00 | 7.359000e+03 |    Inf 
853.11/853.18	o 7306
853.11/853.18	c * 832s|  1087k|817719 |  1535k|   1.4 | 916M| 603 |   - |1800 |6939 |1800 | 245 | 217k| 394k|3562 | 0.000000e+00 | 7.306000e+03 |    Inf 
853.21/853.24	o 7260
853.21/853.24	c * 832s|  1087k|812768 |  1535k|   1.4 | 907M| 603 |   - |1800 |6945 |1800 | 243 | 217k| 394k|3562 | 0.000000e+00 | 7.260000e+03 |    Inf 
853.21/853.26	o 7244
853.21/853.26	c * 832s|  1087k|811116 |  1535k|   1.4 | 904M| 603 |   - |1800 |6945 |1800 | 243 | 217k| 394k|3562 | 0.000000e+00 | 7.244000e+03 |    Inf 
855.61/855.63	c   834s|  1090k|813587 |  1539k|   1.4 | 908M| 603 |   0 |1800 |7116 |1800 | 230 | 218k| 396k|3581 | 0.000000e+00 | 7.244000e+03 |    Inf 
861.91/861.93	o 7229
861.91/861.93	c * 841s|  1097k|818250 |  1549k|   1.4 | 914M| 603 |   - |1800 |6692 |1800 | 247 | 220k| 400k|3594 | 0.000000e+00 | 7.229000e+03 |    Inf 
861.91/861.96	o 7168
861.91/861.96	c * 841s|  1097k|811542 |  1549k|   1.4 | 902M| 603 |   - |1800 |6692 |1800 | 247 | 220k| 400k|3594 | 0.000000e+00 | 7.168000e+03 |    Inf 
862.01/862.07	o 7108
862.01/862.07	c * 841s|  1097k|804864 |  1550k|   1.4 | 890M| 603 |   - |1800 |6696 |1800 | 246 | 220k| 400k|3594 | 0.000000e+00 | 7.108000e+03 |    Inf 
863.91/863.98	c   843s|  1100k|806793 |  1554k|   1.4 | 893M| 603 |   0 |1800 |6141 |1800 | 229 | 220k| 401k|3598 | 0.000000e+00 | 7.108000e+03 |    Inf 
871.91/871.95	c   850s|  1110k|815357 |  1564k|   1.4 | 905M| 603 |   0 |1800 |6007 |1800 | 236 | 222k| 406k|3603 | 0.000000e+00 | 7.108000e+03 |    Inf 
880.02/880.09	c   858s|  1120k|824303 |  1579k|   1.4 | 917M| 603 |   0 |1800 |5782 |1800 | 224 | 224k| 409k|3618 | 0.000000e+00 | 7.108000e+03 |    Inf 
888.41/888.43	c   866s|  1130k|832825 |  1596k|   1.4 | 929M| 603 |   0 |1800 |5857 |1800 | 226 | 227k| 414k|3707 | 0.000000e+00 | 7.108000e+03 |    Inf 
896.31/896.34	c   874s|  1140k|841350 |  1607k|   1.4 | 941M| 603 |   0 |1800 |6491 |1800 | 238 | 228k| 419k|3710 | 0.000000e+00 | 7.108000e+03 |    Inf 
904.61/904.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
904.61/904.67	c   882s|  1150k|849896 |  1623k|   1.4 | 953M| 603 |   0 |1800 |6881 |1800 | 232 | 231k| 424k|3741 | 0.000000e+00 | 7.108000e+03 |    Inf 
912.71/912.71	c   890s|  1160k|858367 |  1636k|   1.4 | 965M| 603 |   0 |1800 |6320 |1800 | 237 | 233k| 429k|3755 | 0.000000e+00 | 7.108000e+03 |    Inf 
921.01/921.05	c   898s|  1170k|866847 |  1651k|   1.4 | 977M| 603 |   0 |1800 |6288 |1800 | 232 | 235k| 435k|3781 | 0.000000e+00 | 7.108000e+03 |    Inf 
929.52/929.53	c   907s|  1180k|875386 |  1669k|   1.4 | 990M| 603 |   0 |1800 |6799 |1800 | 234 | 238k| 440k|3808 | 0.000000e+00 | 7.108000e+03 |    Inf 
937.62/937.60	c   914s|  1190k|883777 |  1682k|   1.4 |1002M| 603 |   0 |1800 |6058 |1800 | 218 | 240k| 445k|3831 | 0.000000e+00 | 7.108000e+03 |    Inf 
940.62/940.64	o 7050
940.62/940.64	c * 917s|  1193k|880025 |  1687k|   1.4 | 995M| 603 |   - |1800 |6306 |1800 | 240 | 240k| 447k|3832 | 0.000000e+00 | 7.050000e+03 |    Inf 
945.92/945.93	c   922s|  1200k|885252 |  1697k|   1.4 |1003M| 603 |   0 |1800 |6506 |1800 | 212 | 242k| 451k|3852 | 0.000000e+00 | 7.050000e+03 |    Inf 
946.11/946.10	o 6912
946.11/946.10	c * 923s|  1200k|869341 |  1697k|   1.4 | 978M| 603 |   - |1800 |6503 |1800 | 220 | 242k| 451k|3852 | 0.000000e+00 | 6.912000e+03 |    Inf 
946.11/946.18	o 6686
946.11/946.18	c * 923s|  1200k|843031 |  1697k|   1.4 | 937M| 603 |   - |1800 |6512 |1800 | 220 | 242k| 451k|3852 | 0.000000e+00 | 6.686000e+03 |    Inf 
950.21/950.29	o 6672
950.21/950.29	c * 927s|  1204k|845312 |  1706k|   1.4 | 941M| 603 |   - |1800 |6684 |1800 | 247 | 243k| 453k|3860 | 0.000000e+00 | 6.672000e+03 |    Inf 
950.32/950.31	o 6665
950.32/950.31	c * 927s|  1204k|844431 |  1706k|   1.4 | 940M| 603 |   - |1800 |6684 |1800 | 247 | 243k| 453k|3860 | 0.000000e+00 | 6.665000e+03 |    Inf 
950.32/950.35	o 6613
950.32/950.35	c * 927s|  1204k|838199 |  1706k|   1.4 | 930M| 603 |   - |1800 |6684 |1800 | 247 | 243k| 453k|3860 | 0.000000e+00 | 6.613000e+03 |    Inf 
950.91/950.92	o 6573
950.91/950.92	c * 927s|  1205k|834006 |  1708k|   1.4 | 924M| 603 |   - |1800 |6816 |1800 | 249 | 243k| 454k|3861 | 0.000000e+00 | 6.573000e+03 |    Inf 
954.92/954.96	c   931s|  1210k|838048 |  1715k|   1.4 | 930M| 603 |   0 |1800 |6828 |1800 | 226 | 245k| 456k|3865 | 0.000000e+00 | 6.573000e+03 |    Inf 
963.21/963.29	c   939s|  1220k|846359 |  1729k|   1.4 | 942M| 603 |   0 |1800 |5995 |1800 | 216 | 247k| 461k|3892 | 0.000000e+00 | 6.573000e+03 |    Inf 
971.42/971.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
971.42/971.47	c   947s|  1230k|854820 |  1742k|   1.4 | 954M| 603 |   0 |1800 |5905 |1800 | 230 | 249k| 466k|3902 | 0.000000e+00 | 6.573000e+03 |    Inf 
979.71/979.70	c   955s|  1240k|863482 |  1756k|   1.4 | 967M| 603 |   0 |1800 |6450 |1800 | 240 | 251k| 471k|3912 | 0.000000e+00 | 6.573000e+03 |    Inf 
980.81/980.88	o 6508
980.81/980.88	c * 957s|  1241k|856705 |  1758k|   1.4 | 958M| 603 |   - |1800 |6647 |1800 | 248 | 251k| 472k|3919 | 0.000000e+00 | 6.508000e+03 |    Inf 
980.91/980.91	o 6456
980.91/980.91	c * 957s|  1241k|850601 |  1758k|   1.4 | 949M| 603 |   - |1800 |6647 |1800 | 248 | 251k| 472k|3919 | 0.000000e+00 | 6.456000e+03 |    Inf 
988.01/988.08	c   964s|  1250k|857875 |  1770k|   1.4 | 960M| 603 |   0 |1800 |6312 |1800 | 224 | 253k| 476k|3930 | 0.000000e+00 | 6.456000e+03 |    Inf 
996.32/996.39	c   972s|  1260k|866292 |  1784k|   1.4 | 972M| 603 |   0 |1800 |5899 |1800 | 227 | 255k| 481k|3953 | 0.000000e+00 | 6.456000e+03 |    Inf 
1004.42/1004.48	c   980s|  1270k|874527 |  1798k|   1.4 | 984M| 603 |   0 |1800 |5907 |1800 | 219 | 257k| 486k|3969 | 0.000000e+00 | 6.456000e+03 |    Inf 
1013.42/1013.44	c   988s|  1280k|882821 |  1818k|   1.4 | 997M| 603 |   0 |1800 |6822 |1800 | 216 | 260k| 492k|3988 | 0.000000e+00 | 6.456000e+03 |    Inf 
1015.82/1015.83	o 6432
1015.82/1015.83	c * 991s|  1282k|882006 |  1823k|   1.4 | 996M| 603 |   - |1800 |6953 |1800 | 226 | 261k| 493k|3992 | 0.000000e+00 | 6.432000e+03 |    Inf 
1016.72/1016.72	o 6424
1016.72/1016.72	c * 992s|  1283k|881825 |  1824k|   1.4 | 996M| 603 |   - |1800 |7211 |1800 | 238 | 261k| 494k|3992 | 0.000000e+00 | 6.424000e+03 |    Inf 
1016.72/1016.76	o 6354
1016.72/1016.76	c * 992s|  1283k|873479 |  1824k|   1.4 | 984M| 603 |   - |1800 |7219 |1800 | 239 | 261k| 494k|3992 | 0.000000e+00 | 6.354000e+03 |    Inf 
1022.42/1022.40	c   997s|  1290k|878646 |  1836k|   1.4 | 992M| 603 |   0 |1800 |6182 |1800 | 238 | 263k| 498k|4017 | 0.000000e+00 | 6.354000e+03 |    Inf 
1030.82/1030.87	c  1005s|  1300k|887126 |  1853k|   1.4 |1005M| 603 |   0 |1800 |5773 |1800 | 231 | 265k| 502k|4045 | 0.000000e+00 | 6.354000e+03 |    Inf 
1039.21/1039.20	c  1013s|  1310k|895455 |  1869k|   1.4 |1018M| 603 |   0 |1800 |6469 |1800 | 255 | 268k| 508k|4070 | 0.000000e+00 | 6.354000e+03 |    Inf 
1047.52/1047.59	c  1022s|  1320k|903631 |  1887k|   1.4 |1031M| 603 |   0 |1800 |5906 |1800 | 229 | 270k| 514k|4089 | 0.000000e+00 | 6.354000e+03 |    Inf 
1056.12/1056.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1056.12/1056.13	c  1030s|  1330k|911872 |  1907k|   1.4 |1044M| 603 |   0 |1800 |5719 |1800 | 239 | 273k| 519k|4128 | 0.000000e+00 | 6.354000e+03 |    Inf 
1064.32/1064.34	c  1038s|  1340k|920300 |  1923k|   1.4 |1056M| 603 |   0 |1800 |5940 |1800 | 224 | 275k| 524k|4141 | 0.000000e+00 | 6.354000e+03 |    Inf 
1072.32/1072.31	c  1046s|  1350k|928821 |  1934k|   1.4 |1069M| 603 |   0 |1800 |5660 |1800 | 213 | 277k| 528k|4158 | 0.000000e+00 | 6.354000e+03 |    Inf 
1080.72/1080.74	c  1054s|  1360k|937115 |  1950k|   1.4 |1082M| 603 |   0 |1800 |6361 |1800 | 219 | 279k| 533k|4186 | 0.000000e+00 | 6.354000e+03 |    Inf 
1084.01/1084.01	o 6278
1084.01/1084.01	c *1057s|  1363k|930617 |  1957k|   1.4 |1071M| 603 |   - |1800 |6567 |1800 | 238 | 280k| 535k|4187 | 0.000000e+00 | 6.278000e+03 |    Inf 
1084.01/1084.04	o 6227
1084.01/1084.04	c *1057s|  1363k|923789 |  1957k|   1.4 |1060M| 603 |   - |1800 |6567 |1800 | 238 | 280k| 535k|4187 | 0.000000e+00 | 6.227000e+03 |    Inf 
1084.12/1084.14	o 6109
1084.12/1084.14	c *1057s|  1363k|907942 |  1957k|   1.4 |1035M| 603 |   - |1800 |6573 |1800 | 241 | 280k| 535k|4187 | 0.000000e+00 | 6.109000e+03 |    Inf 
1089.52/1089.55	c  1063s|  1370k|913180 |  1968k|   1.4 |1043M| 603 |   0 |1800 |7506 |1800 | 243 | 282k| 539k|4197 | 0.000000e+00 | 6.109000e+03 |    Inf 
1098.32/1098.32	c  1071s|  1380k|921555 |  1985k|   1.4 |1056M| 603 |   0 |1800 |6018 |1800 | 237 | 285k| 544k|4221 | 0.000000e+00 | 6.109000e+03 |    Inf 
1104.72/1104.70	o 5939
1104.72/1104.70	c *1077s|  1387k|904135 |  1997k|   1.4 |1030M| 603 |   - |1800 |6585 |1800 | 242 | 286k| 547k|4267 | 0.000000e+00 | 5.939000e+03 |    Inf 
1106.82/1106.80	c  1079s|  1390k|906198 |  2001k|   1.4 |1033M| 603 |   0 |1800 |6269 |1800 | 245 | 287k| 549k|4267 | 0.000000e+00 | 5.939000e+03 |    Inf 
1111.32/1111.31	o 5925
1111.32/1111.31	c *1084s|  1395k|908682 |  2010k|   1.4 |1037M| 603 |   - |1800 |6956 |1800 | 254 | 288k| 551k|4271 | 0.000000e+00 | 5.925000e+03 |    Inf 
1111.42/1111.42	o 5826
1111.42/1111.42	c *1084s|  1395k|895204 |  2010k|   1.4 |1017M| 603 |   - |1800 |6957 |1800 | 246 | 288k| 551k|4271 | 0.000000e+00 | 5.826000e+03 |    Inf 
1111.42/1111.46	o 5756
1111.42/1111.46	c *1084s|  1395k|885575 |  2010k|   1.4 |1003M| 603 |   - |1800 |6957 |1800 | 246 | 288k| 551k|4271 | 0.000000e+00 | 5.756000e+03 |    Inf 
1115.62/1115.60	c  1088s|  1400k|889271 |  2018k|   1.4 |1009M| 603 |   0 |1800 |6699 |1800 | 226 | 289k| 554k|4278 | 0.000000e+00 | 5.756000e+03 |    Inf 
1124.52/1124.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1124.52/1124.50	c  1097s|  1410k|897349 |  2037k|   1.4 |1021M| 603 |   0 |1800 |6139 |1800 | 235 | 292k| 560k|4319 | 0.000000e+00 | 5.756000e+03 |    Inf 
1133.02/1133.01	c  1105s|  1420k|905784 |  2054k|   1.4 |1034M| 603 |   0 |1800 |6057 |1800 | 247 | 294k| 565k|4327 | 0.000000e+00 | 5.756000e+03 |    Inf 
1141.42/1141.48	c  1113s|  1430k|914104 |  2071k|   1.4 |1047M| 603 |   0 |1800 |5681 |1800 | 232 | 297k| 570k|4350 | 0.000000e+00 | 5.756000e+03 |    Inf 
1150.12/1150.12	c  1122s|  1440k|922305 |  2089k|   1.5 |1060M| 603 |   0 |1800 |6269 |1800 | 235 | 300k| 575k|4361 | 0.000000e+00 | 5.756000e+03 |    Inf 
1158.72/1158.71	c  1130s|  1450k|930488 |  2104k|   1.5 |1073M| 603 |   0 |1800 |6352 |1800 | 225 | 302k| 581k|4376 | 0.000000e+00 | 5.756000e+03 |    Inf 
1167.12/1167.12	c  1138s|  1460k|938818 |  2119k|   1.5 |1085M| 603 |   0 |1800 |6507 |1800 | 220 | 304k| 586k|4388 | 0.000000e+00 | 5.756000e+03 |    Inf 
1175.62/1175.61	c  1146s|  1470k|947151 |  2135k|   1.5 |1098M| 603 |   0 |1800 |6556 |1800 | 216 | 307k| 591k|4418 | 0.000000e+00 | 5.756000e+03 |    Inf 
1183.12/1183.15	o 5747
1183.12/1183.15	c *1154s|  1479k|953498 |  2152k|   1.5 |1107M| 603 |   - |1800 |5903 |1800 | 223 | 309k| 595k|4434 | 0.000000e+00 | 5.747000e+03 |    Inf 
1183.12/1183.16	o 5745
1183.12/1183.16	c *1154s|  1479k|953179 |  2152k|   1.5 |1106M| 603 |   - |1800 |5903 |1800 | 223 | 309k| 595k|4434 | 0.000000e+00 | 5.745000e+03 |    Inf 
1184.02/1184.03	c  1155s|  1480k|953965 |  2154k|   1.5 |1108M| 603 |   - |1800 |5990 |   0 |   0 | 310k| 596k|4434 | 0.000000e+00 | 5.745000e+03 |    Inf 
1192.63/1192.68	c  1163s|  1490k|962037 |  2171k|   1.5 |1121M| 603 |   - |1800 |5904 |   0 |   0 | 312k| 602k|4469 | 0.000000e+00 | 5.745000e+03 |    Inf 
1193.92/1193.94	o 5708
1193.92/1193.94	c *1164s|  1491k|957663 |  2174k|   1.5 |1114M| 603 |   - |1800 |5980 |1800 | 239 | 313k| 603k|4472 | 0.000000e+00 | 5.708000e+03 |    Inf 
1194.03/1194.08	o 5695
1194.03/1194.08	c *1164s|  1491k|955714 |  2174k|   1.5 |1111M| 603 |   - |1800 |6015 |1800 | 241 | 313k| 603k|4472 | 0.000000e+00 | 5.695000e+03 |    Inf 
1194.12/1194.11	o 5643
1194.12/1194.11	c *1164s|  1491k|948186 |  2174k|   1.5 |1099M| 603 |   - |1800 |6015 |1800 | 241 | 313k| 603k|4472 | 0.000000e+00 | 5.643000e+03 |    Inf 
1201.22/1201.24	c  1171s|  1500k|955521 |  2187k|   1.5 |1110M| 603 |   0 |1800 |5630 |1800 | 227 | 315k| 606k|4478 | 0.000000e+00 | 5.643000e+03 |    Inf 
1209.62/1209.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1209.62/1209.64	c  1180s|  1510k|963596 |  2202k|   1.5 |1122M| 603 |   0 |1800 |5758 |1800 | 234 | 317k| 611k|4498 | 0.000000e+00 | 5.643000e+03 |    Inf 
1212.52/1212.51	o 5570
1212.52/1212.51	c *1182s|  1513k|954877 |  2209k|   1.5 |1108M| 603 |   - |1800 |5701 |1800 | 253 | 318k| 613k|4502 | 0.000000e+00 | 5.570000e+03 |    Inf 
1212.52/1212.56	o 5464
1212.52/1212.56	c *1182s|  1513k|937959 |  2209k|   1.5 |1081M| 603 |   - |1800 |5701 |1800 | 253 | 318k| 613k|4502 | 0.000000e+00 | 5.464000e+03 |    Inf 
1212.62/1212.63	o 5435
1212.62/1212.63	c *1183s|  1513k|933286 |  2209k|   1.5 |1073M| 603 |   - |1800 |5700 |1800 | 246 | 318k| 613k|4502 | 0.000000e+00 | 5.435000e+03 |    Inf 
1212.72/1212.74	o 5211
1212.72/1212.74	c *1183s|  1513k|896556 |  2209k|   1.5 |1013M| 603 |   - |1800 |5700 |1800 | 246 | 318k| 613k|4502 | 0.000000e+00 | 5.211000e+03 |    Inf 
1219.22/1219.22	c  1189s|  1520k|901976 |  2228k|   1.5 |1023M| 603 |   0 |1800 |5733 |1800 | 227 | 321k| 617k|4539 | 0.000000e+00 | 5.211000e+03 |    Inf 
1228.03/1228.04	c  1198s|  1530k|910247 |  2248k|   1.5 |1036M| 603 |   0 |1800 |5437 |1800 | 225 | 324k| 621k|4552 | 0.000000e+00 | 5.211000e+03 |    Inf 
1236.72/1236.75	c  1206s|  1540k|918372 |  2268k|   1.5 |1049M| 603 |   0 |1800 |5153 |1800 | 228 | 326k| 626k|4584 | 0.000000e+00 | 5.211000e+03 |    Inf 
1245.93/1245.92	c  1215s|  1550k|926403 |  2289k|   1.5 |1062M| 603 |   0 |1800 |5415 |1800 | 222 | 329k| 631k|4605 | 0.000000e+00 | 5.211000e+03 |    Inf 
1254.82/1254.85	c  1224s|  1560k|934614 |  2310k|   1.5 |1076M| 603 |   0 |1800 |5888 |1800 | 217 | 332k| 637k|4629 | 0.000000e+00 | 5.211000e+03 |    Inf 
1263.83/1263.87	c  1232s|  1570k|942790 |  2334k|   1.5 |1089M| 603 |   0 |1800 |6003 |1800 | 219 | 335k| 642k|4660 | 0.000000e+00 | 5.211000e+03 |    Inf 
1272.43/1272.49	c  1241s|  1580k|951129 |  2354k|   1.5 |1101M| 603 |   0 |1800 |5623 |1800 | 219 | 338k| 647k|4667 | 0.000000e+00 | 5.211000e+03 |    Inf 
1280.82/1280.89	c  1249s|  1590k|959401 |  2370k|   1.5 |1114M| 603 |   0 |1800 |5750 |1800 | 231 | 341k| 652k|4687 | 0.000000e+00 | 5.211000e+03 |    Inf 
1289.82/1289.86	c  1258s|  1600k|967521 |  2392k|   1.5 |1127M| 603 |   0 |1800 |6036 |1800 | 223 | 344k| 657k|4711 | 0.000000e+00 | 5.211000e+03 |    Inf 
1298.63/1298.60	c  1266s|  1610k|975778 |  2412k|   1.5 |1140M| 603 |   0 |1800 |6134 |1800 | 220 | 347k| 662k|4731 | 0.000000e+00 | 5.211000e+03 |    Inf 
1307.43/1307.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1307.43/1307.40	c  1275s|  1620k|983891 |  2432k|   1.5 |1153M| 603 |   0 |1800 |5912 |1800 | 227 | 350k| 667k|4763 | 0.000000e+00 | 5.211000e+03 |    Inf 
1314.73/1314.77	o 5194
1314.73/1314.77	c *1282s|  1628k|987687 |  2452k|   1.5 |1160M| 603 |   - |1800 |5382 |1800 | 244 | 353k| 671k|4797 | 0.000000e+00 | 5.194000e+03 |    Inf 
1316.32/1316.34	c  1284s|  1630k|989159 |  2454k|   1.5 |1162M| 603 |   0 |1800 |5349 |1800 | 236 | 353k| 671k|4798 | 0.000000e+00 | 5.194000e+03 |    Inf 
1325.02/1325.00	c  1292s|  1640k|997289 |  2475k|   1.5 |1175M| 603 |   0 |1800 |5840 |1800 | 231 | 356k| 676k|4814 | 0.000000e+00 | 5.194000e+03 |    Inf 
1333.43/1333.45	c  1300s|  1650k|  1005k|  2492k|   1.5 |1187M| 603 |   0 |1800 |5688 |1800 | 226 | 358k| 682k|4832 | 0.000000e+00 | 5.194000e+03 |    Inf 
1342.43/1342.46	c  1309s|  1660k|  1013k|  2514k|   1.5 |1201M| 603 |   0 |1800 |5779 |1800 | 244 | 362k| 687k|4858 | 0.000000e+00 | 5.194000e+03 |    Inf 
1351.33/1351.37	c  1318s|  1670k|  1021k|  2534k|   1.5 |1215M| 603 |   0 |1800 |6230 |1800 | 243 | 365k| 692k|4868 | 0.000000e+00 | 5.194000e+03 |    Inf 
1360.73/1360.79	c  1327s|  1680k|  1029k|  2557k|   1.5 |1229M| 603 |   0 |1800 |6131 |1800 | 235 | 368k| 698k|4913 | 0.000000e+00 | 5.194000e+03 |    Inf 
1363.73/1363.75	o 5175
1363.73/1363.75	c *1330s|  1683k|  1029k|  2562k|   1.5 |1229M| 603 |   - |1800 |5928 |1800 | 252 | 369k| 699k|4917 | 0.000000e+00 | 5.175000e+03 |    Inf 
1369.63/1369.60	c  1336s|  1690k|  1034k|  2578k|   1.5 |1238M| 603 |   0 |1800 |5601 |1800 | 219 | 371k| 702k|4927 | 0.000000e+00 | 5.175000e+03 |    Inf 
1378.23/1378.29	c  1344s|  1700k|  1042k|  2599k|   1.5 |1251M| 603 |   0 |1800 |5281 |1800 | 240 | 374k| 707k|4952 | 0.000000e+00 | 5.175000e+03 |    Inf 
1386.83/1386.83	c  1352s|  1710k|  1051k|  2617k|   1.5 |1264M| 603 |   0 |1800 |5460 |1800 | 242 | 376k| 711k|4974 | 0.000000e+00 | 5.175000e+03 |    Inf 
1387.93/1387.98	o 5130
1387.93/1387.98	c *1353s|  1711k|  1044k|  2619k|   1.5 |1254M| 603 |   - |1800 |5694 |1800 | 254 | 376k| 712k|4980 | 0.000000e+00 | 5.130000e+03 |    Inf 
1388.02/1388.00	o 5119
1388.02/1388.00	c *1353s|  1711k|  1042k|  2619k|   1.5 |1251M| 603 |   - |1800 |5694 |1800 | 254 | 376k| 712k|4980 | 0.000000e+00 | 5.119000e+03 |    Inf 
1388.02/1388.04	o 5108
1388.02/1388.04	c *1354s|  1711k|  1040k|  2619k|   1.5 |1248M| 603 |   - |1800 |5690 |1800 | 254 | 376k| 712k|4980 | 0.000000e+00 | 5.108000e+03 |    Inf 
1388.43/1388.48	o 5067
1388.43/1388.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1388.43/1388.48	c *1354s|  1711k|  1033k|  2620k|   1.5 |1238M| 603 |   - |1800 |5729 |1800 | 258 | 377k| 712k|4980 | 0.000000e+00 | 5.067000e+03 |    Inf 
1388.53/1388.50	o 5056
1388.53/1388.50	c *1354s|  1711k|  1031k|  2620k|   1.5 |1235M| 603 |   - |1800 |5729 |1800 | 258 | 377k| 712k|4980 | 0.000000e+00 | 5.056000e+03 |    Inf 
1394.84/1394.87	o 4760
1394.84/1394.87	c *1360s|  1718k|981343 |  2635k|   1.5 |1158M| 603 |   - |1800 |6908 |1800 | 257 | 379k| 716k|4988 | 0.000000e+00 | 4.760000e+03 |    Inf 
1396.13/1396.10	c  1361s|  1720k|982436 |  2638k|   1.5 |1160M| 603 |   0 |1800 |6566 |1800 | 247 | 379k| 717k|4991 | 0.000000e+00 | 4.760000e+03 |    Inf 
1402.83/1402.83	o 4729
1402.83/1402.83	c *1368s|  1727k|981846 |  2653k|   1.5 |1159M| 603 |   - |1800 |5278 |1800 | 245 | 381k| 721k|5018 | 0.000000e+00 | 4.729000e+03 |    Inf 
1402.83/1402.89	o 4677
1402.83/1402.89	c *1368s|  1727k|971388 |  2653k|   1.5 |1143M| 603 |   - |1800 |5278 |1800 | 246 | 381k| 721k|5018 | 0.000000e+00 | 4.677000e+03 |    Inf 
1405.43/1405.40	c  1370s|  1730k|973393 |  2660k|   1.5 |1146M| 603 |   0 |1800 |6072 |1800 | 258 | 382k| 723k|5032 | 0.000000e+00 | 4.677000e+03 |    Inf 
1414.33/1414.31	c  1379s|  1740k|981567 |  2680k|   1.5 |1160M| 603 |   0 |1800 |5095 |1800 | 254 | 384k| 727k|5058 | 0.000000e+00 | 4.677000e+03 |    Inf 
1423.53/1423.58	c  1388s|  1750k|989601 |  2703k|   1.5 |1173M| 603 |   - |1800 |5325 |   0 |   0 | 388k| 732k|5089 | 0.000000e+00 | 4.677000e+03 |    Inf 
1432.83/1432.82	c  1397s|  1760k|997447 |  2725k|   1.5 |1187M| 603 |   0 |1800 |5988 |1800 | 236 | 391k| 738k|5102 | 0.000000e+00 | 4.677000e+03 |    Inf 
1441.93/1441.99	c  1406s|  1770k|  1005k|  2746k|   1.6 |1201M| 603 |   0 |1800 |5185 |1800 | 225 | 394k| 743k|5134 | 0.000000e+00 | 4.677000e+03 |    Inf 
1451.23/1451.20	c  1415s|  1780k|  1013k|  2770k|   1.6 |1215M| 603 |   - |1800 |5402 |   0 |   0 | 397k| 748k|5157 | 0.000000e+00 | 4.677000e+03 |    Inf 
1460.53/1460.51	c  1424s|  1790k|  1021k|  2793k|   1.6 |1229M| 603 |   0 |1800 |5682 |1800 | 218 | 400k| 753k|5183 | 0.000000e+00 | 4.677000e+03 |    Inf 
1469.83/1469.82	c  1433s|  1800k|  1028k|  2819k|   1.6 |1243M| 603 |   0 |1800 |5367 |1800 | 230 | 404k| 758k|5223 | 0.000000e+00 | 4.677000e+03 |    Inf 
1478.83/1478.88	o 4628
1478.83/1478.88	c *1442s|  1809k|  1026k|  2845k|   1.6 |1241M| 603 |   - |1800 |5159 |1800 | 225 | 407k| 762k|5247 | 0.000000e+00 | 4.628000e+03 |    Inf 
1479.03/1479.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1479.03/1479.06	c  1442s|  1810k|  1026k|  2846k|   1.6 |1241M| 603 |   0 |1800 |5147 |1800 | 221 | 408k| 762k|5251 | 0.000000e+00 | 4.628000e+03 |    Inf 
1488.43/1488.45	c  1451s|  1820k|  1034k|  2870k|   1.6 |1255M| 603 |   0 |1800 |5425 |1800 | 215 | 411k| 767k|5267 | 0.000000e+00 | 4.628000e+03 |    Inf 
1497.34/1497.36	c  1460s|  1830k|  1042k|  2888k|   1.6 |1269M| 603 |   0 |1800 |4993 |1800 | 227 | 414k| 772k|5294 | 0.000000e+00 | 4.628000e+03 |    Inf 
1503.43/1503.45	o 4581
1503.43/1503.45	c *1466s|  1836k|  1038k|  2904k|   1.6 |1264M| 603 |   - |1800 |5769 |1800 | 241 | 416k| 775k|5308 | 0.000000e+00 | 4.581000e+03 |    Inf 
1503.54/1503.56	o 4544
1503.54/1503.56	c *1466s|  1836k|  1030k|  2904k|   1.6 |1251M| 603 |   - |1800 |5753 |1800 | 243 | 416k| 775k|5308 | 0.000000e+00 | 4.544000e+03 |    Inf 
1503.64/1503.64	o 4524
1503.64/1503.64	c *1466s|  1836k|  1025k|  2904k|   1.6 |1244M| 603 |   - |1800 |5788 |1800 | 241 | 416k| 775k|5308 | 0.000000e+00 | 4.524000e+03 |    Inf 
1504.03/1504.09	o 4510
1504.03/1504.09	c *1467s|  1837k|  1023k|  2906k|   1.6 |1240M| 603 |   - |1800 |5727 |1800 | 242 | 416k| 775k|5308 | 0.000000e+00 | 4.510000e+03 |    Inf 
1504.23/1504.28	o 4243
1504.23/1504.28	c *1467s|  1837k|964748 |  2906k|   1.6 |1140M| 603 |   - |1800 |5727 |1800 | 242 | 416k| 775k|5308 | 0.000000e+00 | 4.243000e+03 |    Inf 
1506.63/1506.68	c  1469s|  1840k|966943 |  2910k|   1.6 |1144M| 603 |   0 |1800 |5514 |1800 | 222 | 417k| 776k|5311 | 0.000000e+00 | 4.243000e+03 |    Inf 
1507.93/1507.96	o 4213
1507.93/1507.96	c *1470s|  1841k|961028 |  2915k|   1.6 |1133M| 603 |   - |1800 |5484 |1800 | 251 | 417k| 777k|5323 | 0.000000e+00 | 4.213000e+03 |    Inf 
1511.53/1511.54	o 4165
1511.53/1511.54	c *1474s|  1844k|951956 |  2932k|   1.6 |1118M| 603 |   - |1800 |6328 |1800 | 265 | 419k| 779k|5365 | 0.000000e+00 | 4.165000e+03 |    Inf 
1511.84/1511.83	o 4148
1511.84/1511.83	c *1474s|  1844k|948095 |  2934k|   1.6 |1111M| 603 |   - |1800 |6406 |1800 | 276 | 419k| 779k|5370 | 0.000000e+00 | 4.148000e+03 |    Inf 
1515.93/1515.99	o 4005
1515.93/1515.99	c *1478s|  1849k|918355 |  2941k|   1.6 |1060M| 603 |   - |1800 |6245 |1800 | 235 | 421k| 781k|5371 | 0.000000e+00 | 4.005000e+03 |    Inf 
1516.23/1516.22	o 3743
1516.23/1516.22	c *1478s|  1849k|857322 |  2941k|   1.6 | 966M| 603 |   - |1800 |6250 |1800 | 237 | 421k| 781k|5371 | 0.000000e+00 | 3.743000e+03 |    Inf 
1517.04/1517.03	c  1479s|  1850k|857889 |  2944k|   1.6 | 966M| 603 |   0 |1800 |5929 |1800 | 239 | 421k| 781k|5377 | 0.000000e+00 | 3.743000e+03 |    Inf 
1526.84/1526.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1526.84/1526.89	c  1489s|  1860k|865759 |  2975k|   1.6 | 982M| 603 |   - |1800 |5744 |   0 |   0 | 425k| 786k|5407 | 0.000000e+00 | 3.743000e+03 |    Inf 
1536.74/1536.75	c  1498s|  1870k|873458 |  3003k|   1.6 | 997M| 603 |   0 |1800 |5798 |1800 | 226 | 429k| 791k|5430 | 0.000000e+00 | 3.743000e+03 |    Inf 
1542.73/1542.80	o 3668
1542.73/1542.80	c *1504s|  1876k|860772 |  3021k|   1.6 | 978M| 603 |   - |1800 |5410 |1800 | 237 | 431k| 794k|5446 | 0.000000e+00 | 3.668000e+03 |    Inf 
1542.83/1542.88	o 3637
1542.83/1542.88	c *1504s|  1876k|853404 |  3021k|   1.6 | 967M| 603 |   - |1800 |5413 |1800 | 244 | 431k| 794k|5446 | 0.000000e+00 | 3.637000e+03 |    Inf 
1542.93/1542.92	o 3611
1542.93/1542.92	c *1504s|  1876k|847003 |  3021k|   1.6 | 957M| 603 |   - |1800 |5413 |1800 | 244 | 431k| 794k|5446 | 0.000000e+00 | 3.611000e+03 |    Inf 
1542.93/1542.99	o 3542
1542.93/1542.99	c *1504s|  1876k|830335 |  3021k|   1.6 | 934M| 603 |   - |1800 |5413 |1800 | 244 | 431k| 794k|5446 | 0.000000e+00 | 3.542000e+03 |    Inf 
1543.03/1543.09	o 3486
1543.03/1543.09	c *1505s|  1876k|816777 |  3022k|   1.6 | 915M| 603 |   - |1800 |5400 |1800 | 257 | 431k| 794k|5452 | 0.000000e+00 | 3.486000e+03 |    Inf 
1543.14/1543.11	o 3480
1543.14/1543.11	c *1505s|  1876k|815351 |  3022k|   1.6 | 913M| 603 |   - |1800 |5400 |1800 | 257 | 431k| 794k|5452 | 0.000000e+00 | 3.480000e+03 |    Inf 
1546.93/1546.90	c  1508s|  1880k|818163 |  3034k|   1.6 | 919M| 603 |   0 |1800 |5216 |1800 | 219 | 433k| 796k|5457 | 0.000000e+00 | 3.480000e+03 |    Inf 
1557.23/1557.21	o 3451
1557.23/1557.21	c *1518s|  1889k|818439 |  3065k|   1.6 | 925M| 603 |   - |1800 |5831 |1800 | 242 | 437k| 801k|5494 | 0.000000e+00 | 3.451000e+03 |    Inf 
1557.23/1557.24	o 3435
1557.23/1557.24	c *1518s|  1889k|814564 |  3065k|   1.6 | 920M| 603 |   - |1800 |5831 |1800 | 242 | 437k| 801k|5494 | 0.000000e+00 | 3.435000e+03 |    Inf 
1557.33/1557.35	c  1518s|  1890k|814643 |  3065k|   1.6 | 920M| 603 |   0 |1800 |5794 |1800 | 227 | 438k| 801k|5494 | 0.000000e+00 | 3.435000e+03 |    Inf 
1567.03/1567.03	c  1528s|  1900k|822123 |  3090k|   1.6 | 935M| 603 |   - |1800 |5090 |   0 |   0 | 441k| 806k|5513 | 0.000000e+00 | 3.435000e+03 |    Inf 
1576.63/1576.61	c  1537s|  1910k|829665 |  3116k|   1.6 | 950M| 603 |   0 |1800 |5267 |1800 | 209 | 444k| 810k|5529 | 0.000000e+00 | 3.435000e+03 |    Inf 
1586.43/1586.44	c  1547s|  1920k|837335 |  3146k|   1.6 | 965M| 603 |   0 |1800 |5363 |1800 | 232 | 448k| 815k|5563 | 0.000000e+00 | 3.435000e+03 |    Inf 
1595.93/1595.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1595.93/1595.97	c  1556s|  1930k|844804 |  3172k|   1.6 | 980M| 603 |   0 |1800 |5863 |1800 | 229 | 452k| 820k|5590 | 0.000000e+00 | 3.435000e+03 |    Inf 
1602.43/1602.48	o 3408
1602.43/1602.48	c *1562s|  1936k|843424 |  3193k|   1.6 | 982M| 603 |   - |1800 |4956 |1800 | 258 | 454k| 823k|5615 | 0.000000e+00 | 3.408000e+03 |    Inf 
1606.04/1606.09	c  1566s|  1940k|846153 |  3208k|   1.7 | 987M| 603 |   0 |1800 |5408 |1800 | 231 | 456k| 825k|5640 | 0.000000e+00 | 3.408000e+03 |    Inf 
1616.54/1616.58	c  1576s|  1950k|853445 |  3242k|   1.7 |1003M| 603 |   0 |1800 |5485 |1800 | 226 | 460k| 831k|5662 | 0.000000e+00 | 3.408000e+03 |    Inf 
1626.34/1626.37	c  1586s|  1960k|861283 |  3276k|   1.7 |1019M| 603 |   0 |1800 |4731 |1800 | 237 | 465k| 835k|5691 | 0.000000e+00 | 3.408000e+03 |    Inf 
1629.93/1629.90	o 3297
1629.93/1629.90	c *1589s|  1963k|835453 |  3285k|   1.7 | 989M| 603 |   - |1800 |5025 |1800 | 247 | 466k| 837k|5710 | 0.000000e+00 | 3.297000e+03 |    Inf 
1636.34/1636.33	c  1595s|  1970k|840209 |  3303k|   1.7 | 998M| 603 |   0 |1800 |4860 |1800 | 238 | 468k| 840k|5721 | 0.000000e+00 | 3.297000e+03 |    Inf 
1636.53/1636.58	o 3290
1636.53/1636.58	c *1596s|  1970k|838710 |  3303k|   1.7 | 997M| 603 |   - |1800 |4834 |1800 | 228 | 468k| 841k|5721 | 0.000000e+00 | 3.290000e+03 |    Inf 
1636.64/1636.63	o 3255
1636.64/1636.63	c *1596s|  1970k|829563 |  3303k|   1.7 | 985M| 603 |   - |1800 |4834 |1800 | 228 | 468k| 841k|5721 | 0.000000e+00 | 3.255000e+03 |    Inf 
1646.53/1646.60	c  1605s|  1980k|836574 |  3334k|   1.7 |1000M| 603 |   0 |1800 |5692 |1800 | 214 | 472k| 846k|5767 | 0.000000e+00 | 3.255000e+03 |    Inf 
1656.44/1656.50	c  1615s|  1990k|843676 |  3362k|   1.7 |1015M| 603 |   0 |1800 |5161 |1800 | 245 | 476k| 851k|5778 | 0.000000e+00 | 3.255000e+03 |    Inf 
1659.03/1659.09	o 3109
1659.03/1659.09	c *1618s|  1992k|807625 |  3368k|   1.7 | 973M| 603 |   - |1800 |4775 |1800 | 233 | 477k| 852k|5795 | 0.000000e+00 | 3.109000e+03 |    Inf 
1666.73/1666.74	c  1625s|  2000k|812921 |  3392k|   1.7 | 985M| 603 |   0 |1800 |5338 |1800 | 234 | 479k| 857k|5817 | 0.000000e+00 | 3.109000e+03 |    Inf 
1676.93/1676.99	c  1635s|  2010k|819973 |  3423k|   1.7 |1001M| 603 |   0 |1800 |5085 |1800 | 236 | 483k| 862k|5857 | 0.000000e+00 | 3.109000e+03 |    Inf 
1687.34/1687.36	c  1645s|  2020k|827090 |  3461k|   1.7 |1017M| 603 |   0 |1800 |4471 |1800 | 228 | 488k| 867k|5884 | 0.000000e+00 | 3.109000e+03 |    Inf 
1695.94/1695.95	o 3106
1695.94/1695.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1695.94/1695.95	c *1653s|  2027k|831663 |  3499k|   1.7 |1029M| 603 |   - |1800 |4812 |1800 | 271 | 492k| 871k|5926 | 0.000000e+00 | 3.106000e+03 |    Inf 
1696.14/1696.20	o 2806
1696.14/1696.20	c *1654s|  2027k|748226 |  3499k|   1.7 | 925M| 603 |   - |1800 |4812 |1800 | 271 | 492k| 871k|5926 | 0.000000e+00 | 2.806000e+03 |    Inf 
1696.24/1696.24	o 2776
1696.24/1696.24	c *1654s|  2027k|739956 |  3499k|   1.7 | 914M| 603 |   - |1800 |4812 |1800 | 271 | 492k| 871k|5926 | 0.000000e+00 | 2.776000e+03 |    Inf 
1698.74/1698.75	c  1656s|  2030k|741605 |  3508k|   1.7 | 918M| 603 |   0 |1800 |4397 |1800 | 247 | 493k| 872k|5933 | 0.000000e+00 | 2.776000e+03 |    Inf 
1709.14/1709.19	c  1666s|  2040k|748993 |  3545k|   1.7 | 934M| 603 |   0 |1800 |4477 |1800 | 229 | 498k| 877k|5962 | 0.000000e+00 | 2.776000e+03 |    Inf 
1720.44/1720.48	c  1677s|  2050k|756161 |  3596k|   1.8 | 951M| 603 |   0 |1800 |4640 |1800 | 243 | 504k| 882k|6015 | 0.000000e+00 | 2.776000e+03 |    Inf 
1731.64/1731.66	c  1688s|  2060k|763790 |  3651k|   1.8 | 968M| 603 |   0 |1800 |4955 |1800 | 234 | 510k| 888k|6059 | 0.000000e+00 | 2.776000e+03 |    Inf 
1735.94/1735.96	o 2760
1735.94/1735.96	c *1692s|  2063k|761691 |  3672k|   1.8 | 967M| 603 |   - |1800 |4712 |1800 | 222 | 512k| 890k|6071 | 0.000000e+00 | 2.760000e+03 |    Inf 
1735.94/1735.99	o 2742
1735.94/1735.99	c *1692s|  2063k|756477 |  3672k|   1.8 | 959M| 603 |   - |1800 |4712 |1800 | 222 | 512k| 890k|6071 | 0.000000e+00 | 2.742000e+03 |    Inf 
1742.84/1742.89	c  1699s|  2070k|760843 |  3696k|   1.8 | 969M| 603 |   0 |1800 |4234 |1800 | 228 | 515k| 893k|6098 | 0.000000e+00 | 2.742000e+03 |    Inf 
1753.64/1753.65	c  1710s|  2080k|768047 |  3738k|   1.8 | 985M| 603 |   0 |1800 |3943 |1800 | 234 | 520k| 898k|6132 | 0.000000e+00 | 2.742000e+03 |    Inf 
1753.75/1753.76	o 2711
1753.75/1753.76	c *1710s|  2080k|759144 |  3738k|   1.8 | 973M| 603 |   - |1800 |3960 |1800 | 244 | 520k| 898k|6132 | 0.000000e+00 | 2.711000e+03 |    Inf 
1753.95/1753.96	o 2487
1753.95/1753.96	c *1710s|  2080k|693787 |  3738k|   1.8 | 875M| 603 |   - |1800 |3960 |1800 | 244 | 520k| 898k|6132 | 0.000000e+00 | 2.487000e+03 |    Inf 
1754.05/1754.10	o 2375
1754.05/1754.10	c *1710s|  2080k|660245 |  3738k|   1.8 | 823M| 603 |   - |1800 |3958 |1800 | 239 | 520k| 898k|6132 | 0.000000e+00 | 2.375000e+03 |    Inf 
1754.15/1754.13	o 2374
1754.15/1754.13	c *1710s|  2080k|659950 |  3739k|   1.8 | 822M| 603 |   - |1800 |3970 |1800 | 243 | 520k| 898k|6132 | 0.000000e+00 | 2.374000e+03 |    Inf 
1754.25/1754.28	o 2235
1754.25/1754.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1754.25/1754.28	c *1710s|  2080k|617395 |  3739k|   1.8 | 756M| 603 |   - |1800 |3970 |1800 | 243 | 520k| 898k|6132 | 0.000000e+00 | 2.235000e+03 |    Inf 
1754.45/1754.43	o 2136
1754.45/1754.43	c *1710s|  2080k|587916 |  3739k|   1.8 | 712M| 603 |   - |1800 |3968 |1800 | 272 | 520k| 898k|6133 | 0.000000e+00 | 2.136000e+03 |    Inf 
1754.55/1754.54	o 2031
1754.55/1754.54	c *1710s|  2080k|556074 |  3739k|   1.8 | 665M| 603 |   - |1800 |3968 |1800 | 272 | 520k| 898k|6133 | 0.000000e+00 | 2.031000e+03 |    Inf 
1754.55/1754.57	o 2020
1754.55/1754.57	c *1710s|  2080k|552596 |  3739k|   1.8 | 660M| 603 |   - |1800 |3968 |1800 | 272 | 520k| 898k|6133 | 0.000000e+00 | 2.020000e+03 |    Inf 
1754.84/1754.80	o 1819
1754.84/1754.80	c *1711s|  2080k|492944 |  3739k|   1.8 | 577M| 603 |   - |1800 |3974 |1800 | 253 | 520k| 898k|6133 | 0.000000e+00 | 1.819000e+03 |    Inf 
1754.84/1754.89	o 1745
1754.84/1754.89	c *1711s|  2080k|471758 |  3739k|   1.8 | 550M| 603 |   - |1800 |3968 |1800 | 240 | 520k| 898k|6133 | 0.000000e+00 | 1.745000e+03 |    Inf 
1755.94/1755.91	o 1639
1755.94/1755.91	c *1712s|  2080k|439644 |  3745k|   1.8 | 510M| 603 |   - |1800 |3825 |1800 | 264 | 521k| 898k|6142 | 0.000000e+00 | 1.639000e+03 |    Inf 
1755.94/1755.94	o 1631
1755.94/1755.94	c *1712s|  2080k|437201 |  3745k|   1.8 | 508M| 603 |   - |1800 |3825 |1800 | 264 | 521k| 898k|6142 | 0.000000e+00 | 1.631000e+03 |    Inf 
1755.94/1755.95	o 1630
1755.94/1755.95	c *1712s|  2080k|436918 |  3745k|   1.8 | 507M| 603 |   - |1800 |3825 |1800 | 264 | 521k| 898k|6142 | 0.000000e+00 | 1.630000e+03 |    Inf 
1756.64/1756.64	o 1573
1756.64/1756.64	c *1712s|  2081k|420319 |  3748k|   1.8 | 488M| 603 |   - |1800 |3831 |1800 | 262 | 521k| 898k|6142 | 0.000000e+00 | 1.573000e+03 |    Inf 
1756.74/1756.72	o 1513
1756.74/1756.72	c *1713s|  2081k|403233 |  3748k|   1.8 | 469M| 603 |   - |1800 |3838 |1800 | 262 | 521k| 898k|6142 | 0.000000e+00 | 1.513000e+03 |    Inf 
1756.84/1756.83	o 1398
1756.84/1756.83	c *1713s|  2081k|371613 |  3748k|   1.8 | 434M| 603 |   - |1800 |3838 |1800 | 262 | 521k| 898k|6142 | 0.000000e+00 | 1.398000e+03 |    Inf 
1758.14/1758.13	o 1391
1758.14/1758.13	c *1714s|  2082k|369955 |  3756k|   1.8 | 434M| 603 |   - |1800 |4091 |1800 | 257 | 522k| 899k|6145 | 0.000000e+00 | 1.391000e+03 |    Inf 
1762.04/1762.02	o 1333
1762.04/1762.02	c *1718s|  2084k|353877 |  3780k|   1.8 | 421M| 603 |   - |1800 |3908 |1800 | 259 | 524k| 901k|6164 | 0.000000e+00 | 1.333000e+03 |    Inf 
1762.15/1762.13	o 1222
1762.15/1762.13	c *1718s|  2084k|319755 |  3780k|   1.8 | 384M| 603 |   - |1800 |3908 |1800 | 259 | 524k| 901k|6164 | 0.000000e+00 | 1.222000e+03 |    Inf 
1765.74/1765.72	o 1203
1765.74/1765.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1765.74/1765.72	c *1721s|  2086k|315777 |  3807k|   1.8 | 385M| 603 |   - |1800 |4087 |1800 | 257 | 527k| 902k|6179 | 0.000000e+00 | 1.203000e+03 |    Inf 
1771.54/1771.52	c  1727s|  2090k|316891 |  3849k|   1.8 | 393M| 603 |   - |1800 |3703 |   0 |   0 | 531k| 905k|6209 | 0.000000e+00 | 1.203000e+03 |    Inf 
1786.74/1786.78	o 1182
1786.74/1786.78	c *1742s|  2099k|315175 |  3961k|   1.9 | 413M| 603 |   - |1800 |4364 |1800 | 232 | 542k| 912k|6327 | 0.000000e+00 | 1.182000e+03 |    Inf 
1788.55/1788.59	c  1743s|  2100k|315480 |  3975k|   1.9 | 416M| 603 |   0 |1800 |4253 |1800 | 230 | 543k| 913k|6329 | 0.000000e+00 | 1.182000e+03 |    Inf 
1795.55/1795.52	o 1106
1795.55/1795.52	c *1750s|  2103k|297016 |  4025k|   1.9 | 406M| 603 |   - |1800 |4242 |1800 | 260 | 548k| 916k|6412 | 0.000000e+00 | 1.106000e+03 |    Inf 
1796.45/1796.44	o 1070
1796.45/1796.44	c *1751s|  2104k|286712 |  4033k|   1.9 | 396M| 603 |   - |1800 |4155 |1800 | 224 | 549k| 916k|6420 | 0.000000e+00 | 1.070000e+03 |    Inf 
1796.55/1796.50	o 1002
1796.55/1796.50	c *1751s|  2104k|268321 |  4033k|   1.9 | 376M| 603 |   - |1800 |4155 |1800 | 224 | 549k| 916k|6420 | 0.000000e+00 | 1.002000e+03 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1754.56
1800.05/1800.00	c Solving Nodes      : 2106064
1800.05/1800.00	c Primal Bound       : +1.00200000000000e+03 (248 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.01	s SATISFIABLE
1800.05/1800.01	v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 -x182 x181 x180 -x179 x178 -x177 
1800.05/1800.01	v -x176 x175 x174 -x173 x172 -x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 x162 -x161 -x160 x159 x158 -x157 x156 -x155 
1800.05/1800.01	v -x154 x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 -x144 x143 x142 -x141 x140 -x139 -x138 x137 x136 -x135 x134 -x133 x132 
1800.05/1800.01	v -x131 -x130 x129 -x128 x127 x126 -x125 x124 -x123 x122 -x121 -x120 x119 x118 -x117 x116 -x115 x114 -x113 -x112 x111 x110 -x109 
1800.05/1800.01	v x108 -x107 x106 -x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 x96 -x95 -x94 x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 -x84 
1800.05/1800.01	v x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 x74 -x73 -x72 x71 x70 -x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 
1800.05/1800.01	v x55 x54 -x53 -x52 x51 x50 -x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 x40 -x39 x38 -x37 -x36 x35 -x34 x33 -x32 x31 x30 -x29 -x28 
1800.05/1800.01	v x27 -x26 x25 -x24 x23 -x22 x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 -x12 x11 x10 -x9 x8 -x7 -x6 x5 -x4 x3 x2 -x1 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time       :    1754.56
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2699961-1278533862.wbo
1800.05/1800.01	c   Variables        : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01	c   Constraints      : 1801 initial, 1801 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2699961-1278533862.wbo
1800.05/1800.01	c   Variables        : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01	c   Constraints      : 1700 initial, 7626 maximal
1800.05/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   linear           :       0.02          0        100          0        850          0        101          0          0
1800.05/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   integral         :          0          0          0    2193989          0          0         66          0          0      32730
1800.05/1800.01	c   indicator        :        850          0    4161171    2177568          0       3943   33478982          0          0          0
1800.05/1800.01	c   linear           :        850          6    4155865    2176735          0      32103    2852934     552023          0          0
1800.05/1800.01	c   logicor          :          0+         0    2481344          0          0       3052    1428656          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0    1957758          0          0          0          0          0          0
1800.05/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.01	c   integral         :       7.12       0.00       0.00       7.12       0.00
1800.05/1800.01	c   indicator        :     183.06       0.08      64.63     118.35       0.00
1800.05/1800.01	c   linear           :     114.32       0.00      51.37      62.95       0.00
1800.05/1800.01	c   logicor          :      37.95       0.00      37.95       0.00       0.00
1800.05/1800.01	c   countsols        :       0.50       0.00       0.00       0.50       0.00
1800.05/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.01	c   vbounds          :       1.19          2          0          0
1800.05/1800.01	c   rootredcost      :       1.03        148          0          0
1800.05/1800.01	c   pseudoobj        :      98.40    4297550     136576   27272621
1800.05/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.01	c   propagation      :       9.18     171731     171324     810743       29.4     239840        3.9          -
1800.05/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   pseudo solution  :       0.07        697        697       4182       26.6       1428        4.2          -
1800.05/1800.01	c   applied globally :          -          -          -     918431       21.6          -          -          -
1800.05/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.01	c   cut pool         :       0.00          3          -          -         38          -    (maximal pool size: 101)
1800.05/1800.01	c   redcost          :      83.62    2239802          0    5398011          0          0
1800.05/1800.01	c   impliedbounds    :       0.00          4          0          0          0          0
1800.05/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.01	c   gomory           :       0.00          4          0          0        100          0
1800.05/1800.01	c   strongcg         :       0.00          4          0          0          0          0
1800.05/1800.01	c   cmir             :       0.00          4          0          0          1          0
1800.05/1800.01	c   flowcover        :       0.03          4          0          0          2          0
1800.05/1800.01	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.01	c Pricers            :       Time      Calls       Vars
1800.05/1800.01	c   problem variables:       0.00          0          0
1800.05/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   relpscost        :       6.54      16418          0         66          0          0      32730
1800.05/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   inference        :     149.58    1957612          0          0          0          0    3915224
1800.05/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.01	c   LP solutions     :       5.71          -        146
1800.05/1800.01	c   pseudo solutions :       0.00          -          0
1800.05/1800.01	c   feaspump         :       0.00          0          0
1800.05/1800.01	c   intshifting      :       0.01          3          0
1800.05/1800.01	c   oneopt           :       0.88        109          0
1800.05/1800.01	c   crossover        :       4.44        279          3
1800.05/1800.01	c   fracdiving       :       3.03       5975          0
1800.05/1800.01	c   linesearchdiving :       3.06       5975          0
1800.05/1800.01	c   guideddiving     :       2.77       5975          0
1800.05/1800.01	c   coefdiving       :       3.05       5976          0
1800.05/1800.01	c   pscostdiving     :       2.80       5976          0
1800.05/1800.01	c   veclendiving     :       3.11       5976          0
1800.05/1800.01	c   objpscostdiving  :       3.29       5974          0
1800.05/1800.01	c   rootsoldiving    :       3.07       5974          0
1800.05/1800.01	c   trivial          :       0.02          2          1
1800.05/1800.01	c   simplerounding   :       1.31      18585          0
1800.05/1800.01	c   zirounding       :       0.68       1000          0
1800.05/1800.01	c   rounding         :       0.74       5847          1
1800.05/1800.01	c   shifting         :       0.93       1496          1
1800.05/1800.01	c   twoopt           :       0.00          0          0
1800.05/1800.01	c   fixandinfer      :       0.00          0          0
1800.05/1800.01	c   intdiving        :       0.00          0          0
1800.05/1800.01	c   actconsdiving    :       0.00          0          0
1800.05/1800.01	c   octane           :       0.00          0          0
1800.05/1800.01	c   rens             :       0.01          1          0
1800.05/1800.01	c   rins             :       0.00          0          0
1800.05/1800.01	c   localbranching   :       0.00          0          0
1800.05/1800.01	c   mutation         :       0.00          0          0
1800.05/1800.01	c   dins             :       0.00          0          0
1800.05/1800.01	c   undercover       :       0.00          0          0
1800.05/1800.01	c   nlp              :       0.43          0          0
1800.05/1800.01	c   trysol           :       1.12       8079         96
1800.05/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.01	c   dual LP          :     657.42     541551    4048554       7.48    6158.25
1800.05/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.01	c   diving/probing LP:       0.22        124      11192      90.26   50872.73
1800.05/1800.01	c   strong branching :       6.39       6422      98428      15.33   15403.44
1800.05/1800.01	c     (at root node) :          -         33       8642     261.88          -
1800.05/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.01	c B&B Tree           :
1800.05/1800.01	c   number of runs   :          1
1800.05/1800.01	c   nodes            :    2106064
1800.05/1800.01	c   nodes (total)    :    2106064
1800.05/1800.01	c   nodes left       :     268658
1800.05/1800.01	c   max depth        :        603
1800.05/1800.01	c   max depth (total):        603
1800.05/1800.01	c   backtracks       :      62617 (3.0%)
1800.05/1800.01	c   delayed cutoffs  :      45143
1800.05/1800.01	c   repropagations   :     264212 (16145862 domain reductions, 44430 cutoffs)
1800.05/1800.01	c   avg switch length:       2.74
1800.05/1800.01	c   switching time   :     106.90
1800.05/1800.01	c Solution           :
1800.05/1800.01	c   Solutions found  :        248 (149 improvements)
1800.05/1800.01	c   First Solution   : +4.20925000000000e+05   (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01	c   Primal Bound     : +1.00200000000000e+03   (in run 1, after 2104268 nodes, 1751.11 seconds, depth 38, found by <relaxation>)
1800.05/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.01	c   Gap              :   infinite
1800.05/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.01	c   Root Iterations  :        337
1800.95/1800.93	c Time complete: 1800.98.

Verifier Data 

OK	1002

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699961-1278533862/watcher-2699961-1278533862 -o /tmp/evaluation-result-2699961-1278533862/solver-2699961-1278533862 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2699961-1278533862.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: 0.89 0.28 0.09 4/200 18995
/proc/meminfo: memFree=28876832/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=10844 CPUtime=0
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 21598933 11104256 1586 4089446400 4194304 9819077 140736397379408 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18995/statm: 2711 1586 392 1374 0 1332 0

[startup+0.061547 s]
/proc/loadavg: 0.89 0.28 0.09 4/200 18995
/proc/meminfo: memFree=28876832/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=21776 CPUtime=0.05
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 5383 0 0 0 5 0 0 0 25 0 1 0 21598933 22298624 4178 4089446400 4194304 9819077 140736397379408 18446744073709551615 4983094 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 5444 4178 508 1374 0 4065 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21776

[startup+0.100538 s]
/proc/loadavg: 0.89 0.28 0.09 4/200 18995
/proc/meminfo: memFree=28876832/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=25956 CPUtime=0.09
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 6335 0 0 0 9 0 0 0 25 0 1 0 21598933 26578944 5089 4089446400 4194304 9819077 140736397379408 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 6489 5089 673 1374 0 5110 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25956

[startup+0.300494 s]
/proc/loadavg: 0.89 0.28 0.09 4/200 18995
/proc/meminfo: memFree=28876832/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=28760 CPUtime=0.29
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 10961 0 0 0 28 1 0 0 25 0 1 0 21598933 29450240 5496 4089446400 4194304 9819077 140736397379408 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 7190 5496 695 1374 0 5811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28760

[startup+0.70043 s]
/proc/loadavg: 0.89 0.28 0.09 4/200 18995
/proc/meminfo: memFree=28876832/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=28748 CPUtime=0.69
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 14651 0 0 0 67 2 0 0 25 0 1 0 21598933 29437952 5485 4089446400 4194304 9819077 140736397379408 18446744073709551615 6396348 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 7187 5485 700 1374 0 5808 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28748

[startup+1.50028 s]
/proc/loadavg: 0.98 0.31 0.10 3/201 18996
/proc/meminfo: memFree=28856860/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=28756 CPUtime=1.49
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 25352 0 0 0 145 4 0 0 25 0 1 0 21598933 29446144 5492 4089446400 4194304 9819077 140736397379408 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 7189 5492 700 1374 0 5810 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28756

[startup+3.10098 s]
/proc/loadavg: 0.98 0.31 0.10 3/201 18997
/proc/meminfo: memFree=28857056/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=31684 CPUtime=3.09
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 46648 0 0 0 299 10 0 0 25 0 1 0 21598933 32444416 6654 4089446400 4194304 9819077 140736397379408 18446744073709551615 6372743 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 7921 6654 707 1374 0 6542 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31684

[startup+6.30039 s]
/proc/loadavg: 0.98 0.31 0.10 3/201 18997
/proc/meminfo: memFree=28850176/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=37036 CPUtime=6.29
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 59050 0 0 0 611 18 0 0 25 0 1 0 21598933 37924864 7855 4089446400 4194304 9819077 140736397379408 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 9259 7855 707 1374 0 7880 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37036

[startup+12.7002 s]
/proc/loadavg: 1.13 0.36 0.12 3/201 18997
/proc/meminfo: memFree=28840272/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=46604 CPUtime=12.69
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 84423 0 0 0 1234 35 0 0 25 0 1 0 21598933 47722496 10246 4089446400 4194304 9819077 140736397379408 18446744073709551615 7816009 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 11651 10246 707 1374 0 10272 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46604

[startup+25.5008 s]
/proc/loadavg: 1.27 0.41 0.14 3/201 18997
/proc/meminfo: memFree=28827972/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=59424 CPUtime=25.49
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 148054 0 0 0 2481 68 0 0 25 0 1 0 21598933 60850176 13470 4089446400 4194304 9819077 140736397379408 18446744073709551615 6003129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18995/statm: 14856 13470 707 1374 0 13477 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59424

[startup+51.1011 s]
/proc/loadavg: 1.52 0.54 0.19 3/183 19026
/proc/meminfo: memFree=28984492/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=87936 CPUtime=51.09
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 262540 0 0 0 4975 134 0 0 25 0 1 0 21598933 90046464 20698 4089446400 4194304 9819077 140736397379408 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 21984 20698 707 1374 0 20605 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87936

[startup+102.306 s]
/proc/loadavg: 1.80 0.78 0.29 3/183 19030
/proc/meminfo: memFree=28919664/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=152756 CPUtime=102.29
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 481710 0 0 0 9962 267 0 0 25 0 1 0 21598933 156422144 36647 4089446400 4194304 9819077 140736397379408 18446744073709551615 6003322 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 38189 36647 707 1374 0 36810 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 152756

[startup+162.301 s]
/proc/loadavg: 1.93 1.00 0.40 3/183 19059
/proc/meminfo: memFree=28828116/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=245324 CPUtime=162.29
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 669880 0 0 0 15817 412 0 0 25 0 1 0 21598933 251211776 59940 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 61331 59940 707 1374 0 59952 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 245324

[startup+222.3 s]
/proc/loadavg: 1.94 1.17 0.49 3/183 19133
/proc/meminfo: memFree=28733840/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=343140 CPUtime=222.3
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 920052 0 0 0 21668 562 0 0 25 0 1 0 21598933 351375360 83211 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 85785 83211 707 1374 0 84406 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 343140

[startup+282.3 s]
/proc/loadavg: 1.97 1.32 0.58 3/183 19135
/proc/meminfo: memFree=28651556/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=426628 CPUtime=282.3
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 1126856 0 0 0 27522 708 0 0 25 0 1 0 21598933 436867072 103927 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 106657 103927 707 1374 0 105278 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 426628

[startup+342.3 s]
/proc/loadavg: 1.99 1.44 0.67 3/183 19137
/proc/meminfo: memFree=28571488/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=507180 CPUtime=342.29
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 1335275 0 0 0 33375 854 0 0 25 0 1 0 21598933 519352320 123646 4089446400 4194304 9819077 140736397379408 18446744073709551615 4678839 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 126795 123646 707 1374 0 125416 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 507180

[startup+402.301 s]
/proc/loadavg: 2.07 1.55 0.75 3/183 19284
/proc/meminfo: memFree=28423972/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=596680 CPUtime=402.3
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 1529445 0 0 0 39226 1004 0 0 25 0 1 0 21598933 611000320 143708 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 149170 143708 707 1374 0 147791 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 596680

[startup+462.301 s]
/proc/loadavg: 2.07 1.65 0.83 3/183 19286
/proc/meminfo: memFree=28277716/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=670008 CPUtime=462.3
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 1765888 0 0 0 45076 1154 0 0 25 0 1 0 21598933 686088192 161588 4089446400 4194304 9819077 140736397379408 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 167502 161588 707 1374 0 166123 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 670008

[startup+522.301 s]
/proc/loadavg: 2.06 1.72 0.91 3/183 19287
/proc/meminfo: memFree=28140032/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=744776 CPUtime=522.3
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 1968289 0 0 0 50934 1296 0 0 25 0 1 0 21598933 762650624 179733 4089446400 4194304 9819077 140736397379408 18446744073709551615 4999777 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 186194 179733 707 1374 0 184815 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 744776

[startup+582.301 s]
/proc/loadavg: 2.11 1.80 0.98 3/183 19289
/proc/meminfo: memFree=27980004/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=832104 CPUtime=582.31
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 2161381 0 0 0 56784 1447 0 0 25 0 1 0 21598933 852074496 200943 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 208026 200943 707 1374 0 206647 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 832104

[startup+642.301 s]
/proc/loadavg: 2.04 1.83 1.04 3/183 19291
/proc/meminfo: memFree=27824944/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=912720 CPUtime=642.31
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 2368338 0 0 0 62628 1603 0 0 25 0 1 0 21598933 934625280 220043 4089446400 4194304 9819077 140736397379408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 228180 220043 707 1374 0 226801 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 912720

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 1.95 1.34 3/183 19300
/proc/meminfo: memFree=27121752/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1168176 CPUtime=1002.32
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 3589215 0 0 0 97752 2480 0 0 25 0 1 0 21598933 1196212224 281718 4089446400 4194304 9819077 140736397379408 18446744073709551615 6023790 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 292044 281718 707 1374 0 290665 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1168176

[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/183 19302
/proc/meminfo: memFree=27007260/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1211400 CPUtime=1062.31
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 3805017 0 0 0 103602 2629 0 0 25 0 1 0 21598933 1240473600 292081 4089446400 4194304 9819077 140736397379408 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 302850 292081 707 1374 0 301471 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1211400

[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.41 4/183 19303
/proc/meminfo: memFree=26901932/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1239232 CPUtime=1122.32
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 4022551 0 0 0 109451 2781 0 0 25 0 1 0 21598933 1268973568 298963 4089446400 4194304 9819077 140736397379408 18446744073709551615 7487739 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 309808 298963 707 1374 0 308429 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1239232

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/183 19305
/proc/meminfo: memFree=26800584/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1266396 CPUtime=1182.33
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 4219406 0 0 0 115293 2940 0 0 25 0 1 0 21598933 1296789504 305025 4089446400 4194304 9819077 140736397379408 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 316599 305025 707 1374 0 315220 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1266396

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/183 19307
/proc/meminfo: memFree=26703432/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1284824 CPUtime=1242.33
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 4450224 0 0 0 121139 3094 0 0 25 0 1 0 21598933 1315659776 309452 4089446400 4194304 9819077 140736397379408 18446744073709551615 7487787 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 321206 309452 707 1374 0 319827 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1284824

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/183 19308
/proc/meminfo: memFree=26608872/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1307208 CPUtime=1302.33
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 4661111 0 0 0 126992 3241 0 0 25 0 1 0 21598933 1338580992 314707 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 326802 314707 707 1374 0 325423 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1307208

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/183 19310
/proc/meminfo: memFree=26464604/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1393176 CPUtime=1362.32
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 4898892 0 0 0 132842 3390 0 0 25 0 1 0 21598933 1426612224 331301 4089446400 4194304 9819077 140736397379408 18446744073709551615 6513072 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 348294 331301 707 1374 0 346915 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1393176

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.56 3/183 19311
/proc/meminfo: memFree=26354068/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1427640 CPUtime=1422.33
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 5163345 0 0 0 138692 3541 0 0 25 0 1 0 21598933 1461903360 339470 4089446400 4194304 9819077 140736397379408 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 356910 339470 707 1374 0 355531 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1427640

[startup+1482.3 s]
/proc/loadavg: 2.06 1.99 1.59 3/183 19313
/proc/meminfo: memFree=26269204/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1442816 CPUtime=1482.33
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 5393400 0 0 0 144539 3694 0 0 25 0 1 0 21598933 1477443584 342245 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 360704 342245 707 1374 0 359325 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1442816

[startup+1542.3 s]
/proc/loadavg: 2.07 2.00 1.62 3/183 19315
/proc/meminfo: memFree=26177520/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1457588 CPUtime=1542.34
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 5664559 0 0 0 150376 3858 0 0 25 0 1 0 21598933 1492570112 345218 4089446400 4194304 9819077 140736397379408 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 364397 345218 707 1374 0 363018 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1457588

[startup+1602.3 s]
/proc/loadavg: 2.09 2.02 1.65 3/183 19316
/proc/meminfo: memFree=26099096/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1460416 CPUtime=1602.33
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 5922645 0 0 0 156218 4015 0 0 25 0 1 0 21598933 1495465984 345754 4089446400 4194304 9819077 140736397379408 18446744073709551615 6181230 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 365104 345754 707 1374 0 363725 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1460416

[startup+1662.3 s]
/proc/loadavg: 2.24 2.06 1.68 3/183 19318
/proc/meminfo: memFree=26012496/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1467348 CPUtime=1662.34
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 6199752 0 0 0 162068 4166 0 0 25 0 1 0 21598933 1502564352 347082 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 366837 347082 707 1374 0 365458 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1467348

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 1.70 3/183 19319
/proc/meminfo: memFree=25931984/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1476520 CPUtime=1722.34
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 6469853 0 0 0 167903 4331 0 0 25 0 1 0 21598933 1511956480 348661 4089446400 4194304 9819077 140736397379408 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 369130 348661 707 1374 0 367751 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1476520

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.72 3/183 19321
/proc/meminfo: memFree=25847708/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1484796 CPUtime=1782.34
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 6812843 0 0 0 173736 4498 0 0 25 0 1 0 21598933 1520431104 350309 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 371199 350309 707 1374 0 369820 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1484796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.03 1.72 3/183 19321
/proc/meminfo: memFree=25821656/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1486304 CPUtime=1800.05
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 6928712 0 0 0 175457 4548 0 0 25 0 1 0 21598933 1521975296 350665 4089446400 4194304 9819077 140736397379408 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18995/statm: 371301 350659 707 1374 0 369922 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1486304

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

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

[startup+1800.6 s]
/proc/loadavg: 2.02 2.03 1.72 3/184 19322
/proc/meminfo: memFree=25821152/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1486304 CPUtime=1800.65
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 6928728 0 0 0 175517 4548 0 0 18 0 1 0 21598933 1521975296 350668 4089446400 4194304 9819077 140736397379408 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18995/statm: 371576 350668 710 1374 0 370197 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 1486304

[startup+1800.8 s]
/proc/loadavg: 2.02 2.03 1.72 3/184 19322
/proc/meminfo: memFree=25821152/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=1483232 CPUtime=1800.85
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 6928728 0 0 0 175537 4548 0 0 18 0 1 0 21598933 1518829568 349900 4089446400 4194304 9819077 140736397379408 18446744073709551615 4609365 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18995/statm: 370808 349900 710 1374 0 369429 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1483232

[startup+1800.9 s]
/proc/loadavg: 2.02 2.03 1.72 3/184 19322
/proc/meminfo: memFree=25821152/32951124 swapFree=67111528/67111528
[pid=18995] ppid=18993 vsize=778172 CPUtime=1800.95
/proc/18995/stat : 18995 (pbscip.linux.x8) R 18993 18995 18581 0 -1 4202496 6928728 0 0 0 175544 4551 0 0 19 0 1 0 21598933 796848128 173636 4089446400 4194304 9819077 140736397379408 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18995/statm: 194414 173378 710 1374 0 193035 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 778172

Child status: 0
Real time (s): 1800.94
CPU time (s): 1800.99
CPU user time (s): 1755.45
CPU system time (s): 45.5371
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1494312

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

runsolver used 2.51262 second user time and 5.84811 second system time

The end

Launcher Data 

Begin job on node135 at 2010-07-07 22:17:42
IDJOB=2699961
IDBENCH=79388
IDSOLVER=1205
FILE ID=node135/2699961-1278533862
PBS_JOBID= 11239208
Free space on /tmp= 73756 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh12_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699961-1278533862/watcher-2699961-1278533862 -o /tmp/evaluation-result-2699961-1278533862/solver-2699961-1278533862 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2699961-1278533862.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d787b0d4d15d2d5c6758a89f1cfd571b
RANDOM SEED=1118915051

node135.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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
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.73
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.839
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:      28877484 kB
Buffers:        120956 kB
Cached:        3550136 kB
SwapCached:          0 kB
Active:        2126132 kB
Inactive:      1803364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28877484 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6468 kB
Writeback:           0 kB
AnonPages:      257924 kB
Mapped:          20296 kB
Slab:            80212 kB
PageTables:       5224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1639824 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73748 MiB
End job on node135 at 2010-07-07 22:47:44