Trace number 2663901

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.22 1802.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_4.opb
MD5SUMedb32574ecafd14c2d1410b208d85a45
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-28
Best CPU time to get the best result obtained on this benchmark1789.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
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)2516
Sum of products size (including duplicates)5032
Number of different products1258
Sum of products size2516

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-2663901-1276674008.opb>
0.00/0.02	c original problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1559 constraints
0.00/0.02	c problem read
0.00/0.02	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.19/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10264 impls, 200 clqs
0.39/0.45	c    (0.2s) probing: 101/1458 (6.9%) - 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  10264 implications, 200 cliques
0.39/0.45	c presolved problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1559 constraints
0.39/0.45	c     200 constraints of type <setppc>
0.39/0.45	c    1258 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.45	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.45	c t 0.2s|     1 |     2 |     0 |     - |4365k|   0 |   - |1458 |1559 |   0 |   0 |   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 | 100.00%
5.19/5.27	o -8
5.19/5.27	c * 4.8s|  7962 |  7727 |     0 |   0.0 |  12M| 108 |   - |1458 |1684 |   0 |   0 |   0 | 138 |   0 |-9.900000e+01 |-8.000000e+00 |  91.92%
5.89/5.91	o -10
5.89/5.91	c * 5.4s|  9154 |  8866 |     0 |   0.0 |  14M| 108 |   - |1458 |1703 |   0 |   0 |   0 | 176 |   0 |-9.900000e+01 |-1.000000e+01 |  89.90%
6.29/6.36	c   5.8s| 10000 |  9659 |     0 |   0.0 |  15M| 108 |   - |1458 |1729 |   0 |   0 |   0 | 218 |   0 |-9.900000e+01 |-1.000000e+01 |  89.90%
6.29/6.39	o -11
6.29/6.39	c * 5.9s| 10063 |  9718 |     0 |   0.0 |  15M| 108 |   - |1458 |1730 |   0 |   0 |   0 | 219 |   0 |-9.900000e+01 |-1.100000e+01 |  88.89%
6.89/6.93	o -12
6.89/6.93	c * 6.4s| 10932 | 10478 |     0 |   0.0 |  16M| 108 |   - |1458 |1773 |   0 |   0 |   0 | 299 |   0 |-9.900000e+01 |-1.200000e+01 |  87.88%
7.28/7.39	o -13
7.28/7.39	c * 6.8s| 11652 | 11089 |     0 |   0.0 |  17M| 108 |   - |1458 |1807 |   0 |   0 |   0 | 374 |   0 |-9.900000e+01 |-1.300000e+01 |  86.87%
12.39/12.46	o -14
12.39/12.46	c *11.7s| 17862 | 14743 |     0 |   0.0 |  25M| 108 |   - |1458 |1988 |   0 |   0 |   0 |1823 |   0 |-9.800000e+01 |-1.400000e+01 |  85.71%
13.58/13.61	o -15
13.58/13.61	c *12.8s| 19161 | 15421 |     0 |   0.0 |  26M| 108 |   - |1458 |2077 |   0 |   0 |   0 |2215 |   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
14.29/14.37	c  13.5s| 20000 | 15788 |     0 |   0.0 |  27M| 108 |   - |1458 |2214 |   0 |   0 |   0 |2525 |   0 |-9.800000e+01 |-1.500000e+01 |  84.69%
16.50/16.51	o -16
16.50/16.51	c *15.5s| 22851 | 18098 |     0 |   0.0 |  32M| 108 |   - |1458 |1885 |   0 |   0 |   0 |2901 |   0 |-9.800000e+01 |-1.600000e+01 |  83.67%
18.09/18.14	o -17
18.09/18.14	c *17.1s| 25037 | 20002 |     0 |   0.0 |  37M| 108 |   - |1458 |1949 |   0 |   0 |   0 |3142 |   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
21.89/21.97	c  20.7s| 30000 | 24090 |     0 |   0.0 |  48M| 108 |   - |1458 |2099 |   0 |   0 |   0 |3890 |   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
29.78/29.80	c  28.3s| 40000 | 31936 |     0 |   0.0 |  69M| 108 |   - |1458 |2174 |   0 |   0 |   0 |5702 |   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
37.58/37.63	c  35.8s| 50000 | 39768 |     0 |   0.0 |  89M| 108 |   - |1458 |2242 |   0 |   0 |   0 |7480 |   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
45.17/45.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.17/45.27	c  43.0s| 60000 | 47567 |     0 |   0.0 | 108M| 108 |   - |1458 |2202 |   0 |   0 |   0 |9264 |   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
52.78/52.87	c  50.3s| 70000 | 55390 |     0 |   0.0 | 128M| 108 |   - |1458 |2323 |   0 |   0 |   0 |  11k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
60.17/60.26	c  57.3s| 80000 | 63375 |     0 |   0.0 | 146M| 108 |   - |1458 |2248 |   0 |   0 |   0 |  12k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
67.47/67.59	c  64.3s| 90000 | 71382 |     0 |   0.0 | 164M| 108 |   - |1458 |2280 |   0 |   0 |   0 |  14k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
74.67/74.80	c  71.2s|100000 | 79236 |     0 |   0.0 | 181M| 108 |   - |1458 |2253 |   0 |   0 |   0 |  16k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
81.96/82.10	c  78.2s|110000 | 86902 |     0 |   0.0 | 198M| 108 |   - |1458 |2225 |   0 |   0 |   0 |  18k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
89.46/89.58	c  85.3s|120000 | 94257 |     0 |   0.0 | 214M| 108 |   - |1458 |2377 |   0 |   0 |   0 |  21k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
97.26/97.32	c  92.7s|130000 |101328 |     0 |   0.0 | 229M| 108 |   - |1458 |2400 |   0 |   0 |   0 |  23k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
105.05/105.16	c   100s|140000 |108070 |     0 |   0.0 | 243M| 108 |   - |1458 |2344 |   0 |   0 |   0 |  26k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
112.95/113.07	c   108s|150000 |114604 |     0 |   0.0 | 257M| 108 |   - |1458 |2432 |   0 |   0 |   0 |  29k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
121.06/121.15	c   116s|160000 |121190 |     0 |   0.0 | 270M| 108 |   - |1458 |2559 |   0 |   0 |   0 |  32k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
129.25/129.32	c   123s|170000 |127593 |     0 |   0.0 | 283M| 108 |   - |1458 |2577 |   0 |   0 |   0 |  35k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
137.74/137.85	c   132s|180000 |133780 |     0 |   0.0 | 296M| 108 |   - |1458 |2483 |   0 |   0 |   0 |  38k|   0 |-9.800000e+01 |-1.700000e+01 |  82.65%
147.25/147.32	c   141s|190000 |139039 |     0 |   0.0 | 307M| 108 |   - |1458 |2854 |   0 |   0 |   0 |  41k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
157.94/158.00	c   151s|200000 |142497 |     0 |   0.0 | 314M| 108 |   - |1458 |2587 |   0 |   0 |   0 |  45k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
167.23/167.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
167.23/167.31	c   160s|210000 |148571 |     0 |   0.0 | 330M| 108 |   - |1458 |1936 |   0 |   0 |   0 |  48k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
174.23/174.36	c   167s|220000 |157923 |     0 |   0.0 | 352M| 108 |   - |1458 |2024 |   0 |   0 |   0 |  48k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
181.63/181.72	c   174s|230000 |167126 |     0 |   0.0 | 374M| 108 |   - |1458 |2071 |   0 |   0 |   0 |  49k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
188.93/189.09	c   181s|240000 |176377 |     0 |   0.0 | 398M| 108 |   - |1458 |2099 |   0 |   0 |   0 |  49k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
196.33/196.46	c   188s|250000 |185549 |     0 |   0.0 | 420M| 108 |   - |1458 |2130 |   0 |   0 |   0 |  50k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
203.62/203.78	c   195s|260000 |194638 |     0 |   0.0 | 443M| 108 |   - |1458 |2175 |   0 |   0 |   0 |  51k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
211.03/211.19	c   202s|270000 |203684 |     0 |   0.0 | 465M| 108 |   - |1458 |2198 |   0 |   0 |   0 |  52k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
218.62/218.76	c   209s|280000 |212610 |     0 |   0.0 | 488M| 108 |   - |1458 |2150 |   0 |   0 |   0 |  53k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
226.12/226.29	c   216s|290000 |221321 |     0 |   0.0 | 510M| 108 |   - |1458 |2174 |   0 |   0 |   0 |  54k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
233.71/233.83	c   224s|300000 |229982 |     0 |   0.0 | 532M| 108 |   - |1458 |2291 |   0 |   0 |   0 |  55k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
241.22/241.33	c   231s|310000 |238666 |     0 |   0.0 | 554M| 108 |   - |1458 |2216 |   0 |   0 |   0 |  56k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
248.31/248.49	c   238s|320000 |247558 |     0 |   0.0 | 575M| 108 |   - |1458 |2185 |   0 |   0 |   0 |  57k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
255.61/255.70	c   244s|330000 |256334 |     0 |   0.0 | 596M| 108 |   - |1458 |2281 |   0 |   0 |   0 |  58k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
262.82/262.92	c   251s|340000 |265308 |     0 |   0.0 | 617M| 108 |   - |1458 |2242 |   0 |   0 |   0 |  59k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
270.21/270.33	c   258s|350000 |274232 |     0 |   0.0 | 640M| 108 |   - |1458 |2234 |   0 |   0 |   0 |  60k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
277.71/277.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
277.71/277.80	c   266s|360000 |282960 |     0 |   0.0 | 661M| 108 |   - |1458 |2258 |   0 |   0 |   0 |  61k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
285.40/285.54	c   273s|370000 |291509 |     0 |   0.0 | 682M| 108 |   - |1458 |2310 |   0 |   0 |   0 |  62k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
292.89/293.03	c   280s|380000 |300141 |     0 |   0.0 | 703M| 108 |   - |1458 |2301 |   0 |   0 |   0 |  63k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
300.40/300.52	c   287s|390000 |308746 |     0 |   0.0 | 725M| 108 |   - |1458 |2322 |   0 |   0 |   0 |  65k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
307.49/307.67	c   294s|400000 |317603 |     0 |   0.0 | 745M| 108 |   - |1458 |2309 |   0 |   0 |   0 |  65k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
314.89/315.05	c   301s|410000 |326132 |     0 |   0.0 | 766M| 108 |   - |1458 |2315 |   0 |   0 |   0 |  67k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
322.19/322.38	c   308s|420000 |334766 |     0 |   0.0 | 786M| 108 |   - |1458 |2520 |   0 |   0 |   0 |  68k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
329.39/329.50	c   315s|430000 |343705 |     0 |   0.0 | 807M| 108 |   - |1458 |2331 |   0 |   0 |   0 |  69k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
336.68/336.86	c   322s|440000 |352397 |     0 |   0.0 | 828M| 108 |   - |1458 |2387 |   0 |   0 |   0 |  70k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
343.98/344.13	c   329s|450000 |361375 |     0 |   0.0 | 850M| 108 |   - |1458 |2396 |   0 |   0 |   0 |  71k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
351.38/351.50	c   336s|460000 |370022 |     0 |   0.0 | 871M| 108 |   - |1458 |2329 |   0 |   0 |   0 |  72k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
358.57/358.79	c   343s|470000 |378477 |     0 |   0.0 | 891M| 108 |   - |1458 |2399 |   0 |   0 |   0 |  73k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
365.66/365.85	c   350s|480000 |387301 |     0 |   0.0 | 911M| 108 |   - |1458 |2500 |   0 |   0 |   0 |  74k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
372.86/373.09	c   356s|490000 |396009 |     0 |   0.0 | 930M| 108 |   - |1458 |2347 |   0 |   0 |   0 |  75k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
380.26/380.40	c   363s|500000 |404498 |     0 |   0.0 | 950M| 108 |   - |1458 |2498 |   0 |   0 |   0 |  76k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
387.56/387.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
387.56/387.75	c   370s|510000 |412968 |     0 |   0.0 | 970M| 108 |   - |1458 |2461 |   0 |   0 |   0 |  78k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
394.86/395.09	c   377s|520000 |421554 |     0 |   0.0 | 990M| 108 |   - |1458 |2394 |   0 |   0 |   0 |  79k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
402.05/402.26	c   384s|530000 |430082 |     0 |   0.0 |1010M| 108 |   - |1458 |2375 |   0 |   0 |   0 |  80k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
409.35/409.50	c   391s|540000 |438516 |     0 |   0.0 |1029M| 108 |   - |1458 |2365 |   0 |   0 |   0 |  81k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
416.55/416.76	c   398s|550000 |446853 |     0 |   0.0 |1047M| 108 |   - |1458 |2533 |   0 |   0 |   0 |  83k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
423.75/423.92	c   405s|560000 |455141 |     0 |   0.0 |1065M| 108 |   - |1458 |2460 |   0 |   0 |   0 |  84k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
430.85/431.10	c   412s|570000 |463446 |     0 |   0.0 |1084M| 108 |   - |1458 |2447 |   0 |   0 |   0 |  86k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
437.84/438.09	c   418s|580000 |471838 |     0 |   0.0 |1102M| 108 |   - |1458 |2531 |   0 |   0 |   0 |  87k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
445.04/445.23	c   425s|590000 |480127 |     0 |   0.0 |1120M| 108 |   - |1458 |2556 |   0 |   0 |   0 |  88k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
452.44/452.61	c   432s|600000 |488222 |     0 |   0.0 |1137M| 108 |   - |1458 |2430 |   0 |   0 |   0 |  90k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
459.73/459.92	c   439s|610000 |496152 |     0 |   0.0 |1154M| 108 |   - |1458 |2515 |   0 |   0 |   0 |  92k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
467.04/467.22	c   446s|620000 |504263 |     0 |   0.0 |1172M| 108 |   - |1458 |2615 |   0 |   0 |   0 |  93k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
474.23/474.47	c   453s|630000 |512262 |     0 |   0.0 |1188M| 108 |   - |1458 |2524 |   0 |   0 |   0 |  95k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
481.63/481.89	c   460s|640000 |520088 |     0 |   0.0 |1205M| 108 |   - |1458 |2555 |   0 |   0 |   0 |  97k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
489.01/489.21	c   467s|650000 |527919 |     0 |   0.0 |1221M| 108 |   - |1458 |2604 |   0 |   0 |   0 |  99k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
496.11/496.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
496.11/496.36	c   474s|660000 |535979 |     0 |   0.0 |1237M| 108 |   - |1458 |2692 |   0 |   0 |   0 | 100k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
503.22/503.48	c   481s|670000 |544047 |     0 |   0.0 |1253M| 108 |   - |1458 |2533 |   0 |   0 |   0 | 102k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
510.71/510.93	c   488s|680000 |551737 |     0 |   0.0 |1269M| 108 |   - |1458 |2534 |   0 |   0 |   0 | 104k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
518.31/518.59	c   495s|690000 |559160 |     0 |   0.0 |1284M| 108 |   - |1458 |2552 |   0 |   0 |   0 | 106k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
525.81/526.00	c   502s|700000 |566578 |     0 |   0.0 |1299M| 108 |   - |1458 |2587 |   0 |   0 |   0 | 109k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
533.31/533.57	c   510s|710000 |574003 |     0 |   0.0 |1314M| 108 |   - |1458 |2628 |   0 |   0 |   0 | 111k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
540.91/541.15	c   517s|720000 |581207 |     0 |   0.0 |1329M| 108 |   - |1458 |2713 |   0 |   0 |   0 | 113k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
548.61/548.90	c   524s|730000 |588279 |     0 |   0.0 |1343M| 108 |   - |1458 |2770 |   0 |   0 |   0 | 116k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
556.70/556.91	c   532s|740000 |595240 |     0 |   0.0 |1357M| 108 |   - |1458 |2864 |   0 |   0 |   0 | 118k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
557.20/557.47	c (node 740820) switching to memory saving mode (mem: 1296.0M/1620.0M)
567.89/568.11	c   543s|750000 |595790 |     0 |   0.0 |1360M| 162 |   - |1458 |4864 |   0 |   0 |   0 | 124k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
578.49/578.74	c   553s|760000 |595761 |     0 |   0.0 |1359M| 162 |   - |1458 |4149 |   0 |   0 |   0 | 129k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
587.38/587.60	c   561s|770000 |595749 |     0 |   0.0 |1360M| 162 |   - |1458 |4780 |   0 |   0 |   0 | 131k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
596.69/596.95	c   570s|780000 |595685 |     0 |   0.0 |1359M| 167 |   - |1458 |4327 |   0 |   0 |   0 | 134k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
607.57/607.86	c   580s|790000 |595679 |     0 |   0.0 |1359M| 167 |   - |1458 |4637 |   0 |   0 |   0 | 137k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
614.98/615.26	c   588s|800000 |595679 |     0 |   0.0 |1360M| 167 |   - |1458 |5040 |   0 |   0 |   0 | 138k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
622.07/622.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
622.07/622.32	c   594s|810000 |595678 |     0 |   0.0 |1360M| 167 |   - |1458 |5126 |   0 |   0 |   0 | 138k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
630.97/631.27	c   603s|820000 |595674 |     0 |   0.0 |1360M| 167 |   - |1458 |5011 |   0 |   0 |   0 | 141k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
640.17/640.45	c   612s|830000 |595675 |     0 |   0.0 |1360M| 167 |   - |1458 |4936 |   0 |   0 |   0 | 143k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
647.76/648.02	c   619s|840000 |595675 |     0 |   0.0 |1360M| 167 |   - |1458 |5156 |   0 |   0 |   0 | 144k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
655.86/656.16	c   627s|850000 |595676 |     0 |   0.0 |1360M| 167 |   - |1458 |5086 |   0 |   0 |   0 | 145k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
664.46/664.76	c   635s|860000 |595675 |     0 |   0.0 |1360M| 167 |   - |1458 |5181 |   0 |   0 |   0 | 147k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
672.86/673.15	c   643s|870000 |595675 |     0 |   0.0 |1361M| 167 |   - |1458 |5404 |   0 |   0 |   0 | 148k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
681.06/681.38	c   651s|880000 |595674 |     0 |   0.0 |1361M| 167 |   - |1458 |5480 |   0 |   0 |   0 | 149k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
689.15/689.40	c   659s|890000 |595675 |     0 |   0.0 |1361M| 167 |   - |1458 |5677 |   0 |   0 |   0 | 150k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
696.75/697.09	c   667s|900000 |595676 |     0 |   0.0 |1361M| 167 |   - |1458 |5882 |   0 |   0 |   0 | 151k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
704.95/705.24	c   674s|910000 |595676 |     0 |   0.0 |1361M| 167 |   - |1458 |5520 |   0 |   0 |   0 | 153k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
712.94/713.29	c   682s|920000 |595675 |     0 |   0.0 |1361M| 167 |   - |1458 |5663 |   0 |   0 |   0 | 154k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
720.84/721.12	c   690s|930000 |595674 |     0 |   0.0 |1361M| 167 |   - |1458 |6045 |   0 |   0 |   0 | 155k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
728.63/728.91	c   697s|940000 |595675 |     0 |   0.0 |1361M| 167 |   - |1458 |5701 |   0 |   0 |   0 | 157k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
736.74/737.07	c   705s|950000 |595673 |     0 |   0.0 |1361M| 167 |   - |1458 |5942 |   0 |   0 |   0 | 158k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
744.83/745.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
744.83/745.17	c   713s|960000 |595675 |     0 |   0.0 |1361M| 167 |   - |1458 |6171 |   0 |   0 |   0 | 159k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
752.53/752.89	c   721s|970000 |595675 |     0 |   0.0 |1362M| 167 |   - |1458 |6268 |   0 |   0 |   0 | 161k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
760.83/761.16	c   729s|980000 |595673 |     0 |   0.0 |1362M| 167 |   - |1458 |6280 |   0 |   0 |   0 | 163k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
770.22/770.54	c   738s|990000 |595673 |     0 |   0.0 |1362M| 167 |   - |1458 |6348 |   0 |   0 |   0 | 164k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
779.11/779.40	c   746s|  1000k|595676 |     0 |   0.0 |1362M| 167 |   - |1458 |6516 |   0 |   0 |   0 | 167k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
787.33/787.62	c   754s|  1010k|595673 |     0 |   0.0 |1362M| 167 |   - |1458 |7046 |   0 |   0 |   0 | 169k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
796.12/796.41	c   763s|  1020k|595673 |     0 |   0.0 |1362M| 167 |   - |1458 |6924 |   0 |   0 |   0 | 170k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
805.01/805.31	c   771s|  1030k|595675 |     0 |   0.0 |1363M| 167 |   - |1458 |7174 |   0 |   0 |   0 | 172k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
814.41/814.73	c   780s|  1040k|595674 |     0 |   0.0 |1363M| 167 |   - |1458 |7808 |   0 |   0 |   0 | 174k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
823.70/824.09	c   789s|  1050k|595674 |     0 |   0.0 |1363M| 167 |   - |1458 |7551 |   0 |   0 |   0 | 175k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
833.41/833.76	c   799s|  1060k|595674 |     0 |   0.0 |1363M| 167 |   - |1458 |7762 |   0 |   0 |   0 | 177k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
842.79/843.13	c   808s|  1070k|595674 |     0 |   0.0 |1363M| 167 |   - |1458 |7759 |   0 |   0 |   0 | 179k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
851.59/851.94	c   817s|  1080k|595674 |     0 |   0.0 |1364M| 167 |   - |1458 |8310 |   0 |   0 |   0 | 181k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
861.59/861.95	c   826s|  1090k|595675 |     0 |   0.0 |1364M| 167 |   - |1458 |7892 |   0 |   0 |   0 | 182k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
871.29/871.68	c   836s|  1100k|595675 |     0 |   0.0 |1364M| 167 |   - |1458 |8423 |   0 |   0 |   0 | 184k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
881.59/881.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
881.59/881.92	c   846s|  1110k|595675 |     0 |   0.0 |1364M| 167 |   - |1458 |8196 |   0 |   0 |   0 | 186k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
892.28/892.65	c   856s|  1120k|595675 |     0 |   0.0 |1364M| 167 |   - |1458 |8107 |   0 |   0 |   0 | 188k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
902.17/902.58	c   866s|  1130k|595674 |     0 |   0.0 |1364M| 167 |   - |1458 |8459 |   0 |   0 |   0 | 190k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
913.08/913.46	c   876s|  1140k|595676 |     0 |   0.0 |1365M| 167 |   - |1458 |8654 |   0 |   0 |   0 | 192k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
924.07/924.46	c   887s|  1150k|595676 |     0 |   0.0 |1365M| 167 |   - |1458 |8984 |   0 |   0 |   0 | 194k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
935.67/936.01	c   898s|  1160k|595675 |     0 |   0.0 |1365M| 167 |   - |1458 |8900 |   0 |   0 |   0 | 197k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
945.76/946.17	c   908s|  1170k|595675 |     0 |   0.0 |1365M| 167 |   - |1458 |9219 |   0 |   0 |   0 | 199k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
955.66/956.05	c   918s|  1180k|595675 |     0 |   0.0 |1366M| 167 |   - |1458 |9855 |   0 |   0 |   0 | 201k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
967.05/967.42	c   929s|  1190k|595673 |     0 |   0.0 |1365M| 167 |   - |1458 |8894 |   0 |   0 |   0 | 203k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
977.56/977.95	c   939s|  1200k|595672 |     0 |   0.0 |1365M| 167 |   - |1458 |9170 |   0 |   0 |   0 | 205k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
987.95/988.33	c   949s|  1210k|595673 |     0 |   0.0 |1364M| 167 |   - |1458 |7779 |   0 |   0 |   0 | 208k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1002.64/1003.08	c   963s|  1220k|595673 |     0 |   0.0 |1365M| 167 |   - |1458 |9422 |   0 |   0 |   0 | 213k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1015.84/1016.22	c   975s|  1230k|595672 |     0 |   0.0 |1365M| 167 |   - |1458 |8715 |   0 |   0 |   0 | 219k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1028.83/1029.24	c   988s|  1240k|595673 |     0 |   0.0 |1364M| 167 |   - |1458 |8607 |   0 |   0 |   0 | 224k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1042.12/1042.52	c  1001s|  1250k|595672 |     0 |   0.0 |1365M| 167 |   - |1458 |9339 |   0 |   0 |   0 | 230k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1055.72/1056.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1055.72/1056.19	c  1014s|  1260k|595672 |     0 |   0.0 |1365M| 167 |   - |1458 |9664 |   0 |   0 |   0 | 235k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1069.12/1069.55	c  1026s|  1270k|595672 |     0 |   0.0 |1367M| 167 |   - |1458 |  10k|   0 |   0 |   0 | 241k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1084.31/1084.75	c  1041s|  1280k|595672 |     0 |   0.0 |1366M| 167 |   - |1458 |  10k|   0 |   0 |   0 | 246k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1099.31/1099.70	c  1055s|  1290k|595673 |     0 |   0.0 |1367M| 167 |   - |1458 |  11k|   0 |   0 |   0 | 252k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1115.50/1115.99	c  1071s|  1300k|595672 |     0 |   0.0 |1369M| 167 |   - |1458 |  12k|   0 |   0 |   0 | 257k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1131.80/1132.26	c  1087s|  1310k|595672 |     0 |   0.0 |1369M| 167 |   - |1458 |  13k|   0 |   0 |   0 | 263k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1149.59/1150.05	c  1104s|  1320k|595672 |     0 |   0.0 |1370M| 167 |   - |1458 |  14k|   0 |   0 |   0 | 269k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1168.79/1169.28	c  1123s|  1330k|595672 |     0 |   0.0 |1372M| 167 |   - |1458 |  16k|   0 |   0 |   0 | 274k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1185.58/1186.04	c  1139s|  1340k|595637 |     0 |   0.0 |1363M| 167 |   - |1458 |7287 |   0 |   0 |   0 | 279k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1195.19/1195.63	c  1148s|  1350k|595615 |     0 |   0.0 |1362M| 167 |   - |1458 |5942 |   0 |   0 |   0 | 280k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1204.78/1205.23	c  1158s|  1360k|595616 |     0 |   0.0 |1362M| 167 |   - |1458 |6493 |   0 |   0 |   0 | 283k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1214.37/1214.85	c  1167s|  1370k|595616 |     0 |   0.0 |1363M| 167 |   - |1458 |7139 |   0 |   0 |   0 | 285k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1227.07/1227.51	c  1179s|  1380k|595597 |     0 |   0.0 |1362M| 173 |   - |1458 |6003 |   0 |   0 |   0 | 288k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1238.97/1239.47	c  1190s|  1390k|595596 |     0 |   0.0 |1362M| 173 |   - |1458 |5970 |   0 |   0 |   0 | 290k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1250.76/1251.20	c  1202s|  1400k|595596 |     0 |   0.0 |1362M| 173 |   - |1458 |6451 |   0 |   0 |   0 | 293k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1261.93/1262.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1261.93/1262.49	c  1213s|  1410k|595596 |     0 |   0.0 |1363M| 173 |   - |1458 |6685 |   0 |   0 |   0 | 294k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1273.13/1273.60	c  1223s|  1420k|595596 |     0 |   0.0 |1363M| 173 |   - |1458 |6957 |   0 |   0 |   0 | 296k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1283.53/1284.05	c  1234s|  1430k|595596 |     0 |   0.0 |1363M| 173 |   - |1458 |7244 |   0 |   0 |   0 | 297k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1294.02/1294.59	c  1244s|  1440k|595596 |     0 |   0.0 |1362M| 173 |   - |1458 |6288 |   0 |   0 |   0 | 299k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1306.03/1306.56	c  1255s|  1450k|595596 |     0 |   0.0 |1363M| 173 |   - |1458 |7112 |   0 |   0 |   0 | 301k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1318.21/1318.79	c  1267s|  1460k|595596 |     0 |   0.0 |1363M| 173 |   - |1458 |7018 |   0 |   0 |   0 | 303k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1330.42/1330.95	c  1279s|  1470k|595596 |     0 |   0.0 |1363M| 173 |   - |1458 |6915 |   0 |   0 |   0 | 304k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1342.71/1343.20	c  1291s|  1480k|595595 |     0 |   0.0 |1363M| 173 |   - |1458 |7314 |   0 |   0 |   0 | 306k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1354.50/1355.06	c  1302s|  1490k|595595 |     0 |   0.0 |1364M| 173 |   - |1458 |7602 |   0 |   0 |   0 | 307k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1366.20/1366.79	c  1314s|  1500k|595593 |     0 |   0.0 |1362M| 173 |   - |1458 |5638 |   0 |   0 |   0 | 309k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1378.70/1379.25	c  1326s|  1510k|595590 |     0 |   0.0 |1362M| 173 |   - |1458 |5945 |   0 |   0 |   0 | 311k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1390.69/1391.23	c  1337s|  1520k|595583 |     0 |   0.0 |1362M| 173 |   - |1458 |6270 |   0 |   0 |   0 | 315k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1399.29/1399.83	c  1345s|  1530k|595583 |     0 |   0.0 |1362M| 173 |   - |1458 |6297 |   0 |   0 |   0 | 316k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1408.09/1408.68	c  1354s|  1540k|595582 |     0 |   0.0 |1362M| 173 |   - |1458 |6523 |   0 |   0 |   0 | 317k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1423.18/1423.76	c  1368s|  1550k|595582 |     0 |   0.0 |1364M| 173 |   - |1458 |8106 |   0 |   0 |   0 | 323k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1438.08/1438.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1438.08/1438.67	c  1383s|  1560k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |9305 |   0 |   0 |   0 | 328k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1451.48/1452.02	c  1395s|  1570k|595580 |     0 |   0.0 |1363M| 173 |   - |1458 |7133 |   0 |   0 |   0 | 332k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1464.47/1465.09	c  1408s|  1580k|595580 |     0 |   0.0 |1363M| 173 |   - |1458 |7167 |   0 |   0 |   0 | 333k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1475.87/1476.41	c  1419s|  1590k|595581 |     0 |   0.0 |1363M| 173 |   - |1458 |7415 |   0 |   0 |   0 | 335k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1486.05/1486.61	c  1429s|  1600k|595581 |     0 |   0.0 |1363M| 173 |   - |1458 |7337 |   0 |   0 |   0 | 336k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1497.05/1497.66	c  1440s|  1610k|595579 |     0 |   0.0 |1364M| 173 |   - |1458 |7552 |   0 |   0 |   0 | 338k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1507.46/1508.03	c  1450s|  1620k|595580 |     0 |   0.0 |1364M| 173 |   - |1458 |7739 |   0 |   0 |   0 | 339k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1517.05/1517.60	c  1459s|  1630k|595579 |     0 |   0.0 |1363M| 173 |   - |1458 |7422 |   0 |   0 |   0 | 341k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1528.74/1529.37	c  1471s|  1640k|595579 |     0 |   0.0 |1364M| 173 |   - |1458 |7555 |   0 |   0 |   0 | 342k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1540.14/1540.78	c  1482s|  1650k|595580 |     0 |   0.0 |1364M| 173 |   - |1458 |7564 |   0 |   0 |   0 | 344k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1551.74/1552.32	c  1493s|  1660k|595580 |     0 |   0.0 |1364M| 173 |   - |1458 |7714 |   0 |   0 |   0 | 346k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1561.34/1561.93	c  1502s|  1670k|595580 |     0 |   0.0 |1364M| 173 |   - |1458 |8046 |   0 |   0 |   0 | 347k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1571.73/1572.38	c  1512s|  1680k|595582 |     0 |   0.0 |1364M| 173 |   - |1458 |7636 |   0 |   0 |   0 | 348k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1582.62/1583.28	c  1523s|  1690k|595581 |     0 |   0.0 |1364M| 173 |   - |1458 |7880 |   0 |   0 |   0 | 349k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1593.43/1594.03	c  1533s|  1700k|595581 |     0 |   0.0 |1364M| 173 |   - |1458 |7936 |   0 |   0 |   0 | 351k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1604.02/1604.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1604.02/1604.65	c  1544s|  1710k|595581 |     0 |   0.0 |1364M| 173 |   - |1458 |8203 |   0 |   0 |   0 | 352k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1613.21/1613.89	c  1553s|  1720k|595579 |     0 |   0.0 |1365M| 173 |   - |1458 |8666 |   0 |   0 |   0 | 353k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1623.72/1624.39	c  1563s|  1730k|595580 |     0 |   0.0 |1364M| 173 |   - |1458 |7962 |   0 |   0 |   0 | 355k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1634.11/1634.72	c  1573s|  1740k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |8400 |   0 |   0 |   0 | 357k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1644.61/1645.29	c  1583s|  1750k|595581 |     0 |   0.0 |1364M| 173 |   - |1458 |8191 |   0 |   0 |   0 | 358k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1655.20/1655.87	c  1594s|  1760k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |8338 |   0 |   0 |   0 | 360k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1667.39/1668.02	c  1605s|  1770k|595581 |     0 |   0.0 |1364M| 173 |   - |1458 |8248 |   0 |   0 |   0 | 361k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1679.60/1680.27	c  1617s|  1780k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |8334 |   0 |   0 |   0 | 363k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1690.78/1691.44	c  1628s|  1790k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |8443 |   0 |   0 |   0 | 364k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1702.19/1702.87	c  1639s|  1800k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |8371 |   0 |   0 |   0 | 366k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1712.58/1713.28	c  1650s|  1810k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |8648 |   0 |   0 |   0 | 367k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1722.58/1723.27	c  1659s|  1820k|595580 |     0 |   0.0 |1365M| 173 |   - |1458 |8985 |   0 |   0 |   0 | 369k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1733.77/1734.42	c  1670s|  1830k|595579 |     0 |   0.0 |1364M| 173 |   - |1458 |8225 |   0 |   0 |   0 | 371k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1745.47/1746.14	c  1681s|  1840k|595582 |     0 |   0.0 |1365M| 173 |   - |1458 |8512 |   0 |   0 |   0 | 372k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1755.47/1756.13	c  1691s|  1850k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |8946 |   0 |   0 |   0 | 374k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1765.66/1766.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1765.66/1766.39	c  1701s|  1860k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |8654 |   0 |   0 |   0 | 376k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1777.85/1778.51	c  1713s|  1870k|595579 |     0 |   0.0 |1365M| 173 |   - |1458 |8867 |   0 |   0 |   0 | 377k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1788.26/1788.98	c  1723s|  1880k|595581 |     0 |   0.0 |1365M| 173 |   - |1458 |9121 |   0 |   0 |   0 | 379k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1798.45/1799.13	c  1733s|  1890k|595580 |     0 |   0.0 |1365M| 173 |   - |1458 |9095 |   0 |   0 |   0 | 380k|   0 |-9.700000e+01 |-1.700000e+01 |  82.47%
1800.07/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71	c 
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time (sec) : 1734.51
1800.07/1800.71	c Solving Nodes      : 1891428
1800.07/1800.71	c Primal Bound       : -1.70000000000000e+01 (12 solutions)
1800.07/1800.71	c Dual Bound         : -9.70000000000000e+01
1800.07/1800.71	c Gap                : 82.47 %
1800.07/1800.71	s SATISFIABLE
1800.07/1800.71	v -x128 -x141 x182 -x146 -x136 x166 x181 -x185 -x156 -x153 -x179 -x178 -x149 -x152 -x124 -x133 -x188 x189 -x147 x139 x197 -x191 -x163 
1800.07/1800.71	v -x130 -x192 -x194 -x106 -x170 -x140 -x109 x117 -x107 x196 x187 -x168 -x190 -x148 -x171 -x161 -x160 -x158 -x154 -x151 -x114 
1800.07/1800.71	v -x173 -x199 -x176 -x177 x193 -x172 -x143 -x135 -x162 -x125 -x195 -x120 -x200 -x157 x167 -x134 -x113 -x111 x131 -x121 -x183 
1800.07/1800.71	v -x123 x174 -x180 -x169 -x198 -x159 -x137 -x132 -x122 -x119 x112 -x105 x118 -x150 x142 -x103 -x104 -x165 -x115 -x155 -x101 -x144 
1800.07/1800.71	v -x116 -x110 -x108 -x145 -x186 -x129 -x126 -x138 -x164 -x127 x175 -x184 -x102 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1800.07/1800.71	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 
1800.07/1800.71	v -x66 -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.07/1800.71	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 
1800.07/1800.71	v -x14 -x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 x4 -x3 -x2 x1 
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time       :    1734.51
1800.07/1800.71	c Original Problem   :
1800.07/1800.71	c   Problem name     : HOME/instance-2663901-1276674008.opb
1800.07/1800.71	c   Variables        : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 1559 initial, 1559 maximal
1800.07/1800.71	c Presolved Problem  :
1800.07/1800.71	c   Problem name     : t_HOME/instance-2663901-1276674008.opb
1800.07/1800.71	c   Variables        : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 1559 initial, 17956 maximal
1800.07/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.07/1800.71	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   and              :       0.19          0          0          0          0          0          0          0          0
1800.07/1800.71	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.71	c   setppc           :        200          0    5874537          0    1258366       7216    1632707          0          0          0
1800.07/1800.71	c   and              :       1258          0    5875059          0    1259481        129   20641860          0          0          0
1800.07/1800.71	c   linear           :          1          0    5872928          0    1259492      52187   18584636          0          0          0
1800.07/1800.71	c   logicor          :        100+         0    1739367          0    1255073      40831    1205357          0          0          0
1800.07/1800.71	c   countsols        :          0          0          0          0    1259501          0          0          0          0          0
1800.07/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.71	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.71	c   setppc           :      68.06       0.00      13.93       0.00      54.13
1800.07/1800.71	c   and              :      91.06       0.00      81.58       0.00       9.48
1800.07/1800.71	c   linear           :     186.89       0.00     185.61       0.00       1.28
1800.07/1800.71	c   logicor          :     255.49       0.00     246.96       0.00       8.53
1800.07/1800.71	c   countsols        :       0.47       0.00       0.00       0.00       0.47
1800.07/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.71	c   vbounds          :       2.94          2          0          0
1800.07/1800.71	c   rootredcost      :       3.09          0          0          0
1800.07/1800.71	c   pseudoobj        :     595.25    6444442     562268     304313
1800.07/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.71	c   propagation      :     571.67     662631     294570    3286459      119.3        509       36.3          -
1800.07/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.71	c   applied globally :          -          -          -     375003       98.1          -          -          -
1800.07/1800.71	c   applied locally  :          -          -          -       5788      164.3          -          -          -
1800.07/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.71	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.07/1800.71	c   redcost          :       0.00          0          0          0          0          0
1800.07/1800.71	c   impliedbounds    :       0.00          0          0          0          0          0
1800.07/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.71	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.71	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.71	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.71	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.71	c Pricers            :       Time      Calls       Vars
1800.07/1800.72	c   problem variables:       0.00          0          0
1800.07/1800.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.72	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.72	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.72	c   inference        :     103.74    1259492          0          0          0          0    2518984
1800.07/1800.72	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.72	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.72	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.72	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.72	c   LP solutions     :       0.00          -          0
1800.07/1800.72	c   pseudo solutions :       0.00          -          9
1800.07/1800.72	c   oneopt           :       1.61          0          0
1800.07/1800.72	c   trivial          :       0.00          2          3
1800.07/1800.72	c   simplerounding   :       0.00          0          0
1800.07/1800.72	c   zirounding       :       0.00          0          0
1800.07/1800.72	c   rounding         :       0.00          0          0
1800.07/1800.72	c   shifting         :       0.00          0          0
1800.07/1800.72	c   intshifting      :       0.00          0          0
1800.07/1800.72	c   twoopt           :       0.00          0          0
1800.07/1800.72	c   fixandinfer      :       0.00          0          0
1800.07/1800.72	c   feaspump         :       0.00          0          0
1800.07/1800.72	c   coefdiving       :       0.00          0          0
1800.07/1800.72	c   pscostdiving     :       0.00          0          0
1800.07/1800.72	c   fracdiving       :       0.00          0          0
1800.07/1800.72	c   veclendiving     :       0.00          0          0
1800.07/1800.72	c   intdiving        :       0.00          0          0
1800.07/1800.72	c   actconsdiving    :       0.00          0          0
1800.07/1800.72	c   objpscostdiving  :       0.00          0          0
1800.07/1800.72	c   rootsoldiving    :       0.00          0          0
1800.07/1800.72	c   linesearchdiving :       0.00          0          0
1800.07/1800.72	c   guideddiving     :       0.00          0          0
1800.07/1800.72	c   octane           :       0.00          0          0
1800.07/1800.72	c   rens             :       0.00          0          0
1800.07/1800.72	c   rins             :       0.00          0          0
1800.07/1800.72	c   localbranching   :       0.00          0          0
1800.07/1800.72	c   mutation         :       0.00          0          0
1800.07/1800.72	c   crossover        :       0.00          0          0
1800.07/1800.72	c   dins             :       0.00          0          0
1800.07/1800.72	c   undercover       :       0.00          0          0
1800.07/1800.72	c   nlp              :       0.81          0          0
1800.07/1800.72	c   trysol           :       0.75          0          0
1800.07/1800.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.72	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.72	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.72	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.72	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.72	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.72	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.72	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.72	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.72	c B&B Tree           :
1800.07/1800.72	c   number of runs   :          1
1800.07/1800.72	c   nodes            :    1891428
1800.07/1800.72	c   nodes (total)    :    1891428
1800.07/1800.72	c   nodes left       :     595580
1800.07/1800.72	c   max depth        :        173
1800.07/1800.72	c   max depth (total):        173
1800.07/1800.72	c   backtracks       :      68841 (3.6%)
1800.07/1800.72	c   delayed cutoffs  :      31977
1800.07/1800.72	c   repropagations   :    2164923 (1679829 domain reductions, 30704 cutoffs)
1800.07/1800.72	c   avg switch length:       5.04
1800.07/1800.72	c   switching time   :     276.01
1800.07/1800.72	c Solution           :
1800.07/1800.72	c   Solutions found  :         12 (10 improvements)
1800.07/1800.72	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.07/1800.72	c   Primal Bound     : -1.70000000000000e+01   (in run 1, after 25037 nodes, 17.10 seconds, depth 47, found by <relaxation>)
1800.07/1800.72	c   Dual Bound       : -9.70000000000000e+01
1800.07/1800.72	c   Gap              :      82.47 %
1800.07/1800.72	c   Root Dual Bound  : -1.00000000000000e+02
1800.07/1800.72	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-2663901-1276674008/watcher-2663901-1276674008 -o /tmp/evaluation-result-2663901-1276674008/solver-2663901-1276674008 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663901-1276674008.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: 1.92 2.08 2.04 3/106 14986
/proc/meminfo: memFree=1753924/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=6584 CPUtime=0
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 1050 0 0 0 0 0 0 0 24 0 1 0 8688850 6742016 974 1992294400 4194304 7136930 140737064358144 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14986/statm: 1646 983 254 719 0 925 0

