Trace number 2700418

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverMSAT (TO) 1802.14 1802.06

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
MD5SUMf2d449aa8c80edec7a2d4cb4a780c49d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark333
Best CPU time to get the best result obtained on this benchmark2.84657
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 constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2700418-1278535537.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.01	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.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.00/0.06	c    (0.1s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (3 rounds):
0.00/0.06	c  100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  1050 implications, 0 cliques
0.00/0.06	c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06	c     850 constraints of type <indicator>
0.00/0.06	c     850 constraints of type <linear>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.04
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.2
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1799.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 3420
0.00/0.06	c 
0.00/0.06	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06	c lp/solvefreq = -1
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.06/0.06	o 420925
0.06/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.06/0.06	c t 0.1s|     1 |     0 |     0 |     - |6130k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.06/0.06	c   0.1s|     1 |     2 |     0 |     - |6081k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.59/0.64	o 13698
0.59/0.64	c * 0.6s|  4779 |  2738 |     0 |   0.0 |7827k| 857 |   - |1800 |1787 |   0 |   0 |   0 |  87 |   0 | 0.000000e+00 | 1.369800e+04 |    Inf 
1.58/1.65	c   1.6s| 10000 |  7828 |     0 |   0.0 |  10M| 857 |   - |1800 |2348 |   0 |   0 |   0 | 648 |   0 | 1.000000e+00 | 1.369800e+04 |  Large 
1.58/1.66	o 13576
1.58/1.66	c * 1.6s| 10019 |  7795 |     0 |   0.0 |  10M| 857 |   - |1800 |2348 |   0 |   0 |   0 | 648 |   0 | 1.000000e+00 | 1.357600e+04 |  Large 
1.58/1.66	o 13489
1.58/1.66	c * 1.6s| 10020 |  7762 |     0 |   0.0 |  10M| 857 |   - |1800 |2348 |   0 |   0 |   0 | 648 |   0 | 1.000000e+00 | 1.348900e+04 |  Large 
2.39/2.44	o 13370
2.39/2.44	c * 2.3s| 13197 | 10576 |     0 |   0.0 |  13M| 857 |   - |1800 |3949 |   0 |   0 |   0 |2321 |   0 | 1.000000e+00 | 1.337000e+04 |  Large 
2.39/2.44	o 13340
2.39/2.44	c * 2.3s| 13198 | 10561 |     0 |   0.0 |  13M| 857 |   - |1800 |3949 |   0 |   0 |   0 |2321 |   0 | 1.000000e+00 | 1.334000e+04 |  Large 
4.19/4.27	c   4.1s| 20000 | 16512 |     0 |   0.0 |  17M| 857 |   - |1800 |4557 |   0 |   0 |   0 |6991 |   0 | 1.000000e+00 | 1.334000e+04 |  Large 
4.99/5.03	o 13183
4.99/5.03	c * 4.8s| 22946 | 19048 |     0 |   0.0 |  19M| 857 |   - |1800 |4865 |   0 |   0 |   0 |8856 |   0 | 1.000000e+00 | 1.318300e+04 |  Large 
6.09/6.17	o 13129
6.09/6.17	c * 5.9s| 27215 | 22767 |     0 |   0.0 |  21M| 857 |   - |1800 |4664 |   0 |   0 |   0 |  11k|   0 | 1.000000e+00 | 1.312900e+04 |  Large 
6.79/6.89	c   6.6s| 30000 | 25248 |     0 |   0.0 |  23M| 857 |   - |1800 |4814 |   0 |   0 |   0 |  13k|   0 | 1.000000e+00 | 1.312900e+04 |  Large 
7.49/7.53	o 13060
7.49/7.53	c * 7.3s| 32386 | 27324 |     0 |   0.0 |  24M| 857 |   - |1800 |4663 |   0 |   0 |   0 |  14k|   0 | 1.000000e+00 | 1.306000e+04 |  Large 
9.49/9.54	c   9.2s| 40000 | 34069 |     0 |   0.0 |  29M| 857 |   - |1800 |4790 |   0 |   0 |   0 |  19k|   0 | 1.000000e+00 | 1.306000e+04 |  Large 
10.79/10.85	o 12945
10.79/10.85	c *10.5s| 44896 | 38268 |     0 |   0.0 |  32M| 857 |   - |1800 |5238 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 | 1.294500e+04 |  Large 
11.39/11.40	o 12878
11.39/11.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.39/11.40	c *11.0s| 46945 | 40018 |     0 |   0.0 |  33M| 857 |   - |1800 |5286 |   0 |   0 |   0 |  24k|   0 | 1.000000e+00 | 1.287800e+04 |  Large 
11.99/12.07	o 12786
11.99/12.07	c *11.7s| 49387 | 42019 |     0 |   0.0 |  34M| 857 |   - |1800 |5424 |   0 |   0 |   0 |  26k|   0 | 1.000000e+00 | 1.278600e+04 |  Large 
12.19/12.23	c  11.8s| 50000 | 42562 |     0 |   0.0 |  35M| 857 |   - |1800 |5375 |   0 |   0 |   0 |  26k|   0 | 1.000000e+00 | 1.278600e+04 |  Large 
13.10/13.12	o 12642
13.10/13.12	c *12.7s| 53268 | 45142 |     0 |   0.0 |  36M| 857 |   - |1800 |5479 |   0 |   0 |   0 |  28k|   0 | 1.000000e+00 | 1.264200e+04 |  Large 
14.59/14.66	o 12615
14.59/14.66	c *14.2s| 58794 | 49871 |     0 |   0.0 |  40M| 857 |   - |1800 |5983 |   0 |   0 |   0 |  33k|   0 | 1.000000e+00 | 1.261500e+04 |  Large 
14.99/15.00	c  14.5s| 60000 | 50923 |     0 |   0.0 |  41M| 857 |   - |1800 |5963 |   0 |   0 |   0 |  33k|   0 | 1.000000e+00 | 1.261500e+04 |  Large 
16.29/16.34	o 12583
16.29/16.34	c *15.8s| 64664 | 54864 |     0 |   0.0 |  44M| 857 |   - |1800 |6415 |   0 |   0 |   0 |  37k|   0 | 1.000000e+00 | 1.258300e+04 |  Large 
17.79/17.83	c  17.3s| 70000 | 59526 |     0 |   0.0 |  47M| 857 |   - |1800 |6379 |   0 |   0 |   0 |  41k|   0 | 1.000000e+00 | 1.258300e+04 |  Large 
20.09/20.10	o 12553
20.09/20.10	c *19.5s| 78227 | 66665 |     0 |   0.0 |  52M| 857 |   - |1800 |6679 |   0 |   0 |   0 |  47k|   0 | 1.000000e+00 | 1.255300e+04 |  Large 
20.09/20.10	o 12489
20.09/20.10	c *19.5s| 78228 | 66468 |     0 |   0.0 |  51M| 857 |   - |1800 |6678 |   0 |   0 |   0 |  47k|   0 | 1.000000e+00 | 1.248900e+04 |  Large 
20.59/20.60	c  19.9s| 80000 | 68015 |     0 |   0.0 |  53M| 857 |   - |1800 |6922 |   0 |   0 |   0 |  48k|   0 | 1.000000e+00 | 1.248900e+04 |  Large 
21.09/21.12	o 12385
21.09/21.12	c *20.5s| 81891 | 69344 |     0 |   0.0 |  53M| 857 |   - |1800 |7152 |   0 |   0 |   0 |  50k|   0 | 1.000000e+00 | 1.238500e+04 |  Large 
23.39/23.41	c  22.7s| 90000 | 76431 |     0 |   0.0 |  58M| 857 |   - |1800 |7497 |   0 |   0 |   0 |  55k|   0 | 1.000000e+00 | 1.238500e+04 |  Large 
24.29/24.32	o 12225
24.29/24.32	c *23.6s| 93103 | 78465 |     0 |   0.0 |  59M| 857 |   - |1800 |8123 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 | 1.222500e+04 |  Large 
24.29/24.32	o 11851
24.29/24.32	c *23.6s| 93104 | 76714 |     0 |   0.0 |  55M| 857 |   - |1800 |8123 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 | 1.185100e+04 |  Large 
24.39/24.46	o 11745
24.39/24.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.39/24.46	c *23.7s| 93541 | 76515 |     0 |   0.0 |  54M| 857 |   - |1800 |8142 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 | 1.174500e+04 |  Large 
25.09/25.18	o 11645
25.09/25.18	c *24.4s| 95994 | 78084 |     0 |   0.0 |  54M| 857 |   - |1800 |6952 |   0 |   0 |   0 |  60k|   0 | 1.000000e+00 | 1.164500e+04 |  Large 
25.39/25.43	o 11523
25.39/25.43	c *24.6s| 96909 | 78181 |     0 |   0.0 |  53M| 857 |   - |1800 |6697 |   0 |   0 |   0 |  60k|   0 | 1.000000e+00 | 1.152300e+04 |  Large 
25.39/25.44	o 11274
25.39/25.44	c *24.6s| 96910 | 76704 |     0 |   0.0 |  51M| 857 |   - |1800 |6697 |   0 |   0 |   0 |  60k|   0 | 1.000000e+00 | 1.127400e+04 |  Large 
25.39/25.48	o 11175
25.39/25.48	c *24.7s| 97042 | 76263 |     0 |   0.0 |  51M| 857 |   - |1800 |6668 |   0 |   0 |   0 |  61k|   0 | 1.000000e+00 | 1.117500e+04 |  Large 
25.39/25.48	o 11145
25.39/25.48	c *24.7s| 97043 | 76110 |     0 |   0.0 |  51M| 857 |   - |1800 |6668 |   0 |   0 |   0 |  61k|   0 | 1.000000e+00 | 1.114500e+04 |  Large 
25.79/25.83	o 10930
25.79/25.83	c *25.0s| 98293 | 76108 |     0 |   0.0 |  50M| 857 |   - |1800 |6560 |   0 |   0 |   0 |  61k|   0 | 1.000000e+00 | 1.093000e+04 |  Large 
26.30/26.31	c  25.5s|100000 | 77597 |     0 |   0.0 |  51M| 857 |   - |1800 |6501 |   0 |   0 |   0 |  63k|   0 | 1.000000e+00 | 1.093000e+04 |  Large 
27.69/27.72	o 10915
27.69/27.72	c *26.9s|104954 | 81867 |     0 |   0.0 |  55M| 857 |   - |1800 |6847 |   0 |   0 |   0 |  66k|   0 | 1.000000e+00 | 1.091500e+04 |  Large 
27.89/27.99	o 10849
27.89/27.99	c *27.1s|105897 | 82382 |     0 |   0.0 |  55M| 857 |   - |1800 |6801 |   0 |   0 |   0 |  67k|   0 | 1.000000e+00 | 1.084900e+04 |  Large 
28.50/28.54	o 10510
28.50/28.54	c *27.6s|107766 | 82212 |     0 |   0.0 |  55M| 857 |   - |1800 |6739 |   0 |   0 |   0 |  68k|   0 | 1.000000e+00 | 1.051000e+04 |  Large 
29.20/29.20	c  28.3s|110000 | 84158 |     0 |   0.0 |  56M| 857 |   - |1800 |7036 |   0 |   0 |   0 |  70k|   0 | 1.000000e+00 | 1.051000e+04 |  Large 
32.09/32.11	c  31.1s|120000 | 92832 |     0 |   0.0 |  63M| 857 |   - |1800 |6180 |   0 |   0 |   0 |  77k|   0 | 1.000000e+00 | 1.051000e+04 |  Large 
34.99/35.01	c  34.0s|130000 |101490 |     0 |   0.0 |  69M| 857 |   - |1800 |6927 |   0 |   0 |   0 |  85k|   0 | 1.000000e+00 | 1.051000e+04 |  Large 
37.99/38.00	c  36.9s|140000 |110114 |     0 |   0.0 |  75M| 857 |   - |1800 |7266 |   0 |   0 |   0 |  92k|   0 | 1.000000e+00 | 1.051000e+04 |  Large 
40.99/41.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
40.99/41.00	c  39.8s|150000 |118666 |     0 |   0.0 |  82M| 857 |   - |1800 |7402 |   0 |   0 |   0 | 101k|   0 | 1.000000e+00 | 1.051000e+04 |  Large 
41.59/41.66	o 10436
41.59/41.66	c *40.4s|152109 |119996 |     0 |   0.0 |  83M| 857 |   - |1800 |7800 |   0 |   0 |   0 | 103k|   0 | 1.000000e+00 | 1.043600e+04 |  Large 
44.09/44.14	c  42.8s|160000 |126652 |     0 |   0.0 |  89M| 857 |   - |1800 |8154 |   0 |   0 |   0 | 109k|   0 | 1.000000e+00 | 1.043600e+04 |  Large 
47.20/47.27	c  45.8s|170000 |135110 |     0 |   0.0 |  95M| 857 |   - |1800 |8604 |   0 |   0 |   0 | 118k|   0 | 1.000000e+00 | 1.043600e+04 |  Large 
47.30/47.33	o 10322
47.30/47.33	c *45.9s|170192 |134463 |     0 |   0.0 |  94M| 857 |   - |1800 |8674 |   0 |   0 |   0 | 118k|   0 | 1.000000e+00 | 1.032200e+04 |  Large 
50.50/50.50	c  49.0s|180000 |142671 |     0 |   0.0 | 101M| 857 |   - |1800 |9203 |   0 |   0 |   0 | 127k|   0 | 1.000000e+00 | 1.032200e+04 |  Large 
51.10/51.13	o 10131
51.10/51.13	c *49.6s|181842 |142685 |     0 |   0.0 | 101M| 857 |   - |1800 |9291 |   0 |   0 |   0 | 129k|   0 | 1.000000e+00 | 1.013100e+04 |  Large 
53.90/53.97	c  52.4s|190000 |149377 |     0 |   0.0 | 107M| 857 |   - |1800 |  10k|   0 |   0 |   0 | 137k|   0 | 1.000000e+00 | 1.013100e+04 |  Large 
57.10/57.11	c  55.5s|200000 |157940 |     0 |   0.0 | 112M| 857 |   - |1800 |8452 |   0 |   0 |   0 | 145k|   0 | 1.000000e+00 | 1.013100e+04 |  Large 
60.10/60.18	c  58.4s|210000 |166531 |     0 |   0.0 | 119M| 857 |   - |1800 |9263 |   0 |   0 |   0 | 153k|   0 | 1.000000e+00 | 1.013100e+04 |  Large 
63.30/63.36	c  61.5s|220000 |175069 |     0 |   0.0 | 126M| 857 |   - |1800 |  10k|   0 |   0 |   0 | 162k|   0 | 1.000000e+00 | 1.013100e+04 |  Large 
66.49/66.56	c  64.7s|230000 |183517 |     0 |   0.0 | 132M| 857 |   - |1800 |  11k|   0 |   0 |   0 | 170k|   0 | 1.000000e+00 | 1.013100e+04 |  Large 
69.90/69.92	c  67.9s|240000 |191922 |     0 |   0.0 | 139M| 857 |   - |1800 |  12k|   0 |   0 |   0 | 179k|   0 | 1.000000e+00 | 1.013100e+04 |  Large 
72.09/72.19	o 10029
72.09/72.19	c *70.1s|246627 |196394 |     0 |   0.0 | 142M| 857 |   - |1800 |  13k|   0 |   0 |   0 | 185k|   0 | 1.000000e+00 | 1.002900e+04 |  Large 
73.29/73.37	c  71.2s|250000 |199273 |     0 |   0.0 | 145M| 857 |   - |1800 |  13k|   0 |   0 |   0 | 188k|   0 | 1.000000e+00 | 1.002900e+04 |  Large 
75.80/75.84	o 9535
75.80/75.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.80/75.84	c *73.7s|256730 |198365 |     0 |   0.0 | 137M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 194k|   0 | 1.000000e+00 | 9.535000e+03 |  Large 
76.89/76.97	c  74.8s|260000 |201217 |     0 |   0.0 | 138M| 857 |   - |1800 |  11k|   0 |   0 |   0 | 197k|   0 | 1.000000e+00 | 9.535000e+03 |  Large 
78.59/78.60	o 9509
78.59/78.60	c *76.4s|265068 |205233 |     0 |   0.0 | 140M| 857 |   - |1800 |  10k|   0 |   0 |   0 | 200k|   0 | 1.000000e+00 | 9.509000e+03 |  Large 
80.20/80.21	c  77.9s|270000 |209465 |     0 |   0.0 | 143M| 857 |   - |1800 |  10k|   0 |   0 |   0 | 204k|   0 | 1.000000e+00 | 9.509000e+03 |  Large 
80.20/80.22	o 9478
80.20/80.22	c *78.0s|270003 |208942 |     0 |   0.0 | 142M| 857 |   - |1800 |  10k|   0 |   0 |   0 | 204k|   0 | 1.000000e+00 | 9.478000e+03 |  Large 
83.39/83.49	c  81.1s|280000 |217514 |     0 |   0.0 | 148M| 857 |   - |1800 |9414 |   0 |   0 |   0 | 212k|   0 | 1.000000e+00 | 9.478000e+03 |  Large 
86.59/86.66	c  84.2s|290000 |226083 |     0 |   0.0 | 154M| 857 |   - |1800 |9554 |   0 |   0 |   0 | 220k|   0 | 1.000000e+00 | 9.478000e+03 |  Large 
88.50/88.53	o 9460
88.50/88.53	c *86.0s|295836 |230704 |     0 |   0.0 | 157M| 857 |   - |1800 |9717 |   0 |   0 |   0 | 225k|   0 | 1.000000e+00 | 9.460000e+03 |  Large 
89.30/89.39	o 9441
89.30/89.39	c *86.9s|298489 |232588 |     0 |   0.0 | 158M| 857 |   - |1800 |9786 |   0 |   0 |   0 | 227k|   0 | 1.000000e+00 | 9.441000e+03 |  Large 
89.90/89.91	c  87.3s|300000 |233882 |     0 |   0.0 | 159M| 857 |   - |1800 |9881 |   0 |   0 |   0 | 228k|   0 | 1.000000e+00 | 9.441000e+03 |  Large 
93.09/93.10	c  90.5s|310000 |242464 |     0 |   0.0 | 166M| 857 |   - |1800 |  10k|   0 |   0 |   0 | 236k|   0 | 1.000000e+00 | 9.441000e+03 |  Large 
94.19/94.29	o 9419
94.19/94.29	c *91.6s|313547 |245066 |     0 |   0.0 | 167M| 857 |   - |1800 |  10k|   0 |   0 |   0 | 239k|   0 | 1.000000e+00 | 9.419000e+03 |  Large 
96.40/96.46	c  93.7s|320000 |250559 |     0 |   0.0 | 171M| 857 |   - |1800 |  10k|   0 |   0 |   0 | 244k|   0 | 1.000000e+00 | 9.419000e+03 |  Large 
99.69/99.77	c  96.9s|330000 |259007 |     0 |   0.0 | 178M| 857 |   - |1800 |  11k|   0 |   0 |   0 | 253k|   0 | 1.000000e+00 | 9.419000e+03 |  Large 
100.59/100.68	o 9415
100.59/100.68	c *97.8s|332589 |261101 |     0 |   0.0 | 179M| 857 |   - |1800 |  11k|   0 |   0 |   0 | 255k|   0 | 1.000000e+00 | 9.415000e+03 |  Large 
102.49/102.57	o 9389
102.49/102.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
102.49/102.57	c *99.7s|338149 |265256 |     0 |   0.0 | 182M| 857 |   - |1800 |  11k|   0 |   0 |   0 | 260k|   0 | 1.000000e+00 | 9.389000e+03 |  Large 
103.20/103.20	c   100s|340000 |266804 |     0 |   0.0 | 183M| 857 |   - |1800 |  11k|   0 |   0 |   0 | 262k|   0 | 1.000000e+00 | 9.389000e+03 |  Large 
106.50/106.51	o 9230
106.50/106.51	c * 104s|349457 |271237 |     0 |   0.0 | 181M| 857 |   - |1800 |  11k|   0 |   0 |   0 | 270k|   0 | 1.000000e+00 | 9.230000e+03 |  Large 
106.70/106.73	c   104s|350000 |271677 |     0 |   0.0 | 182M| 857 |   - |1800 |  11k|   0 |   0 |   0 | 270k|   0 | 1.000000e+00 | 9.230000e+03 |  Large 
110.40/110.43	c   107s|360000 |279940 |     0 |   0.0 | 189M| 857 |   - |1800 |  12k|   0 |   0 |   0 | 280k|   0 | 1.000000e+00 | 9.230000e+03 |  Large 
110.79/110.82	o 9162
110.79/110.82	c * 108s|361110 |279287 |     0 |   0.0 | 187M| 857 |   - |1800 |  12k|   0 |   0 |   0 | 281k|   0 | 1.000000e+00 | 9.162000e+03 |  Large 
110.79/110.90	o 9076
110.79/110.90	c * 108s|361298 |277257 |     0 |   0.0 | 184M| 857 |   - |1800 |  12k|   0 |   0 |   0 | 281k|   0 | 1.000000e+00 | 9.076000e+03 |  Large 
114.20/114.21	c   111s|370000 |284364 |     0 |   0.0 | 190M| 857 |   - |1800 |  12k|   0 |   0 |   0 | 289k|   0 | 1.000000e+00 | 9.076000e+03 |  Large 
117.10/117.12	o 9069
117.10/117.12	c * 114s|377868 |290670 |     0 |   0.0 | 195M| 857 |   - |1800 |  13k|   0 |   0 |   0 | 297k|   0 | 1.000000e+00 | 9.069000e+03 |  Large 
117.10/117.12	o 9057
117.10/117.12	c * 114s|377871 |290372 |     0 |   0.0 | 195M| 857 |   - |1800 |  13k|   0 |   0 |   0 | 297k|   0 | 1.000000e+00 | 9.057000e+03 |  Large 
117.79/117.89	c   115s|380000 |292117 |     0 |   0.0 | 196M| 857 |   - |1800 |  13k|   0 |   0 |   0 | 299k|   0 | 1.000000e+00 | 9.057000e+03 |  Large 
121.60/121.65	c   118s|390000 |300357 |     0 |   0.0 | 203M| 857 |   - |1800 |  13k|   0 |   0 |   0 | 308k|   0 | 1.000000e+00 | 9.057000e+03 |  Large 
125.31/125.38	c   122s|400000 |308548 |     0 |   0.0 | 210M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 318k|   0 | 1.000000e+00 | 9.057000e+03 |  Large 
125.40/125.48	o 8966
125.40/125.48	c * 122s|400255 |306348 |     0 |   0.0 | 208M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 318k|   0 | 1.000000e+00 | 8.966000e+03 |  Large 
125.59/125.66	o 8917
125.59/125.66	c * 122s|400670 |305418 |     0 |   0.0 | 207M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 318k|   0 | 1.000000e+00 | 8.917000e+03 |  Large 
125.59/125.67	o 8905
125.59/125.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
125.59/125.67	c * 122s|400671 |305112 |     0 |   0.0 | 206M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 318k|   0 | 1.000000e+00 | 8.905000e+03 |  Large 
125.79/125.83	o 8685
125.79/125.83	c * 122s|401068 |299539 |     0 |   0.0 | 196M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 319k|   0 | 1.000000e+00 | 8.685000e+03 |  Large 
129.39/129.46	c   126s|410000 |306866 |     0 |   0.0 | 203M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 327k|   0 | 1.000000e+00 | 8.685000e+03 |  Large 
133.60/133.60	c   130s|420000 |314965 |     0 |   0.0 | 210M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 337k|   0 | 1.000000e+00 | 8.685000e+03 |  Large 
137.89/137.95	c   134s|430000 |322904 |     0 |   0.0 | 218M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 349k|   0 | 1.000000e+00 | 8.685000e+03 |  Large 
138.39/138.49	o 8663
138.39/138.49	c * 135s|431162 |323172 |     0 |   0.0 | 217M| 857 |   - |1800 |  17k|   0 |   0 |   0 | 350k|   0 | 1.000000e+00 | 8.663000e+03 |  Large 
141.99/142.04	c   138s|440000 |330570 |     0 |   0.0 | 222M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 358k|   0 | 1.000000e+00 | 8.663000e+03 |  Large 
145.49/145.50	c   142s|450000 |339106 |     0 |   0.0 | 229M| 857 |   - |1800 |  14k|   0 |   0 |   0 | 366k|   0 | 1.000000e+00 | 8.663000e+03 |  Large 
147.10/147.11	o 8382
147.10/147.11	c * 143s|454472 |334105 |     0 |   0.0 | 217M| 857 |   - |1800 |  15k|   0 |   0 |   0 | 370k|   0 | 1.000000e+00 | 8.382000e+03 |  Large 
149.20/149.20	c   145s|460000 |338719 |     0 |   0.0 | 220M| 857 |   - |1800 |  15k|   0 |   0 |   0 | 375k|   0 | 1.000000e+00 | 8.382000e+03 |  Large 
152.99/153.06	c   149s|470000 |346967 |     0 |   0.0 | 227M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 384k|   0 | 1.000000e+00 | 8.382000e+03 |  Large 
157.00/157.00	c   153s|480000 |355256 |     0 |   0.0 | 234M| 857 |   - |1800 |  17k|   0 |   0 |   0 | 393k|   0 | 1.000000e+00 | 8.382000e+03 |  Large 
160.90/160.96	c   157s|490000 |363538 |     0 |   0.0 | 241M| 857 |   - |1800 |  17k|   0 |   0 |   0 | 402k|   0 | 1.000000e+00 | 8.382000e+03 |  Large 
165.01/165.03	c   161s|500000 |371674 |     0 |   0.0 | 248M| 857 |   - |1800 |  18k|   0 |   0 |   0 | 412k|   0 | 1.000000e+00 | 8.382000e+03 |  Large 
169.19/169.20	c   165s|510000 |379949 |     0 |   0.0 | 255M| 857 |   - |1800 |  19k|   0 |   0 |   0 | 422k|   0 | 1.000000e+00 | 8.382000e+03 |  Large 
171.69/171.77	o 8281
171.69/171.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
171.69/171.77	c * 167s|515616 |380759 |     0 |   0.0 | 253M| 857 |   - |1800 |  19k|   0 |   0 |   0 | 428k|   0 | 1.000000e+00 | 8.281000e+03 |  Large 
173.70/173.77	c   169s|520000 |384305 |     0 |   0.0 | 256M| 857 |   - |1800 |  19k|   0 |   0 |   0 | 432k|   0 | 1.000000e+00 | 8.281000e+03 |  Large 
178.11/178.19	o 8240
178.11/178.19	c * 174s|529816 |390815 |     0 |   0.0 | 260M| 857 |   - |1800 |  20k|   0 |   0 |   0 | 442k|   0 | 1.000000e+00 | 8.240000e+03 |  Large 
178.20/178.28	c   174s|530000 |390965 |     0 |   0.0 | 260M| 857 |   - |1800 |  20k|   0 |   0 |   0 | 442k|   0 | 1.000000e+00 | 8.240000e+03 |  Large 
182.69/182.71	c   178s|540000 |399159 |     0 |   0.0 | 267M| 857 |   - |1800 |  21k|   0 |   0 |   0 | 452k|   0 | 1.000000e+00 | 8.240000e+03 |  Large 
187.30/187.31	c   183s|550000 |407246 |     0 |   0.0 | 274M| 857 |   - |1800 |  22k|   0 |   0 |   0 | 463k|   0 | 1.000000e+00 | 8.240000e+03 |  Large 
187.70/187.78	o 8229
187.70/187.78	c * 183s|551015 |407683 |     0 |   0.0 | 275M| 857 |   - |1800 |  22k|   0 |   0 |   0 | 464k|   0 | 1.000000e+00 | 8.229000e+03 |  Large 
192.00/192.06	c   187s|560000 |414983 |     0 |   0.0 | 281M| 857 |   - |1800 |  23k|   0 |   0 |   0 | 473k|   0 | 1.000000e+00 | 8.229000e+03 |  Large 
196.50/196.54	o 8213
196.50/196.54	c * 192s|569031 |421687 |     0 |   0.0 | 287M| 857 |   - |1800 |  24k|   0 |   0 |   0 | 482k|   0 | 1.000000e+00 | 8.213000e+03 |  Large 
196.50/196.55	o 8144
196.50/196.55	c * 192s|569032 |419040 |     0 |   0.0 | 283M| 857 |   - |1800 |  24k|   0 |   0 |   0 | 482k|   0 | 1.000000e+00 | 8.144000e+03 |  Large 
197.00/197.01	c   192s|570000 |419822 |     0 |   0.0 | 284M| 857 |   - |1800 |  24k|   0 |   0 |   0 | 483k|   0 | 1.000000e+00 | 8.144000e+03 |  Large 
202.00/202.09	c   197s|580000 |427825 |     0 |   0.0 | 291M| 857 |   - |1800 |  25k|   0 |   0 |   0 | 494k|   0 | 1.000000e+00 | 8.144000e+03 |  Large 
207.30/207.39	c   202s|590000 |435702 |     0 |   0.0 | 298M| 857 |   - |1800 |  26k|   0 |   0 |   0 | 505k|   0 | 1.000000e+00 | 8.144000e+03 |  Large 
211.50/211.56	o 4497
211.50/211.56	c * 206s|597202 |284773 |     0 |   0.0 | 175M| 857 |   - |1800 |  27k|   0 |   0 |   0 | 513k|   0 | 1.000000e+00 | 4.497000e+03 |  Large 
211.60/211.60	o 4127
211.60/211.60	c * 206s|597203 |267385 |     0 |   0.0 | 166M| 857 |   - |1800 |  27k|   0 |   0 |   0 | 513k|   0 | 1.000000e+00 | 4.127000e+03 |  Large 
213.20/213.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
213.20/213.24	c   208s|600000 |269594 |     0 |   0.0 | 166M| 857 |   - |1800 |  22k|   0 |   0 |   0 | 515k|   0 | 1.000000e+00 | 4.127000e+03 |  Large 
218.30/218.39	c   213s|610000 |277576 |     0 |   0.0 | 174M| 857 |   - |1800 |  18k|   0 |   0 |   0 | 523k|   0 | 1.000000e+00 | 4.127000e+03 |  Large 
221.71/221.77	o 4075
221.71/221.77	c * 216s|616569 |280184 |     0 |   0.0 | 178M| 857 |   - |1800 |  17k|   0 |   0 |   0 | 528k|   0 | 1.000000e+00 | 4.075000e+03 |  Large 
223.40/223.46	c   218s|620000 |282888 |     0 |   0.0 | 181M| 857 |   - |1800 |  15k|   0 |   0 |   0 | 530k|   0 | 1.000000e+00 | 4.075000e+03 |  Large 
228.31/228.34	c   223s|630000 |290568 |     0 |   0.0 | 190M| 857 |   - |1800 |  15k|   0 |   0 |   0 | 538k|   0 | 1.000000e+00 | 4.075000e+03 |  Large 
232.80/232.85	c   227s|640000 |298397 |     0 |   0.0 | 199M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 546k|   0 | 1.000000e+00 | 4.075000e+03 |  Large 
237.70/237.75	c   232s|650000 |305980 |     0 |   0.0 | 207M| 857 |   - |1800 |  15k|   0 |   0 |   0 | 554k|   0 | 1.000000e+00 | 4.075000e+03 |  Large 
241.60/241.69	o 4061
241.60/241.69	c * 236s|657822 |311149 |     0 |   0.0 | 213M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 560k|   0 | 1.000000e+00 | 4.061000e+03 |  Large 
241.70/241.70	o 4036
241.70/241.70	c * 236s|657823 |309716 |     0 |   0.0 | 213M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 560k|   0 | 1.000000e+00 | 4.036000e+03 |  Large 
241.80/241.84	o 4027
241.80/241.84	c * 236s|658050 |309302 |     0 |   0.0 | 213M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 561k|   0 | 1.000000e+00 | 4.027000e+03 |  Large 
242.80/242.85	c   237s|660000 |310738 |     0 |   0.0 | 214M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 562k|   0 | 1.000000e+00 | 4.027000e+03 |  Large 
244.70/244.76	o 4015
244.70/244.76	c * 239s|663752 |312916 |     0 |   0.0 | 218M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 565k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
248.00/248.05	c   242s|670000 |317667 |     0 |   0.0 | 224M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 570k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
253.11/253.12	c   247s|680000 |325244 |     0 |   0.0 | 233M| 857 |   - |1800 |  16k|   0 |   0 |   0 | 578k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
258.41/258.49	c   252s|690000 |332648 |     0 |   0.0 | 243M| 857 |   - |1800 |  17k|   0 |   0 |   0 | 587k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
263.91/263.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
263.91/263.98	c   258s|700000 |339984 |     0 |   0.0 | 253M| 857 |   - |1800 |  17k|   0 |   0 |   0 | 596k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
269.51/269.57	c   263s|710000 |347307 |     0 |   0.0 | 262M| 857 |   - |1800 |  18k|   0 |   0 |   0 | 605k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
275.20/275.27	c   269s|720000 |354532 |     0 |   0.0 | 271M| 857 |   - |1800 |  18k|   0 |   0 |   0 | 614k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
280.90/280.91	c   274s|730000 |361889 |     0 |   0.0 | 281M| 857 |   - |1800 |  18k|   0 |   0 |   0 | 622k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
286.81/286.87	c   280s|740000 |369020 |     0 |   0.0 | 290M| 857 |   - |1800 |  19k|   0 |   0 |   0 | 632k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
293.00/293.06	c   286s|750000 |376042 |     0 |   0.0 | 299M| 857 |   - |1800 |  20k|   0 |   0 |   0 | 642k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
299.31/299.36	c   293s|760000 |383114 |     0 |   0.0 | 308M| 857 |   - |1800 |  21k|   0 |   0 |   0 | 652k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
305.81/305.89	c   299s|770000 |390095 |     0 |   0.0 | 318M| 857 |   - |1800 |  21k|   0 |   0 |   0 | 662k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
312.61/312.64	c   306s|780000 |397038 |     0 |   0.0 | 328M| 857 |   - |1800 |  21k|   0 |   0 |   0 | 673k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
319.71/319.74	c   313s|790000 |403631 |     0 |   0.0 | 337M| 857 |   - |1800 |  22k|   0 |   0 |   0 | 684k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
326.90/326.90	c   320s|800000 |410263 |     0 |   0.0 | 346M| 857 |   - |1800 |  23k|   0 |   0 |   0 | 695k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
334.51/334.57	c   327s|810000 |416718 |     0 |   0.0 | 356M| 857 |   - |1800 |  25k|   0 |   0 |   0 | 707k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
342.21/342.28	c   335s|820000 |423255 |     0 |   0.0 | 364M| 857 |   - |1800 |  25k|   0 |   0 |   0 | 720k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
347.81/347.85	c   340s|830000 |430903 |     0 |   0.0 | 372M| 857 |   - |1800 |  22k|   0 |   0 |   0 | 728k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
353.01/353.05	c   346s|840000 |438756 |     0 |   0.0 | 381M| 857 |   - |1800 |  22k|   0 |   0 |   0 | 736k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
358.10/358.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
358.10/358.19	c   351s|850000 |446558 |     0 |   0.0 | 389M| 857 |   - |1800 |  23k|   0 |   0 |   0 | 744k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
363.91/363.95	c   356s|860000 |454254 |     0 |   0.0 | 398M| 857 |   - |1800 |  24k|   0 |   0 |   0 | 753k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
369.71/369.73	c   362s|870000 |461824 |     0 |   0.0 | 407M| 857 |   - |1800 |  25k|   0 |   0 |   0 | 762k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
375.81/375.81	c   368s|880000 |469424 |     0 |   0.0 | 416M| 857 |   - |1800 |  26k|   0 |   0 |   0 | 771k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
382.00/382.06	c   374s|890000 |476888 |     0 |   0.0 | 425M| 857 |   - |1800 |  26k|   0 |   0 |   0 | 780k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
388.61/388.69	c   381s|900000 |484050 |     0 |   0.0 | 434M| 857 |   - |1800 |  27k|   0 |   0 |   0 | 789k|   0 | 1.000000e+00 | 4.015000e+03 |  Large 
390.20/390.29	o 3913
390.20/390.29	c * 382s|902476 |477130 |     0 |   0.0 | 429M| 857 |   - |1800 |  28k|   0 |   0 |   0 | 792k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
395.41/395.44	c   387s|910000 |482592 |     0 |   0.0 | 436M| 857 |   - |1800 |  28k|   0 |   0 |   0 | 800k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
402.01/402.05	c   394s|920000 |489953 |     0 |   0.0 | 445M| 857 |   - |1800 |  29k|   0 |   0 |   0 | 809k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
409.01/409.07	c   401s|930000 |497216 |     0 |   0.0 | 454M| 857 |   - |1800 |  30k|   0 |   0 |   0 | 819k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
415.81/415.85	c   407s|940000 |504589 |     0 |   0.0 | 463M| 857 |   - |1800 |  31k|   0 |   0 |   0 | 829k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
422.71/422.76	c   414s|950000 |511953 |     0 |   0.0 | 471M| 857 |   - |1800 |  31k|   0 |   0 |   0 | 839k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
430.21/430.20	c   421s|960000 |519122 |     0 |   0.0 | 480M| 857 |   - |1800 |  33k|   0 |   0 |   0 | 850k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
437.61/437.61	c   429s|970000 |526241 |     0 |   0.0 | 489M| 857 |   - |1800 |  33k|   0 |   0 |   0 | 861k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
445.01/445.08	c   436s|980000 |533562 |     0 |   0.0 | 498M| 857 |   - |1800 |  35k|   0 |   0 |   0 | 871k|   0 | 1.000000e+00 | 3.913000e+03 |  Large 
449.51/449.57	o 3804
449.51/449.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
449.51/449.57	c * 441s|985305 |527062 |     0 |   0.0 | 494M| 857 |   - |1800 |  36k|   0 |   0 |   0 | 877k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
453.51/453.53	c   444s|990000 |530370 |     0 |   0.0 | 498M| 857 |   - |1800 |  36k|   0 |   0 |   0 | 883k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
462.02/462.06	c   453s|  1000k|537264 |     0 |   0.0 | 507M| 857 |   - |1800 |  38k|   0 |   0 |   0 | 895k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
470.61/470.63	c   461s|  1010k|544316 |     0 |   0.0 | 517M| 857 |   - |1800 |  39k|   0 |   0 |   0 | 907k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
480.01/480.06	c   471s|  1020k|551225 |     0 |   0.0 | 526M| 857 |   - |1800 |  41k|   0 |   0 |   0 | 919k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
490.81/490.89	c   481s|  1030k|558227 |     0 |   0.0 | 535M| 857 |   - |1800 |  42k|   0 |   0 |   0 | 930k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
501.22/501.28	c   491s|  1040k|565246 |     0 |   0.0 | 544M| 857 |   - |1800 |  44k|   0 |   0 |   0 | 942k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
511.42/511.48	c   501s|  1050k|572322 |     0 |   0.0 | 552M| 857 |   - |1800 |  45k|   0 |   0 |   0 | 953k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
522.81/522.82	c   512s|  1060k|579030 |     0 |   0.0 | 561M| 857 |   - |1800 |  48k|   0 |   0 |   0 | 966k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
534.31/534.35	c   524s|  1070k|585872 |     0 |   0.0 | 570M| 857 |   - |1800 |  50k|   0 |   0 |   0 | 979k|   0 | 1.000000e+00 | 3.804000e+03 |  Large 
542.71/542.73	o 3039
542.71/542.73	c * 532s|  1076k|486462 |     0 |   0.0 | 377M| 857 |   - |1800 |  52k|   0 |   0 |   0 | 990k|   0 | 1.000000e+00 | 3.039000e+03 |  Large 
547.12/547.20	c   536s|  1080k|488578 |     0 |   0.0 | 377M| 857 |   - |1800 |  43k|   0 |   0 |   0 | 992k|   0 | 1.000000e+00 | 3.039000e+03 |  Large 
558.01/558.00	c   547s|  1090k|495674 |     0 |   0.0 | 386M| 857 |   - |1800 |  38k|   0 |   0 |   0 |1000k|   0 | 1.000000e+00 | 3.039000e+03 |  Large 
563.01/563.09	o 3021
563.01/563.09	c * 552s|  1094k|495991 |     0 |   0.0 | 385M| 857 |   - |1800 |  35k|   0 |   0 |   0 |1004k|   0 | 1.000000e+00 | 3.021000e+03 |  Large 
568.12/568.16	c   556s|  1100k|499599 |     0 |   0.0 | 389M| 857 |   - |1800 |  28k|   0 |   0 |   0 |1009k|   0 | 1.000000e+00 | 3.021000e+03 |  Large 
577.22/577.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
577.22/577.21	c   565s|  1110k|506570 |     0 |   0.0 | 401M| 857 |   - |1800 |  28k|   0 |   0 |   0 |1017k|   0 | 1.000000e+00 | 3.021000e+03 |  Large 
586.11/586.14	c   574s|  1120k|513304 |     0 |   0.0 | 412M| 857 |   - |1800 |  28k|   0 |   0 |   0 |1026k|   0 | 1.000000e+00 | 3.021000e+03 |  Large 
595.62/595.65	c   583s|  1130k|520053 |     0 |   0.0 | 423M| 857 |   - |1800 |  29k|   0 |   0 |   0 |1035k|   0 | 1.000000e+00 | 3.021000e+03 |  Large 
605.12/605.15	c   592s|  1140k|526650 |     0 |   0.0 | 434M| 857 |   - |1800 |  29k|   0 |   0 |   0 |1045k|   0 | 1.000000e+00 | 3.021000e+03 |  Large 
615.22/615.25	c   602s|  1150k|533244 |     0 |   0.0 | 447M| 857 |   - |1800 |  29k|   0 |   0 |   0 |1054k|   0 | 1.000000e+00 | 3.021000e+03 |  Large 
625.42/625.44	c   612s|  1160k|539828 |     0 |   0.0 | 458M| 857 |   - |1800 |  30k|   0 |   0 |   0 |1064k|   0 | 1.000000e+00 | 3.021000e+03 |  Large 
629.52/629.57	o 2941
629.52/629.57	c * 616s|  1163k|526600 |     0 |   0.0 | 436M| 857 |   - |1800 |  30k|   0 |   0 |   0 |1068k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
636.12/636.11	c   622s|  1170k|530476 |     0 |   0.0 | 444M| 857 |   - |1800 |  30k|   0 |   0 |   0 |1074k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
646.02/646.05	c   632s|  1180k|536938 |     0 |   0.0 | 455M| 857 |   - |1800 |  31k|   0 |   0 |   0 |1084k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
657.52/657.59	c   643s|  1190k|543356 |     0 |   0.0 | 467M| 857 |   - |1800 |  31k|   0 |   0 |   0 |1094k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
668.83/668.80	c   654s|  1200k|549639 |     0 |   0.0 | 479M| 857 |   - |1800 |  32k|   0 |   0 |   0 |1104k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
679.52/679.52	c   664s|  1210k|556041 |     0 |   0.0 | 489M| 857 |   - |1800 |  33k|   0 |   0 |   0 |1114k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
691.32/691.38	c   676s|  1220k|562223 |     0 |   0.0 | 501M| 857 |   - |1800 |  33k|   0 |   0 |   0 |1125k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
703.12/703.10	c   687s|  1230k|568286 |     0 |   0.0 | 512M| 857 |   - |1800 |  33k|   0 |   0 |   0 |1136k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
715.03/715.01	c   699s|  1240k|574561 |     0 |   0.0 | 523M| 857 |   - |1800 |  34k|   0 |   0 |   0 |1147k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
727.82/727.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
727.82/727.86	c   711s|  1250k|580536 |     0 |   0.0 | 535M| 857 |   - |1800 |  35k|   0 |   0 |   0 |1158k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
739.92/739.98	c   723s|  1260k|586876 |     0 |   0.0 | 546M| 857 |   - |1800 |  36k|   0 |   0 |   0 |1169k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
753.72/753.77	c   737s|  1270k|592852 |     0 |   0.0 | 557M| 857 |   - |1800 |  37k|   0 |   0 |   0 |1180k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
767.42/767.46	c   750s|  1280k|599115 |     0 |   0.0 | 568M| 857 |   - |1800 |  37k|   0 |   0 |   0 |1192k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
782.33/782.32	c   765s|  1290k|604914 |     0 |   0.0 | 579M| 857 |   - |1800 |  38k|   0 |   0 |   0 |1204k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
794.72/794.72	c   777s|  1300k|611011 |     0 |   0.0 | 590M| 857 |   - |1800 |  39k|   0 |   0 |   0 |1215k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
808.33/808.33	c   790s|  1310k|616774 |     0 |   0.0 | 600M| 857 |   - |1800 |  40k|   0 |   0 |   0 |1227k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
821.73/821.71	c   803s|  1320k|622519 |     0 |   0.0 | 610M| 857 |   - |1800 |  41k|   0 |   0 |   0 |1240k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
835.62/835.61	c   816s|  1330k|628238 |     0 |   0.0 | 621M| 857 |   - |1800 |  43k|   0 |   0 |   0 |1253k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
848.42/848.48	c   829s|  1340k|634370 |     0 |   0.0 | 630M| 857 |   - |1800 |  40k|   0 |   0 |   0 |1266k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
857.72/857.78	c   838s|  1350k|641403 |     0 |   0.0 | 640M| 857 |   - |1800 |  37k|   0 |   0 |   0 |1275k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
866.92/866.98	c   847s|  1360k|648474 |     0 |   0.0 | 651M| 857 |   - |1800 |  38k|   0 |   0 |   0 |1284k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
876.02/876.06	c   856s|  1370k|655534 |     0 |   0.0 | 662M| 857 |   - |1800 |  39k|   0 |   0 |   0 |1293k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
886.92/886.93	c   866s|  1380k|662337 |     0 |   0.0 | 674M| 857 |   - |1800 |  40k|   0 |   0 |   0 |1302k|   0 | 1.000000e+00 | 2.941000e+03 |  Large 
887.33/887.31	o 2890
887.33/887.31	c * 867s|  1380k|650993 |     0 |   0.0 | 656M| 857 |   - |1800 |  41k|   0 |   0 |   0 |1303k|   0 | 1.000000e+00 | 2.890000e+03 |  Large 
887.33/887.34	o 2860
887.33/887.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
887.33/887.34	c * 867s|  1380k|644190 |     0 |   0.0 | 647M| 857 |   - |1800 |  41k|   0 |   0 |   0 |1303k|   0 | 1.000000e+00 | 2.860000e+03 |  Large 
898.03/898.02	c   877s|  1390k|650816 |     0 |   0.0 | 657M| 857 |   - |1800 |  41k|   0 |   0 |   0 |1312k|   0 | 1.000000e+00 | 2.860000e+03 |  Large 
909.53/909.58	c   888s|  1400k|657541 |     0 |   0.0 | 667M| 857 |   - |1800 |  42k|   0 |   0 |   0 |1322k|   0 | 1.000000e+00 | 2.860000e+03 |  Large 
913.53/913.51	o 2729
913.53/913.51	c * 892s|  1402k|628929 |     0 |   0.0 | 635M| 857 |   - |1800 |  42k|   0 |   0 |   0 |1325k|   0 | 1.000000e+00 | 2.729000e+03 |  Large 
922.13/922.16	c   901s|  1410k|633574 |     0 |   0.0 | 642M| 857 |   - |1800 |  43k|   0 |   0 |   0 |1332k|   0 | 1.000000e+00 | 2.729000e+03 |  Large 
935.43/935.44	c   914s|  1420k|640009 |     0 |   0.0 | 654M| 857 |   - |1800 |  44k|   0 |   0 |   0 |1342k|   0 | 1.000000e+00 | 2.729000e+03 |  Large 
949.24/949.29	c   927s|  1430k|646307 |     0 |   0.0 | 665M| 857 |   - |1800 |  45k|   0 |   0 |   0 |1353k|   0 | 1.000000e+00 | 2.729000e+03 |  Large 
963.13/963.10	c   940s|  1440k|652773 |     0 |   0.0 | 677M| 857 |   - |1800 |  46k|   0 |   0 |   0 |1363k|   0 | 1.000000e+00 | 2.729000e+03 |  Large 
976.23/976.24	c   953s|  1450k|659291 |     0 |   0.0 | 688M| 857 |   - |1800 |  47k|   0 |   0 |   0 |1373k|   0 | 1.000000e+00 | 2.729000e+03 |  Large 
980.74/980.75	o 2695
980.74/980.75	c * 958s|  1453k|652999 |     0 |   0.0 | 682M| 857 |   - |1800 |  47k|   0 |   0 |   0 |1377k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
990.63/990.69	c   967s|  1460k|657330 |     0 |   0.0 | 690M| 857 |   - |1800 |  49k|   0 |   0 |   0 |1385k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1004.63/1004.67	c   981s|  1470k|663756 |     0 |   0.0 | 701M| 857 |   - |1800 |  49k|   0 |   0 |   0 |1396k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1019.14/1019.11	c   995s|  1480k|670119 |     0 |   0.0 | 712M| 857 |   - |1800 |  50k|   0 |   0 |   0 |1407k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1033.54/1033.53	c  1009s|  1490k|676405 |     0 |   0.0 | 723M| 857 |   - |1800 |  52k|   0 |   0 |   0 |1418k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1047.84/1047.83	c  1023s|  1500k|682603 |     0 |   0.0 | 734M| 857 |   - |1800 |  53k|   0 |   0 |   0 |1430k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1062.33/1062.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1062.33/1062.37	c  1037s|  1510k|689022 |     0 |   0.0 | 745M| 857 |   - |1800 |  54k|   0 |   0 |   0 |1441k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1077.84/1077.83	c  1052s|  1520k|695241 |     0 |   0.0 | 756M| 857 |   - |1800 |  55k|   0 |   0 |   0 |1453k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1093.45/1093.44	c  1068s|  1530k|701280 |     0 |   0.0 | 767M| 857 |   - |1800 |  57k|   0 |   0 |   0 |1466k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1107.84/1107.87	c  1082s|  1540k|707716 |     0 |   0.0 | 777M| 857 |   - |1800 |  58k|   0 |   0 |   0 |1478k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1123.24/1123.22	c  1097s|  1550k|714050 |     0 |   0.0 | 787M| 857 |   - |1800 |  59k|   0 |   0 |   0 |1489k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1139.04/1139.02	c  1112s|  1560k|720254 |     0 |   0.0 | 797M| 857 |   - |1800 |  60k|   0 |   0 |   0 |1502k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1155.04/1155.03	c  1128s|  1570k|726558 |     0 |   0.0 | 807M| 857 |   - |1800 |  61k|   0 |   0 |   0 |1514k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1170.84/1170.81	c  1143s|  1580k|732732 |     0 |   0.0 | 817M| 857 |   - |1800 |  62k|   0 |   0 |   0 |1527k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1186.34/1186.32	c  1159s|  1590k|738963 |     0 |   0.0 | 827M| 857 |   - |1800 |  63k|   0 |   0 |   0 |1540k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1203.24/1203.23	c  1175s|  1600k|744880 |     0 |   0.0 | 836M| 857 |   - |1800 |  64k|   0 |   0 |   0 |1554k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1218.94/1218.97	c  1191s|  1610k|751171 |     0 |   0.0 | 846M| 857 |   - |1800 |  66k|   0 |   0 |   0 |1567k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1235.54/1235.54	c  1207s|  1620k|757306 |     0 |   0.0 | 856M| 857 |   - |1800 |  66k|   0 |   0 |   0 |1581k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1250.75/1250.74	c  1222s|  1630k|763434 |     0 |   0.0 | 865M| 857 |   - |1800 |  69k|   0 |   0 |   0 |1595k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1267.35/1267.35	c  1238s|  1640k|769433 |     0 |   0.0 | 872M| 857 |   - |1800 |  60k|   0 |   0 |   0 |1610k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1279.45/1279.44	c  1250s|  1650k|776510 |     0 |   0.0 | 880M| 857 |   - |1800 |  49k|   0 |   0 |   0 |1618k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1291.35/1291.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1291.35/1291.34	c  1261s|  1660k|783156 |     0 |   0.0 | 892M| 857 |   - |1800 |  43k|   0 |   0 |   0 |1628k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1302.65/1302.60	c  1272s|  1670k|789712 |     0 |   0.0 | 904M| 857 |   - |1800 |  44k|   0 |   0 |   0 |1637k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1314.05/1314.08	c  1283s|  1680k|796321 |     0 |   0.0 | 915M| 857 |   - |1800 |  44k|   0 |   0 |   0 |1647k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1326.75/1326.72	c  1296s|  1690k|802849 |     0 |   0.0 | 927M| 857 |   - |1800 |  44k|   0 |   0 |   0 |1655k|   0 | 1.000000e+00 | 2.695000e+03 |  Large 
1335.85/1335.81	o 2692
1335.85/1335.81	c *1305s|  1697k|807161 |     0 |   0.0 | 935M| 857 |   - |1800 |  45k|   0 |   0 |   0 |1662k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1338.05/1338.07	c  1307s|  1700k|808771 |     0 |   0.0 | 938M| 857 |   - |1800 |  45k|   0 |   0 |   0 |1665k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1349.45/1349.46	c  1318s|  1710k|815367 |     0 |   0.0 | 949M| 857 |   - |1800 |  45k|   0 |   0 |   0 |1674k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1362.35/1362.37	c  1330s|  1720k|821738 |     0 |   0.0 | 961M| 857 |   - |1800 |  45k|   0 |   0 |   0 |1684k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1374.55/1374.57	c  1342s|  1730k|828356 |     0 |   0.0 | 973M| 857 |   - |1800 |  46k|   0 |   0 |   0 |1693k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1386.85/1386.81	c  1354s|  1740k|834849 |     0 |   0.0 | 984M| 857 |   - |1800 |  46k|   0 |   0 |   0 |1703k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1400.36/1400.36	c  1367s|  1750k|841179 |     0 |   0.0 | 995M| 857 |   - |1800 |  47k|   0 |   0 |   0 |1712k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1413.25/1413.30	c  1380s|  1760k|847524 |     0 |   0.0 |1007M| 857 |   - |1800 |  47k|   0 |   0 |   0 |1722k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1427.06/1427.07	c  1393s|  1770k|853848 |     0 |   0.0 |1018M| 857 |   - |1800 |  48k|   0 |   0 |   0 |1731k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1441.46/1441.40	c  1407s|  1780k|860175 |     0 |   0.0 |1029M| 857 |   - |1800 |  48k|   0 |   0 |   0 |1741k|   0 | 1.000000e+00 | 2.692000e+03 |  Large 
1451.35/1451.38	o 2546
1451.35/1451.38	c *1417s|  1787k|823580 |     0 |   0.0 | 991M| 857 |   - |1800 |  49k|   0 |   0 |   0 |1749k|   0 | 1.000000e+00 | 2.546000e+03 |  Large 
1454.06/1454.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1454.06/1454.01	c  1420s|  1790k|825079 |     0 |   0.0 | 994M| 857 |   - |1800 |  49k|   0 |   0 |   0 |1751k|   0 | 1.000000e+00 | 2.546000e+03 |  Large 
1469.15/1469.11	c  1434s|  1800k|831285 |     0 |   0.0 |1005M| 857 |   - |1800 |  49k|   0 |   0 |   0 |1761k|   0 | 1.000000e+00 | 2.546000e+03 |  Large 
1484.55/1484.51	c  1449s|  1810k|837490 |     0 |   0.0 |1016M| 857 |   - |1800 |  50k|   0 |   0 |   0 |1771k|   0 | 1.000000e+00 | 2.546000e+03 |  Large 
1488.65/1488.69	o 2521
1488.65/1488.69	c *1453s|  1812k|832708 |     0 |   0.0 |1012M| 857 |   - |1800 |  50k|   0 |   0 |   0 |1774k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1499.85/1499.86	c  1464s|  1820k|837216 |     0 |   0.0 |1020M| 857 |   - |1800 |  50k|   0 |   0 |   0 |1782k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1515.15/1515.17	c  1479s|  1830k|843516 |     0 |   0.0 |1030M| 857 |   - |1800 |  51k|   0 |   0 |   0 |1791k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1531.26/1531.22	c  1495s|  1840k|849482 |     0 |   0.0 |1041M| 857 |   - |1800 |  52k|   0 |   0 |   0 |1802k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1547.36/1547.31	c  1511s|  1850k|855285 |     0 |   0.0 |1051M| 857 |   - |1800 |  52k|   0 |   0 |   0 |1813k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1561.35/1561.36	c  1525s|  1860k|861572 |     0 |   0.0 |1062M| 857 |   - |1800 |  53k|   0 |   0 |   0 |1824k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1576.86/1576.80	c  1540s|  1870k|867582 |     0 |   0.0 |1073M| 857 |   - |1800 |  54k|   0 |   0 |   0 |1835k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1593.66/1593.61	c  1556s|  1880k|873464 |     0 |   0.0 |1084M| 857 |   - |1800 |  54k|   0 |   0 |   0 |1846k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1610.16/1610.19	c  1572s|  1890k|879438 |     0 |   0.0 |1094M| 857 |   - |1800 |  55k|   0 |   0 |   0 |1857k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1626.87/1626.84	c  1589s|  1900k|885279 |     0 |   0.0 |1105M| 857 |   - |1800 |  56k|   0 |   0 |   0 |1868k|   0 | 1.000000e+00 | 2.521000e+03 |  Large 
1640.96/1640.92	o 2444
1640.96/1640.92	c *1602s|  1908k|867904 |     0 |   0.0 |1085M| 857 |   - |1800 |  57k|   0 |   0 |   0 |1878k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1642.66/1642.65	c  1604s|  1910k|868662 |     0 |   0.0 |1087M| 857 |   - |1800 |  57k|   0 |   0 |   0 |1879k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1659.56/1659.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1659.56/1659.58	c  1621s|  1920k|874487 |     0 |   0.0 |1097M| 857 |   - |1800 |  58k|   0 |   0 |   0 |1891k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1677.47/1677.48	c  1638s|  1930k|880258 |     0 |   0.0 |1107M| 857 |   - |1800 |  59k|   0 |   0 |   0 |1903k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1696.37/1696.36	c  1657s|  1940k|886002 |     0 |   0.0 |1118M| 857 |   - |1800 |  61k|   0 |   0 |   0 |1915k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1713.07/1713.08	c  1673s|  1950k|891934 |     0 |   0.0 |1128M| 857 |   - |1800 |  62k|   0 |   0 |   0 |1928k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1727.16/1727.14	c  1687s|  1960k|898293 |     0 |   0.0 |1135M| 857 |   - |1800 |  56k|   0 |   0 |   0 |1939k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1740.07/1740.09	c  1700s|  1970k|904975 |     0 |   0.0 |1146M| 857 |   - |1800 |  55k|   0 |   0 |   0 |1948k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1754.47/1754.41	c  1714s|  1980k|911444 |     0 |   0.0 |1158M| 857 |   - |1800 |  56k|   0 |   0 |   0 |1958k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1770.07/1770.08	c  1729s|  1990k|917794 |     0 |   0.0 |1170M| 857 |   - |1800 |  57k|   0 |   0 |   0 |1968k|   0 | 1.000000e+00 | 2.444000e+03 |  Large 
1778.67/1778.68	o 2178
1778.67/1778.68	c *1737s|  1995k|831239 |     0 |   0.0 |1010M| 857 |   - |1800 |  58k|   0 |   0 |   0 |1974k|   0 | 1.000000e+00 | 2.178000e+03 |  Large 
1785.07/1785.07	c  1744s|  2000k|834090 |     0 |   0.0 |1015M| 857 |   - |1800 |  58k|   0 |   0 |   0 |1978k|   0 | 1.000000e+00 | 2.178000e+03 |  Large 
1800.08/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.01	c 
1800.08/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.01	c Solving Time (sec) : 1758.28
1800.08/1800.01	c Solving Nodes      : 2008462
1800.08/1800.01	c Primal Bound       : +2.17800000000000e+03 (80 solutions)
1800.08/1800.01	c Dual Bound         : +1.00000000000000e+00
1800.08/1800.01	c Gap                : 217700.00 %
1800.08/1800.02	s SATISFIABLE
1800.08/1800.02	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.08/1800.02	v -x176 x175 -x174 x173 -x172 x171 x170 -x169 -x168 x167 -x166 x165 x164 -x163 x162 -x161 -x160 x159 x158 -x157 x156 -x155 
1800.08/1800.02	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.08/1800.02	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.08/1800.02	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.08/1800.02	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.08/1800.02	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.08/1800.02	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.08/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.02	c Solving Time       :    1758.28
1800.08/1800.02	c Original Problem   :
1800.08/1800.02	c   Problem name     : HOME/instance-2700418-1278535537.wbo
1800.08/1800.02	c   Variables        : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.08/1800.02	c   Constraints      : 1801 initial, 1801 maximal
1800.08/1800.02	c Presolved Problem  :
1800.08/1800.02	c   Problem name     : t_HOME/instance-2700418-1278535537.wbo
1800.08/1800.02	c   Variables        : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.08/1800.02	c   Constraints      : 1700 initial, 71656 maximal
1800.08/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.02	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.02	c   probing          :       0.02          0          0          0          0          0          0          0          0
1800.08/1800.02	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.02	c   linear           :       0.02          0        100          0        850          0        101          0          0
1800.08/1800.02	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.02	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.02	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.02	c   indicator        :        850          0    4909212          0    1778624       3693   46220970          0          0          0
1800.08/1800.02	c   linear           :        850          0    4905513          0    1778595      50674    4630822          0          0          0
1800.08/1800.02	c   logicor          :          0+         0    3335859          0          0      11132    2619879          0          0          0
1800.08/1800.02	c   countsols        :          0          0          0          0    1778642          0          0          0          0          0
1800.08/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.02	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.02	c   indicator        :     154.52       0.00      82.99       0.00      71.53
1800.08/1800.02	c   linear           :     113.36       0.00     112.37       0.00       0.99
1800.08/1800.02	c   logicor          :     606.21       0.00     606.21       0.00       0.00
1800.08/1800.02	c   countsols        :       0.12       0.00       0.00       0.00       0.12
1800.08/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.02	c   vbounds          :       0.54          2          0          0
1800.08/1800.02	c   rootredcost      :       0.73          0          0          0
1800.08/1800.02	c   pseudoobj        :     151.42    5169234     260095   45696873
1800.08/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.02	c   propagation      :      20.04     321901     321901    1630207       30.8     773753        3.9          -
1800.08/1800.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.02	c   pseudo solution  :       0.19       1264       1264       8809       32.3       4164        4.3          -
1800.08/1800.02	c   applied globally :          -          -          -    1986486       18.1          -          -          -
1800.08/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.02	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.02	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.02	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.02	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.02	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.02	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.02	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.02	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.02	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.02	c Pricers            :       Time      Calls       Vars
1800.08/1800.02	c   problem variables:       0.00          0          0
1800.08/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.02	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.02	c   inference        :     117.19    1778564          0          0          0          0    3557128
1800.08/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.02	c   LP solutions     :       0.00          -          0
1800.08/1800.02	c   pseudo solutions :       1.71          -         78
1800.08/1800.02	c   oneopt           :       0.36          0          0
1800.08/1800.02	c   trivial          :       0.00          2          1
1800.08/1800.02	c   simplerounding   :       0.00          0          0
1800.08/1800.02	c   zirounding       :       0.00          0          0
1800.08/1800.02	c   rounding         :       0.00          0          0
1800.08/1800.02	c   shifting         :       0.00          0          0
1800.08/1800.02	c   intshifting      :       0.00          0          0
1800.08/1800.02	c   twoopt           :       0.00          0          0
1800.08/1800.02	c   fixandinfer      :       0.00          0          0
1800.08/1800.02	c   feaspump         :       0.00          0          0
1800.08/1800.02	c   coefdiving       :       0.00          0          0
1800.08/1800.02	c   pscostdiving     :       0.00          0          0
1800.08/1800.02	c   fracdiving       :       0.00          0          0
1800.08/1800.02	c   veclendiving     :       0.00          0          0
1800.08/1800.02	c   intdiving        :       0.00          0          0
1800.08/1800.02	c   actconsdiving    :       0.00          0          0
1800.08/1800.02	c   objpscostdiving  :       0.00          0          0
1800.08/1800.02	c   rootsoldiving    :       0.00          0          0
1800.08/1800.02	c   linesearchdiving :       0.00          0          0
1800.08/1800.02	c   guideddiving     :       0.00          0          0
1800.08/1800.02	c   octane           :       0.00          0          0
1800.08/1800.02	c   rens             :       0.00          0          0
1800.08/1800.02	c   rins             :       0.00          0          0
1800.08/1800.02	c   localbranching   :       0.00          0          0
1800.08/1800.02	c   mutation         :       0.00          0          0
1800.08/1800.02	c   crossover        :       0.00          0          0
1800.08/1800.02	c   dins             :       0.00          0          0
1800.08/1800.02	c   undercover       :       0.00          0          0
1800.08/1800.02	c   nlp              :       0.37          0          0
1800.08/1800.02	c   trysol           :       0.27          1          1
1800.08/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.02	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.02	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.02	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.02	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.02	c B&B Tree           :
1800.08/1800.02	c   number of runs   :          1
1800.08/1800.02	c   nodes            :    2008462
1800.08/1800.02	c   nodes (total)    :    2008462
1800.08/1800.02	c   nodes left       :     839313
1800.08/1800.02	c   max depth        :        857
1800.08/1800.02	c   max depth (total):        857
1800.08/1800.02	c   backtracks       :     104425 (5.2%)
1800.08/1800.02	c   delayed cutoffs  :      97103
1800.08/1800.02	c   repropagations   :     442479 (25327123 domain reductions, 97038 cutoffs)
1800.08/1800.02	c   avg switch length:       4.10
1800.08/1800.02	c   switching time   :     408.09
1800.08/1800.02	c Solution           :
1800.08/1800.02	c   Solutions found  :         80 (79 improvements)
1800.08/1800.02	c   First Solution   : +4.20925000000000e+05   (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.08/1800.02	c   Primal Bound     : +2.17800000000000e+03   (in run 1, after 1995539 nodes, 1737.10 seconds, depth 272, found by <relaxation>)
1800.08/1800.02	c   Dual Bound       : +1.00000000000000e+00
1800.08/1800.02	c   Gap              :  217700.00 %
1800.08/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.02	c   Root Iterations  :          0

Verifier Data 

OK	2177

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700418-1278535537/watcher-2700418-1278535537 -o /tmp/evaluation-result-2700418-1278535537/solver-2700418-1278535537 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700418-1278535537.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: 2.13 2.12 1.72 4/178 18732
/proc/meminfo: memFree=28338476/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=8268 CPUtime=0
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 1543 0 0 0 0 0 0 0 25 0 1 0 21766133 8466432 1466 4089446400 4194304 7136930 140735599312720 18446744073709551615 6328580 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18732/statm: 2067 1466 275 719 0 1346 0

[startup+0.067867 s]
/proc/loadavg: 2.13 2.12 1.72 4/178 18732
/proc/meminfo: memFree=28338476/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=20364 CPUtime=0.06
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 5534 0 0 0 6 0 0 0 25 0 1 0 21766133 20852736 4332 4089446400 4194304 7136930 140735599312720 18446744073709551615 4965345 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 5091 4332 381 719 0 4370 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20364

[startup+0.100871 s]
/proc/loadavg: 2.13 2.12 1.72 4/178 18732
/proc/meminfo: memFree=28338476/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=20496 CPUtime=0.09
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 5598 0 0 0 9 0 0 0 25 0 1 0 21766133 20987904 4396 4089446400 4194304 7136930 140735599312720 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 5124 4396 387 719 0 4403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20496

[startup+0.300819 s]
/proc/loadavg: 2.13 2.12 1.72 4/178 18732
/proc/meminfo: memFree=28338476/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=21788 CPUtime=0.29
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 5910 0 0 0 28 1 0 0 25 0 1 0 21766133 22310912 4708 4089446400 4194304 7136930 140735599312720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 5447 4708 393 719 0 4726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21788

[startup+0.70074 s]
/proc/loadavg: 2.13 2.12 1.72 4/178 18732
/proc/meminfo: memFree=28338476/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=23228 CPUtime=0.69
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 6282 0 0 0 66 3 0 0 25 0 1 0 21766133 23785472 5080 4089446400 4194304 7136930 140735599312720 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 5807 5080 393 719 0 5086 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23228

[startup+1.50058 s]
/proc/loadavg: 2.12 2.12 1.72 3/179 18733
/proc/meminfo: memFree=28318132/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=24748 CPUtime=1.49
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 6668 0 0 0 143 6 0 0 25 0 1 0 21766133 25341952 5466 4089446400 4194304 7136930 140735599312720 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 6187 5466 394 719 0 5466 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24748

[startup+3.10026 s]
/proc/loadavg: 2.12 2.12 1.72 3/179 18733
/proc/meminfo: memFree=28313012/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=33188 CPUtime=3.09
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 8795 0 0 0 296 13 0 0 25 0 1 0 21766133 33984512 7593 4089446400 4194304 7136930 140735599312720 18446744073709551615 4834596 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 8297 7593 394 719 0 7576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33188

[startup+6.30062 s]
/proc/loadavg: 2.12 2.12 1.72 3/179 18733
/proc/meminfo: memFree=28298380/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=44196 CPUtime=6.29
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 11482 0 0 0 607 22 0 0 25 0 1 0 21766133 45256704 10280 4089446400 4194304 7136930 140735599312720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 11049 10280 394 719 0 10328 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44196

[startup+12.7004 s]
/proc/loadavg: 2.10 2.12 1.72 3/179 18733
/proc/meminfo: memFree=28275700/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=64660 CPUtime=12.7
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 16564 0 0 0 1230 40 0 0 25 0 1 0 21766133 66211840 15362 4089446400 4194304 7136930 140735599312720 18446744073709551615 4697605 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 16165 15362 394 719 0 15444 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 64660

[startup+25.5008 s]
/proc/loadavg: 2.09 2.11 1.73 3/179 18734
/proc/meminfo: memFree=28232696/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=97700 CPUtime=25.49
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 24135 0 0 0 2470 79 0 0 25 0 1 0 21766133 100044800 22933 4089446400 4194304 7136930 140735599312720 18446744073709551615 4238121 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 24425 22933 394 719 0 23704 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97700

[startup+51.1007 s]
/proc/loadavg: 2.05 2.10 1.73 3/179 18734
/proc/meminfo: memFree=28159532/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=148108 CPUtime=51.1
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 36406 0 0 0 4960 150 0 0 25 0 1 0 21766133 151662592 35204 4089446400 4194304 7136930 140735599312720 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 37027 35204 394 719 0 36306 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 148108

[startup+102.307 s]
/proc/loadavg: 2.02 2.08 1.74 3/179 18736
/proc/meminfo: memFree=28029284/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=243328 CPUtime=102.3
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 58747 0 0 0 9940 290 0 0 25 0 1 0 21766133 249167872 57545 4089446400 4194304 7136930 140735599312720 18446744073709551615 5506849 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 60832 57545 394 719 0 60111 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 243328

[startup+162.301 s]
/proc/loadavg: 2.01 2.06 1.75 3/179 18737
/proc/meminfo: memFree=27906968/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=323788 CPUtime=162.3
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 77909 0 0 0 15802 428 0 0 25 0 1 0 21766133 331558912 76707 4089446400 4194304 7136930 140735599312720 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 80947 76707 394 719 0 80226 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 323788

[startup+222.301 s]
/proc/loadavg: 2.00 2.05 1.77 3/179 18738
/proc/meminfo: memFree=27781176/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=387672 CPUtime=222.3
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 93300 0 0 0 21694 536 0 0 25 0 1 0 21766133 396976128 92098 4089446400 4194304 7136930 140735599312720 18446744073709551615 5953060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 96918 92098 394 719 0 96197 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 387672

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 1.78 3/179 18740
/proc/meminfo: memFree=27695068/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=422864 CPUtime=282.31
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 100645 0 0 0 27585 646 0 0 25 0 1 0 21766133 433012736 99443 4089446400 4194304 7136930 140735599312720 18446744073709551615 4979548 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 105716 99443 394 719 0 104995 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 422864

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 1.79 3/179 18742
/proc/meminfo: memFree=27582292/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=483552 CPUtime=342.31
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 113539 0 0 0 33495 736 0 0 25 0 1 0 21766133 495157248 112337 4089446400 4194304 7136930 140735599312720 18446744073709551615 4220974 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 120888 112337 394 719 0 120167 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 483552

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 1.80 3/179 18744
/proc/meminfo: memFree=27453260/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=583608 CPUtime=402.31
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 133848 0 0 0 39398 833 0 0 25 0 1 0 21766133 597614592 132646 4089446400 4194304 7136930 140735599312720 18446744073709551615 4993501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 145902 132647 394 719 0 145181 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 583608

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.81 3/179 18745
/proc/meminfo: memFree=27334652/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=655680 CPUtime=462.31
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 150047 0 0 0 45317 914 0 0 25 0 1 0 21766133 671416320 148845 4089446400 4194304 7136930 140735599312720 18446744073709551615 4221576 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18732/statm: 163920 148845 394 719 0 163199 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 655680

[startup+522.301 s]
/proc/loadavg: 2.70 2.21 1.89 4/200 18795
/proc/meminfo: memFree=28506360/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=718000 CPUtime=522.31
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 163653 0 0 0 51178 1053 0 0 25 0 1 0 21766133 735232000 162451 4089446400 4194304 7136930 140735599312720 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18732/statm: 179500 162451 394 719 0 178779 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 718000

[startup+582.301 s]
/proc/loadavg: 2.84 2.34 1.95 4/200 18797
/proc/meminfo: memFree=28473072/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=738208 CPUtime=582.31
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 167850 0 0 0 57011 1220 0 0 25 0 1 0 21766133 755924992 166648 4089446400 4194304 7136930 140735599312720 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18732/statm: 184552 166648 394 719 0 183831 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 738208

[startup+642.301 s]
/proc/loadavg: 2.60 2.37 1.99 3/197 19027
/proc/meminfo: memFree=28603512/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=744404 CPUtime=642.32
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 169021 0 0 0 62819 1413 0 0 25 0 1 0 21766133 762269696 167819 4089446400 4194304 7136930 140735599312720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18732/statm: 186101 167819 394 719 0 185380 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 744404

[startup+702.301 s]

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

/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 205498 0 0 0 97870 2363 0 0 25 0 1 0 21766133 932368384 204296 4089446400 4194304 7136930 140735599312720 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 227629 204296 394 719 0 226908 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 910516

[startup+1062.3 s]
/proc/loadavg: 2.00 2.15 2.02 3/179 20626
/proc/meminfo: memFree=28490848/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=957412 CPUtime=1062.33
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 216107 0 0 0 103728 2505 0 0 25 0 1 0 21766133 980389888 214905 4089446400 4194304 7136930 140735599312720 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 239353 214905 394 719 0 238632 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 957412

[startup+1122.3 s]
/proc/loadavg: 2.00 2.12 2.01 3/179 20627
/proc/meminfo: memFree=28452212/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1000860 CPUtime=1122.33
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 225866 0 0 0 109595 2638 0 0 25 0 1 0 21766133 1024880640 224664 4089446400 4194304 7136930 140735599312720 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 250215 224664 394 719 0 249494 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1000860

[startup+1182.3 s]
/proc/loadavg: 2.00 2.10 2.01 3/179 20629
/proc/meminfo: memFree=28410632/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1046140 CPUtime=1182.34
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 236007 0 0 0 115468 2766 0 0 25 0 1 0 21766133 1071247360 234805 4089446400 4194304 7136930 140735599312720 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 261535 234805 394 719 0 260814 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1046140

[startup+1242.3 s]
/proc/loadavg: 2.00 2.08 2.00 3/179 20631
/proc/meminfo: memFree=28371872/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1089548 CPUtime=1242.35
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 245398 0 0 0 121341 2894 0 0 25 0 1 0 21766133 1115697152 244196 4089446400 4194304 7136930 140735599312720 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 272387 244196 394 719 0 271666 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 1089548

[startup+1302.3 s]
/proc/loadavg: 2.00 2.06 2.00 3/179 20633
/proc/meminfo: memFree=28320368/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1145932 CPUtime=1302.36
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 258254 0 0 0 127193 3043 0 0 25 0 1 0 21766133 1173434368 257052 4089446400 4194304 7136930 140735599312720 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 286483 257052 394 719 0 285762 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 1145932

[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/179 20634
/proc/meminfo: memFree=28261776/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1211820 CPUtime=1362.35
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 272907 0 0 0 133023 3212 0 0 25 0 1 0 21766133 1240903680 271705 4089446400 4194304 7136930 140735599312720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 302955 271705 394 719 0 302234 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 1211820

[startup+1422.31 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 20635
/proc/meminfo: memFree=28206924/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1272812 CPUtime=1422.35
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 286572 0 0 0 138864 3371 0 0 25 0 1 0 21766133 1303359488 285370 4089446400 4194304 7136930 140735599312720 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 318203 285370 394 719 0 317482 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1272812

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 20637
/proc/meminfo: memFree=28177748/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1302616 CPUtime=1482.35
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 293786 0 0 0 144721 3514 0 0 25 0 1 0 21766133 1333878784 292584 4089446400 4194304 7136930 140735599312720 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 325654 292584 394 719 0 324933 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 1302616

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20639
/proc/meminfo: memFree=28149420/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1335884 CPUtime=1542.36
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 300100 0 0 0 150593 3643 0 0 25 0 1 0 21766133 1367945216 298898 4089446400 4194304 7136930 140735599312720 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 333971 298898 394 719 0 333250 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 1335884

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20641
/proc/meminfo: memFree=28112912/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1379252 CPUtime=1602.36
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 309182 0 0 0 156467 3769 0 0 25 0 1 0 21766133 1412354048 307980 4089446400 4194304 7136930 140735599312720 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 344813 307980 394 719 0 344092 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 1379252

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20642
/proc/meminfo: memFree=28082712/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1415244 CPUtime=1662.36
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 316786 0 0 0 162345 3891 0 0 25 0 1 0 21766133 1449209856 315584 4089446400 4194304 7136930 140735599312720 18446744073709551615 4999855 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 353811 315584 394 719 0 353090 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 1415244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20643
/proc/meminfo: memFree=28057988/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1443252 CPUtime=1722.37
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 322979 0 0 0 168232 4005 0 0 25 0 1 0 21766133 1477890048 321777 4089446400 4194304 7136930 140735599312720 18446744073709551615 4431718 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 360813 321777 394 719 0 360092 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 1443252

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20645
/proc/meminfo: memFree=28015276/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1494088 CPUtime=1782.37
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 333615 0 0 0 174090 4147 0 0 25 0 1 0 21766133 1529946112 332413 4089446400 4194304 7136930 140735599312720 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 373522 332413 394 719 0 372801 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 1494088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20646
/proc/meminfo: memFree=28014644/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1495420 CPUtime=1800.08
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 333746 0 0 0 175828 4180 0 0 25 0 1 0 21766133 1531310080 332544 4089446400 4194304 7136930 140735599312720 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18732/statm: 373855 332544 394 719 0 373134 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1495420

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -18732

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20647
/proc/meminfo: memFree=28014636/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1495420 CPUtime=1801.47
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 333753 0 0 0 175967 4180 0 0 19 0 1 0 21766133 1531310080 332551 4089446400 4194304 7136930 140735599312720 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18732/statm: 373855 332551 400 719 0 373134 0
Current children cumulated CPU time (s) 1801.47
Current children cumulated vsize (KiB) 1495420

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20647
/proc/meminfo: memFree=28014640/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1494904 CPUtime=1801.88
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 333753 0 0 0 176008 4180 0 0 20 0 1 0 21766133 1530781696 332422 4089446400 4194304 7136930 140735599312720 18446744073709551615 4670041 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18732/statm: 373726 332422 400 719 0 373005 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 1494904

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20647
/proc/meminfo: memFree=28014640/32951124 swapFree=67111528/67111528
[pid=18732] ppid=18730 vsize=1494388 CPUtime=1802.07
/proc/18732/stat : 18732 (pbscip.linux.x8) R 18730 18732 18174 0 -1 4202496 333753 0 0 0 176027 4180 0 0 21 0 1 0 21766133 1530253312 332293 4089446400 4194304 7136930 140735599312720 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18732/statm: 373597 332293 400 719 0 372876 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1494388

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.14
CPU user time (s): 1760.28
CPU system time (s): 41.8556
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1495420

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

runsolver used 2.50362 second user time and 5.75812 second system time

The end

Launcher Data 

Begin job on node143 at 2010-07-07 22:45:38
IDJOB=2700418
IDBENCH=79426
IDSOLVER=1206
FILE ID=node143/2700418-1278535537
PBS_JOBID= 11239191
Free space on /tmp= 73244 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh09_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700418-1278535537/watcher-2700418-1278535537 -o /tmp/evaluation-result-2700418-1278535537/solver-2700418-1278535537 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700418-1278535537.wbo -t 1800 -m 3800

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

MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d
RANDOM SEED=1402057638

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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.74
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.829
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28339004 kB
Buffers:        135548 kB
Cached:        3177656 kB
SwapCached:          0 kB
Active:        2682996 kB
Inactive:      1772116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28339004 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3332 kB
Writeback:           0 kB
AnonPages:     1142100 kB
Mapped:          15376 kB
Slab:            91876 kB
PageTables:       6836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1290532 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73244 MiB
End job on node143 at 2010-07-07 23:15:40