Trace number 2693591

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) 1801.44 1801.38

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo
MD5SUMc96bd383c2d62b3ed6ae26490be2a1fe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark145.475
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1863
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 765
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693591-1277912419.wbo>
0.00/0.03	c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.03	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.05	c presolving:
0.02/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.02/0.09	c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.02/0.10	c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10	c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.11	c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.12	c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17	c    (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (7 rounds):
0.09/0.17	c  132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17	c  2001 implications, 5 cliques
0.09/0.17	c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17	c    1797 constraints of type <indicator>
0.09/0.17	c       5 constraints of type <setppc>
0.09/0.17	c    1797 constraints of type <linear>
0.09/0.17	c     819 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.12
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1799.98
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17	c lp/solvefreq = -1
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     2 |     0 |     - |  12M|   0 |   - |3825 |4418 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.88/2.96	c   2.8s| 10000 |  9297 |     0 |   0.0 |  19M|1945 |   - |3825 |5376 |   0 |   0 |   0 |2276 |   0 | 0.000000e+00 |      --      |    Inf 
6.50/6.56	c   6.4s| 20000 | 16835 |     0 |   0.0 |  29M|1945 |   - |3825 |6906 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
11.00/11.06	c  10.8s| 30000 | 23908 |     0 |   0.0 |  37M|1945 |   - |3825 |8709 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
14.09/14.12	c  13.8s| 40000 | 33903 |     0 |   0.0 |  40M|1945 |   - |3825 |7957 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
16.08/16.10	o 721
16.08/16.10	c *15.7s| 46646 | 35464 |     0 |   0.0 |  41M|1945 |   - |3825 |7640 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 7.210000e+02 |    Inf 
16.59/16.64	o 665
16.59/16.64	c *16.2s| 48058 | 35005 |     0 |   0.0 |  41M|1945 |   - |3825 |7425 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 6.650000e+02 |    Inf 
16.59/16.64	o 648
16.59/16.64	c *16.2s| 48059 | 34488 |     0 |   0.0 |  41M|1945 |   - |3825 |7425 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 6.480000e+02 |    Inf 
16.79/16.81	o 468
16.79/16.81	c *16.4s| 48505 | 23064 |     0 |   0.0 |  37M|1945 |   - |3825 |7380 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 4.680000e+02 |    Inf 
16.89/16.99	o 419
16.89/16.99	c *16.6s| 49036 | 21868 |     0 |   0.0 |  36M|1945 |   - |3825 |7284 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 4.190000e+02 |    Inf 
16.99/17.05	o 281
16.99/17.05	c *16.6s| 49176 | 20574 |     0 |   0.0 |  36M|1945 |   - |3825 |7222 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 2.810000e+02 |    Inf 
16.99/17.05	o 255
16.99/17.05	c *16.6s| 49177 | 20478 |     0 |   0.0 |  36M|1945 |   - |3825 |7222 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 2.550000e+02 |    Inf 
17.29/17.39	o 246
17.29/17.39	c *16.9s| 49922 | 20946 |     0 |   0.0 |  36M|1945 |   - |3825 |7013 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 2.460000e+02 |    Inf 
17.39/17.42	c  17.0s| 50000 | 21021 |     0 |   0.0 |  36M|1945 |   - |3825 |6935 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 2.460000e+02 |    Inf 
17.49/17.60	o 245
17.49/17.60	c *17.1s| 50391 | 21391 |     0 |   0.0 |  37M|1945 |   - |3825 |6838 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 | 2.450000e+02 |    Inf 
18.28/18.32	o 233
18.28/18.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.28/18.32	c *17.9s| 52171 | 22974 |     0 |   0.0 |  38M|1945 |   - |3825 |6722 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 2.330000e+02 |    Inf 
18.28/18.33	o 199
18.28/18.33	c *17.9s| 52172 | 22696 |     0 |   0.0 |  37M|1945 |   - |3825 |6722 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 1.990000e+02 |    Inf 
18.28/18.37	o 195
18.28/18.37	c *17.9s| 52270 | 22764 |     0 |   0.0 |  37M|1945 |   - |3825 |6723 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 1.950000e+02 |    Inf 
18.38/18.43	o 133
18.38/18.43	c *18.0s| 52425 | 22121 |     0 |   0.0 |  37M|1945 |   - |3825 |6723 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 1.330000e+02 |    Inf 
18.38/18.44	o 114
18.38/18.44	c *18.0s| 52426 | 21908 |     0 |   0.0 |  37M|1945 |   - |3825 |6723 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 1.140000e+02 |    Inf 
18.48/18.55	o 90
18.48/18.55	c *18.1s| 52657 | 21368 |     0 |   0.0 |  37M|1945 |   - |3825 |6734 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 9.000000e+01 |    Inf 
18.48/18.55	o 84
18.48/18.55	c *18.1s| 52658 | 20965 |     0 |   0.0 |  37M|1945 |   - |3825 |6734 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 8.400000e+01 |    Inf 
18.79/18.86	o 61
18.79/18.86	c *18.4s| 53304 | 20234 |     0 |   0.0 |  37M|1945 |   - |3825 |6687 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 6.100000e+01 |    Inf 
18.79/18.86	o 49
18.79/18.86	c *18.4s| 53305 | 19838 |     0 |   0.0 |  37M|1945 |   - |3825 |6687 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
21.49/21.50	c  21.0s| 60000 | 25554 |     0 |   0.0 |  45M|1945 |   - |3825 |4672 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
25.29/25.37	c  24.7s| 70000 | 33062 |     0 |   0.0 |  54M|1945 |   - |3825 |5608 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
29.79/29.80	c  29.1s| 80000 | 39891 |     0 |   0.0 |  62M|1945 |   - |3825 |6322 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
34.79/34.81	c  34.0s| 90000 | 46090 |     0 |   0.0 |  71M|1945 |   - |3825 |6871 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
40.79/40.83	c  39.8s|100000 | 51166 |     0 |   0.0 |  82M|1945 |   - |3825 |7477 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
47.20/47.21	c  46.1s|110000 | 55830 |     0 |   0.0 |  92M|1945 |   - |3825 |8325 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
53.89/53.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
53.89/53.94	c  52.7s|120000 | 60131 |     0 |   0.0 | 102M|1945 |   - |3825 |9270 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
61.59/61.65	c  60.3s|130000 | 63324 |     0 |   0.0 | 111M|1945 |   - |3825 |  11k|   0 |   0 |   0 |  83k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
70.39/70.45	c  69.0s|140000 | 66013 |     0 |   0.0 | 117M|1945 |   - |3825 |7677 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
72.50/72.55	o 40
72.50/72.55	c *71.0s|144685 | 69661 |     0 |   0.0 | 120M|1945 |   - |3825 |4774 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 | 4.000000e+01 |    Inf 
75.39/75.45	o 37
75.39/75.45	c *73.8s|149579 | 73371 |     0 |   0.0 | 127M|1945 |   - |3825 |4561 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 | 3.700000e+01 |    Inf 
75.69/75.71	c  74.1s|150000 | 73688 |     0 |   0.0 | 128M|1945 |   - |3825 |4638 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 | 3.700000e+01 |    Inf 
75.79/75.85	o 30
75.79/75.85	c *74.2s|150235 | 73501 |     0 |   0.0 | 127M|1945 |   - |3825 |4708 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
77.29/77.39	o 28
77.29/77.39	c *75.7s|152982 | 75389 |     0 |   0.0 | 131M|1945 |   - |3825 |5036 |   0 |   0 |   0 | 105k|   0 | 0.000000e+00 | 2.800000e+01 |    Inf 
80.30/80.36	o 27
80.30/80.36	c *78.6s|158217 | 79124 |     0 |   0.0 | 138M|1945 |   - |3825 |5033 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 | 2.700000e+01 |    Inf 
81.40/81.41	c  79.6s|160000 | 80404 |     0 |   0.0 | 140M|1945 |   - |3825 |5155 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 | 2.700000e+01 |    Inf 
84.60/84.70	o 24
84.60/84.70	c *82.8s|165387 | 83762 |     0 |   0.0 | 146M|1945 |   - |3825 |5679 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
87.90/87.95	c  86.0s|170000 | 86387 |     0 |   0.0 | 153M|1945 |   - |3825 |6127 |   0 |   0 |   0 | 115k|   0 | 0.000000e+00 | 2.400000e+01 |    Inf 
89.00/89.06	o 18
89.00/89.06	c *87.2s|171382 | 84851 |     0 |   0.0 | 146M|1945 |   - |3825 |6494 |   0 |   0 |   0 | 116k|   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
93.79/93.82	c  91.8s|180000 | 90062 |     0 |   0.0 | 155M|1945 |   - |3825 |6181 |   0 |   0 |   0 | 121k|   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
93.99/94.03	o 13
93.99/94.03	c *92.0s|180401 | 89836 |     0 |   0.0 | 153M|1945 |   - |3825 |6289 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
99.09/99.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
99.09/99.11	c  97.0s|190000 | 95459 |     0 |   0.0 | 162M|1945 |   - |3825 |6922 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
104.40/104.41	c   102s|200000 |101845 |     0 |   0.0 | 172M|1945 |   - |3825 |7599 |   0 |   0 |   0 | 135k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
109.19/109.24	c   107s|210000 |108493 |     0 |   0.0 | 181M|1945 |   - |3825 |7753 |   0 |   0 |   0 | 140k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
113.49/113.55	c   111s|220000 |115917 |     0 |   0.0 | 189M|1945 |   - |3825 |5051 |   0 |   0 |   0 | 145k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
117.49/117.57	c   114s|230000 |123326 |     0 |   0.0 | 198M|1945 |   - |3825 |6009 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
123.59/123.69	c   120s|240000 |128596 |     0 |   0.0 | 207M|1945 |   - |3825 |7872 |   0 |   0 |   0 | 157k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
129.98/130.09	c   126s|250000 |133638 |     0 |   0.0 | 216M|1945 |   - |3825 |9461 |   0 |   0 |   0 | 165k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
137.29/137.34	c   133s|260000 |138103 |     0 |   0.0 | 224M|1945 |   - |3825 |9921 |   0 |   0 |   0 | 174k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
145.49/145.52	c   141s|270000 |141776 |     0 |   0.0 | 233M|1945 |   - |3825 |  10k|   0 |   0 |   0 | 184k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
154.19/154.29	c   149s|280000 |145008 |     0 |   0.0 | 241M|1945 |   - |3825 |  12k|   0 |   0 |   0 | 195k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
163.80/163.87	c   159s|290000 |147770 |     0 |   0.0 | 249M|1945 |   - |3825 |  12k|   0 |   0 |   0 | 207k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
173.59/173.62	c   168s|300000 |150504 |     0 |   0.0 | 257M|1945 |   - |3825 |  13k|   0 |   0 |   0 | 219k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
184.10/184.10	c   178s|310000 |152675 |     0 |   0.0 | 264M|1945 |   - |3825 |  14k|   0 |   0 |   0 | 232k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
194.79/194.82	c   188s|320000 |155245 |     0 |   0.0 | 272M|1945 |   - |3825 |  14k|   0 |   0 |   0 | 245k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
206.89/206.98	c   200s|330000 |157079 |     0 |   0.0 | 279M|1945 |   - |3825 |  15k|   0 |   0 |   0 | 258k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
219.29/219.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
219.29/219.33	c   212s|340000 |158942 |     0 |   0.0 | 286M|1945 |   - |3825 |  15k|   0 |   0 |   0 | 273k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
231.10/231.19	c   224s|350000 |160962 |     0 |   0.0 | 292M|1945 |   - |3825 |  15k|   0 |   0 |   0 | 287k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
243.89/243.92	c   236s|360000 |162479 |     0 |   0.0 | 298M|1945 |   - |3825 |  16k|   0 |   0 |   0 | 302k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
258.19/258.21	c   250s|370000 |162983 |     0 |   0.0 | 304M|1945 |   - |3825 |  17k|   0 |   0 |   0 | 320k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
273.80/273.83	c   265s|380000 |162678 |     0 |   0.0 | 308M|1945 |   - |3825 |  19k|   0 |   0 |   0 | 341k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
293.30/293.38	c   284s|390000 |160546 |     0 |   0.0 | 310M|1945 |   - |3825 |  23k|   0 |   0 |   0 | 369k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
302.50/302.57	c   293s|400000 |166290 |     0 |   0.0 | 311M|1945 |   - |3825 |6312 |   0 |   0 |   0 | 378k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
307.70/307.72	c   298s|410000 |173993 |     0 |   0.0 | 323M|1945 |   - |3825 |6251 |   0 |   0 |   0 | 383k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
312.60/312.67	c   302s|420000 |181600 |     0 |   0.0 | 333M|1945 |   - |3825 |6353 |   0 |   0 |   0 | 389k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
318.40/318.41	c   308s|430000 |188395 |     0 |   0.0 | 343M|1945 |   - |3825 |7564 |   0 |   0 |   0 | 396k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
325.51/325.59	c   314s|440000 |194143 |     0 |   0.0 | 353M|1945 |   - |3825 |8634 |   0 |   0 |   0 | 404k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
334.70/334.73	c   323s|450000 |198618 |     0 |   0.0 | 365M|1945 |   - |3825 |  10k|   0 |   0 |   0 | 414k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
346.00/346.04	c   334s|460000 |202183 |     0 |   0.0 | 377M|1945 |   - |3825 |  13k|   0 |   0 |   0 | 426k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
359.10/359.11	c   347s|470000 |205585 |     0 |   0.0 | 392M|1945 |   - |3825 |  13k|   0 |   0 |   0 | 438k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
371.00/371.02	c   358s|480000 |210167 |     0 |   0.0 | 410M|1945 |   - |3825 |  12k|   0 |   0 |   0 | 447k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
379.90/379.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
379.90/379.97	c   366s|490000 |215491 |     0 |   0.0 | 423M|1945 |   - |3825 |5857 |   0 |   0 |   0 | 455k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
386.70/386.74	c   373s|500000 |220636 |     0 |   0.0 | 433M|1945 |   - |3825 |6456 |   0 |   0 |   0 | 461k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
394.40/394.40	c   380s|510000 |225079 |     0 |   0.0 | 444M|1945 |   - |3825 |7577 |   0 |   0 |   0 | 469k|   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
400.80/400.84	o 7
400.80/400.84	c * 386s|517083 |224531 |     0 |   0.0 | 436M|1945 |   - |3825 |8463 |   0 |   0 |   0 | 476k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
404.80/404.81	c   390s|520000 |224763 |     0 |   0.0 | 442M|1945 |   - |3825 |9240 |   0 |   0 |   0 | 479k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
407.20/407.25	o 5
407.20/407.25	c * 392s|521723 |222856 |     0 |   0.0 | 437M|1945 |   - |3825 |9763 |   0 |   0 |   0 | 482k|   0 | 0.000000e+00 | 5.000000e+00 |    Inf 
407.20/407.28	o 2
407.20/407.28	c * 392s|521724 |206955 |     0 |   0.0 | 417M|1945 |   - |3825 |9763 |   0 |   0 |   0 | 482k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
413.80/413.86	c   398s|530000 |210638 |     0 |   0.0 | 421M|1945 |   - |3825 |6207 |   0 |   0 |   0 | 487k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
418.50/418.53	c   403s|540000 |217671 |     0 |   0.0 | 430M|1945 |   - |3825 |6968 |   0 |   0 |   0 | 492k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
423.90/423.97	c   408s|550000 |224147 |     0 |   0.0 | 438M|1945 |   - |3825 |7643 |   0 |   0 |   0 | 497k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
432.70/432.74	c   416s|560000 |227841 |     0 |   0.0 | 447M|1945 |   - |3825 |  10k|   0 |   0 |   0 | 506k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
442.30/442.30	c   425s|570000 |231056 |     0 |   0.0 | 452M|1945 |   - |3825 |7773 |   0 |   0 |   0 | 516k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
447.01/447.06	c   430s|580000 |238131 |     0 |   0.0 | 460M|1945 |   - |3825 |7748 |   0 |   0 |   0 | 521k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
452.40/452.40	c   435s|590000 |244574 |     0 |   0.0 | 468M|1945 |   - |3825 |8475 |   0 |   0 |   0 | 526k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
460.90/460.95	c   443s|600000 |248269 |     0 |   0.0 | 478M|1945 |   - |3825 |  10k|   0 |   0 |   0 | 535k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
471.41/471.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
471.41/471.44	c   453s|610000 |250757 |     0 |   0.0 | 483M|1945 |   - |3825 |9238 |   0 |   0 |   0 | 546k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
476.01/476.02	c   457s|620000 |258026 |     0 |   0.0 | 491M|1945 |   - |3825 |7616 |   0 |   0 |   0 | 550k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
480.71/480.74	c   461s|630000 |264770 |     0 |   0.0 | 499M|1945 |   - |3825 |8181 |   0 |   0 |   0 | 554k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
487.90/487.95	c   468s|640000 |269288 |     0 |   0.0 | 508M|1945 |   - |3825 |9681 |   0 |   0 |   0 | 561k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
498.10/498.17	c   478s|650000 |271141 |     0 |   0.0 | 515M|1945 |   - |3825 |  11k|   0 |   0 |   0 | 572k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
502.80/502.87	c   482s|660000 |278454 |     0 |   0.0 | 522M|1945 |   - |3825 |7921 |   0 |   0 |   0 | 575k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
507.50/507.59	c   487s|670000 |285329 |     0 |   0.0 | 530M|1945 |   - |3825 |8383 |   0 |   0 |   0 | 579k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
514.61/514.62	c   493s|680000 |290007 |     0 |   0.0 | 539M|1945 |   - |3825 |  10k|   0 |   0 |   0 | 587k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
524.01/524.02	c   502s|690000 |292696 |     0 |   0.0 | 547M|1945 |   - |3825 |  12k|   0 |   0 |   0 | 596k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
536.20/536.29	c   514s|700000 |293569 |     0 |   0.0 | 553M|1945 |   - |3825 |  11k|   0 |   0 |   0 | 608k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
549.91/549.98	c   527s|710000 |293966 |     0 |   0.0 | 559M|1945 |   - |3825 |  13k|   0 |   0 |   0 | 620k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
566.01/566.00	c   543s|720000 |293515 |     0 |   0.0 | 563M|1945 |   - |3825 |  14k|   0 |   0 |   0 | 632k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
582.81/582.84	c   559s|730000 |292694 |     0 |   0.0 | 568M|1945 |   - |3825 |  14k|   0 |   0 |   0 | 646k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
600.80/600.87	c   577s|740000 |291439 |     0 |   0.0 | 571M|1945 |   - |3825 |  17k|   0 |   0 |   0 | 660k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
621.01/621.05	c   597s|750000 |289540 |     0 |   0.0 | 572M|1945 |   - |3825 |  18k|   0 |   0 |   0 | 675k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
641.61/641.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
641.61/641.60	c   617s|760000 |287882 |     0 |   0.0 | 574M|1945 |   - |3825 |  19k|   0 |   0 |   0 | 690k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
663.22/663.27	c   638s|770000 |285664 |     0 |   0.0 | 574M|1945 |   - |3825 |  21k|   0 |   0 |   0 | 706k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
686.21/686.21	c   660s|780000 |282901 |     0 |   0.0 | 573M|1945 |   - |3825 |  21k|   0 |   0 |   0 | 723k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
709.31/709.39	c   683s|790000 |280155 |     0 |   0.0 | 572M|1945 |   - |3825 |  21k|   0 |   0 |   0 | 739k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
733.01/733.08	c   706s|800000 |276714 |     0 |   0.0 | 567M|1945 |   - |3825 |  21k|   0 |   0 |   0 | 758k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
760.32/760.38	c   733s|810000 |267599 |     0 |   0.0 | 555M|1945 |   - |3825 |  23k|   0 |   0 |   0 | 778k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
783.01/783.05	c   755s|820000 |257051 |     0 |   0.0 | 518M|1945 |   - |3825 |7658 |   0 |   0 |   0 | 796k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
788.72/788.80	c   760s|830000 |263200 |     0 |   0.0 | 526M|1945 |   - |3825 |5607 |   0 |   0 |   0 | 801k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
794.42/794.45	c   766s|840000 |269248 |     0 |   0.0 | 534M|1945 |   - |3825 |6255 |   0 |   0 |   0 | 807k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
800.22/800.21	c   771s|850000 |275264 |     0 |   0.0 | 542M|1945 |   - |3825 |6610 |   0 |   0 |   0 | 812k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
806.51/806.58	c   777s|860000 |280768 |     0 |   0.0 | 550M|1945 |   - |3825 |7289 |   0 |   0 |   0 | 819k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
813.72/813.74	c   784s|870000 |285699 |     0 |   0.0 | 558M|1945 |   - |3825 |7803 |   0 |   0 |   0 | 825k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
821.81/821.85	c   792s|880000 |289939 |     0 |   0.0 | 566M|1945 |   - |3825 |8007 |   0 |   0 |   0 | 833k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
830.42/830.46	c   800s|890000 |293753 |     0 |   0.0 | 575M|1945 |   - |3825 |8770 |   0 |   0 |   0 | 841k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
839.92/839.95	c   809s|900000 |296818 |     0 |   0.0 | 583M|1945 |   - |3825 |9170 |   0 |   0 |   0 | 850k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
849.62/849.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
849.62/849.62	c   818s|910000 |299081 |     0 |   0.0 | 590M|1945 |   - |3825 |9205 |   0 |   0 |   0 | 860k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
859.32/859.35	c   827s|920000 |301381 |     0 |   0.0 | 597M|1945 |   - |3825 |9907 |   0 |   0 |   0 | 870k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
869.52/869.59	c   837s|930000 |303142 |     0 |   0.0 | 604M|1945 |   - |3825 |  10k|   0 |   0 |   0 | 880k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
880.61/880.69	c   848s|940000 |304213 |     0 |   0.0 | 611M|1945 |   - |3825 |  10k|   0 |   0 |   0 | 892k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
893.22/893.29	c   860s|950000 |303977 |     0 |   0.0 | 616M|1945 |   - |3825 |  11k|   0 |   0 |   0 | 905k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
906.72/906.79	c   873s|960000 |303207 |     0 |   0.0 | 619M|1945 |   - |3825 |  12k|   0 |   0 |   0 | 918k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
922.52/922.51	c   888s|970000 |301098 |     0 |   0.0 | 621M|1945 |   - |3825 |  13k|   0 |   0 |   0 | 934k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
938.72/938.79	c   904s|980000 |298617 |     0 |   0.0 | 619M|1945 |   - |3825 |  11k|   0 |   0 |   0 | 949k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
949.52/949.54	c   914s|990000 |299994 |     0 |   0.0 | 621M|1945 |   - |3825 |8295 |   0 |   0 |   0 | 960k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
957.82/957.81	c   922s|  1000k|303221 |     0 |   0.0 | 626M|1945 |   - |3825 |8400 |   0 |   0 |   0 | 969k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
965.42/965.45	c   929s|  1010k|307164 |     0 |   0.0 | 633M|1945 |   - |3825 |9596 |   0 |   0 |   0 | 976k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
974.43/974.50	c   938s|  1020k|309954 |     0 |   0.0 | 639M|1945 |   - |3825 |  10k|   0 |   0 |   0 | 985k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
984.02/984.04	c   947s|  1030k|312578 |     0 |   0.0 | 646M|1945 |   - |3825 |  11k|   0 |   0 |   0 | 995k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
995.12/995.10	c   957s|  1040k|314276 |     0 |   0.0 | 652M|1945 |   - |3825 |  13k|   0 |   0 |   0 |1005k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1007.82/1007.82	c   970s|  1050k|314965 |     0 |   0.0 | 658M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1017k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1023.42/1023.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1023.42/1023.41	c   985s|  1060k|313945 |     0 |   0.0 | 661M|1945 |   - |3825 |  17k|   0 |   0 |   0 |1031k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1042.42/1042.47	c  1003s|  1070k|311075 |     0 |   0.0 | 660M|1945 |   - |3825 |  20k|   0 |   0 |   0 |1048k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1053.73/1053.78	c  1014s|  1080k|313708 |     0 |   0.0 | 658M|1945 |   - |3825 |9444 |   0 |   0 |   0 |1057k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1060.12/1060.14	c  1020s|  1090k|319154 |     0 |   0.0 | 666M|1945 |   - |3825 |9082 |   0 |   0 |   0 |1063k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1067.73/1067.77	c  1027s|  1100k|323462 |     0 |   0.0 | 674M|1945 |   - |3825 |9936 |   0 |   0 |   0 |1070k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1076.22/1076.26	c  1035s|  1110k|327130 |     0 |   0.0 | 682M|1945 |   - |3825 |  10k|   0 |   0 |   0 |1079k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1085.33/1085.30	c  1044s|  1120k|330265 |     0 |   0.0 | 689M|1945 |   - |3825 |  11k|   0 |   0 |   0 |1087k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1095.23/1095.26	c  1053s|  1130k|332681 |     0 |   0.0 | 696M|1945 |   - |3825 |  12k|   0 |   0 |   0 |1097k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1105.72/1105.72	c  1063s|  1140k|334788 |     0 |   0.0 | 703M|1945 |   - |3825 |  12k|   0 |   0 |   0 |1107k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1116.93/1116.96	c  1074s|  1150k|336273 |     0 |   0.0 | 708M|1945 |   - |3825 |  13k|   0 |   0 |   0 |1118k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1129.43/1129.41	c  1086s|  1160k|337045 |     0 |   0.0 | 712M|1945 |   - |3825 |  14k|   0 |   0 |   0 |1129k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1143.33/1143.39	c  1099s|  1170k|337108 |     0 |   0.0 | 715M|1945 |   - |3825 |  16k|   0 |   0 |   0 |1142k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1157.93/1157.99	c  1113s|  1180k|337422 |     0 |   0.0 | 714M|1945 |   - |3825 |  11k|   0 |   0 |   0 |1156k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1164.83/1164.84	c  1119s|  1190k|342750 |     0 |   0.0 | 721M|1945 |   - |3825 |9647 |   0 |   0 |   0 |1162k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1172.13/1172.16	c  1126s|  1200k|347225 |     0 |   0.0 | 729M|1945 |   - |3825 |9760 |   0 |   0 |   0 |1169k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1180.42/1180.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1180.42/1180.46	c  1134s|  1210k|350846 |     0 |   0.0 | 737M|1945 |   - |3825 |  10k|   0 |   0 |   0 |1178k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1189.63/1189.64	c  1143s|  1220k|353712 |     0 |   0.0 | 744M|1945 |   - |3825 |  10k|   0 |   0 |   0 |1187k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1199.23/1199.25	c  1152s|  1230k|356218 |     0 |   0.0 | 750M|1945 |   - |3825 |  10k|   0 |   0 |   0 |1196k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1209.43/1209.41	c  1162s|  1240k|358197 |     0 |   0.0 | 757M|1945 |   - |3825 |  12k|   0 |   0 |   0 |1206k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1220.43/1220.44	c  1172s|  1250k|359603 |     0 |   0.0 | 762M|1945 |   - |3825 |  12k|   0 |   0 |   0 |1217k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1232.53/1232.53	c  1184s|  1260k|360383 |     0 |   0.0 | 766M|1945 |   - |3825 |  13k|   0 |   0 |   0 |1229k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1245.94/1245.97	c  1197s|  1270k|360569 |     0 |   0.0 | 769M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1242k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1260.14/1260.12	c  1210s|  1280k|360928 |     0 |   0.0 | 770M|1945 |   - |3825 |  16k|   0 |   0 |   0 |1256k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1268.43/1268.41	c  1218s|  1290k|365929 |     0 |   0.0 | 777M|1945 |   - |3825 |  12k|   0 |   0 |   0 |1262k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1276.83/1276.82	c  1226s|  1300k|370354 |     0 |   0.0 | 785M|1945 |   - |3825 |  13k|   0 |   0 |   0 |1269k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1285.74/1285.76	c  1235s|  1310k|374320 |     0 |   0.0 | 792M|1945 |   - |3825 |  14k|   0 |   0 |   0 |1277k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1295.54/1295.55	c  1244s|  1320k|377770 |     0 |   0.0 | 799M|1945 |   - |3825 |  14k|   0 |   0 |   0 |1286k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1306.33/1306.33	c  1254s|  1330k|380554 |     0 |   0.0 | 806M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1295k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1316.94/1316.96	c  1265s|  1340k|383397 |     0 |   0.0 | 813M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1304k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1328.63/1328.69	c  1276s|  1350k|385532 |     0 |   0.0 | 819M|1945 |   - |3825 |  16k|   0 |   0 |   0 |1315k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1341.64/1341.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1341.64/1341.66	c  1288s|  1360k|386727 |     0 |   0.0 | 823M|1945 |   - |3825 |  16k|   0 |   0 |   0 |1326k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1355.84/1355.89	c  1302s|  1370k|387255 |     0 |   0.0 | 827M|1945 |   - |3825 |  18k|   0 |   0 |   0 |1339k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1372.43/1372.47	c  1318s|  1380k|386245 |     0 |   0.0 | 828M|1945 |   - |3825 |  21k|   0 |   0 |   0 |1354k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1385.83/1385.82	c  1331s|  1390k|389014 |     0 |   0.0 | 830M|1945 |   - |3825 |  18k|   0 |   0 |   0 |1364k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1395.53/1395.59	c  1340s|  1400k|393544 |     0 |   0.0 | 837M|1945 |   - |3825 |  14k|   0 |   0 |   0 |1371k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1404.64/1404.66	c  1349s|  1410k|397839 |     0 |   0.0 | 844M|1945 |   - |3825 |  14k|   0 |   0 |   0 |1379k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1414.33/1414.35	c  1358s|  1420k|401566 |     0 |   0.0 | 851M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1387k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1424.55/1424.50	c  1368s|  1430k|404905 |     0 |   0.0 | 859M|1945 |   - |3825 |  14k|   0 |   0 |   0 |1396k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1434.74/1434.77	c  1378s|  1440k|407825 |     0 |   0.0 | 865M|1945 |   - |3825 |  14k|   0 |   0 |   0 |1405k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1446.44/1446.45	c  1389s|  1450k|409552 |     0 |   0.0 | 870M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1415k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1459.44/1459.43	c  1401s|  1460k|410552 |     0 |   0.0 | 875M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1427k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1474.23/1474.25	c  1416s|  1470k|410178 |     0 |   0.0 | 877M|1945 |   - |3825 |  17k|   0 |   0 |   0 |1441k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1492.84/1492.87	c  1434s|  1480k|407964 |     0 |   0.0 | 876M|1945 |   - |3825 |  22k|   0 |   0 |   0 |1457k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1522.24/1522.22	c  1462s|  1490k|401941 |     0 |   0.0 | 867M|1945 |   - |3825 |  24k|   0 |   0 |   0 |1478k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1556.55/1556.57	c  1496s|  1500k|394960 |     0 |   0.0 | 848M|1945 |   - |3825 |  29k|   0 |   0 |   0 |1500k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1585.74/1585.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1585.74/1585.70	c  1525s|  1510k|389557 |     0 |   0.0 | 810M|1945 |   - |3825 |  17k|   0 |   0 |   0 |1518k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1600.74/1600.73	c  1539s|  1520k|391324 |     0 |   0.0 | 816M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1530k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1616.74/1616.76	c  1555s|  1530k|392053 |     0 |   0.0 | 820M|1945 |   - |3825 |  14k|   0 |   0 |   0 |1542k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1633.24/1633.26	c  1571s|  1540k|392247 |     0 |   0.0 | 824M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1555k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1651.25/1651.27	c  1588s|  1550k|391595 |     0 |   0.0 | 828M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1569k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1669.44/1669.43	c  1606s|  1560k|390957 |     0 |   0.0 | 830M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1583k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1687.95/1687.99	c  1624s|  1570k|389962 |     0 |   0.0 | 832M|1945 |   - |3825 |  15k|   0 |   0 |   0 |1598k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1706.75/1706.73	c  1642s|  1580k|388884 |     0 |   0.0 | 834M|1945 |   - |3825 |  16k|   0 |   0 |   0 |1612k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1726.04/1726.01	c  1661s|  1590k|387530 |     0 |   0.0 | 836M|1945 |   - |3825 |  17k|   0 |   0 |   0 |1626k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1746.85/1746.85	c  1681s|  1600k|385541 |     0 |   0.0 | 836M|1945 |   - |3825 |  18k|   0 |   0 |   0 |1641k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1768.65/1768.65	c  1702s|  1610k|383121 |     0 |   0.0 | 836M|1945 |   - |3825 |  18k|   0 |   0 |   0 |1656k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1791.15/1791.15	c  1724s|  1620k|380233 |     0 |   0.0 | 835M|1945 |   - |3825 |  18k|   0 |   0 |   0 |1672k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1732.82
1800.05/1800.00	c Solving Nodes      : 1623921
1800.05/1800.00	c Primal Bound       : +2.00000000000000e+00 (29 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.05	s SATISFIABLE
1800.05/1800.05	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 
1800.05/1800.05	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 
1800.05/1800.05	v -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.05/1800.05	v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.05/1800.05	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.05/1800.05	v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 
1800.05/1800.05	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.05/1800.05	v -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 
1800.05/1800.05	v -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 x31 -x30 -x29 
1800.05/1800.05	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 x2 
1800.05/1800.05	v -x1 
1800.05/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.05	c Solving Time       :    1732.82
1800.05/1800.05	c Original Problem   :
1800.05/1800.05	c   Problem name     : HOME/instance-2693591-1277912419.wbo
1800.05/1800.05	c   Variables        : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.05/1800.05	c   Constraints      : 4571 initial, 4571 maximal
1800.05/1800.05	c Presolved Problem  :
1800.05/1800.05	c   Problem name     : t_HOME/instance-2693591-1277912419.wbo
1800.05/1800.05	c   Variables        : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.05/1800.05	c   Constraints      : 4418 initial, 35769 maximal
1800.05/1800.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.05	c   trivial          :       0.00         66          0          0          0          0          0          0          0
1800.05/1800.05	c   dualfix          :       0.00         66          0          0          0          0          0          0          0
1800.05/1800.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.05	c   indicator        :       0.00          0          0          0          0          0         66          0          0
1800.05/1800.05	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   linear           :       0.05          0          0          0       1878          0         87         72          0
1800.05/1800.05	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.05	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   root node        :          -       1791          -          -       3582          -          -          -          -
1800.05/1800.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.05	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.05	c   indicator        :       1797          0    4233758          0     892961        143    1248661          0          0          0
1800.05/1800.05	c   setppc           :          5          0    6203411          0    1169493       2757    1857198          0          0          0
1800.05/1800.05	c   linear           :       1797          0    6253374          0    1182318     471012   38280822          0          0          0
1800.05/1800.05	c   logicor          :        819+         0    3774289          0    1182331     184574    6993287          0          0          0
1800.05/1800.05	c   bounddisjunction :          0+         0      43460          0          0          0         23          0          0          0
1800.05/1800.05	c   countsols        :          0          0          0          0    1182328          0          0          0          0          0
1800.05/1800.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.05	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.05	c   indicator        :       8.08       0.00       3.13       0.00       4.95
1800.05/1800.05	c   setppc           :       8.02       0.00       7.34       0.00       0.68
1800.05/1800.05	c   linear           :     320.52       0.00     320.10       0.00       0.42
1800.05/1800.05	c   logicor          :     471.94       0.00     441.53       0.00      30.41
1800.05/1800.05	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.05/1800.05	c   countsols        :       0.04       0.00       0.00       0.00       0.04
1800.05/1800.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.05	c   vbounds          :       0.20          2          0          0
1800.05/1800.05	c   rootredcost      :       0.17          0          0          0
1800.05/1800.05	c   pseudoobj        :     214.30    6258641       2476    1211503
1800.05/1800.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.05	c   propagation      :      27.19     660819     660773    2877718       17.1      71333        9.8          -
1800.05/1800.05	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.05	c   pseudo solution  :       0.00         42         42        146       15.3         52        8.3          -
1800.05/1800.05	c   applied globally :          -          -          -    1678954       15.9          -          -          -
1800.05/1800.05	c   applied locally  :          -          -          -          2      220.0          -          -          -
1800.05/1800.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.05	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.05	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.05	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.05	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.05	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.05	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.05	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.05	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.05	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.05	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.05	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.05	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.05	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.05	c Pricers            :       Time      Calls       Vars
1800.05/1800.05	c   problem variables:       0.00          0          0
1800.05/1800.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.05	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   inference        :      21.78    1182299          0          0          0          0    2364598
1800.05/1800.05	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.05	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.05	c   LP solutions     :       0.00          -          0
1800.05/1800.05	c   pseudo solutions :       0.11          -         29
1800.05/1800.05	c   oneopt           :       0.10          0          0
1800.05/1800.05	c   trivial          :       0.02          2          0
1800.05/1800.05	c   simplerounding   :       0.00          0          0
1800.05/1800.05	c   zirounding       :       0.00          0          0
1800.05/1800.05	c   rounding         :       0.00          0          0
1800.05/1800.05	c   shifting         :       0.00          0          0
1800.05/1800.05	c   intshifting      :       0.00          0          0
1800.05/1800.05	c   twoopt           :       0.00          0          0
1800.05/1800.05	c   fixandinfer      :       0.00          0          0
1800.05/1800.05	c   feaspump         :       0.00          0          0
1800.05/1800.05	c   coefdiving       :       0.00          0          0
1800.05/1800.05	c   pscostdiving     :       0.00          0          0
1800.05/1800.05	c   fracdiving       :       0.00          0          0
1800.05/1800.05	c   veclendiving     :       0.00          0          0
1800.05/1800.05	c   intdiving        :       0.00          0          0
1800.05/1800.05	c   actconsdiving    :       0.00          0          0
1800.05/1800.05	c   objpscostdiving  :       0.00          0          0
1800.05/1800.05	c   rootsoldiving    :       0.00          0          0
1800.05/1800.05	c   linesearchdiving :       0.00          0          0
1800.05/1800.05	c   guideddiving     :       0.00          0          0
1800.05/1800.05	c   octane           :       0.00          0          0
1800.05/1800.05	c   rens             :       0.00          0          0
1800.05/1800.05	c   rins             :       0.00          0          0
1800.05/1800.05	c   localbranching   :       0.00          0          0
1800.05/1800.05	c   mutation         :       0.00          0          0
1800.05/1800.05	c   crossover        :       0.00          0          0
1800.05/1800.05	c   dins             :       0.00          0          0
1800.05/1800.05	c   undercover       :       0.00          0          0
1800.05/1800.05	c   nlp              :       0.10          0          0
1800.05/1800.05	c   trysol           :       0.07          1          0
1800.05/1800.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.05	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.05	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.05	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.05	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.05	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.05	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.05	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.05	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.05	c B&B Tree           :
1800.05/1800.05	c   number of runs   :          1
1800.05/1800.05	c   nodes            :    1623921
1800.05/1800.05	c   nodes (total)    :    1623921
1800.05/1800.05	c   nodes left       :     379216
1800.05/1800.05	c   max depth        :       1945
1800.05/1800.05	c   max depth (total):       1945
1800.05/1800.05	c   backtracks       :     446792 (27.5%)
1800.05/1800.05	c   delayed cutoffs  :     309520
1800.05/1800.05	c   repropagations   :    1714436 (14082233 domain reductions, 219411 cutoffs)
1800.05/1800.05	c   avg switch length:      55.67
1800.05/1800.05	c   switching time   :     566.45
1800.05/1800.05	c Solution           :
1800.05/1800.05	c   Solutions found  :         29 (29 improvements)
1800.05/1800.05	c   First Solution   : +7.21000000000000e+02   (in run 1, after 46646 nodes, 15.67 seconds, depth 344, found by <relaxation>)
1800.05/1800.05	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 521724 nodes, 392.18 seconds, depth 251, found by <relaxation>)
1800.05/1800.05	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.05	c   Gap              :   infinite
1800.05/1800.05	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.05	c   Root Iterations  :          0
1801.35/1801.38	c Time complete: 1801.44.

Verifier Data 

OK	1

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12601
/proc/meminfo: memFree=31353580/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=8412 CPUtime=0
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 1575 0 0 0 0 0 0 0 25 0 1 0 132540095 8613888 1498 4089446400 4194304 7136930 140735265367136 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12601/statm: 2103 1510 275 719 0 1382 0

[startup+0.0358959 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12601
/proc/meminfo: memFree=31353580/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=20064 CPUtime=0.02
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 4881 0 0 0 2 0 0 0 25 0 1 0 132540095 20545536 4450 4089446400 4194304 7136930 140735265367136 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12601/statm: 5016 4451 286 719 0 4295 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20064

[startup+0.100884 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12601
/proc/meminfo: memFree=31353580/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=29344 CPUtime=0.09
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 7728 0 0 0 8 1 0 0 25 0 1 0 132540095 30048256 6526 4089446400 4194304 7136930 140735265367136 18446744073709551615 4333578 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12601/statm: 7079 6269 354 719 0 6358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29344

[startup+0.300845 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12601
/proc/meminfo: memFree=31353580/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=30364 CPUtime=0.29
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 10865 0 0 0 28 1 0 0 25 0 1 0 132540095 31092736 6836 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12601/statm: 7591 6836 391 719 0 6870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30364

[startup+0.70077 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12601
/proc/meminfo: memFree=31353580/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=32104 CPUtime=0.69
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 11319 0 0 0 66 3 0 0 25 0 1 0 132540095 32874496 7290 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12601/statm: 8026 7290 395 719 0 7305 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32104

[startup+1.50063 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12602
/proc/meminfo: memFree=31324680/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=34732 CPUtime=1.49
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 11997 0 0 0 144 5 0 0 25 0 1 0 132540095 35565568 7968 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12601/statm: 8683 7968 395 719 0 7962 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34732

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12602
/proc/meminfo: memFree=31322448/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=39912 CPUtime=3.08
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 13280 0 0 0 300 8 0 0 25 0 1 0 132540095 40869888 9251 4089446400 4194304 7136930 140735265367136 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12601/statm: 9978 9251 395 719 0 9257 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39912

[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12602
/proc/meminfo: memFree=31308300/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=51056 CPUtime=6.29
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 16095 0 0 0 613 16 0 0 25 0 1 0 132540095 52281344 12066 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12601/statm: 12764 12066 395 719 0 12043 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51056

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12603
/proc/meminfo: memFree=31294216/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=65124 CPUtime=12.69
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 19634 0 0 0 1239 30 0 0 25 0 1 0 132540095 66686976 15605 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12601/statm: 16281 15605 395 719 0 15560 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65124

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12603
/proc/meminfo: memFree=31265120/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=93436 CPUtime=25.49
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 26543 0 0 0 2487 62 0 0 25 0 1 0 132540095 95678464 22514 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12601/statm: 23359 22514 398 719 0 22638 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93436

[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 3/197 12603
/proc/meminfo: memFree=31218164/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=141548 CPUtime=51.08
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 38507 0 0 0 4994 114 0 0 25 0 1 0 132540095 144945152 34478 4089446400 4194304 7136930 140735265367136 18446744073709551615 5004423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12601/statm: 35387 34478 398 719 0 34666 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 141548

[startup+102.307 s]
/proc/loadavg: 2.08 2.03 2.00 3/197 12605
/proc/meminfo: memFree=31119284/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=245728 CPUtime=102.3
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 62874 0 0 0 10012 218 0 0 25 0 1 0 132540095 251625472 58845 4089446400 4194304 7136930 140735265367136 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12601/statm: 61432 58845 398 719 0 60711 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 245728

[startup+162.3 s]
/proc/loadavg: 2.49 2.16 2.05 4/200 12668
/proc/meminfo: memFree=31289068/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=329880 CPUtime=162.29
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 83943 0 0 0 15717 512 0 0 25 0 1 0 132540095 337797120 79914 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 82470 79914 398 719 0 81749 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 329880

[startup+222.301 s]
/proc/loadavg: 2.81 2.31 2.10 3/200 12669
/proc/meminfo: memFree=31223384/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=378560 CPUtime=222.29
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 96097 0 0 0 21502 727 0 0 25 0 1 0 132540095 387645440 92068 4089446400 4194304 7136930 140735265367136 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 94640 92068 398 719 0 93919 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 378560

[startup+282.301 s]
/proc/loadavg: 2.85 2.40 2.15 4/200 12671
/proc/meminfo: memFree=31185736/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=407248 CPUtime=282.29
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 103284 0 0 0 27312 917 0 0 25 0 1 0 132540095 417021952 99255 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 101812 99255 398 719 0 101091 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 407248

[startup+342.3 s]
/proc/loadavg: 2.94 2.51 2.20 4/200 12672
/proc/meminfo: memFree=31109704/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=482028 CPUtime=342.3
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 120296 0 0 0 33034 1196 0 0 25 0 1 0 132540095 493596672 116267 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 120507 116267 398 719 0 119786 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 482028

[startup+402.301 s]
/proc/loadavg: 3.21 2.66 2.27 3/200 12674
/proc/meminfo: memFree=31017724/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=572980 CPUtime=402.3
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 141239 0 0 0 38748 1482 0 0 25 0 1 0 132540095 586731520 137210 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 143245 137210 398 719 0 142524 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 572980

[startup+462.301 s]
/proc/loadavg: 3.00 2.70 2.30 4/200 12676
/proc/meminfo: memFree=30975124/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=609828 CPUtime=462.3
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 150470 0 0 0 44417 1813 0 0 25 0 1 0 132540095 624463872 146441 4089446400 4194304 7136930 140735265367136 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 152457 146441 398 719 0 151736 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 609828

[startup+522.3 s]
/proc/loadavg: 2.96 2.74 2.34 4/200 12677
/proc/meminfo: memFree=30899652/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=683420 CPUtime=522.31
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 168985 0 0 0 50076 2155 0 0 25 0 1 0 132540095 699822080 164956 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 170855 164956 398 719 0 170134 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 683420

[startup+582.301 s]
/proc/loadavg: 2.89 2.75 2.37 4/200 12679
/proc/meminfo: memFree=30871688/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=705640 CPUtime=582.31
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 174600 0 0 0 55873 2358 0 0 25 0 1 0 132540095 722575360 170571 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 176410 170571 398 719 0 175689 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 705640

[startup+642.3 s]
/proc/loadavg: 2.70 2.72 2.38 4/200 12680
/proc/meminfo: memFree=30866416/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=709104 CPUtime=642.31
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 175494 0 0 0 61749 2482 0 0 25 0 1 0 132540095 726122496 171465 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 177276 171465 398 719 0 176555 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 709104

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.02 2.39 2.37 3/179 12787
/proc/meminfo: memFree=30888224/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=824456 CPUtime=1062.32
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 203649 0 0 0 102182 4050 0 0 25 0 1 0 132540095 844242944 199620 4089446400 4194304 7136930 140735265367136 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 206114 199620 398 719 0 205393 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 824456

[startup+1122.3 s]
/proc/loadavg: 2.01 2.32 2.34 3/179 12788
/proc/meminfo: memFree=30833508/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=860864 CPUtime=1122.32
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 212848 0 0 0 107883 4349 0 0 25 0 1 0 132540095 881524736 208819 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 215216 208819 398 719 0 214495 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 860864

[startup+1182.3 s]
/proc/loadavg: 2.05 2.27 2.32 3/179 12790
/proc/meminfo: memFree=30781876/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=896244 CPUtime=1182.32
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 221697 0 0 0 113591 4641 0 0 25 0 1 0 132540095 917753856 217668 4089446400 4194304 7136930 140735265367136 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 224061 217668 398 719 0 223340 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 896244

[startup+1242.3 s]
/proc/loadavg: 2.02 2.22 2.30 3/179 12800
/proc/meminfo: memFree=30739060/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=921800 CPUtime=1242.33
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 228156 0 0 0 119322 4911 0 0 25 0 1 0 132540095 943923200 224127 4089446400 4194304 7136930 140735265367136 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 230450 224127 398 719 0 229729 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 921800

[startup+1302.3 s]
/proc/loadavg: 2.00 2.18 2.28 3/179 12802
/proc/meminfo: memFree=30686104/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=962352 CPUtime=1302.33
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 238363 0 0 0 125053 5180 0 0 25 0 1 0 132540095 985448448 234334 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 240588 234334 398 719 0 239867 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 962352

[startup+1362.3 s]
/proc/loadavg: 2.00 2.14 2.26 3/179 12804
/proc/meminfo: memFree=30645756/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=988668 CPUtime=1362.34
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 244842 0 0 0 130819 5415 0 0 25 0 1 0 132540095 1012396032 240813 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 247167 240813 398 719 0 246446 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 988668

[startup+1422.31 s]
/proc/loadavg: 2.00 2.11 2.24 3/179 12805
/proc/meminfo: memFree=30604548/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1015616 CPUtime=1422.34
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 251647 0 0 0 136573 5661 0 0 25 0 1 0 132540095 1039990784 247618 4089446400 4194304 7136930 140735265367136 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 253904 247618 398 719 0 253183 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1015616

[startup+1482.3 s]
/proc/loadavg: 2.00 2.09 2.22 3/179 12807
/proc/meminfo: memFree=30574008/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1036168 CPUtime=1482.34
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 256827 0 0 0 142343 5891 0 0 25 0 1 0 132540095 1061036032 252798 4089446400 4194304 7136930 140735265367136 18446744073709551615 4998243 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 259042 252798 398 719 0 258321 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1036168

[startup+1542.3 s]
/proc/loadavg: 2.00 2.07 2.21 3/179 12808
/proc/meminfo: memFree=30556124/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1038300 CPUtime=1542.34
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257305 0 0 0 148210 6024 0 0 25 0 1 0 132540095 1063219200 253276 4089446400 4194304 7136930 140735265367136 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 259575 253276 398 719 0 258854 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1038300

[startup+1602.3 s]
/proc/loadavg: 2.00 2.06 2.19 3/179 12810
/proc/meminfo: memFree=30538240/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1039308 CPUtime=1602.35
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257469 0 0 0 154073 6162 0 0 25 0 1 0 132540095 1064251392 253440 4089446400 4194304 7136930 140735265367136 18446744073709551615 4210345 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 259827 253440 398 719 0 259106 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1039308

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.17 3/179 12812
/proc/meminfo: memFree=30518732/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1039696 CPUtime=1662.35
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257571 0 0 0 159886 6349 0 0 25 0 1 0 132540095 1064648704 253542 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 259924 253542 398 719 0 259203 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1039696

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/179 12813
/proc/meminfo: memFree=30499220/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1040204 CPUtime=1722.35
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257699 0 0 0 165719 6516 0 0 25 0 1 0 132540095 1065168896 253670 4089446400 4194304 7136930 140735265367136 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 260051 253670 398 719 0 259330 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1040204

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.16 3/179 12815
/proc/meminfo: memFree=30476496/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1040368 CPUtime=1782.35
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257735 0 0 0 171563 6672 0 0 25 0 1 0 132540095 1065336832 253706 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 260092 253706 398 719 0 259371 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1040368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.15 3/179 12815
/proc/meminfo: memFree=30468672/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1040368 CPUtime=1800.05
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257735 0 0 0 173283 6722 0 0 25 0 1 0 132540095 1065336832 253706 4089446400 4194304 7136930 140735265367136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12601/statm: 260092 253706 398 719 0 259371 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1040368

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

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

[startup+1800.6 s]
/proc/loadavg: 2.02 2.03 2.15 3/180 12816
/proc/meminfo: memFree=30467672/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1040368 CPUtime=1800.65
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257740 0 0 0 173343 6722 0 0 18 0 1 0 132540095 1065336832 253711 4089446400 4194304 7136930 140735265367136 18446744073709551615 6166114 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12601/statm: 260092 253711 403 719 0 259371 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 1040368

[startup+1801 s]
/proc/loadavg: 2.02 2.03 2.15 3/180 12816
/proc/meminfo: memFree=30467672/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1039344 CPUtime=1801.05
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257740 0 0 0 173383 6722 0 0 19 0 1 0 132540095 1064288256 253474 4089446400 4194304 7136930 140735265367136 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12601/statm: 259836 253474 403 719 0 259115 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 1039344

[startup+1801.2 s]
/proc/loadavg: 2.02 2.03 2.15 3/180 12816
/proc/meminfo: memFree=30467672/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=1030620 CPUtime=1801.25
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257740 0 0 0 173403 6722 0 0 19 0 1 0 132540095 1055354880 251293 4089446400 4194304 7136930 140735265367136 18446744073709551615 4615816 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12601/statm: 257655 251293 403 719 0 256934 0
Current children cumulated CPU time (s) 1801.25
Current children cumulated vsize (KiB) 1030620

[startup+1801.3 s]
/proc/loadavg: 2.02 2.03 2.15 3/180 12816
/proc/meminfo: memFree=30467672/32951124 swapFree=67111528/67111528
[pid=12601] ppid=12599 vsize=952592 CPUtime=1801.35
/proc/12601/stat : 12601 (pbscip.linux.x8) R 12599 12601 12309 0 -1 4202496 257740 0 0 0 173413 6722 0 0 19 0 1 0 132540095 975454208 231790 4089446400 4194304 7136930 140735265367136 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/12601/statm: 238148 231790 403 719 0 237427 0
Current children cumulated CPU time (s) 1801.35
Current children cumulated vsize (KiB) 952592

Child status: 0
Real time (s): 1801.38
CPU time (s): 1801.44
CPU user time (s): 1734.18
CPU system time (s): 67.2638
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1040368

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

runsolver used 2.55761 second user time and 5.84511 second system time

The end

Launcher Data 

Begin job on node102 at 2010-06-30 17:40:19
IDJOB=2693591
IDBENCH=78996
IDSOLVER=1206
FILE ID=node102/2693591-1277912419
PBS_JOBID= 11197251
Free space on /tmp= 74212 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/tsp/normalized-t3002.11tsp11.1900562192--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-2693591-1277912419/watcher-2693591-1277912419 -o /tmp/evaluation-result-2693591-1277912419/solver-2693591-1277912419 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693591-1277912419.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c96bd383c2d62b3ed6ae26490be2a1fe
RANDOM SEED=536383029

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31354108 kB
Buffers:        196200 kB
Cached:         731252 kB
SwapCached:          0 kB
Active:         877224 kB
Inactive:       578368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31354108 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3140 kB
Writeback:           0 kB
AnonPages:      528164 kB
Mapped:          20084 kB
Slab:            77156 kB
PageTables:       5412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1649560 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= 74200 MiB
End job on node102 at 2010-06-30 18:10:21