[startup+0.0721539 s]
/proc/loadavg: 1.92 2.08 2.04 3/106 14986
/proc/meminfo: memFree=1753924/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=14808 CPUtime=0.06
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 3590 0 0 0 4 2 0 0 24 0 1 0 8688850 15163392 2902 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 3702 2902 333 719 0 2981 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14808

[startup+0.101157 s]
/proc/loadavg: 1.92 2.08 2.04 3/106 14986
/proc/meminfo: memFree=1753924/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=14808 CPUtime=0.09
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 3590 0 0 0 6 3 0 0 24 0 1 0 8688850 15163392 2902 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 3702 2902 333 719 0 2981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14808

[startup+0.301186 s]
/proc/loadavg: 1.92 2.08 2.04 3/106 14986
/proc/meminfo: memFree=1753924/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=15696 CPUtime=0.29
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 5156 0 0 0 16 13 0 0 25 0 1 0 8688850 16072704 3183 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 3924 3183 361 719 0 3203 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15696

[startup+0.701242 s]
/proc/loadavg: 1.92 2.08 2.04 3/106 14986
/proc/meminfo: memFree=1753924/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=18080 CPUtime=0.69
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 6024 0 0 0 49 20 0 0 25 0 1 0 8688850 18513920 3794 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 4520 3794 393 719 0 3799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18080

