Trace number 2663892

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)-17 1802.21 1802.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_5.opb
MD5SUMae2bd1e13f1871c16ad2ebb51fc6f92a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-27
Best CPU time to get the best result obtained on this benchmark1789.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

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-2663892-1276672585.opb>
0.00/0.02	c original problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1553 constraints
0.00/0.02	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.00/0.04	o 0
0.00/0.04	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.00/0.04	c presolving:
0.20/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10216 impls, 200 clqs
0.39/0.45	c    (0.2s) probing: 101/1452 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.45	c presolving (2 rounds):
0.39/0.45	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45	c  10216 implications, 200 cliques
0.39/0.45	c presolved problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1553 constraints
0.39/0.45	c     200 constraints of type <setppc>
0.39/0.45	c    1252 constraints of type <and>
0.39/0.45	c       1 constraints of type <linear>
0.39/0.45	c     100 constraints of type <logicor>
0.39/0.45	c transformed objective value is always integral (scale: 1)
0.39/0.45	c Presolving Time: 0.24
0.39/0.45	c - non default parameters ----------------------------------------------------------------------
0.39/0.45	c # SCIP version 1.2.1.2
0.39/0.45	c 
0.39/0.45	c # frequency for displaying node information lines
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45	c display/freq = 10000
0.39/0.45	c 
0.39/0.45	c # maximal time in seconds to run
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/time = 1799.98
0.39/0.45	c 
0.39/0.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/memory = 1620
0.39/0.45	c 
0.39/0.45	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.45	c lp/solvefreq = -1
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify inequalities
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/linear/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify knapsacks
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c heuristics/undercover/freq = 0
0.39/0.45	c 
0.39/0.45	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c separating/rapidlearning/freq = 0
0.39/0.45	c 
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c start solving
0.39/0.45	c 
0.39/0.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.46	c t 0.2s|     1 |     2 |     0 |     - |4352k|   0 |   - |1452 |1553 |   0 |   0 |   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 | 100.00%
5.29/5.32	o -9
5.29/5.32	c * 4.9s|  7546 |  7340 |     0 |   0.0 |  12M|  93 |   - |1452 |1660 |   0 |   0 |   0 | 134 |   0 |-9.900000e+01 |-9.000000e+00 |  90.91%
5.59/5.60	o -10
5.59/5.60	c * 5.2s|  8055 |  7831 |     0 |   0.0 |  13M|  93 |   - |1452 |1662 |   0 |   0 |   0 | 147 |   0 |-9.900000e+01 |-1.000000e+01 |  89.90%
6.69/6.73	c   6.2s| 10000 |  9648 |     0 |   0.0 |  15M|  93 |   - |1452 |1713 |   0 |   0 |   0 | 246 |   0 |-9.900000e+01 |-1.000000e+01 |  89.90%
6.69/6.75	o -13
6.69/6.75	c * 6.3s| 10023 |  9664 |     0 |   0.0 |  15M|  93 |   - |1452 |1714 |   0 |   0 |   0 | 248 |   0 |-9.900000e+01 |-1.300000e+01 |  86.87%
12.88/12.94	o -14
12.88/12.94	c *12.2s| 17297 | 14007 |     0 |   0.0 |  25M|  93 |   - |1452 |2014 |   0 |   0 |   0 |1839 |   0 |-9.800000e+01 |-1.400000e+01 |  85.71%
15.09/15.14	c  14.3s| 20000 | 15856 |     0 |   0.0 |  29M|  93 |   - |1452 |1923 |   0 |   0 |   0 |2416 |   0 |-9.800000e+01 |-1.400000e+01 |  85.71%
16.28/16.34	o -15
16.28/16.34	c *15.4s| 21669 | 17366 |     0 |   0.0 |  33M|  93 |   - |1452 |1950 |   0 |   0 |   0 |2559 |   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
22.49/22.56	c  21.4s| 30000 | 24693 |     0 |   0.0 |  50M|  93 |   - |1452 |2013 |   0 |   0 |   0 |3380 |   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
29.89/29.96	c  28.5s| 40000 | 33388 |     0 |   0.0 |  71M|  93 |   - |1452 |2111 |   0 |   0 |   0 |4422 |   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
37.58/37.68	c  35.9s| 50000 | 41318 |     0 |   0.0 |  90M|  93 |   - |1452 |2288 |   0 |   0 |   0 |6347 |   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
45.27/45.39	c  43.2s| 60000 | 49174 |     0 |   0.0 | 109M|  93 |   - |1452 |2285 |   0 |   0 |   0 |8389 |   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
53.07/53.11	c  50.6s| 70000 | 56961 |     0 |   0.0 | 128M|  93 |   - |1452 |2288 |   0 |   0 |   0 |  10k|   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
60.78/60.85	c  58.0s| 80000 | 64439 |     0 |   0.0 | 145M|  93 |   - |1452 |2395 |   0 |   0 |   0 |  12k|   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
68.67/68.75	c  65.6s| 90000 | 71679 |     0 |   0.0 | 163M|  93 |   - |1452 |2477 |   0 |   0 |   0 |  15k|   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
74.47/74.53	o -16
74.47/74.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
74.47/74.54	c *71.1s| 97223 | 76747 |     0 |   0.0 | 176M|  93 |   - |1452 |2531 |   0 |   0 |   0 |  17k|   0 |-9.800000e+01 |-1.600000e+01 |  83.67%
76.77/76.86	c  73.3s|100000 | 78492 |     0 |   0.0 | 180M|  93 |   - |1452 |2724 |   0 |   0 |   0 |  18k|   0 |-9.800000e+01 |-1.600000e+01 |  83.67%
85.17/85.23	c  81.4s|110000 | 84781 |     0 |   0.0 | 195M|  93 |   - |1452 |2701 |   0 |   0 |   0 |  21k|   0 |-9.800000e+01 |-1.600000e+01 |  83.67%
94.17/94.23	c  90.0s|120000 | 90444 |     0 |   0.0 | 208M|  93 |   - |1452 |2820 |   0 |   0 |   0 |  25k|   0 |-9.800000e+01 |-1.600000e+01 |  83.67%
102.76/102.83	c  98.3s|130000 | 96403 |     0 |   0.0 | 221M|  93 |   - |1452 |2768 |   0 |   0 |   0 |  29k|   0 |-9.800000e+01 |-1.600000e+01 |  83.67%
111.86/111.96	c   107s|140000 |102114 |     0 |   0.0 | 235M|  94 |   - |1452 |2835 |   0 |   0 |   0 |  32k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
122.07/122.14	c   117s|150000 |106399 |     0 |   0.0 | 247M|  94 |   - |1452 |3067 |   0 |   0 |   0 |  35k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
132.26/132.33	c   127s|160000 |110409 |     0 |   0.0 | 257M|  94 |   - |1452 |2860 |   0 |   0 |   0 |  39k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
140.66/140.74	c   135s|170000 |118849 |     0 |   0.0 | 280M|  96 |   - |1452 |2303 |   0 |   0 |   0 |  40k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
148.26/148.31	c   142s|180000 |128085 |     0 |   0.0 | 303M|  96 |   - |1452 |2343 |   0 |   0 |   0 |  41k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
155.65/155.76	c   149s|190000 |137341 |     0 |   0.0 | 326M|  96 |   - |1452 |2387 |   0 |   0 |   0 |  41k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
163.15/163.21	c   156s|200000 |146520 |     0 |   0.0 | 349M|  96 |   - |1452 |2445 |   0 |   0 |   0 |  42k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
170.64/170.72	c   163s|210000 |155711 |     0 |   0.0 | 372M|  96 |   - |1452 |2474 |   0 |   0 |   0 |  43k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
178.25/178.38	c   171s|220000 |164882 |     0 |   0.0 | 395M|  96 |   - |1452 |2521 |   0 |   0 |   0 |  43k|   0 |-9.700000e+01 |-1.600000e+01 |  83.51%
178.45/178.50	o -17
178.45/178.50	c * 171s|220172 |165030 |     0 |   0.0 | 396M|  96 |   - |1452 |2533 |   0 |   0 |   0 |  43k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
186.04/186.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
186.04/186.12	c   178s|230000 |174000 |     0 |   0.0 | 418M|  96 |   - |1452 |2540 |   0 |   0 |   0 |  44k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
193.64/193.72	c   185s|240000 |183031 |     0 |   0.0 | 441M|  96 |   - |1452 |2572 |   0 |   0 |   0 |  45k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
201.34/201.43	c   193s|250000 |191943 |     0 |   0.0 | 463M|  96 |   - |1452 |2630 |   0 |   0 |   0 |  45k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
209.24/209.38	c   200s|260000 |200726 |     0 |   0.0 | 486M|  96 |   - |1452 |2645 |   0 |   0 |   0 |  46k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
217.03/217.17	c   208s|270000 |209474 |     0 |   0.0 | 508M|  96 |   - |1452 |2748 |   0 |   0 |   0 |  47k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
224.74/224.89	c   215s|280000 |218213 |     0 |   0.0 | 530M|  96 |   - |1452 |2757 |   0 |   0 |   0 |  48k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
232.33/232.46	c   222s|290000 |227015 |     0 |   0.0 | 551M|  96 |   - |1452 |2812 |   0 |   0 |   0 |  49k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
240.03/240.14	c   230s|300000 |235783 |     0 |   0.0 | 573M|  96 |   - |1452 |2830 |   0 |   0 |   0 |  51k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
247.73/247.81	c   237s|310000 |244441 |     0 |   0.0 | 594M|  96 |   - |1452 |2945 |   0 |   0 |   0 |  52k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
255.53/255.68	c   245s|320000 |252888 |     0 |   0.0 | 615M|  96 |   - |1452 |3013 |   0 |   0 |   0 |  53k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
263.42/263.54	c   252s|330000 |261255 |     0 |   0.0 | 635M|  96 |   - |1452 |2978 |   0 |   0 |   0 |  55k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
271.12/271.25	c   260s|340000 |269743 |     0 |   0.0 | 655M|  96 |   - |1452 |2959 |   0 |   0 |   0 |  56k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
278.72/278.81	c   267s|350000 |278318 |     0 |   0.0 | 675M|  96 |   - |1452 |2961 |   0 |   0 |   0 |  57k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
286.32/286.41	c   274s|360000 |286961 |     0 |   0.0 | 695M|  96 |   - |1452 |2967 |   0 |   0 |   0 |  59k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
294.12/294.26	c   282s|370000 |295240 |     0 |   0.0 | 715M|  96 |   - |1452 |2993 |   0 |   0 |   0 |  60k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
301.92/302.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
301.92/302.00	c   289s|380000 |303760 |     0 |   0.0 | 735M|  96 |   - |1452 |2947 |   0 |   0 |   0 |  61k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
309.71/309.83	c   296s|390000 |312123 |     0 |   0.0 | 755M|  96 |   - |1452 |3231 |   0 |   0 |   0 |  63k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
317.61/317.79	c   304s|400000 |320617 |     0 |   0.0 | 775M|  96 |   - |1452 |3130 |   0 |   0 |   0 |  64k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
325.42/325.50	c   311s|410000 |328914 |     0 |   0.0 | 793M|  96 |   - |1452 |3100 |   0 |   0 |   0 |  66k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
333.12/333.23	c   319s|420000 |337226 |     0 |   0.0 | 813M|  96 |   - |1452 |3108 |   0 |   0 |   0 |  67k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
340.71/340.80	c   326s|430000 |345753 |     0 |   0.0 | 832M|  96 |   - |1452 |3213 |   0 |   0 |   0 |  69k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
348.51/348.69	c   334s|440000 |354009 |     0 |   0.0 | 852M|  96 |   - |1452 |3131 |   0 |   0 |   0 |  70k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
356.50/356.66	c   341s|450000 |361901 |     0 |   0.0 | 870M|  96 |   - |1452 |3157 |   0 |   0 |   0 |  72k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
364.50/364.62	c   349s|460000 |369761 |     0 |   0.0 | 888M|  96 |   - |1452 |3228 |   0 |   0 |   0 |  74k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
372.39/372.56	c   356s|470000 |377547 |     0 |   0.0 | 906M|  96 |   - |1452 |3371 |   0 |   0 |   0 |  76k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
380.50/380.62	c   364s|480000 |385295 |     0 |   0.0 | 924M|  96 |   - |1452 |3336 |   0 |   0 |   0 |  78k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
388.40/388.52	c   372s|490000 |393066 |     0 |   0.0 | 941M|  96 |   - |1452 |3404 |   0 |   0 |   0 |  80k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
396.49/396.61	c   380s|500000 |400708 |     0 |   0.0 | 958M|  96 |   - |1452 |3326 |   0 |   0 |   0 |  82k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
404.69/404.89	c   387s|510000 |408128 |     0 |   0.0 | 975M|  96 |   - |1452 |3328 |   0 |   0 |   0 |  84k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
412.78/412.97	c   395s|520000 |415550 |     0 |   0.0 | 991M|  96 |   - |1452 |3376 |   0 |   0 |   0 |  86k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
421.28/421.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
421.28/421.43	c   403s|530000 |422294 |     0 |   0.0 |1006M|  96 |   - |1452 |3840 |   0 |   0 |   0 |  89k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
429.59/429.76	c   411s|540000 |429556 |     0 |   0.0 |1022M|  96 |   - |1452 |3483 |   0 |   0 |   0 |  91k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
437.88/438.09	c   419s|550000 |436688 |     0 |   0.0 |1038M|  96 |   - |1452 |3754 |   0 |   0 |   0 |  94k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
446.28/446.43	c   427s|560000 |444069 |     0 |   0.0 |1054M|  96 |   - |1452 |3518 |   0 |   0 |   0 |  96k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
454.68/454.82	c   435s|570000 |451125 |     0 |   0.0 |1069M|  96 |   - |1452 |3532 |   0 |   0 |   0 |  99k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
462.67/462.89	c   443s|580000 |458621 |     0 |   0.0 |1085M|  96 |   - |1452 |3603 |   0 |   0 |   0 | 101k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
470.68/470.80	c   451s|590000 |466393 |     0 |   0.0 |1100M|  98 |   - |1452 |3538 |   0 |   0 |   0 | 103k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
478.17/478.36	c   458s|600000 |474458 |     0 |   0.0 |1116M|  98 |   - |1452 |3613 |   0 |   0 |   0 | 104k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
486.17/486.32	c   466s|610000 |482120 |     0 |   0.0 |1132M|  98 |   - |1452 |3595 |   0 |   0 |   0 | 107k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
494.78/494.94	c   474s|620000 |488642 |     0 |   0.0 |1145M|  98 |   - |1452 |3766 |   0 |   0 |   0 | 109k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
504.36/504.53	c   483s|630000 |495911 |     0 |   0.0 |1162M|  98 |   - |1452 |3233 |   0 |   0 |   0 | 112k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
513.26/513.42	c   492s|640000 |504166 |     0 |   0.0 |1183M|  98 |   - |1452 |3332 |   0 |   0 |   0 | 113k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
521.86/522.07	c   500s|650000 |512359 |     0 |   0.0 |1203M|  98 |   - |1452 |3274 |   0 |   0 |   0 | 115k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
530.66/530.83	c   509s|660000 |520360 |     0 |   0.0 |1223M|  98 |   - |1452 |3357 |   0 |   0 |   0 | 117k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
539.46/539.69	c   517s|670000 |527919 |     0 |   0.0 |1243M|  98 |   - |1452 |3477 |   0 |   0 |   0 | 119k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
548.86/549.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
548.86/549.03	c   526s|680000 |534787 |     0 |   0.0 |1261M|  98 |   - |1452 |3531 |   0 |   0 |   0 | 121k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
558.16/558.31	c   535s|690000 |541731 |     0 |   0.0 |1278M|  98 |   - |1452 |3440 |   0 |   0 |   0 | 123k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
567.35/567.55	c   544s|700000 |548544 |     0 |   0.0 |1296M|  98 |   - |1452 |3548 |   0 |   0 |   0 | 126k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
576.84/577.02	c   553s|710000 |555116 |     0 |   0.0 |1313M|  98 |   - |1452 |3312 |   0 |   0 |   0 | 128k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
586.25/586.43	c   562s|720000 |561498 |     0 |   0.0 |1328M|  98 |   - |1452 |3578 |   0 |   0 |   0 | 131k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
596.24/596.45	c   572s|730000 |567272 |     0 |   0.0 |1343M|  98 |   - |1452 |3748 |   0 |   0 |   0 | 133k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
606.14/606.33	c   581s|740000 |573076 |     0 |   0.0 |1357M|  98 |   - |1452 |3947 |   0 |   0 |   0 | 136k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
606.84/607.05	c (node 740737) switching to memory saving mode (mem: 1296.0M/1620.0M)
615.14/615.34	c   590s|750000 |573451 |     0 |   0.0 |1359M| 145 |   - |1452 |4925 |   0 |   0 |   0 | 139k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
625.14/625.32	c   599s|760000 |573376 |     0 |   0.0 |1360M| 145 |   - |1452 |5785 |   0 |   0 |   0 | 144k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
632.94/633.10	c   607s|770000 |573377 |     0 |   0.0 |1361M| 145 |   - |1452 |6202 |   0 |   0 |   0 | 145k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
640.34/640.54	c   614s|780000 |573376 |     0 |   0.0 |1361M| 145 |   - |1452 |6591 |   0 |   0 |   0 | 147k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
648.03/648.22	c   621s|790000 |573376 |     0 |   0.0 |1361M| 145 |   - |1452 |6529 |   0 |   0 |   0 | 149k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
655.83/656.07	c   629s|800000 |573374 |     0 |   0.0 |1362M| 145 |   - |1452 |7225 |   0 |   0 |   0 | 151k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
664.13/664.33	c   637s|810000 |573377 |     0 |   0.0 |1361M| 145 |   - |1452 |6798 |   0 |   0 |   0 | 153k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
672.82/673.08	c   646s|820000 |573376 |     0 |   0.0 |1362M| 145 |   - |1452 |7488 |   0 |   0 |   0 | 156k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
681.52/681.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
681.52/681.77	c   654s|830000 |573374 |     0 |   0.0 |1362M| 145 |   - |1452 |7376 |   0 |   0 |   0 | 159k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
690.12/690.30	c   662s|840000 |573375 |     0 |   0.0 |1363M| 145 |   - |1452 |8440 |   0 |   0 |   0 | 162k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
701.82/702.09	c   673s|850000 |573287 |     0 |   0.0 |1361M| 145 |   - |1452 |6246 |   0 |   0 |   0 | 167k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
714.11/714.35	c   685s|860000 |573288 |     0 |   0.0 |1362M| 145 |   - |1452 |7500 |   0 |   0 |   0 | 173k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
727.02/727.24	c   697s|870000 |573287 |     0 |   0.0 |1364M| 145 |   - |1452 |9792 |   0 |   0 |   0 | 178k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
739.81/740.09	c   710s|880000 |573202 |     0 |   0.0 |1360M| 145 |   - |1452 |5786 |   0 |   0 |   0 | 184k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
751.11/751.33	c   720s|890000 |573203 |     0 |   0.0 |1362M| 145 |   - |1452 |7800 |   0 |   0 |   0 | 189k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
761.50/761.70	c   730s|900000 |573182 |     0 |   0.0 |1361M| 145 |   - |1452 |6091 |   0 |   0 |   0 | 193k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
772.40/772.60	c   741s|910000 |573170 |     0 |   0.0 |1361M| 145 |   - |1452 |6851 |   0 |   0 |   0 | 198k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
781.60/781.89	c   750s|920000 |573170 |     0 |   0.0 |1361M| 145 |   - |1452 |6771 |   0 |   0 |   0 | 199k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
790.50/790.71	c   758s|930000 |573170 |     0 |   0.0 |1362M| 145 |   - |1452 |7056 |   0 |   0 |   0 | 201k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
798.49/798.78	c   766s|940000 |573168 |     0 |   0.0 |1362M| 145 |   - |1452 |7254 |   0 |   0 |   0 | 202k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
806.99/807.21	c   774s|950000 |573168 |     0 |   0.0 |1362M| 145 |   - |1452 |7578 |   0 |   0 |   0 | 204k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
815.39/815.68	c   782s|960000 |573168 |     0 |   0.0 |1363M| 145 |   - |1452 |7985 |   0 |   0 |   0 | 206k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
824.18/824.42	c   791s|970000 |573169 |     0 |   0.0 |1362M| 145 |   - |1452 |7457 |   0 |   0 |   0 | 207k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
832.79/833.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
832.79/833.00	c   799s|980000 |573168 |     0 |   0.0 |1363M| 145 |   - |1452 |8161 |   0 |   0 |   0 | 209k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
841.49/841.79	c   808s|990000 |573168 |     0 |   0.0 |1364M| 145 |   - |1452 |8726 |   0 |   0 |   0 | 211k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
850.48/850.72	c   816s|  1000k|573170 |     0 |   0.0 |1363M| 145 |   - |1452 |8181 |   0 |   0 |   0 | 212k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
859.28/859.55	c   825s|  1010k|573169 |     0 |   0.0 |1363M| 145 |   - |1452 |8314 |   0 |   0 |   0 | 214k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
868.38/868.68	c   834s|  1020k|573168 |     0 |   0.0 |1364M| 145 |   - |1452 |8682 |   0 |   0 |   0 | 216k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
877.48/877.79	c   843s|  1030k|573169 |     0 |   0.0 |1363M| 145 |   - |1452 |8113 |   0 |   0 |   0 | 218k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
887.07/887.38	c   852s|  1040k|573169 |     0 |   0.0 |1363M| 145 |   - |1452 |8595 |   0 |   0 |   0 | 220k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
897.07/897.37	c   862s|  1050k|573171 |     0 |   0.0 |1364M| 145 |   - |1452 |8751 |   0 |   0 |   0 | 222k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
906.08/906.40	c   871s|  1060k|573169 |     0 |   0.0 |1364M| 145 |   - |1452 |9328 |   0 |   0 |   0 | 224k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
915.77/916.05	c   880s|  1070k|573168 |     0 |   0.0 |1364M| 145 |   - |1452 |9384 |   0 |   0 |   0 | 226k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
925.66/925.93	c   890s|  1080k|573168 |     0 |   0.0 |1365M| 145 |   - |1452 |  10k|   0 |   0 |   0 | 228k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
936.46/936.78	c   900s|  1090k|573169 |     0 |   0.0 |1364M| 145 |   - |1452 |9185 |   0 |   0 |   0 | 229k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
946.87/947.15	c   910s|  1100k|573168 |     0 |   0.0 |1365M| 145 |   - |1452 |9801 |   0 |   0 |   0 | 231k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
957.15/957.40	c   920s|  1110k|573171 |     0 |   0.0 |1365M| 145 |   - |1452 |  10k|   0 |   0 |   0 | 232k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
967.85/968.17	c   931s|  1120k|573170 |     0 |   0.0 |1365M| 145 |   - |1452 |  10k|   0 |   0 |   0 | 235k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
978.15/978.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
978.15/978.41	c   941s|  1130k|573169 |     0 |   0.0 |1366M| 145 |   - |1452 |  10k|   0 |   0 |   0 | 236k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
988.85/989.11	c   951s|  1140k|573171 |     0 |   0.0 |1366M| 145 |   - |1452 |  10k|   0 |   0 |   0 | 238k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
999.75/1000.06	c   962s|  1150k|573168 |     0 |   0.0 |1366M| 145 |   - |1452 |  10k|   0 |   0 |   0 | 240k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1012.85/1013.14	c   975s|  1160k|573168 |     0 |   0.0 |1366M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 243k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1024.34/1024.63	c   986s|  1170k|573170 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 245k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1036.74/1037.01	c   998s|  1180k|573170 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 248k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1047.73/1048.04	c  1009s|  1190k|573170 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 251k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1060.14/1060.40	c  1021s|  1200k|573168 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 254k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1071.83/1072.12	c  1032s|  1210k|573168 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 255k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1083.13/1083.43	c  1043s|  1220k|573170 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 257k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1096.02/1096.33	c  1056s|  1230k|573169 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 261k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1109.32/1109.64	c  1069s|  1240k|573170 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 263k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1121.42/1121.72	c  1081s|  1250k|573169 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 264k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1133.02/1133.37	c  1092s|  1260k|573169 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 266k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1144.41/1144.76	c  1103s|  1270k|573170 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 268k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1157.20/1157.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1157.20/1157.56	c  1116s|  1280k|573165 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 270k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1171.30/1171.63	c  1130s|  1290k|573168 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 273k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1185.30/1185.69	c  1143s|  1300k|573167 |     0 |   0.0 |1369M| 148 |   - |1452 |  13k|   0 |   0 |   0 | 275k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1198.90/1199.27	c  1157s|  1310k|573169 |     0 |   0.0 |1365M| 148 |   - |1452 |9537 |   0 |   0 |   0 | 277k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1209.90/1210.20	c  1167s|  1320k|573167 |     0 |   0.0 |1365M| 148 |   - |1452 |9914 |   0 |   0 |   0 | 279k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1219.90/1220.21	c  1177s|  1330k|573168 |     0 |   0.0 |1366M| 148 |   - |1452 |  10k|   0 |   0 |   0 | 281k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1230.18/1230.52	c  1187s|  1340k|573168 |     0 |   0.0 |1366M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 283k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1242.98/1243.38	c  1200s|  1350k|573169 |     0 |   0.0 |1366M| 148 |   - |1452 |  10k|   0 |   0 |   0 | 285k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1254.48/1254.88	c  1211s|  1360k|573167 |     0 |   0.0 |1366M| 148 |   - |1452 |  10k|   0 |   0 |   0 | 286k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1267.27/1267.61	c  1224s|  1370k|573169 |     0 |   0.0 |1366M| 148 |   - |1452 |  10k|   0 |   0 |   0 | 288k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1278.98/1279.38	c  1235s|  1380k|573167 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 290k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1291.87/1292.27	c  1248s|  1390k|573168 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 292k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1304.47/1304.85	c  1260s|  1400k|573170 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 294k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1317.07/1317.48	c  1272s|  1410k|573168 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 295k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1329.66/1330.08	c  1285s|  1420k|573169 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 297k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1342.56/1342.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1342.56/1342.96	c  1297s|  1430k|573169 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 299k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1356.46/1356.87	c  1311s|  1440k|573169 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 301k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1369.46/1369.80	c  1324s|  1450k|573170 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 303k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1382.26/1382.65	c  1336s|  1460k|573169 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 305k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1395.15/1395.51	c  1349s|  1470k|573169 |     0 |   0.0 |1369M| 148 |   - |1452 |  13k|   0 |   0 |   0 | 307k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1408.44/1408.80	c  1362s|  1480k|573169 |     0 |   0.0 |1369M| 148 |   - |1452 |  13k|   0 |   0 |   0 | 309k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1422.75/1423.15	c  1376s|  1490k|573168 |     0 |   0.0 |1368M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 313k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1438.64/1439.00	c  1392s|  1500k|573168 |     0 |   0.0 |1369M| 148 |   - |1452 |  13k|   0 |   0 |   0 | 316k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1454.24/1454.63	c  1407s|  1510k|573167 |     0 |   0.0 |1370M| 148 |   - |1452 |  13k|   0 |   0 |   0 | 321k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1469.03/1469.40	c  1421s|  1520k|573168 |     0 |   0.0 |1370M| 148 |   - |1452 |  14k|   0 |   0 |   0 | 323k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1484.72/1485.11	c  1437s|  1530k|573167 |     0 |   0.0 |1370M| 148 |   - |1452 |  14k|   0 |   0 |   0 | 326k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1498.43/1498.89	c  1450s|  1540k|573168 |     0 |   0.0 |1370M| 148 |   - |1452 |  14k|   0 |   0 |   0 | 328k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1512.42/1512.85	c  1464s|  1550k|573169 |     0 |   0.0 |1370M| 148 |   - |1452 |  14k|   0 |   0 |   0 | 330k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1526.42/1526.87	c  1478s|  1560k|573169 |     0 |   0.0 |1371M| 148 |   - |1452 |  14k|   0 |   0 |   0 | 332k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1540.31/1540.79	c  1491s|  1570k|573167 |     0 |   0.0 |1372M| 148 |   - |1452 |  15k|   0 |   0 |   0 | 335k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1555.71/1556.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1555.71/1556.17	c  1507s|  1580k|573166 |     0 |   0.0 |1372M| 148 |   - |1452 |  16k|   0 |   0 |   0 | 338k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1568.70/1569.18	c  1519s|  1590k|573165 |     0 |   0.0 |1366M| 148 |   - |1452 |  10k|   0 |   0 |   0 | 344k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1583.51/1583.97	c  1533s|  1600k|573164 |     0 |   0.0 |1366M| 148 |   - |1452 |  10k|   0 |   0 |   0 | 349k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1596.71/1597.18	c  1546s|  1610k|573165 |     0 |   0.0 |1367M| 148 |   - |1452 |  12k|   0 |   0 |   0 | 354k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1612.00/1612.49	c  1561s|  1620k|573164 |     0 |   0.0 |1368M| 148 |   - |1452 |  13k|   0 |   0 |   0 | 360k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1628.39/1628.85	c  1577s|  1630k|573164 |     0 |   0.0 |1369M| 148 |   - |1452 |  14k|   0 |   0 |   0 | 365k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1645.19/1645.65	c  1593s|  1640k|573164 |     0 |   0.0 |1370M| 148 |   - |1452 |  15k|   0 |   0 |   0 | 370k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1660.49/1660.97	c  1608s|  1650k|573157 |     0 |   0.0 |1365M| 148 |   - |1452 |  10k|   0 |   0 |   0 | 376k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1674.89/1675.31	c  1622s|  1660k|573157 |     0 |   0.0 |1367M| 148 |   - |1452 |  11k|   0 |   0 |   0 | 381k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1689.68/1690.10	c  1636s|  1670k|573153 |     0 |   0.0 |1366M| 148 |   - |1452 |  10k|   0 |   0 |   0 | 385k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1703.67/1704.11	c  1649s|  1680k|573059 |     0 |   0.0 |1362M| 148 |   - |1452 |7059 |   0 |   0 |   0 | 391k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1717.47/1717.95	c  1662s|  1690k|573059 |     0 |   0.0 |1363M| 148 |   - |1452 |8282 |   0 |   0 |   0 | 396k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1730.88/1731.31	c  1675s|  1700k|573053 |     0 |   0.0 |1363M| 152 |   - |1452 |8063 |   0 |   0 |   0 | 402k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1745.67/1746.14	c  1689s|  1710k|573054 |     0 |   0.0 |1364M| 152 |   - |1452 |9502 |   0 |   0 |   0 | 407k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1761.36/1761.83	c  1704s|  1720k|573050 |     0 |   0.0 |1364M| 152 |   - |1452 |8583 |   0 |   0 |   0 | 413k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1774.26/1774.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1774.26/1774.76	c  1717s|  1730k|573051 |     0 |   0.0 |1364M| 152 |   - |1452 |8896 |   0 |   0 |   0 | 415k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1784.95/1785.40	c  1727s|  1740k|573051 |     0 |   0.0 |1364M| 152 |   - |1452 |9048 |   0 |   0 |   0 | 416k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1797.55/1798.04	c  1739s|  1750k|573035 |     0 |   0.0 |1363M| 152 |   - |1452 |7845 |   0 |   0 |   0 | 419k|   0 |-9.600000e+01 |-1.700000e+01 |  82.29%
1800.06/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.51	c 
1800.06/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.51	c Solving Time (sec) : 1741.81
1800.06/1800.51	c Solving Nodes      : 1752161
1800.06/1800.51	c Primal Bound       : -1.70000000000000e+01 (10 solutions)
1800.06/1800.51	c Dual Bound         : -9.60000000000000e+01
1800.06/1800.51	c Gap                : 82.29 %
1800.06/1800.51	s SATISFIABLE
1800.06/1800.51	v x148 -x139 -x160 -x157 -x183 x131 -x156 -x196 -x165 -x122 -x198 -x197 x170 -x113 x163 -x158 -x130 -x126 -x125 -x119 -x159 -x192 
1800.06/1800.51	v -x195 x144 -x142 -x120 -x164 -x175 -x107 -x181 -x118 -x188 -x145 -x191 -x151 -x169 -x134 x117 x143 -x190 -x186 -x116 -x124 -x136 
1800.06/1800.51	v -x104 -x193 -x179 -x140 -x108 -x138 -x154 x172 -x162 -x200 -x109 -x103 x194 -x178 -x146 -x141 -x137 -x185 -x128 -x147 x168 
1800.06/1800.51	v -x153 -x184 x180 -x102 -x171 -x135 -x114 -x110 -x105 -x106 -x115 -x187 -x129 -x199 x161 -x127 x101 -x189 x167 -x155 x152 -x149 
1800.06/1800.51	v -x132 x123 -x112 -x182 -x174 -x150 -x121 -x133 -x177 -x173 -x111 -x166 x176 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 
1800.06/1800.51	v x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 
1800.06/1800.51	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 
1800.06/1800.51	v x40 x39 -x38 -x37 x36 -x35 -x34 -x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 x20 -x19 -x18 -x17 -x16 x15 -x14 
1800.06/1800.51	v -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 x4 -x3 x2 -x1 
1800.06/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.51	c Solving Time       :    1741.81
1800.06/1800.51	c Original Problem   :
1800.06/1800.51	c   Problem name     : HOME/instance-2663892-1276672585.opb
1800.06/1800.51	c   Variables        : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51	c   Constraints      : 1553 initial, 1553 maximal
1800.06/1800.51	c Presolved Problem  :
1800.06/1800.51	c   Problem name     : t_HOME/instance-2663892-1276672585.opb
1800.06/1800.51	c   Variables        : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.51	c   Constraints      : 1553 initial, 16783 maximal
1800.06/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.06/1800.51	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   and              :       0.19          0          0          0          0          0          0          0          0
1800.06/1800.51	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.51	c   setppc           :        200          0    5092729          0    1179484       5459    1464172          0          0          0
1800.06/1800.51	c   and              :       1252          0    5096507          0    1181000        229   20726367          0          0          0
1800.06/1800.51	c   linear           :          1          0    5094717          0    1181019      63175   15121330          0          0          0
1800.06/1800.51	c   logicor          :        100+         0    1605523          0    1149888      50620    1255673          0          0          0
1800.06/1800.51	c   countsols        :          0          0          0          0    1181026          0          0          0          0          0
1800.06/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.51	c   setppc           :      65.86       0.00      13.10       0.00      52.76
1800.06/1800.51	c   and              :      91.38       0.00      79.74       0.00      11.64
1800.06/1800.51	c   linear           :     185.10       0.00     183.79       0.00       1.31
1800.06/1800.51	c   logicor          :     316.86       0.00     307.85       0.00       9.01
1800.06/1800.51	c   countsols        :       0.53       0.00       0.00       0.00       0.53
1800.06/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.51	c   vbounds          :       2.88          2          0          0
1800.06/1800.51	c   rootredcost      :       2.46          0          0          0
1800.06/1800.51	c   pseudoobj        :     536.49    5588898     486912     300380
1800.06/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.51	c   propagation      :     535.91     606395     283716    4155090      112.2       1361       10.5          -
1800.06/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.51	c   pseudo solution  :       0.00          1          1         12      135.0          0        0.0          -
1800.06/1800.51	c   applied globally :          -          -          -     413330       93.4          -          -          -
1800.06/1800.51	c   applied locally  :          -          -          -       6572      176.2          -          -          -
1800.06/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.51	c Pricers            :       Time      Calls       Vars
1800.06/1800.51	c   problem variables:       0.00          0          0
1800.06/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   inference        :     107.65    1181019          0          0          0          0    2362038
1800.06/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.51	c   LP solutions     :       0.00          -          0
1800.06/1800.51	c   pseudo solutions :       0.02          -          7
1800.06/1800.51	c   oneopt           :       1.64          0          0
1800.06/1800.51	c   trivial          :       0.00          2          3
1800.06/1800.51	c   simplerounding   :       0.00          0          0
1800.06/1800.51	c   zirounding       :       0.00          0          0
1800.06/1800.51	c   rounding         :       0.00          0          0
1800.06/1800.51	c   shifting         :       0.00          0          0
1800.06/1800.51	c   intshifting      :       0.00          0          0
1800.06/1800.51	c   twoopt           :       0.00          0          0
1800.06/1800.51	c   fixandinfer      :       0.00          0          0
1800.06/1800.51	c   feaspump         :       0.00          0          0
1800.06/1800.51	c   coefdiving       :       0.00          0          0
1800.06/1800.51	c   pscostdiving     :       0.00          0          0
1800.06/1800.51	c   fracdiving       :       0.00          0          0
1800.06/1800.51	c   veclendiving     :       0.00          0          0
1800.06/1800.51	c   intdiving        :       0.00          0          0
1800.06/1800.51	c   actconsdiving    :       0.00          0          0
1800.06/1800.51	c   objpscostdiving  :       0.00          0          0
1800.06/1800.51	c   rootsoldiving    :       0.00          0          0
1800.06/1800.51	c   linesearchdiving :       0.00          0          0
1800.06/1800.51	c   guideddiving     :       0.00          0          0
1800.06/1800.51	c   octane           :       0.00          0          0
1800.06/1800.51	c   rens             :       0.00          0          0
1800.06/1800.51	c   rins             :       0.00          0          0
1800.06/1800.51	c   localbranching   :       0.00          0          0
1800.06/1800.51	c   mutation         :       0.00          0          0
1800.06/1800.51	c   crossover        :       0.00          0          0
1800.06/1800.51	c   dins             :       0.00          0          0
1800.06/1800.51	c   undercover       :       0.00          0          0
1800.06/1800.51	c   nlp              :       0.79          0          0
1800.06/1800.51	c   trysol           :       0.87          0          0
1800.06/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.51	c B&B Tree           :
1800.06/1800.51	c   number of runs   :          1
1800.06/1800.51	c   nodes            :    1752161
1800.06/1800.51	c   nodes (total)    :    1752161
1800.06/1800.51	c   nodes left       :     573034
1800.06/1800.51	c   max depth        :        152
1800.06/1800.51	c   max depth (total):        152
1800.06/1800.51	c   backtracks       :      78526 (4.5%)
1800.06/1800.51	c   delayed cutoffs  :      36844
1800.06/1800.51	c   repropagations   :    1647493 (1750868 domain reductions, 35261 cutoffs)
1800.06/1800.51	c   avg switch length:       4.78
1800.06/1800.51	c   switching time   :     278.12
1800.06/1800.51	c Solution           :
1800.06/1800.51	c   Solutions found  :         10 (8 improvements)
1800.06/1800.51	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.06/1800.51	c   Primal Bound     : -1.70000000000000e+01   (in run 1, after 220172 nodes, 170.86 seconds, depth 44, found by <relaxation>)
1800.06/1800.51	c   Dual Bound       : -9.60000000000000e+01
1800.06/1800.51	c   Gap              :      82.29 %
1800.06/1800.51	c   Root Dual Bound  : -1.00000000000000e+02
1800.06/1800.51	c   Root Iterations  :          0

