Trace number 2692889

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.09

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo
MD5SUM56cc5d1f816d97170bd91f7584a55091
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 benchmark453.607
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 constraints911
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 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 651
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-2692889-1277908953.wbo>
0.00/0.02	c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	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, 1131 impls, 16 clqs
0.00/0.07	c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.00/0.09	c (round 3) 50 del vars, 249 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.09/0.10	c (round 4) 115 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.11	c (round 5) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.15	c    (0.1s) probing: 101/1077 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  130 deleted vars, 264 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients
0.09/0.15	c  1131 implications, 16 cliques
0.09/0.15	c presolved problem has 1923 variables (1077 bin, 0 int, 0 impl, 846 cont) and 3355 constraints
0.09/0.15	c     846 constraints of type <indicator>
0.09/0.15	c      16 constraints of type <setppc>
0.09/0.15	c     846 constraints of type <linear>
0.09/0.15	c    1647 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.10
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.2
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1799.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.16	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.16	c   0.1s|     1 |     0 |    41 |     - |8706k|   0 |  28 |1923 |3355 |1923 |1663 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   653 |     - |8943k|   0 |  40 |1923 |3355 |1923 |1681 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |   669 |     - |9297k|   0 |  45 |1923 |3355 |1923 |1688 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   674 |     - |9299k|   0 |  44 |1923 |3355 |1923 |1690 |  27 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.56	c   0.5s|     1 |     0 |   686 |     - |9305k|   0 |  45 |1923 |3355 |1923 |1693 |  30 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.66	c   0.6s|     1 |     0 |   705 |     - |9312k|   0 |  50 |1923 |3355 |1923 |1699 |  36 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.77	c   0.7s|     1 |     0 |   725 |     - |9314k|   0 |  50 |1923 |3355 |1923 |1701 |  38 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.29/1.31	c   1.2s|     1 |     2 |   725 |     - |9318k|   0 |  50 |1923 |3355 |1923 |1701 |  38 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
5.19/5.24	o 42201
5.19/5.24	c y 5.0s|    13 |    12 |  1224 |  41.6 |9424k|  12 |   4 |1923 |3355 |1923 |1693 |  38 |   0 | 280 | 0.000000e+00 | 4.220100e+04 |    Inf 
8.99/9.06	o 196
8.99/9.06	c * 8.7s|   134 |    63 |  3324 |  19.5 |9968k|  24 |   - |1923 |3355 |1923 |1693 | 107 |   0 | 944 | 0.000000e+00 | 1.960000e+02 |    Inf 
9.09/9.15	o 170
9.09/9.15	c * 8.8s|   141 |    57 |  3545 |  20.1 |  10M|  24 |   - |1923 |3358 |1923 |1707 | 115 |   3 | 959 | 0.000000e+00 | 1.700000e+02 |    Inf 
9.09/9.18	o 169
9.09/9.18	c * 8.8s|   144 |    57 |  3577 |  19.9 |  10M|  24 |   - |1923 |3358 |1923 |1705 | 115 |   3 | 966 | 0.000000e+00 | 1.690000e+02 |    Inf 
9.19/9.23	o 157
9.19/9.23	c * 8.8s|   150 |    57 |  3677 |  19.8 |  10M|  24 |   - |1923 |3362 |1923 |1704 | 120 |   7 | 974 | 0.000000e+00 | 1.570000e+02 |    Inf 
9.59/9.63	o 152
9.59/9.63	c * 9.2s|   160 |    62 |  4085 |  21.1 |  10M|  24 |   - |1923 |3362 |1923 |1697 | 124 |   7 |1050 | 0.000000e+00 | 1.520000e+02 |    Inf 
9.59/9.68	o 64
9.59/9.68	c * 9.2s|   165 |    25 |  4164 |  21.0 |  10M|  24 |   - |1923 |3365 |1923 |1701 | 132 |  10 |1060 | 0.000000e+00 | 6.400000e+01 |    Inf 
13.49/13.50	o 59
13.49/13.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.49/13.50	c *12.9s|  1282 |    66 | 14464 |  10.7 |  11M|  29 |   - |1923 |4268 |1923 |1693 | 449 |1486 |1432 | 0.000000e+00 | 5.900000e+01 |    Inf 
13.59/13.69	o 40
13.59/13.69	c *13.1s|  1350 |    67 | 15028 |  10.6 |  11M|  29 |   - |1923 |4293 |1923 |1702 | 496 |1583 |1444 | 0.000000e+00 | 4.000000e+01 |    Inf 
16.89/16.96	o 17
16.89/16.96	c *16.2s|  2806 |   118 | 26812 |   9.3 |  12M|  32 |   - |1923 |5391 |1923 |1693 |1431 |3544 |1542 | 0.000000e+00 | 1.700000e+01 |    Inf 
17.80/17.87	o 3
17.80/17.87	c *17.1s|  3208 |   120 | 30553 |   9.3 |  12M|  32 |   - |1923 |5135 |1923 |1698 |1557 |4046 |1561 | 0.000000e+00 | 3.000000e+00 |    Inf 
31.60/31.62	c  30.1s| 10000 |   146 | 92599 |   9.2 |  14M|  36 |   - |1923 |9321 |   0 |   0 |5072 |  13k|1772 | 0.000000e+00 | 3.000000e+00 |    Inf 
51.70/51.76	c  49.3s| 20000 |   161 |182535 |   9.1 |  16M|  40 |   - |1923 |  11k|   0 |   0 |  10k|  26k|1806 | 0.000000e+00 | 3.000000e+00 |    Inf 
72.89/72.91	c  69.5s| 30000 |   244 |275698 |   9.2 |  18M|  43 |  25 |1923 |  15k|1923 |1693 |  15k|  39k|1806 | 0.000000e+00 | 3.000000e+00 |    Inf 
95.49/95.55	c  91.1s| 40000 |   244 |367951 |   9.2 |  20M|  47 |   - |1923 |  19k|1923 |1698 |  21k|  53k|2036 | 0.000000e+00 | 3.000000e+00 |    Inf 
117.99/118.09	c   113s| 50000 |   311 |461440 |   9.2 |  19M|  52 |  21 |1923 |  13k|1923 |1697 |  24k|  66k|2324 | 0.000000e+00 | 3.000000e+00 |    Inf 
140.19/140.24	c   134s| 60000 |   379 |552734 |   9.2 |  21M|  57 |   9 |1923 |  18k|1923 |1697 |  25k|  80k|2641 | 0.000000e+00 | 3.000000e+00 |    Inf 
161.29/161.39	c   154s| 70000 |   330 |635995 |   9.1 |  21M|  57 |   - |1923 |  17k|   0 |   0 |  26k|  93k|2898 | 0.000000e+00 | 3.000000e+00 |    Inf 
182.80/182.84	c   174s| 80000 |   293 |720900 |   9.0 |  20M|  57 |   - |1923 |  15k|1923 |1696 |  28k| 107k|3143 | 0.000000e+00 | 3.000000e+00 |    Inf 
204.99/205.07	c   195s| 90000 |   396 |807319 |   9.0 |  23M|  57 |   - |1923 |  21k|   0 |   0 |  34k| 121k|3358 | 0.000000e+00 | 3.000000e+00 |    Inf 
228.50/228.52	c   218s|100000 |   458 |893847 |   8.9 |  24M|  57 |   - |1923 |  24k|1923 |1697 |  40k| 134k|3565 | 0.000000e+00 | 3.000000e+00 |    Inf 
253.00/253.06	c   241s|110000 |   443 |982427 |   8.9 |  26M|  57 |   - |1923 |  29k|   0 |   0 |  45k| 148k|3776 | 0.000000e+00 | 3.000000e+00 |    Inf 
279.41/279.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
279.41/279.48	c   267s|120000 |   590 |  1073k|   8.9 |  28M|  57 |   - |1923 |  30k|   0 |   0 |  52k| 162k|3981 | 0.000000e+00 | 3.000000e+00 |    Inf 
305.10/305.12	c   291s|130000 |   611 |  1154k|   8.9 |  28M|  57 |   - |1923 |  30k|   0 |   0 |  58k| 175k|4170 | 0.000000e+00 | 3.000000e+00 |    Inf 
331.00/331.04	c   316s|140000 |   672 |  1236k|   8.8 |  30M|  57 |  28 |1923 |  35k|1923 |1693 |  63k| 189k|4308 | 0.000000e+00 | 3.000000e+00 |    Inf 
357.80/357.84	c   342s|150000 |   686 |  1317k|   8.8 |  31M|  57 |  18 |1923 |  37k|1923 |1693 |  68k| 203k|4472 | 0.000000e+00 | 3.000000e+00 |    Inf 
385.90/385.91	c   369s|160000 |   732 |  1405k|   8.8 |  33M|  57 |   - |1923 |  41k|   0 |   0 |  74k| 217k|4663 | 0.000000e+00 | 3.000000e+00 |    Inf 
413.30/413.36	c   395s|170000 |   765 |  1489k|   8.8 |  34M|  57 |  18 |1923 |  42k|1923 |1693 |  80k| 232k|4812 | 0.000000e+00 | 3.000000e+00 |    Inf 
442.11/442.20	c   423s|180000 |   707 |  1570k|   8.7 |  32M|  57 |  14 |1923 |  36k|1923 |1693 |  86k| 245k|4943 | 0.000000e+00 | 3.000000e+00 |    Inf 
469.40/469.44	c   449s|190000 |   688 |  1655k|   8.7 |  31M|  57 |  19 |1923 |  35k|1923 |1694 |  91k| 260k|5115 | 0.000000e+00 | 3.000000e+00 |    Inf 
496.01/496.02	c   475s|200000 |   690 |  1741k|   8.7 |  32M|  57 |   8 |1923 |  36k|1923 |1693 |  98k| 274k|5236 | 0.000000e+00 | 3.000000e+00 |    Inf 
522.91/522.95	c   501s|210000 |   740 |  1828k|   8.7 |  34M|  57 |   - |1923 |  39k|1923 |1699 | 104k| 289k|5407 | 0.000000e+00 | 3.000000e+00 |    Inf 
552.01/552.06	c   529s|220000 |   739 |  1918k|   8.7 |  34M|  57 |  17 |1923 |  40k|1923 |1693 | 111k| 303k|5574 | 0.000000e+00 | 3.000000e+00 |    Inf 
579.71/579.74	c   556s|230000 |   648 |  1997k|   8.7 |  32M|  57 |   - |1923 |  34k|   0 |   0 | 116k| 318k|5698 | 0.000000e+00 | 3.000000e+00 |    Inf 
606.50/606.52	c   581s|240000 |   614 |  2082k|   8.7 |  30M|  57 |  18 |1923 |  31k|1923 |1693 | 121k| 332k|5807 | 0.000000e+00 | 3.000000e+00 |    Inf 
633.51/633.60	c   607s|250000 |   548 |  2179k|   8.7 |  31M|  57 |  15 |1923 |  33k|1923 |1693 | 128k| 346k|5978 | 0.000000e+00 | 3.000000e+00 |    Inf 
660.40/660.49	c   633s|260000 |   621 |  2267k|   8.7 |  32M|  57 |  17 |1923 |  34k|1923 |1693 | 135k| 359k|6105 | 0.000000e+00 | 3.000000e+00 |    Inf 
689.11/689.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
689.11/689.19	c   661s|270000 |   545 |  2359k|   8.7 |  32M|  57 |  10 |1923 |  37k|1923 |1693 | 141k| 373k|6253 | 0.000000e+00 | 3.000000e+00 |    Inf 
716.02/716.03	c   687s|280000 |   490 |  2443k|   8.7 |  31M|  57 |  19 |1923 |  33k|1923 |1693 | 148k| 387k|6363 | 0.000000e+00 | 3.000000e+00 |    Inf 
744.11/744.14	c   714s|290000 |   495 |  2535k|   8.7 |  32M|  57 |  10 |1923 |  35k|1923 |1693 | 154k| 401k|6553 | 0.000000e+00 | 3.000000e+00 |    Inf 
770.81/770.82	c   739s|300000 |   451 |  2621k|   8.7 |  32M|  57 |  28 |1923 |  35k|1923 |1698 | 161k| 415k|6657 | 0.000000e+00 | 3.000000e+00 |    Inf 
797.31/797.30	c   765s|310000 |   302 |  2704k|   8.7 |  25M|  57 |   - |1923 |  18k|1923 |1705 | 165k| 429k|6921 | 0.000000e+00 | 3.000000e+00 |    Inf 
819.51/819.51	c   786s|320000 |   523 |  2791k|   8.7 |  26M|  57 |   6 |1923 |  20k|1923 |1693 | 169k| 442k|6994 | 0.000000e+00 | 3.000000e+00 |    Inf 
842.71/842.78	c   808s|330000 |   512 |  2881k|   8.7 |  28M|  57 |  24 |1923 |  24k|1923 |1693 | 173k| 455k|7068 | 0.000000e+00 | 3.000000e+00 |    Inf 
867.72/867.74	c   832s|340000 |   518 |  2974k|   8.7 |  29M|  57 |   - |1923 |  27k|   0 |   0 | 177k| 468k|7213 | 0.000000e+00 | 3.000000e+00 |    Inf 
893.12/893.12	c   856s|350000 |   560 |  3062k|   8.7 |  30M|  57 |   - |1923 |  27k|   0 |   0 | 183k| 482k|7324 | 0.000000e+00 | 3.000000e+00 |    Inf 
918.42/918.42	c   881s|360000 |   537 |  3150k|   8.7 |  29M|  57 |  11 |1923 |  26k|1923 |1693 | 186k| 495k|7418 | 0.000000e+00 | 3.000000e+00 |    Inf 
942.52/942.52	c   904s|370000 |   668 |  3239k|   8.8 |  30M|  57 |  25 |1923 |  27k|1923 |1699 | 191k| 508k|7504 | 0.000000e+00 | 3.000000e+00 |    Inf 
967.41/967.41	c   927s|380000 |   717 |  3330k|   8.8 |  32M|  57 |  22 |1923 |  31k|1923 |1693 | 196k| 521k|7619 | 0.000000e+00 | 3.000000e+00 |    Inf 
993.22/993.27	c   952s|390000 |   752 |  3418k|   8.8 |  33M|  57 |   - |1923 |  33k|   0 |   0 | 201k| 535k|7746 | 0.000000e+00 | 3.000000e+00 |    Inf 
1019.02/1019.07	c   977s|400000 |   695 |  3503k|   8.8 |  33M|  57 |  12 |1923 |  33k|1923 |1693 | 205k| 549k|7845 | 0.000000e+00 | 3.000000e+00 |    Inf 
1044.82/1044.88	c  1002s|410000 |   728 |  3591k|   8.8 |  34M|  57 |   - |1923 |  34k|1923 |1696 | 210k| 562k|7936 | 0.000000e+00 | 3.000000e+00 |    Inf 
1071.62/1071.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1071.62/1071.68	c  1028s|420000 |   890 |  3680k|   8.8 |  35M|  57 |   - |1923 |  36k|1923 |1699 | 215k| 575k|8045 | 0.000000e+00 | 3.000000e+00 |    Inf 
1098.51/1098.52	c  1053s|430000 |   965 |  3772k|   8.8 |  35M|  57 |   - |1923 |  35k|1923 |1698 | 221k| 589k|8132 | 0.000000e+00 | 3.000000e+00 |    Inf 
1124.62/1124.60	c  1079s|440000 |   988 |  3859k|   8.8 |  35M|  57 |   - |1923 |  35k|1923 |1699 | 226k| 603k|8239 | 0.000000e+00 | 3.000000e+00 |    Inf 
1151.22/1151.27	c  1104s|450000 |  1015 |  3947k|   8.8 |  36M|  57 |   - |1923 |  37k|   0 |   0 | 231k| 617k|8363 | 0.000000e+00 | 3.000000e+00 |    Inf 
1178.03/1178.04	c  1130s|460000 |  1018 |  4036k|   8.8 |  37M|  57 |  40 |1923 |  39k|1923 |1693 | 235k| 631k|8467 | 0.000000e+00 | 3.000000e+00 |    Inf 
1205.12/1205.10	c  1156s|470000 |  1048 |  4124k|   8.8 |  37M|  57 |   - |1923 |  36k|1923 |1696 | 240k| 645k|8560 | 0.000000e+00 | 3.000000e+00 |    Inf 
1232.82/1232.89	c  1183s|480000 |  1069 |  4224k|   8.8 |  38M|  57 |  20 |1923 |  38k|1923 |1693 | 245k| 659k|8644 | 0.000000e+00 | 3.000000e+00 |    Inf 
1259.92/1259.99	c  1209s|490000 |  1009 |  4313k|   8.8 |  38M|  59 |   - |1923 |  39k|   0 |   0 | 251k| 673k|8732 | 0.000000e+00 | 3.000000e+00 |    Inf 
1286.72/1286.79	c  1235s|500000 |   967 |  4402k|   8.8 |  36M|  59 |  20 |1923 |  35k|1923 |1693 | 256k| 688k|8829 | 0.000000e+00 | 3.000000e+00 |    Inf 
1311.92/1311.99	c  1259s|510000 |   956 |  4487k|   8.8 |  36M|  59 |  29 |1923 |  35k|1923 |1693 | 260k| 701k|8944 | 0.000000e+00 | 3.000000e+00 |    Inf 
1339.63/1339.62	c  1286s|520000 |   884 |  4583k|   8.8 |  36M|  59 |   - |1923 |  34k|1923 |1697 | 265k| 715k|9027 | 0.000000e+00 | 3.000000e+00 |    Inf 
1365.22/1365.28	c  1311s|530000 |   881 |  4653k|   8.8 |  38M|  59 |   - |1923 |  40k|   0 |   0 | 268k| 729k|9106 | 0.000000e+00 | 3.000000e+00 |    Inf 
1393.03/1393.01	c  1338s|540000 |   876 |  4741k|   8.8 |  38M|  59 |   - |1923 |  41k|1923 |1695 | 273k| 743k|9189 | 0.000000e+00 | 3.000000e+00 |    Inf 
1421.83/1421.80	c  1366s|550000 |   865 |  4831k|   8.8 |  37M|  59 |   - |1923 |  39k|   0 |   0 | 278k| 757k|9278 | 0.000000e+00 | 3.000000e+00 |    Inf 
1449.53/1449.55	c  1392s|560000 |   794 |  4922k|   8.8 |  36M|  59 |  23 |1923 |  34k|1923 |1693 | 283k| 770k|9370 | 0.000000e+00 | 3.000000e+00 |    Inf 
1475.73/1475.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1475.73/1475.74	c  1418s|570000 |   701 |  5011k|   8.8 |  35M|  59 |  10 |1923 |  33k|1923 |1698 | 288k| 784k|9464 | 0.000000e+00 | 3.000000e+00 |    Inf 
1501.73/1501.77	c  1443s|580000 |   672 |  5100k|   8.8 |  34M|  59 |   1 |1923 |  30k|1923 |1700 | 293k| 797k|9546 | 0.000000e+00 | 3.000000e+00 |    Inf 
1528.43/1528.50	c  1468s|590000 |   647 |  5197k|   8.8 |  35M|  59 |  20 |1923 |  34k|1923 |1693 | 298k| 811k|9627 | 0.000000e+00 | 3.000000e+00 |    Inf 
1547.13/1547.14	o 2
1547.13/1547.14	c *1486s|597055 |   568 |  5258k|   8.8 |  34M|  59 |   - |1923 |  34k|1923 |1698 | 301k| 821k|9738 | 0.000000e+00 | 2.000000e+00 |    Inf 
1548.03/1548.07	o 1
1548.03/1548.07	c *1487s|597384 |   396 |  5262k|   8.8 |  32M|  59 |   - |1923 |  33k|1923 |1693 | 301k| 821k|9740 | 0.000000e+00 | 1.000000e+00 |    Inf 
1555.23/1555.21	c  1494s|600000 |   409 |  5286k|   8.8 |  32M|  59 |   - |1923 |  33k|1923 |1699 | 303k| 824k|9744 | 0.000000e+00 | 1.000000e+00 |    Inf 
1582.94/1582.91	c  1521s|610000 |   440 |  5384k|   8.8 |  34M|  59 |  18 |1923 |  39k|1923 |1693 | 309k| 838k|9831 | 0.000000e+00 | 1.000000e+00 |    Inf 
1611.23/1611.24	c  1548s|620000 |   392 |  5476k|   8.8 |  33M|  59 |  12 |1923 |  36k|1923 |1698 | 314k| 852k|9924 | 0.000000e+00 | 1.000000e+00 |    Inf 
1639.34/1639.37	c  1576s|630000 |   385 |  5563k|   8.8 |  33M|  59 |  22 |1923 |  38k|1923 |1693 | 318k| 865k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1667.94/1667.90	c  1603s|640000 |   442 |  5645k|   8.8 |  35M|  59 |   - |1923 |  42k|   0 |   0 | 323k| 879k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1697.14/1697.18	c  1632s|650000 |   606 |  5729k|   8.8 |  38M|  59 |  28 |1923 |  48k|1923 |1693 | 328k| 892k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1727.64/1727.67	c  1661s|660000 |   684 |  5805k|   8.8 |  40M|  59 |  13 |1923 |  50k|1923 |1693 | 332k| 906k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1760.93/1760.94	c  1694s|670000 |   853 |  5893k|   8.8 |  42M|  59 |   - |1923 |  55k|1923 |1699 | 337k| 920k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1794.74/1794.75	c  1727s|680000 |   919 |  5975k|   8.8 |  43M|  59 |  21 |1923 |  57k|1923 |1696 | 341k| 934k|  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) : 1731.87
1800.04/1800.00	c Solving Nodes      : 681515
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (36 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 
1800.04/1800.01	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 
1800.04/1800.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       :    1731.87
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2692889-1277908953.wbo
1800.04/1800.01	c   Variables        : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.04/1800.01	c   Constraints      : 3619 initial, 3619 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2692889-1277908953.wbo
1800.04/1800.01	c   Variables        : 1923 (1077 binary, 0 integer, 0 implicit integer, 846 continuous)
1800.04/1800.01	c   Constraints      : 3355 initial, 59112 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00         65          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00         65          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         65          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.04          0          0          0        926          0        199        133          0
1800.04/1800.01	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -        846          -          -       1692          -          -          -          -
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     459809          0         51        969          0          0     760248
1800.04/1800.01	c   indicator        :        846          0    2558252      69045          0         16      63405          0          0          0
1800.04/1800.01	c   setppc           :         16          6    2919403      78871          0      64994    2660591          0          0          0
1800.04/1800.01	c   linear           :        846          6    2855275      78878          0     120999   10766849     342680          0          0
1800.04/1800.01	c   logicor          :       1647+         6    1598702         74          0     105057    6486829          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0         74          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      35.87       0.00       0.00      35.87       0.00
1800.04/1800.01	c   indicator        :       0.82       0.00       0.50       0.32       0.00
1800.04/1800.01	c   setppc           :      17.78       0.00      17.76       0.02       0.00
1800.04/1800.01	c   linear           :      63.53       0.00      61.85       1.68       0.00
1800.04/1800.01	c   logicor          :     290.80       0.00     290.79       0.01       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.00          2          0          0
1800.04/1800.01	c   rootredcost      :       0.00         13          0        846
1800.04/1800.01	c   pseudoobj        :      45.90    2920201         88      44258
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :      12.73     291138     289780    1831425       26.6       7093       26.4          -
1800.04/1800.01	c   infeasible LP    :      15.77      86756      86756     705210       44.1        469       22.0          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         45       18.5          1       15.0          -
1800.04/1800.01	c   applied globally :          -          -          -     936961       26.2          -          -          -
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: 229)
1800.04/1800.01	c   redcost          :      11.04     460456          0      13044          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.23          6          0          0       1101          0
1800.04/1800.01	c   strongcg         :       0.17          6          0          0        601          0
1800.04/1800.01	c   cmir             :       0.02          6          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.05          6          0          0          2          0
1800.04/1800.01	c   clique           :       0.00          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        :      35.75     380924         51        969          0          0     760248
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.01         62          0          0          0          0        124
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          -         12
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       0.04         13          0
1800.04/1800.01	c   feaspump         :       0.07          1          0
1800.04/1800.01	c   crossover        :       0.17          7          0
1800.04/1800.01	c   coefdiving       :       0.09         31          0
1800.04/1800.01	c   pscostdiving     :       0.11         31          0
1800.04/1800.01	c   fracdiving       :       0.10         31          0
1800.04/1800.01	c   veclendiving     :       0.07         31          0
1800.04/1800.01	c   objpscostdiving  :       0.10         16          0
1800.04/1800.01	c   linesearchdiving :       0.05         32          0
1800.04/1800.01	c   guideddiving     :       0.07         32          0
1800.04/1800.01	c   rootsoldiving    :       0.12         17          0
1800.04/1800.01	c   trivial          :       0.00          2          0
1800.04/1800.01	c   simplerounding   :       0.29     380955          0
1800.04/1800.01	c   zirounding       :       0.06       1000          0
1800.04/1800.01	c   rounding         :       0.86       8680          0
1800.04/1800.01	c   shifting         :       0.97       2723          0
1800.04/1800.01	c   intshifting      :       0.01          9          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.01          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.00          0          0
1800.04/1800.01	c   trysol           :       0.19       1360         24
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.01          0          0       0.00       0.00
1800.04/1800.01	c   dual LP          :     804.56     545794    5986134      10.97    7440.26
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:       0.50        376       3106       8.26    6212.00
1800.04/1800.01	c   strong branching :      32.11      10401     207519      19.95    6462.75
1800.04/1800.01	c     (at root node) :          -         33       3935     119.24          -
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            :     681515
1800.04/1800.01	c   nodes (total)    :     681515
1800.04/1800.01	c   nodes left       :        942
1800.04/1800.01	c   max depth        :         59
1800.04/1800.01	c   max depth (total):         59
1800.04/1800.01	c   backtracks       :     116982 (17.2%)
1800.04/1800.01	c   delayed cutoffs  :      77506
1800.04/1800.01	c   repropagations   :     961014 (5065865 domain reductions, 76326 cutoffs)
1800.04/1800.01	c   avg switch length:       4.40
1800.04/1800.01	c   switching time   :     234.12
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :         36 (13 improvements)
1800.04/1800.01	c   First Solution   : +4.22010000000000e+04   (in run 1, after 13 nodes, 5.00 seconds, depth 12, found by <trysol>)
1800.04/1800.01	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 597384 nodes, 1487.25 seconds, depth 19, 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  :        725
1800.04/1800.09	c Time complete: 1800.13.

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-2692889-1277908953/watcher-2692889-1277908953 -o /tmp/evaluation-result-2692889-1277908953/solver-2692889-1277908953 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692889-1277908953.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: 1.99 1.98 1.99 3/182 13733
/proc/meminfo: memFree=30067792/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=9440 CPUtime=0
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1654 0 0 0 0 0 0 0 22 0 1 0 132191483 9666560 1574 4089446400 4194304 8223781 140735685569296 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13733/statm: 2360 1574 369 984 0 1373 0