[startup+1.50036 s]
/proc/loadavg: 1.92 2.08 2.04 2/107 14987
/proc/meminfo: memFree=1739160/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=19972 CPUtime=1.49
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 6503 0 0 0 125 24 0 0 25 0 1 0 8688850 20451328 4273 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 4993 4273 393 719 0 4272 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19972

[startup+3.10058 s]
/proc/loadavg: 1.92 2.08 2.04 2/107 14987
/proc/meminfo: memFree=1736556/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=23992 CPUtime=3.09
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 7488 0 0 0 277 32 0 0 25 0 1 0 8688850 24567808 5258 1992294400 4194304 7136930 140737064358144 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 5998 5258 393 719 0 5277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23992

[startup+6.30103 s]
/proc/loadavg: 1.85 2.06 2.04 2/107 14987
/proc/meminfo: memFree=1729364/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=30384 CPUtime=6.29
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 9101 0 0 0 580 49 0 0 25 0 1 0 8688850 31113216 6871 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 7596 6871 393 719 0 6875 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30384

[startup+12.7009 s]
/proc/loadavg: 1.78 2.04 2.03 2/107 14987
/proc/meminfo: memFree=1710764/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=48220 CPUtime=12.69
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 13466 0 0 0 1190 79 0 0 25 0 1 0 8688850 49377280 11236 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 12055 11236 393 719 0 11334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48220

