Trace number 2692863

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.24 1800.17

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo
MD5SUMdf541056d5ee75c7588bd018b6cc514e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark459.357
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 737
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-2692863-1277907530.wbo>
0.01/0.03	c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 cont) and 4565 constraints
0.01/0.03	c problem read
0.01/0.03	c presolving settings loaded
0.01/0.05	c presolving:
0.01/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.01/0.09	c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.01/0.10	c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.10/0.11	c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.10/0.12	c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.10/0.16	c    (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.16	c presolving (6 rounds):
0.10/0.16	c  114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.10/0.16	c  1983 implications, 5 cliques
0.10/0.16	c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.10/0.16	c    1800 constraints of type <indicator>
0.10/0.16	c       5 constraints of type <setppc>
0.10/0.16	c    1800 constraints of type <linear>
0.10/0.16	c     829 constraints of type <logicor>
0.10/0.16	c transformed objective value is always integral (scale: 1)
0.10/0.16	c Presolving Time: 0.12
0.10/0.16	c - non default parameters ----------------------------------------------------------------------
0.10/0.16	c # SCIP version 1.2.1.2
0.10/0.16	c 
0.10/0.16	c # frequency for displaying node information lines
0.10/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.16	c display/freq = 10000
0.10/0.16	c 
0.10/0.16	c # maximal time in seconds to run
0.10/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.16	c limits/time = 1799.98
0.10/0.16	c 
0.10/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.16	c limits/memory = 3420
0.10/0.16	c 
0.10/0.16	c # should presolving try to simplify inequalities
0.10/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.16	c constraints/linear/simplifyinequalities = TRUE
0.10/0.16	c 
0.10/0.16	c # should presolving try to simplify knapsacks
0.10/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.16	c 
0.10/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.16	c separating/rapidlearning/freq = 0
0.10/0.16	c 
0.10/0.16	c -----------------------------------------------------------------------------------------------
0.10/0.16	c start solving
0.10/0.16	c 
0.10/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.10/0.17	c   0.1s|     1 |     0 |    12 |     - |  14M|   0 |   3 |3831 |4434 |3831 | 834 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.10/0.18	o 90731
0.10/0.18	c y 0.1s|     1 |     0 |    21 |     - |  14M|   0 |   3 |3831 |4434 |3831 | 834 |   0 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.10/0.20	c   0.2s|     1 |     0 |    57 |     - |  14M|   0 |  33 |3831 |4434 |3831 | 856 |  22 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |   144 |     - |  14M|   0 |  56 |3831 |4434 |3831 | 886 |  52 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   171 |     - |  14M|   0 |  58 |3831 |4434 |3831 | 902 |  68 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.29/0.38	c   0.3s|     1 |     0 |   177 |     - |  14M|   0 |  57 |3831 |4434 |3831 | 905 |  71 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   182 |     - |  14M|   0 |  60 |3831 |4434 |3831 | 907 |  73 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.49/0.54	c   0.5s|     1 |     0 |   190 |     - |  14M|   0 |  59 |3831 |4434 |3831 | 908 |  74 |   0 |   0 | 0.000000e+00 | 9.073100e+04 |    Inf 
0.89/0.90	c   0.8s|     1 |     2 |   190 |     - |  14M|   0 |  59 |3831 |4434 |3831 | 908 |  74 |   0 |  33 | 0.000000e+00 | 9.073100e+04 |    Inf 
32.29/32.30	c  31.9s| 10000 |  9993 | 65300 |   6.5 |  40M|  87 |   0 |3831 |4445 |3831 | 956 |8577 |  14 |1827 | 0.000000e+00 | 9.073100e+04 |    Inf 
55.39/55.44	c  54.8s| 20000 | 19981 |116113 |   5.8 |  59M|  93 |   0 |3831 |4450 |3831 | 962 |  12k|  58 |1831 | 0.000000e+00 | 9.073100e+04 |    Inf 
74.80/74.88	c  74.0s| 30000 | 29975 |143284 |   4.8 |  78M| 115 |   0 |3831 |4447 |3831 | 944 |  15k|  70 |1831 | 0.000000e+00 | 9.073100e+04 |    Inf 
92.30/92.36	c  91.0s| 40000 | 39971 |165505 |   4.1 |  96M| 115 |   0 |3831 |4445 |3831 | 943 |  19k|  72 |1831 | 0.000000e+00 | 9.073100e+04 |    Inf 
108.90/108.98	c   107s| 50000 | 49971 |184277 |   3.7 | 114M| 115 |   0 |3831 |4440 |3831 | 943 |  22k|  72 |1831 | 0.000000e+00 | 9.073100e+04 |    Inf 
126.59/126.65	c   124s| 60000 | 59965 |209118 |   3.5 | 133M| 115 |   0 |3831 |4442 |3831 | 971 |  26k|  75 |1890 | 0.000000e+00 | 9.073100e+04 |    Inf 
144.00/144.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
144.00/144.08	c   141s| 70000 | 69963 |231706 |   3.3 | 151M| 115 |   0 |3831 |4441 |3831 | 961 |  29k|  76 |1997 | 0.000000e+00 | 9.073100e+04 |    Inf 
161.10/161.18	c   158s| 80000 | 79957 |252802 |   3.2 | 170M| 115 |   0 |3831 |4442 |3831 | 986 |  33k|  89 |2097 | 0.000000e+00 | 9.073100e+04 |    Inf 
161.20/161.26	o 563
161.20/161.26	c * 158s| 80041 | 63933 |252867 |   3.2 | 143M| 115 |   - |3831 |4442 |3831 | 940 |  33k|  89 |2097 | 0.000000e+00 | 5.630000e+02 |    Inf 
164.70/164.71	o 562
164.70/164.71	c * 161s| 81118 | 64907 |263828 |   3.3 | 147M| 115 |   - |3831 |4502 |3831 | 961 |  35k| 151 |2136 | 0.000000e+00 | 5.620000e+02 |    Inf 
192.00/192.00	c   187s| 90000 | 73342 |353495 |   3.9 | 166M| 115 |   0 |3831 |4754 |3831 | 957 |  52k|1124 |2517 | 0.000000e+00 | 5.620000e+02 |    Inf 
213.79/213.88	o 545
213.79/213.88	c * 208s| 96098 | 77472 |437665 |   4.6 | 177M| 115 |   - |3831 |4906 |3831 | 955 |  63k|2354 |2826 | 0.000000e+00 | 5.450000e+02 |    Inf 
226.51/226.57	c   221s|100000 | 80883 |480590 |   4.8 | 186M| 115 |   0 |3831 |5102 |3831 | 946 |  70k|3249 |2954 | 0.000000e+00 | 5.450000e+02 |    Inf 
240.50/240.54	o 544
240.50/240.54	c * 234s|104684 | 85153 |522931 |   5.0 | 196M| 115 |   - |3831 |4908 |3831 | 940 |  78k|3877 |3090 | 0.000000e+00 | 5.440000e+02 |    Inf 
247.00/247.07	o 531
247.00/247.07	c * 240s|106210 | 85388 |552910 |   5.2 | 197M| 115 |   - |3831 |5093 |3831 | 945 |  80k|4386 |3157 | 0.000000e+00 | 5.310000e+02 |    Inf 
260.00/260.07	c   253s|110000 | 88631 |597272 |   5.4 | 206M| 115 |   0 |3831 |5121 |3831 | 970 |  87k|5429 |3333 | 0.000000e+00 | 5.310000e+02 |    Inf 
290.20/290.24	c   283s|120000 | 97688 |700598 |   5.8 | 227M| 115 |  12 |3831 |5158 |3831 | 923 | 105k|7475 |3574 | 0.000000e+00 | 5.310000e+02 |    Inf 
317.20/317.27	o 528
317.20/317.27	c * 309s|129690 |106153 |779356 |   6.0 | 248M| 115 |   - |3831 |4976 |3831 | 944 | 120k|9411 |3733 | 0.000000e+00 | 5.280000e+02 |    Inf 
318.20/318.22	c   310s|130000 |106371 |782340 |   6.0 | 248M| 115 |   0 |3831 |5090 |3831 | 960 | 121k|9587 |3733 | 0.000000e+00 | 5.280000e+02 |    Inf 
346.70/346.70	c   338s|140000 |115308 |862703 |   6.2 | 270M| 115 |   0 |3831 |5236 |3831 | 938 | 138k|  11k|3935 | 0.000000e+00 | 5.280000e+02 |    Inf 
357.20/357.26	o 498
357.20/357.26	c * 349s|143541 |115305 |895904 |   6.2 | 269M| 115 |   - |3831 |5199 |3831 | 939 | 144k|  12k|3989 | 0.000000e+00 | 4.980000e+02 |    Inf 
363.01/363.06	o 496
363.01/363.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
363.01/363.06	c * 355s|145204 |116355 |917643 |   6.3 | 272M| 115 |   - |3831 |5481 |3831 | 923 | 147k|  13k|4017 | 0.000000e+00 | 4.960000e+02 |    Inf 
363.01/363.09	o 492
363.01/363.09	c * 355s|145210 |115872 |917662 |   6.3 | 271M| 115 |   - |3831 |5480 |3831 | 924 | 147k|  13k|4017 | 0.000000e+00 | 4.920000e+02 |    Inf 
363.01/363.10	o 487
363.01/363.10	c * 355s|145211 |115305 |917662 |   6.3 | 268M| 115 |   - |3831 |5480 |3831 | 924 | 147k|  13k|4017 | 0.000000e+00 | 4.870000e+02 |    Inf 
369.31/369.37	o 483
369.31/369.37	c * 361s|147481 |116855 |934230 |   6.3 | 272M| 115 |   - |3831 |5386 |3831 | 942 | 150k|  13k|4063 | 0.000000e+00 | 4.830000e+02 |    Inf 
378.60/378.61	c   370s|150000 |118630 |974950 |   6.5 | 278M| 115 |   0 |3831 |6043 |3831 | 928 | 153k|  15k|4128 | 0.000000e+00 | 4.830000e+02 |    Inf 
389.70/389.77	o 480
389.70/389.77	c * 381s|153031 |120206 |  1026k|   6.7 | 283M| 115 |   - |3831 |6813 |3831 | 956 | 157k|  17k|4205 | 0.000000e+00 | 4.800000e+02 |    Inf 
415.00/415.02	c   406s|160000 |124153 |  1139k|   7.1 | 298M| 115 |   1 |3831 |5934 |3831 | 924 | 167k|  24k|4393 | 0.000000e+00 | 4.800000e+02 |    Inf 
417.61/417.62	o 478
417.61/417.62	c * 409s|160652 |124265 |  1151k|   7.2 | 299M| 115 |   - |3831 |5991 |3831 | 921 | 169k|  24k|4424 | 0.000000e+00 | 4.780000e+02 |    Inf 
433.42/433.45	o 469
433.42/433.45	c * 424s|165141 |126831 |  1211k|   7.3 | 306M| 115 |   - |3831 |5133 |3831 | 918 | 174k|  26k|4522 | 0.000000e+00 | 4.690000e+02 |    Inf 
433.42/433.49	o 457
433.42/433.49	c * 424s|165147 |125175 |  1211k|   7.3 | 301M| 115 |   - |3831 |5127 |3831 | 918 | 174k|  26k|4522 | 0.000000e+00 | 4.570000e+02 |    Inf 
452.01/452.03	o 453
452.01/452.03	c * 443s|169095 |127712 |  1305k|   7.7 | 309M| 115 |   - |3831 |5425 |3831 | 931 | 180k|  28k|4642 | 0.000000e+00 | 4.530000e+02 |    Inf 
456.80/456.88	c   447s|170000 |128375 |  1332k|   7.8 | 311M| 115 |   - |3831 |5448 |3831 | 925 | 182k|  29k|4680 | 0.000000e+00 | 4.530000e+02 |    Inf 
463.21/463.24	o 450
463.21/463.24	c * 454s|171215 |128772 |  1368k|   8.0 | 314M| 115 |   - |3831 |5550 |3831 | 945 | 185k|  30k|4713 | 0.000000e+00 | 4.500000e+02 |    Inf 
489.11/489.16	o 446
489.11/489.16	c * 479s|176150 |131537 |  1512k|   8.6 | 325M| 115 |   - |3831 |5726 |3831 | 950 | 196k|  33k|4924 | 0.000000e+00 | 4.460000e+02 |    Inf 
492.31/492.36	o 436
492.31/492.36	c * 482s|176751 |130187 |  1529k|   8.7 | 321M| 115 |   - |3831 |5850 |3831 | 937 | 198k|  34k|4950 | 0.000000e+00 | 4.360000e+02 |    Inf 
509.41/509.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
509.41/509.49	c   499s|180000 |132395 |  1626k|   9.0 | 331M| 115 |  28 |3831 |5837 |3831 | 946 | 205k|  36k|5082 | 0.000000e+00 | 4.360000e+02 |    Inf 
559.92/559.96	c   549s|190000 |138727 |  1903k|  10.0 | 359M| 115 |   1 |3831 |6460 |3831 | 925 | 227k|  45k|5460 | 0.000000e+00 | 4.360000e+02 |    Inf 
579.62/579.67	o 431
579.62/579.67	c * 569s|194661 |140524 |  2001k|  10.3 | 367M| 115 |   - |3831 |5658 |3831 | 920 | 234k|  49k|5589 | 0.000000e+00 | 4.310000e+02 |    Inf 
587.32/587.40	o 429
587.32/587.40	c * 576s|196689 |141507 |  2034k|  10.3 | 372M| 115 |   - |3831 |5472 |3831 | 944 | 238k|  50k|5615 | 0.000000e+00 | 4.290000e+02 |    Inf 
589.11/589.15	o 426
589.11/589.15	c * 578s|197147 |141119 |  2040k|  10.3 | 372M| 115 |   - |3831 |5627 |3831 | 970 | 239k|  51k|5634 | 0.000000e+00 | 4.260000e+02 |    Inf 
598.91/598.96	c   588s|200000 |142856 |  2079k|  10.4 | 377M| 115 |   0 |3831 |5825 |3831 | 960 | 243k|  53k|5654 | 0.000000e+00 | 4.260000e+02 |    Inf 
601.91/601.99	o 421
601.91/601.99	c * 591s|201062 |142705 |  2088k|  10.4 | 376M| 115 |   - |3831 |5599 |3831 | 937 | 244k|  53k|5679 | 0.000000e+00 | 4.210000e+02 |    Inf 
635.92/635.94	c   624s|210000 |147652 |  2239k|  10.7 | 396M| 115 |   1 |3831 |6166 |3831 | 930 | 258k|  61k|5811 | 0.000000e+00 | 4.210000e+02 |    Inf 
666.71/666.71	o 420
666.71/666.71	c * 655s|217409 |151347 |  2395k|  11.0 | 412M| 115 |   - |3831 |6385 |3831 | 947 | 270k|  68k|5984 | 0.000000e+00 | 4.200000e+02 |    Inf 
666.92/666.94	o 413
666.92/666.94	c * 655s|217476 |149918 |  2396k|  11.0 | 408M| 115 |   - |3831 |6302 |3831 | 957 | 270k|  68k|5984 | 0.000000e+00 | 4.130000e+02 |    Inf 
672.72/672.78	o 410
672.72/672.78	c * 661s|219233 |150428 |  2417k|  11.0 | 410M| 115 |   - |3831 |5885 |3831 | 948 | 273k|  69k|6019 | 0.000000e+00 | 4.100000e+02 |    Inf 
675.92/675.98	c   664s|220000 |150913 |  2433k|  11.1 | 412M| 115 |   0 |3831 |5987 |3831 | 959 | 275k|  70k|6027 | 0.000000e+00 | 4.100000e+02 |    Inf 
676.62/676.66	o 408
676.62/676.66	c * 665s|220261 |150697 |  2434k|  11.1 | 411M| 115 |   - |3831 |5952 |3831 | 949 | 275k|  70k|6027 | 0.000000e+00 | 4.080000e+02 |    Inf 
678.92/678.96	o 402
678.92/678.96	c * 667s|221031 |149792 |  2440k|  11.0 | 408M| 115 |   - |3831 |5987 |3831 | 948 | 276k|  71k|6034 | 0.000000e+00 | 4.020000e+02 |    Inf 
680.62/680.68	o 401
680.62/680.68	c * 669s|221648 |149984 |  2445k|  11.0 | 408M| 115 |   - |3831 |5853 |3831 | 949 | 277k|  71k|6035 | 0.000000e+00 | 4.010000e+02 |    Inf 
698.82/698.85	o 399
698.82/698.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
698.82/698.85	c * 687s|227193 |152954 |  2512k|  11.1 | 418M| 115 |   - |3831 |6055 |3831 | 932 | 287k|  75k|6089 | 0.000000e+00 | 3.990000e+02 |    Inf 
708.72/708.78	c   696s|230000 |154512 |  2553k|  11.1 | 424M| 115 |   0 |3831 |6291 |3831 | 927 | 291k|  78k|6137 | 0.000000e+00 | 3.990000e+02 |    Inf 
717.23/717.25	o 395
717.23/717.25	c * 705s|233382 |156592 |  2573k|  11.0 | 427M| 115 |   - |3831 |5762 |3831 | 965 | 295k|  79k|6140 | 0.000000e+00 | 3.950000e+02 |    Inf 
717.32/717.37	o 389
717.32/717.37	c * 705s|233416 |155146 |  2573k|  11.0 | 421M| 115 |   - |3831 |5744 |3831 | 953 | 295k|  79k|6140 | 0.000000e+00 | 3.890000e+02 |    Inf 
724.01/724.00	o 375
724.01/724.00	c * 711s|235508 |152555 |  2595k|  11.0 | 409M| 115 |   - |3831 |5821 |3831 | 930 | 298k|  80k|6162 | 0.000000e+00 | 3.750000e+02 |    Inf 
724.01/724.02	o 363
724.01/724.02	c * 712s|235509 |149100 |  2595k|  11.0 | 395M| 115 |   - |3831 |5821 |3831 | 930 | 298k|  80k|6162 | 0.000000e+00 | 3.630000e+02 |    Inf 
736.81/736.87	o 360
736.81/736.87	c * 724s|239319 |150105 |  2643k|  11.0 | 399M| 115 |   - |3831 |6138 |3831 | 942 | 304k|  84k|6193 | 0.000000e+00 | 3.600000e+02 |    Inf 
738.92/738.94	c   726s|240000 |150472 |  2649k|  11.0 | 400M| 115 |   3 |3831 |6385 |3831 | 939 | 305k|  84k|6200 | 0.000000e+00 | 3.600000e+02 |    Inf 
758.52/758.53	o 355
758.52/758.53	c * 746s|245057 |151274 |  2741k|  11.2 | 405M| 115 |   - |3831 |6743 |3831 | 956 | 314k|  90k|6266 | 0.000000e+00 | 3.550000e+02 |    Inf 
776.13/776.16	c   763s|250000 |153271 |  2814k|  11.3 | 414M| 115 |   1 |3831 |6767 |3831 | 932 | 322k|  95k|6343 | 0.000000e+00 | 3.550000e+02 |    Inf 
785.82/785.89	o 352
785.82/785.89	c * 773s|252298 |153334 |  2858k|  11.3 | 418M| 115 |   - |3831 |6259 |3831 | 961 | 327k|  98k|6368 | 0.000000e+00 | 3.520000e+02 |    Inf 
787.82/787.84	o 346
787.82/787.84	c * 775s|252718 |151631 |  2866k|  11.3 | 411M| 115 |   - |3831 |6171 |3831 | 934 | 327k|  98k|6388 | 0.000000e+00 | 3.460000e+02 |    Inf 
788.92/788.96	o 344
788.92/788.96	c * 776s|253096 |151270 |  2870k|  11.3 | 410M| 115 |   - |3831 |6201 |3831 | 929 | 328k|  98k|6394 | 0.000000e+00 | 3.440000e+02 |    Inf 
789.92/789.94	o 342
789.92/789.94	c * 777s|253406 |150758 |  2873k|  11.3 | 408M| 115 |   - |3831 |6244 |3831 | 981 | 329k|  98k|6403 | 0.000000e+00 | 3.420000e+02 |    Inf 
790.32/790.39	o 339
790.32/790.39	c * 777s|253543 |149724 |  2874k|  11.3 | 404M| 115 |   - |3831 |6244 |3831 | 938 | 329k|  98k|6405 | 0.000000e+00 | 3.390000e+02 |    Inf 
791.12/791.16	o 336
791.12/791.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
791.12/791.16	c * 778s|253752 |148756 |  2877k|  11.3 | 401M| 115 |   - |3831 |6276 |3831 | 951 | 330k|  99k|6406 | 0.000000e+00 | 3.360000e+02 |    Inf 
792.22/792.25	o 332
792.22/792.25	c * 779s|254040 |147535 |  2880k|  11.3 | 397M| 115 |   - |3831 |6206 |3831 | 963 | 330k|  99k|6406 | 0.000000e+00 | 3.320000e+02 |    Inf 
792.52/792.55	o 328
792.52/792.55	c * 779s|254122 |145954 |  2881k|  11.3 | 391M| 115 |   - |3831 |6150 |3831 | 926 | 330k|  99k|6406 | 0.000000e+00 | 3.280000e+02 |    Inf 
794.52/794.50	o 327
794.52/794.50	c * 781s|254722 |145840 |  2887k|  11.3 | 391M| 115 |   - |3831 |5930 |3831 | 929 | 331k|  99k|6410 | 0.000000e+00 | 3.270000e+02 |    Inf 
798.42/798.42	o 323
798.42/798.42	c * 785s|255943 |144916 |  2901k|  11.3 | 389M| 115 |   - |3831 |6040 |3831 | 988 | 333k| 100k|6410 | 0.000000e+00 | 3.230000e+02 |    Inf 
798.42/798.46	o 318
798.42/798.46	c * 785s|255949 |142994 |  2901k|  11.3 | 383M| 115 |   - |3831 |6034 |3831 | 987 | 333k| 100k|6410 | 0.000000e+00 | 3.180000e+02 |    Inf 
813.62/813.64	c   800s|260000 |144819 |  2961k|  11.4 | 392M| 115 |   - |3831 |6056 |3831 | 946 | 340k| 104k|6456 | 0.000000e+00 | 3.180000e+02 |    Inf 
841.12/841.14	o 315
841.12/841.14	c * 827s|267480 |147145 |  3072k|  11.5 | 408M| 115 |   - |3831 |6306 |3831 | 964 | 351k| 111k|6533 | 0.000000e+00 | 3.150000e+02 |    Inf 
841.23/841.23	o 312
841.23/841.23	c * 827s|267500 |145988 |  3072k|  11.5 | 404M| 115 |   - |3831 |6288 |3831 | 930 | 351k| 111k|6533 | 0.000000e+00 | 3.120000e+02 |    Inf 
844.42/844.46	o 311
844.42/844.46	c * 831s|268478 |146196 |  3081k|  11.5 | 407M| 115 |   - |3831 |6143 |3831 | 948 | 353k| 112k|6541 | 0.000000e+00 | 3.110000e+02 |    Inf 
845.02/845.03	o 309
845.02/845.03	c * 831s|268674 |145501 |  3083k|  11.5 | 405M| 115 |   - |3831 |6241 |3831 | 941 | 353k| 112k|6544 | 0.000000e+00 | 3.090000e+02 |    Inf 
845.02/845.06	o 305
845.02/845.06	c * 831s|268679 |144009 |  3083k|  11.5 | 400M| 115 |   - |3831 |6240 |3831 | 949 | 353k| 112k|6544 | 0.000000e+00 | 3.050000e+02 |    Inf 
846.72/846.73	o 304
846.72/846.73	c * 833s|269202 |143928 |  3087k|  11.5 | 400M| 115 |   - |3831 |6251 |3831 | 924 | 354k| 113k|6555 | 0.000000e+00 | 3.040000e+02 |    Inf 
849.42/849.42	c   835s|270000 |144437 |  3095k|  11.5 | 402M| 115 |   - |3831 |6203 |   0 |   0 | 355k| 113k|6573 | 0.000000e+00 | 3.040000e+02 |    Inf 
860.23/860.22	o 302
860.23/860.22	c * 846s|274006 |146178 |  3122k|  11.4 | 409M| 115 |   - |3831 |6112 |3831 | 960 | 360k| 116k|6577 | 0.000000e+00 | 3.020000e+02 |    Inf 
860.72/860.78	o 296
860.72/860.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
860.72/860.78	c * 847s|274192 |143929 |  3123k|  11.4 | 403M| 115 |   - |3831 |6042 |3831 | 937 | 360k| 116k|6577 | 0.000000e+00 | 2.960000e+02 |    Inf 
861.42/861.40	o 294
861.42/861.40	c * 847s|274417 |143374 |  3125k|  11.4 | 402M| 115 |   - |3831 |6014 |3831 | 937 | 361k| 116k|6577 | 0.000000e+00 | 2.940000e+02 |    Inf 
861.42/861.44	o 288
861.42/861.44	c * 847s|274423 |140939 |  3125k|  11.4 | 393M| 115 |   - |3831 |6013 |3831 | 957 | 361k| 116k|6577 | 0.000000e+00 | 2.880000e+02 |    Inf 
861.42/861.49	o 264
861.42/861.49	c * 847s|274424 |130824 |  3125k|  11.4 | 360M| 115 |   - |3831 |6013 |3831 | 958 | 361k| 116k|6577 | 0.000000e+00 | 2.640000e+02 |    Inf 
864.42/864.42	o 263
864.42/864.42	c * 850s|275639 |131492 |  3129k|  11.4 | 362M| 115 |   - |3831 |5951 |3831 | 952 | 362k| 116k|6577 | 0.000000e+00 | 2.630000e+02 |    Inf 
865.32/865.30	o 255
865.32/865.30	c * 851s|275936 |128087 |  3131k|  11.3 | 353M| 115 |   - |3831 |6028 |3831 | 979 | 363k| 116k|6577 | 0.000000e+00 | 2.550000e+02 |    Inf 
875.92/875.98	o 250
875.92/875.98	c * 862s|279107 |127547 |  3168k|  11.4 | 354M| 115 |   - |3831 |5755 |3831 | 925 | 367k| 119k|6608 | 0.000000e+00 | 2.500000e+02 |    Inf 
880.13/880.19	c   866s|280000 |128079 |  3188k|  11.4 | 358M| 115 |  33 |3831 |5845 |3831 | 938 | 369k| 119k|6608 | 0.000000e+00 | 2.500000e+02 |    Inf 
880.23/880.21	o 248
880.23/880.21	c * 866s|280004 |127115 |  3188k|  11.4 | 355M| 115 |   - |3831 |5845 |3831 | 941 | 369k| 119k|6608 | 0.000000e+00 | 2.480000e+02 |    Inf 
882.92/882.93	o 244
882.92/882.93	c * 869s|280774 |125709 |  3196k|  11.4 | 351M| 115 |   - |3831 |6082 |3831 | 966 | 370k| 120k|6631 | 0.000000e+00 | 2.440000e+02 |    Inf 
883.62/883.63	o 243
883.62/883.63	c * 869s|280988 |125403 |  3198k|  11.4 | 351M| 115 |   - |3831 |6225 |3831 | 960 | 370k| 120k|6634 | 0.000000e+00 | 2.430000e+02 |    Inf 
887.73/887.71	o 233
887.73/887.71	c * 873s|282044 |121267 |  3214k|  11.4 | 339M| 115 |   - |3831 |6010 |3831 | 937 | 372k| 121k|6643 | 0.000000e+00 | 2.330000e+02 |    Inf 
887.73/887.74	o 231
887.73/887.74	c * 873s|282048 |120396 |  3214k|  11.4 | 337M| 115 |   - |3831 |5997 |3831 | 938 | 372k| 121k|6643 | 0.000000e+00 | 2.310000e+02 |    Inf 
887.73/887.76	o 219
887.73/887.76	c * 873s|282049 |114939 |  3214k|  11.4 | 321M| 115 |   - |3831 |5997 |3831 | 938 | 372k| 121k|6643 | 0.000000e+00 | 2.190000e+02 |    Inf 
906.73/906.72	o 218
906.73/906.72	c * 892s|287444 |116659 |  3279k|  11.4 | 334M| 115 |   - |3831 |6056 |3831 | 958 | 381k| 126k|6682 | 0.000000e+00 | 2.180000e+02 |    Inf 
912.72/912.74	o 217
912.72/912.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
912.72/912.74	c * 898s|289105 |116651 |  3302k|  11.4 | 335M| 115 |   - |3831 |6021 |3831 | 969 | 383k| 128k|6697 | 0.000000e+00 | 2.170000e+02 |    Inf 
914.62/914.64	o 216
914.62/914.64	c * 900s|289724 |116373 |  3307k|  11.4 | 335M| 115 |   - |3831 |5902 |3831 | 939 | 383k| 128k|6709 | 0.000000e+00 | 2.160000e+02 |    Inf 
915.63/915.65	o 204
915.63/915.65	c * 901s|290000 |110594 |  3310k|  11.4 | 320M| 115 |   - |3831 |5833 |3831 | 940 | 384k| 128k|6711 | 0.000000e+00 | 2.040000e+02 |    Inf 
915.63/915.67	o 192
915.63/915.67	c * 901s|290001 |104445 |  3310k|  11.4 | 305M| 115 |   - |3831 |5833 |3831 | 940 | 384k| 128k|6711 | 0.000000e+00 | 1.920000e+02 |    Inf 
916.23/916.29	o 191
916.23/916.29	c * 901s|290172 |104009 |  3311k|  11.4 | 305M| 115 |   - |3831 |5883 |3831 | 940 | 384k| 129k|6713 | 0.000000e+00 | 1.910000e+02 |    Inf 
916.34/916.33	o 186
916.34/916.33	c * 902s|290177 |101445 |  3311k|  11.4 | 298M| 115 |   - |3831 |5879 |3831 | 944 | 384k| 129k|6713 | 0.000000e+00 | 1.860000e+02 |    Inf 
916.34/916.37	o 180
916.34/916.37	c * 902s|290180 | 98544 |  3311k|  11.4 | 290M| 115 |   - |3831 |5879 |3831 | 944 | 384k| 129k|6713 | 0.000000e+00 | 1.800000e+02 |    Inf 
916.34/916.39	o 177
916.34/916.39	c * 902s|290182 | 96818 |  3311k|  11.4 | 286M| 115 |   - |3831 |5879 |3831 | 944 | 384k| 129k|6713 | 0.000000e+00 | 1.770000e+02 |    Inf 
917.23/917.23	o 163
917.23/917.23	c * 902s|290430 | 89540 |  3312k|  11.4 | 267M| 115 |   - |3831 |5891 |3831 | 920 | 384k| 129k|6713 | 0.000000e+00 | 1.630000e+02 |    Inf 
918.33/918.33	o 162
918.33/918.33	c * 904s|290800 | 89101 |  3315k|  11.4 | 266M| 115 |   - |3831 |5946 |3831 | 931 | 385k| 129k|6716 | 0.000000e+00 | 1.620000e+02 |    Inf 
918.33/918.34	o 160
918.33/918.34	c * 904s|290802 | 88131 |  3315k|  11.4 | 263M| 115 |   - |3831 |5946 |3831 | 931 | 385k| 129k|6716 | 0.000000e+00 | 1.600000e+02 |    Inf 
918.33/918.36	o 150
918.33/918.36	c * 904s|290803 | 83442 |  3315k|  11.4 | 251M| 115 |   - |3831 |5946 |3831 | 931 | 385k| 129k|6716 | 0.000000e+00 | 1.500000e+02 |    Inf 
918.82/918.86	o 149
918.82/918.86	c * 904s|290953 | 82938 |  3316k|  11.4 | 250M| 115 |   - |3831 |5933 |3831 | 940 | 385k| 129k|6716 | 0.000000e+00 | 1.490000e+02 |    Inf 
918.82/918.88	o 139
918.82/918.88	c * 904s|290954 | 77459 |  3316k|  11.4 | 235M| 115 |   - |3831 |5933 |3831 | 940 | 385k| 129k|6716 | 0.000000e+00 | 1.390000e+02 |    Inf 
919.02/919.04	o 131
919.02/919.04	c * 904s|290997 | 72521 |  3316k|  11.4 | 222M| 115 |   - |3831 |5930 |3831 | 924 | 385k| 129k|6716 | 0.000000e+00 | 1.310000e+02 |    Inf 
919.02/919.07	o 119
919.02/919.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
919.02/919.07	c * 904s|290998 | 65397 |  3316k|  11.4 | 204M| 115 |   - |3831 |5930 |3831 | 924 | 385k| 129k|6716 | 0.000000e+00 | 1.190000e+02 |    Inf 
919.32/919.31	o 116
919.32/919.31	c * 904s|291058 | 63758 |  3316k|  11.4 | 200M| 115 |   - |3831 |5883 |3831 | 950 | 385k| 129k|6716 | 0.000000e+00 | 1.160000e+02 |    Inf 
920.13/920.19	o 108
920.13/920.19	c * 905s|291317 | 58604 |  3317k|  11.4 | 188M| 115 |   - |3831 |5809 |3831 | 918 | 386k| 129k|6716 | 0.000000e+00 | 1.080000e+02 |    Inf 
920.23/920.24	o 103
920.23/920.24	c * 905s|291329 | 54370 |  3318k|  11.4 | 178M| 115 |   - |3831 |5808 |3831 | 918 | 386k| 129k|6716 | 0.000000e+00 | 1.030000e+02 |    Inf 
920.33/920.30	o 95
920.33/920.30	c * 905s|291341 | 50269 |  3318k|  11.4 | 167M| 115 |   - |3831 |5817 |3831 | 924 | 386k| 129k|6716 | 0.000000e+00 | 9.500000e+01 |    Inf 
923.82/923.88	o 94
923.82/923.88	c * 909s|292261 | 49952 |  3329k|  11.4 | 169M| 115 |   - |3831 |5350 |3831 | 941 | 386k| 130k|6717 | 0.000000e+00 | 9.400000e+01 |    Inf 
925.32/925.32	o 77
925.32/925.32	c * 910s|292654 | 42809 |  3332k|  11.4 | 153M| 115 |   - |3831 |5243 |3831 | 938 | 386k| 131k|6717 | 0.000000e+00 | 7.700000e+01 |    Inf 
925.32/925.35	o 69
925.32/925.35	c * 910s|292655 | 35902 |  3332k|  11.4 | 137M| 115 |   - |3831 |5243 |3831 | 938 | 386k| 131k|6717 | 0.000000e+00 | 6.900000e+01 |    Inf 
925.73/925.73	o 68
925.73/925.73	c * 911s|292759 | 35316 |  3333k|  11.4 | 136M| 115 |   - |3831 |4757 |3831 | 956 | 386k| 131k|6717 | 0.000000e+00 | 6.800000e+01 |    Inf 
926.52/926.56	o 63
926.52/926.56	c * 912s|292925 | 32975 |  3335k|  11.4 | 130M| 115 |   - |3831 |4672 |3831 | 937 | 387k| 131k|6717 | 0.000000e+00 | 6.300000e+01 |    Inf 
926.52/926.59	o 55
926.52/926.59	c * 912s|292927 | 30317 |  3335k|  11.4 | 121M| 115 |   - |3831 |4572 |3831 | 937 | 387k| 131k|6717 | 0.000000e+00 | 5.500000e+01 |    Inf 
926.62/926.64	o 45
926.62/926.64	c * 912s|292935 | 26351 |  3335k|  11.4 | 110M| 115 |   - |3831 |4396 |3831 | 938 | 387k| 131k|6717 | 0.000000e+00 | 4.500000e+01 |    Inf 
926.62/926.69	o 35
926.62/926.69	c * 912s|292936 | 10760 |  3335k|  11.4 |  70M| 115 |   - |3831 |4396 |3831 | 938 | 387k| 131k|6717 | 0.000000e+00 | 3.500000e+01 |    Inf 
946.43/946.47	c   931s|300000 |  8166 |  3397k|  11.3 |  72M| 115 |   - |3831 |5657 |   0 |   0 | 390k| 142k|6748 | 0.000000e+00 | 3.500000e+01 |    Inf 
968.22/968.30	c   953s|310000 |  6889 |  3454k|  11.1 |  72M| 115 |   - |3831 |6766 |3831 | 930 | 394k| 155k|6796 | 0.000000e+00 | 3.500000e+01 |    Inf 
990.33/990.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
990.33/990.32	c   975s|320000 |  6245 |  3509k|  11.0 |  71M| 115 |   9 |3831 |7995 |3831 | 917 | 401k| 168k|6845 | 0.000000e+00 | 3.500000e+01 |    Inf 
1012.43/1012.46	c   996s|330000 |  5694 |  3568k|  10.8 |  71M| 115 |   - |3831 |8905 |   0 |   0 | 406k| 181k|6866 | 0.000000e+00 | 3.500000e+01 |    Inf 
1034.03/1034.05	c  1018s|340000 |  5357 |  3617k|  10.6 |  70M| 115 |   - |3831 |8668 |   0 |   0 | 410k| 195k|6917 | 0.000000e+00 | 3.500000e+01 |    Inf 
1055.13/1055.11	c  1038s|350000 |  5394 |  3660k|  10.5 |  74M| 115 |   - |3831 |  10k|   0 |   0 | 414k| 207k|6933 | 0.000000e+00 | 3.500000e+01 |    Inf 
1076.53/1076.57	c  1060s|360000 |  5486 |  3701k|  10.3 |  77M| 115 |   1 |3831 |  11k|3831 | 915 | 417k| 220k|6954 | 0.000000e+00 | 3.500000e+01 |    Inf 
1098.33/1098.33	c  1081s|370000 |  5464 |  3743k|  10.1 |  79M| 115 |   4 |3831 |  11k|3831 | 925 | 421k| 233k|6995 | 0.000000e+00 | 3.500000e+01 |    Inf 
1121.34/1121.31	c  1104s|380000 |  5438 |  3797k|  10.0 |  81M| 115 |   1 |3831 |  12k|3831 | 917 | 425k| 246k|7026 | 0.000000e+00 | 3.500000e+01 |    Inf 
1145.33/1145.39	c  1128s|390000 |  5419 |  3857k|   9.9 |  82M| 115 |   8 |3831 |  12k|3831 | 908 | 431k| 259k|7070 | 0.000000e+00 | 3.500000e+01 |    Inf 
1167.74/1167.70	c  1150s|400000 |  5396 |  3901k|   9.8 |  84M| 115 |  15 |3831 |  15k|3831 | 915 | 434k| 272k|7118 | 0.000000e+00 | 3.500000e+01 |    Inf 
1188.83/1188.88	c  1171s|410000 |  5388 |  3937k|   9.6 |  85M| 115 |   1 |3831 |  15k|3831 | 915 | 436k| 286k|7132 | 0.000000e+00 | 3.500000e+01 |    Inf 
1210.33/1210.35	c  1192s|420000 |  5423 |  3972k|   9.5 |  87M| 115 |   1 |3831 |  17k|3831 | 915 | 438k| 299k|7155 | 0.000000e+00 | 3.500000e+01 |    Inf 
1231.23/1231.23	c  1212s|430000 |  5411 |  4006k|   9.3 |  88M| 115 |   1 |3831 |  15k|3831 | 915 | 440k| 313k|7200 | 0.000000e+00 | 3.500000e+01 |    Inf 
1251.44/1251.46	c  1232s|440000 |  5446 |  4040k|   9.2 |  89M| 115 |   - |3831 |  14k|   0 |   0 | 442k| 327k|7208 | 0.000000e+00 | 3.500000e+01 |    Inf 
1272.44/1272.41	c  1253s|450000 |  5494 |  4076k|   9.1 |  90M| 115 |   8 |3831 |  14k|3831 | 933 | 444k| 341k|7249 | 0.000000e+00 | 3.500000e+01 |    Inf 
1285.55/1285.56	o 30
1285.55/1285.56	c *1266s|455822 |  4863 |  4103k|   9.0 |  79M| 115 |   - |3831 |  12k|3831 | 920 | 446k| 349k|7252 | 0.000000e+00 | 3.000000e+01 |    Inf 
1285.74/1285.70	o 26
1285.74/1285.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1285.74/1285.70	c *1266s|455871 |  4557 |  4103k|   9.0 |  75M| 115 |   - |3831 |  12k|3831 | 921 | 446k| 349k|7252 | 0.000000e+00 | 2.600000e+01 |    Inf 
1285.74/1285.70	o 23
1285.74/1285.70	c *1266s|455872 |  4339 |  4103k|   9.0 |  72M| 115 |   - |3831 |  12k|3831 | 921 | 446k| 349k|7252 | 0.000000e+00 | 2.300000e+01 |    Inf 
1294.24/1294.26	c  1275s|460000 |  4378 |  4124k|   9.0 |  72M| 115 |   - |3831 |  11k|   0 |   0 | 448k| 355k|7284 | 0.000000e+00 | 2.300000e+01 |    Inf 
1314.24/1314.28	c  1294s|470000 |  4426 |  4167k|   8.9 |  74M| 115 |   9 |3831 |  13k|3831 | 919 | 451k| 368k|7308 | 0.000000e+00 | 2.300000e+01 |    Inf 
1334.54/1334.56	c  1315s|480000 |  4401 |  4211k|   8.8 |  75M| 115 |   - |3831 |  14k|   0 |   0 | 454k| 382k|7333 | 0.000000e+00 | 2.300000e+01 |    Inf 
1356.65/1356.62	c  1336s|490000 |  4351 |  4263k|   8.7 |  75M| 115 |   - |3831 |  12k|   0 |   0 | 460k| 396k|7376 | 0.000000e+00 | 2.300000e+01 |    Inf 
1376.44/1376.46	c  1356s|500000 |  4429 |  4307k|   8.6 |  76M| 115 |   - |3831 |  14k|   0 |   0 | 463k| 409k|7413 | 0.000000e+00 | 2.300000e+01 |    Inf 
1396.24/1396.28	c  1375s|510000 |  4497 |  4346k|   8.5 |  79M| 115 |   - |3831 |  16k|   0 |   0 | 465k| 422k|7449 | 0.000000e+00 | 2.300000e+01 |    Inf 
1416.34/1416.37	c  1395s|520000 |  4566 |  4386k|   8.4 |  80M| 115 |   - |3831 |  16k|   0 |   0 | 467k| 435k|7455 | 0.000000e+00 | 2.300000e+01 |    Inf 
1420.45/1420.41	o 16
1420.45/1420.41	c *1399s|522014 |  3910 |  4394k|   8.4 |  68M| 115 |   - |3831 |  17k|3831 | 914 | 468k| 438k|7463 | 0.000000e+00 | 1.600000e+01 |    Inf 
1432.04/1432.02	o 15
1432.04/1432.02	c *1411s|528111 |  3886 |  4417k|   8.4 |  68M| 115 |   - |3831 |  17k|3831 | 914 | 469k| 446k|7486 | 0.000000e+00 | 1.500000e+01 |    Inf 
1432.84/1432.87	o 14
1432.84/1432.87	c *1412s|528577 |  3789 |  4419k|   8.4 |  66M| 115 |   - |3831 |  17k|3831 | 918 | 469k| 447k|7486 | 0.000000e+00 | 1.400000e+01 |    Inf 
1435.64/1435.67	c  1414s|530000 |  3789 |  4424k|   8.3 |  66M| 115 |   - |3831 |  17k|   0 |   0 | 469k| 449k|7498 | 0.000000e+00 | 1.400000e+01 |    Inf 
1455.95/1455.98	c  1434s|540000 |  3763 |  4468k|   8.3 |  68M| 115 |   - |3831 |  20k|   0 |   0 | 471k| 462k|7524 | 0.000000e+00 | 1.400000e+01 |    Inf 
1476.45/1476.45	c  1455s|550000 |  3802 |  4506k|   8.2 |  70M| 115 |   - |3831 |  24k|   0 |   0 | 473k| 476k|7532 | 0.000000e+00 | 1.400000e+01 |    Inf 
1498.35/1498.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1498.35/1498.35	c  1476s|560000 |  3906 |  4546k|   8.1 |  72M| 115 |   - |3831 |  23k|   0 |   0 | 475k| 489k|7566 | 0.000000e+00 | 1.400000e+01 |    Inf 
1520.45/1520.48	c  1498s|570000 |  3912 |  4587k|   8.0 |  73M| 115 |  10 |3831 |  23k|3831 | 914 | 477k| 503k|7601 | 0.000000e+00 | 1.400000e+01 |    Inf 
1541.46/1541.44	c  1519s|580000 |  3926 |  4623k|   8.0 |  74M| 115 |  17 |3831 |  23k|3831 | 914 | 479k| 517k|7614 | 0.000000e+00 | 1.400000e+01 |    Inf 
1562.15/1562.18	c  1539s|590000 |  3885 |  4663k|   7.9 |  73M| 115 |   1 |3831 |  20k|3831 | 914 | 481k| 530k|7658 | 0.000000e+00 | 1.400000e+01 |    Inf 
1582.56/1582.53	c  1559s|600000 |  3962 |  4704k|   7.8 |  74M| 115 |  18 |3831 |  21k|3831 | 914 | 483k| 544k|7695 | 0.000000e+00 | 1.400000e+01 |    Inf 
1602.85/1602.88	c  1580s|610000 |  3915 |  4741k|   7.8 |  75M| 115 |   8 |3831 |  20k|3831 | 914 | 485k| 558k|7702 | 0.000000e+00 | 1.400000e+01 |    Inf 
1623.76/1623.73	c  1600s|620000 |  3894 |  4783k|   7.7 |  75M| 115 |   7 |3831 |  20k|3831 | 919 | 487k| 571k|7737 | 0.000000e+00 | 1.400000e+01 |    Inf 
1643.65/1643.66	c  1620s|630000 |  3903 |  4823k|   7.7 |  74M| 115 |   - |3831 |  16k|   0 |   0 | 488k| 585k|7772 | 0.000000e+00 | 1.400000e+01 |    Inf 
1662.96/1662.96	c  1639s|640000 |  3911 |  4859k|   7.6 |  77M| 115 |   1 |3831 |  21k|3831 | 914 | 490k| 599k|7777 | 0.000000e+00 | 1.400000e+01 |    Inf 
1683.56/1683.50	c  1659s|650000 |  3916 |  4897k|   7.5 |  78M| 115 |   - |3831 |  21k|   0 |   0 | 492k| 613k|7815 | 0.000000e+00 | 1.400000e+01 |    Inf 
1704.56/1704.54	c  1680s|660000 |  3930 |  4940k|   7.5 |  76M| 115 |   - |3831 |  15k|   0 |   0 | 495k| 628k|7867 | 0.000000e+00 | 1.400000e+01 |    Inf 
1723.96/1723.90	c  1699s|670000 |  3920 |  4984k|   7.4 |  76M| 115 |   - |3831 |  14k|   0 |   0 | 497k| 641k|7875 | 0.000000e+00 | 1.400000e+01 |    Inf 
1743.06/1743.09	c  1718s|680000 |  3906 |  5024k|   7.4 |  76M| 115 |   - |3831 |  16k|   0 |   0 | 499k| 655k|7909 | 0.000000e+00 | 1.400000e+01 |    Inf 
1763.46/1763.44	c  1738s|690000 |  3892 |  5068k|   7.3 |  77M| 115 |   - |3831 |  18k|   0 |   0 | 501k| 668k|7943 | 0.000000e+00 | 1.400000e+01 |    Inf 
1784.76/1784.76	c  1759s|700000 |  3882 |  5114k|   7.3 |  78M| 115 |  10 |3831 |  18k|3831 | 908 | 504k| 682k|7964 | 0.000000e+00 | 1.400000e+01 |    Inf 
1800.07/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00	c 
1800.07/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.00	c Solving Time (sec) : 1774.28
1800.07/1800.00	c Solving Nodes      : 707411
1800.07/1800.00	c Primal Bound       : +1.40000000000000e+01 (230 solutions)
1800.07/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.00	c Gap                : infinite
1800.07/1800.04	s SATISFIABLE
1800.07/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.07/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.07/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.07/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.07/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.07/1800.04	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 
1800.07/1800.04	v -x104 -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.07/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 
1800.07/1800.04	v -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 
1800.07/1800.04	v -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 
1800.07/1800.04	v -x2 -x1 
1800.07/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.04	c Solving Time       :    1774.28
1800.07/1800.04	c Original Problem   :
1800.07/1800.04	c   Problem name     : HOME/instance-2692863-1277907530.wbo
1800.07/1800.04	c   Variables        : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.07/1800.04	c   Constraints      : 4565 initial, 4565 maximal
1800.07/1800.04	c Presolved Problem  :
1800.07/1800.04	c   Problem name     : t_HOME/instance-2692863-1277907530.wbo
1800.07/1800.04	c   Variables        : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.07/1800.04	c   Constraints      : 4434 initial, 25749 maximal
1800.07/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.04	c   trivial          :       0.00         57          0          0          0          0          0          0          0
1800.07/1800.04	c   dualfix          :       0.00         57          0          0          0          0          0          0          0
1800.07/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.07/1800.04	c   indicator        :       0.00          0          0          0          0          0         57          0          0
1800.07/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.04	c   linear           :       0.06          0          0          0       1864          0         74         62          0
1800.07/1800.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.04	c   root node        :          -       1560          -          -       3120          -          -          -          -
1800.07/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.04	c   integral         :          0          0          0     555833          0          4        265          0          0     659758
1800.07/1800.04	c   indicator        :       1800          0    3023097     225584          0       1544   19017145          0          0          0
1800.07/1800.04	c   setppc           :          5          6    2899452     165889          0      21499     730077          0          0          0
1800.07/1800.04	c   linear           :       1800          6    3007408     225558          0      91766   11897404     506422          0          0
1800.07/1800.04	c   logicor          :        829+         6    1441519     157708          0     100394    3082985          0          0          0
1800.07/1800.04	c   bounddisjunction :          0+         0     139063          0          0          1        123          0          0          0
1800.07/1800.04	c   countsols        :          0          0          0     157708          0          0          0          0          0          0
1800.07/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.04	c   integral         :      24.81       0.00       0.00      24.81       0.00
1800.07/1800.04	c   indicator        :      80.99       0.01      48.39      32.59       0.00
1800.07/1800.04	c   setppc           :       5.64       0.00       5.56       0.08       0.00
1800.07/1800.04	c   linear           :     105.91       0.00      91.06      14.85       0.00
1800.07/1800.04	c   logicor          :     121.92       0.00     119.78       2.14       0.00
1800.07/1800.04	c   bounddisjunction :       0.26       0.00       0.26       0.00       0.00
1800.07/1800.04	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.07/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.04	c   vbounds          :       0.65          2          0          0
1800.07/1800.04	c   rootredcost      :       0.46        103          0       1560
1800.07/1800.04	c   pseudoobj        :     126.15    3059116      28579   11236148
1800.07/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.04	c   propagation      :      12.90     242239     242063    1476680       25.5      18827       12.5          -
1800.07/1800.04	c   infeasible LP    :       4.20      16011      16011     134802       39.0        236       11.7          0
1800.07/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.04	c   pseudo solution  :       0.44       2231       2231      11918       14.3        915        5.0          -
1800.07/1800.04	c   applied globally :          -          -          -     692991       20.8          -          -          -
1800.07/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.04	c   cut pool         :       0.00          5          -          -         21          -    (maximal pool size: 72)
1800.07/1800.04	c   redcost          :      45.42     572505          0    7496894          0          0
1800.07/1800.04	c   impliedbounds    :       0.00          6          0          0          0          0
1800.07/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.04	c   gomory           :       0.14          6          0          0        363          0
1800.07/1800.04	c   strongcg         :       0.08          6          0          0         44          0
1800.07/1800.04	c   cmir             :       0.04          6          0          0          0          0
1800.07/1800.04	c   flowcover        :       0.06          6          0          0          0          0
1800.07/1800.04	c   clique           :       0.00          6          0          0          0          0
1800.07/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.07/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.04	c Pricers            :       Time      Calls       Vars
1800.07/1800.04	c   problem variables:       0.00          0          0
1800.07/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.04	c   relpscost        :      24.42     330110          4        265          0          0     659758
1800.07/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.04	c   inference        :      28.70     157606          0          0          0          0     315212
1800.07/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.04	c   LP solutions     :       0.74          -        102
1800.07/1800.04	c   pseudo solutions :       0.00          -          0
1800.07/1800.04	c   feaspump         :       0.03          1          0
1800.07/1800.04	c   oneopt           :       0.75         92          0
1800.07/1800.04	c   intshifting      :       0.03         47          0
1800.07/1800.04	c   crossover        :       3.19        131          0
1800.07/1800.04	c   pscostdiving     :       9.94       8593          0
1800.07/1800.04	c   guideddiving     :      10.04       8594          0
1800.07/1800.04	c   coefdiving       :       9.72       8594          0
1800.07/1800.04	c   fracdiving       :      10.18       8594          0
1800.07/1800.04	c   veclendiving     :       9.14       8594          0
1800.07/1800.04	c   linesearchdiving :       9.20       8594          0
1800.07/1800.04	c   objpscostdiving  :       7.17       6615          0
1800.07/1800.04	c   rootsoldiving    :       7.10       6616          0
1800.07/1800.04	c   trivial          :       0.01          2          0
1800.07/1800.04	c   simplerounding   :       0.69     336648          0
1800.07/1800.04	c   zirounding       :       0.15       1000          0
1800.07/1800.04	c   rounding         :       2.64       8187          0
1800.07/1800.04	c   shifting         :       2.41       2583          0
1800.07/1800.04	c   twoopt           :       0.00          0          0
1800.07/1800.04	c   fixandinfer      :       0.00          0          0
1800.07/1800.04	c   intdiving        :       0.00          0          0
1800.07/1800.04	c   actconsdiving    :       0.00          0          0
1800.07/1800.04	c   octane           :       0.00          0          0
1800.07/1800.04	c   rens             :       0.02          1          0
1800.07/1800.04	c   rins             :       0.00          0          0
1800.07/1800.04	c   localbranching   :       0.00          0          0
1800.07/1800.04	c   mutation         :       0.00          0          0
1800.07/1800.04	c   dins             :       0.00          0          0
1800.07/1800.04	c   undercover       :       0.00          0          0
1800.07/1800.04	c   nlp              :       0.19          0          0
1800.07/1800.04	c   trysol           :       0.96      14791        128
1800.07/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.04	c   dual LP          :     741.53     442424    5130588      11.60    6918.92
1800.07/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.04	c   diving/probing LP:       3.55       3992      16564       4.15    4665.92
1800.07/1800.04	c   strong branching :      22.00       7990     154127      19.29    7005.77
1800.07/1800.04	c     (at root node) :          -         33       2838      86.00          -
1800.07/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.04	c B&B Tree           :
1800.07/1800.04	c   number of runs   :          1
1800.07/1800.04	c   nodes            :     707411
1800.07/1800.04	c   nodes (total)    :     707411
1800.07/1800.04	c   nodes left       :       3868
1800.07/1800.04	c   max depth        :        115
1800.07/1800.04	c   max depth (total):        115
1800.07/1800.04	c   backtracks       :      64336 (9.1%)
1800.07/1800.04	c   delayed cutoffs  :      47117
1800.07/1800.04	c   repropagations   :     949271 (6507001 domain reductions, 40804 cutoffs)
1800.07/1800.04	c   avg switch length:       4.97
1800.07/1800.04	c   switching time   :     166.92
1800.07/1800.04	c Solution           :
1800.07/1800.04	c   Solutions found  :        230 (103 improvements)
1800.07/1800.04	c   First Solution   : +9.07310000000000e+04   (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.07/1800.04	c   Primal Bound     : +1.40000000000000e+01   (in run 1, after 528577 nodes, 1411.57 seconds, depth 41, found by <relaxation>)
1800.07/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.04	c   Gap              :   infinite
1800.07/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.04	c   Root Iterations  :        190
1800.17/1800.16	c Time complete: 1800.23.

Verifier Data 

OK	14

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692863-1277907530/watcher-2692863-1277907530 -o /tmp/evaluation-result-2692863-1277907530/solver-2692863-1277907530 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692863-1277907530.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.43 2.24 2.16 3/196 14570
/proc/meminfo: memFree=30667236/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=9736 CPUtime=0
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1745 0 0 0 0 0 0 0 25 0 1 0 132047926 9969664 1664 4089446400 4194304 8223781 140735001375120 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14570/statm: 2434 1664 369 984 0 1447 0

[startup+0.0161081 s]
/proc/loadavg: 2.43 2.24 2.16 3/196 14570
/proc/meminfo: memFree=30667236/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=12496 CPUtime=0.01
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 2422 0 0 0 1 0 0 0 25 0 1 0 132047926 12795904 2341 4089446400 4194304 8223781 140735001375120 18446744073709551615 6207711 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14570/statm: 3124 2341 369 984 0 2137 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12496

[startup+0.101065 s]
/proc/loadavg: 2.43 2.24 2.16 3/196 14570
/proc/meminfo: memFree=30667236/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=29756 CPUtime=0.1
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 7842 0 0 0 9 1 0 0 25 0 1 0 132047926 30470144 6369 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 7439 6369 452 984 0 6452 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29756

[startup+0.301032 s]
/proc/loadavg: 2.43 2.24 2.16 3/196 14570
/proc/meminfo: memFree=30667236/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=36120 CPUtime=0.29
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 11666 0 0 0 27 2 0 0 25 0 1 0 132047926 36986880 8108 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 9030 8108 572 984 0 8043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36120

[startup+0.700948 s]
/proc/loadavg: 2.43 2.24 2.16 3/196 14570
/proc/meminfo: memFree=30667236/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=36920 CPUtime=0.7
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 18850 0 0 0 67 3 0 0 25 0 1 0 132047926 37806080 8306 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 9230 8306 589 984 0 8243 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 36920

[startup+1.50078 s]
/proc/loadavg: 2.40 2.23 2.16 3/197 14571
/proc/meminfo: memFree=30635856/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=36896 CPUtime=1.48
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 19074 0 0 0 145 3 0 0 25 0 1 0 132047926 37781504 8305 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14570/statm: 9224 8305 589 984 0 8237 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36896

[startup+3.10046 s]
/proc/loadavg: 2.40 2.23 2.16 3/197 14572
/proc/meminfo: memFree=30635608/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=36896 CPUtime=3.09
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 19238 0 0 0 304 5 0 0 25 0 1 0 132047926 37781504 8306 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14570/statm: 9224 8306 590 984 0 8237 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36896

[startup+6.30083 s]
/proc/loadavg: 2.40 2.23 2.16 3/197 14572
/proc/meminfo: memFree=30634856/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=39492 CPUtime=6.29
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 21336 0 0 0 621 8 0 0 25 0 1 0 132047926 40439808 8770 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14570/statm: 9873 8770 591 984 0 8886 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39492

[startup+12.7005 s]
/proc/loadavg: 2.34 2.22 2.16 3/197 14572
/proc/meminfo: memFree=30626304/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=47268 CPUtime=12.68
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 42075 0 0 0 1252 16 0 0 25 0 1 0 132047926 48402432 10729 4089446400 4194304 8223781 140735001375120 18446744073709551615 6445147 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14570/statm: 11817 10729 595 984 0 10830 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47268

[startup+25.501 s]
/proc/loadavg: 2.28 2.22 2.16 3/197 14573
/proc/meminfo: memFree=30612948/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=61108 CPUtime=25.49
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 60590 0 0 0 2517 32 0 0 25 0 1 0 132047926 62574592 14211 4089446400 4194304 8223781 140735001375120 18446744073709551615 6003053 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14570/statm: 15277 14211 595 984 0 14290 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61108

[startup+51.1009 s]
/proc/loadavg: 2.18 2.20 2.15 3/197 14573
/proc/meminfo: memFree=30589060/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=84688 CPUtime=51.1
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 74981 0 0 0 5051 59 0 0 25 0 1 0 132047926 86720512 20117 4089446400 4194304 8223781 140735001375120 18446744073709551615 6446935 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14570/statm: 21172 20117 596 984 0 20185 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 84688

[startup+102.307 s]
/proc/loadavg: 2.07 2.16 2.14 3/179 14605
/proc/meminfo: memFree=31064912/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=137796 CPUtime=102.3
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 95401 0 0 0 10064 166 0 0 25 0 1 0 132047926 141103104 33518 4089446400 4194304 8223781 140735001375120 18446744073709551615 6456389 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14570/statm: 34449 33518 596 984 0 33462 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 137796

[startup+162.301 s]
/proc/loadavg: 2.02 2.13 2.13 3/179 14606
/proc/meminfo: memFree=30848356/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=205804 CPUtime=162.3
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 127285 0 0 0 15869 361 0 0 25 0 1 0 132047926 210743296 50071 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14570/statm: 51451 50071 597 984 0 50464 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 205804

[startup+222.301 s]
/proc/loadavg: 2.01 2.10 2.12 3/179 14607
/proc/meminfo: memFree=30676436/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=229148 CPUtime=222.3
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 217212 0 0 0 21656 574 0 0 25 0 1 0 132047926 234647552 55884 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14570/statm: 57287 55884 599 984 0 56300 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 229148

[startup+282.301 s]
/proc/loadavg: 2.00 2.08 2.11 3/179 14636
/proc/meminfo: memFree=30955780/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=270824 CPUtime=282.3
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 312363 0 0 0 27482 748 0 0 25 0 1 0 132047926 277323776 66270 4089446400 4194304 8223781 140735001375120 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 67706 66270 599 984 0 66719 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 270824

[startup+342.301 s]
/proc/loadavg: 2.08 2.08 2.10 3/179 14638
/proc/meminfo: memFree=30834508/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=317892 CPUtime=342.3
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 370646 0 0 0 33415 815 0 0 25 0 1 0 132047926 325521408 78147 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 79473 78147 599 984 0 78486 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 317892

[startup+402.301 s]
/proc/loadavg: 2.03 2.06 2.09 3/179 14640
/proc/meminfo: memFree=30753596/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=368192 CPUtime=402.3
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 446511 0 0 0 39345 885 0 0 25 0 1 0 132047926 377028608 90391 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 92048 90391 599 984 0 91061 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 368192

[startup+462.301 s]
/proc/loadavg: 2.01 2.05 2.08 3/179 14641
/proc/meminfo: memFree=30711252/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=402392 CPUtime=462.31
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 529200 0 0 0 45273 958 0 0 25 0 1 0 132047926 412049408 98864 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 100598 98864 599 984 0 99611 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 402392

[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.08 3/179 14642
/proc/meminfo: memFree=30669672/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=440864 CPUtime=522.31
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 619067 0 0 0 51205 1026 0 0 25 0 1 0 132047926 451444736 108326 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 110216 108326 599 984 0 109229 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 440864

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.07 3/179 14644
/proc/meminfo: memFree=30627700/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=479956 CPUtime=582.32
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 667366 0 0 0 57136 1096 0 0 25 0 1 0 132047926 491474944 117871 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 119989 117871 599 984 0 119002 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 479956

[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 14646
/proc/meminfo: memFree=30585504/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=521336 CPUtime=642.32
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 722400 0 0 0 63073 1159 0 0 25 0 1 0 132047926 533848064 127764 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 130334 127764 599 984 0 129347 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 521336

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.04 2.02 2.05 3/179 14655
/proc/meminfo: memFree=30464160/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=634420 CPUtime=882.33
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1010301 0 0 0 86795 1438 0 0 25 0 1 0 132047926 649646080 154471 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 158605 154471 602 984 0 157618 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 634420

[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.04 3/179 14657
/proc/meminfo: memFree=30446136/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=651140 CPUtime=942.32
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1120454 0 0 0 92717 1515 0 0 25 0 1 0 132047926 666767360 158248 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 162785 158248 608 984 0 161798 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 651140

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 14659
/proc/meminfo: memFree=30442500/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=654436 CPUtime=1002.33
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1133154 0 0 0 98636 1597 0 0 25 0 1 0 132047926 670142464 158967 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 163609 158967 608 984 0 162622 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 654436

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 14660
/proc/meminfo: memFree=30438884/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=658172 CPUtime=1062.34
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1141956 0 0 0 104558 1676 0 0 25 0 1 0 132047926 673968128 159585 4089446400 4194304 8223781 140735001375120 18446744073709551615 6446886 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 164543 159585 608 984 0 163556 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 658172

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 14661
/proc/meminfo: memFree=30434484/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=663396 CPUtime=1122.33
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1142920 0 0 0 110481 1752 0 0 25 0 1 0 132047926 679317504 160544 4089446400 4194304 8223781 140735001375120 18446744073709551615 6446886 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 165849 160544 608 984 0 164862 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 663396

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 14663
/proc/meminfo: memFree=30432064/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=666320 CPUtime=1182.33
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1147359 0 0 0 116412 1821 0 0 25 0 1 0 132047926 682311680 161097 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 166580 161097 608 984 0 165593 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 666320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 14665
/proc/meminfo: memFree=30429904/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=668416 CPUtime=1242.34
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1147754 0 0 0 122341 1893 0 0 25 0 1 0 132047926 684457984 161432 4089446400 4194304 8223781 140735001375120 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 167104 161432 608 984 0 166117 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 668416

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.01 3/179 14667
/proc/meminfo: memFree=30426496/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=670480 CPUtime=1302.35
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1173460 0 0 0 128265 1970 0 0 25 0 1 0 132047926 686571520 161889 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14570/statm: 167620 161889 608 984 0 166633 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 670480

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/179 14668
/proc/meminfo: memFree=30424460/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=672220 CPUtime=1362.34
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1185203 0 0 0 134190 2044 0 0 25 0 1 0 132047926 688353280 162252 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 168055 162252 608 984 0 167068 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 672220

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14669
/proc/meminfo: memFree=30422544/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=673612 CPUtime=1422.35
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1196408 0 0 0 140117 2118 0 0 25 0 1 0 132047926 689778688 162543 4089446400 4194304 8223781 140735001375120 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 168403 162543 608 984 0 167416 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 673612

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14671
/proc/meminfo: memFree=30421160/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=674896 CPUtime=1482.35
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1254204 0 0 0 146037 2198 0 0 25 0 1 0 132047926 691093504 162784 4089446400 4194304 8223781 140735001375120 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 168724 162784 608 984 0 167737 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 674896

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14673
/proc/meminfo: memFree=30418252/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=676780 CPUtime=1542.35
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1262011 0 0 0 151970 2265 0 0 25 0 1 0 132047926 693022720 163143 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 169195 163143 608 984 0 168208 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 676780

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14675
/proc/meminfo: memFree=30418340/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=678728 CPUtime=1602.35
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1262679 0 0 0 157902 2333 0 0 25 0 1 0 132047926 695017472 163465 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 169682 163465 608 984 0 168695 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 678728

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14676
/proc/meminfo: memFree=30416428/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=680192 CPUtime=1662.36
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1271236 0 0 0 163826 2410 0 0 25 0 1 0 132047926 696516608 163806 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 170048 163806 608 984 0 169061 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 680192

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14677
/proc/meminfo: memFree=30415280/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=682392 CPUtime=1722.36
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1272154 0 0 0 169755 2481 0 0 25 0 1 0 132047926 698769408 164238 4089446400 4194304 8223781 140735001375120 18446744073709551615 4632905 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 170598 164238 608 984 0 169611 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 682392

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14679
/proc/meminfo: memFree=30412380/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=682656 CPUtime=1782.36
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1272368 0 0 0 175681 2555 0 0 25 0 1 0 132047926 699039744 164354 4089446400 4194304 8223781 140735001375120 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 170664 164354 608 984 0 169677 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 682656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14679
/proc/meminfo: memFree=30412368/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=683020 CPUtime=1800.07
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1272454 0 0 0 177430 2577 0 0 25 0 1 0 132047926 699412480 164434 4089446400 4194304 8223781 140735001375120 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14570/statm: 170755 164434 608 984 0 169768 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 683020

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.00 3/179 14679
/proc/meminfo: memFree=30412368/32950928 swapFree=67111528/67111528
[pid=14570] ppid=14568 vsize=637036 CPUtime=1800.17
/proc/14570/stat : 14570 (pbscip.linux.x8) R 14568 14570 13737 0 -1 4202496 1272456 0 0 0 177440 2577 0 0 18 0 1 0 132047926 652324864 152940 4089446400 4194304 8223781 140735001375120 18446744073709551615 4212062 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14570/statm: 159259 152940 610 984 0 158272 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 637036

Child status: 0
Real time (s): 1800.17
CPU time (s): 1800.24
CPU user time (s): 1774.43
CPU system time (s): 25.8061
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 690104

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

runsolver used 2.93355 second user time and 6.89595 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 16:18:50
IDJOB=2692863
IDBENCH=78950
IDSOLVER=1204
FILE ID=node149/2692863-1277907530
PBS_JOBID= 11197207
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.1900584106--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-2692863-1277907530/watcher-2692863-1277907530 -o /tmp/evaluation-result-2692863-1277907530/solver-2692863-1277907530 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692863-1277907530.wbo -t 1800 -m 3800

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

MD5SUM BENCH= df541056d5ee75c7588bd018b6cc514e
RANDOM SEED=839220670

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30667764 kB
Buffers:        195360 kB
Cached:        1268868 kB
SwapCached:          0 kB
Active:        1118984 kB
Inactive:      1018140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30667764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4808 kB
Writeback:           0 kB
AnonPages:      672664 kB
Mapped:          20484 kB
Slab:            82092 kB
PageTables:       5824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1664324 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= 74204 MiB
End job on node149 at 2010-06-30 16:48:52