Trace number 2692873

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.14 1800.1

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo
MD5SUMa13978843da5adfb99f4aab775862f78
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 benchmark204.023
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 constraints925
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 46664
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46663
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 693
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-2692873-1277908126.wbo>
0.00/0.02	c original problem has 2081 variables (1156 bin, 0 int, 0 impl, 925 cont) and 3633 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1143 impls, 14 clqs
0.00/0.07	c (round 2) 0 del vars, 113 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 1143 impls, 14 clqs
0.00/0.08	c (round 3) 45 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 1143 impls, 14 clqs
0.00/0.09	c (round 4) 90 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 1143 impls, 14 clqs
0.09/0.14	c    (0.1s) probing: 101/1111 (9.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (5 rounds):
0.09/0.14	c  90 deleted vars, 158 deleted constraints, 925 tightened bounds, 0 added holes, 45 changed sides, 0 changed coefficients
0.09/0.14	c  1143 implications, 14 cliques
0.09/0.14	c presolved problem has 1991 variables (1111 bin, 0 int, 0 impl, 880 cont) and 3475 constraints
0.09/0.14	c     880 constraints of type <indicator>
0.09/0.14	c       1 constraints of type <knapsack>
0.09/0.14	c      14 constraints of type <setppc>
0.09/0.14	c     880 constraints of type <linear>
0.09/0.14	c    1700 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.09
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	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.15	c   0.1s|     1 |     0 |    41 |     - |8860k|   0 |  33 |1991 |3475 |1991 |1715 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.30	c   0.2s|     1 |     0 |   794 |     - |9002k|   0 |  48 |1991 |3475 |1991 |1733 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.38	c   0.3s|     1 |     0 |   843 |     - |9298k|   0 |  53 |1991 |3475 |1991 |1743 |  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.49	c   0.4s|     1 |     0 |   866 |     - |9308k|   0 |  54 |1991 |3475 |1991 |1748 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.62	c   0.6s|     1 |     0 |   884 |     - |9309k|   0 |  54 |1991 |3475 |1991 |1750 |  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.74	c   0.7s|     1 |     0 |   905 |     - |9317k|   0 |  56 |1991 |3475 |1991 |1753 |  38 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.88	c   0.8s|     1 |     0 |   933 |     - |9318k|   0 |  53 |1991 |3475 |1991 |1754 |  39 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.89/1.90	c   1.8s|     1 |     2 |   933 |     - |9351k|   0 |  53 |1991 |3475 |1991 |1754 |  39 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1.89/1.90	o 44621
1.89/1.90	c y 1.8s|     2 |     1 |   933 |   0.0 |9382k|   1 |   - |1991 |3475 |   0 |   0 |  39 |   0 |  33 | 0.000000e+00 | 4.462100e+04 |    Inf 
6.30/6.35	o 280
6.30/6.35	c * 6.2s|    56 |    13 |  1834 |  16.4 |9674k|  23 |   - |1991 |3479 |1991 |1751 |  55 |   4 | 378 | 0.000000e+00 | 2.800000e+02 |    Inf 
7.09/7.12	o 249
7.09/7.12	c * 7.0s|   122 |    34 |  2367 |  11.9 |  10M|  29 |   - |1991 |3520 |1991 |1755 |  85 |  45 | 562 | 0.000000e+00 | 2.490000e+02 |    Inf 
7.09/7.16	o 189
7.09/7.16	c * 7.0s|   138 |    30 |  2390 |  10.6 |  10M|  29 |   - |1991 |3545 |1991 |1755 |  85 |  70 | 566 | 0.000000e+00 | 1.890000e+02 |    Inf 
7.99/8.01	o 170
7.99/8.01	c * 7.8s|   265 |    38 |  3167 |   8.5 |  11M|  31 |   - |1991 |3675 |1991 |1753 |  88 | 200 | 737 | 0.000000e+00 | 1.700000e+02 |    Inf 
7.99/8.01	o 166
7.99/8.01	c * 7.8s|   266 |    36 |  3171 |   8.4 |  11M|  31 |   - |1991 |3675 |1991 |1753 |  88 | 200 | 737 | 0.000000e+00 | 1.660000e+02 |    Inf 
8.09/8.19	o 149
8.09/8.19	c * 8.0s|   301 |    44 |  3341 |   8.0 |  11M|  31 |   - |1991 |3726 |1991 |1752 |  90 | 251 | 775 | 0.000000e+00 | 1.490000e+02 |    Inf 
8.20/8.20	o 107
8.20/8.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.20/8.20	c * 8.0s|   307 |    36 |  3345 |   7.9 |  11M|  31 |   - |1991 |3738 |1991 |1752 |  90 | 263 | 775 | 0.000000e+00 | 1.070000e+02 |    Inf 
8.20/8.29	o 103
8.20/8.29	c * 8.1s|   327 |    38 |  3430 |   7.7 |  11M|  31 |   - |1991 |3761 |1991 |1752 |  92 | 286 | 794 | 0.000000e+00 | 1.030000e+02 |    Inf 
8.29/8.30	o 90
8.29/8.30	c R 8.1s|   328 |    36 |  3436 |   7.7 |  11M|  31 |   - |1991 |3761 |1991 |1752 |  92 | 286 | 794 | 0.000000e+00 | 9.000000e+01 |    Inf 
8.80/8.85	o 79
8.80/8.85	c * 8.7s|   430 |    36 |  3873 |   6.9 |  12M|  31 |   - |1991 |3786 |1991 |1750 |  99 | 418 | 904 | 0.000000e+00 | 7.900000e+01 |    Inf 
12.99/13.08	o 76
12.99/13.08	c *12.8s|   707 |    84 |  8599 |  10.9 |  12M|  31 |   - |1991 |3953 |1991 |1750 | 129 | 733 |1641 | 0.000000e+00 | 7.600000e+01 |    Inf 
18.39/18.44	o 68
18.39/18.44	c *18.1s|  2583 |   225 | 22696 |   8.4 |  15M|  39 |   - |1991 |4965 |1991 |1750 | 350 |2861 |1895 | 0.000000e+00 | 6.800000e+01 |    Inf 
18.39/18.44	o 53
18.39/18.44	c *18.1s|  2584 |   214 | 22696 |   8.4 |  15M|  39 |   - |1991 |4965 |1991 |1750 | 350 |2861 |1895 | 0.000000e+00 | 5.300000e+01 |    Inf 
18.39/18.49	o 45
18.39/18.49	c *18.2s|  2593 |   214 | 22832 |   8.4 |  15M|  39 |   - |1991 |4751 |1991 |1751 | 351 |2867 |1898 | 0.000000e+00 | 4.500000e+01 |    Inf 
18.59/18.62	o 14
18.59/18.62	c *18.3s|  2625 |   173 | 23446 |   8.6 |  14M|  39 |   - |1991 |4665 |1991 |1750 | 360 |2898 |1898 | 0.000000e+00 | 1.400000e+01 |    Inf 
34.29/34.33	c  33.7s| 10000 |   548 | 87425 |   8.7 |  18M|  39 |  14 |1991 |8790 |1991 |1750 | 870 |  11k|2084 | 0.000000e+00 | 1.400000e+01 |    Inf 
57.50/57.52	c  56.5s| 20000 |   837 |187932 |   9.4 |  23M|  43 |  32 |1991 |  11k|1991 |1750 |1727 |  24k|2091 | 0.000000e+00 | 1.400000e+01 |    Inf 
80.30/80.33	c  78.8s| 30000 |  1208 |282763 |   9.4 |  27M|  45 |  10 |1991 |  13k|1991 |1750 |2578 |  37k|2104 | 0.000000e+00 | 1.400000e+01 |    Inf 
87.59/87.63	o 10
87.59/87.63	c *86.0s| 33010 |   461 |312044 |   9.4 |  21M|  45 |   - |1991 |  14k|1991 |1751 |2828 |  40k|2165 | 0.000000e+00 | 1.000000e+01 |    Inf 
90.70/90.72	o 5
90.70/90.72	c *89.0s| 34378 |   434 |324306 |   9.4 |  20M|  45 |   - |1991 |  14k|1991 |1750 |2987 |  42k|2202 | 0.000000e+00 | 5.000000e+00 |    Inf 
103.79/103.86	c   102s| 40000 |   522 |378890 |   9.4 |  21M|  45 |   - |1991 |  15k|   0 |   0 |3325 |  50k|2385 | 0.000000e+00 | 5.000000e+00 |    Inf 
108.79/108.85	o 4
108.79/108.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
108.79/108.85	c v 107s| 42192 |   474 |398258 |   9.4 |  21M|  45 |   - |1991 |  15k|1991 |1750 |3465 |  52k|2482 | 0.000000e+00 | 4.000000e+00 |    Inf 
126.79/126.84	c   124s| 50000 |   481 |469268 |   9.4 |  21M|  45 |   - |1991 |  16k|1991 |1750 |3873 |  63k|2756 | 0.000000e+00 | 4.000000e+00 |    Inf 
150.50/150.52	c   148s| 60000 |   484 |565096 |   9.4 |  23M|  47 |  13 |1991 |  18k|1991 |1750 |4544 |  77k|3112 | 0.000000e+00 | 4.000000e+00 |    Inf 
174.10/174.17	c   171s| 70000 |   386 |658679 |   9.4 |  22M|  47 |   - |1991 |  15k|   0 |   0 |5450 |  90k|3390 | 0.000000e+00 | 4.000000e+00 |    Inf 
197.70/197.74	c   194s| 80000 |   381 |747095 |   9.3 |  23M|  47 |   - |1991 |  19k|   0 |   0 |6145 | 103k|3612 | 0.000000e+00 | 4.000000e+00 |    Inf 
222.39/222.49	c   218s| 90000 |   397 |844928 |   9.4 |  24M|  47 |  10 |1991 |  20k|1991 |1750 |6968 | 116k|3938 | 0.000000e+00 | 4.000000e+00 |    Inf 
247.70/247.72	c   243s|100000 |   498 |943733 |   9.4 |  27M|  48 |  13 |1991 |  26k|1991 |1750 |8007 | 129k|4174 | 0.000000e+00 | 4.000000e+00 |    Inf 
275.30/275.35	c   270s|110000 |   557 |  1053k|   9.6 |  29M|  48 |  10 |1991 |  29k|1991 |1750 |8798 | 142k|4371 | 0.000000e+00 | 4.000000e+00 |    Inf 
304.60/304.68	c   299s|120000 |   673 |  1164k|   9.7 |  31M|  48 |  11 |1991 |  33k|1991 |1750 |9950 | 156k|4587 | 0.000000e+00 | 4.000000e+00 |    Inf 
333.20/333.27	c   328s|130000 |   708 |  1261k|   9.7 |  33M|  50 |   - |1991 |  37k|   0 |   0 |  10k| 169k|4832 | 0.000000e+00 | 4.000000e+00 |    Inf 
363.60/363.67	c   357s|140000 |   799 |  1366k|   9.8 |  35M|  55 |   - |1991 |  41k|1991 |1750 |  11k| 183k|4970 | 0.000000e+00 | 4.000000e+00 |    Inf 
394.60/394.62	c   388s|150000 |   777 |  1469k|   9.8 |  36M|  58 |   - |1991 |  42k|   0 |   0 |  12k| 197k|5191 | 0.000000e+00 | 4.000000e+00 |    Inf 
425.60/425.63	c   419s|160000 |   630 |  1573k|   9.8 |  33M|  58 |  24 |1991 |  37k|1991 |1750 |  13k| 211k|5340 | 0.000000e+00 | 4.000000e+00 |    Inf 
454.80/454.83	c   448s|170000 |   573 |  1675k|   9.9 |  32M|  58 |   - |1991 |  34k|1991 |1750 |  14k| 225k|5535 | 0.000000e+00 | 4.000000e+00 |    Inf 
482.71/482.71	c   475s|180000 |   547 |  1767k|   9.8 |  34M|  58 |  19 |1991 |  38k|1991 |1750 |  15k| 238k|5711 | 0.000000e+00 | 4.000000e+00 |    Inf 
515.11/515.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
515.11/515.20	c   507s|190000 |   523 |  1885k|   9.9 |  34M|  58 |   - |1991 |  39k|   0 |   0 |  16k| 251k|5848 | 0.000000e+00 | 4.000000e+00 |    Inf 
548.70/548.73	c   540s|200000 |   508 |  2006k|  10.0 |  33M|  58 |  31 |1991 |  37k|1991 |1750 |  17k| 265k|6054 | 0.000000e+00 | 4.000000e+00 |    Inf 
577.91/577.90	c   569s|210000 |   445 |  2101k|  10.0 |  31M|  58 |   - |1991 |  33k|1991 |1753 |  18k| 278k|6345 | 0.000000e+00 | 4.000000e+00 |    Inf 
602.11/602.12	c   593s|220000 |   450 |  2184k|   9.9 |  32M|  58 |   - |1991 |  35k|   0 |   0 |  19k| 292k|6443 | 0.000000e+00 | 4.000000e+00 |    Inf 
629.31/629.35	c   619s|230000 |   482 |  2275k|   9.9 |  28M|  58 |   - |1991 |  21k|   0 |   0 |  19k| 304k|6577 | 0.000000e+00 | 4.000000e+00 |    Inf 
656.00/656.02	c   646s|240000 |   546 |  2375k|   9.9 |  29M|  58 |   - |1991 |  24k|   0 |   0 |  20k| 317k|6700 | 0.000000e+00 | 4.000000e+00 |    Inf 
682.71/682.75	c   672s|250000 |   563 |  2467k|   9.9 |  31M|  58 |   - |1991 |  27k|1991 |1750 |  21k| 331k|6817 | 0.000000e+00 | 4.000000e+00 |    Inf 
710.11/710.19	c   699s|260000 |   524 |  2566k|   9.9 |  30M|  58 |   - |1991 |  26k|   0 |   0 |  21k| 344k|6988 | 0.000000e+00 | 4.000000e+00 |    Inf 
736.71/736.79	c   725s|270000 |   589 |  2661k|   9.9 |  32M|  58 |   - |1991 |  31k|   0 |   0 |  22k| 357k|7117 | 0.000000e+00 | 4.000000e+00 |    Inf 
765.61/765.67	c   754s|280000 |   629 |  2761k|   9.9 |  33M|  58 |  32 |1991 |  33k|1991 |1750 |  23k| 371k|7224 | 0.000000e+00 | 4.000000e+00 |    Inf 
793.91/793.96	c   781s|290000 |   782 |  2858k|   9.9 |  34M|  58 |  17 |1991 |  35k|1991 |1750 |  23k| 384k|7365 | 0.000000e+00 | 4.000000e+00 |    Inf 
821.71/821.77	c   809s|300000 |   761 |  2958k|   9.9 |  35M|  58 |   - |1991 |  36k|   0 |   0 |  24k| 398k|7486 | 0.000000e+00 | 4.000000e+00 |    Inf 
850.32/850.31	c   837s|310000 |   735 |  3053k|   9.8 |  35M|  58 |  17 |1991 |  35k|1991 |1750 |  25k| 412k|7611 | 0.000000e+00 | 4.000000e+00 |    Inf 
878.72/878.71	c   865s|320000 |   706 |  3149k|   9.8 |  36M|  58 |   1 |1991 |  38k|1991 |1750 |  26k| 426k|7724 | 0.000000e+00 | 4.000000e+00 |    Inf 
908.51/908.50	c   894s|330000 |   690 |  3246k|   9.8 |  37M|  58 |  21 |1991 |  40k|1991 |1750 |  27k| 440k|7855 | 0.000000e+00 | 4.000000e+00 |    Inf 
938.11/938.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
938.11/938.17	c   923s|340000 |   585 |  3345k|   9.8 |  36M|  58 |   - |1991 |  40k|   0 |   0 |  27k| 454k|7981 | 0.000000e+00 | 4.000000e+00 |    Inf 
967.82/967.85	c   953s|350000 |   657 |  3438k|   9.8 |  35M|  58 |   - |1991 |  37k|   0 |   0 |  28k| 469k|8098 | 0.000000e+00 | 4.000000e+00 |    Inf 
996.72/996.76	c   981s|360000 |   600 |  3525k|   9.8 |  36M|  58 |   - |1991 |  39k|   0 |   0 |  29k| 483k|8179 | 0.000000e+00 | 4.000000e+00 |    Inf 
1026.71/1026.72	c  1011s|370000 |   569 |  3623k|   9.8 |  35M|  58 |  19 |1991 |  37k|1991 |1750 |  30k| 497k|8299 | 0.000000e+00 | 4.000000e+00 |    Inf 
1056.51/1056.51	c  1040s|380000 |   597 |  3724k|   9.8 |  35M|  58 |   - |1991 |  36k|1991 |1750 |  30k| 510k|8502 | 0.000000e+00 | 4.000000e+00 |    Inf 
1085.42/1085.45	c  1068s|390000 |   827 |  3820k|   9.8 |  37M|  58 |  17 |1991 |  38k|1991 |1750 |  31k| 524k|8627 | 0.000000e+00 | 4.000000e+00 |    Inf 
1115.62/1115.60	c  1098s|400000 |   909 |  3916k|   9.8 |  38M|  58 |   - |1991 |  41k|1991 |1750 |  32k| 537k|8709 | 0.000000e+00 | 4.000000e+00 |    Inf 
1145.23/1145.21	c  1127s|410000 |   875 |  4006k|   9.8 |  38M|  58 |  12 |1991 |  40k|1991 |1750 |  33k| 551k|8771 | 0.000000e+00 | 4.000000e+00 |    Inf 
1174.32/1174.37	c  1156s|420000 |   895 |  4091k|   9.7 |  40M|  58 |  18 |1991 |  45k|1991 |1750 |  34k| 565k|8871 | 0.000000e+00 | 4.000000e+00 |    Inf 
1205.82/1205.80	c  1187s|430000 |   949 |  4190k|   9.7 |  42M|  58 |   - |1991 |  47k|   0 |   0 |  34k| 578k|8982 | 0.000000e+00 | 4.000000e+00 |    Inf 
1236.62/1236.69	c  1218s|440000 |  1005 |  4281k|   9.7 |  42M|  58 |  25 |1991 |  47k|1991 |1750 |  36k| 592k|9110 | 0.000000e+00 | 4.000000e+00 |    Inf 
1268.33/1268.30	c  1249s|450000 |  1032 |  4375k|   9.7 |  43M|  58 |   - |1991 |  49k|   0 |   0 |  36k| 605k|9186 | 0.000000e+00 | 4.000000e+00 |    Inf 
1301.52/1301.55	c  1282s|460000 |  1081 |  4484k|   9.7 |  44M|  58 |  20 |1991 |  51k|1991 |1750 |  37k| 619k|9266 | 0.000000e+00 | 4.000000e+00 |    Inf 
1332.72/1332.78	o 1
1332.72/1332.78	c *1312s|469070 |   576 |  4578k|   9.8 |  39M|  58 |   - |1991 |  46k|1991 |1750 |  38k| 631k|9364 | 0.000000e+00 | 1.000000e+00 |    Inf 
1335.62/1335.63	c  1315s|470000 |   611 |  4587k|   9.8 |  38M|  58 |  22 |1991 |  43k|1991 |1750 |  38k| 633k|9364 | 0.000000e+00 | 1.000000e+00 |    Inf 
1366.33/1366.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1366.33/1366.33	c  1346s|480000 |   644 |  4687k|   9.8 |  40M|  58 |   - |1991 |  48k|1991 |1750 |  39k| 646k|9482 | 0.000000e+00 | 1.000000e+00 |    Inf 
1398.52/1398.58	c  1377s|490000 |   615 |  4786k|   9.8 |  40M|  58 |   - |1991 |  47k|1991 |1750 |  40k| 660k|9596 | 0.000000e+00 | 1.000000e+00 |    Inf 
1430.23/1430.26	c  1409s|500000 |   573 |  4888k|   9.8 |  39M|  58 |   - |1991 |  45k|   0 |   0 |  41k| 674k|9702 | 0.000000e+00 | 1.000000e+00 |    Inf 
1461.52/1461.58	c  1439s|510000 |   572 |  4995k|   9.8 |  40M|  58 |   - |1991 |  47k|1991 |1750 |  42k| 688k|9776 | 0.000000e+00 | 1.000000e+00 |    Inf 
1493.23/1493.29	c  1471s|520000 |   748 |  5095k|   9.8 |  43M|  58 |  14 |1991 |  52k|1991 |1750 |  43k| 702k|9848 | 0.000000e+00 | 1.000000e+00 |    Inf 
1527.12/1527.11	c  1504s|530000 |   774 |  5197k|   9.8 |  43M|  58 |   - |1991 |  53k|   0 |   0 |  44k| 716k|9957 | 0.000000e+00 | 1.000000e+00 |    Inf 
1561.53/1561.59	c  1538s|540000 |   699 |  5307k|   9.8 |  43M|  58 |  19 |1991 |  52k|1991 |1750 |  46k| 730k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1595.04/1595.09	c  1571s|550000 |   577 |  5407k|   9.8 |  43M|  58 |   - |1991 |  53k|   0 |   0 |  47k| 745k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1628.53/1628.54	c  1604s|560000 |   536 |  5516k|   9.8 |  41M|  58 |   - |1991 |  50k|   0 |   0 |  48k| 759k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1660.04/1660.05	c  1635s|570000 |   468 |  5614k|   9.8 |  39M|  58 |   - |1991 |  44k|   0 |   0 |  49k| 773k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1689.13/1689.19	c  1664s|580000 |   544 |  5704k|   9.8 |  42M|  58 |  21 |1991 |  51k|1991 |1750 |  50k| 787k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1720.84/1720.84	c  1695s|590000 |   534 |  5792k|   9.8 |  43M|  58 |   - |1991 |  53k|   0 |   0 |  51k| 801k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1753.93/1753.91	c  1728s|600000 |   674 |  5883k|   9.8 |  45M|  58 |  22 |1991 |  57k|1991 |1750 |  51k| 816k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1787.93/1787.98	c  1761s|610000 |   632 |  5969k|   9.8 |  46M|  58 |   - |1991 |  59k|   0 |   0 |  52k| 831k|  10k| 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) : 1773.20
1800.04/1800.00	c Solving Nodes      : 613554
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (140 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/1800.01	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.01	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.01	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.01	v x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 
1800.04/1800.01	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 
1800.04/1800.01	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.01	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.01	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.01	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.01	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.01	v -x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1773.20
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2692873-1277908126.wbo
1800.04/1800.01	c   Variables        : 2081 (1156 binary, 0 integer, 0 implicit integer, 925 continuous)
1800.04/1800.01	c   Constraints      : 3633 initial, 3633 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2692873-1277908126.wbo
1800.04/1800.01	c   Variables        : 1991 (1111 binary, 0 integer, 0 implicit integer, 880 continuous)
1800.04/1800.01	c   Constraints      : 3475 initial, 60818 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00         45          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00         45          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0         45          0          0
1800.04/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.03          0          0          0        925          0        113         45          0
1800.04/1800.01	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -        880          -          -       1760          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     344979          0        140       2548          0          0     665938
1800.04/1800.01	c   indicator        :        880          0    2039751       7290          0         59     245062          0          0          0
1800.04/1800.01	c   knapsack         :          1          6    2659959       9931          0      51937    6275689          0          0          0
1800.04/1800.01	c   setppc           :         14          6    2612014       9872          0      37129    2072405          0          0          0
1800.04/1800.01	c   linear           :        880          6    2575618       9938          0      54141    3649570      53157          0          0
1800.04/1800.01	c   logicor          :       1700+         6    1394058        116          0      89350    5219095          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0        116          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      45.48       0.00       0.00      45.48       0.00
1800.04/1800.01	c   indicator        :       2.18       0.01       2.15       0.02       0.00
1800.04/1800.01	c   knapsack         :      33.07       0.00      33.05       0.02       0.00
1800.04/1800.01	c   setppc           :      13.61       0.00      13.60       0.01       0.00
1800.04/1800.01	c   linear           :      42.69       0.00      42.45       0.24       0.00
1800.04/1800.01	c   logicor          :     295.63       0.00     295.63       0.00       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.63          2          0          0
1800.04/1800.01	c   rootredcost      :       0.54         20          0        880
1800.04/1800.01	c   pseudoobj        :      44.45    2665070        433     200873
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       9.00     232990     232385    1457290       26.3       7359       23.4          -
1800.04/1800.01	c   infeasible LP    :      18.28      97424      97422     787223       42.8        385       19.8          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00          6          6         47       15.5          1        4.0          -
1800.04/1800.01	c   applied globally :          -          -          -     836935       26.7          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          5          -          -         62          -    (maximal pool size: 155)
1800.04/1800.01	c   redcost          :       8.63     345725          0      33596          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.31          6          0          0       1000          0
1800.04/1800.01	c   strongcg         :       0.20          6          0          0        500          0
1800.04/1800.01	c   cmir             :       0.02          6          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.06          6          0          0          0          0
1800.04/1800.01	c   clique           :       0.01          6          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :      45.20     335027        140       2548          0          0     665938
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.00         99          0          0          0          0        198
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.00          -         17
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       0.38         17          0
1800.04/1800.01	c   feaspump         :       0.10          1          0
1800.04/1800.01	c   intshifting      :       0.05         17          0
1800.04/1800.01	c   crossover        :       0.40          6          0
1800.04/1800.01	c   linesearchdiving :       0.41         60          0
1800.04/1800.01	c   guideddiving     :       0.37         60          0
1800.04/1800.01	c   pscostdiving     :       0.40         60          0
1800.04/1800.01	c   coefdiving       :       0.37         61          0
1800.04/1800.01	c   fracdiving       :       0.36         61          0
1800.04/1800.01	c   veclendiving     :       0.39         61          1
1800.04/1800.01	c   objpscostdiving  :       0.69         31          0
1800.04/1800.01	c   rootsoldiving    :       1.45         31          0
1800.04/1800.01	c   trivial          :       0.00          2          0
1800.04/1800.01	c   simplerounding   :       0.66     335125          0
1800.04/1800.01	c   zirounding       :       0.26       1000          0
1800.04/1800.01	c   rounding         :       2.59      27636          1
1800.04/1800.01	c   shifting         :       0.97       2573          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.02          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.20          0          0
1800.04/1800.01	c   trysol           :       0.85       3285        121
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :     843.26     440521    5981525      13.58    7093.33
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       3.09       2049      19595       9.56    6341.42
1800.04/1800.01	c   strong branching :      41.62      10638     272015      25.57    6535.68
1800.04/1800.01	c     (at root node) :          -         33       6375     193.18          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     613554
1800.04/1800.01	c   nodes (total)    :     613554
1800.04/1800.01	c   nodes left       :        598
1800.04/1800.01	c   max depth        :         58
1800.04/1800.01	c   max depth (total):         58
1800.04/1800.01	c   backtracks       :      96252 (15.7%)
1800.04/1800.01	c   delayed cutoffs  :      50297
1800.04/1800.01	c   repropagations   :     928395 (3660720 domain reductions, 49182 cutoffs)
1800.04/1800.01	c   avg switch length:       4.60
1800.04/1800.01	c   switching time   :     225.71
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        140 (20 improvements)
1800.04/1800.01	c   First Solution   : +4.46210000000000e+04   (in run 1, after 1 nodes, 0.83 seconds, depth 0, found by <trysol>)
1800.04/1800.01	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 469070 nodes, 1312.48 seconds, depth 30, found by <relaxation>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :        933
1800.04/1800.09	c Time complete: 1800.14.

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-2692873-1277908126/watcher-2692873-1277908126 -o /tmp/evaluation-result-2692873-1277908126/solver-2692873-1277908126 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692873-1277908126.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.06 4/178 14174
/proc/meminfo: memFree=30793800/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=9300 CPUtime=0
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 1646 0 0 0 0 0 0 0 25 0 1 0 132108594 9523200 1565 4089446400 4194304 8223781 140737111508784 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14174/statm: 2325 1565 369 984 0 1338 0

[startup+0.100439 s]
/proc/loadavg: 2.00 2.00 2.06 4/178 14174
/proc/meminfo: memFree=30793800/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=24668 CPUtime=0.09
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 8420 0 0 0 8 1 0 0 25 0 1 0 132108594 25260032 5148 4089446400 4194304 8223781 140737111508784 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 6167 5148 466 984 0 5180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24668

[startup+0.200421 s]
/proc/loadavg: 2.00 2.00 2.06 4/178 14174
/proc/meminfo: memFree=30793800/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=27836 CPUtime=0.19
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 9932 0 0 0 17 2 0 0 25 0 1 0 132108594 28504064 6073 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 6959 6073 553 984 0 5972 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27836

[startup+0.300414 s]
/proc/loadavg: 2.00 2.00 2.06 4/178 14174
/proc/meminfo: memFree=30793800/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=30004 CPUtime=0.29
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 10573 0 0 0 27 2 0 0 25 0 1 0 132108594 30724096 6619 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 7501 6619 582 984 0 6514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30004

[startup+0.700333 s]
/proc/loadavg: 2.00 2.00 2.06 4/178 14174
/proc/meminfo: memFree=30793800/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=33012 CPUtime=0.69
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 11308 0 0 0 66 3 0 0 25 0 1 0 132108594 33804288 7341 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 8253 7341 583 984 0 7266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33012

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 14175
/proc/meminfo: memFree=30764900/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=33032 CPUtime=1.49
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 19376 0 0 0 144 5 0 0 25 0 1 0 132108594 33824768 7365 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 8258 7365 599 984 0 7271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33032

[startup+3.10092 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 14175
/proc/meminfo: memFree=30764900/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=33416 CPUtime=3.09
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 22713 0 0 0 303 6 0 0 25 0 1 0 132108594 34217984 7446 4089446400 4194304 8223781 140737111508784 18446744073709551615 6446647 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 8332 7438 600 984 0 7345 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33416

[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 14175
/proc/meminfo: memFree=30765024/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=33408 CPUtime=6.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 32306 0 0 0 619 11 0 0 25 0 1 0 132108594 34209792 7453 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 8352 7453 603 984 0 7365 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 33408

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 14175
/proc/meminfo: memFree=30758884/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=41920 CPUtime=12.69
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 67952 0 0 0 1248 21 0 0 25 0 1 0 132108594 42926080 9311 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 10480 9311 605 984 0 9493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41920

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 14175
/proc/meminfo: memFree=30746664/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=47832 CPUtime=25.49
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 98767 0 0 0 2506 43 0 0 25 0 1 0 132108594 48979968 10957 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 11958 10957 605 984 0 10971 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47832

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 14176
/proc/meminfo: memFree=30736460/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=55992 CPUtime=51.09
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 155586 0 0 0 5019 90 0 0 25 0 1 0 132108594 57335808 12937 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 13998 12937 605 984 0 13011 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 55992

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 14177
/proc/meminfo: memFree=30721780/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=68296 CPUtime=102.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 244449 0 0 0 10043 187 0 0 25 0 1 0 132108594 69935104 15854 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 17074 15854 605 984 0 16087 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 68296

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 14179
/proc/meminfo: memFree=30714380/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=70900 CPUtime=162.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 327979 0 0 0 15935 295 0 0 25 0 1 0 132108594 72601600 16495 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 17725 16495 606 984 0 16738 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 70900

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 14184
/proc/meminfo: memFree=30709472/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=73344 CPUtime=222.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 409594 0 0 0 21833 397 0 0 25 0 1 0 132108594 75104256 17001 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 18336 17001 606 984 0 17349 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73344

[startup+282.301 s]
/proc/loadavg: 2.06 2.01 2.04 3/179 14185
/proc/meminfo: memFree=30703484/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=78144 CPUtime=282.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 507798 0 0 0 27736 494 0 0 25 0 1 0 132108594 80019456 18176 4089446400 4194304 8223781 140737111508784 18446744073709551615 4221561 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 19536 18176 606 984 0 18549 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 78144

[startup+342.3 s]
/proc/loadavg: 1.97 1.99 2.02 3/179 14214
/proc/meminfo: memFree=31086140/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=82208 CPUtime=342.29
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 624215 0 0 0 33642 587 0 0 25 0 1 0 132108594 84180992 19218 4089446400 4194304 8223781 140737111508784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 20552 19218 606 984 0 19565 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 82208

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 2.02 3/179 14216
/proc/meminfo: memFree=31081700/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=85472 CPUtime=402.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 692057 0 0 0 39563 667 0 0 25 0 1 0 132108594 87523328 19988 4089446400 4194304 8223781 140737111508784 18446744073709551615 6445449 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 21368 19988 606 984 0 20381 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 85472

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 2.01 3/179 14218
/proc/meminfo: memFree=31080520/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=86136 CPUtime=462.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 699108 0 0 0 45497 733 0 0 25 0 1 0 132108594 88203264 20179 4089446400 4194304 8223781 140737111508784 18446744073709551615 4209993 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 21534 20179 606 984 0 20547 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 86136

[startup+522.301 s]
/proc/loadavg: 1.99 1.99 2.01 3/179 14220
/proc/meminfo: memFree=31079100/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=87988 CPUtime=522.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 798480 0 0 0 51403 827 0 0 25 0 1 0 132108594 90099712 20524 4089446400 4194304 8223781 140737111508784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 21997 20524 606 984 0 21010 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 87988

[startup+582.301 s]
/proc/loadavg: 2.04 2.01 2.01 3/179 14221
/proc/meminfo: memFree=31078304/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=89344 CPUtime=582.3
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 900366 0 0 0 57317 913 0 0 25 0 1 0 132108594 91488256 20678 4089446400 4194304 8223781 140737111508784 18446744073709551615 4676228 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 22336 20678 606 984 0 21349 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 89344

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14222
/proc/meminfo: memFree=31077624/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=90136 CPUtime=642.31
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 999293 0 0 0 63226 1005 0 0 25 0 1 0 132108594 92299264 20820 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 22534 20820 606 984 0 21547 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 90136

[startup+702.301 s]

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

[startup+882.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14229
/proc/meminfo: memFree=31075616/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=91232 CPUtime=882.32
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 1500603 0 0 0 86832 1400 0 0 25 0 1 0 132108594 93421568 21127 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 22808 21127 606 984 0 21821 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 91232

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14230
/proc/meminfo: memFree=31075580/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=91224 CPUtime=942.31
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 1615222 0 0 0 92738 1493 0 0 25 0 1 0 132108594 93413376 21143 4089446400 4194304 8223781 140737111508784 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 22806 21143 606 984 0 21819 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 91224

[startup+1002.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14232
/proc/meminfo: memFree=31075044/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=91520 CPUtime=1002.31
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 1725385 0 0 0 98651 1580 0 0 25 0 1 0 132108594 93716480 21225 4089446400 4194304 8223781 140737111508784 18446744073709551615 4431478 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 22880 21225 606 984 0 21893 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 91520

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14234
/proc/meminfo: memFree=31073272/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=94840 CPUtime=1062.32
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 1836247 0 0 0 104564 1668 0 0 25 0 1 0 132108594 97116160 21713 4089446400 4194304 8223781 140737111508784 18446744073709551615 6003416 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 23710 21713 606 984 0 22723 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 94840

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14236
/proc/meminfo: memFree=31072596/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=95636 CPUtime=1122.32
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 1899302 0 0 0 110486 1746 0 0 25 0 1 0 132108594 97931264 21859 4089446400 4194304 8223781 140737111508784 18446744073709551615 6482596 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 23909 21859 606 984 0 22922 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 95636

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14237
/proc/meminfo: memFree=31071200/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=97136 CPUtime=1182.32
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 1915876 0 0 0 116410 1822 0 0 25 0 1 0 132108594 99467264 22224 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 24284 22224 606 984 0 23297 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 97136

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14238
/proc/meminfo: memFree=31070412/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=97568 CPUtime=1242.32
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 1988742 0 0 0 122331 1901 0 0 25 0 1 0 132108594 99909632 22352 4089446400 4194304 8223781 140737111508784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 24392 22352 606 984 0 23405 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 97568

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14240
/proc/meminfo: memFree=31069744/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=98940 CPUtime=1302.32
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2075884 0 0 0 128248 1984 0 0 25 0 1 0 132108594 101314560 22712 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 24735 22712 606 984 0 23748 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 98940

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14269
/proc/meminfo: memFree=30980788/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=99504 CPUtime=1362.32
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2192849 0 0 0 134162 2070 0 0 25 0 1 0 132108594 101892096 22843 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 24876 22843 606 984 0 23889 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 99504

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14271
/proc/meminfo: memFree=30867752/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=99752 CPUtime=1422.33
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2303827 0 0 0 140079 2154 0 0 25 0 1 0 132108594 102146048 22911 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 24938 22911 606 984 0 23951 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 99752

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14272
/proc/meminfo: memFree=30771432/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=99752 CPUtime=1482.32
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2421064 0 0 0 145991 2241 0 0 25 0 1 0 132108594 102146048 22918 4089446400 4194304 8223781 140737111508784 18446744073709551615 6569762 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 24938 22918 606 984 0 23951 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 99752

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14273
/proc/meminfo: memFree=30673756/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=101004 CPUtime=1542.34
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2524785 0 0 0 151909 2325 0 0 25 0 1 0 132108594 103428096 23188 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 25251 23188 606 984 0 24264 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 101004

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14275
/proc/meminfo: memFree=30582452/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=101456 CPUtime=1602.33
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2632884 0 0 0 157823 2410 0 0 25 0 1 0 132108594 103890944 23279 4089446400 4194304 8223781 140737111508784 18446744073709551615 6592916 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 25364 23279 606 984 0 24377 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 101456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14277
/proc/meminfo: memFree=30470044/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=102168 CPUtime=1662.33
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2749409 0 0 0 163739 2494 0 0 25 0 1 0 132108594 104620032 23418 4089446400 4194304 8223781 140737111508784 18446744073709551615 4224183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 25542 23418 606 984 0 24555 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 102168

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14279
/proc/meminfo: memFree=30396936/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=102112 CPUtime=1722.33
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2854551 0 0 0 169655 2578 0 0 25 0 1 0 132108594 104562688 23413 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 25528 23413 606 984 0 24541 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 102112

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14280
/proc/meminfo: memFree=30306808/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=103560 CPUtime=1782.33
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2936305 0 0 0 175579 2654 0 0 25 0 1 0 132108594 106045440 23804 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 25890 23804 606 984 0 24903 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 103560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14281
/proc/meminfo: memFree=30267352/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=103564 CPUtime=1800.04
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2960807 0 0 0 177323 2681 0 0 25 0 1 0 132108594 106049536 23807 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 25891 23807 606 984 0 24904 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 103564

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

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

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14281
/proc/meminfo: memFree=30267352/32951124 swapFree=67111528/67111528
[pid=14174] ppid=14172 vsize=103564 CPUtime=1800.04
/proc/14174/stat : 14174 (pbscip.linux.x8) R 14172 14174 12908 0 -1 4202496 2960807 0 0 0 177323 2681 0 0 25 0 1 0 132108594 106049536 23807 4089446400 4194304 8223781 140737111508784 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14174/statm: 25891 23807 606 984 0 24904 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 103564

Child status: 0
Real time (s): 1800.1
CPU time (s): 1800.14
CPU user time (s): 1773.32
CPU system time (s): 26.8209
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 104152

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

runsolver used 2.58061 second user time and 5.61815 second system time

The end

Launcher Data 

Begin job on node136 at 2010-06-30 16:28:46
IDJOB=2692873
IDBENCH=78955
IDSOLVER=1204
FILE ID=node136/2692873-1277908126
PBS_JOBID= 11197211
Free space on /tmp= 74132 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.1900573137--soft-66-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-2692873-1277908126/watcher-2692873-1277908126 -o /tmp/evaluation-result-2692873-1277908126/solver-2692873-1277908126 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692873-1277908126.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a13978843da5adfb99f4aab775862f78
RANDOM SEED=2048231421

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.840
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:     32951124 kB
MemFree:      30794328 kB
Buffers:        191888 kB
Cached:        1378556 kB
SwapCached:          0 kB
Active:        1107140 kB
Inactive:       904016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30794328 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4720 kB
Writeback:           0 kB
AnonPages:      440920 kB
Mapped:          17468 kB
Slab:            81468 kB
PageTables:       5632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   621712 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= 74132 MiB
End job on node136 at 2010-06-30 16:58:48