[startup+25.5017 s]
/proc/loadavg: 1.61 1.99 2.01 2/107 14987
/proc/meminfo: memFree=1672076/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=89156 CPUtime=25.48
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 23115 0 0 0 2416 132 0 0 25 0 1 0 8688850 91295744 20885 1992294400 4194304 7136930 140737064358144 18446744073709551615 6349942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 22289 20885 393 719 0 21568 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89156

[startup+51.1014 s]
/proc/loadavg: 1.40 1.91 1.98 2/107 14987
/proc/meminfo: memFree=1588624/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=177928 CPUtime=51.07
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 44216 0 0 0 4861 246 0 0 25 0 1 0 8688850 182198272 41986 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 44482 41986 393 719 0 43761 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 177928

[startup+102.309 s]
/proc/loadavg: 1.17 1.77 1.93 2/107 14989
/proc/meminfo: memFree=1445652/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=327564 CPUtime=102.27
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 79357 0 0 0 9749 478 0 0 25 0 1 0 8688850 335425536 77127 1992294400 4194304 7136930 140737064358144 18446744073709551615 4221238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 81891 77127 393 719 0 81170 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 327564

[startup+162.301 s]
/proc/loadavg: 1.06 1.63 1.87 2/107 14991
/proc/meminfo: memFree=1364556/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=410356 CPUtime=162.24
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 99561 0 0 0 15523 701 0 0 25 0 1 0 8688850 420204544 97331 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 102589 97331 393 719 0 101868 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 410356