[startup+0.0929849 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 13733
/proc/meminfo: memFree=30067792/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=23796 CPUtime=0.08
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 6396 0 0 0 7 1 0 0 22 0 1 0 132191483 24367104 4924 4089446400 4194304 8223781 140735685569296 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 5949 4924 452 984 0 4962 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23796

[startup+0.100987 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 13733
/proc/meminfo: memFree=30067792/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=23644 CPUtime=0.09
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 6848 0 0 0 7 2 0 0 22 0 1 0 132191483 24211456 4862 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 5911 4862 457 984 0 4924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23644

[startup+0.300948 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 13733
/proc/meminfo: memFree=30067792/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=30448 CPUtime=0.29
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 10609 0 0 0 26 3 0 0 22 0 1 0 132191483 31178752 6711 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 7612 6711 570 984 0 6625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30448

[startup+0.700876 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 13733
/proc/meminfo: memFree=30067792/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=33328 CPUtime=0.69
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 11370 0 0 0 63 6 0 0 24 0 1 0 132191483 34127872 7449 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 8332 7449 572 984 0 7345 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33328

[startup+1.50073 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 13734
/proc/meminfo: memFree=30037280/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=33560 CPUtime=1.49
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 15287 0 0 0 140 9 0 0 25 0 1 0 132191483 34365440 7515 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 8390 7515 587 984 0 7403 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33560

[startup+3.10045 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 13734
/proc/meminfo: memFree=30037156/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=33560 CPUtime=3.09
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 15600 0 0 0 294 15 0 0 25 0 1 0 132191483 34365440 7515 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 8390 7515 587 984 0 7403 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33560

[startup+6.30088 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 13734
/proc/meminfo: memFree=30034924/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=33560 CPUtime=6.3
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 16292 0 0 0 604 26 0 0 25 0 1 0 132191483 34365440 7528 4089446400 4194304 8223781 140735685569296 18446744073709551615 6591882 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 8390 7528 590 984 0 7403 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 33560

[startup+12.7007 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 13734
/proc/meminfo: memFree=30031360/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=38256 CPUtime=12.69
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 46065 0 0 0 1214 55 0 0 25 0 1 0 132191483 39174144 8673 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 9564 8673 596 984 0 8577 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38256

[startup+25.5005 s]
/proc/loadavg: 2.05 2.00 2.00 3/183 13734
/proc/meminfo: memFree=30010520/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=46064 CPUtime=25.49
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 82646 0 0 0 2432 117 0 0 25 0 1 0 132191483 47169536 10618 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 11516 10618 603 984 0 10529 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46064

[startup+51.1009 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 13735
/proc/meminfo: memFree=29996096/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=47708 CPUtime=51.1
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 111671 0 0 0 4872 238 0 0 25 0 1 0 132191483 48852992 11002 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 11927 11002 603 984 0 10940 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 47708

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 13736
/proc/meminfo: memFree=29965296/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=54560 CPUtime=102.3
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 148186 0 0 0 9760 470 0 0 25 0 1 0 132191483 55869440 12766 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 13640 12766 603 984 0 12653 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 54560

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13738
/proc/meminfo: memFree=29938332/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=58580 CPUtime=162.29
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 266053 0 0 0 15468 761 0 0 25 0 1 0 132191483 59985920 13555 4089446400 4194304 8223781 140735685569296 18446744073709551615 6558062 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 14645 13555 603 984 0 13658 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 58580

[startup+222.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 13740
/proc/meminfo: memFree=29930608/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=61588 CPUtime=222.3
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 336818 0 0 0 21190 1040 0 0 25 0 1 0 132191483 63066112 14300 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 15397 14300 603 984 0 14410 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 61588

[startup+282.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 13741
/proc/meminfo: memFree=29912096/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=66948 CPUtime=282.3
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 381714 0 0 0 26946 1284 0 0 25 0 1 0 132191483 68554752 15517 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 16737 15517 603 984 0 15750 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 66948

[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13742
/proc/meminfo: memFree=29858216/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=69960 CPUtime=342.3
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 428151 0 0 0 32712 1518 0 0 25 0 1 0 132191483 71639040 16298 4089446400 4194304 8223781 140735685569296 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 17490 16298 603 984 0 16503 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 69960

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13744
/proc/meminfo: memFree=29813408/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=72724 CPUtime=402.3
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 484037 0 0 0 38478 1752 0 0 25 0 1 0 132191483 74469376 16980 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 18181 16980 603 984 0 17194 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 72724

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13746
/proc/meminfo: memFree=29796488/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=74452 CPUtime=462.3
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 561233 0 0 0 44251 1979 0 0 25 0 1 0 132191483 76238848 17360 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 18613 17360 603 984 0 17626 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 74452

[startup+522.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13748
/proc/meminfo: memFree=29727504/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=75000 CPUtime=522.3
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 569426 0 0 0 50031 2199 0 0 25 0 1 0 132191483 76800000 17497 4089446400 4194304 8223781 140735685569296 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 18750 17497 603 984 0 17763 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 75000

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13749
/proc/meminfo: memFree=29685548/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=75860 CPUtime=582.31
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 639331 0 0 0 55807 2424 0 0 25 0 1 0 132191483 77680640 17706 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 18965 17706 603 984 0 17978 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 75860

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13750
/proc/meminfo: memFree=29669132/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=76996 CPUtime=642.32
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 750906 0 0 0 61563 2669 0 0 25 0 1 0 132191483 78843904 17909 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 19249 17909 603 984 0 18262 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 76996

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13756
/proc/meminfo: memFree=29581952/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=78420 CPUtime=822.31
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 884702 0 0 0 78852 3379 0 0 25 0 1 0 132191483 80302080 18152 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 19605 18152 603 984 0 18618 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 78420

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13757
/proc/meminfo: memFree=29562688/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=78356 CPUtime=882.31
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 960735 0 0 0 84594 3637 0 0 25 0 1 0 132191483 80236544 18151 4089446400 4194304 8223781 140735685569296 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 19589 18151 603 984 0 18602 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 78356

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13758
/proc/meminfo: memFree=29509688/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=78356 CPUtime=942.32
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1080538 0 0 0 90339 3893 0 0 25 0 1 0 132191483 80236544 18154 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 19589 18154 603 984 0 18602 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 78356

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13788
/proc/meminfo: memFree=31233356/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=78480 CPUtime=1002.32
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1183868 0 0 0 96087 4145 0 0 25 0 1 0 132191483 80363520 18195 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 19620 18195 603 984 0 18633 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 78480

[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 13790
/proc/meminfo: memFree=31107564/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=79760 CPUtime=1062.32
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1292585 0 0 0 101857 4375 0 0 25 0 1 0 132191483 81674240 18380 4089446400 4194304 8223781 140735685569296 18446744073709551615 6482666 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 19940 18380 603 984 0 18953 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 79760

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13801
/proc/meminfo: memFree=30978076/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=80812 CPUtime=1122.32
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1406928 0 0 0 107634 4598 0 0 25 0 1 0 132191483 82751488 18650 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 20203 18650 603 984 0 19216 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 80812

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13802
/proc/meminfo: memFree=30888368/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=80940 CPUtime=1182.32
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1536486 0 0 0 113421 4811 0 0 25 0 1 0 132191483 82882560 18682 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 20235 18682 603 984 0 19248 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 80940

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13803
/proc/meminfo: memFree=30828920/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=81048 CPUtime=1242.32
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1670865 0 0 0 119202 5030 0 0 25 0 1 0 132191483 82993152 18718 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 20262 18718 603 984 0 19275 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 81048

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13805
/proc/meminfo: memFree=30784112/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=81696 CPUtime=1302.32
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1700697 0 0 0 124998 5234 0 0 25 0 1 0 132191483 83656704 18899 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 20424 18899 603 984 0 19437 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 81696

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13807
/proc/meminfo: memFree=30763856/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=81940 CPUtime=1362.33
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1718345 0 0 0 130799 5434 0 0 25 0 1 0 132191483 83906560 18979 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 20485 18979 603 984 0 19498 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 81940

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 13809
/proc/meminfo: memFree=30694116/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=83588 CPUtime=1422.33
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1744091 0 0 0 136608 5625 0 0 25 0 1 0 132191483 85594112 19411 4089446400 4194304 8223781 140735685569296 18446744073709551615 4221404 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 20897 19411 603 984 0 19910 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 83588

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 13810
/proc/meminfo: memFree=30632556/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=83588 CPUtime=1482.33
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1776697 0 0 0 142397 5836 0 0 25 0 1 0 132191483 85594112 19433 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 20897 19433 603 984 0 19910 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 83588

[startup+1542.3 s]
/proc/loadavg: 2.24 2.07 2.01 3/183 13811
/proc/meminfo: memFree=30544952/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=84068 CPUtime=1542.33
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1826400 0 0 0 148170 6063 0 0 25 0 1 0 132191483 86085632 19476 4089446400 4194304 8223781 140735685569296 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 21017 19476 603 984 0 20030 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 84068

[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 13813
/proc/meminfo: memFree=30458596/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=84140 CPUtime=1602.33
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1879387 0 0 0 153973 6260 0 0 25 0 1 0 132191483 86159360 19494 4089446400 4194304 8223781 140735685569296 18446744073709551615 5004477 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 21035 19494 603 984 0 20048 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 84140

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 13815
/proc/meminfo: memFree=30427300/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=84280 CPUtime=1662.34
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1915152 0 0 0 159780 6454 0 0 25 0 1 0 132191483 86302720 19572 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 21070 19572 603 984 0 20083 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 84280

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 13817
/proc/meminfo: memFree=30425516/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=85832 CPUtime=1722.33
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1920651 0 0 0 165620 6613 0 0 25 0 1 0 132191483 87891968 20024 4089446400 4194304 8223781 140735685569296 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 21458 20024 603 984 0 20471 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 85832

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 13818
/proc/meminfo: memFree=30423836/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=87344 CPUtime=1782.33
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1943593 0 0 0 171466 6767 0 0 25 0 1 0 132191483 89440256 20328 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 21836 20328 603 984 0 20849 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 87344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 13819
/proc/meminfo: memFree=30422824/32951124 swapFree=67111528/67111528
[pid=13733] ppid=13731 vsize=87344 CPUtime=1800.04
/proc/13733/stat : 13733 (pbscip.linux.x8) R 13731 13733 12643 0 -1 4202496 1953222 0 0 0 173189 6815 0 0 25 0 1 0 132191483 89440256 20338 4089446400 4194304 8223781 140735685569296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13733/statm: 21836 20338 603 984 0 20849 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 87344

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

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

Child status: 0
Real time (s): 1800.09
CPU time (s): 1800.14
CPU user time (s): 1731.97
CPU system time (s): 68.1646
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 87504

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

runsolver used 2.83257 second user time and 6.99394 second system time

The end

Launcher Data 

Begin job on node132 at 2010-06-30 16:42:33
IDJOB=2692889
IDBENCH=78963
IDSOLVER=1204
FILE ID=node132/2692889-1277908953
PBS_JOBID= 11197179
Free space on /tmp= 74136 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900583053--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-2692889-1277908953/watcher-2692889-1277908953 -o /tmp/evaluation-result-2692889-1277908953/solver-2692889-1277908953 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692889-1277908953.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 56cc5d1f816d97170bd91f7584a55091
RANDOM SEED=377450577

node132.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.810
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.62
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.810
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.75
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.810
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.810
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.810
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.810
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.75
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.810
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.810
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:      30068568 kB
Buffers:        188708 kB
Cached:        1216684 kB
SwapCached:          0 kB
Active:        1869900 kB
Inactive:       864464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30068568 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4704 kB
Writeback:           0 kB
AnonPages:     1328980 kB
Mapped:          16152 kB
Slab:            81504 kB
PageTables:       7356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1520196 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 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 node132 at 2010-06-30 17:12:35