Trace number 2692758

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.2 1800.16

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo
MD5SUMc6676bcfc0f6c4806260dd430fa1f6e3
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 benchmark143.76
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 constraints1783
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 90636
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90635
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 701
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-2692758-1277901775.wbo>
0.00/0.03	c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.03/0.05	c presolving:
0.03/0.06	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.03/0.09	c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.10	c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.09/0.11	c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.12	c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.09/0.17	c    (0.1s) probing: 101/1935 (5.2%) - 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 (6 rounds):
0.09/0.17	c  158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.09/0.17	c  1931 implications, 11 cliques
0.09/0.17	c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.09/0.17	c    1704 constraints of type <indicator>
0.09/0.17	c      11 constraints of type <setppc>
0.09/0.17	c    1704 constraints of type <linear>
0.09/0.17	c     879 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.13
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 |    11 |     - |  13M|   0 |   7 |3639 |4298 |3639 | 890 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	o 86790
0.09/0.19	c y 0.1s|     1 |     0 |    13 |     - |  13M|   0 |   7 |3639 |4298 |3639 | 890 |   0 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    55 |     - |  13M|   0 |  32 |3639 |4298 |3639 | 909 |  19 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   131 |     - |  13M|   0 |  42 |3639 |4298 |3639 | 941 |  51 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.29/0.32	c   0.3s|     1 |     0 |   171 |     - |  14M|   0 |  49 |3639 |4298 |3639 | 957 |  67 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.29/0.39	c   0.3s|     1 |     0 |   198 |     - |  14M|   0 |  52 |3639 |4298 |3639 | 964 |  74 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   209 |     - |  14M|   0 |  56 |3639 |4298 |3639 | 967 |  77 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.49/0.53	c   0.5s|     1 |     0 |   230 |     - |  14M|   0 |  55 |3639 |4298 |3639 | 972 |  82 |   0 |   0 | 0.000000e+00 | 8.679000e+04 |    Inf 
0.89/0.92	c   0.9s|     1 |     2 |   230 |     - |  14M|   0 |  55 |3639 |4298 |3639 | 972 |  82 |   0 |  33 | 0.000000e+00 | 8.679000e+04 |    Inf 
24.79/24.84	c  24.5s| 10000 |  9978 | 36099 |   3.6 |  37M| 175 |   0 |3639 |4331 |3639 |1013 |3477 |  35 |1545 | 0.000000e+00 | 8.679000e+04 |    Inf 
39.50/39.54	c  39.0s| 20000 | 19968 | 50485 |   2.5 |  54M| 175 |   0 |3639 |4342 |3639 |1015 |5811 |  62 |1602 | 0.000000e+00 | 8.679000e+04 |    Inf 
54.19/54.23	c  53.5s| 30000 | 29960 | 66548 |   2.2 |  71M| 175 |   0 |3639 |4330 |3639 | 989 |7831 |  71 |1616 | 0.000000e+00 | 8.679000e+04 |    Inf 
68.49/68.57	c  67.7s| 40000 | 39958 | 78851 |   2.0 |  88M| 175 |   0 |3639 |4324 |3639 | 997 |9773 |  73 |1621 | 0.000000e+00 | 8.679000e+04 |    Inf 
82.19/82.26	c  81.2s| 50000 | 49958 | 85687 |   1.7 | 104M| 175 |   0 |3639 |4321 |3639 |1003 |  11k|  73 |1635 | 0.000000e+00 | 8.679000e+04 |    Inf 
95.99/96.07	c  94.9s| 60000 | 59950 | 93291 |   1.6 | 121M| 175 |   0 |3639 |4327 |3639 |1008 |  12k|  79 |1639 | 0.000000e+00 | 8.679000e+04 |    Inf 
109.60/109.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
109.60/109.66	c   108s| 70000 | 69948 |100501 |   1.4 | 138M| 175 |   0 |3639 |4325 |3639 |1013 |  14k|  80 |1641 | 0.000000e+00 | 8.679000e+04 |    Inf 
123.20/123.25	c   122s| 80000 | 79948 |107737 |   1.3 | 154M| 175 |   0 |3639 |4323 |3639 |1020 |  15k|  80 |1644 | 0.000000e+00 | 8.679000e+04 |    Inf 
128.60/128.70	o 736
128.60/128.70	c * 127s| 83821 | 74362 |111800 |   1.3 | 146M| 175 |   - |3639 |4322 |3639 | 984 |  16k|  80 |1652 | 0.000000e+00 | 7.360000e+02 |    Inf 
130.09/130.12	o 716
130.09/130.12	c * 129s| 84276 | 73649 |116639 |   1.4 | 146M| 175 |   - |3639 |4367 |3639 | 983 |  16k| 126 |1707 | 0.000000e+00 | 7.160000e+02 |    Inf 
132.39/132.40	o 707
132.39/132.40	c * 131s| 85242 | 74015 |121868 |   1.4 | 147M| 175 |   - |3639 |4440 |3639 |1010 |  17k| 203 |1722 | 0.000000e+00 | 7.070000e+02 |    Inf 
132.39/132.41	o 683
132.39/132.41	c * 131s| 85243 | 72223 |121870 |   1.4 | 144M| 175 |   - |3639 |4440 |3639 |1010 |  17k| 203 |1722 | 0.000000e+00 | 6.830000e+02 |    Inf 
133.10/133.12	o 653
133.10/133.12	c * 131s| 85584 | 70319 |122742 |   1.4 | 141M| 175 |   - |3639 |4441 |3639 | 989 |  17k| 205 |1722 | 0.000000e+00 | 6.530000e+02 |    Inf 
133.10/133.12	o 644
133.10/133.12	c * 132s| 85585 | 69573 |122742 |   1.4 | 140M| 175 |   - |3639 |4441 |3639 | 989 |  17k| 205 |1722 | 0.000000e+00 | 6.440000e+02 |    Inf 
137.60/137.63	o 611
137.60/137.63	c * 136s| 87465 | 67991 |134181 |   1.5 | 138M| 175 |   - |3639 |4665 |3639 |1013 |  19k| 486 |1734 | 0.000000e+00 | 6.110000e+02 |    Inf 
138.60/138.62	o 610
138.60/138.62	c * 137s| 87873 | 68276 |136528 |   1.6 | 139M| 175 |   - |3639 |4699 |3639 |1006 |  19k| 546 |1734 | 0.000000e+00 | 6.100000e+02 |    Inf 
143.69/143.78	c   142s| 90000 | 70311 |149392 |   1.7 | 143M| 175 |   0 |3639 |4826 |3639 | 997 |  21k| 812 |1734 | 0.000000e+00 | 6.100000e+02 |    Inf 
143.89/143.93	o 595
143.89/143.93	c * 142s| 90072 | 68931 |149530 |   1.7 | 141M| 175 |   - |3639 |4825 |3639 |1008 |  21k| 816 |1734 | 0.000000e+00 | 5.950000e+02 |    Inf 
144.30/144.30	o 555
144.30/144.30	c * 143s| 90233 | 64828 |150009 |   1.7 | 134M| 175 |   - |3639 |4838 |3639 |1009 |  21k| 841 |1734 | 0.000000e+00 | 5.550000e+02 |    Inf 
144.30/144.31	o 529
144.30/144.31	c * 143s| 90234 | 61665 |150015 |   1.7 | 129M| 175 |   - |3639 |4837 |3639 |1009 |  21k| 841 |1734 | 0.000000e+00 | 5.290000e+02 |    Inf 
145.89/145.99	o 520
145.89/145.99	c * 144s| 90957 | 61261 |153884 |   1.7 | 128M| 175 |   - |3639 |4772 |3639 |1018 |  21k| 857 |1734 | 0.000000e+00 | 5.200000e+02 |    Inf 
145.99/146.06	o 511
145.99/146.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
145.99/146.06	c * 144s| 90974 | 60090 |154002 |   1.7 | 127M| 175 |   - |3639 |4770 |3639 |1011 |  21k| 857 |1734 | 0.000000e+00 | 5.110000e+02 |    Inf 
146.09/146.18	o 509
146.09/146.18	c * 144s| 91025 | 59873 |154095 |   1.7 | 126M| 175 |   - |3639 |4784 |3639 |1021 |  22k| 872 |1734 | 0.000000e+00 | 5.090000e+02 |    Inf 
146.89/146.95	o 482
146.89/146.95	c * 145s| 91325 | 56318 |155988 |   1.7 | 121M| 175 |   - |3639 |4861 |3639 |1008 |  22k| 975 |1737 | 0.000000e+00 | 4.820000e+02 |    Inf 
146.89/146.96	o 473
146.89/146.96	c * 145s| 91326 | 54977 |155988 |   1.7 | 119M| 175 |   - |3639 |4861 |3639 |1008 |  22k| 975 |1737 | 0.000000e+00 | 4.730000e+02 |    Inf 
147.19/147.29	o 465
147.19/147.29	c * 145s| 91488 | 53930 |156445 |   1.7 | 117M| 175 |   - |3639 |4858 |3639 | 997 |  22k| 984 |1737 | 0.000000e+00 | 4.650000e+02 |    Inf 
147.30/147.35	o 462
147.30/147.35	c * 146s| 91507 | 53468 |156480 |   1.7 | 116M| 175 |   - |3639 |4851 |3639 | 996 |  22k| 984 |1737 | 0.000000e+00 | 4.620000e+02 |    Inf 
147.50/147.51	o 455
147.50/147.51	c * 146s| 91583 | 52474 |156674 |   1.7 | 115M| 175 |   - |3639 |4855 |3639 |1007 |  22k| 993 |1738 | 0.000000e+00 | 4.550000e+02 |    Inf 
148.59/148.67	o 452
148.59/148.67	c * 147s| 92020 | 52340 |159685 |   1.7 | 115M| 175 |   - |3639 |4880 |3639 | 976 |  22k|1075 |1739 | 0.000000e+00 | 4.520000e+02 |    Inf 
148.59/148.68	o 443
148.59/148.68	c * 147s| 92021 | 50778 |159685 |   1.7 | 113M| 175 |   - |3639 |4880 |3639 | 976 |  22k|1075 |1739 | 0.000000e+00 | 4.430000e+02 |    Inf 
148.80/148.87	o 439
148.80/148.87	c * 147s| 92093 | 50158 |160111 |   1.7 | 112M| 175 |   - |3639 |4878 |3639 | 982 |  23k|1086 |1739 | 0.000000e+00 | 4.390000e+02 |    Inf 
148.90/148.94	o 436
148.90/148.94	c * 147s| 92112 | 49640 |160230 |   1.7 | 111M| 175 |   - |3639 |4877 |3639 | 983 |  23k|1086 |1739 | 0.000000e+00 | 4.360000e+02 |    Inf 
149.99/150.01	o 434
149.99/150.01	c * 148s| 92536 | 49692 |162997 |   1.8 | 112M| 175 |   - |3639 |4915 |3639 |1011 |  23k|1188 |1741 | 0.000000e+00 | 4.340000e+02 |    Inf 
149.99/150.02	o 425
149.99/150.02	c * 148s| 92537 | 48250 |162997 |   1.8 | 109M| 175 |   - |3639 |4915 |3639 |1011 |  23k|1188 |1741 | 0.000000e+00 | 4.250000e+02 |    Inf 
150.29/150.39	o 419
150.29/150.39	c * 149s| 92677 | 47372 |164144 |   1.8 | 108M| 175 |   - |3639 |4922 |3639 | 993 |  23k|1240 |1741 | 0.000000e+00 | 4.190000e+02 |    Inf 
150.40/150.46	o 407
150.40/150.46	c * 149s| 92695 | 45321 |164331 |   1.8 | 105M| 175 |   - |3639 |4923 |3639 | 998 |  23k|1246 |1741 | 0.000000e+00 | 4.070000e+02 |    Inf 
151.70/151.77	o 402
151.70/151.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
151.70/151.77	c * 150s| 93231 | 44686 |167691 |   1.8 | 104M| 175 |   - |3639 |5308 |3639 | 995 |  23k|1739 |1741 | 0.000000e+00 | 4.020000e+02 |    Inf 
152.99/153.09	o 399
152.99/153.09	c * 151s| 93693 | 44564 |171410 |   1.8 | 104M| 175 |   - |3639 |5292 |3639 | 993 |  23k|1836 |1741 | 0.000000e+00 | 3.990000e+02 |    Inf 
153.09/153.10	o 395
153.09/153.10	c * 151s| 93695 | 43809 |171420 |   1.8 | 103M| 175 |   - |3639 |5291 |3639 | 994 |  23k|1836 |1741 | 0.000000e+00 | 3.950000e+02 |    Inf 
153.59/153.65	o 391
153.59/153.65	c * 152s| 93951 | 43314 |172179 |   1.8 | 103M| 175 |   - |3639 |5332 |3639 | 999 |  24k|1905 |1741 | 0.000000e+00 | 3.910000e+02 |    Inf 
154.29/154.39	o 389
154.29/154.39	c * 152s| 94209 | 43169 |174851 |   1.9 | 103M| 175 |   - |3639 |5381 |3639 | 999 |  24k|2003 |1741 | 0.000000e+00 | 3.890000e+02 |    Inf 
154.29/154.39	o 380
154.29/154.39	c * 152s| 94210 | 41556 |174851 |   1.9 | 100M| 175 |   - |3639 |5381 |3639 | 999 |  24k|2003 |1741 | 0.000000e+00 | 3.800000e+02 |    Inf 
154.50/154.57	o 378
154.50/154.57	c * 153s| 94288 | 41236 |174929 |   1.9 |  99M| 175 |   - |3639 |5392 |3639 |1016 |  24k|2021 |1741 | 0.000000e+00 | 3.780000e+02 |    Inf 
154.50/154.58	o 369
154.50/154.58	c * 153s| 94289 | 39612 |174929 |   1.9 |  96M| 175 |   - |3639 |5392 |3639 |1016 |  24k|2021 |1741 | 0.000000e+00 | 3.690000e+02 |    Inf 
154.59/154.62	o 360
154.59/154.62	c * 153s| 94303 | 37965 |175032 |   1.9 |  94M| 175 |   - |3639 |5391 |3639 | 998 |  24k|2021 |1741 | 0.000000e+00 | 3.600000e+02 |    Inf 
154.59/154.69	o 352
154.59/154.69	c * 153s| 94320 | 36583 |175085 |   1.9 |  91M| 175 |   - |3639 |5390 |3639 | 994 |  24k|2022 |1741 | 0.000000e+00 | 3.520000e+02 |    Inf 
154.59/154.70	o 343
154.59/154.70	c * 153s| 94321 | 35026 |175085 |   1.9 |  88M| 175 |   - |3639 |5390 |3639 | 994 |  24k|2022 |1741 | 0.000000e+00 | 3.430000e+02 |    Inf 
154.69/154.73	o 337
154.69/154.73	c * 153s| 94333 | 34062 |175135 |   1.9 |  86M| 175 |   - |3639 |5384 |3639 | 994 |  24k|2022 |1741 | 0.000000e+00 | 3.370000e+02 |    Inf 
154.79/154.83	o 323
154.79/154.83	c * 153s| 94365 | 31903 |175221 |   1.9 |  82M| 175 |   - |3639 |5394 |3639 | 991 |  24k|2038 |1741 | 0.000000e+00 | 3.230000e+02 |    Inf 
154.79/154.88	o 317
154.79/154.88	c * 153s| 94378 | 30938 |175321 |   1.9 |  80M| 175 |   - |3639 |5396 |3639 | 996 |  24k|2044 |1741 | 0.000000e+00 | 3.170000e+02 |    Inf 
154.79/154.90	o 293
154.79/154.90	c * 153s| 94379 | 27142 |175322 |   1.9 |  73M| 175 |   - |3639 |5396 |3639 | 996 |  24k|2044 |1741 | 0.000000e+00 | 2.930000e+02 |    Inf 
155.09/155.17	o 289
155.09/155.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
155.09/155.17	c * 153s| 94464 | 26598 |176027 |   1.9 |  72M| 175 |   - |3639 |5410 |3639 | 991 |  24k|2104 |1741 | 0.000000e+00 | 2.890000e+02 |    Inf 
155.09/155.18	o 280
155.09/155.18	c * 153s| 94465 | 25205 |176027 |   1.9 |  70M| 175 |   - |3639 |5410 |3639 | 991 |  24k|2104 |1741 | 0.000000e+00 | 2.800000e+02 |    Inf 
155.29/155.38	o 276
155.29/155.38	c * 153s| 94544 | 24768 |176295 |   1.9 |  69M| 175 |   - |3639 |5410 |3639 | 991 |  24k|2114 |1741 | 0.000000e+00 | 2.760000e+02 |    Inf 
155.39/155.49	o 273
155.39/155.49	c * 154s| 94582 | 24465 |176468 |   1.9 |  69M| 175 |   - |3639 |5405 |3639 | 990 |  24k|2116 |1741 | 0.000000e+00 | 2.730000e+02 |    Inf 
155.49/155.55	o 270
155.49/155.55	c * 154s| 94604 | 24100 |176540 |   1.9 |  68M| 175 |   - |3639 |5404 |3639 | 991 |  24k|2116 |1741 | 0.000000e+00 | 2.700000e+02 |    Inf 
155.49/155.57	o 267
155.49/155.57	c * 154s| 94607 | 23555 |176543 |   1.9 |  67M| 175 |   - |3639 |5404 |3639 | 991 |  24k|2116 |1741 | 0.000000e+00 | 2.670000e+02 |    Inf 
155.89/155.91	o 264
155.89/155.91	c * 154s| 94715 | 23290 |177638 |   1.9 |  67M| 175 |   - |3639 |5403 |3639 | 977 |  24k|2157 |1742 | 0.000000e+00 | 2.640000e+02 |    Inf 
156.59/156.60	o 258
156.59/156.60	c * 155s| 94957 | 22761 |179102 |   1.9 |  67M| 175 |   - |3639 |5457 |3639 | 990 |  24k|2264 |1744 | 0.000000e+00 | 2.580000e+02 |    Inf 
156.89/156.90	o 257
156.89/156.90	c * 155s| 95065 | 22676 |179772 |   1.9 |  67M| 175 |   - |3639 |5470 |3639 |1029 |  25k|2332 |1744 | 0.000000e+00 | 2.570000e+02 |    Inf 
156.89/156.90	o 256
156.89/156.90	c * 155s| 95066 | 22568 |179772 |   1.9 |  67M| 175 |   - |3639 |5470 |3639 |1029 |  25k|2332 |1744 | 0.000000e+00 | 2.560000e+02 |    Inf 
157.09/157.19	o 240
157.09/157.19	c * 155s| 95141 | 20412 |180493 |   1.9 |  63M| 175 |   - |3639 |5471 |3639 |1010 |  25k|2366 |1744 | 0.000000e+00 | 2.400000e+02 |    Inf 
157.09/157.20	o 219
157.09/157.20	c * 155s| 95142 | 17728 |180493 |   1.9 |  57M| 175 |   - |3639 |5471 |3639 |1010 |  25k|2366 |1744 | 0.000000e+00 | 2.190000e+02 |    Inf 
157.20/157.26	o 217
157.20/157.26	c * 155s| 95155 | 17497 |180783 |   1.9 |  57M| 175 |   - |3639 |5462 |3639 | 980 |  25k|2366 |1744 | 0.000000e+00 | 2.170000e+02 |    Inf 
157.59/157.63	o 211
157.59/157.63	c * 156s| 95259 | 16862 |181789 |   1.9 |  56M| 175 |   - |3639 |5449 |3639 |1014 |  25k|2429 |1746 | 0.000000e+00 | 2.110000e+02 |    Inf 
157.69/157.76	o 206
157.69/157.76	c * 156s| 95300 | 16434 |182019 |   1.9 |  55M| 175 |   - |3639 |5437 |3639 |1001 |  25k|2438 |1746 | 0.000000e+00 | 2.060000e+02 |    Inf 
158.19/158.23	o 201
158.19/158.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
158.19/158.23	c * 156s| 95425 | 15944 |183433 |   1.9 |  55M| 175 |   - |3639 |5381 |3639 |1008 |  25k|2485 |1748 | 0.000000e+00 | 2.010000e+02 |    Inf 
158.19/158.25	o 164
158.19/158.25	c * 156s| 95426 | 11557 |183435 |   1.9 |  46M| 175 |   - |3639 |5380 |3639 |1008 |  25k|2485 |1748 | 0.000000e+00 | 1.640000e+02 |    Inf 
158.59/158.65	o 154
158.59/158.65	c * 157s| 95559 | 10689 |183981 |   1.9 |  44M| 175 |   - |3639 |5422 |3639 | 984 |  25k|2573 |1748 | 0.000000e+00 | 1.540000e+02 |    Inf 
158.69/158.72	o 150
158.69/158.72	c * 157s| 95576 | 10310 |184053 |   1.9 |  44M| 175 |   - |3639 |5443 |3639 | 995 |  25k|2600 |1748 | 0.000000e+00 | 1.500000e+02 |    Inf 
158.89/158.90	o 148
158.89/158.90	c * 157s| 95647 |  9900 |184361 |   1.9 |  43M| 175 |   - |3639 |5443 |3639 |1000 |  25k|2638 |1748 | 0.000000e+00 | 1.480000e+02 |    Inf 
158.99/159.04	o 132
158.99/159.04	c * 157s| 95682 |  8058 |184629 |   1.9 |  39M| 175 |   - |3639 |5453 |3639 |1005 |  25k|2679 |1748 | 0.000000e+00 | 1.320000e+02 |    Inf 
158.99/159.06	o 117
158.99/159.06	c * 157s| 95690 |  7142 |184629 |   1.9 |  37M| 175 |   - |3639 |5453 |3639 |1005 |  25k|2679 |1748 | 0.000000e+00 | 1.170000e+02 |    Inf 
159.29/159.38	o 92
159.29/159.38	c * 157s| 95814 |  5177 |184925 |   1.9 |  33M| 175 |   - |3639 |5467 |3639 | 998 |  25k|2715 |1748 | 0.000000e+00 | 9.200000e+01 |    Inf 
159.29/159.39	o 74
159.29/159.39	c * 157s| 95815 |  4202 |184925 |   1.9 |  31M| 175 |   - |3639 |5467 |3639 | 998 |  25k|2715 |1748 | 0.000000e+00 | 7.400000e+01 |    Inf 
159.39/159.41	o 71
159.39/159.41	c * 157s| 95816 |  3939 |184959 |   1.9 |  30M| 175 |   - |3639 |4924 |3639 | 988 |  25k|2715 |1748 | 0.000000e+00 | 7.100000e+01 |    Inf 
159.49/159.53	o 65
159.49/159.53	c * 158s| 95838 |  3790 |185354 |   1.9 |  30M| 175 |   - |3639 |4864 |3639 | 992 |  25k|2747 |1748 | 0.000000e+00 | 6.500000e+01 |    Inf 
159.58/159.66	o 61
159.58/159.66	c * 158s| 95867 |  3499 |185764 |   1.9 |  29M| 175 |   - |3639 |4730 |3639 |1005 |  25k|2763 |1748 | 0.000000e+00 | 6.100000e+01 |    Inf 
159.78/159.81	o 60
159.78/159.81	c * 158s| 95905 |  1528 |185916 |   1.9 |  25M| 175 |   - |3639 |4569 |3639 | 987 |  25k|2816 |1748 | 0.000000e+00 | 6.000000e+01 |    Inf 
165.59/165.61	o 56
165.59/165.61	c * 164s| 98145 |  1353 |198655 |   2.0 |  28M| 175 |   - |3639 |5409 |3639 | 981 |  26k|5448 |1781 | 0.000000e+00 | 5.600000e+01 |    Inf 
166.19/166.20	o 54
166.19/166.20	c * 164s| 98437 |  1338 |199245 |   2.0 |  28M| 175 |   - |3639 |5639 |3639 | 989 |  26k|5846 |1781 | 0.000000e+00 | 5.400000e+01 |    Inf 
166.19/166.27	o 49
166.19/166.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
166.19/166.27	c * 164s| 98467 |  1066 |199357 |   2.0 |  27M| 175 |   - |3639 |5592 |3639 | 981 |  26k|5877 |1781 | 0.000000e+00 | 4.900000e+01 |    Inf 
168.89/168.97	o 46
168.89/168.97	c * 167s| 99712 |  1001 |204616 |   2.0 |  28M| 175 |   - |3639 |5855 |3639 | 994 |  26k|7236 |1781 | 0.000000e+00 | 4.600000e+01 |    Inf 
169.49/169.56	c   167s|100000 |   986 |205610 |   2.1 |  28M| 175 |   1 |3639 |5983 |3639 | 984 |  26k|7590 |1781 | 0.000000e+00 | 4.600000e+01 |    Inf 
187.09/187.13	o 44
187.09/187.13	c * 185s|108491 |  1058 |237931 |   2.2 |  33M| 175 |   - |3639 |8748 |3639 | 985 |  27k|  18k|1803 | 0.000000e+00 | 4.400000e+01 |    Inf 
190.39/190.44	c   188s|110000 |  1032 |243354 |   2.2 |  33M| 175 |  24 |3639 |8197 |3639 | 994 |  28k|  20k|1829 | 0.000000e+00 | 4.400000e+01 |    Inf 
210.39/210.45	c   208s|120000 |  1253 |275524 |   2.3 |  38M| 175 |   - |3639 |  11k|   0 |   0 |  29k|  31k|1870 | 0.000000e+00 | 4.400000e+01 |    Inf 
211.49/211.54	o 37
211.49/211.54	c * 209s|120488 |  1151 |277163 |   2.3 |  33M| 175 |   - |3639 |  11k|3639 | 990 |  29k|  32k|1888 | 0.000000e+00 | 3.700000e+01 |    Inf 
211.59/211.63	o 30
211.59/211.63	c * 209s|120520 |  1101 |277284 |   2.3 |  32M| 175 |   - |3639 |  10k|3639 | 982 |  29k|  32k|1890 | 0.000000e+00 | 3.000000e+01 |    Inf 
229.39/229.49	c   226s|130000 |   905 |308853 |   2.4 |  32M| 175 |  14 |3639 |9171 |3639 | 981 |  30k|  45k|2043 | 0.000000e+00 | 3.000000e+01 |    Inf 
235.40/235.41	o 28
235.40/235.41	c * 232s|133142 |   929 |320321 |   2.4 |  33M| 175 |   - |3639 |  10k|3639 | 976 |  30k|  49k|2077 | 0.000000e+00 | 2.800000e+01 |    Inf 
240.69/240.73	o 19
240.69/240.73	c * 237s|135950 |   942 |329983 |   2.4 |  33M| 175 |   - |3639 |  10k|3639 | 976 |  31k|  52k|2126 | 0.000000e+00 | 1.900000e+01 |    Inf 
248.50/248.57	c   245s|140000 |  1024 |347792 |   2.5 |  34M| 175 |   5 |3639 |9886 |3639 | 976 |  31k|  57k|2168 | 0.000000e+00 | 1.900000e+01 |    Inf 
250.29/250.31	o 12
250.29/250.31	c * 247s|140883 |  1059 |352502 |   2.5 |  34M| 175 |   - |3639 |  10k|3639 | 976 |  31k|  59k|2207 | 0.000000e+00 | 1.200000e+01 |    Inf 
266.49/266.54	c   263s|150000 |  1337 |392216 |   2.6 |  38M| 175 |   - |3639 |  12k|   0 |   0 |  32k|  70k|2283 | 0.000000e+00 | 1.200000e+01 |    Inf 
284.50/284.58	c   281s|160000 |  1573 |438114 |   2.7 |  41M| 175 |  12 |3639 |  15k|3639 | 982 |  33k|  83k|2405 | 0.000000e+00 | 1.200000e+01 |    Inf 
299.89/299.94	o 11
299.89/299.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
299.89/299.94	c * 296s|168109 |  1671 |474478 |   2.8 |  44M| 175 |   - |3639 |  16k|3639 | 976 |  34k|  94k|2504 | 0.000000e+00 | 1.100000e+01 |    Inf 
303.39/303.50	c   299s|170000 |  1721 |482926 |   2.8 |  44M| 175 |  17 |3639 |  15k|3639 | 976 |  34k|  97k|2506 | 0.000000e+00 | 1.100000e+01 |    Inf 
321.29/321.35	c   317s|180000 |  1829 |524693 |   2.9 |  46M| 175 |   1 |3639 |  16k|3639 | 976 |  35k| 111k|2617 | 0.000000e+00 | 1.100000e+01 |    Inf 
327.89/327.92	o 10
327.89/327.92	c * 323s|183625 |  1828 |538268 |   2.9 |  46M| 175 |   - |3639 |  15k|3639 | 976 |  35k| 116k|2662 | 0.000000e+00 | 1.000000e+01 |    Inf 
340.00/340.01	c   335s|190000 |  1905 |567267 |   3.0 |  47M| 175 |   - |3639 |  13k|   0 |   0 |  36k| 124k|2728 | 0.000000e+00 | 1.000000e+01 |    Inf 
347.29/347.32	o 7
347.29/347.32	c * 342s|194036 |  1827 |584540 |   3.0 |  46M| 175 |   - |3639 |  14k|3639 | 976 |  36k| 130k|2742 | 0.000000e+00 | 7.000000e+00 |    Inf 
358.70/358.75	c   354s|200000 |  1897 |611811 |   3.1 |  47M| 175 |  15 |3639 |  14k|3639 | 976 |  37k| 138k|2804 | 0.000000e+00 | 7.000000e+00 |    Inf 
377.20/377.25	c   372s|210000 |  1911 |655859 |   3.1 |  48M| 175 |   1 |3639 |  14k|3639 | 976 |  38k| 151k|2913 | 0.000000e+00 | 7.000000e+00 |    Inf 
396.00/396.08	c   390s|220000 |  2065 |705470 |   3.2 |  50M| 175 |   - |3639 |  14k|   0 |   0 |  39k| 165k|3077 | 0.000000e+00 | 7.000000e+00 |    Inf 
414.29/414.34	c   408s|230000 |  2307 |750585 |   3.3 |  54M| 175 |   - |3639 |  18k|   0 |   0 |  40k| 179k|3200 | 0.000000e+00 | 7.000000e+00 |    Inf 
432.59/432.61	c   426s|240000 |  2345 |792119 |   3.3 |  55M| 175 |  18 |3639 |  20k|3639 | 976 |  41k| 193k|3265 | 0.000000e+00 | 7.000000e+00 |    Inf 
440.60/440.69	o 6
440.60/440.69	c * 434s|244272 |  2279 |810357 |   3.3 |  54M| 175 |   - |3639 |  18k|3639 | 976 |  41k| 199k|3319 | 0.000000e+00 | 6.000000e+00 |    Inf 
451.59/451.62	c   445s|250000 |  2295 |834876 |   3.3 |  54M| 175 |   - |3639 |  16k|   0 |   0 |  41k| 208k|3391 | 0.000000e+00 | 6.000000e+00 |    Inf 
470.09/470.10	c   463s|260000 |  2354 |874686 |   3.4 |  56M| 175 |   - |3639 |  19k|   0 |   0 |  42k| 222k|3480 | 0.000000e+00 | 6.000000e+00 |    Inf 
488.89/488.99	c   482s|270000 |  2397 |916517 |   3.4 |  57M| 175 |   - |3639 |  19k|   0 |   0 |  43k| 237k|3560 | 0.000000e+00 | 6.000000e+00 |    Inf 
499.40/499.47	o 5
499.40/499.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
499.40/499.47	c * 492s|275236 |  1810 |940642 |   3.4 |  50M| 175 |   - |3639 |  20k|3639 | 976 |  44k| 244k|3626 | 0.000000e+00 | 5.000000e+00 |    Inf 
508.80/508.80	c   502s|280000 |  1814 |963654 |   3.4 |  50M| 175 |   - |3639 |  17k|   0 |   0 |  44k| 251k|3645 | 0.000000e+00 | 5.000000e+00 |    Inf 
527.60/527.63	c   520s|290000 |  1869 |  1010k|   3.5 |  50M| 175 |   - |3639 |  15k|   0 |   0 |  45k| 264k|3790 | 0.000000e+00 | 5.000000e+00 |    Inf 
538.50/538.52	o 2
538.50/538.52	c * 531s|295916 |  1626 |  1036k|   3.5 |  46M| 175 |   - |3639 |  16k|3639 | 976 |  46k| 273k|3855 | 0.000000e+00 | 2.000000e+00 |    Inf 
546.00/546.07	c   538s|300000 |  1608 |  1056k|   3.5 |  46M| 175 |   - |3639 |  15k|   0 |   0 |  46k| 279k|3905 | 0.000000e+00 | 2.000000e+00 |    Inf 
564.09/564.18	c   556s|310000 |  1585 |  1104k|   3.6 |  45M| 175 |   - |3639 |  14k|   0 |   0 |  47k| 293k|4005 | 0.000000e+00 | 2.000000e+00 |    Inf 
581.80/581.87	c   574s|320000 |  1608 |  1150k|   3.6 |  47M| 175 |  21 |3639 |  16k|3639 | 976 |  47k| 309k|4066 | 0.000000e+00 | 2.000000e+00 |    Inf 
600.30/600.32	c   592s|330000 |  1525 |  1196k|   3.6 |  46M| 175 |   - |3639 |  16k|   0 |   0 |  48k| 324k|4147 | 0.000000e+00 | 2.000000e+00 |    Inf 
619.00/619.07	c   610s|340000 |  1366 |  1244k|   3.7 |  44M| 175 |  19 |3639 |  13k|3639 | 976 |  49k| 338k|4260 | 0.000000e+00 | 2.000000e+00 |    Inf 
636.20/636.22	c   627s|350000 |  1176 |  1288k|   3.7 |  42M| 175 |   - |3639 |  14k|   0 |   0 |  50k| 352k|4395 | 0.000000e+00 | 2.000000e+00 |    Inf 
654.40/654.41	c   645s|360000 |   994 |  1332k|   3.7 |  39M| 175 |  22 |3639 |  11k|3639 | 976 |  51k| 366k|4500 | 0.000000e+00 | 2.000000e+00 |    Inf 
672.40/672.45	c   663s|370000 |   956 |  1382k|   3.7 |  40M| 175 |  15 |3639 |  15k|3639 | 976 |  52k| 379k|4578 | 0.000000e+00 | 2.000000e+00 |    Inf 
691.70/691.75	c   682s|380000 |   943 |  1427k|   3.8 |  41M| 175 |  12 |3639 |  19k|3639 | 976 |  53k| 392k|4639 | 0.000000e+00 | 2.000000e+00 |    Inf 
713.10/713.15	c   703s|390000 |   916 |  1477k|   3.8 |  40M| 175 |  17 |3639 |  15k|3639 | 976 |  55k| 405k|4752 | 0.000000e+00 | 2.000000e+00 |    Inf 
733.00/733.05	c   723s|400000 |   970 |  1527k|   3.8 |  41M| 175 |   - |3639 |  16k|   0 |   0 |  55k| 418k|4944 | 0.000000e+00 | 2.000000e+00 |    Inf 
753.10/753.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
753.10/753.15	c   742s|410000 |  1012 |  1573k|   3.8 |  43M| 175 |   1 |3639 |  19k|3639 | 976 |  56k| 430k|5007 | 0.000000e+00 | 2.000000e+00 |    Inf 
774.01/774.09	c   763s|420000 |  1042 |  1620k|   3.9 |  44M| 175 |  28 |3639 |  21k|3639 | 976 |  56k| 444k|5092 | 0.000000e+00 | 2.000000e+00 |    Inf 
795.51/795.56	c   784s|430000 |  1073 |  1663k|   3.9 |  47M| 175 |   - |3639 |  27k|   0 |   0 |  57k| 457k|5171 | 0.000000e+00 | 2.000000e+00 |    Inf 
819.01/819.01	c   807s|440000 |  1119 |  1712k|   3.9 |  49M| 175 |  27 |3639 |  30k|3639 | 976 |  57k| 471k|5254 | 0.000000e+00 | 2.000000e+00 |    Inf 
843.20/843.23	c   831s|450000 |  1192 |  1757k|   3.9 |  51M| 175 |  20 |3639 |  33k|3639 | 976 |  58k| 485k|5339 | 0.000000e+00 | 2.000000e+00 |    Inf 
868.00/868.01	c   856s|460000 |  1198 |  1805k|   3.9 |  52M| 175 |   - |3639 |  33k|   0 |   0 |  58k| 500k|5416 | 0.000000e+00 | 2.000000e+00 |    Inf 
893.30/893.30	c   881s|470000 |  1169 |  1855k|   3.9 |  51M| 175 |  15 |3639 |  31k|3639 | 976 |  59k| 514k|5495 | 0.000000e+00 | 2.000000e+00 |    Inf 
917.31/917.35	c   905s|480000 |  1153 |  1903k|   4.0 |  52M| 175 |   - |3639 |  32k|   0 |   0 |  59k| 528k|5560 | 0.000000e+00 | 2.000000e+00 |    Inf 
939.11/939.16	c   926s|490000 |  1107 |  1949k|   4.0 |  49M| 175 |  15 |3639 |  28k|3639 | 976 |  60k| 542k|5619 | 0.000000e+00 | 2.000000e+00 |    Inf 
960.91/960.98	c   948s|500000 |  1076 |  1998k|   4.0 |  48M| 175 |   - |3639 |  25k|   0 |   0 |  61k| 555k|5684 | 0.000000e+00 | 2.000000e+00 |    Inf 
982.81/982.84	c   970s|510000 |  1083 |  2042k|   4.0 |  51M| 175 |  12 |3639 |  33k|3639 | 976 |  61k| 569k|5762 | 0.000000e+00 | 2.000000e+00 |    Inf 
988.82/988.85	o 1
988.82/988.85	c * 976s|512650 |  1079 |  2054k|   4.0 |  51M| 175 |   - |3639 |  33k|3639 | 976 |  62k| 573k|5775 | 0.000000e+00 | 1.000000e+00 |    Inf 
1004.51/1004.56	c   991s|520000 |  1106 |  2086k|   4.0 |  50M| 175 |  19 |3639 |  29k|3639 | 976 |  62k| 583k|5854 | 0.000000e+00 | 1.000000e+00 |    Inf 
1025.12/1025.17	c  1011s|530000 |  1152 |  2125k|   4.0 |  52M| 175 |  11 |3639 |  35k|3639 | 976 |  63k| 596k|5912 | 0.000000e+00 | 1.000000e+00 |    Inf 
1046.31/1046.33	c  1032s|540000 |  1144 |  2164k|   4.0 |  53M| 175 |  17 |3639 |  34k|3639 | 976 |  64k| 611k|5945 | 0.000000e+00 | 1.000000e+00 |    Inf 
1070.61/1070.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1070.61/1070.67	c  1056s|550000 |  1183 |  2215k|   4.0 |  53M| 175 |   - |3639 |  34k|   0 |   0 |  65k| 624k|6015 | 0.000000e+00 | 1.000000e+00 |    Inf 
1093.11/1093.14	c  1079s|560000 |  1208 |  2257k|   4.0 |  54M| 175 |   - |3639 |  36k|   0 |   0 |  66k| 637k|6082 | 0.000000e+00 | 1.000000e+00 |    Inf 
1116.81/1116.80	c  1102s|570000 |  1307 |  2299k|   4.0 |  57M| 175 |   - |3639 |  42k|   0 |   0 |  66k| 652k|6145 | 0.000000e+00 | 1.000000e+00 |    Inf 
1140.72/1140.70	c  1126s|580000 |  1272 |  2341k|   4.0 |  58M| 175 |  16 |3639 |  44k|3639 | 976 |  67k| 667k|6209 | 0.000000e+00 | 1.000000e+00 |    Inf 
1165.92/1166.00	c  1151s|590000 |  1310 |  2385k|   4.0 |  58M| 175 |  14 |3639 |  43k|3639 | 976 |  69k| 681k|6262 | 0.000000e+00 | 1.000000e+00 |    Inf 
1192.42/1192.41	c  1177s|600000 |  1406 |  2429k|   4.0 |  61M| 175 |   - |3639 |  47k|   0 |   0 |  70k| 695k|6315 | 0.000000e+00 | 1.000000e+00 |    Inf 
1221.32/1221.31	c  1206s|610000 |  1444 |  2475k|   4.1 |  61M| 175 |   - |3639 |  46k|   0 |   0 |  72k| 710k|6387 | 0.000000e+00 | 1.000000e+00 |    Inf 
1252.12/1252.15	c  1236s|620000 |  1530 |  2521k|   4.1 |  63M| 175 |  20 |3639 |  48k|3639 | 976 |  73k| 725k|6458 | 0.000000e+00 | 1.000000e+00 |    Inf 
1282.12/1282.16	c  1266s|630000 |  1597 |  2570k|   4.1 |  64M| 175 |  20 |3639 |  49k|3639 | 976 |  74k| 739k|6514 | 0.000000e+00 | 1.000000e+00 |    Inf 
1311.72/1311.74	c  1295s|640000 |  1563 |  2616k|   4.1 |  65M| 175 |  10 |3639 |  53k|3639 | 976 |  75k| 753k|6556 | 0.000000e+00 | 1.000000e+00 |    Inf 
1341.52/1341.56	c  1325s|650000 |  1592 |  2659k|   4.1 |  67M| 175 |  12 |3639 |  56k|3639 | 976 |  76k| 767k|6615 | 0.000000e+00 | 1.000000e+00 |    Inf 
1374.72/1374.71	c  1358s|660000 |  1655 |  2705k|   4.1 |  69M| 175 |  11 |3639 |  58k|3639 | 976 |  77k| 782k|6710 | 0.000000e+00 | 1.000000e+00 |    Inf 
1407.22/1407.23	c  1390s|670000 |  1739 |  2743k|   4.1 |  69M| 175 |   - |3639 |  56k|   0 |   0 |  78k| 796k|6740 | 0.000000e+00 | 1.000000e+00 |    Inf 
1443.63/1443.65	c  1426s|680000 |  1861 |  2791k|   4.1 |  73M| 175 |   5 |3639 |  62k|3639 | 976 |  78k| 810k|6797 | 0.000000e+00 | 1.000000e+00 |    Inf 
1480.32/1480.34	c  1463s|690000 |  1896 |  2839k|   4.1 |  74M| 175 |   - |3639 |  63k|   0 |   0 |  80k| 825k|6887 | 0.000000e+00 | 1.000000e+00 |    Inf 
1514.63/1514.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1514.63/1514.62	c  1497s|700000 |  1871 |  2883k|   4.1 |  73M| 175 |   - |3639 |  61k|   0 |   0 |  81k| 839k|6955 | 0.000000e+00 | 1.000000e+00 |    Inf 
1546.43/1546.47	c  1528s|710000 |  1957 |  2924k|   4.1 |  76M| 175 |   - |3639 |  64k|   0 |   0 |  82k| 855k|6979 | 0.000000e+00 | 1.000000e+00 |    Inf 
1580.53/1580.52	c  1562s|720000 |  1956 |  2966k|   4.1 |  75M| 175 |   - |3639 |  61k|   0 |   0 |  83k| 870k|7044 | 0.000000e+00 | 1.000000e+00 |    Inf 
1612.83/1612.87	c  1594s|730000 |  1993 |  3013k|   4.1 |  76M| 175 |   - |3639 |  62k|   0 |   0 |  84k| 885k|7113 | 0.000000e+00 | 1.000000e+00 |    Inf 
1644.83/1644.82	c  1626s|740000 |  2015 |  3057k|   4.1 |  78M| 175 |  18 |3639 |  66k|3639 | 976 |  86k| 901k|7159 | 0.000000e+00 | 1.000000e+00 |    Inf 
1678.03/1678.02	c  1659s|750000 |  2049 |  3100k|   4.1 |  81M| 175 |   - |3639 |  70k|   0 |   0 |  87k| 917k|7192 | 0.000000e+00 | 1.000000e+00 |    Inf 
1714.53/1714.52	c  1695s|760000 |  2002 |  3146k|   4.1 |  74M| 175 |   1 |3639 |  55k|3639 | 976 |  88k| 932k|7296 | 0.000000e+00 | 1.000000e+00 |    Inf 
1747.14/1747.12	c  1728s|770000 |  2057 |  3197k|   4.2 |  72M| 175 |  12 |3639 |  45k|3639 | 976 |  89k| 946k|7350 | 0.000000e+00 | 1.000000e+00 |    Inf 
1776.83/1776.82	c  1757s|780000 |  2090 |  3241k|   4.2 |  73M| 175 |  31 |3639 |  49k|3639 | 976 |  90k| 959k|7385 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1780.09
1800.04/1800.00	c Solving Nodes      : 787131
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (234 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.03	s SATISFIABLE
1800.04/1800.03	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 
1800.04/1800.03	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.04/1800.03	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.03	v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 
1800.04/1800.03	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.04/1800.03	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.04/1800.03	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.04/1800.03	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.04/1800.03	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.04/1800.03	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.04/1800.03	v -x1 
1800.04/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.03	c Solving Time       :    1780.09
1800.04/1800.03	c Original Problem   :
1800.04/1800.03	c   Problem name     : HOME/instance-2692758-1277901775.wbo
1800.04/1800.03	c   Variables        : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.04/1800.03	c   Constraints      : 4491 initial, 4491 maximal
1800.04/1800.03	c Presolved Problem  :
1800.04/1800.03	c   Problem name     : t_HOME/instance-2692758-1277901775.wbo
1800.04/1800.03	c   Variables        : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.04/1800.03	c   Constraints      : 4298 initial, 72807 maximal
1800.04/1800.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.03	c   trivial          :       0.00         79          0          0          0          0          0          0          0
1800.04/1800.03	c   dualfix          :       0.00         79          0          0          0          0          0          0          0
1800.04/1800.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.03	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.03	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.04/1800.03	c   indicator        :       0.00          0          0          0          0          0         79          0          0
1800.04/1800.03	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.03	c   linear           :       0.04          0          0          0       1807          0        114         97          0
1800.04/1800.03	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.03	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.03	c   root node        :          -       1704          -          -       3408          -          -          -          -
1800.04/1800.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.03	c   integral         :          0          0          0     496404          0         22        431          0          0     784436
1800.04/1800.03	c   indicator        :       1704          0    2235292      99800          0        300    2388431          0          0          0
1800.04/1800.03	c   setppc           :         11          6    3517074      57315          0      20280    1552716          0          0          0
1800.04/1800.03	c   linear           :       1704          6    3556389      98700          0     209066   16311069      91210          0          0
1800.04/1800.03	c   logicor          :        879+         6    1449473      88996          0     134153    3657852          0          0          0
1800.04/1800.03	c   bounddisjunction :          0+         0      10085          0          0          0         11          0          0          0
1800.04/1800.03	c   countsols        :          0          0          0      88996          0          0          0          0          0          0
1800.04/1800.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.03	c   integral         :      22.88       0.00       0.00      22.88       0.00
1800.04/1800.03	c   indicator        :      20.68       0.01       8.74      11.93       0.00
1800.04/1800.03	c   setppc           :      13.36       0.00      13.33       0.03       0.00
1800.04/1800.03	c   linear           :     147.34       0.00     145.36       1.98       0.00
1800.04/1800.03	c   logicor          :     341.80       0.00     341.11       0.69       0.00
1800.04/1800.03	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.03	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.04/1800.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.03	c   vbounds          :       0.74          2          0          0
1800.04/1800.03	c   rootredcost      :       0.80         88          0       1704
1800.04/1800.03	c   pseudoobj        :     118.38    3588926       6347    1867057
1800.04/1800.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.03	c   propagation      :      21.35     369846     369559    2369280       31.5      13747       24.8          -
1800.04/1800.03	c   infeasible LP    :       3.60      11109      11109      94487       43.7         71       21.0          0
1800.04/1800.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.03	c   pseudo solution  :       0.01         69         69        455       19.7         31        5.9          -
1800.04/1800.03	c   applied globally :          -          -          -     970332       24.3          -          -          -
1800.04/1800.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.03	c   cut pool         :       0.00          5          -          -         58          -    (maximal pool size: 101)
1800.04/1800.03	c   redcost          :      25.92     498421          0     410170          0          0
1800.04/1800.03	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.03	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.03	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.03	c   gomory           :       0.12          6          0          0        625          0
1800.04/1800.03	c   strongcg         :       0.09          6          0          0        116          0
1800.04/1800.03	c   cmir             :       0.01          6          0          0          1          0
1800.04/1800.03	c   flowcover        :       0.08          6          0          0          2          0
1800.04/1800.03	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.03	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.03	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.03	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.03	c Pricers            :       Time      Calls       Vars
1800.04/1800.03	c   problem variables:       0.00          0          0
1800.04/1800.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.03	c   relpscost        :      22.49     392584         22        431          0          0     784436
1800.04/1800.03	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   inference        :      12.80      88909          0          0          0          0     177818
1800.04/1800.03	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.03	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.03	c   LP solutions     :       0.15          -         87
1800.04/1800.03	c   pseudo solutions :       0.00          -          0
1800.04/1800.03	c   feaspump         :       0.01          1          0
1800.04/1800.03	c   oneopt           :       0.65         72          0
1800.04/1800.03	c   intshifting      :       0.01          8          0
1800.04/1800.03	c   crossover        :       2.37         97          0
1800.04/1800.03	c   linesearchdiving :       1.45       1498          0
1800.04/1800.03	c   guideddiving     :       1.42       1498          0
1800.04/1800.03	c   veclendiving     :       1.45       1499          0
1800.04/1800.03	c   pscostdiving     :       1.59       1499          0
1800.04/1800.03	c   fracdiving       :       1.33       1499          0
1800.04/1800.03	c   coefdiving       :       1.51       1499          0
1800.04/1800.03	c   objpscostdiving  :       1.54       1455          0
1800.04/1800.03	c   rootsoldiving    :       1.52       1456          0
1800.04/1800.03	c   trivial          :       0.00          2          0
1800.04/1800.03	c   simplerounding   :       0.74     393296          0
1800.04/1800.03	c   zirounding       :       0.46       1000          0
1800.04/1800.03	c   rounding         :       1.78       8811          0
1800.04/1800.03	c   shifting         :       1.31       2745          0
1800.04/1800.03	c   twoopt           :       0.00          0          0
1800.04/1800.03	c   fixandinfer      :       0.00          0          0
1800.04/1800.03	c   intdiving        :       0.00          0          0
1800.04/1800.03	c   actconsdiving    :       0.00          0          0
1800.04/1800.03	c   octane           :       0.00          0          0
1800.04/1800.03	c   rens             :       0.03          1          0
1800.04/1800.03	c   rins             :       0.00          0          0
1800.04/1800.03	c   localbranching   :       0.00          0          0
1800.04/1800.03	c   mutation         :       0.00          0          0
1800.04/1800.03	c   dins             :       0.00          0          0
1800.04/1800.03	c   undercover       :       0.00          0          0
1800.04/1800.03	c   nlp              :       0.19          0          0
1800.04/1800.03	c   trysol           :       1.68       5057        147
1800.04/1800.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.03	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.03	c   dual LP          :     502.79     422090    3272745       7.75    6509.17
1800.04/1800.03	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.03	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.03	c   diving/probing LP:       0.26        185       2229      12.05    8573.08
1800.04/1800.03	c   strong branching :      18.89       7452     136298      18.29    7215.35
1800.04/1800.03	c     (at root node) :          -         33       3188      96.61          -
1800.04/1800.03	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.03	c B&B Tree           :
1800.04/1800.03	c   number of runs   :          1
1800.04/1800.03	c   nodes            :     787131
1800.04/1800.03	c   nodes (total)    :     787131
1800.04/1800.03	c   nodes left       :       2152
1800.04/1800.03	c   max depth        :        175
1800.04/1800.03	c   max depth (total):        175
1800.04/1800.03	c   backtracks       :      84378 (10.7%)
1800.04/1800.03	c   delayed cutoffs  :      78336
1800.04/1800.03	c   repropagations   :    1506978 (5724041 domain reductions, 75268 cutoffs)
1800.04/1800.03	c   avg switch length:       5.22
1800.04/1800.03	c   switching time   :     287.04
1800.04/1800.03	c Solution           :
1800.04/1800.03	c   Solutions found  :        234 (88 improvements)
1800.04/1800.03	c   First Solution   : +8.67900000000000e+04   (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.04/1800.03	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 512650 nodes, 975.55 seconds, depth 63, found by <relaxation>)
1800.04/1800.03	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.03	c   Gap              :   infinite
1800.04/1800.03	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.03	c   Root Iterations  :        230
1800.14/1800.16	c Time complete: 1800.2.

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-2692758-1277901775/watcher-2692758-1277901775 -o /tmp/evaluation-result-2692758-1277901775/solver-2692758-1277901775 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692758-1277901775.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.88 2.89 2.78 3/178 15374
/proc/meminfo: memFree=30356796/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=9412 CPUtime=0
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 1649 0 0 0 0 0 0 0 24 0 1 0 131473341 9637888 1568 4089446400 4194304 8223781 140737028150912 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15374/statm: 2353 1568 369 984 0 1366 0

[startup+0.0421441 s]
/proc/loadavg: 2.88 2.89 2.78 3/178 15374
/proc/meminfo: memFree=30356796/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=24184 CPUtime=0.03
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 5665 0 0 0 3 0 0 0 24 0 1 0 131473341 24764416 5220 4089446400 4194304 8223781 140737028150912 18446744073709551615 4461481 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15374/statm: 6046 5220 387 984 0 5059 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24184

[startup+0.101149 s]
/proc/loadavg: 2.88 2.89 2.78 3/178 15374
/proc/meminfo: memFree=30356796/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=29308 CPUtime=0.09
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 7474 0 0 0 8 1 0 0 24 0 1 0 131473341 30011392 6258 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 7327 6258 452 984 0 6340 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29308

[startup+0.301122 s]
/proc/loadavg: 2.88 2.89 2.78 3/178 15374
/proc/meminfo: memFree=30356796/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=35336 CPUtime=0.29
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 11491 0 0 0 27 2 0 0 25 0 1 0 131473341 36184064 7934 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 8834 7934 573 984 0 7847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35336

[startup+0.701037 s]
/proc/loadavg: 2.88 2.89 2.78 3/178 15374
/proc/meminfo: memFree=30356796/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=37688 CPUtime=0.69
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 18670 0 0 0 66 3 0 0 25 0 1 0 131473341 38592512 8494 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 9422 8494 589 984 0 8435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37688

[startup+1.50086 s]
/proc/loadavg: 2.88 2.89 2.78 3/179 15375
/proc/meminfo: memFree=30321820/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=37688 CPUtime=1.49
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 18671 0 0 0 145 4 0 0 25 0 1 0 131473341 38592512 8495 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 9422 8495 590 984 0 8435 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37688

[startup+3.10059 s]
/proc/loadavg: 2.81 2.87 2.78 3/179 15375
/proc/meminfo: memFree=30319344/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=37688 CPUtime=3.09
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 18686 0 0 0 302 7 0 0 25 0 1 0 131473341 38592512 8510 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 9422 8510 591 984 0 8435 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37688

[startup+6.301 s]
/proc/loadavg: 2.81 2.87 2.78 3/179 15375
/proc/meminfo: memFree=30312032/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=39304 CPUtime=6.29
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 23531 0 0 0 617 12 0 0 25 0 1 0 131473341 40247296 8759 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 9826 8759 593 984 0 8839 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39304

[startup+12.7008 s]
/proc/loadavg: 2.68 2.84 2.77 3/179 15375
/proc/meminfo: memFree=30287468/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=48604 CPUtime=12.69
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 42714 0 0 0 1248 21 0 0 25 0 1 0 131473341 49770496 11069 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 12151 11069 596 984 0 11164 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48604

[startup+25.5005 s]
/proc/loadavg: 2.58 2.81 2.76 3/179 15376
/proc/meminfo: memFree=30240676/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=62464 CPUtime=25.49
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 55585 0 0 0 2513 36 0 0 25 0 1 0 131473341 63963136 14570 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 15616 14570 596 984 0 14629 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62464

[startup+51.1009 s]
/proc/loadavg: 2.38 2.75 2.74 3/179 15377
/proc/meminfo: memFree=30151484/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=92520 CPUtime=51.09
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 75928 0 0 0 5044 65 0 0 25 0 1 0 131473341 94740480 22124 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 23130 22124 597 984 0 22143 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92520

[startup+102.307 s]
/proc/loadavg: 2.15 2.62 2.70 3/197 15423
/proc/meminfo: memFree=30874704/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=153908 CPUtime=102.29
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 101421 0 0 0 10106 123 0 0 25 0 1 0 131473341 157601792 37617 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 38477 37617 597 984 0 37490 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 153908

[startup+162.301 s]
/proc/loadavg: 2.05 2.50 2.65 3/197 15424
/proc/meminfo: memFree=30818152/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=214112 CPUtime=162.29
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 225422 0 0 0 16027 202 0 0 25 0 1 0 131473341 219250688 52155 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 53528 52155 606 984 0 52541 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 214112

[startup+222.301 s]
/proc/loadavg: 2.02 2.41 2.61 3/197 15426
/proc/meminfo: memFree=30768464/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=263540 CPUtime=222.29
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 342565 0 0 0 21936 293 0 0 25 0 1 0 131473341 269864960 63741 4089446400 4194304 8223781 140737028150912 18446744073709551615 4819848 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 65885 63741 606 984 0 64898 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 263540

[startup+282.301 s]
/proc/loadavg: 2.00 2.33 2.56 3/197 15428
/proc/meminfo: memFree=30757612/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=273844 CPUtime=282.29
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 423046 0 0 0 27836 393 0 0 25 0 1 0 131473341 280416256 66297 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 68461 66297 605 984 0 67474 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 273844

[startup+342.3 s]
/proc/loadavg: 2.00 2.27 2.53 3/197 15429
/proc/meminfo: memFree=30749468/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=280884 CPUtime=342.3
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 480084 0 0 0 33745 485 0 0 25 0 1 0 131473341 287625216 68037 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 70221 68037 605 984 0 69234 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 280884

[startup+402.3 s]
/proc/loadavg: 2.00 2.22 2.49 3/197 15431
/proc/meminfo: memFree=30744896/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=285280 CPUtime=402.3
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 526310 0 0 0 39654 576 0 0 25 0 1 0 131473341 292126720 69090 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 71320 69090 605 984 0 70333 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 285280

[startup+462.3 s]
/proc/loadavg: 2.00 2.18 2.46 3/197 15432
/proc/meminfo: memFree=30739476/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=290596 CPUtime=462.29
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 555462 0 0 0 45572 657 0 0 25 0 1 0 131473341 297570304 70347 4089446400 4194304 8223781 140737028150912 18446744073709551615 4999948 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 72649 70347 605 984 0 71662 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 290596

[startup+522.301 s]
/proc/loadavg: 2.03 2.16 2.43 3/197 15434
/proc/meminfo: memFree=30733928/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=295932 CPUtime=522.3
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 595557 0 0 0 51491 739 0 0 25 0 1 0 131473341 303034368 71533 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 73983 71533 605 984 0 72996 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 295932

[startup+582.301 s]
/proc/loadavg: 2.01 2.12 2.40 3/197 15436
/proc/meminfo: memFree=30734348/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=295532 CPUtime=582.3
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 642314 0 0 0 57398 832 0 0 25 0 1 0 131473341 302624768 71414 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 73883 71414 605 984 0 72896 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 295532

[startup+642.301 s]
/proc/loadavg: 2.00 2.10 2.37 3/197 15437
/proc/meminfo: memFree=30733732/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=295820 CPUtime=642.31
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 656226 0 0 0 63311 920 0 0 25 0 1 0 131473341 302919680 71493 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 73955 71493 605 984 0 72968 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 295820

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.05 2.28 3/197 15444
/proc/meminfo: memFree=30728036/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=300628 CPUtime=882.3
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 667223 0 0 0 87013 1217 0 0 25 0 1 0 131473341 307843072 72574 4089446400 4194304 8223781 140737028150912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 75157 72574 605 984 0 74170 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 300628

[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.26 3/197 15445
/proc/meminfo: memFree=30726692/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=302220 CPUtime=942.31
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 667576 0 0 0 92952 1279 0 0 25 0 1 0 131473341 309473280 72925 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 75555 72925 605 984 0 74568 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 302220

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.24 3/197 15447
/proc/meminfo: memFree=30725228/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=302964 CPUtime=1002.31
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 702746 0 0 0 98882 1349 0 0 25 0 1 0 131473341 310235136 73142 4089446400 4194304 8223781 140737028150912 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 75741 73142 605 984 0 74754 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 302964

[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.23 3/197 15448
/proc/meminfo: memFree=30723612/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=305200 CPUtime=1062.31
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 714468 0 0 0 104819 1412 0 0 25 0 1 0 131473341 312524800 73600 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 76300 73600 605 984 0 75313 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 305200

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.21 4/197 15459
/proc/meminfo: memFree=30721064/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=306048 CPUtime=1122.31
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 723727 0 0 0 110755 1476 0 0 25 0 1 0 131473341 313393152 73840 4089446400 4194304 8223781 140737028150912 18446744073709551615 6446955 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 76512 73840 605 984 0 75525 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 306048

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.20 3/197 15461
/proc/meminfo: memFree=30720224/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=307364 CPUtime=1182.32
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 724084 0 0 0 116703 1529 0 0 25 0 1 0 131473341 314740736 74196 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 76841 74196 605 984 0 75854 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 307364

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.18 3/197 15462
/proc/meminfo: memFree=30716644/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=309612 CPUtime=1242.32
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 732699 0 0 0 122656 1576 0 0 25 0 1 0 131473341 317042688 74808 4089446400 4194304 8223781 140737028150912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 77403 74808 605 984 0 76416 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 309612

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.17 3/197 15510
/proc/meminfo: memFree=30563692/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=310564 CPUtime=1302.33
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 732832 0 0 0 128611 1622 0 0 25 0 1 0 131473341 318017536 74936 4089446400 4194304 8223781 140737028150912 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 77641 74936 605 984 0 76654 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 310564

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.16 3/197 15511
/proc/meminfo: memFree=30546784/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=313324 CPUtime=1362.32
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 736243 0 0 0 134558 1674 0 0 25 0 1 0 131473341 320843776 75618 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 78331 75618 605 984 0 77344 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 313324

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.15 3/197 15513
/proc/meminfo: memFree=30533208/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=316040 CPUtime=1422.32
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 740622 0 0 0 140512 1720 0 0 25 0 1 0 131473341 323624960 76207 4089446400 4194304 8223781 140737028150912 18446744073709551615 4220858 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 79010 76207 605 984 0 78023 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 316040

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/197 15515
/proc/meminfo: memFree=30518020/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=318404 CPUtime=1482.32
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 741319 0 0 0 146471 1761 0 0 25 0 1 0 131473341 326045696 76828 4089446400 4194304 8223781 140737028150912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 79601 76828 605 984 0 78614 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 318404

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/197 15516
/proc/meminfo: memFree=30508048/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=319684 CPUtime=1542.33
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 741610 0 0 0 152430 1803 0 0 25 0 1 0 131473341 327356416 77107 4089446400 4194304 8223781 140737028150912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 79921 77107 605 984 0 78934 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 319684

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.12 3/197 15518
/proc/meminfo: memFree=30499756/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=323208 CPUtime=1602.33
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 749565 0 0 0 158385 1848 0 0 25 0 1 0 131473341 330964992 77984 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 80802 77984 605 984 0 79815 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 323208

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.11 3/197 15519
/proc/meminfo: memFree=30493504/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=323388 CPUtime=1662.33
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 749674 0 0 0 164342 1891 0 0 25 0 1 0 131473341 331149312 78075 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 80847 78075 605 984 0 79860 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 323388

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/197 15521
/proc/meminfo: memFree=30483044/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=327736 CPUtime=1722.33
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 754657 0 0 0 170298 1935 0 0 25 0 1 0 131473341 335601664 79120 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 81934 79120 605 984 0 80947 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 327736

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/197 15523
/proc/meminfo: memFree=30474192/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=329780 CPUtime=1782.33
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 755196 0 0 0 176254 1979 0 0 25 0 1 0 131473341 337694720 79504 4089446400 4194304 8223781 140737028150912 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 82445 79504 605 984 0 81458 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 329780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.09 3/197 15523
/proc/meminfo: memFree=30471564/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=329924 CPUtime=1800.04
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 755289 0 0 0 178011 1993 0 0 25 0 1 0 131473341 337842176 79543 4089446400 4194304 8223781 140737028150912 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15374/statm: 82481 79543 605 984 0 81494 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 329924

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.00 2.00 2.09 3/197 15523
/proc/meminfo: memFree=30471564/32951124 swapFree=67111528/67111528
[pid=15374] ppid=15372 vsize=287520 CPUtime=1800.14
/proc/15374/stat : 15374 (pbscip.linux.x8) R 15372 15374 14951 0 -1 4202496 755291 0 0 0 178021 1993 0 0 25 0 1 0 131473341 294420480 68944 4089446400 4194304 8223781 140737028150912 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15374/statm: 71880 68944 607 984 0 70893 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 287520

Child status: 0
Real time (s): 1800.16
CPU time (s): 1800.2
CPU user time (s): 1780.26
CPU system time (s): 19.942
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 330272

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

runsolver used 2.69159 second user time and 5.55116 second system time

The end

Launcher Data 

Begin job on node138 at 2010-06-30 14:42:55
IDJOB=2692758
IDBENCH=78894
IDSOLVER=1204
FILE ID=node138/2692758-1277901775
PBS_JOBID= 11197236
Free space on /tmp= 74136 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.1900573901--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-2692758-1277901775/watcher-2692758-1277901775 -o /tmp/evaluation-result-2692758-1277901775/solver-2692758-1277901775 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692758-1277901775.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c6676bcfc0f6c4806260dd430fa1f6e3
RANDOM SEED=1138801975

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30357324 kB
Buffers:        187424 kB
Cached:        1474536 kB
SwapCached:          0 kB
Active:        1432816 kB
Inactive:      1012672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30357324 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4692 kB
Writeback:           0 kB
AnonPages:      783808 kB
Mapped:          15456 kB
Slab:            82144 kB
PageTables:       5960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   930020 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= 74136 MiB
End job on node138 at 2010-06-30 15:12:57