[startup+222.302 s]
/proc/loadavg: 1.02 1.51 1.81 2/107 14993
/proc/meminfo: memFree=1159956/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=632044 CPUtime=222.21
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 150620 0 0 0 21257 964 0 0 25 0 1 0 8688850 647213056 148390 1992294400 4194304 7136930 140737064358144 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 158011 148390 393 719 0 157290 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 632044

[startup+282.301 s]
/proc/loadavg: 1.01 1.41 1.76 2/107 14995
/proc/meminfo: memFree=986852/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=822100 CPUtime=282.2
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 194685 0 0 0 26989 1231 0 0 25 0 1 0 8688850 841830400 192455 1992294400 4194304 7136930 140737064358144 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 205525 192455 393 719 0 204804 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 822100

[startup+342.302 s]
/proc/loadavg: 1.00 1.34 1.71 2/107 14995
/proc/meminfo: memFree=800852/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1008036 CPUtime=342.18
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 240337 0 0 0 32708 1510 0 0 25 0 1 0 8688850 1032228864 238107 1992294400 4194304 7136930 140737064358144 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 252009 238107 393 719 0 251288 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1008036

[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.66 2/107 14997
/proc/meminfo: memFree=637916/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1175804 CPUtime=402.15
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 281062 0 0 0 38434 1781 0 0 25 0 1 0 8688850 1204023296 278832 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 293951 278832 393 719 0 293230 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1175804

[startup+462.302 s]
/proc/loadavg: 1.00 1.22 1.62 2/107 14999
/proc/meminfo: memFree=487132/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1332040 CPUtime=462.13
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 318628 0 0 0 44161 2052 0 0 25 0 1 0 8688850 1364008960 316398 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 333010 316398 393 719 0 332289 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1332040

[startup+522.301 s]
/proc/loadavg: 1.00 1.18 1.58 2/107 15001
/proc/meminfo: memFree=357800/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1462972 CPUtime=522.11
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 351263 0 0 0 49892 2319 0 0 25 0 1 0 8688850 1498083328 349033 1992294400 4194304 7136930 140737064358144 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 365743 349033 393 719 0 365022 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1462972

[startup+582.302 s]
/proc/loadavg: 1.00 1.14 1.54 2/107 15003
/proc/meminfo: memFree=278440/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1539972 CPUtime=582.09
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 372763 0 0 0 55597 2612 0 0 25 0 1 0 8688850 1576931328 368205 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 384993 368205 393 719 0 384272 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1539972

[startup+642.302 s]
/proc/loadavg: 1.00 1.11 1.50 2/107 15003
/proc/meminfo: memFree=272612/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1545488 CPUtime=642.07
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 374174 0 0 0 61355 2852 0 0 25 0 1 0 8688850 1582579712 369616 1992294400 4194304 7136930 140737064358144 18446744073709551615 5924194 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 386372 369616 393 719 0 385651 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1545488

[startup+702.301 s]

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

/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 377080 0 0 0 101948 4244 0 0 25 0 1 0 8688850 1594589184 372522 1992294400 4194304 7136930 140737064358144 18446744073709551615 4999855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 389304 372522 393 719 0 388583 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1557216

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.28 2/107 15017
/proc/meminfo: memFree=257732/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1559928 CPUtime=1121.91
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 377740 0 0 0 107716 4475 0 0 25 0 1 0 8688850 1597366272 373182 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 389982 373182 393 719 0 389261 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1559928

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/107 15019
/proc/meminfo: memFree=253392/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1564320 CPUtime=1181.88
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 378798 0 0 0 113540 4648 0 0 25 0 1 0 8688850 1601863680 374240 1992294400 4194304 7136930 140737064358144 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 391080 374240 393 719 0 390359 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1564320

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.24 2/107 15019
/proc/meminfo: memFree=249920/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1568112 CPUtime=1241.86
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 379745 0 0 0 119312 4874 0 0 25 0 1 0 8688850 1605746688 375187 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 392028 375187 393 719 0 391307 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1568112

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/107 15030
/proc/meminfo: memFree=247440/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1569468 CPUtime=1301.83
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 380112 0 0 0 125126 5057 0 0 25 0 1 0 8688850 1607135232 375554 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 392367 375554 393 719 0 391646 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1569468

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/107 15032
/proc/meminfo: memFree=244960/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1572072 CPUtime=1361.8
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 380735 0 0 0 130936 5244 0 0 25 0 1 0 8688850 1609801728 376177 1992294400 4194304 7136930 140737064358144 18446744073709551615 6166217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 393018 376177 393 719 0 392297 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1572072

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.19 2/107 15034
/proc/meminfo: memFree=243720/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1573268 CPUtime=1421.79
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381051 0 0 0 136693 5486 0 0 25 0 1 0 8688850 1611026432 376493 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 393317 376493 393 719 0 392596 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1573268

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 15036
/proc/meminfo: memFree=242604/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1574416 CPUtime=1481.76
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381320 0 0 0 142487 5689 0 0 25 0 1 0 8688850 1612201984 376762 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 393604 376762 393 719 0 392883 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1574416

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 15036
/proc/meminfo: memFree=242232/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1574884 CPUtime=1541.74
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381436 0 0 0 148316 5858 0 0 25 0 1 0 8688850 1612681216 376878 1992294400 4194304 7136930 140737064358144 18446744073709551615 5917877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 393721 376878 393 719 0 393000 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1574884

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.16 2/107 15038
/proc/meminfo: memFree=242232/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1574884 CPUtime=1601.72
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381436 0 0 0 154153 6019 0 0 25 0 1 0 8688850 1612681216 376878 1992294400 4194304 7136930 140737064358144 18446744073709551615 4660276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 393721 376878 393 719 0 393000 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1574884

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.14 2/107 15040
/proc/meminfo: memFree=242232/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1574884 CPUtime=1661.7
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381436 0 0 0 159992 6178 0 0 25 0 1 0 8688850 1612681216 376878 1992294400 4194304 7136930 140737064358144 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 393721 376878 393 719 0 393000 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1574884

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 15042
/proc/meminfo: memFree=242232/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1574884 CPUtime=1721.68
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381436 0 0 0 165826 6342 0 0 25 0 1 0 8688850 1612681216 376878 1992294400 4194304 7136930 140737064358144 18446744073709551615 5905992 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14986/statm: 393721 376878 393 719 0 393000 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1574884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 15044
/proc/meminfo: memFree=241736/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1575136 CPUtime=1781.66
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381499 0 0 0 171666 6500 0 0 25 0 1 0 8688850 1612939264 376941 1992294400 4194304 7136930 140737064358144 18446744073709551615 6356399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 393784 376941 393 719 0 393063 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 1575136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 15044
/proc/meminfo: memFree=241736/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1575136 CPUtime=1800.07
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381499 0 0 0 173453 6554 0 0 25 0 1 0 8688850 1612939264 376941 1992294400 4194304 7136930 140737064358144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14986/statm: 393784 376941 393 719 0 393063 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1575136

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14986

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 15044
/proc/meminfo: memFree=241736/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1575136 CPUtime=1800.75
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381504 0 0 0 173521 6554 0 0 18 0 1 0 8688850 1612939264 376946 1992294400 4194304 7136930 140737064358144 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14986/statm: 393784 376946 398 719 0 393063 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 1575136

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 15045
/proc/meminfo: memFree=241604/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1575136 CPUtime=1801.54
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381504 0 0 0 173600 6554 0 0 20 0 1 0 8688850 1612939264 376946 1992294400 4194304 7136930 140737064358144 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14986/statm: 393784 376946 398 719 0 393063 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 1575136

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 15045
/proc/meminfo: memFree=241604/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=1574620 CPUtime=1801.94
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4202496 381504 0 0 0 173640 6554 0 0 20 0 1 0 8688850 1612410880 376817 1992294400 4194304 7136930 140737064358144 18446744073709551615 6165657 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14986/statm: 393655 376817 398 719 0 392934 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 1574620

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 15045
/proc/meminfo: memFree=1070536/2059040 swapFree=4144492/4192956
[pid=14986] ppid=14984 vsize=0 CPUtime=1802.15
/proc/14986/stat : 14986 (pbscip.linux.x8) R 14984 14986 14607 0 -1 4203524 381504 0 0 0 173652 6563 0 0 21 0 1 0 8688850 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14986/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.87
CPU time (s): 1802.22
CPU user time (s): 1736.52
CPU system time (s): 65.693
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 1575136

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

runsolver used 3.02954 second user time and 8.48571 second system time

The end

Launcher Data 

Begin job on node049 at 2010-06-16 09:40:08
IDJOB=2663901
IDBENCH=48274
IDSOLVER=1167
FILE ID=node049/2663901-1276674008
PBS_JOBID= 11172529
Free space on /tmp= 62524 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_4.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-2663901-1276674008/watcher-2663901-1276674008 -o /tmp/evaluation-result-2663901-1276674008/solver-2663901-1276674008 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663901-1276674008.opb -t 1800 -m 1800

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

MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45
RANDOM SEED=1133919865

node049.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.244
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.48
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.244
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1754452 kB
Buffers:         97120 kB
Cached:         111704 kB
SwapCached:       5888 kB
Active:         103388 kB
Inactive:       122416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1754452 kB
SwapTotal:     4192956 kB
SwapFree:      4144492 kB
Dirty:            3300 kB
Writeback:           0 kB
AnonPages:       14248 kB
Mapped:          12988 kB
Slab:            56880 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62520 MiB
End job on node049 at 2010-06-16 10:10:11