Trace number 2692311

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.17 1800.16

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: SoPlex 1.4.2] [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-2692311-1277912363.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.04/0.05	c presolving:
0.04/0.06	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.04/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.09/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.11	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.12	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.13	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.18	c    (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (7 rounds):
0.09/0.18	c  132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.18	c  2001 implications, 5 cliques
0.09/0.18	c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.18	c    1797 constraints of type <indicator>
0.09/0.18	c       5 constraints of type <setppc>
0.09/0.18	c    1797 constraints of type <linear>
0.09/0.18	c     819 constraints of type <logicor>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.12
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.98
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.09/0.19	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.19	c   0.1s|     1 |     0 |     6 |     - |  14M|   0 |   0 |3825 |4418 |3825 | 824 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	c   0.1s|     1 |     0 |    58 |     - |  14M|   0 |  20 |3825 |4418 |3825 | 842 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.20	o 90811
0.09/0.20	c y 0.1s|     1 |     0 |    58 |     - |  14M|   0 |  20 |3825 |4418 |3825 | 842 |  18 |   0 |   0 | 0.000000e+00 | 9.081100e+04 |    Inf 
0.18/0.23	c   0.2s|     1 |     0 |    96 |     - |  14M|   0 |  44 |3825 |4418 |3825 | 872 |  48 |   0 |   0 | 0.000000e+00 | 9.081100e+04 |    Inf 
0.28/0.30	c   0.2s|     1 |     0 |   144 |     - |  14M|   0 |  49 |3825 |4418 |3825 | 883 |  59 |   0 |   0 | 0.000000e+00 | 9.081100e+04 |    Inf 
0.28/0.37	c   0.3s|     1 |     0 |   162 |     - |  15M|   0 |  51 |3825 |4418 |3825 | 886 |  62 |   0 |   0 | 0.000000e+00 | 9.081100e+04 |    Inf 
0.38/0.45	c   0.4s|     1 |     0 |   177 |     - |  15M|   0 |  53 |3825 |4418 |3825 | 895 |  71 |   0 |   0 | 0.000000e+00 | 9.081100e+04 |    Inf 
0.48/0.53	c   0.5s|     1 |     0 |   196 |     - |  15M|   0 |  53 |3825 |4418 |3825 | 901 |  77 |   0 |   0 | 0.000000e+00 | 9.081100e+04 |    Inf 
0.98/1.02	c   0.9s|     1 |     2 |   196 |     - |  15M|   0 |  53 |3825 |4418 |3825 | 901 |  77 |   0 |  33 | 0.000000e+00 | 9.081100e+04 |    Inf 
26.58/26.60	c  25.7s| 10000 | 10001 | 24920 |   2.5 |  38M| 157 |   0 |3825 |4418 |3825 | 929 |3827 |   0 |1307 | 0.000000e+00 | 9.081100e+04 |    Inf 
41.78/41.80	c  40.4s| 20000 | 19997 | 35290 |   1.8 |  56M| 157 |   0 |3825 |4430 |3825 | 929 |6262 |  12 |1358 | 0.000000e+00 | 9.081100e+04 |    Inf 
56.98/57.01	c  55.1s| 30000 | 29995 | 45674 |   1.5 |  73M| 157 |   0 |3825 |4434 |3825 | 907 |9226 |  18 |1369 | 0.000000e+00 | 9.081100e+04 |    Inf 
71.68/71.78	o 514
71.68/71.78	c *69.5s| 39477 | 29718 | 56286 |   1.4 |  74M| 157 |   - |3825 |4426 |3825 | 908 |  11k|  19 |1498 | 0.000000e+00 | 5.140000e+02 |    Inf 
72.07/72.17	o 507
72.07/72.17	c *69.9s| 39639 | 29544 | 57194 |   1.4 |  75M| 157 |   - |3825 |4501 |3825 | 912 |  11k|  94 |1499 | 0.000000e+00 | 5.070000e+02 |    Inf 
72.07/72.18	o 505
72.07/72.18	c *69.9s| 39640 | 29456 | 57194 |   1.4 |  75M| 157 |   - |3825 |4501 |3825 | 912 |  11k|  94 |1499 | 0.000000e+00 | 5.050000e+02 |    Inf 
72.98/73.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
72.98/73.07	c  70.8s| 40000 | 29783 | 58641 |   1.5 |  75M| 157 |   0 |3825 |4574 |3825 | 934 |  11k| 167 |1505 | 0.000000e+00 | 5.050000e+02 |    Inf 
73.38/73.42	o 501
73.38/73.42	c *71.1s| 40140 | 29730 | 59341 |   1.5 |  75M| 157 |   - |3825 |4635 |3825 | 931 |  11k| 229 |1510 | 0.000000e+00 | 5.010000e+02 |    Inf 
75.57/75.70	o 498
75.57/75.70	c *73.3s| 41143 | 30524 | 62732 |   1.5 |  77M| 157 |   - |3825 |4742 |3825 | 942 |  12k| 358 |1514 | 0.000000e+00 | 4.980000e+02 |    Inf 
76.67/76.76	o 459
76.67/76.76	c *74.3s| 41528 | 28753 | 64984 |   1.6 |  75M| 157 |   - |3825 |4824 |3825 | 926 |  12k| 473 |1514 | 0.000000e+00 | 4.590000e+02 |    Inf 
76.98/77.03	o 446
76.98/77.03	c *74.6s| 41633 | 28075 | 65323 |   1.6 |  74M| 157 |   - |3825 |4842 |3825 | 931 |  12k| 507 |1514 | 0.000000e+00 | 4.460000e+02 |    Inf 
77.28/77.37	o 444
77.28/77.37	c *74.9s| 41759 | 28037 | 65988 |   1.6 |  74M| 157 |   - |3825 |4899 |3825 | 943 |  12k| 587 |1515 | 0.000000e+00 | 4.440000e+02 |    Inf 
77.47/77.56	o 443
77.47/77.56	c *75.1s| 41813 | 28000 | 66863 |   1.6 |  74M| 157 |   - |3825 |4914 |3825 | 933 |  13k| 616 |1515 | 0.000000e+00 | 4.430000e+02 |    Inf 
79.47/79.54	o 425
79.47/79.54	c *77.0s| 42534 | 27484 | 70915 |   1.7 |  74M| 157 |   - |3825 |5120 |3825 | 927 |  13k| 966 |1525 | 0.000000e+00 | 4.250000e+02 |    Inf 
79.67/79.77	o 398
79.67/79.77	c *77.3s| 42634 | 25669 | 71082 |   1.7 |  70M| 157 |   - |3825 |5152 |3825 | 927 |  13k|1047 |1526 | 0.000000e+00 | 3.980000e+02 |    Inf 
81.18/81.27	o 393
81.18/81.27	c *78.7s| 43104 | 25612 | 74553 |   1.7 |  71M| 157 |   - |3825 |5232 |3825 | 927 |  14k|1253 |1619 | 0.000000e+00 | 3.930000e+02 |    Inf 
85.68/85.76	o 381
85.68/85.76	c *83.1s| 44479 | 25801 | 91113 |   2.0 |  73M| 157 |   - |3825 |5118 |3825 | 923 |  15k|1740 |1647 | 0.000000e+00 | 3.810000e+02 |    Inf 
86.38/86.49	o 378
86.38/86.49	c *83.8s| 44740 | 25752 | 92303 |   2.1 |  74M| 157 |   - |3825 |5225 |3825 | 928 |  15k|1925 |1647 | 0.000000e+00 | 3.780000e+02 |    Inf 
88.57/88.67	o 376
88.57/88.67	c *85.9s| 45680 | 26424 | 95837 |   2.1 |  75M| 157 |   - |3825 |5269 |3825 | 924 |  16k|2115 |1647 | 0.000000e+00 | 3.760000e+02 |    Inf 
92.28/92.34	o 374
92.28/92.34	c *89.5s| 47207 | 27660 |101682 |   2.1 |  79M| 157 |   - |3825 |5212 |3825 | 931 |  17k|2350 |1647 | 0.000000e+00 | 3.740000e+02 |    Inf 
92.38/92.44	o 372
92.38/92.44	c *89.6s| 47231 | 27497 |101913 |   2.2 |  79M| 157 |   - |3825 |5214 |3825 | 909 |  17k|2370 |1647 | 0.000000e+00 | 3.720000e+02 |    Inf 
92.38/92.44	o 370
92.38/92.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
92.38/92.44	c *89.6s| 47232 | 27334 |101913 |   2.2 |  78M| 157 |   - |3825 |5214 |3825 | 909 |  17k|2370 |1647 | 0.000000e+00 | 3.700000e+02 |    Inf 
92.57/92.66	o 358
92.57/92.66	c *89.8s| 47328 | 26448 |102181 |   2.2 |  76M| 157 |   - |3825 |5217 |3825 | 922 |  17k|2385 |1647 | 0.000000e+00 | 3.580000e+02 |    Inf 
92.57/92.66	o 356
92.57/92.66	c *89.8s| 47329 | 26284 |102181 |   2.2 |  76M| 157 |   - |3825 |5217 |3825 | 922 |  17k|2385 |1647 | 0.000000e+00 | 3.560000e+02 |    Inf 
93.08/93.19	o 350
93.08/93.19	c *90.3s| 47537 | 25946 |102885 |   2.2 |  76M| 157 |   - |3825 |5209 |3825 | 931 |  18k|2437 |1647 | 0.000000e+00 | 3.500000e+02 |    Inf 
93.18/93.20	o 347
93.18/93.20	c *90.3s| 47538 | 25710 |102885 |   2.2 |  75M| 157 |   - |3825 |5209 |3825 | 931 |  18k|2437 |1647 | 0.000000e+00 | 3.470000e+02 |    Inf 
93.77/93.84	o 339
93.77/93.84	c *90.9s| 47782 | 25249 |103834 |   2.2 |  74M| 157 |   - |3825 |5186 |3825 | 922 |  18k|2472 |1647 | 0.000000e+00 | 3.390000e+02 |    Inf 
94.38/94.44	o 338
94.38/94.44	c *91.5s| 48007 | 25354 |104704 |   2.2 |  74M| 157 |   - |3825 |5192 |3825 | 928 |  18k|2519 |1647 | 0.000000e+00 | 3.380000e+02 |    Inf 
94.48/94.56	o 336
94.48/94.56	c *91.6s| 48048 | 25182 |104867 |   2.2 |  74M| 157 |   - |3825 |5221 |3825 | 919 |  18k|2550 |1647 | 0.000000e+00 | 3.360000e+02 |    Inf 
96.07/96.18	o 334
96.07/96.18	c *93.2s| 48733 | 25624 |107452 |   2.2 |  75M| 157 |   - |3825 |5298 |3825 | 917 |  19k|2717 |1647 | 0.000000e+00 | 3.340000e+02 |    Inf 
96.07/96.19	o 330
96.07/96.19	c *93.2s| 48735 | 25275 |107456 |   2.2 |  74M| 157 |   - |3825 |5298 |3825 | 917 |  19k|2717 |1647 | 0.000000e+00 | 3.300000e+02 |    Inf 
97.28/97.35	o 321
97.28/97.35	c *94.3s| 49184 | 24782 |108707 |   2.2 |  74M| 157 |   - |3825 |5315 |3825 | 925 |  19k|2871 |1649 | 0.000000e+00 | 3.210000e+02 |    Inf 
97.67/97.76	o 307
97.67/97.76	c *94.7s| 49353 | 23679 |109163 |   2.2 |  71M| 157 |   - |3825 |5301 |3825 | 940 |  19k|2911 |1649 | 0.000000e+00 | 3.070000e+02 |    Inf 
99.28/99.36	c  96.3s| 50000 | 24083 |111183 |   2.2 |  73M| 157 |   0 |3825 |5547 |3825 | 937 |  20k|3370 |1649 | 0.000000e+00 | 3.070000e+02 |    Inf 
99.47/99.52	o 293
99.47/99.52	c *96.5s| 50058 | 22676 |111318 |   2.2 |  70M| 157 |   - |3825 |5568 |3825 | 917 |  20k|3411 |1649 | 0.000000e+00 | 2.930000e+02 |    Inf 
99.47/99.52	o 290
99.47/99.52	c *96.5s| 50059 | 22409 |111318 |   2.2 |  69M| 157 |   - |3825 |5568 |3825 | 917 |  20k|3411 |1649 | 0.000000e+00 | 2.900000e+02 |    Inf 
106.68/106.72	o 288
106.68/106.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.68/106.72	c * 103s| 52841 | 23992 |124770 |   2.4 |  74M| 157 |   - |3825 |6019 |3825 | 904 |  23k|5148 |1650 | 0.000000e+00 | 2.880000e+02 |    Inf 
106.88/106.91	o 281
106.88/106.91	c * 104s| 52897 | 23269 |125101 |   2.4 |  73M| 157 |   - |3825 |6019 |3825 | 926 |  23k|5180 |1650 | 0.000000e+00 | 2.810000e+02 |    Inf 
107.78/107.86	o 279
107.78/107.86	c * 105s| 53259 | 23269 |126192 |   2.4 |  74M| 157 |   - |3825 |5998 |3825 | 934 |  23k|5306 |1650 | 0.000000e+00 | 2.790000e+02 |    Inf 
118.17/118.30	o 266
118.17/118.30	c * 115s| 57210 | 23309 |145269 |   2.5 |  77M| 157 |   - |3825 |7340 |3825 | 903 |  28k|9705 |1650 | 0.000000e+00 | 2.660000e+02 |    Inf 
119.18/119.22	o 258
119.18/119.22	c * 116s| 57535 | 22589 |147498 |   2.6 |  76M| 157 |   - |3825 |7029 |3825 | 926 |  29k|9959 |1650 | 0.000000e+00 | 2.580000e+02 |    Inf 
119.18/119.23	o 254
119.18/119.23	c * 116s| 57536 | 22167 |147498 |   2.6 |  75M| 157 |   - |3825 |7029 |3825 | 926 |  29k|9959 |1650 | 0.000000e+00 | 2.540000e+02 |    Inf 
120.88/120.97	o 253
120.88/120.97	c * 117s| 58195 | 22376 |150650 |   2.6 |  76M| 157 |   - |3825 |6877 |3825 | 933 |  29k|  10k|1650 | 0.000000e+00 | 2.530000e+02 |    Inf 
124.78/124.80	o 251
124.78/124.80	c * 121s| 59624 | 22966 |157255 |   2.6 |  78M| 157 |   - |3825 |6364 |3825 | 928 |  31k|  11k|1650 | 0.000000e+00 | 2.510000e+02 |    Inf 
124.78/124.80	o 249
124.78/124.80	c * 121s| 59625 | 22743 |157255 |   2.6 |  78M| 157 |   - |3825 |6364 |3825 | 928 |  31k|  11k|1650 | 0.000000e+00 | 2.490000e+02 |    Inf 
125.08/125.14	o 247
125.08/125.14	c * 121s| 59747 | 22601 |157652 |   2.6 |  78M| 157 |   - |3825 |6380 |3825 | 954 |  31k|  11k|1650 | 0.000000e+00 | 2.470000e+02 |    Inf 
125.78/125.83	c   122s| 60000 | 22751 |158718 |   2.6 |  78M| 157 |   4 |3825 |6346 |3825 | 913 |  31k|  11k|1650 | 0.000000e+00 | 2.470000e+02 |    Inf 
132.07/132.15	o 243
132.07/132.15	c * 128s| 62123 | 23549 |176356 |   2.8 |  82M| 157 |   - |3825 |6081 |3825 | 936 |  33k|  13k|1650 | 0.000000e+00 | 2.430000e+02 |    Inf 
132.07/132.16	o 238
132.07/132.16	c * 128s| 62124 | 22888 |176357 |   2.8 |  81M| 157 |   - |3825 |6081 |3825 | 936 |  33k|  13k|1650 | 0.000000e+00 | 2.380000e+02 |    Inf 
133.97/134.01	o 214
133.97/134.01	c * 130s| 62814 | 20401 |179416 |   2.9 |  74M| 157 |   - |3825 |6145 |3825 | 918 |  34k|  13k|1650 | 0.000000e+00 | 2.140000e+02 |    Inf 
134.08/134.14	o 213
134.08/134.14	c * 130s| 62851 | 20310 |179595 |   2.9 |  74M| 157 |   - |3825 |6122 |3825 | 924 |  34k|  13k|1650 | 0.000000e+00 | 2.130000e+02 |    Inf 
134.08/134.14	o 209
134.08/134.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
134.08/134.14	c * 130s| 62852 | 19815 |179595 |   2.9 |  73M| 157 |   - |3825 |6122 |3825 | 924 |  34k|  13k|1650 | 0.000000e+00 | 2.090000e+02 |    Inf 
134.08/134.20	o 198
134.08/134.20	c * 130s| 62867 | 18473 |179685 |   2.9 |  69M| 157 |   - |3825 |6106 |3825 | 914 |  34k|  13k|1650 | 0.000000e+00 | 1.980000e+02 |    Inf 
134.19/134.21	o 194
134.19/134.21	c * 130s| 62868 | 17948 |179685 |   2.9 |  67M| 157 |   - |3825 |6106 |3825 | 914 |  34k|  13k|1650 | 0.000000e+00 | 1.940000e+02 |    Inf 
134.78/134.81	o 190
134.78/134.81	c * 131s| 63060 | 17440 |181221 |   2.9 |  66M| 157 |   - |3825 |6080 |3825 | 929 |  34k|  14k|1650 | 0.000000e+00 | 1.900000e+02 |    Inf 
134.87/134.92	o 181
134.87/134.92	c * 131s| 63104 | 16248 |181400 |   2.9 |  63M| 157 |   - |3825 |6082 |3825 | 905 |  34k|  14k|1650 | 0.000000e+00 | 1.810000e+02 |    Inf 
134.87/134.93	o 177
134.87/134.93	c * 131s| 63105 | 15788 |181400 |   2.9 |  61M| 157 |   - |3825 |6082 |3825 | 905 |  34k|  14k|1650 | 0.000000e+00 | 1.770000e+02 |    Inf 
137.38/137.42	o 165
137.38/137.42	c * 133s| 63946 | 14678 |186287 |   2.9 |  59M| 157 |   - |3825 |6412 |3825 | 904 |  35k|  14k|1650 | 0.000000e+00 | 1.650000e+02 |    Inf 
137.38/137.42	o 163
137.38/137.42	c * 133s| 63947 | 14461 |186287 |   2.9 |  59M| 157 |   - |3825 |6412 |3825 | 904 |  35k|  14k|1650 | 0.000000e+00 | 1.630000e+02 |    Inf 
137.57/137.65	o 162
137.57/137.65	c * 134s| 64039 | 14410 |186505 |   2.9 |  59M| 157 |   - |3825 |6442 |3825 | 910 |  35k|  14k|1650 | 0.000000e+00 | 1.620000e+02 |    Inf 
137.97/138.00	o 156
137.97/138.00	c * 134s| 64164 | 13834 |186922 |   2.9 |  57M| 157 |   - |3825 |6629 |3825 | 917 |  36k|  15k|1650 | 0.000000e+00 | 1.560000e+02 |    Inf 
138.27/138.35	o 152
138.27/138.35	c * 134s| 64277 | 13435 |187661 |   2.9 |  57M| 157 |   - |3825 |6584 |3825 | 927 |  36k|  15k|1650 | 0.000000e+00 | 1.520000e+02 |    Inf 
138.27/138.35	o 149
138.27/138.35	c * 134s| 64278 | 13090 |187661 |   2.9 |  56M| 157 |   - |3825 |6584 |3825 | 927 |  36k|  15k|1650 | 0.000000e+00 | 1.490000e+02 |    Inf 
138.37/138.45	o 143
138.37/138.45	c * 134s| 64302 | 12108 |187827 |   2.9 |  53M| 157 |   - |3825 |6580 |3825 | 921 |  36k|  15k|1650 | 0.000000e+00 | 1.430000e+02 |    Inf 
138.37/138.45	o 140
138.37/138.45	c * 134s| 64303 | 11657 |187827 |   2.9 |  52M| 157 |   - |3825 |6580 |3825 | 921 |  36k|  15k|1650 | 0.000000e+00 | 1.400000e+02 |    Inf 
138.37/138.50	o 135
138.37/138.50	c * 134s| 64317 | 10800 |187867 |   2.9 |  51M| 157 |   - |3825 |6600 |3825 | 916 |  36k|  15k|1650 | 0.000000e+00 | 1.350000e+02 |    Inf 
138.48/138.50	o 129
138.48/138.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
138.48/138.50	c * 134s| 64318 |  9943 |187867 |   2.9 |  49M| 157 |   - |3825 |6600 |3825 | 916 |  36k|  15k|1650 | 0.000000e+00 | 1.290000e+02 |    Inf 
138.48/138.52	o 126
138.48/138.52	c * 134s| 64322 |  9620 |187886 |   2.9 |  48M| 157 |   - |3825 |6606 |3825 | 910 |  36k|  15k|1650 | 0.000000e+00 | 1.260000e+02 |    Inf 
138.48/138.56	o 123
138.48/138.56	c * 134s| 64330 |  9041 |187909 |   2.9 |  47M| 157 |   - |3825 |6601 |3825 | 913 |  36k|  15k|1650 | 0.000000e+00 | 1.230000e+02 |    Inf 
138.48/138.57	o 117
138.48/138.57	c * 134s| 64331 |  8468 |187909 |   2.9 |  45M| 157 |   - |3825 |6601 |3825 | 913 |  36k|  15k|1650 | 0.000000e+00 | 1.170000e+02 |    Inf 
138.58/138.60	o 115
138.58/138.60	c * 134s| 64338 |  8191 |187922 |   2.9 |  45M| 157 |   - |3825 |6608 |3825 | 910 |  36k|  15k|1650 | 0.000000e+00 | 1.150000e+02 |    Inf 
138.58/138.62	o 112
138.58/138.62	c * 135s| 64342 |  7928 |187929 |   2.9 |  44M| 157 |   - |3825 |6609 |3825 | 910 |  36k|  15k|1650 | 0.000000e+00 | 1.120000e+02 |    Inf 
138.58/138.66	o 109
138.58/138.66	c * 135s| 64352 |  7664 |187964 |   2.9 |  43M| 157 |   - |3825 |6624 |3825 | 910 |  36k|  15k|1650 | 0.000000e+00 | 1.090000e+02 |    Inf 
138.58/138.67	o 103
138.58/138.67	c * 135s| 64353 |  6849 |187964 |   2.9 |  41M| 157 |   - |3825 |6624 |3825 | 910 |  36k|  15k|1650 | 0.000000e+00 | 1.030000e+02 |    Inf 
139.77/139.81	o 100
139.77/139.81	c * 136s| 64739 |  6733 |189825 |   2.9 |  42M| 157 |   - |3825 |6585 |3825 | 899 |  36k|  15k|1650 | 0.000000e+00 | 1.000000e+02 |    Inf 
140.97/141.06	o 94
140.97/141.06	c * 137s| 65108 |  5987 |192017 |   2.9 |  41M| 157 |   - |3825 |6083 |3825 | 911 |  36k|  15k|1650 | 0.000000e+00 | 9.400000e+01 |    Inf 
140.97/141.07	o 92
140.97/141.07	c * 137s| 65109 |  5823 |192018 |   2.9 |  41M| 157 |   - |3825 |6083 |3825 | 911 |  36k|  15k|1650 | 0.000000e+00 | 9.200000e+01 |    Inf 
141.07/141.12	o 79
141.07/141.12	c * 137s| 65118 |  5013 |192170 |   2.9 |  39M| 157 |   - |3825 |5910 |3825 | 937 |  36k|  15k|1650 | 0.000000e+00 | 7.900000e+01 |    Inf 
141.07/141.13	o 75
141.07/141.13	c * 137s| 65119 |  4677 |192170 |   2.9 |  37M| 157 |   - |3825 |5910 |3825 | 937 |  36k|  15k|1650 | 0.000000e+00 | 7.500000e+01 |    Inf 
141.57/141.68	o 67
141.57/141.68	c * 137s| 65258 |  4168 |193575 |   3.0 |  36M| 157 |   - |3825 |5385 |3825 | 903 |  36k|  16k|1650 | 0.000000e+00 | 6.700000e+01 |    Inf 
141.57/141.69	o 63
141.57/141.69	c * 138s| 65259 |  3888 |193575 |   3.0 |  36M| 157 |   - |3825 |5385 |3825 | 903 |  36k|  16k|1650 | 0.000000e+00 | 6.300000e+01 |    Inf 
141.67/141.72	o 48
141.67/141.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
141.67/141.72	c * 138s| 65262 |  1197 |193652 |   3.0 |  28M| 157 |   - |3825 |5120 |3825 | 903 |  36k|  16k|1650 | 0.000000e+00 | 4.800000e+01 |    Inf 
142.87/142.95	o 47
142.87/142.95	c * 139s| 65712 |  1091 |196396 |   3.0 |  29M| 157 |   - |3825 |4841 |3825 | 922 |  36k|  16k|1650 | 0.000000e+00 | 4.700000e+01 |    Inf 
143.37/143.43	o 45
143.37/143.43	c * 139s| 65923 |  1042 |197222 |   3.0 |  29M| 157 |   - |3825 |4943 |3825 | 908 |  36k|  17k|1650 | 0.000000e+00 | 4.500000e+01 |    Inf 
143.97/144.04	o 39
143.97/144.04	c * 140s| 66147 |   985 |198642 |   3.0 |  29M| 157 |   - |3825 |4938 |3825 | 905 |  36k|  17k|1650 | 0.000000e+00 | 3.900000e+01 |    Inf 
143.97/144.07	o 31
143.97/144.07	c * 140s| 66151 |   880 |198680 |   3.0 |  29M| 157 |   - |3825 |4799 |3825 | 905 |  36k|  17k|1650 | 0.000000e+00 | 3.100000e+01 |    Inf 
151.27/151.36	c   147s| 70000 |   857 |213710 |   3.1 |  31M| 157 |   - |3825 |7258 |   0 |   0 |  37k|  22k|1650 | 0.000000e+00 | 3.100000e+01 |    Inf 
151.37/151.45	o 28
151.37/151.45	c * 147s| 70039 |   839 |213887 |   3.1 |  30M| 157 |   - |3825 |7295 |3825 | 901 |  37k|  22k|1650 | 0.000000e+00 | 2.800000e+01 |    Inf 
151.47/151.52	o 20
151.47/151.52	c * 147s| 70070 |   776 |214023 |   3.1 |  30M| 157 |   - |3825 |7201 |3825 | 911 |  37k|  22k|1650 | 0.000000e+00 | 2.000000e+01 |    Inf 
153.37/153.47	o 18
153.37/153.47	c * 149s| 71226 |   731 |217613 |   3.1 |  30M| 157 |   - |3825 |8013 |3825 | 895 |  37k|  24k|1650 | 0.000000e+00 | 1.800000e+01 |    Inf 
153.48/153.54	o 16
153.48/153.54	c * 149s| 71253 |   668 |217784 |   3.1 |  29M| 157 |   - |3825 |7917 |3825 | 895 |  37k|  24k|1650 | 0.000000e+00 | 1.600000e+01 |    Inf 
168.47/168.60	c   163s| 80000 |   602 |247902 |   3.1 |  30M| 157 |   - |3825 |8639 |   0 |   0 |  38k|  35k|1650 | 0.000000e+00 | 1.600000e+01 |    Inf 
186.98/187.06	c   181s| 90000 |   581 |285855 |   3.2 |  32M| 157 |   1 |3825 |  12k|3825 | 895 |  40k|  49k|1650 | 0.000000e+00 | 1.600000e+01 |    Inf 
205.27/205.34	c   199s|100000 |   622 |318339 |   3.2 |  34M| 157 |  19 |3825 |  14k|3825 | 905 |  41k|  63k|1667 | 0.000000e+00 | 1.600000e+01 |    Inf 
224.47/224.58	c   217s|110000 |   673 |352451 |   3.2 |  36M| 157 |  14 |3825 |  17k|3825 | 907 |  42k|  75k|1702 | 0.000000e+00 | 1.600000e+01 |    Inf 
243.87/243.98	c   236s|120000 |   774 |383286 |   3.2 |  38M| 157 |  14 |3825 |  20k|3825 | 895 |  44k|  88k|1757 | 0.000000e+00 | 1.600000e+01 |    Inf 
255.68/255.72	o 15
255.68/255.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
255.68/255.72	c * 247s|125566 |   791 |402053 |   3.2 |  40M| 157 |   - |3825 |  22k|3825 | 899 |  45k|  95k|1779 | 0.000000e+00 | 1.500000e+01 |    Inf 
265.18/265.20	c   256s|130000 |   822 |417339 |   3.2 |  39M| 157 |   1 |3825 |  18k|3825 | 906 |  45k| 101k|1810 | 0.000000e+00 | 1.500000e+01 |    Inf 
285.67/285.73	c   276s|140000 |   822 |452881 |   3.2 |  39M| 157 |   - |3825 |  15k|   0 |   0 |  47k| 114k|1890 | 0.000000e+00 | 1.500000e+01 |    Inf 
291.78/291.89	o 10
291.78/291.89	c * 282s|143246 |   725 |464489 |   3.2 |  37M| 157 |   - |3825 |  16k|3825 | 903 |  47k| 118k|1914 | 0.000000e+00 | 1.000000e+01 |    Inf 
304.58/304.64	c   294s|150000 |   759 |489088 |   3.3 |  38M| 157 |   9 |3825 |  18k|3825 | 895 |  48k| 127k|1955 | 0.000000e+00 | 1.000000e+01 |    Inf 
306.68/306.74	o 9
306.68/306.74	c * 296s|151114 |   746 |492778 |   3.3 |  38M| 157 |   - |3825 |  18k|3825 | 895 |  48k| 128k|1957 | 0.000000e+00 | 9.000000e+00 |    Inf 
323.88/323.98	c   313s|160000 |   826 |523590 |   3.3 |  39M| 157 |   - |3825 |  17k|   0 |   0 |  50k| 141k|2008 | 0.000000e+00 | 9.000000e+00 |    Inf 
343.47/343.51	c   332s|170000 |   881 |561095 |   3.3 |  40M| 157 |   - |3825 |  20k|   0 |   0 |  51k| 154k|2106 | 0.000000e+00 | 9.000000e+00 |    Inf 
363.47/363.56	c   351s|180000 |   947 |600290 |   3.3 |  41M| 157 |  16 |3825 |  17k|3825 | 895 |  53k| 167k|2183 | 0.000000e+00 | 9.000000e+00 |    Inf 
382.37/382.47	c   369s|190000 |  1018 |636390 |   3.3 |  41M| 157 |  11 |3825 |  15k|3825 | 895 |  54k| 181k|2278 | 0.000000e+00 | 9.000000e+00 |    Inf 
401.58/401.61	c   387s|200000 |  1021 |672300 |   3.4 |  43M| 157 |   - |3825 |  18k|   0 |   0 |  56k| 194k|2363 | 0.000000e+00 | 9.000000e+00 |    Inf 
422.38/422.49	c   407s|210000 |  1024 |709291 |   3.4 |  43M| 157 |   - |3825 |  18k|   0 |   0 |  57k| 207k|2465 | 0.000000e+00 | 9.000000e+00 |    Inf 
442.38/442.43	c   427s|220000 |  1082 |745282 |   3.4 |  45M| 157 |   8 |3825 |  22k|3825 | 895 |  59k| 220k|2533 | 0.000000e+00 | 9.000000e+00 |    Inf 
463.78/463.85	c   447s|230000 |  1142 |781071 |   3.4 |  48M| 157 |   6 |3825 |  25k|3825 | 895 |  60k| 233k|2593 | 0.000000e+00 | 9.000000e+00 |    Inf 
485.98/486.03	c   469s|240000 |  1198 |817971 |   3.4 |  49M| 157 |   - |3825 |  27k|   0 |   0 |  62k| 247k|2650 | 0.000000e+00 | 9.000000e+00 |    Inf 
508.67/508.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
508.67/508.70	c   491s|250000 |  1275 |853804 |   3.4 |  52M| 157 |   - |3825 |  29k|   0 |   0 |  63k| 261k|2722 | 0.000000e+00 | 9.000000e+00 |    Inf 
531.18/531.21	c   513s|260000 |  1211 |888205 |   3.4 |  50M| 157 |   4 |3825 |  23k|3825 | 895 |  65k| 275k|2835 | 0.000000e+00 | 9.000000e+00 |    Inf 
553.18/553.20	c   534s|270000 |  1261 |925099 |   3.4 |  51M| 157 |   - |3825 |  26k|   0 |   0 |  66k| 288k|2915 | 0.000000e+00 | 9.000000e+00 |    Inf 
577.07/577.10	c   557s|280000 |  1310 |962931 |   3.4 |  53M| 157 |   7 |3825 |  29k|3825 | 895 |  67k| 301k|3002 | 0.000000e+00 | 9.000000e+00 |    Inf 
600.98/601.02	c   580s|290000 |  1343 |  1000k|   3.4 |  55M| 157 |   - |3825 |  33k|   0 |   0 |  69k| 314k|3064 | 0.000000e+00 | 9.000000e+00 |    Inf 
627.78/627.88	c   606s|300000 |  1411 |  1041k|   3.5 |  57M| 157 |  20 |3825 |  35k|3825 | 895 |  71k| 327k|3126 | 0.000000e+00 | 9.000000e+00 |    Inf 
654.38/654.48	c   632s|310000 |  1472 |  1080k|   3.5 |  57M| 157 |   - |3825 |  34k|   0 |   0 |  72k| 340k|3188 | 0.000000e+00 | 9.000000e+00 |    Inf 
680.67/680.77	c   658s|320000 |  1500 |  1120k|   3.5 |  58M| 157 |  20 |3825 |  32k|3825 | 895 |  73k| 354k|3253 | 0.000000e+00 | 9.000000e+00 |    Inf 
704.98/705.08	c   681s|330000 |  1541 |  1160k|   3.5 |  59M| 157 |   - |3825 |  31k|   0 |   0 |  75k| 367k|3354 | 0.000000e+00 | 9.000000e+00 |    Inf 
728.68/728.77	c   704s|340000 |  1568 |  1196k|   3.5 |  58M| 157 |   - |3825 |  27k|   0 |   0 |  76k| 380k|3420 | 0.000000e+00 | 9.000000e+00 |    Inf 
751.58/751.69	c   726s|350000 |  1590 |  1232k|   3.5 |  59M| 157 |   - |3825 |  26k|   0 |   0 |  78k| 394k|3492 | 0.000000e+00 | 9.000000e+00 |    Inf 
774.58/774.66	c   749s|360000 |  1647 |  1272k|   3.5 |  60M| 157 |   1 |3825 |  26k|3825 | 903 |  79k| 406k|3576 | 0.000000e+00 | 9.000000e+00 |    Inf 
796.58/796.65	c   770s|370000 |  1668 |  1310k|   3.5 |  60M| 157 |   8 |3825 |  24k|3825 | 895 |  81k| 420k|3641 | 0.000000e+00 | 9.000000e+00 |    Inf 
817.18/817.23	c   790s|380000 |  1704 |  1344k|   3.5 |  61M| 157 |   - |3825 |  25k|   0 |   0 |  82k| 433k|3684 | 0.000000e+00 | 9.000000e+00 |    Inf 
838.19/838.25	c   810s|390000 |  1720 |  1379k|   3.5 |  63M| 157 |   - |3825 |  27k|   0 |   0 |  83k| 446k|3745 | 0.000000e+00 | 9.000000e+00 |    Inf 
851.98/852.00	o 7
851.98/852.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
851.98/852.00	c * 823s|396704 |  1576 |  1401k|   3.5 |  59M| 157 |   - |3825 |  25k|3825 | 895 |  84k| 456k|3821 | 0.000000e+00 | 7.000000e+00 |    Inf 
852.18/852.26	o 6
852.18/852.26	c * 823s|396832 |  1548 |  1402k|   3.5 |  59M| 157 |   - |3825 |  24k|3825 | 895 |  84k| 456k|3821 | 0.000000e+00 | 6.000000e+00 |    Inf 
858.28/858.38	c   829s|400000 |  1539 |  1412k|   3.5 |  57M| 157 |   1 |3825 |  20k|3825 | 895 |  85k| 460k|3825 | 0.000000e+00 | 6.000000e+00 |    Inf 
877.18/877.22	c   847s|410000 |  1542 |  1448k|   3.5 |  57M| 157 |   1 |3825 |  19k|3825 | 895 |  86k| 474k|3891 | 0.000000e+00 | 6.000000e+00 |    Inf 
896.58/896.66	c   866s|420000 |  1603 |  1488k|   3.5 |  59M| 157 |   - |3825 |  20k|   0 |   0 |  87k| 487k|3955 | 0.000000e+00 | 6.000000e+00 |    Inf 
915.68/915.73	c   884s|430000 |  1714 |  1526k|   3.5 |  59M| 157 |   - |3825 |  19k|   0 |   0 |  89k| 502k|4031 | 0.000000e+00 | 6.000000e+00 |    Inf 
934.78/934.90	c   903s|440000 |  1789 |  1564k|   3.6 |  61M| 157 |   - |3825 |  21k|   0 |   0 |  90k| 515k|4086 | 0.000000e+00 | 6.000000e+00 |    Inf 
954.88/954.95	c   922s|450000 |  1821 |  1603k|   3.6 |  62M| 157 |   - |3825 |  22k|   0 |   0 |  91k| 528k|4203 | 0.000000e+00 | 6.000000e+00 |    Inf 
974.89/974.93	c   941s|460000 |  1841 |  1640k|   3.6 |  62M| 157 |   9 |3825 |  20k|3825 | 895 |  93k| 541k|4260 | 0.000000e+00 | 6.000000e+00 |    Inf 
994.58/994.68	c   960s|470000 |  1900 |  1682k|   3.6 |  63M| 157 |   1 |3825 |  21k|3825 | 899 |  94k| 554k|4334 | 0.000000e+00 | 6.000000e+00 |    Inf 
1013.88/1013.96	c   978s|480000 |  1942 |  1720k|   3.6 |  62M| 157 |  22 |3825 |  16k|3825 | 900 |  95k| 567k|4385 | 0.000000e+00 | 6.000000e+00 |    Inf 
1032.69/1032.74	c   996s|490000 |  2002 |  1757k|   3.6 |  64M| 157 |   7 |3825 |  19k|3825 | 902 |  97k| 580k|4427 | 0.000000e+00 | 6.000000e+00 |    Inf 
1051.49/1051.51	c  1014s|500000 |  2041 |  1792k|   3.6 |  65M| 157 |   - |3825 |  20k|   0 |   0 |  98k| 593k|4485 | 0.000000e+00 | 6.000000e+00 |    Inf 
1071.69/1071.79	c  1034s|510000 |  2104 |  1827k|   3.6 |  68M| 157 |   - |3825 |  24k|   0 |   0 |  99k| 606k|4542 | 0.000000e+00 | 6.000000e+00 |    Inf 
1092.48/1092.54	c  1054s|520000 |  2187 |  1863k|   3.6 |  70M| 157 |   - |3825 |  27k|   0 |   0 | 101k| 621k|4591 | 0.000000e+00 | 6.000000e+00 |    Inf 
1114.58/1114.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1114.58/1114.60	c  1075s|530000 |  2231 |  1900k|   3.6 |  70M| 157 |   - |3825 |  25k|   0 |   0 | 102k| 635k|4658 | 0.000000e+00 | 6.000000e+00 |    Inf 
1127.78/1127.82	o 5
1127.78/1127.82	c *1087s|535416 |   782 |  1921k|   3.6 |  44M| 157 |   - |3825 |  26k|3825 | 895 | 103k| 642k|4665 | 0.000000e+00 | 5.000000e+00 |    Inf 
1129.89/1129.97	o 2
1129.89/1129.97	c *1090s|536384 |   625 |  1925k|   3.6 |  42M| 157 |   - |3825 |  26k|3825 | 902 | 103k| 643k|4677 | 0.000000e+00 | 2.000000e+00 |    Inf 
1137.59/1137.68	c  1097s|540000 |   605 |  1940k|   3.6 |  40M| 157 |   - |3825 |  19k|   0 |   0 | 104k| 648k|4734 | 0.000000e+00 | 2.000000e+00 |    Inf 
1157.88/1157.98	c  1116s|550000 |   630 |  1981k|   3.6 |  42M| 157 |  14 |3825 |  25k|3825 | 895 | 105k| 660k|4788 | 0.000000e+00 | 2.000000e+00 |    Inf 
1180.49/1180.57	c  1138s|560000 |   610 |  2022k|   3.6 |  42M| 157 |   1 |3825 |  27k|3825 | 895 | 106k| 674k|4841 | 0.000000e+00 | 2.000000e+00 |    Inf 
1202.39/1202.45	c  1159s|570000 |   611 |  2055k|   3.6 |  45M| 157 |  12 |3825 |  33k|3825 | 895 | 108k| 688k|4882 | 0.000000e+00 | 2.000000e+00 |    Inf 
1225.49/1225.52	c  1181s|580000 |   584 |  2094k|   3.6 |  44M| 157 |   - |3825 |  30k|3825 | 895 | 109k| 701k|4947 | 0.000000e+00 | 2.000000e+00 |    Inf 
1249.59/1249.64	c  1204s|590000 |   584 |  2134k|   3.6 |  46M| 157 |   8 |3825 |  37k|3825 | 895 | 110k| 715k|5002 | 0.000000e+00 | 2.000000e+00 |    Inf 
1273.59/1273.62	c  1227s|600000 |   584 |  2177k|   3.6 |  45M| 157 |   1 |3825 |  32k|3825 | 895 | 111k| 728k|5083 | 0.000000e+00 | 2.000000e+00 |    Inf 
1299.89/1299.91	c  1252s|610000 |   615 |  2219k|   3.6 |  47M| 157 |   - |3825 |  39k|   0 |   0 | 113k| 741k|5144 | 0.000000e+00 | 2.000000e+00 |    Inf 
1327.49/1327.55	c  1279s|620000 |   641 |  2258k|   3.6 |  49M| 157 |   - |3825 |  43k|   0 |   0 | 114k| 754k|5193 | 0.000000e+00 | 2.000000e+00 |    Inf 
1359.39/1359.40	c  1310s|630000 |   665 |  2297k|   3.6 |  51M| 157 |   - |3825 |  49k|   0 |   0 | 115k| 767k|5225 | 0.000000e+00 | 2.000000e+00 |    Inf 
1392.79/1392.89	c  1343s|640000 |   691 |  2337k|   3.7 |  53M| 157 |   1 |3825 |  53k|3825 | 895 | 116k| 780k|5281 | 0.000000e+00 | 2.000000e+00 |    Inf 
1429.70/1429.75	c  1379s|650000 |   681 |  2377k|   3.7 |  54M| 157 |  19 |3825 |  56k|3825 | 895 | 117k| 793k|5342 | 0.000000e+00 | 2.000000e+00 |    Inf 
1467.80/1467.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1467.80/1467.82	c  1416s|660000 |   677 |  2417k|   3.7 |  56M| 157 |   - |3825 |  60k|   0 |   0 | 118k| 807k|5408 | 0.000000e+00 | 2.000000e+00 |    Inf 
1506.19/1506.21	c  1453s|670000 |   678 |  2456k|   3.7 |  57M| 157 |   - |3825 |  62k|   0 |   0 | 119k| 821k|5458 | 0.000000e+00 | 2.000000e+00 |    Inf 
1546.60/1546.61	c  1493s|680000 |   682 |  2498k|   3.7 |  59M| 157 |  11 |3825 |  66k|3825 | 905 | 121k| 835k|5493 | 0.000000e+00 | 2.000000e+00 |    Inf 
1587.50/1587.56	c  1533s|690000 |   699 |  2540k|   3.7 |  60M| 157 |   6 |3825 |  69k|3825 | 895 | 122k| 849k|5540 | 0.000000e+00 | 2.000000e+00 |    Inf 
1629.01/1629.05	c  1573s|700000 |   668 |  2580k|   3.7 |  61M| 157 |   - |3825 |  71k|   0 |   0 | 123k| 863k|5604 | 0.000000e+00 | 2.000000e+00 |    Inf 
1668.80/1668.89	c  1612s|710000 |   626 |  2622k|   3.7 |  57M| 157 |  22 |3825 |  60k|3825 | 895 | 125k| 877k|5707 | 0.000000e+00 | 2.000000e+00 |    Inf 
1703.10/1703.14	c  1645s|720000 |   628 |  2660k|   3.7 |  57M| 157 |   - |3825 |  59k|   0 |   0 | 126k| 890k|5735 | 0.000000e+00 | 2.000000e+00 |    Inf 
1738.70/1738.78	c  1680s|730000 |   631 |  2698k|   3.7 |  59M| 157 |   - |3825 |  63k|   0 |   0 | 127k| 904k|5783 | 0.000000e+00 | 2.000000e+00 |    Inf 
1776.60/1776.60	c  1717s|740000 |   629 |  2735k|   3.7 |  61M| 157 |  18 |3825 |  69k|3825 | 895 | 129k| 917k|5839 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.01/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00	c 
1800.01/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.00	c Solving Time (sec) : 1739.93
1800.01/1800.00	c Solving Nodes      : 745766
1800.01/1800.00	c Primal Bound       : +2.00000000000000e+00 (218 solutions)
1800.01/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.00	c Gap                : infinite
1800.01/1800.04	s SATISFIABLE
1800.01/1800.04	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.01/1800.04	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 
1800.01/1800.04	v -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.01/1800.04	v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 
1800.01/1800.04	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.01/1800.04	v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 
1800.01/1800.04	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.01/1800.04	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.01/1800.04	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.01/1800.04	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.01/1800.04	v -x1 
1800.01/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.04	c Solving Time       :    1739.93
1800.01/1800.04	c Original Problem   :
1800.01/1800.04	c   Problem name     : HOME/instance-2692311-1277912363.wbo
1800.01/1800.04	c   Variables        : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.01/1800.04	c   Constraints      : 4571 initial, 4571 maximal
1800.01/1800.04	c Presolved Problem  :
1800.01/1800.04	c   Problem name     : t_HOME/instance-2692311-1277912363.wbo
1800.01/1800.04	c   Variables        : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.01/1800.04	c   Constraints      : 4418 initial, 72171 maximal
1800.01/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.04	c   trivial          :       0.00         66          0          0          0          0          0          0          0
1800.01/1800.04	c   dualfix          :       0.00         66          0          0          0          0          0          0          0
1800.01/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.01/1800.04	c   indicator        :       0.00          0          0          0          0          0         66          0          0
1800.01/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.04	c   linear           :       0.05          0          0          0       1878          0         87         72          0
1800.01/1800.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.04	c   root node        :          -       1791          -          -       3582          -          -          -          -
1800.01/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.04	c   integral         :          0          0          0     453227          0          6        398          0          0     769574
1800.01/1800.04	c   indicator        :       1797          0    3556423      67808          0        224    3460686          0          0          0
1800.01/1800.04	c   setppc           :          5          6    3560283      40288          0       4002     544988          0          0          0
1800.01/1800.04	c   linear           :       1797          6    3617022      65751          0     212081   17834326     129870          0          0
1800.01/1800.04	c   logicor          :        819+         6    1366329      50409          0     140164    3171028          0          0          0
1800.01/1800.04	c   bounddisjunction :          0+         0      44909          0          0         28        349          0          0          0
1800.01/1800.04	c   countsols        :          0          0          0      50409          0          0          0          0          0          0
1800.01/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.04	c   integral         :      20.76       0.00       0.00      20.76       0.00
1800.01/1800.04	c   indicator        :      18.63       0.00      11.04       7.59       0.00
1800.01/1800.04	c   setppc           :       3.91       0.00       3.90       0.01       0.00
1800.01/1800.04	c   linear           :     137.35       0.00     135.24       2.11       0.00
1800.01/1800.04	c   logicor          :     380.93       0.00     380.43       0.50       0.00
1800.01/1800.04	c   bounddisjunction :       0.05       0.00       0.05       0.00       0.00
1800.01/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.04	c   vbounds          :       0.04          2          0          0
1800.01/1800.04	c   rootredcost      :       0.02         92          0       1791
1800.01/1800.04	c   pseudoobj        :     126.41    3628934       4880    2204150
1800.01/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.04	c   propagation      :      16.27     361155     361013    2255006       24.0      14057       19.0          -
1800.01/1800.04	c   infeasible LP    :       4.07      13691      13691     113022       39.5        113       17.2          0
1800.01/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.04	c   pseudo solution  :       0.07        373        373       1582       10.6        246        4.7          -
1800.01/1800.04	c   applied globally :          -          -          -     926057       19.0          -          -          -
1800.01/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.04	c   cut pool         :       0.00          4          -          -        102          -    (maximal pool size: 237)
1800.01/1800.04	c   redcost          :      23.75     457405          0    1183136          0          0
1800.01/1800.04	c   impliedbounds    :       0.00          5          0          0          0          0
1800.01/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.04	c   gomory           :       0.12          5          0          0       1214          0
1800.01/1800.04	c   strongcg         :       0.05          5          0          0          0          0
1800.01/1800.04	c   cmir             :       0.04          5          0          0          1          0
1800.01/1800.04	c   flowcover        :       0.06          5          0          0          0          0
1800.01/1800.04	c   clique           :       0.00          5          0          0          0          0
1800.01/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.04	c Pricers            :       Time      Calls       Vars
1800.01/1800.04	c   problem variables:       0.00          0          0
1800.01/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.04	c   relpscost        :      20.59     385133          6        398          0          0     769574
1800.01/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.04	c   inference        :       8.35      50318          0          0          0          0     100636
1800.01/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.04	c   LP solutions     :       0.18          -         91
1800.01/1800.04	c   pseudo solutions :       0.00          -          0
1800.01/1800.04	c   feaspump         :       0.00          0          0
1800.01/1800.04	c   oneopt           :       0.35         72          0
1800.01/1800.04	c   intshifting      :       0.00         10          0
1800.01/1800.04	c   crossover        :       1.70         81          0
1800.01/1800.04	c   linesearchdiving :       1.38       1320          0
1800.01/1800.04	c   pscostdiving     :       1.69       1321          0
1800.01/1800.04	c   fracdiving       :       1.44       1321          0
1800.01/1800.04	c   veclendiving     :       1.31       1321          0
1800.01/1800.04	c   guideddiving     :       1.45       1321          0
1800.01/1800.04	c   coefdiving       :       1.32       1321          0
1800.01/1800.04	c   rootsoldiving    :       1.25       1202          0
1800.01/1800.04	c   objpscostdiving  :       1.21       1203          0
1800.01/1800.04	c   trivial          :       0.01          2          0
1800.01/1800.04	c   simplerounding   :       0.56     386111          0
1800.01/1800.04	c   zirounding       :       0.11       1000          0
1800.01/1800.04	c   rounding         :       1.81       8739          0
1800.01/1800.04	c   shifting         :       1.51       2742          0
1800.01/1800.04	c   twoopt           :       0.00          0          0
1800.01/1800.04	c   fixandinfer      :       0.00          0          0
1800.01/1800.04	c   intdiving        :       0.00          0          0
1800.01/1800.04	c   actconsdiving    :       0.00          0          0
1800.01/1800.04	c   octane           :       0.00          0          0
1800.01/1800.04	c   rens             :       0.02          1          0
1800.01/1800.04	c   rins             :       0.00          0          0
1800.01/1800.04	c   localbranching   :       0.00          0          0
1800.01/1800.04	c   mutation         :       0.00          0          0
1800.01/1800.04	c   dins             :       0.00          0          0
1800.01/1800.04	c   undercover       :       0.00          0          0
1800.01/1800.04	c   nlp              :       0.01          0          0
1800.01/1800.04	c   trysol           :       1.80       7865        127
1800.01/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.04	c   dual LP          :     432.78     420740    2754156       6.55    6363.87
1800.01/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.04	c   diving/probing LP:       0.25        223       2701      12.11   10804.00
1800.01/1800.04	c   strong branching :      16.57       5855     122030      20.84    7364.51
1800.01/1800.04	c     (at root node) :          -         33       3901     118.21          -
1800.01/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.04	c B&B Tree           :
1800.01/1800.04	c   number of runs   :          1
1800.01/1800.04	c   nodes            :     745766
1800.01/1800.04	c   nodes (total)    :     745766
1800.01/1800.04	c   nodes left       :        626
1800.01/1800.04	c   max depth        :        157
1800.01/1800.04	c   max depth (total):        157
1800.01/1800.04	c   backtracks       :      75454 (10.1%)
1800.01/1800.04	c   delayed cutoffs  :      66696
1800.01/1800.04	c   repropagations   :    1532327 (5574015 domain reductions, 64792 cutoffs)
1800.01/1800.04	c   avg switch length:       5.57
1800.01/1800.04	c   switching time   :     302.10
1800.01/1800.04	c Solution           :
1800.01/1800.04	c   Solutions found  :        218 (92 improvements)
1800.01/1800.04	c   First Solution   : +9.08110000000000e+04   (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.01/1800.04	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 536384 nodes, 1089.52 seconds, depth 45, found by <relaxation>)
1800.01/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.04	c   Gap              :   infinite
1800.01/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.04	c   Root Iterations  :        196
1800.11/1800.15	c Time complete: 1800.15.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692311-1277912363/watcher-2692311-1277912363 -o /tmp/evaluation-result-2692311-1277912363/solver-2692311-1277912363 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692311-1277912363.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.92 2.58 2.26 4/199 13298
/proc/meminfo: memFree=31349304/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=9288 CPUtime=0
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 1647 0 0 0 0 0 0 0 25 0 1 0 132533208 9510912 1566 4089446400 4194304 8223781 140735386602912 18446744073709551615 5960186 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13298/statm: 2322 1566 369 984 0 1335 0

[startup+0.0516801 s]
/proc/loadavg: 2.92 2.58 2.26 4/199 13298
/proc/meminfo: memFree=31349304/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=29328 CPUtime=0.04
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 6690 0 0 0 4 0 0 0 25 0 1 0 132533208 30031872 6245 4089446400 4194304 8223781 140735386602912 18446744073709551615 4332018 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 7332 6245 422 984 0 6345 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29328

[startup+0.10067 s]
/proc/loadavg: 2.92 2.58 2.26 4/199 13298
/proc/meminfo: memFree=31349304/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=29784 CPUtime=0.09
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 7593 0 0 0 8 1 0 0 25 0 1 0 132533208 30498816 6377 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 7446 6377 452 984 0 6459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29784

[startup+0.300633 s]
/proc/loadavg: 2.92 2.58 2.26 4/199 13298
/proc/meminfo: memFree=31349304/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=37324 CPUtime=0.28
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 12497 0 0 0 25 3 0 0 25 0 1 0 132533208 38219776 8423 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13298/statm: 9331 8423 570 984 0 8344 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37324

[startup+0.700565 s]
/proc/loadavg: 2.92 2.58 2.26 4/199 13298
/proc/meminfo: memFree=31349304/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=40132 CPUtime=0.67
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 18338 0 0 0 62 5 0 0 25 0 1 0 132533208 41095168 9044 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 10033 9044 585 984 0 9046 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 40132

[startup+1.50042 s]
/proc/loadavg: 2.92 2.58 2.26 4/200 13299
/proc/meminfo: memFree=31314640/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=40336 CPUtime=1.48
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 18575 0 0 0 140 8 0 0 25 0 1 0 132533208 41304064 9064 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 10084 9064 586 984 0 9097 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40336

[startup+3.10121 s]
/proc/loadavg: 2.92 2.58 2.26 4/200 13299
/proc/meminfo: memFree=31314268/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=40160 CPUtime=3.08
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 19068 0 0 0 294 14 0 0 25 0 1 0 132533208 41123840 9054 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 10040 9054 587 984 0 9053 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40160

[startup+6.30058 s]
/proc/loadavg: 2.93 2.58 2.27 4/200 13299
/proc/meminfo: memFree=31313648/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=40220 CPUtime=6.27
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 19376 0 0 0 601 26 0 0 25 0 1 0 132533208 41185280 9102 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 10055 9102 588 984 0 9068 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40220

[startup+12.7004 s]
/proc/loadavg: 2.93 2.59 2.27 3/200 13299
/proc/meminfo: memFree=31305232/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=50108 CPUtime=12.68
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 39053 0 0 0 1219 49 0 0 25 0 1 0 132533208 51310592 11375 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 12527 11375 590 984 0 11540 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50108

[startup+25.5022 s]
/proc/loadavg: 2.95 2.61 2.28 4/200 13299
/proc/meminfo: memFree=31290104/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=64000 CPUtime=25.48
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 53307 0 0 0 2464 84 0 0 25 0 1 0 132533208 65536000 14893 4089446400 4194304 8223781 140735386602912 18446744073709551615 6448516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 16000 14893 590 984 0 15013 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64000

[startup+51.1007 s]
/proc/loadavg: 2.89 2.62 2.29 4/200 13299
/proc/meminfo: memFree=31251400/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=94708 CPUtime=51.08
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 73269 0 0 0 4940 168 0 0 25 0 1 0 132533208 96980992 22638 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 23677 22638 593 984 0 22690 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94708

[startup+102.307 s]
/proc/loadavg: 2.97 2.68 2.33 4/200 13301
/proc/meminfo: memFree=31192936/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=139944 CPUtime=102.28
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 163066 0 0 0 9920 308 0 0 25 0 1 0 132533208 143302656 33928 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 34986 33928 595 984 0 33999 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 139944

[startup+162.301 s]
/proc/loadavg: 2.86 2.70 2.36 4/200 13303
/proc/meminfo: memFree=31138068/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=185132 CPUtime=162.27
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 297639 0 0 0 15729 498 0 0 25 0 1 0 132533208 189575168 45051 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 46283 45051 605 984 0 45296 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 185132

[startup+222.301 s]
/proc/loadavg: 2.82 2.72 2.38 4/200 13304
/proc/meminfo: memFree=31125360/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=191152 CPUtime=222.27
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 318725 0 0 0 21508 719 0 0 25 0 1 0 132533208 195739648 46565 4089446400 4194304 8223781 140735386602912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 47788 46565 605 984 0 46801 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 191152

[startup+282.301 s]
/proc/loadavg: 2.85 2.74 2.41 4/200 13306
/proc/meminfo: memFree=31114264/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=196964 CPUtime=282.27
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 354252 0 0 0 27277 950 0 0 25 0 1 0 132533208 201691136 47991 4089446400 4194304 8223781 140735386602912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 49241 47991 605 984 0 48254 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 196964

[startup+342.3 s]
/proc/loadavg: 2.78 2.74 2.43 4/200 13307
/proc/meminfo: memFree=31104764/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=199152 CPUtime=342.27
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 429474 0 0 0 33043 1184 0 0 25 0 1 0 132533208 203931648 48552 4089446400 4194304 8223781 140735386602912 18446744073709551615 6558070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 49788 48552 605 984 0 48801 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 199152

[startup+402.301 s]
/proc/loadavg: 2.77 2.74 2.44 4/200 13309
/proc/meminfo: memFree=31092044/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=202768 CPUtime=402.27
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 441413 0 0 0 38809 1418 0 0 25 0 1 0 132533208 207634432 49457 4089446400 4194304 8223781 140735386602912 18446744073709551615 6003263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 50692 49457 605 984 0 49705 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 202768

[startup+462.3 s]
/proc/loadavg: 2.80 2.74 2.46 4/200 13311
/proc/meminfo: memFree=31079212/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=205836 CPUtime=462.27
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 451653 0 0 0 44580 1647 0 0 25 0 1 0 132533208 210776064 50227 4089446400 4194304 8223781 140735386602912 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 51459 50227 605 984 0 50472 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 205836

[startup+522.301 s]
/proc/loadavg: 2.80 2.75 2.48 4/200 13312
/proc/meminfo: memFree=31066984/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=209812 CPUtime=522.27
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 460770 0 0 0 50387 1840 0 0 25 0 1 0 132533208 214847488 51126 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 52453 51126 605 984 0 51466 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 209812

[startup+582.301 s]
/proc/loadavg: 2.78 2.75 2.49 4/200 13314
/proc/meminfo: memFree=31063068/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=211828 CPUtime=582.28
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 465623 0 0 0 56201 2027 0 0 25 0 1 0 132533208 216911872 51666 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 52957 51666 605 984 0 51970 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 211828

[startup+642.3 s]
/proc/loadavg: 2.85 2.78 2.52 4/200 13315
/proc/meminfo: memFree=31054320/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=215536 CPUtime=642.28
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 470070 0 0 0 62038 2190 0 0 25 0 1 0 132533208 220708864 52428 4089446400 4194304 8223781 140735386602912 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13298/statm: 53884 52428 605 984 0 52897 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 215536

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.05 2.48 2.46 3/179 13427
/proc/meminfo: memFree=31316240/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=223444 CPUtime=882.28
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 519037 0 0 0 85220 3008 0 0 25 0 1 0 132533208 228806656 54005 4089446400 4194304 8223781 140735386602912 18446744073709551615 5913374 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 55861 54005 605 984 0 54874 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 223444

[startup+942.301 s]
/proc/loadavg: 1.98 2.37 2.43 3/179 13501
/proc/meminfo: memFree=31180312/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=225784 CPUtime=942.29
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 527021 0 0 0 90977 3252 0 0 25 0 1 0 132533208 231202816 54579 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 56446 54579 605 984 0 55459 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 225784

[startup+1002.3 s]
/proc/loadavg: 1.99 2.30 2.40 3/179 13503
/proc/meminfo: memFree=31175056/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=229148 CPUtime=1002.28
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 534436 0 0 0 96738 3490 0 0 25 0 1 0 132533208 234647552 55408 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 57287 55408 605 984 0 56300 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 229148

[startup+1062.3 s]
/proc/loadavg: 1.99 2.25 2.37 3/179 13505
/proc/meminfo: memFree=31159420/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=232340 CPUtime=1062.29
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 543731 0 0 0 102464 3765 0 0 25 0 1 0 132533208 237916160 56180 4089446400 4194304 8223781 140735386602912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 58085 56180 605 984 0 57098 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 232340

[startup+1122.3 s]
/proc/loadavg: 1.99 2.20 2.34 3/179 13506
/proc/meminfo: memFree=31142104/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=236180 CPUtime=1122.28
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 545259 0 0 0 108218 4010 0 0 25 0 1 0 132533208 241848320 57002 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 59045 57002 605 984 0 58058 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 236180

[startup+1182.3 s]
/proc/loadavg: 1.99 2.16 2.32 3/179 13508
/proc/meminfo: memFree=31120700/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=236796 CPUtime=1182.29
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 593055 0 0 0 113966 4263 0 0 25 0 1 0 132533208 242479104 57143 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 59199 57143 605 984 0 58212 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 236796

[startup+1242.3 s]
/proc/loadavg: 2.05 2.14 2.30 3/179 13509
/proc/meminfo: memFree=31086540/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=237520 CPUtime=1242.29
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 603047 0 0 0 119712 4517 0 0 25 0 1 0 132533208 243220480 57375 4089446400 4194304 8223781 140735386602912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 59380 57375 605 984 0 58393 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 237520

[startup+1302.3 s]
/proc/loadavg: 2.02 2.11 2.28 3/179 13520
/proc/meminfo: memFree=31061536/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=238604 CPUtime=1302.29
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 609394 0 0 0 125482 4747 0 0 25 0 1 0 132533208 244330496 57557 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 59651 57557 605 984 0 58664 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 238604

[startup+1362.3 s]
/proc/loadavg: 2.00 2.09 2.26 3/179 13522
/proc/meminfo: memFree=31038176/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=240592 CPUtime=1362.29
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 611624 0 0 0 131302 4927 0 0 25 0 1 0 132533208 246366208 58086 4089446400 4194304 8223781 140735386602912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 60148 58086 605 984 0 59161 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 240592

[startup+1422.31 s]
/proc/loadavg: 2.00 2.07 2.24 3/179 13523
/proc/meminfo: memFree=31015196/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=243476 CPUtime=1422.3
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 622225 0 0 0 137135 5095 0 0 25 0 1 0 132533208 249319424 58769 4089446400 4194304 8223781 140735386602912 18446744073709551615 4223007 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 60869 58769 605 984 0 59882 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 243476

[startup+1482.3 s]
/proc/loadavg: 2.00 2.06 2.22 3/179 13525
/proc/meminfo: memFree=30988360/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=245720 CPUtime=1482.29
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 622865 0 0 0 142984 5245 0 0 25 0 1 0 132533208 251617280 59378 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 61430 59378 605 984 0 60443 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 245720

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.21 3/179 13526
/proc/meminfo: memFree=30965248/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=247732 CPUtime=1542.3
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 623266 0 0 0 148842 5388 0 0 25 0 1 0 132533208 253677568 59756 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 61933 59756 605 984 0 60946 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 247732

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.19 3/179 13528
/proc/meminfo: memFree=30938908/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=249812 CPUtime=1602.3
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 623756 0 0 0 154700 5530 0 0 25 0 1 0 132533208 255807488 60246 4089446400 4194304 8223781 140735386602912 18446744073709551615 4210021 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 62453 60246 605 984 0 61466 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 249812

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.17 3/179 13530
/proc/meminfo: memFree=30921384/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=251596 CPUtime=1662.3
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 624046 0 0 0 160560 5670 0 0 25 0 1 0 132533208 257634304 60524 4089446400 4194304 8223781 140735386602912 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 62899 60524 605 984 0 61912 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 251596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.16 3/179 13531
/proc/meminfo: memFree=30905836/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=252428 CPUtime=1722.3
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 624466 0 0 0 166406 5824 0 0 25 0 1 0 132533208 258486272 60807 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 63107 60807 605 984 0 62120 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 252428

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.16 3/179 13533
/proc/meminfo: memFree=30880596/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=252428 CPUtime=1782.31
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 629024 0 0 0 172263 5968 0 0 25 0 1 0 132533208 258486272 60809 4089446400 4194304 8223781 140735386602912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 63107 60809 605 984 0 62120 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 252428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.03 2.15 3/179 13534
/proc/meminfo: memFree=30872036/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=252428 CPUtime=1800.01
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 629057 0 0 0 173995 6006 0 0 25 0 1 0 132533208 258486272 60809 4089446400 4194304 8223781 140735386602912 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13298/statm: 63107 60809 605 984 0 62120 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 252428

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

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

[startup+1800.11 s]
/proc/loadavg: 2.06 2.03 2.15 3/179 13534
/proc/meminfo: memFree=30872036/32950928 swapFree=67111528/67111528
[pid=13298] ppid=13296 vsize=229176 CPUtime=1800.11
/proc/13298/stat : 13298 (pbscip.linux.x8) R 13296 13298 11577 0 -1 4202496 629113 0 0 0 174005 6006 0 0 25 0 1 0 132533208 234676224 55002 4089446400 4194304 8223781 140735386602912 18446744073709551615 4240599 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13298/statm: 57294 55002 607 984 0 56307 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 229176

Child status: 0
Real time (s): 1800.16
CPU time (s): 1800.17
CPU user time (s): 1740.1
CPU system time (s): 60.0689
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 252496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.1
system time used= 60.0689
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 2623

runsolver used 3.2755 second user time and 6.46802 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 17:39:23
IDJOB=2692311
IDBENCH=78996
IDSOLVER=1204
FILE ID=node120/2692311-1277912363
PBS_JOBID= 11197198
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692311-1277912363/watcher-2692311-1277912363 -o /tmp/evaluation-result-2692311-1277912363/solver-2692311-1277912363 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692311-1277912363.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c96bd383c2d62b3ed6ae26490be2a1fe
RANDOM SEED=1576166569

node120.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.820
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.64
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.820
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.07
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.820
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.80
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.820
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.74
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.820
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.820
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.820
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.820
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:     32950928 kB
MemFree:      31349956 kB
Buffers:        196920 kB
Cached:         934264 kB
SwapCached:          0 kB
Active:         866028 kB
Inactive:       593108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31349956 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4732 kB
Writeback:           0 kB
AnonPages:      328508 kB
Mapped:          20508 kB
Slab:            78072 kB
PageTables:       5376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1658352 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 node120 at 2010-06-30 18:09:25