Trace number 2693882

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) 1800.38 1800.29

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo
MD5SUM27d3bd64d93eb8804d56550cbc3e68e3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.316951
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints69
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1230
Number of bits of the biggest sum of numbers11
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-2693882-1277896365.wbo>
0.00/0.00	c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 constraints
0.00/0.00	c problem read
0.00/0.00	c presolving settings loaded
0.00/0.00	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.00	c presolving:
0.00/0.00	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01	c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01	c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01	c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02	c    (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02	c presolving (5 rounds):
0.00/0.02	c  2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02	c  75 implications, 20 cliques
0.00/0.02	c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02	c      68 constraints of type <indicator>
0.00/0.02	c      20 constraints of type <setppc>
0.00/0.02	c      68 constraints of type <linear>
0.00/0.02	c      10 constraints of type <logicor>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1800
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 3420
0.00/0.02	c 
0.00/0.02	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02	c lp/solvefreq = -1
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	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.02	c   0.0s|     1 |     2 |     0 |     - | 950k|   0 |   - | 305 | 166 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.23	c   1.0s| 10000 |  6750 |     0 |   0.0 |7061k| 166 |   - | 305 |4369 |   0 |   0 |   0 |8308 |   0 | 0.000000e+00 |      --      |    Inf 
3.20/3.23	c   2.8s| 20000 | 12155 |     0 |   0.0 |  12M| 166 |   - | 305 |7195 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
6.19/6.29	c   5.6s| 30000 | 16149 |     0 |   0.0 |  18M| 166 |   - | 305 |  11k|   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
10.19/10.26	c   9.3s| 40000 | 18862 |     0 |   0.0 |  23M| 166 |   - | 305 |  15k|   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
13.89/13.90	c  12.7s| 50000 | 23055 |     0 |   0.0 |  24M| 166 |   - | 305 |6964 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
15.19/15.27	c  13.8s| 60000 | 31190 |     0 |   0.0 |  26M| 166 |   - | 305 |1872 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
18.49/18.57	c  16.9s| 70000 | 34141 |     0 |   0.0 |  34M| 166 |   - | 305 |  12k|   0 |   0 |   0 |  83k|   0 | 0.000000e+00 |      --      |    Inf 
24.39/24.43	c  22.5s| 80000 | 35516 |     0 |   0.0 |  39M| 166 |   - | 305 |  18k|   0 |   0 |   0 | 102k|   0 | 0.000000e+00 |      --      |    Inf 
32.40/32.41	c  30.1s| 90000 | 35689 |     0 |   0.0 |  43M| 166 |   - | 305 |  23k|   0 |   0 |   0 | 122k|   0 | 0.000000e+00 |      --      |    Inf 
41.90/41.96	c  39.3s|100000 | 34879 |     0 |   0.0 |  46M| 166 |   - | 305 |  30k|   0 |   0 |   0 | 141k|   0 | 0.000000e+00 |      --      |    Inf 
50.50/50.59	c  47.7s|110000 | 36769 |     0 |   0.0 |  43M| 166 |   - | 305 |  14k|   0 |   0 |   0 | 156k|   0 | 0.000000e+00 |      --      |    Inf 
53.60/53.63	c  50.5s|120000 | 43231 |     0 |   0.0 |  46M| 166 |   - | 305 |  11k|   0 |   0 |   0 | 164k|   0 | 0.000000e+00 |      --      |    Inf 
56.99/57.08	c  53.6s|130000 | 48592 |     0 |   0.0 |  50M| 166 |   - | 305 |  12k|   0 |   0 |   0 | 175k|   0 | 0.000000e+00 |      --      |    Inf 
60.99/61.06	c  57.4s|140000 | 53384 |     0 |   0.0 |  53M| 166 |   - | 305 |  10k|   0 |   0 |   0 | 188k|   0 | 0.000000e+00 |      --      |    Inf 
61.40/61.50	o 613
61.40/61.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
61.40/61.50	c *57.7s|146990 | 60352 |     0 |   0.0 |  53M| 166 |   - | 305 |1039 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 | 6.130000e+02 |    Inf 
61.40/61.50	o 530
61.40/61.50	c *57.7s|146991 | 60351 |     0 |   0.0 |  53M| 166 |   - | 305 |1039 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 | 5.300000e+02 |    Inf 
61.50/61.51	o 483
61.50/61.51	c *57.7s|147079 | 60433 |     0 |   0.0 |  53M| 166 |   - | 305 |1033 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 | 4.830000e+02 |    Inf 
61.50/61.57	o 154
61.50/61.57	c *57.7s|148068 | 60149 |     0 |   0.0 |  52M| 166 |   - | 305 | 941 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 | 1.540000e+02 |    Inf 
61.60/61.69	c  57.8s|150000 | 62003 |     0 |   0.0 |  53M| 166 |   - | 305 | 861 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 | 1.540000e+02 |    Inf 
62.20/62.21	o 139
62.20/62.21	c *58.2s|156060 | 67064 |     0 |   0.0 |  56M| 166 |   - | 305 |1417 |   0 |   0 |   0 | 189k|   0 | 0.000000e+00 | 1.390000e+02 |    Inf 
62.30/62.37	o 131
62.30/62.37	c *58.4s|157714 | 68265 |     0 |   0.0 |  56M| 166 |   - | 305 |1624 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 | 1.310000e+02 |    Inf 
62.49/62.59	c  58.5s|160000 | 70232 |     0 |   0.0 |  57M| 166 |   - | 305 |1911 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 | 1.310000e+02 |    Inf 
62.60/62.65	o 126
62.60/62.65	c *58.6s|160606 | 70541 |     0 |   0.0 |  57M| 166 |   - | 305 |1956 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 | 1.260000e+02 |    Inf 
62.60/62.65	o 125
62.60/62.65	c *58.6s|160608 | 70525 |     0 |   0.0 |  57M| 166 |   - | 305 |1956 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 | 1.250000e+02 |    Inf 
63.19/63.28	o 121
63.19/63.28	c *59.1s|166910 | 75798 |     0 |   0.0 |  60M| 166 |   - | 305 |2514 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 | 1.210000e+02 |    Inf 
63.59/63.61	c  59.3s|170000 | 78399 |     0 |   0.0 |  61M| 166 |   - | 305 |2818 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 | 1.210000e+02 |    Inf 
64.29/64.31	o 110
64.29/64.31	c *59.9s|176192 | 82586 |     0 |   0.0 |  64M| 166 |   - | 305 |3639 |   0 |   0 |   0 | 194k|   0 | 0.000000e+00 | 1.100000e+02 |    Inf 
64.69/64.72	o 101
64.69/64.72	c *60.2s|179101 | 84382 |     0 |   0.0 |  65M| 166 |   - | 305 |4247 |   0 |   0 |   0 | 195k|   0 | 0.000000e+00 | 1.010000e+02 |    Inf 
64.69/64.75	o 93
64.69/64.75	c *60.2s|179272 | 81525 |     0 |   0.0 |  63M| 166 |   - | 305 |4280 |   0 |   0 |   0 | 195k|   0 | 0.000000e+00 | 9.300000e+01 |    Inf 
64.80/64.85	o 88
64.80/64.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
64.80/64.85	c *60.3s|179791 | 81432 |     0 |   0.0 |  63M| 166 |   - | 305 |4351 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 | 8.800000e+01 |    Inf 
64.80/64.89	o 73
64.80/64.89	c *60.4s|179921 | 78183 |     0 |   0.0 |  62M| 166 |   - | 305 |4307 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
64.90/64.90	c  60.4s|180000 | 78226 |     0 |   0.0 |  62M| 166 |   - | 305 |4329 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
69.99/70.06	c  65.2s|190000 | 77787 |     0 |   0.0 |  67M| 166 |   - | 305 |  14k|   0 |   0 |   0 | 216k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
82.09/82.16	c  77.1s|200000 | 74211 |     0 |   0.0 |  69M| 166 |   - | 305 |  26k|   0 |   0 |   0 | 241k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
98.91/98.92	c  93.5s|210000 | 68418 |     0 |   0.0 |  63M| 166 |   - | 305 |  32k|   0 |   0 |   0 | 264k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
106.60/106.65	c   101s|220000 | 72202 |     0 |   0.0 |  61M| 166 |   - | 305 |  16k|   0 |   0 |   0 | 279k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
113.60/113.60	c   108s|230000 | 75063 |     0 |   0.0 |  65M| 166 |   - | 305 |  19k|   0 |   0 |   0 | 295k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
121.60/121.69	c   115s|240000 | 77311 |     0 |   0.0 |  70M| 166 |   - | 305 |  22k|   0 |   0 |   0 | 312k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
130.69/130.79	c   124s|250000 | 79366 |     0 |   0.0 |  74M| 166 |   - | 305 |  26k|   0 |   0 |   0 | 328k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
140.29/140.34	c   133s|260000 | 81591 |     0 |   0.0 |  77M| 166 |   - | 305 |  28k|   0 |   0 |   0 | 343k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
150.71/150.78	c   143s|270000 | 83132 |     0 |   0.0 |  81M| 166 |   - | 305 |  31k|   0 |   0 |   0 | 360k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
157.90/157.93	c   150s|280000 | 87810 |     0 |   0.0 |  76M| 166 |   - | 305 |5198 |   0 |   0 |   0 | 371k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
159.30/159.35	c   152s|290000 | 95623 |     0 |   0.0 |  79M| 166 |   - | 305 |1967 |   0 |   0 |   0 | 375k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
160.80/160.88	c   153s|300000 |102919 |     0 |   0.0 |  84M| 166 |   - | 305 |2634 |   0 |   0 |   0 | 379k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
162.40/162.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
162.40/162.45	c   154s|310000 |110217 |     0 |   0.0 |  89M| 166 |   - | 305 |3228 |   0 |   0 |   0 | 383k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
164.10/164.12	c   155s|320000 |117251 |     0 |   0.0 |  93M| 166 |   - | 305 |3750 |   0 |   0 |   0 | 388k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
165.80/165.81	c   157s|330000 |124265 |     0 |   0.0 |  97M| 166 |   - | 305 |3930 |   0 |   0 |   0 | 392k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
167.40/167.45	c   158s|340000 |131422 |     0 |   0.0 | 102M| 166 |   - | 305 |4183 |   0 |   0 |   0 | 397k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
169.30/169.32	c   160s|350000 |138075 |     0 |   0.0 | 106M| 166 |   - | 305 |4687 |   0 |   0 |   0 | 402k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
171.29/171.33	c   162s|360000 |144458 |     0 |   0.0 | 111M| 166 |   - | 305 |4708 |   0 |   0 |   0 | 408k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
173.50/173.51	c   164s|370000 |150528 |     0 |   0.0 | 115M| 166 |   - | 305 |4681 |   0 |   0 |   0 | 414k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
175.70/175.75	c   166s|380000 |156437 |     0 |   0.0 | 120M| 166 |   - | 305 |4941 |   0 |   0 |   0 | 421k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
178.10/178.14	c   168s|390000 |161990 |     0 |   0.0 | 125M| 166 |   - | 305 |5292 |   0 |   0 |   0 | 427k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
180.60/180.67	c   170s|400000 |167246 |     0 |   0.0 | 129M| 166 |   - | 305 |5390 |   0 |   0 |   0 | 434k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
183.10/183.19	c   172s|410000 |172497 |     0 |   0.0 | 134M| 166 |   - | 305 |5752 |   0 |   0 |   0 | 441k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
186.20/186.21	c   175s|420000 |176846 |     0 |   0.0 | 138M| 166 |   - | 305 |6427 |   0 |   0 |   0 | 449k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
190.00/190.09	c   178s|430000 |179657 |     0 |   0.0 | 142M| 166 |   - | 305 |7735 |   0 |   0 |   0 | 459k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
194.41/194.45	c   182s|440000 |181405 |     0 |   0.0 | 144M| 166 |   - | 305 |3843 |   0 |   0 |   0 | 469k|   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
199.11/199.13	c   187s|450000 |180758 |     0 |   0.0 | 142M| 166 |   - | 305 |8201 |   0 |   0 |   0 | 488k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
205.70/205.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
205.70/205.71	c   193s|460000 |180729 |     0 |   0.0 | 146M| 166 |   - | 305 |  13k|   0 |   0 |   0 | 507k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
214.90/214.95	c   202s|470000 |179790 |     0 |   0.0 | 149M| 166 |   - | 305 |  19k|   0 |   0 |   0 | 526k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
226.00/226.09	c   213s|480000 |178682 |     0 |   0.0 | 151M| 166 |   - | 305 |  24k|   0 |   0 |   0 | 545k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
238.40/238.46	c   225s|490000 |177375 |     0 |   0.0 | 153M| 166 |   - | 305 |  28k|   0 |   0 |   0 | 564k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
252.91/252.96	c   239s|500000 |175272 |     0 |   0.0 | 154M| 166 |   - | 305 |  34k|   0 |   0 |   0 | 586k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
260.71/260.75	c   246s|510000 |179333 |     0 |   0.0 | 150M| 166 |   - | 305 |  10k|   0 |   0 |   0 | 596k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
263.30/263.39	c   249s|520000 |185903 |     0 |   0.0 | 154M| 166 |   - | 305 |6590 |   0 |   0 |   0 | 601k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
265.81/265.87	c   251s|530000 |192238 |     0 |   0.0 | 158M| 166 |   - | 305 |6632 |   0 |   0 |   0 | 607k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
268.31/268.32	c   253s|540000 |198607 |     0 |   0.0 | 163M| 166 |   - | 305 |6846 |   0 |   0 |   0 | 613k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
271.10/271.12	c   255s|550000 |204366 |     0 |   0.0 | 168M| 166 |   - | 305 |7868 |   0 |   0 |   0 | 620k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
273.91/273.99	c   258s|560000 |210329 |     0 |   0.0 | 172M| 166 |   - | 305 |8330 |   0 |   0 |   0 | 626k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
277.11/277.14	c   261s|570000 |215906 |     0 |   0.0 | 177M| 166 |   - | 305 |8636 |   0 |   0 |   0 | 633k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
280.51/280.58	c   264s|580000 |221124 |     0 |   0.0 | 182M| 166 |   - | 305 |9239 |   0 |   0 |   0 | 640k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
284.11/284.17	c   267s|590000 |226188 |     0 |   0.0 | 186M| 166 |   - | 305 |9839 |   0 |   0 |   0 | 647k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
287.90/287.97	c   271s|600000 |231031 |     0 |   0.0 | 191M| 166 |   - | 305 |  10k|   0 |   0 |   0 | 655k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
291.91/291.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
291.91/291.98	c   275s|610000 |235707 |     0 |   0.0 | 196M| 166 |   - | 305 |  11k|   0 |   0 |   0 | 663k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
296.00/296.08	c   279s|620000 |240392 |     0 |   0.0 | 201M| 166 |   - | 305 |  12k|   0 |   0 |   0 | 670k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
300.50/300.55	c   283s|630000 |244773 |     0 |   0.0 | 205M| 166 |   - | 305 |  12k|   0 |   0 |   0 | 679k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
305.01/305.06	c   287s|640000 |249220 |     0 |   0.0 | 209M| 166 |   - | 305 |  12k|   0 |   0 |   0 | 687k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
309.70/309.77	c   291s|650000 |253355 |     0 |   0.0 | 214M| 166 |   - | 305 |  13k|   0 |   0 |   0 | 695k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
314.31/314.33	c   296s|660000 |257721 |     0 |   0.0 | 218M| 166 |   - | 305 |  13k|   0 |   0 |   0 | 703k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
319.10/319.18	c   300s|670000 |261760 |     0 |   0.0 | 223M| 166 |   - | 305 |  13k|   0 |   0 |   0 | 711k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
324.00/324.03	c   305s|680000 |265865 |     0 |   0.0 | 227M| 166 |   - | 305 |  14k|   0 |   0 |   0 | 720k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
328.91/328.92	c   309s|690000 |269978 |     0 |   0.0 | 232M| 166 |   - | 305 |  14k|   0 |   0 |   0 | 728k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
334.11/334.16	c   314s|700000 |273711 |     0 |   0.0 | 236M| 166 |   - | 305 |  14k|   0 |   0 |   0 | 737k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
339.20/339.28	c   319s|710000 |277536 |     0 |   0.0 | 241M| 166 |   - | 305 |  14k|   0 |   0 |   0 | 746k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
344.31/344.35	c   324s|720000 |281357 |     0 |   0.0 | 245M| 166 |   - | 305 |  15k|   0 |   0 |   0 | 755k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
349.90/349.94	c   329s|730000 |284768 |     0 |   0.0 | 250M| 166 |   - | 305 |  15k|   0 |   0 |   0 | 764k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
355.51/355.59	c   334s|740000 |287988 |     0 |   0.0 | 254M| 166 |   - | 305 |  15k|   0 |   0 |   0 | 773k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
361.21/361.20	c   340s|750000 |291278 |     0 |   0.0 | 259M| 166 |   - | 305 |  16k|   0 |   0 |   0 | 783k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
366.90/366.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
366.90/366.99	c   345s|760000 |294316 |     0 |   0.0 | 263M| 166 |   - | 305 |  17k|   0 |   0 |   0 | 793k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
373.01/373.08	c   351s|770000 |297232 |     0 |   0.0 | 268M| 166 |   - | 305 |  17k|   0 |   0 |   0 | 803k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
379.51/379.58	c   357s|780000 |299755 |     0 |   0.0 | 272M| 166 |   - | 305 |  17k|   0 |   0 |   0 | 813k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
386.11/386.11	c   363s|790000 |302299 |     0 |   0.0 | 277M| 166 |   - | 305 |  18k|   0 |   0 |   0 | 824k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
392.72/392.73	c   369s|800000 |304941 |     0 |   0.0 | 281M| 166 |   - | 305 |  19k|   0 |   0 |   0 | 834k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
399.71/399.71	c   376s|810000 |307308 |     0 |   0.0 | 285M| 166 |   - | 305 |  20k|   0 |   0 |   0 | 844k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
406.81/406.89	c   383s|820000 |309489 |     0 |   0.0 | 289M| 166 |   - | 305 |  20k|   0 |   0 |   0 | 855k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
414.01/414.04	c   389s|830000 |311711 |     0 |   0.0 | 294M| 166 |   - | 305 |  21k|   0 |   0 |   0 | 865k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
421.22/421.23	c   396s|840000 |314074 |     0 |   0.0 | 298M| 166 |   - | 305 |  22k|   0 |   0 |   0 | 875k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
428.81/428.84	c   403s|850000 |316082 |     0 |   0.0 | 302M| 166 |   - | 305 |  23k|   0 |   0 |   0 | 886k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
436.42/436.45	c   411s|860000 |317855 |     0 |   0.0 | 306M| 166 |   - | 305 |  25k|   0 |   0 |   0 | 897k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
445.11/445.15	c   419s|870000 |319373 |     0 |   0.0 | 307M| 166 |   - | 305 |  18k|   0 |   0 |   0 | 908k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
448.72/448.77	c   422s|880000 |325580 |     0 |   0.0 | 308M| 166 |   - | 305 |8455 |   0 |   0 |   0 | 914k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
454.32/454.39	c   427s|890000 |325197 |     0 |   0.0 | 308M| 166 |   - | 305 |  13k|   0 |   0 |   0 | 930k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
461.71/461.70	c   434s|900000 |326406 |     0 |   0.0 | 307M| 166 |   - | 305 |  11k|   0 |   0 |   0 | 944k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
466.92/466.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
466.92/466.92	c   439s|910000 |330686 |     0 |   0.0 | 311M| 166 |   - | 305 |  11k|   0 |   0 |   0 | 953k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
471.62/471.63	c   444s|920000 |335338 |     0 |   0.0 | 315M| 166 |   - | 305 |  11k|   0 |   0 |   0 | 961k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
476.41/476.42	c   448s|930000 |339834 |     0 |   0.0 | 319M| 166 |   - | 305 |  11k|   0 |   0 |   0 | 970k|   0 | 1.000000e+00 | 7.300000e+01 |7200.00%
481.41/481.46	c   453s|940000 |344307 |     0 |   0.0 | 324M| 166 |   - | 305 |  12k|   0 |   0 |   0 | 978k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
486.11/486.17	c   457s|950000 |349067 |     0 |   0.0 | 328M| 166 |   - | 305 |  12k|   0 |   0 |   0 | 986k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
491.31/491.36	c   462s|960000 |353369 |     0 |   0.0 | 333M| 166 |   - | 305 |  13k|   0 |   0 |   0 | 994k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
496.62/496.66	c   467s|970000 |357603 |     0 |   0.0 | 338M| 166 |   - | 305 |  13k|   0 |   0 |   0 |1003k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
501.82/501.85	c   472s|980000 |361918 |     0 |   0.0 | 342M| 166 |   - | 305 |  14k|   0 |   0 |   0 |1011k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
507.62/507.66	c   478s|990000 |365840 |     0 |   0.0 | 347M| 166 |   - | 305 |  14k|   0 |   0 |   0 |1020k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
514.22/514.20	c   484s|  1000k|369034 |     0 |   0.0 | 351M| 166 |   - | 305 |  14k|   0 |   0 |   0 |1030k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
520.32/520.38	c   490s|  1010k|372393 |     0 |   0.0 | 356M| 166 |   - | 305 |  16k|   0 |   0 |   0 |1040k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
527.02/527.09	c   497s|  1020k|375798 |     0 |   0.0 | 360M| 166 |   - | 305 |  16k|   0 |   0 |   0 |1049k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
534.42/534.49	c   504s|  1030k|378600 |     0 |   0.0 | 364M| 166 |   - | 305 |  17k|   0 |   0 |   0 |1060k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
540.92/540.98	c   510s|  1040k|382156 |     0 |   0.0 | 369M| 166 |   - | 305 |  19k|   0 |   0 |   0 |1069k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
548.93/548.94	c   518s|  1050k|384955 |     0 |   0.0 | 373M| 166 |   - | 305 |  18k|   0 |   0 |   0 |1079k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
556.52/556.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
556.52/556.52	c   525s|  1060k|387737 |     0 |   0.0 | 378M| 166 |   - | 305 |  22k|   0 |   0 |   0 |1089k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
564.92/564.98	c   533s|  1070k|390432 |     0 |   0.0 | 381M| 166 |   - | 305 |  21k|   0 |   0 |   0 |1099k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
573.32/573.34	c   541s|  1080k|393284 |     0 |   0.0 | 386M| 166 |   - | 305 |  22k|   0 |   0 |   0 |1109k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
581.72/581.73	c   549s|  1090k|396199 |     0 |   0.0 | 390M| 166 |   - | 305 |  23k|   0 |   0 |   0 |1120k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
590.82/590.89	c   558s|  1100k|398897 |     0 |   0.0 | 395M| 166 |   - | 305 |  24k|   0 |   0 |   0 |1130k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
600.12/600.17	c   567s|  1110k|401364 |     0 |   0.0 | 399M| 166 |   - | 305 |  24k|   0 |   0 |   0 |1140k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
610.12/610.14	c   577s|  1120k|403643 |     0 |   0.0 | 403M| 166 |   - | 305 |  25k|   0 |   0 |   0 |1151k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
619.92/619.93	c   587s|  1130k|406032 |     0 |   0.0 | 407M| 166 |   - | 305 |  26k|   0 |   0 |   0 |1162k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
630.22/630.26	c   597s|  1140k|408318 |     0 |   0.0 | 411M| 166 |   - | 305 |  27k|   0 |   0 |   0 |1172k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
640.62/640.69	c   607s|  1150k|410579 |     0 |   0.0 | 415M| 166 |   - | 305 |  27k|   0 |   0 |   0 |1183k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
652.52/652.59	c   618s|  1160k|412115 |     0 |   0.0 | 418M| 166 |   - | 305 |  28k|   0 |   0 |   0 |1194k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
662.92/662.95	c   629s|  1170k|414384 |     0 |   0.0 | 423M| 166 |   - | 305 |  29k|   0 |   0 |   0 |1205k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
675.43/675.49	c   641s|  1180k|415712 |     0 |   0.0 | 426M| 166 |   - | 305 |  30k|   0 |   0 |   0 |1216k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
686.83/686.81	c   652s|  1190k|417727 |     0 |   0.0 | 431M| 166 |   - | 305 |  32k|   0 |   0 |   0 |1227k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
700.63/700.69	c   665s|  1200k|418671 |     0 |   0.0 | 434M| 166 |   - | 305 |  32k|   0 |   0 |   0 |1239k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
714.93/714.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
714.93/714.96	c   679s|  1210k|419445 |     0 |   0.0 | 437M| 166 |   - | 305 |  33k|   0 |   0 |   0 |1251k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
727.83/727.85	c   692s|  1220k|420961 |     0 |   0.0 | 442M| 166 |   - | 305 |  35k|   0 |   0 |   0 |1263k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
742.83/742.88	c   707s|  1230k|421420 |     0 |   0.0 | 445M| 166 |   - | 305 |  34k|   0 |   0 |   0 |1275k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
757.93/757.92	c   722s|  1240k|421960 |     0 |   0.0 | 448M| 166 |   - | 305 |  35k|   0 |   0 |   0 |1287k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
773.03/773.00	c   736s|  1250k|422591 |     0 |   0.0 | 452M| 166 |   - | 305 |  36k|   0 |   0 |   0 |1299k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
787.54/787.53	c   751s|  1260k|423589 |     0 |   0.0 | 456M| 166 |   - | 305 |  38k|   0 |   0 |   0 |1311k|   0 | 2.000000e+00 | 7.300000e+01 |3550.00%
789.13/789.11	o 45
789.13/789.11	c * 752s|  1260k|372044 |     0 |   0.0 | 386M| 166 |   - | 305 |  38k|   0 |   0 |   0 |1312k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
808.93/808.94	c   772s|  1270k|369481 |     0 |   0.0 | 391M| 166 |   - | 305 |  32k|   0 |   0 |   0 |1328k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
827.43/827.43	c   790s|  1280k|367394 |     0 |   0.0 | 395M| 166 |   - | 305 |  34k|   0 |   0 |   0 |1343k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
847.14/847.18	c   809s|  1290k|364622 |     0 |   0.0 | 398M| 166 |   - | 305 |  36k|   0 |   0 |   0 |1360k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
867.53/867.56	c   829s|  1300k|361872 |     0 |   0.0 | 400M| 166 |   - | 305 |  37k|   0 |   0 |   0 |1376k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
888.54/888.58	c   850s|  1310k|358987 |     0 |   0.0 | 403M| 166 |   - | 305 |  41k|   0 |   0 |   0 |1393k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
912.04/912.09	c   873s|  1320k|354850 |     0 |   0.0 | 405M| 166 |   - | 305 |  45k|   0 |   0 |   0 |1411k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
938.44/938.40	c   899s|  1330k|350499 |     0 |   0.0 | 400M| 166 |   - | 305 |  29k|   0 |   0 |   0 |1429k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
948.03/948.10	c   908s|  1340k|354324 |     0 |   0.0 | 401M| 166 |   - | 305 |  25k|   0 |   0 |   0 |1439k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
954.64/954.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
954.64/954.62	c   914s|  1350k|359764 |     0 |   0.0 | 403M| 166 |   - | 305 |  20k|   0 |   0 |   0 |1447k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
959.63/959.62	c   919s|  1360k|365618 |     0 |   0.0 | 406M| 166 |   - | 305 |  17k|   0 |   0 |   0 |1454k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
966.34/966.39	c   926s|  1370k|369239 |     0 |   0.0 | 411M| 166 |   - | 305 |  18k|   0 |   0 |   0 |1466k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
975.74/975.75	c   935s|  1380k|370505 |     0 |   0.0 | 415M| 166 |   - | 305 |  20k|   0 |   0 |   0 |1481k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
979.94/979.92	c   939s|  1390k|375789 |     0 |   0.0 | 415M| 166 |   - | 305 |  10k|   0 |   0 |   0 |1490k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
991.04/991.10	c   950s|  1400k|371737 |     0 |   0.0 | 418M| 166 |   - | 305 |  13k|   0 |   0 |   0 |1509k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1009.74/1009.74	c   968s|  1410k|365813 |     0 |   0.0 | 422M| 166 |   - | 305 |  18k|   0 |   0 |   0 |1530k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1033.14/1033.10	c   991s|  1420k|358967 |     0 |   0.0 | 424M| 166 |   - | 305 |  21k|   0 |   0 |   0 |1553k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1059.04/1059.09	c  1016s|  1430k|351461 |     0 |   0.0 | 425M| 166 |   - | 305 |  23k|   0 |   0 |   0 |1576k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1087.25/1087.25	c  1044s|  1440k|343567 |     0 |   0.0 | 425M| 166 |   - | 305 |  27k|   0 |   0 |   0 |1601k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1119.94/1119.97	c  1076s|  1450k|334806 |     0 |   0.0 | 424M| 166 |   - | 305 |  31k|   0 |   0 |   0 |1626k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1155.14/1155.19	c  1111s|  1460k|326078 |     0 |   0.0 | 423M| 166 |   - | 305 |  35k|   0 |   0 |   0 |1651k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1193.95/1193.97	c  1149s|  1470k|317075 |     0 |   0.0 | 422M| 166 |   - | 305 |  39k|   0 |   0 |   0 |1675k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1237.95/1237.91	c  1193s|  1480k|307543 |     0 |   0.0 | 419M| 166 |   - | 305 |  43k|   0 |   0 |   0 |1700k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1283.15/1283.19	c  1237s|  1490k|298449 |     0 |   0.0 | 416M| 166 |   - | 305 |  48k|   0 |   0 |   0 |1724k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1332.76/1332.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1332.76/1332.71	c  1286s|  1500k|288528 |     0 |   0.0 | 412M| 166 |   - | 305 |  52k|   0 |   0 |   0 |1748k|   0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1349.06/1349.05	o 39
1349.06/1349.05	c *1302s|  1503k|216490 |     0 |   0.0 | 303M| 166 |   - | 305 |  53k|   0 |   0 |   0 |1756k|   0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1383.86/1383.84	c  1337s|  1510k|206398 |     0 |   0.0 | 293M| 166 |   - | 305 |  44k|   0 |   0 |   0 |1777k|   0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1424.66/1424.60	c  1377s|  1520k|193836 |     0 |   0.0 | 283M| 166 |   - | 305 |  54k|   0 |   0 |   0 |1803k|   0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1469.76/1469.72	c  1421s|  1530k|183265 |     0 |   0.0 | 268M| 166 |   - | 305 |  43k|   0 |   0 |   0 |1827k|   0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1490.36/1490.33	c  1442s|  1540k|183104 |     0 |   0.0 | 262M| 166 |   - | 305 |  33k|   0 |   0 |   0 |1843k|   0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1499.56/1499.59	o 38
1499.56/1499.59	c *1451s|  1547k|185935 |     0 |   0.0 | 262M| 166 |   - | 305 |  31k|   0 |   0 |   0 |1852k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1501.96/1501.92	c  1453s|  1550k|186634 |     0 |   0.0 | 262M| 166 |   - | 305 |  31k|   0 |   0 |   0 |1854k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1512.47/1512.42	c  1463s|  1560k|190430 |     0 |   0.0 | 263M| 166 |   - | 305 |  28k|   0 |   0 |   0 |1866k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1522.26/1522.26	c  1473s|  1570k|194334 |     0 |   0.0 | 266M| 166 |   - | 305 |  28k|   0 |   0 |   0 |1877k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1532.76/1532.78	c  1483s|  1580k|197787 |     0 |   0.0 | 270M| 166 |   - | 305 |  28k|   0 |   0 |   0 |1889k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1544.06/1544.00	c  1494s|  1590k|200754 |     0 |   0.0 | 273M| 166 |   - | 305 |  29k|   0 |   0 |   0 |1902k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1556.07/1556.01	c  1505s|  1600k|203308 |     0 |   0.0 | 276M| 166 |   - | 305 |  30k|   0 |   0 |   0 |1914k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1570.36/1570.31	c  1519s|  1610k|204328 |     0 |   0.0 | 279M| 166 |   - | 305 |  32k|   0 |   0 |   0 |1930k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1588.77/1588.79	c  1537s|  1620k|202974 |     0 |   0.0 | 281M| 166 |   - | 305 |  35k|   0 |   0 |   0 |1947k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1605.27/1605.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1605.27/1605.22	c  1553s|  1630k|203647 |     0 |   0.0 | 276M| 166 |   - | 305 |  17k|   0 |   0 |   0 |1962k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1609.67/1609.61	c  1557s|  1640k|209514 |     0 |   0.0 | 278M| 166 |   - | 305 |  12k|   0 |   0 |   0 |1970k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1615.57/1615.53	c  1563s|  1650k|213125 |     0 |   0.0 | 283M| 166 |   - | 305 |  15k|   0 |   0 |   0 |1984k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1625.66/1625.60	c  1573s|  1660k|212378 |     0 |   0.0 | 284M| 166 |   - | 305 |  15k|   0 |   0 |   0 |2001k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1629.97/1629.91	c  1577s|  1670k|216817 |     0 |   0.0 | 284M| 166 |   - | 305 |5236 |   0 |   0 |   0 |2012k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1642.67/1642.64	c  1589s|  1680k|206726 |     0 |   0.0 | 276M| 166 |   - | 305 |  19k|   0 |   0 |   0 |2041k|   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1650.57/1650.53	o 12
1650.57/1650.53	c *1597s|  1682k|115935 |     0 |   0.0 | 155M| 166 |   - | 305 |  24k|   0 |   0 |   0 |2049k|   0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1673.97/1673.93	c  1620s|  1690k|101454 |     0 |   0.0 | 124M| 166 |   - | 305 |  22k|   0 |   0 |   0 |2071k|   0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1693.87/1693.81	c  1639s|  1700k| 96854 |     0 |   0.0 | 124M| 166 |   - | 305 |  26k|   0 |   0 |   0 |2094k|   0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1718.28/1718.20	c  1663s|  1710k| 91716 |     0 |   0.0 | 126M| 166 |   - | 305 |  33k|   0 |   0 |   0 |2118k|   0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1749.08/1749.01	c  1694s|  1720k| 84890 |     0 |   0.0 | 125M| 166 |   - | 305 |  40k|   0 |   0 |   0 |2142k|   0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1788.98/1788.90	c  1733s|  1730k| 74855 |     0 |   0.0 | 119M| 166 |   - | 305 |  50k|   0 |   0 |   0 |2169k|   0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1800.08/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.01	c 
1800.08/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.01	c Solving Time (sec) : 1744.03
1800.08/1800.01	c Solving Nodes      : 1733706
1800.08/1800.01	c Primal Bound       : +1.20000000000000e+01 (18 solutions)
1800.08/1800.01	c Dual Bound         : +4.00000000000000e+00
1800.08/1800.01	c Gap                : 200.00 %
1800.08/1800.01	s SATISFIABLE
1800.08/1800.01	v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 
1800.08/1800.01	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
1800.08/1800.01	v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 
1800.08/1800.01	v -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 
1800.08/1800.01	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 
1800.08/1800.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 
1800.08/1800.01	v -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
1800.08/1800.01	v -x4 -x3 x2 -x1 
1800.08/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.01	c Solving Time       :    1744.03
1800.08/1800.01	c Original Problem   :
1800.08/1800.01	c   Problem name     : HOME/instance-2693882-1277896365.wbo
1800.08/1800.01	c   Variables        : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.08/1800.01	c   Constraints      : 171 initial, 171 maximal
1800.08/1800.01	c Presolved Problem  :
1800.08/1800.01	c   Problem name     : t_HOME/instance-2693882-1277896365.wbo
1800.08/1800.01	c   Variables        : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.08/1800.01	c   Constraints      : 166 initial, 62457 maximal
1800.08/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
1800.08/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.01	c   indicator        :       0.00          0          0          0          0          0          1          0          0
1800.08/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   linear           :       0.00          0          0          0         68          0          4          1          0
1800.08/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.01	c   root node        :          -         14          -          -         28          -          -          -          -
1800.08/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.01	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.01	c   indicator        :         68          0    5011944          0    1138832      16169    2848031          0          0          0
1800.08/1800.01	c   setppc           :         20          0    5399584          0    1215204      29358    4240771          0          0          0
1800.08/1800.01	c   linear           :         68          0    5370270          0    1215215     532392   25605887          0          0          0
1800.08/1800.01	c   logicor          :         10+         0    2490969          0    1215180     150625    1644608          0          0          0
1800.08/1800.01	c   bounddisjunction :          0+         0     200768          0          0          0       8810          0          0          0
1800.08/1800.01	c   countsols        :          0          0          0          0    1215231          0          0          0          0          0
1800.08/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.01	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.01	c   indicator        :       4.37       0.00       3.01       0.00       1.36
1800.08/1800.01	c   setppc           :      11.49       0.00       8.88       0.00       2.61
1800.08/1800.01	c   linear           :     121.35       0.00     121.28       0.00       0.07
1800.08/1800.01	c   logicor          :     816.12       0.00     815.39       0.00       0.73
1800.08/1800.01	c   bounddisjunction :       1.37       0.00       1.37       0.00       0.00
1800.08/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.01	c   vbounds          :       0.02          2          0          0
1800.08/1800.01	c   rootredcost      :       0.00          0          0          0
1800.08/1800.01	c   pseudoobj        :      14.04    5424209       8586    2593915
1800.08/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.01	c   propagation      :      41.75     720960     720538    3953727       23.8     190529       14.0          -
1800.08/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.01	c   pseudo solution  :       0.00        141        141        445       13.3         29       14.3          -
1800.08/1800.01	c   applied globally :          -          -          -    2133105       17.7          -          -          -
1800.08/1800.01	c   applied locally  :          -          -          -      42282       36.5          -          -          -
1800.08/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.01	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.01	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.01	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.01	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.01	c Pricers            :       Time      Calls       Vars
1800.08/1800.01	c   problem variables:       0.00          0          0
1800.08/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.01	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   inference        :       9.43    1215213          0          0          0          0    2430426
1800.08/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.01	c   LP solutions     :       0.00          -          0
1800.08/1800.01	c   pseudo solutions :       0.55          -         18
1800.08/1800.01	c   oneopt           :       0.15          0          0
1800.08/1800.01	c   trivial          :       0.00          2          0
1800.08/1800.01	c   simplerounding   :       0.00          0          0
1800.08/1800.01	c   zirounding       :       0.00          0          0
1800.08/1800.01	c   rounding         :       0.00          0          0
1800.08/1800.01	c   shifting         :       0.00          0          0
1800.08/1800.01	c   intshifting      :       0.00          0          0
1800.08/1800.01	c   twoopt           :       0.00          0          0
1800.08/1800.01	c   fixandinfer      :       0.00          0          0
1800.08/1800.01	c   feaspump         :       0.00          0          0
1800.08/1800.01	c   coefdiving       :       0.00          0          0
1800.08/1800.01	c   pscostdiving     :       0.00          0          0
1800.08/1800.01	c   fracdiving       :       0.00          0          0
1800.08/1800.01	c   veclendiving     :       0.00          0          0
1800.08/1800.01	c   intdiving        :       0.00          0          0
1800.08/1800.01	c   actconsdiving    :       0.00          0          0
1800.08/1800.01	c   objpscostdiving  :       0.00          0          0
1800.08/1800.01	c   rootsoldiving    :       0.00          0          0
1800.08/1800.01	c   linesearchdiving :       0.00          0          0
1800.08/1800.01	c   guideddiving     :       0.00          0          0
1800.08/1800.01	c   octane           :       0.00          0          0
1800.08/1800.01	c   rens             :       0.00          0          0
1800.08/1800.01	c   rins             :       0.00          0          0
1800.08/1800.01	c   localbranching   :       0.00          0          0
1800.08/1800.01	c   mutation         :       0.00          0          0
1800.08/1800.01	c   crossover        :       0.00          0          0
1800.08/1800.01	c   dins             :       0.00          0          0
1800.08/1800.01	c   undercover       :       0.00          0          0
1800.08/1800.01	c   nlp              :       0.01          0          0
1800.08/1800.01	c   trysol           :       0.01          1          0
1800.08/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.01	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.01	c B&B Tree           :
1800.08/1800.01	c   number of runs   :          1
1800.08/1800.01	c   nodes            :    1733706
1800.08/1800.01	c   nodes (total)    :    1733706
1800.08/1800.01	c   nodes left       :      74435
1800.08/1800.01	c   max depth        :        166
1800.08/1800.01	c   max depth (total):        166
1800.08/1800.01	c   backtracks       :     588064 (33.9%)
1800.08/1800.01	c   delayed cutoffs  :     406090
1800.08/1800.01	c   repropagations   :    2190459 (9129128 domain reductions, 218796 cutoffs)
1800.08/1800.01	c   avg switch length:      24.83
1800.08/1800.01	c   switching time   :     566.22
1800.08/1800.01	c Solution           :
1800.08/1800.01	c   Solutions found  :         18 (18 improvements)
1800.08/1800.01	c   First Solution   : +6.13000000000000e+02   (in run 1, after 146990 nodes, 57.68 seconds, depth 109, found by <relaxation>)
1800.08/1800.01	c   Primal Bound     : +1.20000000000000e+01   (in run 1, after 1682514 nodes, 1596.36 seconds, depth 72, found by <relaxation>)
1800.08/1800.01	c   Dual Bound       : +4.00000000000000e+00
1800.08/1800.01	c   Gap              :     200.00 %
1800.08/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.01	c   Root Iterations  :          0
1800.27/1800.29	c Time complete: 1800.37.

Verifier Data 

OK	12

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.09 2.04 3/178 13429
/proc/meminfo: memFree=31182992/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=8248 CPUtime=0
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 1539 0 0 0 0 0 0 0 22 0 1 0 130931385 8445952 1461 4089446400 4194304 7136930 140736461717840 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13429/statm: 2062 1461 275 719 0 1341 0

[startup+0.012492 s]
/proc/loadavg: 2.01 2.09 2.04 3/178 13429
/proc/meminfo: memFree=31182992/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=11680 CPUtime=0
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 3631 0 0 0 0 0 0 0 22 0 1 0 130931385 11960320 2172 4089446400 4194304 7136930 140736461717840 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 2920 2181 359 719 0 2199 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11680

[startup+0.100508 s]
/proc/loadavg: 2.01 2.09 2.04 3/178 13429
/proc/meminfo: memFree=31182992/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=12972 CPUtime=0.09
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 4772 0 0 0 7 2 0 0 18 0 1 0 130931385 13283328 2542 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 3243 2542 395 719 0 2522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12972

[startup+0.300466 s]
/proc/loadavg: 2.01 2.09 2.04 3/178 13429
/proc/meminfo: memFree=31182992/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=15112 CPUtime=0.29
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 5300 0 0 0 23 6 0 0 18 0 1 0 130931385 15474688 3070 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 3778 3070 395 719 0 3057 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15112

[startup+0.700379 s]
/proc/loadavg: 2.01 2.09 2.04 3/178 13429
/proc/meminfo: memFree=31182992/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=18144 CPUtime=0.69
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 6059 0 0 0 55 14 0 0 18 0 1 0 130931385 18579456 3829 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 4536 3829 395 719 0 3815 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18144

[startup+1.50022 s]
/proc/loadavg: 2.01 2.09 2.04 3/179 13430
/proc/meminfo: memFree=31167732/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=21596 CPUtime=1.49
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 6950 0 0 0 125 24 0 0 19 0 1 0 130931385 22114304 4720 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 5399 4720 395 719 0 4678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21596

[startup+3.1009 s]
/proc/loadavg: 2.01 2.09 2.04 3/179 13430
/proc/meminfo: memFree=31163516/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=28232 CPUtime=3.09
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 8618 0 0 0 265 44 0 0 25 0 1 0 130931385 28909568 6388 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 7058 6388 395 719 0 6337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28232

[startup+6.30027 s]
/proc/loadavg: 2.01 2.09 2.04 3/179 13430
/proc/meminfo: memFree=31151744/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=36612 CPUtime=6.29
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 10711 0 0 0 560 69 0 0 25 0 1 0 130931385 37490688 8481 4089446400 4194304 7136930 140736461717840 18446744073709551615 5001177 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 9153 8481 395 719 0 8432 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36612

[startup+12.701 s]
/proc/loadavg: 2.01 2.09 2.04 3/179 13431
/proc/meminfo: memFree=31139328/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=45940 CPUtime=12.69
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 13014 0 0 0 1159 110 0 0 25 0 1 0 130931385 47042560 10784 4089446400 4194304 7136930 140736461717840 18446744073709551615 5955601 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 11485 10784 395 719 0 10764 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45940

[startup+25.5004 s]
/proc/loadavg: 2.01 2.08 2.03 3/179 13431
/proc/meminfo: memFree=31120920/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=62664 CPUtime=25.49
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 17148 0 0 0 2349 200 0 0 25 0 1 0 130931385 64167936 14918 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 15666 14918 395 719 0 14945 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62664

[startup+51.1003 s]
/proc/loadavg: 2.00 2.08 2.03 3/179 13458
/proc/meminfo: memFree=31211312/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=75336 CPUtime=51.1
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 20259 0 0 0 4813 297 0 0 25 0 1 0 130931385 77144064 18029 4089446400 4194304 7136930 140736461717840 18446744073709551615 4431646 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 18834 18029 395 719 0 18113 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 75336

[startup+102.306 s]
/proc/loadavg: 2.00 2.06 2.03 3/179 13460
/proc/meminfo: memFree=31177392/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=110352 CPUtime=102.3
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 28621 0 0 0 9676 554 0 0 25 0 1 0 130931385 113000448 26391 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 27588 26391 398 719 0 26867 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 110352

[startup+162.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 13462
/proc/meminfo: memFree=31152784/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=136228 CPUtime=162.3
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 35063 0 0 0 15391 839 0 0 25 0 1 0 130931385 139497472 32833 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 34057 32833 398 719 0 33336 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 136228

[startup+222.301 s]
/proc/loadavg: 2.00 2.04 2.02 3/179 13463
/proc/meminfo: memFree=31088248/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=198736 CPUtime=222.31
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 50872 0 0 0 20885 1346 0 0 25 0 1 0 130931385 203505664 48642 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 49684 48642 398 719 0 48963 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 198736

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 13464
/proc/meminfo: memFree=31035364/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=257000 CPUtime=282.3
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 64389 0 0 0 26568 1662 0 0 25 0 1 0 130931385 263168000 62159 4089446400 4194304 7136930 140736461717840 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 64250 62159 398 719 0 63529 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 257000

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 13493
/proc/meminfo: memFree=30915560/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=319268 CPUtime=342.31
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 79997 0 0 0 32178 2053 0 0 25 0 1 0 130931385 326930432 77767 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 79817 77767 398 719 0 79096 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 319268

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 13495
/proc/meminfo: memFree=30722784/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=359416 CPUtime=402.31
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 90073 0 0 0 37835 2396 0 0 25 0 1 0 130931385 368041984 87843 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 89854 87843 398 719 0 89133 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 359416

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13497
/proc/meminfo: memFree=30531884/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=399388 CPUtime=462.32
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 99961 0 0 0 43497 2735 0 0 25 0 1 0 130931385 408973312 97731 4089446400 4194304 7136930 140736461717840 18446744073709551615 5001220 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 99847 97731 398 719 0 99126 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 399388

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13543
/proc/meminfo: memFree=30629564/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=448952 CPUtime=522.32
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 112408 0 0 0 49205 3027 0 0 25 0 1 0 130931385 459726848 110178 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 112238 110178 398 719 0 111517 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 448952

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13544
/proc/meminfo: memFree=30566504/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=481532 CPUtime=582.32
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 120637 0 0 0 54998 3234 0 0 25 0 1 0 130931385 493088768 118407 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 120383 118407 398 719 0 119662 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 481532

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13546
/proc/meminfo: memFree=30534836/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=507196 CPUtime=642.33
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 127011 0 0 0 60841 3392 0 0 25 0 1 0 130931385 519368704 124781 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 126799 124781 398 719 0 126078 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 507196

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13552
/proc/meminfo: memFree=30456768/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=544796 CPUtime=882.33
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 136428 0 0 0 84362 3871 0 0 25 0 1 0 130931385 557871104 134198 4089446400 4194304 7136930 140736461717840 18446744073709551615 4209137 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 136199 134198 398 719 0 135478 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 544796

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13554
/proc/meminfo: memFree=30439256/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=547164 CPUtime=942.34
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 137032 0 0 0 90255 3979 0 0 25 0 1 0 130931385 560295936 134802 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 136791 134802 398 719 0 136070 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 547164

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13556
/proc/meminfo: memFree=30418260/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=558432 CPUtime=1002.34
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 139849 0 0 0 96057 4177 0 0 25 0 1 0 130931385 571834368 137619 4089446400 4194304 7136930 140736461717840 18446744073709551615 4223102 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 139608 137619 398 719 0 138887 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 558432

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13558
/proc/meminfo: memFree=30403968/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=559460 CPUtime=1062.34
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 140106 0 0 0 101958 4276 0 0 25 0 1 0 130931385 572887040 137876 4089446400 4194304 7136930 140736461717840 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 139865 137876 398 719 0 139144 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 559460

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13559
/proc/meminfo: memFree=30394128/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=561320 CPUtime=1122.34
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 140611 0 0 0 107863 4371 0 0 25 0 1 0 130931385 574791680 138381 4089446400 4194304 7136930 140736461717840 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 140330 138381 398 719 0 139609 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 561320

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13563
/proc/meminfo: memFree=30383100/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=563236 CPUtime=1182.35
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 140923 0 0 0 113775 4460 0 0 25 0 1 0 130931385 576753664 138693 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 140809 138693 398 719 0 140088 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 563236

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13565
/proc/meminfo: memFree=30366568/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=569308 CPUtime=1242.35
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 142369 0 0 0 119693 4542 0 0 25 0 1 0 130931385 582971392 140139 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 142327 140139 398 719 0 141606 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 569308

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13567
/proc/meminfo: memFree=30359924/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=571356 CPUtime=1302.35
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 142885 0 0 0 125615 4620 0 0 25 0 1 0 130931385 585068544 140655 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 142839 140655 398 719 0 142118 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 571356

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13569
/proc/meminfo: memFree=30343024/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=572992 CPUtime=1362.36
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143300 0 0 0 131538 4698 0 0 25 0 1 0 130931385 586743808 141070 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143248 141070 398 719 0 142527 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 572992

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13570
/proc/meminfo: memFree=30329576/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=572992 CPUtime=1422.37
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143300 0 0 0 137455 4782 0 0 25 0 1 0 130931385 586743808 141070 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143248 141070 398 719 0 142527 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 572992

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13571
/proc/meminfo: memFree=30316752/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=573700 CPUtime=1482.37
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143434 0 0 0 143379 4858 0 0 25 0 1 0 130931385 587468800 141204 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143425 141204 398 719 0 142704 0
Current children cumulated CPU time (s) 1482.37
Current children cumulated vsize (KiB) 573700

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13573
/proc/meminfo: memFree=30305660/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=573700 CPUtime=1542.36
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143442 0 0 0 149197 5039 0 0 25 0 1 0 130931385 587468800 141212 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143425 141212 398 719 0 142704 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 573700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13575
/proc/meminfo: memFree=30295708/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=573700 CPUtime=1602.37
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143444 0 0 0 155044 5193 0 0 25 0 1 0 130931385 587468800 141214 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143425 141214 398 719 0 142704 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 573700

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13577
/proc/meminfo: memFree=30291820/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=573700 CPUtime=1662.37
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143445 0 0 0 160821 5416 0 0 25 0 1 0 130931385 587468800 141215 4089446400 4194304 7136930 140736461717840 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143425 141215 398 719 0 142704 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 573700

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13578
/proc/meminfo: memFree=30286208/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=573700 CPUtime=1722.38
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143445 0 0 0 166724 5514 0 0 25 0 1 0 130931385 587468800 141215 4089446400 4194304 7136930 140736461717840 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143425 141215 398 719 0 142704 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 573700

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13579
/proc/meminfo: memFree=30275136/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=574360 CPUtime=1782.38
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143493 0 0 0 172654 5584 0 0 25 0 1 0 130931385 588144640 141263 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143590 141263 398 719 0 142869 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 574360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13580
/proc/meminfo: memFree=30273888/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=575152 CPUtime=1800.08
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143546 0 0 0 174403 5605 0 0 25 0 1 0 130931385 588955648 141316 4089446400 4194304 7136930 140736461717840 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13429/statm: 143788 141316 398 719 0 143067 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 575152

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13580
/proc/meminfo: memFree=30273888/32950928 swapFree=67111528/67111528
[pid=13429] ppid=13427 vsize=575152 CPUtime=1800.27
/proc/13429/stat : 13429 (pbscip.linux.x8) R 13427 13429 11722 0 -1 4202496 143551 0 0 0 174422 5605 0 0 25 0 1 0 130931385 588955648 141321 4089446400 4194304 7136930 140736461717840 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13429/statm: 143788 141321 403 719 0 143067 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 575152

Child status: 0
Real time (s): 1800.29
CPU time (s): 1800.38
CPU user time (s): 1744.3
CPU system time (s): 56.0805
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 575152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.3
system time used= 56.0805
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1976

runsolver used 2.6296 second user time and 5.61015 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 13:12:45
IDJOB=2693882
IDBENCH=78781
IDSOLVER=1206
FILE ID=node149/2693882-1277896365
PBS_JOBID= 11197056
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693882-1277896365/watcher-2693882-1277896365 -o /tmp/evaluation-result-2693882-1277896365/solver-2693882-1277896365 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693882-1277896365.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 27d3bd64d93eb8804d56550cbc3e68e3
RANDOM SEED=1066002973

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31183644 kB
Buffers:        185132 kB
Cached:        1269312 kB
SwapCached:          0 kB
Active:         612348 kB
Inactive:      1008632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31183644 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3172 kB
Writeback:           0 kB
AnonPages:      166076 kB
Mapped:          16264 kB
Slab:            82236 kB
PageTables:       5048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   311572 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node149 at 2010-06-30 13:42:47