Trace number 2693611

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.13 1802.09

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
MD5SUMa56ccccf952bf820f5367d29dba24868
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark24.5563
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
Number of bits of the biggest sum of numbers10
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-2693611-1277926486.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.03	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.09/0.12	o 135714
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.357140e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  2707 implications, 0 cliques
0.09/0.18	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18	c    2707 constraints of type <indicator>
0.09/0.18	c    2707 constraints of type <linear>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.13
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.97
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18	c lp/solvefreq = -1
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.1s|     1 |     2 |     0 |     - |  17M|   0 |   - |5645 |5414 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
2.69/2.79	o 427
2.69/2.79	c * 2.7s|  7983 |  4988 |     0 |   0.0 |  23M|2816 |   - |5645 |6629 |   0 |   0 |   0 |1218 |   0 | 0.000000e+00 | 4.270000e+02 |    Inf 
3.68/3.71	c   3.6s| 10000 |  7002 |     0 |   0.0 |  23M|2816 |   - |5645 |6640 |   0 |   0 |   0 |1230 |   0 | 0.000000e+00 | 4.270000e+02 |    Inf 
7.18/7.23	c   7.1s| 20000 | 15920 |     0 |   0.0 |  33M|2816 |   - |5645 |8169 |   0 |   0 |   0 |6076 |   0 | 0.000000e+00 | 4.270000e+02 |    Inf 
11.58/11.62	c  11.4s| 30000 | 23449 |     0 |   0.0 |  44M|2816 |   - |5645 |8841 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 | 4.270000e+02 |    Inf 
17.88/17.98	o 407
17.88/17.98	c *17.6s| 39851 | 29861 |     0 |   0.0 |  53M|2816 |   - |5645 |8988 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 4.070000e+02 |    Inf 
17.98/18.08	c  17.7s| 40000 | 30005 |     0 |   0.0 |  53M|2816 |   - |5645 |8973 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 4.070000e+02 |    Inf 
17.98/18.09	o 398
17.98/18.09	c *17.7s| 40006 | 29851 |     0 |   0.0 |  53M|2816 |   - |5645 |8982 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 3.980000e+02 |    Inf 
17.98/18.09	o 382
17.98/18.09	c *17.7s| 40007 | 29364 |     0 |   0.0 |  53M|2816 |   - |5645 |8982 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 3.820000e+02 |    Inf 
18.19/18.20	o 368
18.19/18.20	c *17.9s| 40166 | 28923 |     0 |   0.0 |  53M|2816 |   - |5645 |8962 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 3.680000e+02 |    Inf 
18.29/18.30	o 352
18.29/18.30	c *17.9s| 40321 | 28431 |     0 |   0.0 |  53M|2816 |   - |5645 |8932 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 3.520000e+02 |    Inf 
18.29/18.33	o 324
18.29/18.33	c *18.0s| 40377 | 27325 |     0 |   0.0 |  52M|2816 |   - |5645 |8931 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
18.29/18.34	o 317
18.29/18.34	c *18.0s| 40378 | 27098 |     0 |   0.0 |  53M|2816 |   - |5645 |8931 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 3.170000e+02 |    Inf 
18.39/18.43	o 271
18.39/18.43	c *18.1s| 40522 | 26230 |     0 |   0.0 |  52M|2816 |   - |5645 |8892 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 2.710000e+02 |    Inf 
18.39/18.44	o 267
18.39/18.44	c *18.1s| 40523 | 26169 |     0 |   0.0 |  52M|2816 |   - |5645 |8892 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 2.670000e+02 |    Inf 
18.70/18.71	o 248
18.70/18.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.70/18.71	c *18.4s| 40920 | 26425 |     0 |   0.0 |  52M|2816 |   - |5645 |8835 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 2.480000e+02 |    Inf 
18.99/19.00	o 236
18.99/19.00	c *18.6s| 41327 | 26719 |     0 |   0.0 |  53M|2816 |   - |5645 |8820 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 2.360000e+02 |    Inf 
18.99/19.09	o 221
18.99/19.09	c *18.7s| 41473 | 26780 |     0 |   0.0 |  53M|2816 |   - |5645 |8805 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 2.210000e+02 |    Inf 
19.59/19.66	o 196
19.59/19.66	c *19.3s| 42297 | 26916 |     0 |   0.0 |  53M|2816 |   - |5645 |8823 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 | 1.960000e+02 |    Inf 
19.59/19.67	o 181
19.59/19.67	c *19.3s| 42298 | 26716 |     0 |   0.0 |  53M|2816 |   - |5645 |8823 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 | 1.810000e+02 |    Inf 
20.90/20.96	o 171
20.90/20.96	c *20.6s| 44044 | 28217 |     0 |   0.0 |  56M|2816 |   - |5645 |8693 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 | 1.710000e+02 |    Inf 
20.90/20.97	o 158
20.90/20.97	c *20.6s| 44045 | 28060 |     0 |   0.0 |  55M|2816 |   - |5645 |8693 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 | 1.580000e+02 |    Inf 
22.49/22.55	o 151
22.49/22.55	c *22.1s| 46067 | 29797 |     0 |   0.0 |  58M|2816 |   - |5645 |8658 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 1.510000e+02 |    Inf 
23.19/23.25	o 150
23.19/23.25	c *22.8s| 46798 | 30409 |     0 |   0.0 |  61M|2816 |   - |5645 |8743 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 1.500000e+02 |    Inf 
23.48/23.55	o 147
23.48/23.55	c *23.1s| 47185 | 30697 |     0 |   0.0 |  61M|2816 |   - |5645 |8566 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 1.470000e+02 |    Inf 
23.79/23.88	o 138
23.79/23.88	c *23.4s| 47601 | 30902 |     0 |   0.0 |  62M|2816 |   - |5645 |8422 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 1.380000e+02 |    Inf 
23.79/23.88	o 133
23.79/23.88	c *23.4s| 47602 | 30794 |     0 |   0.0 |  62M|2816 |   - |5645 |8422 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 1.330000e+02 |    Inf 
23.89/23.97	o 123
23.89/23.97	c *23.5s| 47699 | 30666 |     0 |   0.0 |  61M|2816 |   - |5645 |8375 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 | 1.230000e+02 |    Inf 
24.89/24.97	o 112
24.89/24.97	c *24.5s| 48989 | 31613 |     0 |   0.0 |  63M|2816 |   - |5645 |8207 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 | 1.120000e+02 |    Inf 
25.49/25.59	o 99
25.49/25.59	c *25.1s| 49698 | 31740 |     0 |   0.0 |  63M|2816 |   - |5645 |8422 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 | 9.900000e+01 |    Inf 
25.79/25.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.79/25.83	c  25.4s| 50000 | 32009 |     0 |   0.0 |  63M|2816 |   - |5645 |8389 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 | 9.900000e+01 |    Inf 
26.39/26.41	o 86
26.39/26.41	c *25.9s| 50878 | 31415 |     0 |   0.0 |  61M|2816 |   - |5645 |8111 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 | 8.600000e+01 |    Inf 
28.79/28.87	o 64
28.79/28.87	c *28.4s| 53589 | 32183 |     0 |   0.0 |  67M|2816 |   - |5645 |8933 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 | 6.400000e+01 |    Inf 
28.99/29.04	o 55
28.99/29.04	c *28.5s| 53848 | 31325 |     0 |   0.0 |  64M|2816 |   - |5645 |8824 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 | 5.500000e+01 |    Inf 
28.99/29.05	o 40
28.99/29.05	c *28.5s| 53850 | 30368 |     0 |   0.0 |  63M|2816 |   - |5645 |8824 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 | 4.000000e+01 |    Inf 
31.80/31.85	o 35
31.80/31.85	c *31.3s| 57750 | 33341 |     0 |   0.0 |  70M|2816 |   - |5645 |6649 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 | 3.500000e+01 |    Inf 
33.19/33.21	c  32.6s| 60000 | 35246 |     0 |   0.0 |  73M|2816 |   - |5645 |6404 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 | 3.500000e+01 |    Inf 
33.79/33.84	o 33
33.79/33.84	c *33.2s| 61201 | 36121 |     0 |   0.0 |  73M|2816 |   - |5645 |6377 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 | 3.300000e+01 |    Inf 
37.89/37.95	o 24
37.89/37.95	c *37.3s| 68807 | 41150 |     0 |   0.0 |  78M|2816 |   - |5645 |7387 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
37.89/37.95	o 23
37.89/37.95	c *37.3s| 68808 | 41085 |     0 |   0.0 |  78M|2816 |   - |5645 |7387 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
38.69/38.71	c  38.0s| 70000 | 41932 |     0 |   0.0 |  80M|2816 |   - |5645 |7365 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
43.39/43.47	c  42.7s| 80000 | 50036 |     0 |   0.0 |  91M|2816 |   - |5645 |7651 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
47.58/47.68	c  46.8s| 90000 | 58397 |     0 |   0.0 | 101M|2816 |   - |5645 |7236 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
52.28/52.30	c  51.3s|100000 | 66331 |     0 |   0.0 | 111M|2816 |   - |5645 |7575 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
57.19/57.24	c  56.2s|110000 | 73943 |     0 |   0.0 | 122M|2816 |   - |5645 |8279 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
62.48/62.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
62.48/62.57	c  61.4s|120000 | 81215 |     0 |   0.0 | 133M|2816 |   - |5645 |8521 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
68.20/68.22	c  67.0s|130000 | 88220 |     0 |   0.0 | 144M|2816 |   - |5645 |8744 |   0 |   0 |   0 |  83k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
73.89/73.91	c  72.6s|140000 | 95140 |     0 |   0.0 | 155M|2816 |   - |5645 |8966 |   0 |   0 |   0 |  92k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
80.19/80.22	c  78.8s|150000 |101590 |     0 |   0.0 | 166M|2816 |   - |5645 |9358 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
87.19/87.26	c  85.7s|160000 |107509 |     0 |   0.0 | 178M|2816 |   - |5645 |9894 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
94.09/94.16	c  92.5s|170000 |113487 |     0 |   0.0 | 189M|2816 |   - |5645 |9959 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
101.79/101.86	c   100s|180000 |118814 |     0 |   0.0 | 200M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 135k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
110.39/110.45	c   109s|190000 |123611 |     0 |   0.0 | 212M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 148k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
120.28/120.35	c   118s|200000 |127293 |     0 |   0.0 | 222M|2816 |   - |5645 |  12k|   0 |   0 |   0 | 165k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
131.79/131.83	c   130s|210000 |129134 |     0 |   0.0 | 232M|2816 |   - |5645 |  14k|   0 |   0 |   0 | 188k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
137.89/137.99	c   136s|220000 |136743 |     0 |   0.0 | 239M|2816 |   - |5645 |6200 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
140.49/140.54	o 17
140.49/140.54	c * 138s|224070 |138934 |     0 |   0.0 | 242M|2816 |   - |5645 |7173 |   0 |   0 |   0 | 199k|   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
145.29/145.36	c   143s|230000 |142770 |     0 |   0.0 | 251M|2816 |   - |5645 |7358 |   0 |   0 |   0 | 205k|   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
150.59/150.65	o 9
150.59/150.65	c * 148s|237708 |146489 |     0 |   0.0 | 252M|2816 |   - |5645 |7454 |   0 |   0 |   0 | 212k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
152.39/152.41	c   150s|240000 |147954 |     0 |   0.0 | 256M|2816 |   - |5645 |7798 |   0 |   0 |   0 | 214k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
159.89/159.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
159.89/159.92	c   157s|250000 |153678 |     0 |   0.0 | 267M|2816 |   - |5645 |7497 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
167.29/167.34	c   165s|260000 |158944 |     0 |   0.0 | 278M|2816 |   - |5645 |8017 |   0 |   0 |   0 | 237k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
173.29/173.34	c   171s|270000 |166065 |     0 |   0.0 | 291M|2816 |   - |5645 |9770 |   0 |   0 |   0 | 246k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
179.20/179.25	c   176s|280000 |172469 |     0 |   0.0 | 302M|2816 |   - |5645 |9112 |   0 |   0 |   0 | 256k|   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
184.69/184.75	o 8
184.69/184.75	c * 182s|286819 |175369 |     0 |   0.0 | 307M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 266k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
186.29/186.33	c   183s|290000 |178026 |     0 |   0.0 | 310M|2816 |   - |5645 |9059 |   0 |   0 |   0 | 268k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
193.29/193.32	c   190s|300000 |184209 |     0 |   0.0 | 323M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 279k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
200.49/200.53	c   197s|310000 |191310 |     0 |   0.0 | 348M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 288k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
204.89/204.98	c   202s|320000 |198789 |     0 |   0.0 | 357M|2816 |   - |5645 |8244 |   0 |   0 |   0 | 292k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
209.49/209.58	c   206s|330000 |206261 |     0 |   0.0 | 368M|2816 |   - |5645 |9825 |   0 |   0 |   0 | 297k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
215.90/215.98	c   213s|340000 |211605 |     0 |   0.0 | 378M|2816 |   - |5645 |8750 |   0 |   0 |   0 | 304k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
221.99/222.05	c   219s|350000 |217543 |     0 |   0.0 | 388M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 312k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
226.09/226.17	c   223s|360000 |225695 |     0 |   0.0 | 398M|2816 |   - |5645 |8954 |   0 |   0 |   0 | 315k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
232.19/232.21	c   229s|370000 |232006 |     0 |   0.0 | 410M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 322k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
237.50/237.57	c   234s|380000 |238652 |     0 |   0.0 | 420M|2816 |   - |5645 |9312 |   0 |   0 |   0 | 327k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
242.69/242.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
242.69/242.78	c   239s|390000 |245496 |     0 |   0.0 | 430M|2816 |   - |5645 |9326 |   0 |   0 |   0 | 333k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
247.99/248.07	c   244s|400000 |252207 |     0 |   0.0 | 440M|2816 |   - |5645 |9288 |   0 |   0 |   0 | 339k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
253.09/253.17	c   249s|410000 |259220 |     0 |   0.0 | 451M|2816 |   - |5645 |9930 |   0 |   0 |   0 | 345k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
258.19/258.20	c   254s|420000 |266382 |     0 |   0.0 | 462M|2816 |   - |5645 |9818 |   0 |   0 |   0 | 351k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
264.29/264.32	c   260s|430000 |272285 |     0 |   0.0 | 472M|2816 |   - |5645 |  12k|   0 |   0 |   0 | 358k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
268.99/269.07	c   265s|440000 |279690 |     0 |   0.0 | 482M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 363k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
274.09/274.11	c   269s|450000 |287015 |     0 |   0.0 | 491M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 368k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
279.19/279.28	c   274s|460000 |294078 |     0 |   0.0 | 501M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 374k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
284.60/284.63	c   279s|470000 |301001 |     0 |   0.0 | 511M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 379k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
289.79/289.84	c   284s|480000 |307998 |     0 |   0.0 | 520M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 385k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
294.99/295.03	c   289s|490000 |315029 |     0 |   0.0 | 530M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 390k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
299.99/300.05	c   294s|500000 |322189 |     0 |   0.0 | 539M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 396k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
304.80/304.89	c   298s|510000 |329499 |     0 |   0.0 | 549M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 400k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
309.79/309.89	c   303s|520000 |336653 |     0 |   0.0 | 559M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 406k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
314.90/314.98	c   308s|530000 |343825 |     0 |   0.0 | 568M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 411k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
319.99/320.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
319.99/320.09	c   313s|540000 |350834 |     0 |   0.0 | 578M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 416k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
325.19/325.20	c   317s|550000 |357899 |     0 |   0.0 | 587M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 422k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
330.29/330.34	c   322s|560000 |364922 |     0 |   0.0 | 597M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 427k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
334.59/334.68	c   326s|570000 |372579 |     0 |   0.0 | 604M|2816 |   - |5645 |5822 |   0 |   0 |   0 | 432k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
338.20/338.26	c   330s|580000 |380801 |     0 |   0.0 | 614M|2816 |   - |5645 |5771 |   0 |   0 |   0 | 436k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
341.79/341.89	c   333s|590000 |388917 |     0 |   0.0 | 623M|2816 |   - |5645 |5572 |   0 |   0 |   0 | 439k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
347.29/347.39	c   338s|600000 |395308 |     0 |   0.0 | 634M|2816 |   - |5645 |7419 |   0 |   0 |   0 | 445k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
353.29/353.30	c   344s|610000 |401462 |     0 |   0.0 | 645M|2816 |   - |5645 |8486 |   0 |   0 |   0 | 451k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
359.79/359.81	c   350s|620000 |407173 |     0 |   0.0 | 655M|2816 |   - |5645 |8578 |   0 |   0 |   0 | 457k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
366.30/366.31	c   356s|630000 |412859 |     0 |   0.0 | 666M|2816 |   - |5645 |9285 |   0 |   0 |   0 | 464k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
373.60/373.67	c   363s|640000 |417843 |     0 |   0.0 | 676M|2816 |   - |5645 |9005 |   0 |   0 |   0 | 472k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
380.69/380.74	c   370s|650000 |422980 |     0 |   0.0 | 687M|2816 |   - |5645 |9621 |   0 |   0 |   0 | 480k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
387.99/388.06	c   377s|660000 |428015 |     0 |   0.0 | 697M|2816 |   - |5645 |9854 |   0 |   0 |   0 | 489k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
395.40/395.48	c   384s|670000 |432853 |     0 |   0.0 | 708M|2816 |   - |5645 |9939 |   0 |   0 |   0 | 498k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
402.90/402.97	c   391s|680000 |437689 |     0 |   0.0 | 718M|2816 |   - |5645 |9725 |   0 |   0 |   0 | 507k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
410.20/410.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
410.20/410.22	c   398s|690000 |442678 |     0 |   0.0 | 728M|2816 |   - |5645 |8820 |   0 |   0 |   0 | 516k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
417.60/417.62	c   405s|700000 |447490 |     0 |   0.0 | 738M|2816 |   - |5645 |9199 |   0 |   0 |   0 | 525k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
425.20/425.29	c   413s|710000 |451978 |     0 |   0.0 | 749M|2816 |   - |5645 |9724 |   0 |   0 |   0 | 535k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
432.79/432.84	c   420s|720000 |456439 |     0 |   0.0 | 758M|2816 |   - |5645 |9816 |   0 |   0 |   0 | 545k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
440.49/440.58	c   427s|730000 |460723 |     0 |   0.0 | 768M|2816 |   - |5645 |9704 |   0 |   0 |   0 | 555k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
447.60/447.65	c   434s|740000 |465704 |     0 |   0.0 | 778M|2816 |   - |5645 |8082 |   0 |   0 |   0 | 564k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
454.90/454.90	c   441s|750000 |470132 |     0 |   0.0 | 788M|2816 |   - |5645 |9008 |   0 |   0 |   0 | 574k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
462.60/462.65	c   449s|760000 |474115 |     0 |   0.0 | 797M|2816 |   - |5645 |9378 |   0 |   0 |   0 | 584k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
471.20/471.29	c   457s|770000 |477292 |     0 |   0.0 | 806M|2816 |   - |5645 |9869 |   0 |   0 |   0 | 595k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
480.09/480.12	c   465s|780000 |480282 |     0 |   0.0 | 814M|2816 |   - |5645 |9873 |   0 |   0 |   0 | 607k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
489.40/489.43	c   474s|790000 |482868 |     0 |   0.0 | 822M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 619k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
498.79/498.83	c   483s|800000 |485267 |     0 |   0.0 | 830M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 631k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
509.00/509.01	c   493s|810000 |486891 |     0 |   0.0 | 837M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 645k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
519.20/519.25	c   503s|820000 |488510 |     0 |   0.0 | 845M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 658k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
529.70/529.70	c   513s|830000 |489866 |     0 |   0.0 | 851M|2816 |   - |5645 |9941 |   0 |   0 |   0 | 671k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
541.00/541.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
541.00/541.03	c   524s|840000 |490340 |     0 |   0.0 | 858M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 686k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
552.70/552.71	c   536s|850000 |490294 |     0 |   0.0 | 862M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 701k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
565.31/565.33	c   548s|860000 |489304 |     0 |   0.0 | 865M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 718k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
578.90/578.96	c   561s|870000 |487708 |     0 |   0.0 | 867M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 736k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
593.80/593.85	c   576s|880000 |484655 |     0 |   0.0 | 858M|2816 |   - |5645 |6748 |   0 |   0 |   0 | 755k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
598.30/598.39	c   580s|890000 |492483 |     0 |   0.0 | 868M|2816 |   - |5645 |5113 |   0 |   0 |   0 | 759k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
602.90/602.95	c   584s|900000 |500067 |     0 |   0.0 | 878M|2816 |   - |5645 |5664 |   0 |   0 |   0 | 762k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
607.70/607.77	c   589s|910000 |507446 |     0 |   0.0 | 889M|2816 |   - |5645 |6228 |   0 |   0 |   0 | 767k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
613.00/613.06	c   594s|920000 |514466 |     0 |   0.0 | 899M|2816 |   - |5645 |6894 |   0 |   0 |   0 | 771k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
619.69/619.77	c   600s|930000 |520504 |     0 |   0.0 | 911M|2816 |   - |5645 |7833 |   0 |   0 |   0 | 778k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
627.50/627.56	c   607s|940000 |525716 |     0 |   0.0 | 924M|2816 |   - |5645 |9375 |   0 |   0 |   0 | 785k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
636.90/636.94	c   616s|950000 |529897 |     0 |   0.0 | 936M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 795k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
647.90/647.92	c   627s|960000 |533132 |     0 |   0.0 | 948M|2816 |   - |5645 |  13k|   0 |   0 |   0 | 807k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
660.01/660.08	c   639s|970000 |535810 |     0 |   0.0 | 957M|2816 |   - |5645 |  12k|   0 |   0 |   0 | 819k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
667.00/667.01	c   645s|980000 |541998 |     0 |   0.0 | 965M|2816 |   - |5645 |6801 |   0 |   0 |   0 | 825k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
672.50/672.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
672.50/672.51	c   650s|990000 |548964 |     0 |   0.0 | 975M|2816 |   - |5645 |7019 |   0 |   0 |   0 | 830k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
677.80/677.85	c   655s|  1000k|556055 |     0 |   0.0 | 984M|2816 |   - |5645 |7402 |   0 |   0 |   0 | 835k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
684.00/684.04	c   661s|  1010k|562518 |     0 |   0.0 | 996M|2816 |   - |5645 |8572 |   0 |   0 |   0 | 841k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
691.01/691.07	c   668s|  1020k|568378 |     0 |   0.0 |1008M|2816 |   - |5645 |9973 |   0 |   0 |   0 | 848k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
699.41/699.40	c   676s|  1030k|573404 |     0 |   0.0 |1020M|2816 |   - |5645 |  11k|   0 |   0 |   0 | 857k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
709.90/709.90	c   686s|  1040k|577107 |     0 |   0.0 |1031M|2816 |   - |5645 |  14k|   0 |   0 |   0 | 868k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
719.00/719.06	c   695s|  1050k|582080 |     0 |   0.0 |1037M|2816 |   - |5645 |8061 |   0 |   0 |   0 | 877k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
724.20/724.20	c   700s|  1060k|589568 |     0 |   0.0 |1047M|2816 |   - |5645 |7187 |   0 |   0 |   0 | 881k|   0 | 0.000000e+00 | 8.000000e+00 |    Inf 
727.90/727.98	o 6
727.90/727.98	c * 703s|  1067k|587833 |     0 |   0.0 |1028M|2816 |   - |5645 |7308 |   0 |   0 |   0 | 884k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
729.80/729.87	c   705s|  1070k|589748 |     0 |   0.0 |1032M|2816 |   - |5645 |7462 |   0 |   0 |   0 | 886k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
736.40/736.43	c   711s|  1080k|596403 |     0 |   0.0 |1046M|2816 |   - |5645 |8783 |   0 |   0 |   0 | 891k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
743.81/743.84	c   718s|  1090k|602144 |     0 |   0.0 |1056M|2816 |   - |5645 |6884 |   0 |   0 |   0 | 899k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
751.00/751.01	c   725s|  1100k|607374 |     0 |   0.0 |1067M|2816 |   - |5645 |8911 |   0 |   0 |   0 | 906k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
759.90/759.91	c   733s|  1110k|611337 |     0 |   0.0 |1075M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 916k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
768.81/768.84	c   742s|  1120k|615716 |     0 |   0.0 |1081M|2816 |   - |5645 |5966 |   0 |   0 |   0 | 925k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
773.21/773.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
773.21/773.27	c   746s|  1130k|623432 |     0 |   0.0 |1091M|2816 |   - |5645 |6311 |   0 |   0 |   0 | 929k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
778.10/778.18	c   750s|  1140k|630545 |     0 |   0.0 |1101M|2816 |   - |5645 |7242 |   0 |   0 |   0 | 934k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
783.21/783.23	c   755s|  1150k|637521 |     0 |   0.0 |1110M|2816 |   - |5645 |7989 |   0 |   0 |   0 | 939k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
788.61/788.65	c   760s|  1160k|644256 |     0 |   0.0 |1120M|2816 |   - |5645 |8355 |   0 |   0 |   0 | 944k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
794.70/794.70	c   766s|  1170k|650494 |     0 |   0.0 |1129M|2816 |   - |5645 |8917 |   0 |   0 |   0 | 950k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
802.81/802.86	c   774s|  1180k|655012 |     0 |   0.0 |1139M|2816 |   - |5645 |  10k|   0 |   0 |   0 | 959k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
814.01/814.03	c   785s|  1190k|657302 |     0 |   0.0 |1147M|2816 |   - |5645 |  12k|   0 |   0 |   0 | 971k|   0 | 0.000000e+00 | 6.000000e+00 |    Inf 
818.91/818.97	o 5
818.91/818.97	c * 789s|  1197k|660141 |     0 |   0.0 |1144M|2816 |   - |5645 |6226 |   0 |   0 |   0 | 975k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
820.11/820.12	c   790s|  1200k|662198 |     0 |   0.0 |1146M|2816 |   - |5645 |6333 |   0 |   0 |   0 | 976k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
824.50/824.52	c   794s|  1210k|670092 |     0 |   0.0 |1157M|2816 |   - |5645 |6589 |   0 |   0 |   0 | 980k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
829.41/829.49	c   799s|  1220k|677422 |     0 |   0.0 |1167M|2816 |   - |5645 |7137 |   0 |   0 |   0 | 984k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
835.51/835.58	c   805s|  1230k|683879 |     0 |   0.0 |1178M|2816 |   - |5645 |7930 |   0 |   0 |   0 | 989k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
842.40/842.40	c   811s|  1240k|689685 |     0 |   0.0 |1190M|2816 |   - |5645 |9063 |   0 |   0 |   0 | 996k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
850.40/850.44	c   819s|  1250k|694560 |     0 |   0.0 |1200M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1004k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
860.51/860.50	c   829s|  1260k|697755 |     0 |   0.0 |1210M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1015k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
871.11/871.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
871.11/871.11	c   839s|  1270k|700724 |     0 |   0.0 |1215M|2816 |   - |5645 |6531 |   0 |   0 |   0 |1027k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
875.91/875.92	c   843s|  1280k|708312 |     0 |   0.0 |1225M|2816 |   - |5645 |5600 |   0 |   0 |   0 |1031k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
881.11/881.13	c   848s|  1290k|715153 |     0 |   0.0 |1235M|2816 |   - |5645 |6768 |   0 |   0 |   0 |1036k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
887.11/887.19	c   854s|  1300k|721243 |     0 |   0.0 |1246M|2816 |   - |5645 |7910 |   0 |   0 |   0 |1042k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
894.22/894.29	c   860s|  1310k|726563 |     0 |   0.0 |1256M|2816 |   - |5645 |9134 |   0 |   0 |   0 |1049k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
902.81/902.80	c   869s|  1320k|730764 |     0 |   0.0 |1266M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1058k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
913.01/913.05	c   878s|  1330k|733872 |     0 |   0.0 |1272M|2816 |   - |5645 |8299 |   0 |   0 |   0 |1069k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
917.60/917.69	c   883s|  1340k|741530 |     0 |   0.0 |1282M|2816 |   - |5645 |6548 |   0 |   0 |   0 |1073k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
922.51/922.52	c   887s|  1350k|748781 |     0 |   0.0 |1292M|2816 |   - |5645 |7334 |   0 |   0 |   0 |1077k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
928.21/928.24	c   893s|  1360k|755303 |     0 |   0.0 |1302M|2816 |   - |5645 |8051 |   0 |   0 |   0 |1082k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
935.01/935.03	c   899s|  1370k|760924 |     0 |   0.0 |1312M|2816 |   - |5645 |9056 |   0 |   0 |   0 |1089k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
943.10/943.17	c   907s|  1380k|765352 |     0 |   0.0 |1323M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1097k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
954.30/954.36	c   918s|  1390k|767551 |     0 |   0.0 |1331M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1109k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
960.32/960.33	c   923s|  1400k|774143 |     0 |   0.0 |1337M|2816 |   - |5645 |5990 |   0 |   0 |   0 |1115k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
964.41/964.40	c   927s|  1410k|782111 |     0 |   0.0 |1347M|2816 |   - |5645 |6299 |   0 |   0 |   0 |1118k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
968.70/968.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
968.70/968.77	c   931s|  1420k|789721 |     0 |   0.0 |1357M|2816 |   - |5645 |6763 |   0 |   0 |   0 |1122k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
973.61/973.67	c   936s|  1430k|797008 |     0 |   0.0 |1367M|2816 |   - |5645 |7135 |   0 |   0 |   0 |1126k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
978.71/978.78	c   940s|  1440k|804039 |     0 |   0.0 |1377M|2816 |   - |5645 |7551 |   0 |   0 |   0 |1131k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
984.21/984.29	c   946s|  1450k|810761 |     0 |   0.0 |1388M|2816 |   - |5645 |8015 |   0 |   0 |   0 |1136k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
990.02/990.06	c   951s|  1460k|817270 |     0 |   0.0 |1398M|2816 |   - |5645 |8375 |   0 |   0 |   0 |1141k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
996.41/996.43	c   957s|  1470k|823236 |     0 |   0.0 |1409M|2816 |   - |5645 |9050 |   0 |   0 |   0 |1147k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1003.41/1003.49	c   964s|  1480k|828657 |     0 |   0.0 |1420M|2816 |   - |5645 |9729 |   0 |   0 |   0 |1154k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1011.01/1011.06	c   971s|  1490k|833706 |     0 |   0.0 |1430M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1162k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1019.72/1019.73	c   979s|  1500k|837997 |     0 |   0.0 |1440M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1171k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1029.51/1029.53	c   989s|  1510k|841540 |     0 |   0.0 |1450M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1181k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1041.81/1041.82	c  1000s|  1520k|843276 |     0 |   0.0 |1458M|2816 |   - |5645 |  14k|   0 |   0 |   0 |1194k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1050.41/1050.50	c  1009s|  1530k|848117 |     0 |   0.0 |1462M|2816 |   - |5645 |6850 |   0 |   0 |   0 |1202k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1055.21/1055.24	c  1013s|  1540k|855578 |     0 |   0.0 |1472M|2816 |   - |5645 |6806 |   0 |   0 |   0 |1205k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1060.81/1060.80	c  1018s|  1550k|862241 |     0 |   0.0 |1483M|2816 |   - |5645 |7976 |   0 |   0 |   0 |1210k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1067.51/1067.53	c  1025s|  1560k|868006 |     0 |   0.0 |1494M|2816 |   - |5645 |9034 |   0 |   0 |   0 |1217k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1075.51/1075.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1075.51/1075.58	c  1033s|  1570k|872691 |     0 |   0.0 |1504M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1225k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1085.81/1085.85	c  1042s|  1580k|875800 |     0 |   0.0 |1514M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1236k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1094.71/1094.79	c  1051s|  1590k|880416 |     0 |   0.0 |1520M|2816 |   - |5645 |7195 |   0 |   0 |   0 |1244k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1099.52/1099.56	c  1055s|  1600k|887955 |     0 |   0.0 |1530M|2816 |   - |5645 |6918 |   0 |   0 |   0 |1248k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1104.61/1104.61	c  1060s|  1610k|895138 |     0 |   0.0 |1540M|2816 |   - |5645 |6874 |   0 |   0 |   0 |1253k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1109.92/1109.93	c  1065s|  1620k|902061 |     0 |   0.0 |1551M|2816 |   - |5645 |7371 |   0 |   0 |   0 |1257k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1115.61/1115.66	c  1071s|  1630k|908646 |     0 |   0.0 |1561M|2816 |   - |5645 |7873 |   0 |   0 |   0 |1262k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1121.71/1121.70	c  1076s|  1640k|914946 |     0 |   0.0 |1571M|2816 |   - |5645 |8637 |   0 |   0 |   0 |1268k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1128.11/1128.14	c  1082s|  1650k|920897 |     0 |   0.0 |1581M|2816 |   - |5645 |9541 |   0 |   0 |   0 |1274k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1135.01/1135.06	c  1089s|  1660k|926518 |     0 |   0.0 |1591M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1281k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1142.41/1142.49	c  1096s|  1670k|931819 |     0 |   0.0 |1601M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1288k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1151.01/1151.02	c  1104s|  1680k|936326 |     0 |   0.0 |1610M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1297k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1160.72/1160.71	c  1113s|  1690k|940062 |     0 |   0.0 |1619M|2816 |   - |5645 |  13k|   0 |   0 |   0 |1306k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1173.51/1173.58	c  1126s|  1700k|941660 |     0 |   0.0 |1626M|2816 |   - |5645 |  16k|   0 |   0 |   0 |1319k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1179.81/1179.89	c  1132s|  1710k|948326 |     0 |   0.0 |1632M|2816 |   - |5645 |7513 |   0 |   0 |   0 |1325k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1184.81/1184.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1184.81/1184.81	c  1136s|  1720k|955637 |     0 |   0.0 |1642M|2816 |   - |5645 |7780 |   0 |   0 |   0 |1329k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1190.41/1190.49	c  1142s|  1730k|962197 |     0 |   0.0 |1653M|2816 |   - |5645 |8835 |   0 |   0 |   0 |1334k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1196.91/1196.94	c  1148s|  1740k|968213 |     0 |   0.0 |1664M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1340k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1205.01/1205.09	c  1155s|  1750k|972936 |     0 |   0.0 |1674M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1348k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1215.91/1215.96	c  1166s|  1760k|975708 |     0 |   0.0 |1682M|2816 |   - |5645 |  14k|   0 |   0 |   0 |1358k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1222.52/1222.50	c  1172s|  1770k|982049 |     0 |   0.0 |1689M|2816 |   - |5645 |7328 |   0 |   0 |   0 |1364k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1227.22/1227.25	c  1177s|  1780k|989482 |     0 |   0.0 |1699M|2816 |   - |5645 |7593 |   0 |   0 |   0 |1368k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1232.02/1232.08	c  1181s|  1790k|996735 |     0 |   0.0 |1709M|2816 |   - |5645 |8163 |   0 |   0 |   0 |1373k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1237.42/1237.41	c  1186s|  1800k|  1003k|     0 |   0.0 |1718M|2816 |   - |5645 |8674 |   0 |   0 |   0 |1377k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1243.92/1244.00	c  1192s|  1810k|  1009k|     0 |   0.0 |1728M|2816 |   - |5645 |9684 |   0 |   0 |   0 |1384k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1251.92/1251.90	c  1200s|  1820k|  1013k|     0 |   0.0 |1738M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1392k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1262.72/1262.76	c  1210s|  1830k|  1016k|     0 |   0.0 |1744M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1405k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1267.12/1267.18	c  1214s|  1840k|  1023k|     0 |   0.0 |1753M|2816 |   - |5645 |7215 |   0 |   0 |   0 |1408k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1272.21/1272.21	c  1219s|  1850k|  1030k|     0 |   0.0 |1763M|2816 |   - |5645 |7910 |   0 |   0 |   0 |1413k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1277.71/1277.78	c  1224s|  1860k|  1037k|     0 |   0.0 |1774M|2816 |   - |5645 |8981 |   0 |   0 |   0 |1418k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1284.21/1284.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1284.21/1284.29	c  1231s|  1870k|  1043k|     0 |   0.0 |1784M|2816 |   - |5645 |9827 |   0 |   0 |   0 |1424k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1291.81/1291.87	c  1238s|  1880k|  1048k|     0 |   0.0 |1793M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1432k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1300.32/1300.33	c  1246s|  1890k|  1052k|     0 |   0.0 |1801M|2816 |   - |5645 |9119 |   0 |   0 |   0 |1441k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1306.72/1306.75	c  1252s|  1900k|  1058k|     0 |   0.0 |1809M|2816 |   - |5645 |7710 |   0 |   0 |   0 |1447k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1312.01/1312.08	c  1257s|  1910k|  1065k|     0 |   0.0 |1818M|2816 |   - |5645 |8130 |   0 |   0 |   0 |1452k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1317.92/1317.98	c  1262s|  1920k|  1071k|     0 |   0.0 |1828M|2816 |   - |5645 |9169 |   0 |   0 |   0 |1457k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1324.33/1324.38	c  1268s|  1930k|  1077k|     0 |   0.0 |1837M|2816 |   - |5645 |8855 |   0 |   0 |   0 |1463k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1331.21/1331.20	c  1275s|  1940k|  1083k|     0 |   0.0 |1846M|2816 |   - |5645 |8960 |   0 |   0 |   0 |1470k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1338.32/1338.37	c  1282s|  1950k|  1088k|     0 |   0.0 |1855M|2816 |   - |5645 |8894 |   0 |   0 |   0 |1477k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1345.32/1345.31	c  1288s|  1960k|  1094k|     0 |   0.0 |1864M|2816 |   - |5645 |8848 |   0 |   0 |   0 |1484k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1352.42/1352.44	c  1295s|  1970k|  1099k|     0 |   0.0 |1874M|2816 |   - |5645 |9931 |   0 |   0 |   0 |1491k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1360.31/1360.32	c  1303s|  1980k|  1104k|     0 |   0.0 |1884M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1499k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1371.12/1371.15	c  1313s|  1990k|  1107k|     0 |   0.0 |1892M|2816 |   - |5645 |  14k|   0 |   0 |   0 |1510k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1378.33/1378.34	c  1320s|  2000k|  1113k|     0 |   0.0 |1898M|2816 |   - |5645 |8089 |   0 |   0 |   0 |1516k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1382.91/1382.93	c  1324s|  2010k|  1121k|     0 |   0.0 |1908M|2816 |   - |5645 |8312 |   0 |   0 |   0 |1520k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1388.72/1388.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1388.72/1388.78	c  1330s|  2020k|  1127k|     0 |   0.0 |1918M|2816 |   - |5645 |9091 |   0 |   0 |   0 |1525k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1395.52/1395.55	c  1336s|  2030k|  1133k|     0 |   0.0 |1928M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1531k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1403.32/1403.34	c  1344s|  2040k|  1138k|     0 |   0.0 |1938M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1539k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1413.72/1413.71	c  1353s|  2050k|  1141k|     0 |   0.0 |1946M|2816 |   - |5645 |  14k|   0 |   0 |   0 |1549k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1422.22/1422.21	c  1362s|  2060k|  1146k|     0 |   0.0 |1951M|2816 |   - |5645 |7875 |   0 |   0 |   0 |1557k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1426.92/1426.91	c  1366s|  2070k|  1154k|     0 |   0.0 |1960M|2816 |   - |5645 |7999 |   0 |   0 |   0 |1561k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1432.52/1432.57	c  1371s|  2080k|  1161k|     0 |   0.0 |1971M|2816 |   - |5645 |8956 |   0 |   0 |   0 |1566k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1438.92/1438.95	c  1377s|  2090k|  1167k|     0 |   0.0 |1981M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1572k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1446.32/1446.33	c  1384s|  2100k|  1172k|     0 |   0.0 |1990M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1579k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1454.82/1454.81	c  1393s|  2110k|  1177k|     0 |   0.0 |1999M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1587k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1462.82/1462.82	c  1400s|  2120k|  1182k|     0 |   0.0 |2006M|2816 |   - |5645 |9467 |   0 |   0 |   0 |1595k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1469.52/1469.57	c  1407s|  2130k|  1188k|     0 |   0.0 |2014M|2816 |   - |5645 |8898 |   0 |   0 |   0 |1602k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1476.02/1476.07	c  1413s|  2140k|  1194k|     0 |   0.0 |2024M|2816 |   - |5645 |9483 |   0 |   0 |   0 |1608k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1483.02/1483.01	c  1419s|  2150k|  1200k|     0 |   0.0 |2034M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1614k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1491.32/1491.33	c  1427s|  2160k|  1204k|     0 |   0.0 |2044M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1622k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1502.72/1502.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1502.72/1502.72	c  1438s|  2170k|  1207k|     0 |   0.0 |2050M|2816 |   - |5645 |  13k|   0 |   0 |   0 |1634k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1507.42/1507.44	c  1443s|  2180k|  1215k|     0 |   0.0 |2058M|2816 |   - |5645 |8236 |   0 |   0 |   0 |1637k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1512.43/1512.42	c  1447s|  2190k|  1222k|     0 |   0.0 |2067M|2816 |   - |5645 |8204 |   0 |   0 |   0 |1641k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
1514.52/1514.57	o 2
1514.52/1514.57	c *1449s|  2193k|  1153k|     0 |   0.0 |1946M|2816 |   - |5645 |8523 |   0 |   0 |   0 |1643k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1518.72/1518.79	c  1453s|  2200k|  1157k|     0 |   0.0 |1954M|2816 |   - |5645 |9291 |   0 |   0 |   0 |1647k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1526.43/1526.45	c  1461s|  2210k|  1162k|     0 |   0.0 |1965M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1654k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1536.22/1536.27	c  1470s|  2220k|  1166k|     0 |   0.0 |1974M|2816 |   - |5645 |  13k|   0 |   0 |   0 |1663k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1546.22/1546.29	c  1480s|  2230k|  1171k|     0 |   0.0 |1980M|2816 |   - |5645 |8754 |   0 |   0 |   0 |1672k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1551.62/1551.64	c  1485s|  2240k|  1178k|     0 |   0.0 |1990M|2816 |   - |5645 |8412 |   0 |   0 |   0 |1676k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1557.53/1557.57	c  1490s|  2250k|  1184k|     0 |   0.0 |2001M|2816 |   - |5645 |9412 |   0 |   0 |   0 |1681k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1564.52/1564.53	c  1497s|  2260k|  1190k|     0 |   0.0 |2011M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1688k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1572.92/1572.94	c  1505s|  2270k|  1195k|     0 |   0.0 |2021M|2816 |   - |5645 |  13k|   0 |   0 |   0 |1696k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1585.23/1585.21	c  1517s|  2280k|  1198k|     0 |   0.0 |2026M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1708k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1590.12/1590.14	c  1522s|  2290k|  1206k|     0 |   0.0 |2035M|2816 |   - |5645 |8195 |   0 |   0 |   0 |1712k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1595.52/1595.54	c  1527s|  2300k|  1213k|     0 |   0.0 |2045M|2816 |   - |5645 |8950 |   0 |   0 |   0 |1717k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1602.13/1602.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1602.13/1602.13	c  1533s|  2310k|  1219k|     0 |   0.0 |2055M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1723k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1609.82/1609.89	c  1540s|  2320k|  1224k|     0 |   0.0 |2065M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1730k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1622.03/1622.05	c  1552s|  2330k|  1226k|     0 |   0.0 |2072M|2816 |   - |5645 |  16k|   0 |   0 |   0 |1743k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1627.23/1627.27	c  1557s|  2340k|  1234k|     0 |   0.0 |2079M|2816 |   - |5645 |8300 |   0 |   0 |   0 |1747k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1632.63/1632.65	c  1562s|  2350k|  1241k|     0 |   0.0 |2089M|2816 |   - |5645 |8876 |   0 |   0 |   0 |1752k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1638.72/1638.75	c  1568s|  2360k|  1247k|     0 |   0.0 |2099M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1758k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1646.23/1646.23	c  1575s|  2370k|  1252k|     0 |   0.0 |2109M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1765k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1655.63/1655.66	c  1584s|  2380k|  1256k|     0 |   0.0 |2117M|2816 |   - |5645 |  14k|   0 |   0 |   0 |1775k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1664.43/1664.42	c  1592s|  2390k|  1261k|     0 |   0.0 |2124M|2816 |   - |5645 |8799 |   0 |   0 |   0 |1783k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1669.32/1669.34	c  1597s|  2400k|  1268k|     0 |   0.0 |2133M|2816 |   - |5645 |8505 |   0 |   0 |   0 |1788k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1675.13/1675.15	c  1603s|  2410k|  1275k|     0 |   0.0 |2143M|2816 |   - |5645 |9559 |   0 |   0 |   0 |1793k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1681.52/1681.53	c  1609s|  2420k|  1281k|     0 |   0.0 |2153M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1799k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1689.12/1689.13	c  1616s|  2430k|  1286k|     0 |   0.0 |2164M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1807k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1697.63/1697.67	c  1624s|  2440k|  1291k|     0 |   0.0 |2172M|2816 |   - |5645 |  11k|   0 |   0 |   0 |1816k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1704.83/1704.84	c  1631s|  2450k|  1296k|     0 |   0.0 |2180M|2816 |   - |5645 |9167 |   0 |   0 |   0 |1823k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1710.53/1710.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1710.53/1710.56	c  1636s|  2460k|  1303k|     0 |   0.0 |2189M|2816 |   - |5645 |8992 |   0 |   0 |   0 |1828k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1715.82/1715.88	c  1641s|  2470k|  1310k|     0 |   0.0 |2199M|2816 |   - |5645 |9476 |   0 |   0 |   0 |1832k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1722.13/1722.16	c  1647s|  2480k|  1316k|     0 |   0.0 |2208M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1839k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1729.63/1729.65	c  1654s|  2490k|  1321k|     0 |   0.0 |2218M|2816 |   - |5645 |  12k|   0 |   0 |   0 |1846k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1740.13/1740.17	c  1665s|  2500k|  1324k|     0 |   0.0 |2226M|2816 |   - |5645 |  15k|   0 |   0 |   0 |1858k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1746.23/1746.26	c  1670s|  2510k|  1331k|     0 |   0.0 |2232M|2816 |   - |5645 |8463 |   0 |   0 |   0 |1863k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1751.23/1751.25	c  1675s|  2520k|  1339k|     0 |   0.0 |2242M|2816 |   - |5645 |8664 |   0 |   0 |   0 |1867k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1757.03/1757.05	c  1680s|  2530k|  1345k|     0 |   0.0 |2252M|2816 |   - |5645 |9372 |   0 |   0 |   0 |1872k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1763.23/1763.29	c  1686s|  2540k|  1351k|     0 |   0.0 |2262M|2816 |   - |5645 |9701 |   0 |   0 |   0 |1878k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1770.23/1770.26	c  1693s|  2550k|  1357k|     0 |   0.0 |2271M|2816 |   - |5645 |9479 |   0 |   0 |   0 |1885k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1777.03/1777.00	c  1699s|  2560k|  1363k|     0 |   0.0 |2280M|2816 |   - |5645 |9540 |   0 |   0 |   0 |1892k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1783.63/1783.68	c  1706s|  2570k|  1369k|     0 |   0.0 |2289M|2816 |   - |5645 |9362 |   0 |   0 |   0 |1898k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1790.23/1790.22	c  1712s|  2580k|  1375k|     0 |   0.0 |2297M|2816 |   - |5645 |9645 |   0 |   0 |   0 |1905k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1796.83/1796.81	c  1718s|  2590k|  1381k|     0 |   0.0 |2307M|2816 |   - |5645 |  10k|   0 |   0 |   0 |1912k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1721.25
1800.03/1800.00	c Solving Nodes      : 2594555
1800.03/1800.00	c Primal Bound       : +2.00000000000000e+00 (42 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.08	s SATISFIABLE
1800.03/1800.08	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210 
1800.03/1800.08	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189 
1800.03/1800.08	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 
1800.03/1800.08	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 
1800.03/1800.08	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.03/1800.08	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.03/1800.08	v -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.03/1800.08	v -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 
1800.03/1800.08	v -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 
1800.03/1800.08	v -x28 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 
1800.03/1800.08	v -x1 
1800.03/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.08	c Solving Time       :    1721.25
1800.03/1800.08	c Original Problem   :
1800.03/1800.08	c   Problem name     : HOME/instance-2693611-1277926486.wbo
1800.03/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.03/1800.08	c Presolved Problem  :
1800.03/1800.08	c   Problem name     : t_HOME/instance-2693611-1277926486.wbo
1800.03/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08	c   Constraints      : 5414 initial, 17718 maximal
1800.03/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.03/1800.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.03/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   root node        :          -       2582          -          -       5164          -          -          -          -
1800.03/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.08	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.08	c   indicator        :       2707          0    6620695          0    1808865        172    2195484          0          0          0
1800.03/1800.08	c   linear           :       2707          0    8379581          0    2191081     537304   49154253          0          0          0
1800.03/1800.08	c   logicor          :          0+         0    3849167          0          0     119462    1995723          0          0          0
1800.03/1800.08	c   countsols        :          0          0          0          0    2191099          0          0          0          0          0
1800.03/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.08	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.08	c   indicator        :      21.55       0.00       8.88       0.00      12.67
1800.03/1800.08	c   linear           :     471.08       0.00     469.47       0.00       1.61
1800.03/1800.08	c   logicor          :     208.67       0.00     208.67       0.00       0.00
1800.03/1800.08	c   countsols        :       0.10       0.00       0.00       0.00       0.10
1800.03/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.08	c   vbounds          :       0.27          2          0          0
1800.03/1800.08	c   rootredcost      :       0.29          0          0          0
1800.03/1800.08	c   pseudoobj        :     414.16    8382381       2615    2151645
1800.03/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.08	c   propagation      :      34.28     659381     659380    3243704       20.6     171529       11.0          -
1800.03/1800.08	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   pseudo solution  :       0.05         96         96        355       18.8        203        9.5          -
1800.03/1800.08	c   applied globally :          -          -          -    1915202       17.8          -          -          -
1800.03/1800.08	c   applied locally  :          -          -          -          1      313.0          -          -          -
1800.03/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.08	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.08	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.08	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.08	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.08	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.08	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.08	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.08	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.08	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.08	c Pricers            :       Time      Calls       Vars
1800.03/1800.08	c   problem variables:       0.00          0          0
1800.03/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.08	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   inference        :      45.11    2191060          0          0          0          0    4382120
1800.03/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.08	c   LP solutions     :       0.00          -          0
1800.03/1800.08	c   pseudo solutions :       0.36          -         39
1800.03/1800.08	c   oneopt           :       0.26          0          0
1800.03/1800.08	c   trivial          :       0.08          2          2
1800.03/1800.08	c   simplerounding   :       0.00          0          0
1800.03/1800.08	c   zirounding       :       0.00          0          0
1800.03/1800.08	c   rounding         :       0.00          0          0
1800.03/1800.08	c   shifting         :       0.00          0          0
1800.03/1800.08	c   intshifting      :       0.00          0          0
1800.03/1800.08	c   twoopt           :       0.00          0          0
1800.03/1800.08	c   fixandinfer      :       0.00          0          0
1800.03/1800.08	c   feaspump         :       0.00          0          0
1800.03/1800.08	c   coefdiving       :       0.00          0          0
1800.03/1800.08	c   pscostdiving     :       0.00          0          0
1800.03/1800.08	c   fracdiving       :       0.00          0          0
1800.03/1800.08	c   veclendiving     :       0.00          0          0
1800.03/1800.08	c   intdiving        :       0.00          0          0
1800.03/1800.08	c   actconsdiving    :       0.00          0          0
1800.03/1800.08	c   objpscostdiving  :       0.00          0          0
1800.03/1800.08	c   rootsoldiving    :       0.00          0          0
1800.03/1800.08	c   linesearchdiving :       0.00          0          0
1800.03/1800.08	c   guideddiving     :       0.00          0          0
1800.03/1800.08	c   octane           :       0.00          0          0
1800.03/1800.08	c   rens             :       0.00          0          0
1800.03/1800.08	c   rins             :       0.00          0          0
1800.03/1800.08	c   localbranching   :       0.00          0          0
1800.03/1800.08	c   mutation         :       0.00          0          0
1800.03/1800.08	c   crossover        :       0.00          0          0
1800.03/1800.08	c   dins             :       0.00          0          0
1800.03/1800.08	c   undercover       :       0.00          0          0
1800.03/1800.08	c   nlp              :       0.15          0          0
1800.03/1800.08	c   trysol           :       0.10          1          1
1800.03/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.08	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.08	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.08	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.08	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.08	c B&B Tree           :
1800.03/1800.08	c   number of runs   :          1
1800.03/1800.08	c   nodes            :    2594555
1800.03/1800.08	c   nodes (total)    :    2594555
1800.03/1800.08	c   nodes left       :    1383678
1800.03/1800.08	c   max depth        :       2816
1800.03/1800.08	c   max depth (total):       2816
1800.03/1800.08	c   backtracks       :     366081 (14.1%)
1800.03/1800.08	c   delayed cutoffs  :     303128
1800.03/1800.08	c   repropagations   :    1520338 (16956358 domain reductions, 256193 cutoffs)
1800.03/1800.08	c   avg switch length:      37.70
1800.03/1800.08	c   switching time   :     474.21
1800.03/1800.08	c Solution           :
1800.03/1800.08	c   Solutions found  :         42 (40 improvements)
1800.03/1800.08	c   First Solution   : +1.35714000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.08	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 2193899 nodes, 1449.25 seconds, depth 1920, found by <relaxation>)
1800.03/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.08	c   Gap              :   infinite
1800.03/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.08	c   Root Iterations  :          0

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693611-1277926486/watcher-2693611-1277926486 -o /tmp/evaluation-result-2693611-1277926486/solver-2693611-1277926486 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693611-1277926486.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.00 2.00 2.00 4/196 27726
/proc/meminfo: memFree=31306044/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=8600 CPUtime=0
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 1629 0 0 0 0 0 0 0 25 0 1 0 166288139 8806400 1551 4089446400 4194304 7136930 140735057708944 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27726/statm: 2150 1551 275 719 0 1429 0