Verifier Data 

OK	-17

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 14693
/proc/meminfo: memFree=1666576/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=6584 CPUtime=0
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 1113 0 0 0 0 0 0 0 20 0 1 0 8549367 6742016 1036 1992294400 4194304 7136930 140736781123440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14693/statm: 1646 1045 254 719 0 925 0

[startup+0.0701611 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 14693
/proc/meminfo: memFree=1666576/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=14668 CPUtime=0.06
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 3586 0 0 0 4 2 0 0 20 0 1 0 8549367 15020032 2898 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 3667 2898 333 719 0 2946 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14668

[startup+0.101164 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 14693
/proc/meminfo: memFree=1666576/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=14668 CPUtime=0.09
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 3586 0 0 0 6 3 0 0 20 0 1 0 8549367 15020032 2898 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 3667 2898 333 719 0 2946 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14668

[startup+0.301182 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 14693
/proc/meminfo: memFree=1666576/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=15688 CPUtime=0.29
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 5151 0 0 0 17 12 0 0 20 0 1 0 8549367 16064512 3178 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 3922 3178 361 719 0 3201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15688

[startup+0.701216 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 14693
/proc/meminfo: memFree=1666576/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=17964 CPUtime=0.69
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 6007 0 0 0 50 19 0 0 20 0 1 0 8549367 18395136 3777 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 4491 3777 393 719 0 3770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17964

[startup+1.50129 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 14694
/proc/meminfo: memFree=1651936/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=19936 CPUtime=1.49
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 6480 0 0 0 126 23 0 0 22 0 1 0 8549367 20414464 4250 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 4984 4250 393 719 0 4263 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19936

[startup+3.10142 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 14694
/proc/meminfo: memFree=1649208/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=23752 CPUtime=3.09
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 7423 0 0 0 280 29 0 0 25 0 1 0 8549367 24322048 5193 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 5938 5193 393 719 0 5217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23752

[startup+6.3007 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 14694
/proc/meminfo: memFree=1641396/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=30116 CPUtime=6.29
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 9029 0 0 0 585 44 0 0 25 0 1 0 8549367 30838784 6799 1992294400 4194304 7136930 140736781123440 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 7529 6799 393 719 0 6808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30116

[startup+12.7013 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 14694
/proc/meminfo: memFree=1625400/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=47048 CPUtime=12.69
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 13153 0 0 0 1197 72 0 0 25 0 1 0 8549367 48177152 10923 1992294400 4194304 7136930 140736781123440 18446744073709551615 4660898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 11762 10923 393 719 0 11041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47048

[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 14696
/proc/meminfo: memFree=1582992/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=90816 CPUtime=25.49
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 23538 0 0 0 2422 127 0 0 25 0 1 0 8549367 92995584 21308 1992294400 4194304 7136930 140736781123440 18446744073709551615 4652815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 22704 21308 393 719 0 21983 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90816

[startup+51.1006 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 14696
/proc/meminfo: memFree=1502020/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=176128 CPUtime=51.07
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 43828 0 0 0 4872 235 0 0 25 0 1 0 8549367 180355072 41598 1992294400 4194304 7136930 140736781123440 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 44032 41598 393 719 0 43311 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 176128

[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 14698
/proc/meminfo: memFree=1384468/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=299772 CPUtime=102.27
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 73081 0 0 0 9778 449 0 0 25 0 1 0 8549367 306966528 70851 1992294400 4194304 7136930 140736781123440 18446744073709551615 4677787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 74943 70851 393 719 0 74222 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 299772

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14698
/proc/meminfo: memFree=1238520/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=456912 CPUtime=162.24
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 109683 0 0 0 15542 682 0 0 25 0 1 0 8549367 467877888 107453 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 114228 107453 393 719 0 113507 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 456912

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14700
/proc/meminfo: memFree=1041732/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=668904 CPUtime=222.23
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 158321 0 0 0 21276 947 0 0 25 0 1 0 8549367 684957696 156091 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 167226 156091 393 719 0 166505 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 668904

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14702
/proc/meminfo: memFree=877184/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=842876 CPUtime=282.22
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 199761 0 0 0 27011 1211 0 0 25 0 1 0 8549367 863105024 197531 1992294400 4194304 7136930 140736781123440 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 210719 197531 393 719 0 209998 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 842876

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14704
/proc/meminfo: memFree=723548/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=994304 CPUtime=342.2
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 237673 0 0 0 32750 1470 0 0 25 0 1 0 8549367 1018167296 235443 1992294400 4194304 7136930 140736781123440 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 248576 235443 393 719 0 247855 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 994304

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14706
/proc/meminfo: memFree=598680/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1119816 CPUtime=402.19
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 269014 0 0 0 38503 1716 0 0 25 0 1 0 8549367 1146691584 266784 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 279954 266784 393 719 0 279233 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1119816

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14706
/proc/meminfo: memFree=481500/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1235692 CPUtime=462.18
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 298444 0 0 0 44265 1953 0 0 25 0 1 0 8549367 1265348608 296214 1992294400 4194304 7136930 140736781123440 18446744073709551615 4702387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 308923 296214 393 719 0 308202 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1235692

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14708
/proc/meminfo: memFree=365188/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1362824 CPUtime=522.16
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 328387 0 0 0 50038 2178 0 0 25 0 1 0 8549367 1395531776 326157 1992294400 4194304 7136930 140736781123440 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 340706 326157 393 719 0 339985 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1362824

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14710
/proc/meminfo: memFree=245528/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1480692 CPUtime=582.14
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 356847 0 0 0 55816 2398 0 0 25 0 1 0 8549367 1516228608 354617 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 370173 354617 393 719 0 369452 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1480692

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 14712
/proc/meminfo: memFree=196052/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1530644 CPUtime=642.14
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 371377 0 0 0 61577 2637 0 0 25 0 1 0 8549367 1567379456 366904 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 382661 366904 393 719 0 381940 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1530644

[startup+702.301 s]

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

/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 376069 0 0 0 96417 3788 0 0 25 0 1 0 8549367 1585672192 371340 1992294400 4194304 7136930 140736781123440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 387127 371340 393 719 0 386406 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1548508

[startup+1062.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 14725
/proc/meminfo: memFree=173732/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1552132 CPUtime=1062.03
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 376973 0 0 0 102269 3934 0 0 25 0 1 0 8549367 1589383168 372244 1992294400 4194304 7136930 140736781123440 18446744073709551615 4209126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388033 372244 393 719 0 387312 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1552132

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14727
/proc/meminfo: memFree=173112/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1552848 CPUtime=1122.01
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 377123 0 0 0 108136 4065 0 0 25 0 1 0 8549367 1590116352 372394 1992294400 4194304 7136930 140736781123440 18446744073709551615 5908947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388212 372394 393 719 0 387491 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1552848

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14729
/proc/meminfo: memFree=172740/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1553084 CPUtime=1182
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 377214 0 0 0 114018 4182 0 0 25 0 1 0 8549367 1590358016 372485 1992294400 4194304 7136930 140736781123440 18446744073709551615 4434388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388271 372485 393 719 0 387550 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1553084

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14731
/proc/meminfo: memFree=172492/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1553296 CPUtime=1241.98
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 377262 0 0 0 119888 4310 0 0 25 0 1 0 8549367 1590575104 372533 1992294400 4194304 7136930 140736781123440 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388324 372533 393 719 0 387603 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1553296

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14733
/proc/meminfo: memFree=171996/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1553804 CPUtime=1301.98
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 377389 0 0 0 125763 4435 0 0 25 0 1 0 8549367 1591095296 372660 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388451 372660 393 719 0 387730 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1553804

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14733
/proc/meminfo: memFree=171748/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1554032 CPUtime=1361.96
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 377446 0 0 0 131645 4551 0 0 25 0 1 0 8549367 1591328768 372717 1992294400 4194304 7136930 140736781123440 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388508 372717 393 719 0 387787 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1554032

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14735
/proc/meminfo: memFree=171624/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1554032 CPUtime=1421.95
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 377448 0 0 0 137522 4673 0 0 25 0 1 0 8549367 1591328768 372719 1992294400 4194304 7136930 140736781123440 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388508 372719 393 719 0 387787 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1554032

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14737
/proc/meminfo: memFree=171624/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1554032 CPUtime=1481.93
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 377451 0 0 0 143404 4789 0 0 25 0 1 0 8549367 1591328768 372722 1992294400 4194304 7136930 140736781123440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388508 372722 393 719 0 387787 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1554032

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14739
/proc/meminfo: memFree=171004/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1554748 CPUtime=1541.91
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 377620 0 0 0 149293 4898 0 0 25 0 1 0 8549367 1592061952 372891 1992294400 4194304 7136930 140736781123440 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 388687 372891 393 719 0 387966 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1554748

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14741
/proc/meminfo: memFree=168028/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1557752 CPUtime=1601.9
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 378357 0 0 0 155103 5087 0 0 25 0 1 0 8549367 1595138048 373628 1992294400 4194304 7136930 140736781123440 18446744073709551615 4209193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 389438 373628 393 719 0 388717 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1557752

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14741
/proc/meminfo: memFree=165300/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1560312 CPUtime=1661.88
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 378995 0 0 0 160909 5279 0 0 25 0 1 0 8549367 1597759488 374266 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 390078 374266 393 719 0 389357 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1560312

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14743
/proc/meminfo: memFree=159844/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1565788 CPUtime=1721.87
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 380362 0 0 0 166650 5537 0 0 25 0 1 0 8549367 1603366912 375633 1992294400 4194304 7136930 140736781123440 18446744073709551615 6166629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 391447 375633 393 719 0 390726 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1565788

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14745
/proc/meminfo: memFree=158232/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1567160 CPUtime=1781.86
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 380699 0 0 0 172422 5764 0 0 25 0 1 0 8549367 1604771840 375970 1992294400 4194304 7136930 140736781123440 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 391790 375970 393 719 0 391069 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1567160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14745
/proc/meminfo: memFree=158108/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1567300 CPUtime=1800.06
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 380727 0 0 0 174183 5823 0 0 25 0 1 0 8549367 1604915200 375998 1992294400 4194304 7136930 140736781123440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14693/statm: 391825 375998 393 719 0 391104 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1567300

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14693

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14746
/proc/meminfo: memFree=158100/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1567300 CPUtime=1800.95
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 380733 0 0 0 174272 5823 0 0 25 0 1 0 8549367 1604915200 376004 1992294400 4194304 7136930 140736781123440 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14693/statm: 391825 376004 399 719 0 391104 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 1567300

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14746
/proc/meminfo: memFree=157976/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=1566268 CPUtime=1801.75
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4202496 380733 0 0 0 174352 5823 0 0 25 0 1 0 8549367 1603858432 375746 1992294400 4194304 7136930 140736781123440 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14693/statm: 391567 375746 399 719 0 390846 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 1566268

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14746
/proc/meminfo: memFree=157976/2059040 swapFree=4192956/4192956
[pid=14693] ppid=14691 vsize=0 CPUtime=1802.15
/proc/14693/stat : 14693 (pbscip.linux.x8) R 14691 14693 14668 0 -1 4203524 380733 0 0 0 174383 5832 0 0 25 0 1 0 8549367 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14693/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.21
CPU user time (s): 1743.84
CPU system time (s): 58.3791
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1567300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.84
system time used= 58.3791
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380733
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= 1
involuntary context switches= 5075

runsolver used 3.02454 second user time and 8.47771 second system time

The end

Launcher Data 

Begin job on node057 at 2010-06-16 09:16:26
IDJOB=2663892
IDBENCH=48265
IDSOLVER=1167
FILE ID=node057/2663892-1276672585
PBS_JOBID= 11172545
Free space on /tmp= 62536 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.opb
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-2663892-1276672585/watcher-2663892-1276672585 -o /tmp/evaluation-result-2663892-1276672585/solver-2663892-1276672585 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663892-1276672585.opb -t 1800 -m 1800

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

MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a
RANDOM SEED=533809120

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1666980 kB
Buffers:         97980 kB
Cached:         156388 kB
SwapCached:          0 kB
Active:         128540 kB
Inactive:       184944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1666980 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3344 kB
Writeback:           0 kB
AnonPages:       59148 kB
Mapped:          15384 kB
Slab:            56748 kB
PageTables:       3932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181244 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node057 at 2010-06-16 09:46:28