Trace number 2699950

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverMSAT (TO) 1802.07 1802.04

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
MD5SUM8b86218007c145a9ce1787d0bbf0d30b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark395
Best CPU time to get the best result obtained on this benchmark1.59076
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2699950-1278533860.wbo>
0.00/0.01	c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02	c presolving:
0.00/0.03	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.03	c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.06	c    (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (3 rounds):
0.00/0.06	c  100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  1100 implications, 0 cliques
0.00/0.06	c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.00/0.06	c     900 constraints of type <indicator>
0.00/0.06	c     900 constraints of type <linear>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.04
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.2
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1799.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 3420
0.00/0.06	c 
0.00/0.06	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06	c lp/solvefreq = -1
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.06	o 444854
0.00/0.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.06	c t 0.0s|     1 |     0 |     0 |     - |6458k|   0 |   - |1900 |1800 |   0 |   0 |   0 |   0 |   0 |      --      | 4.448540e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     2 |     0 |     - |6410k|   0 |   - |1900 |1800 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.448540e+05 |    Inf 
0.70/0.70	o 10713
0.70/0.70	c * 0.6s|  5679 |  5113 |     0 |   0.0 |8949k| 902 |   - |1900 |1849 |   0 |   0 |   0 |  49 |   0 | 1.000000e+00 | 1.071300e+04 |  Large 
0.70/0.73	o 10680
0.70/0.73	c * 0.7s|  5854 |  5275 |     0 |   0.0 |9114k| 902 |   - |1900 |1849 |   0 |   0 |   0 |  49 |   0 | 1.000000e+00 | 1.068000e+04 |  Large 
1.59/1.65	c   1.5s| 10000 |  9016 |     0 |   0.0 |  12M| 902 |   - |1900 |3984 |   0 |   0 |   0 |2193 |   0 | 1.000000e+00 | 1.068000e+04 |  Large 
1.69/1.75	o 10455
1.69/1.75	c * 1.6s| 10419 |  9312 |     0 |   0.0 |  12M| 902 |   - |1900 |4193 |   0 |   0 |   0 |2457 |   0 | 1.000000e+00 | 1.045500e+04 |  Large 
1.79/1.90	o 10451
1.79/1.90	c * 1.7s| 11020 |  9841 |     0 |   0.0 |  13M| 902 |   - |1900 |4429 |   0 |   0 |   0 |2827 |   0 | 1.000000e+00 | 1.045100e+04 |  Large 
2.69/2.79	o 10449
2.69/2.79	c * 2.5s| 14713 | 13143 |     0 |   0.0 |  15M| 902 |   - |1900 |4316 |   0 |   0 |   0 |5077 |   0 | 1.000000e+00 | 1.044900e+04 |  Large 
2.79/2.80	o 10441
2.79/2.80	c * 2.5s| 14719 | 13143 |     0 |   0.0 |  15M| 902 |   - |1900 |4326 |   0 |   0 |   0 |5087 |   0 | 1.000000e+00 | 1.044100e+04 |  Large 
2.79/2.89	o 10438
2.79/2.89	c * 2.6s| 15131 | 13515 |     0 |   0.0 |  15M| 902 |   - |1900 |4343 |   0 |   0 |   0 |5293 |   0 | 1.000000e+00 | 1.043800e+04 |  Large 
2.99/3.06	o 10433
2.99/3.06	c * 2.8s| 15821 | 14116 |     0 |   0.0 |  16M| 902 |   - |1900 |4597 |   0 |   0 |   0 |5782 |   0 | 1.000000e+00 | 1.043300e+04 |  Large 
3.30/3.36	o 10114
3.30/3.36	c * 3.0s| 17041 | 15020 |     0 |   0.0 |  16M| 902 |   - |1900 |4845 |   0 |   0 |   0 |6562 |   0 | 1.000000e+00 | 1.011400e+04 |  Large 
3.59/3.61	o 9914
3.59/3.61	c * 3.3s| 18075 | 15807 |     0 |   0.0 |  17M| 902 |   - |1900 |5232 |   0 |   0 |   0 |7332 |   0 | 1.000000e+00 | 9.914000e+03 |  Large 
4.09/4.10	c   3.7s| 20000 | 17502 |     0 |   0.0 |  18M| 902 |   - |1900 |5055 |   0 |   0 |   0 |8672 |   0 | 1.000000e+00 | 9.914000e+03 |  Large 
6.60/6.63	c   6.0s| 30000 | 26289 |     0 |   0.0 |  25M| 902 |   - |1900 |6018 |   0 |   0 |   0 |  15k|   0 | 1.000000e+00 | 9.914000e+03 |  Large 
7.49/7.57	o 9760
7.49/7.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.49/7.57	c * 6.8s| 33742 | 29444 |     0 |   0.0 |  27M| 902 |   - |1900 |6293 |   0 |   0 |   0 |  18k|   0 | 1.000000e+00 | 9.760000e+03 |  Large 
7.79/7.87	o 9441
7.79/7.87	c * 7.1s| 34943 | 30101 |     0 |   0.0 |  27M| 902 |   - |1900 |6372 |   0 |   0 |   0 |  19k|   0 | 1.000000e+00 | 9.441000e+03 |  Large 
8.09/8.18	o 9111
8.09/8.18	c * 7.4s| 36112 | 30652 |     0 |   0.0 |  27M| 902 |   - |1900 |6614 |   0 |   0 |   0 |  20k|   0 | 1.000000e+00 | 9.111000e+03 |  Large 
9.19/9.21	c   8.3s| 40000 | 33949 |     0 |   0.0 |  29M| 902 |   - |1900 |7223 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 | 9.111000e+03 |  Large 
11.90/12.00	c  10.9s| 50000 | 42384 |     0 |   0.0 |  36M| 902 |   - |1900 |8113 |   0 |   0 |   0 |  32k|   0 | 1.000000e+00 | 9.111000e+03 |  Large 
14.89/14.92	c  13.6s| 60000 | 50740 |     0 |   0.0 |  42M| 902 |   - |1900 |8948 |   0 |   0 |   0 |  41k|   0 | 1.000000e+00 | 9.111000e+03 |  Large 
17.79/17.80	c  16.3s| 70000 | 59186 |     0 |   0.0 |  48M| 902 |   - |1900 |9591 |   0 |   0 |   0 |  50k|   0 | 1.000000e+00 | 9.111000e+03 |  Large 
19.59/19.69	o 9012
19.59/19.69	c *18.0s| 76381 | 64307 |     0 |   0.0 |  52M| 902 |   - |1900 |  10k|   0 |   0 |   0 |  56k|   0 | 1.000000e+00 | 9.012000e+03 |  Large 
20.80/20.82	c  19.1s| 80000 | 67274 |     0 |   0.0 |  55M| 902 |   - |1900 |  11k|   0 |   0 |   0 |  60k|   0 | 1.000000e+00 | 9.012000e+03 |  Large 
22.89/22.96	o 8791
22.89/22.96	c *21.0s| 86926 | 72298 |     0 |   0.0 |  59M| 902 |   - |1900 |  12k|   0 |   0 |   0 |  68k|   0 | 1.000000e+00 | 8.791000e+03 |  Large 
22.89/23.00	o 8761
22.89/23.00	c *21.1s| 87075 | 72341 |     0 |   0.0 |  58M| 902 |   - |1900 |  12k|   0 |   0 |   0 |  68k|   0 | 1.000000e+00 | 8.761000e+03 |  Large 
22.99/23.00	o 8710
22.99/23.00	c *21.1s| 87076 | 72178 |     0 |   0.0 |  58M| 902 |   - |1900 |  12k|   0 |   0 |   0 |  68k|   0 | 1.000000e+00 | 8.710000e+03 |  Large 
23.10/23.12	o 8499
23.10/23.12	c *21.2s| 87434 | 71835 |     0 |   0.0 |  58M| 902 |   - |1900 |  12k|   0 |   0 |   0 |  68k|   0 | 1.000000e+00 | 8.499000e+03 |  Large 
23.10/23.18	o 8461
23.10/23.18	c *21.2s| 87620 | 71875 |     0 |   0.0 |  58M| 902 |   - |1900 |  13k|   0 |   0 |   0 |  69k|   0 | 1.000000e+00 | 8.461000e+03 |  Large 
23.10/23.18	o 8367
23.10/23.18	c *21.2s| 87621 | 71620 |     0 |   0.0 |  57M| 902 |   - |1900 |  13k|   0 |   0 |   0 |  69k|   0 | 1.000000e+00 | 8.367000e+03 |  Large 
23.19/23.20	o 8212
23.19/23.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.19/23.20	c *21.2s| 87661 | 71158 |     0 |   0.0 |  56M| 902 |   - |1900 |  13k|   0 |   0 |   0 |  69k|   0 | 1.000000e+00 | 8.212000e+03 |  Large 
23.19/23.21	o 8109
23.19/23.21	c *21.3s| 87698 | 70660 |     0 |   0.0 |  55M| 902 |   - |1900 |  13k|   0 |   0 |   0 |  69k|   0 | 1.000000e+00 | 8.109000e+03 |  Large 
23.89/23.98	c  22.0s| 90000 | 72558 |     0 |   0.0 |  56M| 902 |   - |1900 |  11k|   0 |   0 |   0 |  71k|   0 | 1.000000e+00 | 8.109000e+03 |  Large 
26.99/27.00	c  24.8s|100000 | 80972 |     0 |   0.0 |  62M| 902 |   - |1900 |  11k|   0 |   0 |   0 |  80k|   0 | 1.000000e+00 | 8.109000e+03 |  Large 
30.20/30.22	c  27.8s|110000 | 89172 |     0 |   0.0 |  69M| 902 |   - |1900 |  13k|   0 |   0 |   0 |  91k|   0 | 1.000000e+00 | 8.109000e+03 |  Large 
33.49/33.51	c  30.8s|120000 | 97351 |     0 |   0.0 |  76M| 902 |   - |1900 |  15k|   0 |   0 |   0 | 101k|   0 | 1.000000e+00 | 8.109000e+03 |  Large 
34.00/34.04	o 8017
34.00/34.04	c *31.3s|121626 | 98099 |     0 |   0.0 |  76M| 902 |   - |1900 |  16k|   0 |   0 |   0 | 103k|   0 | 1.000000e+00 | 8.017000e+03 |  Large 
34.00/34.04	o 8002
34.00/34.04	c *31.3s|121627 | 98005 |     0 |   0.0 |  76M| 902 |   - |1900 |  16k|   0 |   0 |   0 | 103k|   0 | 1.000000e+00 | 8.002000e+03 |  Large 
36.09/36.11	o 7448
36.09/36.11	c *33.3s|127312 | 99431 |     0 |   0.0 |  74M| 902 |   - |1900 |  13k|   0 |   0 |   0 | 108k|   0 | 1.000000e+00 | 7.448000e+03 |  Large 
36.99/37.07	c  34.2s|130000 |101647 |     0 |   0.0 |  76M| 902 |   - |1900 |  13k|   0 |   0 |   0 | 111k|   0 | 1.000000e+00 | 7.448000e+03 |  Large 
38.99/39.01	o 7374
38.99/39.01	c *36.0s|135378 |105531 |     0 |   0.0 |  79M| 902 |   - |1900 |  15k|   0 |   0 |   0 | 117k|   0 | 1.000000e+00 | 7.374000e+03 |  Large 
40.59/40.63	c  37.5s|140000 |109362 |     0 |   0.0 |  82M| 902 |   - |1900 |  15k|   0 |   0 |   0 | 122k|   0 | 1.000000e+00 | 7.374000e+03 |  Large 
44.29/44.31	c  41.0s|150000 |117427 |     0 |   0.0 |  88M| 902 |   - |1900 |  17k|   0 |   0 |   0 | 133k|   0 | 1.000000e+00 | 7.374000e+03 |  Large 
47.69/47.75	o 7245
47.69/47.75	c *44.2s|158882 |123632 |     0 |   0.0 |  93M| 902 |   - |1900 |  19k|   0 |   0 |   0 | 144k|   0 | 1.000000e+00 | 7.245000e+03 |  Large 
48.10/48.19	c  44.6s|160000 |124538 |     0 |   0.0 |  94M| 902 |   - |1900 |  19k|   0 |   0 |   0 | 145k|   0 | 1.000000e+00 | 7.245000e+03 |  Large 
52.29/52.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
52.29/52.33	c  48.5s|170000 |132389 |     0 |   0.0 | 101M| 902 |   - |1900 |  21k|   0 |   0 |   0 | 157k|   0 | 1.000000e+00 | 7.245000e+03 |  Large 
56.49/56.55	c  52.5s|180000 |140138 |     0 |   0.0 | 108M| 902 |   - |1900 |  24k|   0 |   0 |   0 | 170k|   0 | 1.000000e+00 | 7.245000e+03 |  Large 
58.00/58.04	o 7129
58.00/58.04	c *53.9s|183583 |141872 |     0 |   0.0 | 109M| 902 |   - |1900 |  25k|   0 |   0 |   0 | 176k|   0 | 1.000000e+00 | 7.129000e+03 |  Large 
58.49/58.50	o 6912
58.49/58.50	c *54.3s|184544 |140456 |     0 |   0.0 | 107M| 902 |   - |1900 |  25k|   0 |   0 |   0 | 177k|   0 | 1.000000e+00 | 6.912000e+03 |  Large 
58.49/58.52	o 6834
58.49/58.52	c *54.3s|184567 |139699 |     0 |   0.0 | 106M| 902 |   - |1900 |  25k|   0 |   0 |   0 | 177k|   0 | 1.000000e+00 | 6.834000e+03 |  Large 
58.49/58.52	o 6641
58.49/58.52	c *54.3s|184568 |137914 |     0 |   0.0 | 104M| 902 |   - |1900 |  25k|   0 |   0 |   0 | 177k|   0 | 1.000000e+00 | 6.641000e+03 |  Large 
58.49/58.55	o 6303
58.49/58.55	c *54.3s|184597 |134288 |     0 |   0.0 |  99M| 902 |   - |1900 |  25k|   0 |   0 |   0 | 177k|   0 | 1.000000e+00 | 6.303000e+03 |  Large 
60.89/60.96	c  56.6s|190000 |138687 |     0 |   0.0 | 100M| 902 |   - |1900 |  19k|   0 |   0 |   0 | 183k|   0 | 1.000000e+00 | 6.303000e+03 |  Large 
64.80/64.81	c  60.2s|200000 |146905 |     0 |   0.0 | 106M| 902 |   - |1900 |  19k|   0 |   0 |   0 | 193k|   0 | 1.000000e+00 | 6.303000e+03 |  Large 
68.70/68.73	c  63.8s|210000 |155012 |     0 |   0.0 | 113M| 902 |   - |1900 |  21k|   0 |   0 |   0 | 203k|   0 | 1.000000e+00 | 6.303000e+03 |  Large 
72.90/72.93	c  67.8s|220000 |163008 |     0 |   0.0 | 120M| 902 |   - |1900 |  23k|   0 |   0 |   0 | 215k|   0 | 1.000000e+00 | 6.303000e+03 |  Large 
75.40/75.48	o 6273
75.40/75.48	c *70.1s|225727 |167112 |     0 |   0.0 | 124M| 902 |   - |1900 |  24k|   0 |   0 |   0 | 222k|   0 | 1.000000e+00 | 6.273000e+03 |  Large 
77.39/77.48	c  72.0s|230000 |170416 |     0 |   0.0 | 127M| 902 |   - |1900 |  25k|   0 |   0 |   0 | 227k|   0 | 1.000000e+00 | 6.273000e+03 |  Large 
82.29/82.38	c  76.7s|240000 |178147 |     0 |   0.0 | 134M| 902 |   - |1900 |  28k|   0 |   0 |   0 | 240k|   0 | 1.000000e+00 | 6.273000e+03 |  Large 
87.49/87.56	c  81.6s|250000 |185845 |     0 |   0.0 | 141M| 902 |   - |1900 |  30k|   0 |   0 |   0 | 253k|   0 | 1.000000e+00 | 6.273000e+03 |  Large 
92.99/93.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
92.99/93.01	c  86.8s|260000 |193502 |     0 |   0.0 | 147M| 902 |   - |1900 |  30k|   0 |   0 |   0 | 267k|   0 | 1.000000e+00 | 6.273000e+03 |  Large 
98.50/98.54	c  92.0s|270000 |201289 |     0 |   0.0 | 152M| 902 |   - |1900 |  26k|   0 |   0 |   0 | 279k|   0 | 1.000000e+00 | 6.273000e+03 |  Large 
103.50/103.53	c  96.7s|280000 |209245 |     0 |   0.0 | 159M| 902 |   - |1900 |  26k|   0 |   0 |   0 | 290k|   0 | 1.000000e+00 | 6.273000e+03 |  Large 
108.60/108.69	c   102s|290000 |217055 |     0 |   0.0 | 166M| 902 |   - |1900 |  28k|   0 |   0 |   0 | 302k|   0 | 1.000000e+00 | 6.273000e+03 |  Large 
112.89/112.94	o 6253
112.89/112.94	c * 106s|298144 |223273 |     0 |   0.0 | 171M| 902 |   - |1900 |  29k|   0 |   0 |   0 | 312k|   0 | 1.000000e+00 | 6.253000e+03 |  Large 
113.90/113.90	c   106s|300000 |224754 |     0 |   0.0 | 172M| 902 |   - |1900 |  30k|   0 |   0 |   0 | 314k|   0 | 1.000000e+00 | 6.253000e+03 |  Large 
119.39/119.43	c   112s|310000 |232520 |     0 |   0.0 | 179M| 902 |   - |1900 |  31k|   0 |   0 |   0 | 326k|   0 | 1.000000e+00 | 6.253000e+03 |  Large 
125.49/125.56	c   118s|320000 |240091 |     0 |   0.0 | 186M| 902 |   - |1900 |  33k|   0 |   0 |   0 | 340k|   0 | 1.000000e+00 | 6.253000e+03 |  Large 
131.80/131.81	c   124s|330000 |247646 |     0 |   0.0 | 193M| 902 |   - |1900 |  35k|   0 |   0 |   0 | 354k|   0 | 1.000000e+00 | 6.253000e+03 |  Large 
138.19/138.20	c   130s|340000 |255177 |     0 |   0.0 | 200M| 902 |   - |1900 |  36k|   0 |   0 |   0 | 368k|   0 | 1.000000e+00 | 6.253000e+03 |  Large 
144.50/144.51	c   136s|350000 |262652 |     0 |   0.0 | 207M| 902 |   - |1900 |  38k|   0 |   0 |   0 | 382k|   0 | 1.000000e+00 | 6.253000e+03 |  Large 
150.29/150.30	c   141s|360000 |269901 |     0 |   0.0 | 215M| 902 |   - |1900 |  43k|   0 |   0 |   0 | 398k|   0 | 1.000000e+00 | 6.253000e+03 |  Large 
150.29/150.39	o 6032
150.29/150.39	c * 141s|360167 |266343 |     0 |   0.0 | 210M| 902 |   - |1900 |  43k|   0 |   0 |   0 | 399k|   0 | 1.000000e+00 | 6.032000e+03 |  Large 
150.80/150.85	o 5958
150.80/150.85	c * 142s|360843 |265436 |     0 |   0.0 | 208M| 902 |   - |1900 |  43k|   0 |   0 |   0 | 400k|   0 | 1.000000e+00 | 5.958000e+03 |  Large 
150.90/150.93	o 5938
150.90/150.93	c * 142s|360970 |265167 |     0 |   0.0 | 208M| 902 |   - |1900 |  43k|   0 |   0 |   0 | 400k|   0 | 1.000000e+00 | 5.938000e+03 |  Large 
152.69/152.80	o 5802
152.69/152.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
152.69/152.80	c * 144s|363878 |264667 |     0 |   0.0 | 207M| 902 |   - |1900 |  45k|   0 |   0 |   0 | 405k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
156.90/156.93	c   148s|370000 |269520 |     0 |   0.0 | 207M| 902 |   - |1900 |  35k|   0 |   0 |   0 | 412k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
162.60/162.65	c   153s|380000 |277580 |     0 |   0.0 | 214M| 902 |   - |1900 |  36k|   0 |   0 |   0 | 423k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
168.59/168.68	c   159s|390000 |285388 |     0 |   0.0 | 221M| 902 |   - |1900 |  38k|   0 |   0 |   0 | 435k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
174.80/174.86	c   165s|400000 |293197 |     0 |   0.0 | 228M| 902 |   - |1900 |  39k|   0 |   0 |   0 | 447k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
181.20/181.21	c   171s|410000 |300942 |     0 |   0.0 | 235M| 902 |   - |1900 |  41k|   0 |   0 |   0 | 459k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
188.00/188.09	c   177s|420000 |308589 |     0 |   0.0 | 242M| 902 |   - |1900 |  43k|   0 |   0 |   0 | 472k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
195.19/195.21	c   184s|430000 |316052 |     0 |   0.0 | 249M| 902 |   - |1900 |  45k|   0 |   0 |   0 | 486k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
202.20/202.28	c   191s|440000 |323554 |     0 |   0.0 | 256M| 902 |   - |1900 |  47k|   0 |   0 |   0 | 499k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
209.69/209.78	c   198s|450000 |330975 |     0 |   0.0 | 264M| 902 |   - |1900 |  50k|   0 |   0 |   0 | 514k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
217.20/217.27	c   206s|460000 |338444 |     0 |   0.0 | 271M| 902 |   - |1900 |  52k|   0 |   0 |   0 | 528k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
224.99/225.00	c   213s|470000 |345809 |     0 |   0.0 | 279M| 902 |   - |1900 |  55k|   0 |   0 |   0 | 544k|   0 | 1.000000e+00 | 5.802000e+03 |  Large 
230.20/230.25	o 5766
230.20/230.25	c * 218s|476318 |349493 |     0 |   0.0 | 283M| 902 |   - |1900 |  58k|   0 |   0 |   0 | 554k|   0 | 1.000000e+00 | 5.766000e+03 |  Large 
233.79/233.81	c   222s|480000 |352252 |     0 |   0.0 | 283M| 902 |   - |1900 |  51k|   0 |   0 |   0 | 559k|   0 | 1.000000e+00 | 5.766000e+03 |  Large 
242.70/242.79	c   230s|490000 |359857 |     0 |   0.0 | 288M| 902 |   - |1900 |  47k|   0 |   0 |   0 | 572k|   0 | 1.000000e+00 | 5.766000e+03 |  Large 
245.79/245.89	o 5748
245.79/245.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
245.79/245.89	c * 233s|493646 |362261 |     0 |   0.0 | 290M| 902 |   - |1900 |  47k|   0 |   0 |   0 | 577k|   0 | 1.000000e+00 | 5.748000e+03 |  Large 
251.10/251.14	c   238s|500000 |367064 |     0 |   0.0 | 294M| 902 |   - |1900 |  47k|   0 |   0 |   0 | 585k|   0 | 1.000000e+00 | 5.748000e+03 |  Large 
259.10/259.15	c   246s|510000 |374543 |     0 |   0.0 | 301M| 902 |   - |1900 |  49k|   0 |   0 |   0 | 598k|   0 | 1.000000e+00 | 5.748000e+03 |  Large 
267.39/267.40	c   254s|520000 |382127 |     0 |   0.0 | 309M| 902 |   - |1900 |  51k|   0 |   0 |   0 | 612k|   0 | 1.000000e+00 | 5.748000e+03 |  Large 
275.90/276.00	c   262s|530000 |389782 |     0 |   0.0 | 315M| 902 |   - |1900 |  52k|   0 |   0 |   0 | 625k|   0 | 1.000000e+00 | 5.748000e+03 |  Large 
285.20/285.22	c   271s|540000 |397177 |     0 |   0.0 | 323M| 902 |   - |1900 |  54k|   0 |   0 |   0 | 639k|   0 | 1.000000e+00 | 5.748000e+03 |  Large 
294.40/294.48	c   280s|550000 |404526 |     0 |   0.0 | 330M| 902 |   - |1900 |  56k|   0 |   0 |   0 | 653k|   0 | 1.000000e+00 | 5.748000e+03 |  Large 
303.90/303.90	c   289s|560000 |411907 |     0 |   0.0 | 337M| 902 |   - |1900 |  57k|   0 |   0 |   0 | 668k|   0 | 1.000000e+00 | 5.748000e+03 |  Large 
312.60/312.60	o 5728
312.60/312.60	c * 298s|569503 |418754 |     0 |   0.0 | 343M| 902 |   - |1900 |  59k|   0 |   0 |   0 | 681k|   0 | 1.000000e+00 | 5.728000e+03 |  Large 
312.60/312.61	o 5616
312.60/312.61	c * 298s|569504 |415998 |     0 |   0.0 | 338M| 902 |   - |1900 |  59k|   0 |   0 |   0 | 681k|   0 | 1.000000e+00 | 5.616000e+03 |  Large 
313.00/313.04	c   298s|570000 |416371 |     0 |   0.0 | 338M| 902 |   - |1900 |  59k|   0 |   0 |   0 | 681k|   0 | 1.000000e+00 | 5.616000e+03 |  Large 
315.70/315.75	o 5583
315.70/315.75	c * 301s|572843 |417768 |     0 |   0.0 | 338M| 902 |   - |1900 |  60k|   0 |   0 |   0 | 685k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
322.70/322.70	c   308s|580000 |423105 |     0 |   0.0 | 343M| 902 |   - |1900 |  61k|   0 |   0 |   0 | 696k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
332.21/332.23	c   317s|590000 |430589 |     0 |   0.0 | 350M| 902 |   - |1900 |  62k|   0 |   0 |   0 | 710k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
341.60/341.66	c   326s|600000 |437986 |     0 |   0.0 | 357M| 902 |   - |1900 |  64k|   0 |   0 |   0 | 725k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
351.00/351.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
351.00/351.04	c   335s|610000 |445374 |     0 |   0.0 | 364M| 902 |   - |1900 |  66k|   0 |   0 |   0 | 739k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
360.30/360.38	c   344s|620000 |452645 |     0 |   0.0 | 371M| 902 |   - |1900 |  68k|   0 |   0 |   0 | 755k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
369.50/369.60	c   353s|630000 |460058 |     0 |   0.0 | 376M| 902 |   - |1900 |  63k|   0 |   0 |   0 | 769k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
377.90/377.96	c   361s|640000 |467934 |     0 |   0.0 | 382M| 902 |   - |1900 |  61k|   0 |   0 |   0 | 781k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
386.90/386.91	c   370s|650000 |475723 |     0 |   0.0 | 389M| 902 |   - |1900 |  62k|   0 |   0 |   0 | 792k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
395.91/395.99	c   379s|660000 |483500 |     0 |   0.0 | 397M| 902 |   - |1900 |  64k|   0 |   0 |   0 | 804k|   0 | 1.000000e+00 | 5.583000e+03 |  Large 
396.80/396.89	o 5530
396.80/396.89	c * 379s|661061 |482680 |     0 |   0.0 | 394M| 902 |   - |1900 |  64k|   0 |   0 |   0 | 805k|   0 | 1.000000e+00 | 5.530000e+03 |  Large 
396.89/396.90	o 5469
396.89/396.90	c * 379s|661062 |480775 |     0 |   0.0 | 390M| 902 |   - |1900 |  64k|   0 |   0 |   0 | 805k|   0 | 1.000000e+00 | 5.469000e+03 |  Large 
405.60/405.69	c   388s|670000 |487533 |     0 |   0.0 | 396M| 902 |   - |1900 |  66k|   0 |   0 |   0 | 817k|   0 | 1.000000e+00 | 5.469000e+03 |  Large 
415.20/415.25	c   397s|680000 |495280 |     0 |   0.0 | 403M| 902 |   - |1900 |  67k|   0 |   0 |   0 | 829k|   0 | 1.000000e+00 | 5.469000e+03 |  Large 
424.51/424.54	c   406s|690000 |502954 |     0 |   0.0 | 410M| 902 |   - |1900 |  69k|   0 |   0 |   0 | 841k|   0 | 1.000000e+00 | 5.469000e+03 |  Large 
428.70/428.71	o 5404
428.70/428.71	c * 410s|694106 |503665 |     0 |   0.0 | 407M| 902 |   - |1900 |  70k|   0 |   0 |   0 | 846k|   0 | 1.000000e+00 | 5.404000e+03 |  Large 
428.70/428.71	o 5400
428.70/428.71	c * 410s|694107 |503489 |     0 |   0.0 | 407M| 902 |   - |1900 |  70k|   0 |   0 |   0 | 846k|   0 | 1.000000e+00 | 5.400000e+03 |  Large 
434.70/434.73	c   416s|700000 |507909 |     0 |   0.0 | 412M| 902 |   - |1900 |  71k|   0 |   0 |   0 | 854k|   0 | 1.000000e+00 | 5.400000e+03 |  Large 
444.70/444.70	c   426s|710000 |515372 |     0 |   0.0 | 419M| 902 |   - |1900 |  73k|   0 |   0 |   0 | 868k|   0 | 1.000000e+00 | 5.400000e+03 |  Large 
455.20/455.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
455.20/455.26	c   436s|720000 |522882 |     0 |   0.0 | 426M| 902 |   - |1900 |  76k|   0 |   0 |   0 | 882k|   0 | 1.000000e+00 | 5.400000e+03 |  Large 
466.30/466.39	c   447s|730000 |530270 |     0 |   0.0 | 434M| 902 |   - |1900 |  78k|   0 |   0 |   0 | 896k|   0 | 1.000000e+00 | 5.400000e+03 |  Large 
477.30/477.33	c   458s|740000 |537625 |     0 |   0.0 | 441M| 902 |   - |1900 |  81k|   0 |   0 |   0 | 911k|   0 | 1.000000e+00 | 5.400000e+03 |  Large 
481.70/481.76	o 5347
481.70/481.76	c * 462s|743888 |538212 |     0 |   0.0 | 440M| 902 |   - |1900 |  82k|   0 |   0 |   0 | 917k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
488.70/488.74	c   469s|750000 |542725 |     0 |   0.0 | 444M| 902 |   - |1900 |  84k|   0 |   0 |   0 | 927k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
503.60/503.66	c   484s|760000 |550129 |     0 |   0.0 | 451M| 902 |   - |1900 |  87k|   0 |   0 |   0 | 941k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
518.39/518.49	c   498s|770000 |557216 |     0 |   0.0 | 459M| 902 |   - |1900 |  92k|   0 |   0 |   0 | 958k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
534.40/534.46	c   514s|780000 |564218 |     0 |   0.0 | 467M| 902 |   - |1900 |  94k|   0 |   0 |   0 | 975k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
552.50/552.52	c   532s|790000 |571543 |     0 |   0.0 | 469M| 902 |   - |1900 |  81k|   0 |   0 |   0 | 989k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
569.81/569.81	c   549s|800000 |578814 |     0 |   0.0 | 475M| 902 |   - |1900 |  81k|   0 |   0 |   0 |1004k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
585.50/585.51	c   565s|810000 |586218 |     0 |   0.0 | 481M| 902 |   - |1900 |  79k|   0 |   0 |   0 |1017k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
602.50/602.57	c   582s|820000 |593510 |     0 |   0.0 | 489M| 902 |   - |1900 |  81k|   0 |   0 |   0 |1032k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
619.80/619.80	c   599s|830000 |600820 |     0 |   0.0 | 496M| 902 |   - |1900 |  82k|   0 |   0 |   0 |1046k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
636.10/636.10	c   615s|840000 |608190 |     0 |   0.0 | 503M| 902 |   - |1900 |  84k|   0 |   0 |   0 |1060k|   0 | 1.000000e+00 | 5.347000e+03 |  Large 
644.20/644.27	o 5320
644.20/644.27	c * 623s|844649 |610279 |     0 |   0.0 | 504M| 902 |   - |1900 |  85k|   0 |   0 |   0 |1066k|   0 | 1.000000e+00 | 5.320000e+03 |  Large 
653.60/653.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
653.60/653.63	c   633s|850000 |614282 |     0 |   0.0 | 508M| 902 |   - |1900 |  86k|   0 |   0 |   0 |1073k|   0 | 1.000000e+00 | 5.320000e+03 |  Large 
667.61/667.61	o 5247
667.61/667.61	c * 647s|858233 |616379 |     0 |   0.0 | 507M| 902 |   - |1900 |  87k|   0 |   0 |   0 |1084k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
670.60/670.61	c   650s|860000 |617698 |     0 |   0.0 | 508M| 902 |   - |1900 |  87k|   0 |   0 |   0 |1087k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
688.30/688.39	c   667s|870000 |625054 |     0 |   0.0 | 515M| 902 |   - |1900 |  90k|   0 |   0 |   0 |1101k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
704.60/704.69	c   684s|880000 |632610 |     0 |   0.0 | 522M| 902 |   - |1900 |  91k|   0 |   0 |   0 |1114k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
721.70/721.73	c   701s|890000 |640122 |     0 |   0.0 | 529M| 902 |   - |1900 |  93k|   0 |   0 |   0 |1128k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
738.30/738.36	c   717s|900000 |647648 |     0 |   0.0 | 537M| 902 |   - |1900 |  95k|   0 |   0 |   0 |1142k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
756.50/756.53	c   735s|910000 |655194 |     0 |   0.0 | 543M| 902 |   - |1900 |  97k|   0 |   0 |   0 |1156k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
773.40/773.47	c   752s|920000 |662743 |     0 |   0.0 | 551M| 902 |   - |1900 | 100k|   0 |   0 |   0 |1170k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
790.81/790.82	c   769s|930000 |670211 |     0 |   0.0 | 558M| 902 |   - |1900 | 102k|   0 |   0 |   0 |1184k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
808.80/808.83	c   787s|940000 |677496 |     0 |   0.0 | 566M| 902 |   - |1900 | 105k|   0 |   0 |   0 |1200k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
825.90/825.90	c   804s|950000 |684858 |     0 |   0.0 | 573M| 902 |   - |1900 | 107k|   0 |   0 |   0 |1214k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
843.70/843.71	c   822s|960000 |692156 |     0 |   0.0 | 580M| 902 |   - |1900 | 110k|   0 |   0 |   0 |1230k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
860.20/860.25	c   838s|970000 |699364 |     0 |   0.0 | 588M| 902 |   - |1900 | 113k|   0 |   0 |   0 |1246k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
878.01/878.09	c   856s|980000 |706299 |     0 |   0.0 | 596M| 902 |   - |1900 | 116k|   0 |   0 |   0 |1263k|   0 | 1.000000e+00 | 5.247000e+03 |  Large 
895.00/895.05	o 5197
895.00/895.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
895.00/895.05	c * 873s|989570 |709858 |     0 |   0.0 | 598M| 902 |   - |1900 | 120k|   0 |   0 |   0 |1280k|   0 | 1.000000e+00 | 5.197000e+03 |  Large 
895.50/895.55	c   873s|990000 |710176 |     0 |   0.0 | 599M| 902 |   - |1900 | 120k|   0 |   0 |   0 |1281k|   0 | 1.000000e+00 | 5.197000e+03 |  Large 
911.41/911.42	o 5101
911.41/911.42	c * 889s|998736 |710183 |     0 |   0.0 | 594M| 902 |   - |1900 | 124k|   0 |   0 |   0 |1297k|   0 | 1.000000e+00 | 5.101000e+03 |  Large 
913.70/913.70	c   892s|  1000k|710999 |     0 |   0.0 | 595M| 902 |   - |1900 | 125k|   0 |   0 |   0 |1300k|   0 | 1.000000e+00 | 5.101000e+03 |  Large 
914.01/914.09	o 4956
914.01/914.09	c * 892s|  1000k|701420 |     0 |   0.0 | 574M| 902 |   - |1900 | 125k|   0 |   0 |   0 |1300k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
932.11/932.12	c   910s|  1010k|708745 |     0 |   0.0 | 573M| 902 |   - |1900 | 102k|   0 |   0 |   0 |1313k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
948.11/948.15	c   926s|  1020k|716573 |     0 |   0.0 | 578M| 902 |   - |1900 |  98k|   0 |   0 |   0 |1324k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
963.70/963.73	c   941s|  1030k|724344 |     0 |   0.0 | 585M| 902 |   - |1900 |  99k|   0 |   0 |   0 |1335k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
979.50/979.54	c   957s|  1040k|731917 |     0 |   0.0 | 592M| 902 |   - |1900 | 100k|   0 |   0 |   0 |1346k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
996.00/996.01	c   973s|  1050k|739506 |     0 |   0.0 | 599M| 902 |   - |1900 | 101k|   0 |   0 |   0 |1359k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1012.51/1012.52	c   990s|  1060k|747289 |     0 |   0.0 | 606M| 902 |   - |1900 | 103k|   0 |   0 |   0 |1370k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1029.52/1029.58	c  1007s|  1070k|754797 |     0 |   0.0 | 614M| 902 |   - |1900 | 105k|   0 |   0 |   0 |1383k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1048.61/1048.69	c  1026s|  1080k|762318 |     0 |   0.0 | 621M| 902 |   - |1900 | 106k|   0 |   0 |   0 |1396k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1067.41/1067.43	c  1044s|  1090k|769803 |     0 |   0.0 | 628M| 902 |   - |1900 | 109k|   0 |   0 |   0 |1408k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1085.21/1085.29	c  1062s|  1100k|777256 |     0 |   0.0 | 635M| 902 |   - |1900 | 111k|   0 |   0 |   0 |1422k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1105.01/1105.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1105.01/1105.02	c  1082s|  1110k|784503 |     0 |   0.0 | 643M| 902 |   - |1900 | 113k|   0 |   0 |   0 |1436k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1123.50/1123.56	c  1100s|  1120k|791936 |     0 |   0.0 | 650M| 902 |   - |1900 | 115k|   0 |   0 |   0 |1450k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1143.41/1143.47	c  1120s|  1130k|799182 |     0 |   0.0 | 657M| 902 |   - |1900 | 117k|   0 |   0 |   0 |1464k|   0 | 1.000000e+00 | 4.956000e+03 |  Large 
1162.01/1162.04	o 4914
1162.01/1162.04	c *1139s|  1139k|803205 |     0 |   0.0 | 658M| 902 |   - |1900 | 119k|   0 |   0 |   0 |1478k|   0 | 1.000000e+00 | 4.914000e+03 |  Large 
1162.01/1162.07	o 4823
1162.01/1162.07	c *1139s|  1139k|795782 |     0 |   0.0 | 642M| 902 |   - |1900 | 119k|   0 |   0 |   0 |1478k|   0 | 1.000000e+00 | 4.823000e+03 |  Large 
1162.41/1162.43	c  1139s|  1140k|795994 |     0 |   0.0 | 642M| 902 |   - |1900 | 120k|   0 |   0 |   0 |1478k|   0 | 1.000000e+00 | 4.823000e+03 |  Large 
1163.81/1163.83	o 4798
1163.81/1163.83	c *1140s|  1140k|794149 |     0 |   0.0 | 638M| 902 |   - |1900 | 120k|   0 |   0 |   0 |1479k|   0 | 1.000000e+00 | 4.798000e+03 |  Large 
1182.21/1182.23	c  1159s|  1150k|800747 |     0 |   0.0 | 645M| 902 |   - |1900 | 122k|   0 |   0 |   0 |1493k|   0 | 1.000000e+00 | 4.798000e+03 |  Large 
1203.71/1203.72	c  1180s|  1160k|807722 |     0 |   0.0 | 653M| 902 |   - |1900 | 126k|   0 |   0 |   0 |1509k|   0 | 1.000000e+00 | 4.798000e+03 |  Large 
1225.21/1225.26	c  1202s|  1170k|814593 |     0 |   0.0 | 661M| 902 |   - |1900 | 130k|   0 |   0 |   0 |1527k|   0 | 1.000000e+00 | 4.798000e+03 |  Large 
1245.50/1245.53	c  1222s|  1180k|821337 |     0 |   0.0 | 669M| 902 |   - |1900 | 134k|   0 |   0 |   0 |1545k|   0 | 1.000000e+00 | 4.798000e+03 |  Large 
1250.11/1250.11	o 4784
1250.11/1250.11	c *1226s|  1182k|821426 |     0 |   0.0 | 669M| 902 |   - |1900 | 136k|   0 |   0 |   0 |1549k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1268.41/1268.48	c  1245s|  1190k|826892 |     0 |   0.0 | 671M| 902 |   - |1900 | 128k|   0 |   0 |   0 |1562k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1293.21/1293.25	c  1269s|  1200k|834197 |     0 |   0.0 | 676M| 902 |   - |1900 | 121k|   0 |   0 |   0 |1575k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1317.50/1317.56	c  1293s|  1210k|841214 |     0 |   0.0 | 683M| 902 |   - |1900 | 123k|   0 |   0 |   0 |1590k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1342.11/1342.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1342.11/1342.18	c  1318s|  1220k|848210 |     0 |   0.0 | 689M| 902 |   - |1900 | 121k|   0 |   0 |   0 |1605k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1368.21/1368.26	c  1344s|  1230k|855195 |     0 |   0.0 | 697M| 902 |   - |1900 | 122k|   0 |   0 |   0 |1620k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1392.71/1392.77	c  1368s|  1240k|862193 |     0 |   0.0 | 704M| 902 |   - |1900 | 124k|   0 |   0 |   0 |1635k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1417.61/1417.68	c  1393s|  1250k|869269 |     0 |   0.0 | 712M| 902 |   - |1900 | 126k|   0 |   0 |   0 |1650k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1443.22/1443.28	c  1419s|  1260k|876392 |     0 |   0.0 | 719M| 902 |   - |1900 | 128k|   0 |   0 |   0 |1664k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1467.42/1467.44	c  1443s|  1270k|883745 |     0 |   0.0 | 726M| 902 |   - |1900 | 130k|   0 |   0 |   0 |1678k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1491.91/1491.96	c  1467s|  1280k|891142 |     0 |   0.0 | 734M| 902 |   - |1900 | 132k|   0 |   0 |   0 |1692k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1514.42/1514.48	c  1490s|  1290k|898390 |     0 |   0.0 | 741M| 902 |   - |1900 | 134k|   0 |   0 |   0 |1707k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1538.61/1538.64	c  1514s|  1300k|905611 |     0 |   0.0 | 749M| 902 |   - |1900 | 137k|   0 |   0 |   0 |1722k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1562.12/1562.13	c  1537s|  1310k|912978 |     0 |   0.0 | 756M| 902 |   - |1900 | 139k|   0 |   0 |   0 |1737k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1586.02/1586.04	c  1561s|  1320k|920309 |     0 |   0.0 | 764M| 902 |   - |1900 | 142k|   0 |   0 |   0 |1751k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1611.42/1611.45	c  1586s|  1330k|927507 |     0 |   0.0 | 771M| 902 |   - |1900 | 144k|   0 |   0 |   0 |1766k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1636.11/1636.14	c  1611s|  1340k|934497 |     0 |   0.0 | 779M| 902 |   - |1900 | 148k|   0 |   0 |   0 |1783k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1660.81/1660.88	c  1635s|  1350k|941648 |     0 |   0.0 | 787M| 902 |   - |1900 | 151k|   0 |   0 |   0 |1798k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1686.81/1686.89	c  1661s|  1360k|948737 |     0 |   0.0 | 794M| 902 |   - |1900 | 152k|   0 |   0 |   0 |1814k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1712.72/1712.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1712.72/1712.74	c  1687s|  1370k|955865 |     0 |   0.0 | 802M| 902 |   - |1900 | 156k|   0 |   0 |   0 |1830k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1737.82/1737.85	c  1712s|  1380k|962979 |     0 |   0.0 | 809M| 902 |   - |1900 | 158k|   0 |   0 |   0 |1846k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1762.32/1762.38	c  1737s|  1390k|970068 |     0 |   0.0 | 817M| 902 |   - |1900 | 161k|   0 |   0 |   0 |1862k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1788.12/1788.16	c  1762s|  1400k|976926 |     0 |   0.0 | 825M| 902 |   - |1900 | 164k|   0 |   0 |   0 |1879k|   0 | 1.000000e+00 | 4.784000e+03 |  Large 
1791.72/1791.77	o 4673
1791.72/1791.77	c *1766s|  1401k|965740 |     0 |   0.0 | 802M| 902 |   - |1900 | 164k|   0 |   0 |   0 |1881k|   0 | 1.000000e+00 | 4.673000e+03 |  Large 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00	c 
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time (sec) : 1774.08
1800.02/1800.00	c Solving Nodes      : 1404198
1800.02/1800.00	c Primal Bound       : +4.67300000000000e+03 (60 solutions)
1800.02/1800.00	c Dual Bound         : +1.00000000000000e+00
1800.02/1800.00	c Gap                : 467200.00 %
1800.02/1800.01	s SATISFIABLE
1800.02/1800.01	v -x200 x199 x198 -x197 -x196 x195 -x194 x193 x192 -x191 -x190 x189 -x188 x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 x178 -x177 
1800.02/1800.01	v x176 -x175 -x174 x173 x172 -x171 x170 -x169 x168 -x167 -x166 x165 x164 -x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155 
1800.02/1800.01	v x154 -x153 x152 -x151 -x150 x149 -x148 x147 -x146 x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 -x134 x133 -x132 
1800.02/1800.01	v x131 x130 -x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 -x120 x119 x118 -x117 -x116 x115 x114 -x113 -x112 x111 x110 -x109 
1800.02/1800.01	v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 x94 -x93 x92 -x91 -x90 x89 -x88 x87 -x86 x85 -x84 
1800.02/1800.01	v x83 -x82 x81 x80 -x79 -x78 x77 -x76 x75 x74 -x73 x72 -x71 -x70 x69 -x68 x67 x66 -x65 -x64 x63 x62 -x61 -x60 x59 -x58 x57 x56 
1800.02/1800.01	v -x55 -x54 x53 x52 -x51 -x50 x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 x32 -x31 x30 -x29 x28 
1800.02/1800.01	v -x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 x16 -x15 x14 -x13 -x12 x11 x10 -x9 -x8 x7 -x6 x5 x4 -x3 -x2 x1 
1800.02/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.01	c Solving Time       :    1774.08
1800.02/1800.01	c Original Problem   :
1800.02/1800.01	c   Problem name     : HOME/instance-2699950-1278533860.wbo
1800.02/1800.01	c   Variables        : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.02/1800.01	c   Constraints      : 1901 initial, 1901 maximal
1800.02/1800.01	c Presolved Problem  :
1800.02/1800.01	c   Problem name     : t_HOME/instance-2699950-1278533860.wbo
1800.02/1800.01	c   Variables        : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.02/1800.01	c   Constraints      : 1800 initial, 165631 maximal
1800.02/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   probing          :       0.02          0          0          0          0          0          0          0          0
1800.02/1800.01	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   linear           :       0.02          0        100          0        900          0        101          0          0
1800.02/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.01	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.01	c   indicator        :        900          0    3030903          0    1267374       2322   18807891          0          0          0
1800.02/1800.01	c   linear           :        900          0    3028486          0    1267346      31746    3227660          0          0          0
1800.02/1800.01	c   logicor          :          0+         0    2187553          0          0       5855    1807154          0          0          0
1800.02/1800.01	c   countsols        :          0          0          0          0    1267376          0          0          0          0          0
1800.02/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.01	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.01	c   indicator        :      92.33       0.00      43.70       0.00      48.63
1800.02/1800.01	c   linear           :      75.65       0.00      75.19       0.00       0.46
1800.02/1800.01	c   logicor          :     724.84       0.00     724.84       0.00       0.00
1800.02/1800.01	c   countsols        :       0.07       0.00       0.00       0.00       0.07
1800.02/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.01	c   vbounds          :       0.33          2          0          0
1800.02/1800.01	c   rootredcost      :       0.45          0          0          0
1800.02/1800.01	c   pseudoobj        :      87.00    3193411     162704   18670869
1800.02/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.01	c   propagation      :      15.25     200305     200305    1776060       35.9     701119        3.9          -
1800.02/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.01	c   pseudo solution  :       0.27       2090       2090      19688       33.5       8551        4.1          -
1800.02/1800.01	c   applied globally :          -          -          -    1887036       22.1          -          -          -
1800.02/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.01	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.01	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.01	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.01	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.01	c Pricers            :       Time      Calls       Vars
1800.02/1800.01	c   problem variables:       0.00          0          0
1800.02/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.01	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.01	c   inference        :      83.06    1267318          0          0          0          0    2534636
1800.02/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.01	c   LP solutions     :       0.00          -          0
1800.02/1800.01	c   pseudo solutions :       0.44          -         58
1800.02/1800.01	c   oneopt           :       0.30          0          0
1800.02/1800.01	c   trivial          :       0.00          2          1
1800.02/1800.01	c   simplerounding   :       0.00          0          0
1800.02/1800.01	c   zirounding       :       0.00          0          0
1800.02/1800.01	c   rounding         :       0.00          0          0
1800.02/1800.01	c   shifting         :       0.00          0          0
1800.02/1800.01	c   intshifting      :       0.00          0          0
1800.02/1800.01	c   twoopt           :       0.00          0          0
1800.02/1800.01	c   fixandinfer      :       0.00          0          0
1800.02/1800.01	c   feaspump         :       0.00          0          0
1800.02/1800.01	c   coefdiving       :       0.00          0          0
1800.02/1800.01	c   pscostdiving     :       0.00          0          0
1800.02/1800.01	c   fracdiving       :       0.00          0          0
1800.02/1800.01	c   veclendiving     :       0.00          0          0
1800.02/1800.01	c   intdiving        :       0.00          0          0
1800.02/1800.01	c   actconsdiving    :       0.00          0          0
1800.02/1800.01	c   objpscostdiving  :       0.00          0          0
1800.02/1800.01	c   rootsoldiving    :       0.00          0          0
1800.02/1800.01	c   linesearchdiving :       0.00          0          0
1800.02/1800.01	c   guideddiving     :       0.00          0          0
1800.02/1800.01	c   octane           :       0.00          0          0
1800.02/1800.01	c   rens             :       0.00          0          0
1800.02/1800.01	c   rins             :       0.00          0          0
1800.02/1800.01	c   localbranching   :       0.00          0          0
1800.02/1800.01	c   mutation         :       0.00          0          0
1800.02/1800.01	c   crossover        :       0.00          0          0
1800.02/1800.01	c   dins             :       0.00          0          0
1800.02/1800.01	c   undercover       :       0.00          0          0
1800.02/1800.01	c   nlp              :       0.19          0          0
1800.02/1800.01	c   trysol           :       0.11          1          1
1800.02/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.01	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.01	c B&B Tree           :
1800.02/1800.01	c   number of runs   :          1
1800.02/1800.01	c   nodes            :    1404198
1800.02/1800.01	c   nodes (total)    :    1404198
1800.02/1800.01	c   nodes left       :     967765
1800.02/1800.01	c   max depth        :        902
1800.02/1800.01	c   max depth (total):        902
1800.02/1800.01	c   backtracks       :      73982 (5.3%)
1800.02/1800.01	c   delayed cutoffs  :      67930
1800.02/1800.01	c   repropagations   :     198724 (13084171 domain reductions, 67895 cutoffs)
1800.02/1800.01	c   avg switch length:       4.16
1800.02/1800.01	c   switching time   :     446.83
1800.02/1800.01	c Solution           :
1800.02/1800.01	c   Solutions found  :         60 (59 improvements)
1800.02/1800.01	c   First Solution   : +4.44854000000000e+05   (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.02/1800.01	c   Primal Bound     : +4.67300000000000e+03   (in run 1, after 1401184 nodes, 1765.82 seconds, depth 287, found by <relaxation>)
1800.02/1800.01	c   Dual Bound       : +1.00000000000000e+00
1800.02/1800.01	c   Gap              :  467200.00 %
1800.02/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.01	c   Root Iterations  :          0

Verifier Data 

OK	4672

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.15 0.06 0.01 6/194 17240
/proc/meminfo: memFree=29523960/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=8268 CPUtime=0
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 1554 0 0 0 0 0 0 0 19 0 1 0 21599441 8466432 1476 4089446400 4194304 7136930 140735874376368 18446744073709551615 5648864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17240/statm: 2067 1476 275 719 0 1346 0

[startup+0.0800929 s]
/proc/loadavg: 0.15 0.06 0.01 6/194 17240
/proc/meminfo: memFree=29523960/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=20428 CPUtime=0.07
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 5593 0 0 0 7 0 0 0 18 0 1 0 21599441 20918272 4390 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17240/statm: 5107 4390 387 719 0 4386 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20428

[startup+0.101091 s]
/proc/loadavg: 0.15 0.06 0.01 6/194 17240
/proc/meminfo: memFree=29523960/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=20560 CPUtime=0.1
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 5628 0 0 0 9 1 0 0 18 0 1 0 21599441 21053440 4425 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17240/statm: 5140 4425 387 719 0 4419 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20560

[startup+0.301075 s]
/proc/loadavg: 0.15 0.06 0.01 6/194 17240
/proc/meminfo: memFree=29523960/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=21752 CPUtime=0.29
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 5925 0 0 0 27 2 0 0 18 0 1 0 21599441 22274048 4722 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17240/statm: 5438 4722 393 719 0 4717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21752

[startup+0.700986 s]
/proc/loadavg: 0.15 0.06 0.01 6/194 17240
/proc/meminfo: memFree=29523960/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=23864 CPUtime=0.7
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 6462 0 0 0 65 5 0 0 18 0 1 0 21599441 24436736 5259 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17240/statm: 5966 5259 393 719 0 5245 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 23864

[startup+1.50085 s]
/proc/loadavg: 0.15 0.06 0.01 2/172 17259
/proc/meminfo: memFree=29527336/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=28624 CPUtime=1.49
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 7629 0 0 0 140 9 0 0 20 0 1 0 21599441 29310976 6426 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 7156 6426 394 719 0 6435 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28624

[startup+3.10058 s]
/proc/loadavg: 0.15 0.06 0.01 2/172 17259
/proc/meminfo: memFree=29521880/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=36260 CPUtime=3.09
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 9537 0 0 0 281 28 0 0 25 0 1 0 21599441 37130240 8334 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 9065 8334 394 719 0 8344 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36260

[startup+6.30102 s]
/proc/loadavg: 0.30 0.09 0.02 4/177 17269
/proc/meminfo: memFree=29498044/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=47512 CPUtime=6.29
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 12339 0 0 0 570 59 0 0 25 0 1 0 21599441 48652288 11136 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 11878 11136 394 719 0 11157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47512

[startup+12.7009 s]
/proc/loadavg: 0.43 0.12 0.03 3/177 17269
/proc/meminfo: memFree=29478676/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=66672 CPUtime=12.69
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 17105 0 0 0 1158 111 0 0 25 0 1 0 21599441 68272128 15902 4089446400 4194304 7136930 140735874376368 18446744073709551615 6164698 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 16668 15902 394 719 0 15947 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66672

[startup+25.5007 s]
/proc/loadavg: 0.78 0.22 0.07 3/177 17270
/proc/meminfo: memFree=29448496/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=98464 CPUtime=25.49
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 24519 0 0 0 2340 209 0 0 25 0 1 0 21599441 100827136 23316 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 24616 23316 394 719 0 23895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 98464

[startup+51.1003 s]
/proc/loadavg: 1.20 0.36 0.12 3/177 17270
/proc/meminfo: memFree=29405976/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=142224 CPUtime=51.09
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 35233 0 0 0 4738 371 0 0 25 0 1 0 21599441 145637376 34030 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 35556 34030 394 719 0 34835 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 142224

[startup+102.306 s]
/proc/loadavg: 1.65 0.61 0.21 3/177 17272
/proc/meminfo: memFree=29339588/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=212500 CPUtime=102.3
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 51435 0 0 0 9555 675 0 0 25 0 1 0 21599441 217600000 50232 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 53125 50232 394 719 0 52404 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 212500

[startup+162.301 s]
/proc/loadavg: 1.91 0.87 0.33 3/177 17303
/proc/meminfo: memFree=29273772/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=280108 CPUtime=162.29
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 67782 0 0 0 15283 946 0 0 25 0 1 0 21599441 286830592 66579 4089446400 4194304 7136930 140735874376368 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 70027 66579 394 719 0 69306 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 280108

[startup+222.301 s]
/proc/loadavg: 2.02 1.09 0.43 3/177 17305
/proc/meminfo: memFree=29211032/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=344724 CPUtime=222.29
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 83336 0 0 0 21037 1192 0 0 25 0 1 0 21599441 352997376 82133 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 86181 82133 394 719 0 85460 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 344724

[startup+282.3 s]
/proc/loadavg: 2.01 1.25 0.53 3/177 17307
/proc/meminfo: memFree=29159644/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=399544 CPUtime=282.3
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 96156 0 0 0 26841 1389 0 0 25 0 1 0 21599441 409133056 94953 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 99886 94953 394 719 0 99165 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 399544

[startup+342.301 s]
/proc/loadavg: 2.00 1.39 0.62 3/177 17308
/proc/meminfo: memFree=29117408/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=442968 CPUtime=342.3
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 106630 0 0 0 32659 1571 0 0 25 0 1 0 21599441 453599232 105427 4089446400 4194304 7136930 140735874376368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 110742 105427 394 719 0 110021 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 442968

[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.70 3/177 17400
/proc/meminfo: memFree=29060228/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=496580 CPUtime=402.3
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 116897 0 0 0 38472 1758 0 0 25 0 1 0 21599441 508497920 115694 4089446400 4194304 7136930 140735874376368 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 124145 115694 394 719 0 123424 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 496580

[startup+462.301 s]
/proc/loadavg: 2.07 1.60 0.78 3/177 17428
/proc/meminfo: memFree=29006756/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=539468 CPUtime=462.3
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 127374 0 0 0 44306 1924 0 0 25 0 1 0 21599441 552415232 126171 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17240/statm: 134867 126171 394 719 0 134146 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 539468

[startup+522.301 s]
/proc/loadavg: 2.02 1.67 0.86 3/177 17430
/proc/meminfo: memFree=28911984/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=572588 CPUtime=522.3
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 135297 0 0 0 50211 2019 0 0 25 0 1 0 21599441 586330112 134094 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 143147 134094 394 719 0 142426 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 572588

[startup+582.3 s]
/proc/loadavg: 2.01 1.73 0.93 3/177 17432
/proc/meminfo: memFree=28817960/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=594804 CPUtime=582.3
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 140366 0 0 0 56180 2050 0 0 25 0 1 0 21599441 609079296 139163 4089446400 4194304 7136930 140735874376368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 148701 139163 394 719 0 147980 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 594804

[startup+642.301 s]
/proc/loadavg: 2.00 1.77 0.99 3/177 17433
/proc/meminfo: memFree=28752668/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=621080 CPUtime=642.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 146240 0 0 0 62150 2081 0 0 25 0 1 0 21599441 635985920 145037 4089446400 4194304 7136930 140735874376368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 155270 145037 394 719 0 154549 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 621080

[startup+702.3 s]

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

/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 178314 0 0 0 97966 2264 0 0 25 0 1 0 21599441 772222976 177111 4089446400 4194304 7136930 140735874376368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 188531 177111 394 719 0 187810 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 754124

[startup+1062.3 s]
/proc/loadavg: 2.04 1.95 1.35 3/177 17444
/proc/meminfo: memFree=28233820/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=771740 CPUtime=1062.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 182631 0 0 0 103937 2294 0 0 25 0 1 0 21599441 790261760 181428 4089446400 4194304 7136930 140735874376368 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 192935 181428 394 719 0 192214 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 771740

[startup+1122.3 s]
/proc/loadavg: 2.01 1.96 1.39 3/177 17446
/proc/meminfo: memFree=28166196/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=794064 CPUtime=1122.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 188145 0 0 0 109906 2325 0 0 25 0 1 0 21599441 813121536 186942 4089446400 4194304 7136930 140735874376368 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 198516 186942 394 719 0 197795 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 794064

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.42 3/177 17447
/proc/meminfo: memFree=28105784/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=809348 CPUtime=1182.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 191626 0 0 0 115881 2350 0 0 25 0 1 0 21599441 828772352 190423 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 202337 190423 394 719 0 201616 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 809348

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/177 17449
/proc/meminfo: memFree=28038652/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=823680 CPUtime=1242.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 195428 0 0 0 121855 2376 0 0 25 0 1 0 21599441 843448320 194225 4089446400 4194304 7136930 140735874376368 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 205920 194225 394 719 0 205199 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 823680

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/177 17451
/proc/meminfo: memFree=27990496/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=835704 CPUtime=1302.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 197941 0 0 0 127827 2404 0 0 25 0 1 0 21599441 855760896 196738 4089446400 4194304 7136930 140735874376368 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 208926 196738 394 719 0 208205 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 835704

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/177 17452
/proc/meminfo: memFree=27934672/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=847632 CPUtime=1362.3
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 200958 0 0 0 133805 2425 0 0 25 0 1 0 21599441 867975168 199755 4089446400 4194304 7136930 140735874376368 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 211908 199755 394 719 0 211187 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 847632

[startup+1422.31 s]
/proc/loadavg: 2.03 1.99 1.55 3/177 17454
/proc/meminfo: memFree=27868664/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=863844 CPUtime=1422.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 204507 0 0 0 139780 2451 0 0 25 0 1 0 21599441 884576256 203304 4089446400 4194304 7136930 140735874376368 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 215961 203304 394 719 0 215240 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 863844

[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.57 3/177 17456
/proc/meminfo: memFree=27807736/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=882532 CPUtime=1482.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 209114 0 0 0 145759 2472 0 0 25 0 1 0 21599441 903712768 207911 4089446400 4194304 7136930 140735874376368 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 220633 207911 394 719 0 219912 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 882532

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/177 17457
/proc/meminfo: memFree=27737888/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=901460 CPUtime=1542.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 213733 0 0 0 151735 2496 0 0 25 0 1 0 21599441 923095040 212530 4089446400 4194304 7136930 140735874376368 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 225365 212530 394 719 0 224644 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 901460

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/177 17459
/proc/meminfo: memFree=27668788/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=919508 CPUtime=1602.31
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 218438 0 0 0 157713 2518 0 0 25 0 1 0 21599441 941576192 217235 4089446400 4194304 7136930 140735874376368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 229877 217235 394 719 0 229156 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 919508

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/177 17460
/proc/meminfo: memFree=27614076/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=937444 CPUtime=1662.32
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 222887 0 0 0 163690 2542 0 0 25 0 1 0 21599441 959942656 221684 4089446400 4194304 7136930 140735874376368 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 234361 221684 394 719 0 233640 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 937444

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/177 17462
/proc/meminfo: memFree=27548708/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=963296 CPUtime=1722.32
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 228781 0 0 0 169668 2564 0 0 25 0 1 0 21599441 986415104 227578 4089446400 4194304 7136930 140735874376368 18446744073709551615 4210097 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 240824 227578 394 719 0 240103 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 963296

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 17464
/proc/meminfo: memFree=27482936/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=980812 CPUtime=1782.32
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 232740 0 0 0 175645 2587 0 0 25 0 1 0 21599441 1004351488 231537 4089446400 4194304 7136930 140735874376368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 245203 231537 394 719 0 244482 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 980812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 17464
/proc/meminfo: memFree=27464324/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=983108 CPUtime=1800.02
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 233341 0 0 0 177408 2594 0 0 25 0 1 0 21599441 1006702592 232138 4089446400 4194304 7136930 140735874376368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17240/statm: 245777 232138 394 719 0 245056 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 983108

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17240

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

[startup+1801.4 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 17465
/proc/meminfo: memFree=27463448/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=982588 CPUtime=1801.42
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 233379 0 0 0 177548 2594 0 0 25 0 1 0 21599441 1006170112 231918 4089446400 4194304 7136930 140735874376368 18446744073709551615 6166200 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17240/statm: 245647 231918 400 719 0 244926 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 982588

[startup+1801.81 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 17465
/proc/meminfo: memFree=27470640/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=970464 CPUtime=1801.82
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 233379 0 0 0 177588 2594 0 0 25 0 1 0 21599441 993755136 228887 4089446400 4194304 7136930 140735874376368 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17240/statm: 242616 228887 400 719 0 241895 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 970464

[startup+1802 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 17465
/proc/meminfo: memFree=27470640/32951132 swapFree=67111528/67111528
[pid=17240] ppid=17238 vsize=889036 CPUtime=1802.01
/proc/17240/stat : 17240 (pbscip.linux.x8) R 17238 17240 16644 0 -1 4202496 233379 0 0 0 177607 2594 0 0 25 0 1 0 21599441 910372864 208532 4089446400 4194304 7136930 140735874376368 18446744073709551615 4221241 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17240/statm: 222259 208532 400 719 0 221538 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 889036

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.07
CPU user time (s): 1776.09
CPU system time (s): 25.9821
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 983620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.08
system time used= 25.9821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233379
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= 6
involuntary context switches= 2117

runsolver used 2.42463 second user time and 5.9041 second system time

The end

Launcher Data 

Begin job on node128 at 2010-07-07 22:17:40
IDJOB=2699950
IDBENCH=79387
IDSOLVER=1206
FILE ID=node128/2699950-1278533860
PBS_JOBID= 11239221
Free space on /tmp= 73140 MiB

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

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

MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b
RANDOM SEED=1891119853

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29524488 kB
Buffers:        124604 kB
Cached:        3050752 kB
SwapCached:          0 kB
Active:        1395816 kB
Inactive:      1867096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29524488 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3856 kB
Writeback:           0 kB
AnonPages:       87008 kB
Mapped:          19932 kB
Slab:           100068 kB
PageTables:       4928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1640112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73132 MiB
End job on node128 at 2010-07-07 22:47:42