[startup+0.098589 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 27726
/proc/meminfo: memFree=31306044/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=33676 CPUtime=0.08
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 7967 0 0 0 8 0 0 0 25 0 1 0 166288139 34484224 7535 4089446400 4194304 7136930 140735057708944 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27726/statm: 8419 7535 323 719 0 7698 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33676

[startup+0.100589 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 27726
/proc/meminfo: memFree=31306044/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=33676 CPUtime=0.09
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 166288139 34484224 7535 4089446400 4194304 7136930 140735057708944 18446744073709551615 6350410 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27726/statm: 8419 7535 323 719 0 7698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33676

[startup+0.30055 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 27726
/proc/meminfo: memFree=31306044/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=36496 CPUtime=0.29
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 9239 0 0 0 28 1 0 0 25 0 1 0 166288139 37371904 8293 4089446400 4194304 7136930 140735057708944 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27726/statm: 9124 8293 383 719 0 8403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36496

[startup+0.70048 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 27726
/proc/meminfo: memFree=31306044/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=37636 CPUtime=0.69
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 9515 0 0 0 67 2 0 0 25 0 1 0 166288139 38539264 8569 4089446400 4194304 7136930 140735057708944 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27726/statm: 9409 8569 383 719 0 8688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37636

[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 27727
/proc/meminfo: memFree=31271936/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=42124 CPUtime=1.49
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 10663 0 0 0 145 4 0 0 25 0 1 0 166288139 43134976 9717 4089446400 4194304 7136930 140735057708944 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27726/statm: 10531 9717 390 719 0 9810 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42124

[startup+3.10106 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 27727
/proc/meminfo: memFree=31267348/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=44212 CPUtime=3.08
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 11197 0 0 0 302 6 0 0 25 0 1 0 166288139 45273088 10251 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27726/statm: 11053 10251 390 719 0 10332 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44212

[startup+6.3005 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 27727
/proc/meminfo: memFree=31261600/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=52452 CPUtime=6.29
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 13242 0 0 0 617 12 0 0 25 0 1 0 166288139 53710848 12296 4089446400 4194304 7136930 140735057708944 18446744073709551615 4923382 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27726/statm: 13113 12296 390 719 0 12392 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52452

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 27727
/proc/meminfo: memFree=31237828/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=74776 CPUtime=12.69
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 18752 0 0 0 1245 24 0 0 25 0 1 0 166288139 76570624 17806 4089446400 4194304 7136930 140735057708944 18446744073709551615 4923501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27726/statm: 18694 17806 390 719 0 17973 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74776

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 27727
/proc/meminfo: memFree=31207984/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=106312 CPUtime=25.49
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 26280 0 0 0 2507 42 0 0 25 0 1 0 166288139 108863488 25334 4089446400 4194304 7136930 140735057708944 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27726/statm: 26578 25334 391 719 0 25857 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106312

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 27728
/proc/meminfo: memFree=31137200/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=178416 CPUtime=51.09
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 43750 0 0 0 5017 92 0 0 25 0 1 0 166288139 182697984 42804 4089446400 4194304 7136930 140735057708944 18446744073709551615 4983557 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27726/statm: 44604 42804 391 719 0 43883 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 178416

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 27729
/proc/meminfo: memFree=31034584/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=283772 CPUtime=102.3
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 69537 0 0 0 10061 169 0 0 25 0 1 0 166288139 290582528 68591 4089446400 4194304 7136930 140735057708944 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27726/statm: 70943 68591 391 719 0 70222 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 283772

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 27731
/proc/meminfo: memFree=30948100/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=371260 CPUtime=162.29
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 90866 0 0 0 15984 245 0 0 25 0 1 0 166288139 380170240 89920 4089446400 4194304 7136930 140735057708944 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27726/statm: 92815 89920 391 719 0 92094 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 371260

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 27733
/proc/meminfo: memFree=30819716/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=499800 CPUtime=222.29
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 121153 0 0 0 21885 344 0 0 25 0 1 0 166288139 511795200 120207 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27726/statm: 124950 120207 391 719 0 124229 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 499800

[startup+282.301 s]
/proc/loadavg: 1.96 2.00 2.00 3/179 27764
/proc/meminfo: memFree=30932744/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=624188 CPUtime=282.29
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 152382 0 0 0 27713 516 0 0 25 0 1 0 166288139 639168512 151436 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 156047 151436 391 719 0 155326 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 624188

[startup+342.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 27792
/proc/meminfo: memFree=30772632/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=745584 CPUtime=342.3
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 183115 0 0 0 33339 891 0 0 25 0 1 0 166288139 763478016 182169 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 186396 182169 391 719 0 185675 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 745584

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 27797
/proc/meminfo: memFree=30524180/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=842284 CPUtime=402.3
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 207493 0 0 0 39071 1159 0 0 25 0 1 0 166288139 862498816 206547 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 210571 206547 391 719 0 209850 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 842284

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 27799
/proc/meminfo: memFree=30335828/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=930440 CPUtime=462.29
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 227455 0 0 0 44822 1407 0 0 25 0 1 0 166288139 952770560 226509 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 232610 226509 391 719 0 231889 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 930440

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 27801
/proc/meminfo: memFree=30184016/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=980144 CPUtime=522.3
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 239981 0 0 0 50623 1607 0 0 25 0 1 0 166288139 1003667456 239035 4089446400 4194304 7136930 140735057708944 18446744073709551615 4926270 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 245036 239035 391 719 0 244315 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 980144

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 27802
/proc/meminfo: memFree=30051284/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=1007044 CPUtime=582.3
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 246568 0 0 0 56445 1785 0 0 25 0 1 0 166288139 1031213056 245622 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 251761 245622 391 719 0 251040 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1007044

[startup+642.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 27803
/proc/meminfo: memFree=29853836/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=1079044 CPUtime=642.3
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 264299 0 0 0 62146 2084 0 0 25 0 1 0 166288139 1104941056 263353 4089446400 4194304 7136930 140735057708944 18446744073709551615 4222085 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 269761 263353 391 719 0 269040 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 1079044

[startup+702.301 s]

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

/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 390656 0 0 0 96265 3965 0 0 25 0 1 0 166288139 1623498752 389710 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 396362 389710 391 719 0 395641 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1585448

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27815
/proc/meminfo: memFree=28705620/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=1655596 CPUtime=1062.31
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 408297 0 0 0 101990 4241 0 0 25 0 1 0 166288139 1695330304 407351 4089446400 4194304 7136930 140735057708944 18446744073709551615 5954299 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 413899 407351 391 719 0 413178 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1655596

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27817
/proc/meminfo: memFree=28554288/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=1736916 CPUtime=1122.31
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 428705 0 0 0 107676 4555 0 0 25 0 1 0 166288139 1778601984 427759 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 434229 427759 391 719 0 433508 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1736916

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27818
/proc/meminfo: memFree=28407788/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=1809748 CPUtime=1182.31
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 447022 0 0 0 113399 4832 0 0 25 0 1 0 166288139 1853181952 446076 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 452437 446076 391 719 0 451716 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1809748

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27819
/proc/meminfo: memFree=28294908/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=1907824 CPUtime=1242.31
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 467426 0 0 0 119074 5157 0 0 25 0 1 0 166288139 1953611776 466480 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 476956 466480 391 719 0 476235 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1907824

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27821
/proc/meminfo: memFree=28137360/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=1983268 CPUtime=1302.33
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 486596 0 0 0 124775 5458 0 0 25 0 1 0 166288139 2030866432 485650 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 495817 485650 391 719 0 495096 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1983268

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 27823
/proc/meminfo: memFree=27970768/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2064816 CPUtime=1362.32
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 507201 0 0 0 130451 5781 0 0 25 0 1 0 166288139 2114371584 506255 4089446400 4194304 7136930 140735057708944 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 516204 506255 391 719 0 515483 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2064816

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 27825
/proc/meminfo: memFree=27837424/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2130496 CPUtime=1422.32
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 523654 0 0 0 136178 6054 0 0 25 0 1 0 166288139 2181627904 522708 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 532624 522708 391 719 0 531903 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2130496

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 27826
/proc/meminfo: memFree=27679396/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2211028 CPUtime=1482.32
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 544040 0 0 0 141870 6362 0 0 25 0 1 0 166288139 2264092672 543094 4089446400 4194304 7136930 140735057708944 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 552757 543094 391 719 0 552036 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2211028

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 27827
/proc/meminfo: memFree=27563640/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2252212 CPUtime=1542.32
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 554416 0 0 0 147603 6629 0 0 25 0 1 0 166288139 2306265088 553470 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 563053 553470 391 719 0 562332 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2252212

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 27838
/proc/meminfo: memFree=27461080/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2270680 CPUtime=1602.32
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 559041 0 0 0 153311 6921 0 0 25 0 1 0 166288139 2325176320 558095 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 567670 558095 391 719 0 566949 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2270680

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27840
/proc/meminfo: memFree=27337624/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2321304 CPUtime=1662.33
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 571874 0 0 0 159046 7187 0 0 25 0 1 0 166288139 2377015296 570928 4089446400 4194304 7136930 140735057708944 18446744073709551615 4923705 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 580326 570928 391 719 0 579605 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2321304

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27842
/proc/meminfo: memFree=27186044/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2399024 CPUtime=1722.32
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 591538 0 0 0 164741 7491 0 0 25 0 1 0 166288139 2456600576 590592 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 599756 590592 391 719 0 599035 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2399024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27843
/proc/meminfo: memFree=27037448/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2472088 CPUtime=1782.33
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 609885 0 0 0 170451 7782 0 0 25 0 1 0 166288139 2531418112 608939 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 618022 608939 391 719 0 617301 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2472088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27844
/proc/meminfo: memFree=26976548/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2497264 CPUtime=1800.03
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 616166 0 0 0 172127 7876 0 0 25 0 1 0 166288139 2557198336 615220 4089446400 4194304 7136930 140735057708944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/27726/statm: 624316 615220 391 719 0 623595 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2497264

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -27726

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 27845
/proc/meminfo: memFree=26974804/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2497264 CPUtime=1801.43
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 616185 0 0 0 172267 7876 0 0 19 0 1 0 166288139 2557198336 615239 4089446400 4194304 7136930 140735057708944 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27726/statm: 624316 615239 397 719 0 623595 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2497264

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27845
/proc/meminfo: memFree=26972572/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2497264 CPUtime=1801.84
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 616185 0 0 0 172308 7876 0 0 20 0 1 0 166288139 2557198336 615239 4089446400 4194304 7136930 140735057708944 18446744073709551615 4615816 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27726/statm: 624316 615239 397 719 0 623595 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2497264

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27845
/proc/meminfo: memFree=26972572/32951124 swapFree=67111528/67111528
[pid=27726] ppid=27724 vsize=2497264 CPUtime=1802.03
/proc/27726/stat : 27726 (pbscip.linux.x8) R 27724 27726 25581 0 -1 4202496 616185 0 0 0 172327 7876 0 0 21 0 1 0 166288139 2557198336 615239 4089446400 4194304 7136930 140735057708944 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27726/statm: 624316 615239 397 719 0 623595 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2497264

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.13
CPU user time (s): 1723.28
CPU system time (s): 78.846
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2497264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1723.28
system time used= 78.846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616185
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= 3
involuntary context switches= 2739

runsolver used 2.51362 second user time and 5.87511 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 21:34:46
IDJOB=2693611
IDBENCH=79270
IDSOLVER=1206
FILE ID=node119/2693611-1277926486
PBS_JOBID= 11197324
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693611-1277926486/watcher-2693611-1277926486 -o /tmp/evaluation-result-2693611-1277926486/solver-2693611-1277926486 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693611-1277926486.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a56ccccf952bf820f5367d29dba24868
RANDOM SEED=964187906

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31306696 kB
Buffers:        211176 kB
Cached:         954808 kB
SwapCached:          0 kB
Active:         849832 kB
Inactive:       650612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31306696 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:      334268 kB
Mapped:          20244 kB
Slab:            80024 kB
PageTables:       5236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1654356 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= 74204 MiB
End job on node119 at 2010-06-30 22:04:48