Trace number 2705680

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.13 1790.09

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo
MD5SUM2f4d2e59134ffbad904dde6d63a6f677
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark30.4694
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 constraints937
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 46894
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46893
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 779
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705680-1278574750.wbo>
0.01/0.02	c original problem has 2105 variables (1168 bin, 0 int, 937 impl, 0 cont) and 3645 constraints
0.01/0.02	c problem read
0.01/0.02	c presolving settings loaded
0.01/0.03	c presolving:
0.01/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs
0.01/0.07	c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs
0.01/0.08	c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 214 impls, 14 clqs
0.01/0.09	c (round 4) 98 del vars, 221 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 214 impls, 14 clqs
0.09/0.12	c    (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12	c presolving (5 rounds):
0.09/0.12	c  98 deleted vars, 221 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.12	c  1981 implications, 14 cliques
0.09/0.12	c presolved problem has 2007 variables (1119 bin, 0 int, 888 impl, 0 cont) and 3424 constraints
0.09/0.12	c      62 constraints of type <setppc>
0.09/0.12	c     888 constraints of type <linear>
0.09/0.12	c     888 constraints of type <indicator>
0.09/0.12	c    1586 constraints of type <logicor>
0.09/0.12	c transformed objective value is always integral (scale: 1)
0.09/0.12	c Presolving Time: 0.09
0.09/0.12	c - non default parameters ----------------------------------------------------------------------
0.09/0.12	c # SCIP version 1.2.1.3
0.09/0.12	c 
0.09/0.12	c # frequency for displaying node information lines
0.09/0.12	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12	c display/freq = 10000
0.09/0.12	c 
0.09/0.12	c # maximal time in seconds to run
0.09/0.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12	c limits/time = 1789.98
0.09/0.12	c 
0.09/0.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12	c limits/memory = 3420
0.09/0.12	c 
0.09/0.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12	c # [type: int, range: [1,2], default: 1]
0.09/0.12	c timing/clocktype = 2
0.09/0.12	c 
0.09/0.12	c # should presolving try to simplify inequalities
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/linear/simplifyinequalities = TRUE
0.09/0.12	c 
0.09/0.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/indicator/addCouplingCons = TRUE
0.09/0.12	c 
0.09/0.12	c # should presolving try to simplify knapsacks
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12	c 
0.09/0.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12	c separating/rapidlearning/freq = 0
0.09/0.12	c 
0.09/0.12	c -----------------------------------------------------------------------------------------------
0.09/0.12	c start solving
0.09/0.12	c 
0.09/0.13	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.13	c   0.1s|     1 |     0 |    25 |     - |9045k|   0 |  23 |2007 |3424 |2007 |1648 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    50 |     - |9125k|   0 |  12 |2007 |3424 |2007 |1666 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    72 |     - |9278k|   0 |  14 |2007 |3424 |2007 |1672 |  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.3s|     1 |     0 |    84 |     - |9366k|   0 |  14 |2007 |3424 |2007 |1673 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   100 |     - |9532k|   0 |   5 |2007 |3424 |2007 |1676 |  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   147 |     - |9675k|   0 |  20 |2007 |3424 |2007 |1680 |  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.42	c   0.4s|     1 |     0 |   303 |     - |  10M|   0 |  27 |2007 |3424 |2007 |1683 |  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   387 |     - |  10M|   0 |  57 |2007 |3424 |2007 |1687 |  39 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.59	c   0.6s|     1 |     0 |   437 |     - |  10M|   0 |  35 |2007 |3424 |2007 |1693 |  45 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.67	c   0.6s|     1 |     0 |   478 |     - |  11M|   0 |  32 |2007 |3424 |2007 |1698 |  50 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.29/1.35	c   1.3s|     1 |     2 |   478 |     - |  11M|   0 |  32 |2007 |3424 |2007 |1698 |  50 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
14.09/14.14	o 44536
14.09/14.14	c y14.1s|    92 |    91 |  4891 |  48.5 |  11M|  51 |   - |2007 |3425 |   0 |   0 |  57 |   1 | 580 | 0.000000e+00 | 4.453600e+04 |    Inf 
15.19/15.24	o 224
15.19/15.24	c *15.2s|  1009 |   810 |  7130 |   6.6 |  13M| 784 |   - |2007 |3453 |2007 |1686 | 131 |  29 | 619 | 0.000000e+00 | 2.240000e+02 |    Inf 
15.89/15.94	o 212
15.89/15.94	c *15.9s|  1747 |  1530 |  7838 |   4.2 |  14M| 784 |   - |2007 |3475 |2007 |1690 | 181 |  51 | 622 | 0.000000e+00 | 2.120000e+02 |    Inf 
15.89/15.99	o 193
15.89/15.99	c *16.0s|  1786 |  1550 |  7993 |   4.2 |  14M| 784 |   - |2007 |3477 |2007 |1696 | 192 |  53 | 622 | 0.000000e+00 | 1.930000e+02 |    Inf 
16.99/17.02	o 143
16.99/17.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.99/17.02	c *17.0s|  2279 |  1797 | 12001 |   5.1 |  15M| 784 |   - |2007 |3826 |2007 |1691 | 328 | 410 | 645 | 0.000000e+00 | 1.430000e+02 |    Inf 
17.09/17.19	o 105
17.09/17.19	c *17.2s|  2340 |  1489 | 13046 |   5.4 |  15M| 784 |   - |2007 |3885 |2007 |1690 | 344 | 477 | 645 | 0.000000e+00 | 1.050000e+02 |    Inf 
17.19/17.20	o 77
17.19/17.20	c *17.2s|  2343 |  1103 | 13101 |   5.4 |  14M| 784 |   - |2007 |3887 |2007 |1691 | 345 | 480 | 645 | 0.000000e+00 | 7.700000e+01 |    Inf 
17.19/17.27	o 72
17.19/17.27	c *17.2s|  2366 |  1025 | 13431 |   5.5 |  14M| 784 |   - |2007 |3709 |2007 |1691 | 351 | 512 | 645 | 0.000000e+00 | 7.200000e+01 |    Inf 
17.39/17.45	o 69
17.39/17.45	c z17.4s|  2438 |  1021 | 14621 |   5.8 |  15M| 784 |   - |2007 |3728 |2007 |1699 | 402 | 587 | 646 | 0.000000e+00 | 6.900000e+01 |    Inf 
17.50/17.51	o 66
17.50/17.51	c *17.5s|  2464 |  1002 | 14796 |   5.8 |  15M| 784 |   - |2007 |3708 |2007 |1714 | 434 | 607 | 646 | 0.000000e+00 | 6.600000e+01 |    Inf 
17.69/17.71	o 38
17.69/17.71	c *17.7s|  2646 |   674 | 15233 |   5.6 |  14M| 784 |   - |2007 |3705 |2007 |1695 | 487 | 629 | 646 | 0.000000e+00 | 3.800000e+01 |    Inf 
17.69/17.72	o 30
17.69/17.72	c *17.7s|  2649 |   328 | 15298 |   5.6 |  13M| 784 |   - |2007 |3431 |2007 |1692 | 489 | 629 | 646 | 0.000000e+00 | 3.000000e+01 |    Inf 
34.20/34.29	c  34.3s| 10000 |   400 |122873 |  12.2 |  16M| 784 |  21 |2007 |7260 |2007 |1683 |1456 |  10k|1030 | 0.000000e+00 | 3.000000e+01 |    Inf 
41.89/41.93	o 15
41.89/41.93	c *41.9s| 13354 |   338 |172318 |  12.9 |  16M| 784 |   - |2007 |7184 |2007 |1683 |2091 |  14k|1212 | 0.000000e+00 | 1.500000e+01 |    Inf 
57.09/57.15	c  57.1s| 20000 |   401 |280326 |  14.0 |  18M| 784 |  26 |2007 |9751 |2007 |1683 |3281 |  23k|1480 | 0.000000e+00 | 1.500000e+01 |    Inf 
78.99/79.05	c  79.0s| 30000 |   508 |437901 |  14.6 |  19M| 784 |   - |2007 |  11k|2007 |1697 |4956 |  36k|1566 | 0.000000e+00 | 1.500000e+01 |    Inf 
100.59/100.66	c   101s| 40000 |   568 |585854 |  14.6 |  21M| 784 |  16 |2007 |  13k|2007 |1683 |6124 |  50k|1753 | 0.000000e+00 | 1.500000e+01 |    Inf 
121.79/121.86	c   122s| 50000 |   586 |714414 |  14.3 |  23M| 784 |   - |2007 |  16k|   0 |   0 |7662 |  64k|2080 | 0.000000e+00 | 1.500000e+01 |    Inf 
143.80/143.82	c   144s| 60000 |   648 |852137 |  14.2 |  25M| 784 |  29 |2007 |  19k|2007 |1692 |8843 |  77k|2370 | 0.000000e+00 | 1.500000e+01 |    Inf 
166.60/166.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
166.60/166.67	c   167s| 70000 |   690 |994176 |  14.2 |  26M| 784 |   - |2007 |  20k|   0 |   0 |  10k|  91k|2656 | 0.000000e+00 | 1.500000e+01 |    Inf 
189.80/189.88	c   190s| 80000 |   720 |  1137k|  14.2 |  26M| 784 |  27 |2007 |  17k|2007 |1683 |  11k| 104k|2933 | 0.000000e+00 | 1.500000e+01 |    Inf 
212.00/212.04	c   212s| 90000 |   761 |  1278k|  14.2 |  27M| 784 |   - |2007 |  20k|   0 |   0 |  12k| 118k|3149 | 0.000000e+00 | 1.500000e+01 |    Inf 
233.60/233.65	c   234s|100000 |   816 |  1406k|  14.1 |  28M| 784 |  18 |2007 |  21k|2007 |1683 |  13k| 131k|3394 | 0.000000e+00 | 1.500000e+01 |    Inf 
256.31/256.31	c   256s|110000 |   797 |  1542k|  14.0 |  29M| 784 |  21 |2007 |  21k|2007 |1699 |  15k| 145k|3650 | 0.000000e+00 | 1.500000e+01 |    Inf 
278.70/278.75	c   279s|120000 |   788 |  1675k|  14.0 |  29M| 784 |  22 |2007 |  22k|2007 |1683 |  17k| 158k|3814 | 0.000000e+00 | 1.500000e+01 |    Inf 
301.31/301.37	c   301s|130000 |   945 |  1817k|  14.0 |  31M| 784 |  19 |2007 |  24k|2007 |1683 |  18k| 171k|4022 | 0.000000e+00 | 1.500000e+01 |    Inf 
325.09/325.16	c   325s|140000 |   974 |  1965k|  14.0 |  31M| 784 |   - |2007 |  23k|   0 |   0 |  19k| 185k|4158 | 0.000000e+00 | 1.500000e+01 |    Inf 
348.40/348.43	c   348s|150000 |   909 |  2110k|  14.1 |  30M| 784 |   - |2007 |  21k|   0 |   0 |  20k| 198k|4385 | 0.000000e+00 | 1.500000e+01 |    Inf 
370.90/370.95	c   371s|160000 |   894 |  2252k|  14.1 |  31M| 784 |  16 |2007 |  23k|2007 |1683 |  22k| 212k|4512 | 0.000000e+00 | 1.500000e+01 |    Inf 
394.00/394.00	c   394s|170000 |   836 |  2395k|  14.1 |  30M| 784 |  28 |2007 |  19k|2007 |1683 |  23k| 226k|4752 | 0.000000e+00 | 1.500000e+01 |    Inf 
416.60/416.67	c   417s|180000 |   914 |  2533k|  14.1 |  30M| 784 |   - |2007 |  19k|2007 |1683 |  24k| 239k|4907 | 0.000000e+00 | 1.500000e+01 |    Inf 
437.10/437.10	c   437s|190000 |   939 |  2643k|  13.9 |  32M| 784 |  20 |2007 |  23k|2007 |1683 |  24k| 252k|5060 | 0.000000e+00 | 1.500000e+01 |    Inf 
459.00/459.03	c   459s|200000 |   932 |  2776k|  13.9 |  32M| 784 |  25 |2007 |  22k|2007 |1683 |  25k| 266k|5189 | 0.000000e+00 | 1.500000e+01 |    Inf 
481.81/481.88	c   482s|210000 |   893 |  2916k|  13.9 |  32M| 784 |   - |2007 |  22k|   0 |   0 |  27k| 280k|5332 | 0.000000e+00 | 1.500000e+01 |    Inf 
507.11/507.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
507.11/507.11	c   507s|220000 |   923 |  3060k|  13.9 |  34M| 784 |  13 |2007 |  27k|2007 |1683 |  28k| 294k|5503 | 0.000000e+00 | 1.500000e+01 |    Inf 
532.71/532.78	c   533s|230000 |   954 |  3201k|  13.9 |  33M| 784 |   - |2007 |  22k|2007 |1683 |  29k| 307k|5692 | 0.000000e+00 | 1.500000e+01 |    Inf 
557.41/557.49	c   557s|240000 |   998 |  3355k|  14.0 |  34M| 784 |   - |2007 |  23k|2007 |1683 |  30k| 321k|5800 | 0.000000e+00 | 1.500000e+01 |    Inf 
580.61/580.66	c   581s|250000 |   956 |  3503k|  14.0 |  32M| 784 |  21 |2007 |  20k|2007 |1683 |  30k| 334k|5936 | 0.000000e+00 | 1.500000e+01 |    Inf 
603.81/603.86	c   604s|260000 |   996 |  3648k|  14.0 |  34M| 784 |   - |2007 |  24k|   0 |   0 |  31k| 348k|6060 | 0.000000e+00 | 1.500000e+01 |    Inf 
627.01/627.06	c   627s|270000 |  1050 |  3785k|  14.0 |  35M| 784 |  19 |2007 |  24k|2007 |1690 |  32k| 362k|6216 | 0.000000e+00 | 1.500000e+01 |    Inf 
651.51/651.56	c   652s|280000 |  1083 |  3932k|  14.0 |  36M| 784 |   - |2007 |  26k|   0 |   0 |  33k| 376k|6373 | 0.000000e+00 | 1.500000e+01 |    Inf 
678.01/678.05	c   678s|290000 |  1106 |  4102k|  14.1 |  38M| 784 |  22 |2007 |  29k|2007 |1683 |  34k| 389k|6473 | 0.000000e+00 | 1.500000e+01 |    Inf 
703.51/703.50	c   703s|300000 |  1100 |  4264k|  14.2 |  37M| 784 |  21 |2007 |  28k|2007 |1683 |  35k| 404k|6571 | 0.000000e+00 | 1.500000e+01 |    Inf 
727.81/727.85	c   728s|310000 |  1067 |  4411k|  14.2 |  35M| 784 |   - |2007 |  22k|2007 |1683 |  35k| 418k|6723 | 0.000000e+00 | 1.500000e+01 |    Inf 
749.41/749.44	c   749s|320000 |  1076 |  4533k|  14.2 |  36M| 784 |  16 |2007 |  24k|2007 |1683 |  36k| 431k|6840 | 0.000000e+00 | 1.500000e+01 |    Inf 
772.11/772.13	c   772s|330000 |  1080 |  4667k|  14.1 |  38M| 784 |   - |2007 |  27k|   0 |   0 |  38k| 445k|6915 | 0.000000e+00 | 1.500000e+01 |    Inf 
796.71/796.73	c   797s|340000 |  1035 |  4805k|  14.1 |  36M| 784 |  24 |2007 |  24k|2007 |1683 |  39k| 458k|7027 | 0.000000e+00 | 1.500000e+01 |    Inf 
820.31/820.39	c   820s|350000 |  1095 |  4946k|  14.1 |  38M| 784 |   - |2007 |  27k|   0 |   0 |  40k| 471k|7134 | 0.000000e+00 | 1.500000e+01 |    Inf 
843.72/843.75	c   844s|360000 |  1031 |  5077k|  14.1 |  38M| 784 |   - |2007 |  25k|   0 |   0 |  41k| 485k|7230 | 0.000000e+00 | 1.500000e+01 |    Inf 
868.92/868.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
868.92/868.98	c   869s|370000 |  1016 |  5226k|  14.1 |  39M| 784 |  23 |2007 |  28k|2007 |1683 |  42k| 498k|7350 | 0.000000e+00 | 1.500000e+01 |    Inf 
896.22/896.28	c   896s|380000 |  1016 |  5386k|  14.2 |  39M| 784 |  17 |2007 |  29k|2007 |1690 |  43k| 512k|7487 | 0.000000e+00 | 1.500000e+01 |    Inf 
921.72/921.78	c   922s|390000 |  1117 |  5527k|  14.2 |  41M| 784 |   - |2007 |  33k|   0 |   0 |  44k| 525k|7582 | 0.000000e+00 | 1.500000e+01 |    Inf 
949.32/949.31	c   949s|400000 |  1155 |  5684k|  14.2 |  42M| 784 |   - |2007 |  34k|   0 |   0 |  45k| 539k|7706 | 0.000000e+00 | 1.500000e+01 |    Inf 
977.42/977.42	c   977s|410000 |  1255 |  5845k|  14.3 |  43M| 784 |  17 |2007 |  35k|2007 |1683 |  46k| 552k|7803 | 0.000000e+00 | 1.500000e+01 |    Inf 
1004.92/1004.99	c  1005s|420000 |  1174 |  6003k|  14.3 |  43M| 784 |   - |2007 |  35k|2007 |1683 |  46k| 566k|7897 | 0.000000e+00 | 1.500000e+01 |    Inf 
1032.83/1032.89	c  1033s|430000 |  1153 |  6167k|  14.3 |  43M| 784 |   - |2007 |  35k|   0 |   0 |  47k| 580k|7982 | 0.000000e+00 | 1.500000e+01 |    Inf 
1059.62/1059.68	c  1060s|440000 |  1119 |  6310k|  14.3 |  41M| 784 |   - |2007 |  29k|   0 |   0 |  48k| 593k|8191 | 0.000000e+00 | 1.500000e+01 |    Inf 
1083.43/1083.43	c  1083s|450000 |  1269 |  6434k|  14.3 |  42M| 784 |   - |2007 |  30k|   0 |   0 |  50k| 605k|8202 | 0.000000e+00 | 1.500000e+01 |    Inf 
1108.12/1108.19	c  1108s|460000 |  1602 |  6562k|  14.3 |  45M| 784 |   - |2007 |  32k|2007 |1683 |  51k| 618k|8270 | 0.000000e+00 | 1.500000e+01 |    Inf 
1132.93/1132.99	c  1133s|470000 |  1679 |  6690k|  14.2 |  46M| 784 |   - |2007 |  33k|   0 |   0 |  53k| 631k|8363 | 0.000000e+00 | 1.500000e+01 |    Inf 
1157.02/1157.07	c  1157s|480000 |  1676 |  6806k|  14.2 |  47M| 784 |   - |2007 |  35k|   0 |   0 |  54k| 644k|8439 | 0.000000e+00 | 1.500000e+01 |    Inf 
1182.12/1182.15	c  1182s|490000 |  1892 |  6934k|  14.2 |  48M| 784 |  25 |2007 |  34k|2007 |1683 |  55k| 656k|8514 | 0.000000e+00 | 1.500000e+01 |    Inf 
1207.12/1207.13	c  1207s|500000 |  1910 |  7060k|  14.1 |  49M| 784 |  34 |2007 |  35k|2007 |1683 |  57k| 669k|8575 | 0.000000e+00 | 1.500000e+01 |    Inf 
1231.93/1231.93	c  1232s|510000 |  1878 |  7186k|  14.1 |  49M| 784 |   9 |2007 |  34k|2007 |1683 |  58k| 682k|8618 | 0.000000e+00 | 1.500000e+01 |    Inf 
1256.13/1256.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1256.13/1256.12	c  1256s|520000 |  1950 |  7309k|  14.1 |  51M| 784 |   - |2007 |  36k|2007 |1683 |  59k| 695k|8668 | 0.000000e+00 | 1.500000e+01 |    Inf 
1281.12/1281.17	c  1281s|530000 |  1932 |  7433k|  14.0 |  51M| 784 |   - |2007 |  35k|   0 |   0 |  61k| 708k|8751 | 0.000000e+00 | 1.500000e+01 |    Inf 
1306.02/1306.08	c  1306s|540000 |  1909 |  7553k|  14.0 |  52M| 784 |  23 |2007 |  36k|2007 |1683 |  62k| 721k|8839 | 0.000000e+00 | 1.500000e+01 |    Inf 
1331.92/1331.91	c  1332s|550000 |  1914 |  7685k|  14.0 |  52M| 784 |  15 |2007 |  35k|2007 |1683 |  64k| 734k|8908 | 0.000000e+00 | 1.500000e+01 |    Inf 
1358.33/1358.32	c  1358s|560000 |  1976 |  7818k|  14.0 |  53M| 784 |   - |2007 |  36k|   0 |   0 |  65k| 747k|8980 | 0.000000e+00 | 1.500000e+01 |    Inf 
1384.12/1384.18	c  1384s|570000 |  1983 |  7954k|  14.0 |  54M| 784 |   - |2007 |  38k|   0 |   0 |  67k| 761k|9028 | 0.000000e+00 | 1.500000e+01 |    Inf 
1409.33/1409.37	c  1409s|580000 |  1920 |  8077k|  13.9 |  54M| 784 |   - |2007 |  37k|2007 |1683 |  69k| 774k|9061 | 0.000000e+00 | 1.500000e+01 |    Inf 
1435.83/1435.89	c  1436s|590000 |  1903 |  8203k|  13.9 |  54M| 784 |   - |2007 |  37k|2007 |1690 |  70k| 787k|9130 | 0.000000e+00 | 1.500000e+01 |    Inf 
1461.63/1461.61	c  1462s|600000 |  1846 |  8336k|  13.9 |  54M| 784 |   - |2007 |  38k|2007 |1688 |  72k| 800k|9198 | 0.000000e+00 | 1.500000e+01 |    Inf 
1486.93/1486.91	c  1487s|610000 |  1727 |  8463k|  13.9 |  54M| 784 |  20 |2007 |  38k|2007 |1692 |  74k| 813k|9278 | 0.000000e+00 | 1.500000e+01 |    Inf 
1511.92/1511.95	c  1512s|620000 |  1734 |  8580k|  13.8 |  54M| 784 |   - |2007 |  37k|   0 |   0 |  75k| 827k|9337 | 0.000000e+00 | 1.500000e+01 |    Inf 
1538.73/1538.73	c  1539s|630000 |  1729 |  8708k|  13.8 |  54M| 784 |  26 |2007 |  37k|2007 |1683 |  76k| 840k|9397 | 0.000000e+00 | 1.500000e+01 |    Inf 
1564.73/1564.72	c  1565s|640000 |  1757 |  8837k|  13.8 |  56M| 784 |  19 |2007 |  42k|2007 |1683 |  77k| 854k|9467 | 0.000000e+00 | 1.500000e+01 |    Inf 
1591.03/1591.06	c  1591s|650000 |  1732 |  8965k|  13.8 |  53M| 784 |   - |2007 |  34k|   0 |   0 |  78k| 868k|9544 | 0.000000e+00 | 1.500000e+01 |    Inf 
1617.13/1617.15	c  1617s|660000 |  1734 |  9102k|  13.8 |  54M| 784 |  18 |2007 |  35k|2007 |1683 |  79k| 882k|9613 | 0.000000e+00 | 1.500000e+01 |    Inf 
1642.84/1642.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1642.84/1642.88	c  1643s|670000 |  1738 |  9239k|  13.8 |  53M| 784 |  23 |2007 |  31k|2007 |1700 |  80k| 895k|9662 | 0.000000e+00 | 1.500000e+01 |    Inf 
1666.23/1666.24	c  1666s|680000 |  1777 |  9378k|  13.8 |  52M| 784 |  31 |2007 |  27k|2007 |1683 |  80k| 909k|9718 | 0.000000e+00 | 1.500000e+01 |    Inf 
1689.34/1689.37	c  1689s|690000 |  1770 |  9511k|  13.8 |  51M| 784 |  18 |2007 |  24k|2007 |1683 |  81k| 922k|9801 | 0.000000e+00 | 1.500000e+01 |    Inf 
1711.64/1711.61	c  1712s|700000 |  1770 |  9633k|  13.8 |  52M| 784 |  26 |2007 |  27k|2007 |1683 |  82k| 935k|9856 | 0.000000e+00 | 1.500000e+01 |    Inf 
1736.74/1736.76	c  1737s|710000 |  1785 |  9770k|  13.8 |  52M| 784 |  23 |2007 |  25k|2007 |1683 |  84k| 948k|9894 | 0.000000e+00 | 1.500000e+01 |    Inf 
1758.63/1758.65	c  1759s|720000 |  1809 |  9891k|  13.7 |  53M| 784 |   - |2007 |  26k|   0 |   0 |  84k| 961k|9937 | 0.000000e+00 | 1.500000e+01 |    Inf 
1782.94/1782.98	c  1783s|730000 |  1817 | 10036k|  13.7 |  54M| 784 |   - |2007 |  29k|   0 |   0 |  86k| 975k|  10k| 0.000000e+00 | 1.500000e+01 |    Inf 
1790.04/1790.00	c 
1790.04/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.00	c Solving Time (sec) : 1789.98
1790.04/1790.00	c Solving Nodes      : 733198
1790.04/1790.00	c Primal Bound       : +1.50000000000000e+01 (35 solutions)
1790.04/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.00	c Gap                : infinite
1790.04/1790.01	s SATISFIABLE
1790.04/1790.01	v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 
1790.04/1790.01	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 
1790.04/1790.01	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 
1790.04/1790.01	v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.04/1790.01	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 
1790.04/1790.01	v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1790.04/1790.01	v -x104 -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1790.04/1790.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 
1790.04/1790.01	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1790.04/1790.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 
1790.04/1790.01	v x2 -x1 
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time       :    1789.98
1790.04/1790.01	c Original Problem   :
1790.04/1790.01	c   Problem name     : HOME/instance-2705680-1278574750.wbo
1790.04/1790.01	c   Variables        : 2105 (1168 binary, 0 integer, 937 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 3645 initial, 3645 maximal
1790.04/1790.01	c Presolved Problem  :
1790.04/1790.01	c   Problem name     : t_HOME/instance-2705680-1278574750.wbo
1790.04/1790.01	c   Variables        : 2007 (1119 binary, 0 integer, 888 implicit integer, 0 continuous)
1790.04/1790.01	c   Constraints      : 3424 initial, 42084 maximal
1790.04/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.01	c   trivial          :       0.00         49          0          0          0          0          0          0          0
1790.04/1790.01	c   dualfix          :       0.00         49          0          0          0          0          0          0          0
1790.04/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1790.04/1790.01	c   setppc           :       0.00          0          0          0          0          0         59          0          0
1790.04/1790.01	c   linear           :       0.05          0          0          0        937          0        113         49          0
1790.04/1790.01	c   indicator        :       0.00          0          0          0          0          0         49          0          0
1790.04/1790.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.01	c   root node        :          -       1530          -          -       1530          -          -          -          -
1790.04/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   integral         :          0          0          0     406185          0        402       3485          0          0     776830
1790.04/1790.01	c   setppc           :         62          9    3308072      14141          1      66168    2411512          0          0          0
1790.04/1790.01	c   linear           :        888          9    3242594      14484          1      89754   11570492      86334          0          0
1790.04/1790.01	c   indicator        :        888          0    3136538      14433          1        167     801134          0          0          0
1790.04/1790.01	c   logicor          :       1586+         9    1620752       2149          1      92457    5950486          0          0          0
1790.04/1790.01	c   bounddisjunction :          0+         0     463844          0          0         55       1470          0          0          0
1790.04/1790.01	c   countsols        :          0          0          0       2149          1          0          0          0          0          0
1790.04/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.01	c   integral         :      43.74       0.00       0.00      43.74       0.00
1790.04/1790.01	c   setppc           :      16.59       0.00      16.58       0.01       0.00
1790.04/1790.01	c   linear           :      63.58       0.00      63.14       0.43       0.00
1790.04/1790.01	c   indicator        :      14.18       0.01      13.86       0.31       0.00
1790.04/1790.01	c   logicor          :     237.19       0.00     237.15       0.04       0.00
1790.04/1790.01	c   bounddisjunction :       3.16       0.00       3.16       0.00       0.00
1790.04/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.04/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.01	c   vbounds          :       0.56      34034          0        302
1790.04/1790.01	c   rootredcost      :       0.50         13          0        765
1790.04/1790.01	c   pseudoobj        :      48.22    3310254       1678     911666
1790.04/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.01	c   propagation      :      10.13     250112     249754    1450189       26.6       6468       24.7          -
1790.04/1790.01	c   infeasible LP    :      23.22     135268     135268    1015566       45.1       1174       16.3          0
1790.04/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.01	c   applied globally :          -          -          -     980012       28.9          -          -          -
1790.04/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.01	c   cut pool         :       0.00          8          -          -        156          -    (maximal pool size: 788)
1790.04/1790.01	c   redcost          :      15.72     406726          0       7688          0          0
1790.04/1790.01	c   impliedbounds    :       0.00          9          0          0          0          0
1790.04/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.01	c   gomory           :       0.16          9          0          0       2102          0
1790.04/1790.01	c   strongcg         :       0.15          9          0          0       2499          0
1790.04/1790.01	c   cmir             :       0.03          9          0          0         10          0
1790.04/1790.01	c   flowcover        :       0.07          9          0          0         16          0
1790.04/1790.01	c   clique           :       0.00          9          0          0          0          0
1790.04/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.01	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.01	c   rapidlearning    :       0.05          1          0          0          0          0
1790.04/1790.01	c Pricers            :       Time      Calls       Vars
1790.04/1790.01	c   problem variables:       0.00          0          0
1790.04/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.01	c   relpscost        :      43.44     391699        402       3485          0          0     776830
1790.04/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   inference        :       0.21       2139          0          0          0          0       4306
1790.04/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.01	c   LP solutions     :       0.00          -         11
1790.04/1790.01	c   pseudo solutions :       0.00          -          0
1790.04/1790.01	c   intshifting      :       0.01          0          0
1790.04/1790.01	c   oneopt           :       0.26         13          0
1790.04/1790.01	c   feaspump         :       0.02          1          0
1790.04/1790.01	c   crossover        :       0.36          8          0
1790.04/1790.01	c   rootsoldiving    :       0.26         32          0
1790.04/1790.01	c   coefdiving       :       0.32         64          0
1790.04/1790.01	c   pscostdiving     :       0.23         64          0
1790.04/1790.01	c   fracdiving       :       0.29         64          0
1790.04/1790.01	c   veclendiving     :       0.23         64          0
1790.04/1790.01	c   guideddiving     :       0.26         64          0
1790.04/1790.01	c   linesearchdiving :       0.22         64          0
1790.04/1790.01	c   objpscostdiving  :       0.23         33          0
1790.04/1790.01	c   trivial          :       0.00          2          0
1790.04/1790.01	c   simplerounding   :       0.49     391712          0
1790.04/1790.01	c   zirounding       :       0.20       1000          1
1790.04/1790.01	c   rounding         :       0.79       8818          0
1790.04/1790.01	c   shifting         :       0.77       2743          0
1790.04/1790.01	c   twoopt           :       0.00          0          0
1790.04/1790.01	c   fixandinfer      :       0.00          0          0
1790.04/1790.01	c   intdiving        :       0.00          0          0
1790.04/1790.01	c   actconsdiving    :       0.00          0          0
1790.04/1790.01	c   octane           :       0.00          0          0
1790.04/1790.01	c   rens             :       0.02          1          0
1790.04/1790.01	c   rins             :       0.00          0          0
1790.04/1790.01	c   localbranching   :       0.00          0          0
1790.04/1790.01	c   mutation         :       0.00          0          0
1790.04/1790.01	c   dins             :       0.00          0          0
1790.04/1790.01	c   undercover       :       0.00          0          0
1790.04/1790.01	c   nlp              :       0.11          0          0
1790.04/1790.01	c   trysol           :       0.18         40         23
1790.04/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.01	c   dual LP          :     959.37     537416   10066324      18.73   10492.62
1790.04/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.01	c   diving/probing LP:       1.34        891       8742       9.81    6514.61
1790.04/1790.01	c   strong branching :      39.68      10013     387816      38.73    9774.60
1790.04/1790.01	c     (at root node) :          -         16       5392     337.00          -
1790.04/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.01	c B&B Tree           :
1790.04/1790.01	c   number of runs   :          1
1790.04/1790.01	c   nodes            :     733198
1790.04/1790.01	c   nodes (total)    :     733198
1790.04/1790.01	c   nodes left       :       1852
1790.04/1790.01	c   max depth        :        784
1790.04/1790.01	c   max depth (total):        784
1790.04/1790.01	c   backtracks       :      97056 (13.2%)
1790.04/1790.01	c   delayed cutoffs  :      43928
1790.04/1790.01	c   repropagations   :    1251116 (3888864 domain reductions, 42586 cutoffs)
1790.04/1790.01	c   avg switch length:       5.02
1790.04/1790.01	c   switching time   :     202.17
1790.04/1790.01	c Solution           :
1790.04/1790.01	c   Solutions found  :         35 (13 improvements)
1790.04/1790.01	c   First Solution   : +4.45360000000000e+04   (in run 1, after 91 nodes, 14.11 seconds, depth 52, found by <trysol>)
1790.04/1790.01	c   Primal Bound     : +1.50000000000000e+01   (in run 1, after 13354 nodes, 41.91 seconds, depth 19, found by <relaxation>)
1790.04/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.01	c   Gap              :   infinite
1790.04/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.01	c   Root Iterations  :        478
1790.04/1790.08	c Time complete: 1790.12.

Verifier Data 

OK	15

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705680-1278574750/watcher-2705680-1278574750 -o /tmp/evaluation-result-2705680-1278574750/solver-2705680-1278574750 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705680-1278574750.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 1.69 4/178 21873
/proc/meminfo: memFree=29980400/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=12548 CPUtime=0
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 1955 0 0 0 0 0 0 0 24 0 1 0 25688459 12849152 1874 4089446400 4194304 10345943 140737355938272 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21873/statm: 3137 1892 429 1502 0 1630 0

[startup+0.0223399 s]
/proc/loadavg: 2.00 2.00 1.69 4/178 21873
/proc/meminfo: memFree=29980400/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=16128 CPUtime=0.01
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 2897 0 0 0 1 0 0 0 24 0 1 0 25688459 16515072 2816 4089446400 4194304 10345943 140737355938272 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21873/statm: 4032 2816 430 1502 0 2525 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16128

[startup+0.100322 s]
/proc/loadavg: 2.00 2.00 1.69 4/178 21873
/proc/meminfo: memFree=29980400/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=27492 CPUtime=0.09
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 5952 0 0 0 9 0 0 0 24 0 1 0 25688459 28151808 5517 4089446400 4194304 10345943 140737355938272 18446744073709551615 4652606 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 6873 5517 562 1502 0 5366 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27492

[startup+0.300287 s]
/proc/loadavg: 2.00 2.00 1.69 4/178 21873
/proc/meminfo: memFree=29980400/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=36484 CPUtime=0.29
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 11952 0 0 0 27 2 0 0 25 0 1 0 25688459 37359616 7685 4089446400 4194304 10345943 140737355938272 18446744073709551615 8930756 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 9121 7685 749 1502 0 7614 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36484

[startup+0.700215 s]
/proc/loadavg: 2.00 2.00 1.69 4/178 21873
/proc/meminfo: memFree=29980400/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=47040 CPUtime=0.69
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 16439 0 0 0 67 2 0 0 25 0 1 0 25688459 48168960 9659 4089446400 4194304 10345943 140737355938272 18446744073709551615 9366586 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 10394 8956 771 1502 0 8887 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47040

[startup+1.50108 s]
/proc/loadavg: 2.00 2.00 1.69 3/179 21874
/proc/meminfo: memFree=29945896/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=45060 CPUtime=1.49
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 17541 0 0 0 146 3 0 0 25 0 1 0 25688459 46141440 9153 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 11265 9153 779 1502 0 9758 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45060

[startup+3.10079 s]
/proc/loadavg: 2.00 2.00 1.69 3/179 21874
/proc/meminfo: memFree=29941680/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=45008 CPUtime=3.09
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 18922 0 0 0 304 5 0 0 25 0 1 0 25688459 46088192 9162 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 11252 9162 779 1502 0 9745 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45008

[startup+6.30023 s]
/proc/loadavg: 2.08 2.02 1.70 3/179 21874
/proc/meminfo: memFree=29938852/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=44008 CPUtime=6.29
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 22481 0 0 0 622 7 0 0 25 0 1 0 25688459 45064192 9182 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 11002 9182 779 1502 0 9495 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44008

[startup+12.7011 s]
/proc/loadavg: 2.08 2.02 1.70 3/179 21874
/proc/meminfo: memFree=29930260/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=43928 CPUtime=12.69
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 28160 0 0 0 1258 11 0 0 25 0 1 0 25688459 44982272 9105 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 10982 9105 782 1502 0 9475 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43928

[startup+25.5009 s]
/proc/loadavg: 2.06 2.01 1.70 3/179 21875
/proc/meminfo: memFree=29904820/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=55816 CPUtime=25.49
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 60239 0 0 0 2530 19 0 0 25 0 1 0 25688459 57155584 11829 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 13954 11829 788 1502 0 12447 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55816

[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 1.71 3/179 21876
/proc/meminfo: memFree=29871488/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=58352 CPUtime=51.09
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 89500 0 0 0 5074 35 0 0 25 0 1 0 25688459 59752448 13102 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 14588 13102 800 1502 0 13081 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58352

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.73 3/179 21877
/proc/meminfo: memFree=29857588/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=63164 CPUtime=102.3
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 112322 0 0 0 10164 66 0 0 25 0 1 0 25688459 64679936 14303 4089446400 4194304 10345943 140737355938272 18446744073709551615 4212623 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 15791 14303 800 1502 0 14284 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 63164

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.74 3/179 21878
/proc/meminfo: memFree=29846256/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=72568 CPUtime=162.3
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 133821 0 0 0 16129 101 0 0 25 0 1 0 25688459 74309632 16234 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 18142 16234 800 1502 0 16635 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 72568

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 21880
/proc/meminfo: memFree=29843108/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=73344 CPUtime=222.3
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 159102 0 0 0 22094 136 0 0 25 0 1 0 25688459 75104256 16790 4089446400 4194304 10345943 140737355938272 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 18336 16790 800 1502 0 16829 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73344

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/179 21882
/proc/meminfo: memFree=29838216/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=74544 CPUtime=282.3
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 180864 0 0 0 28066 164 0 0 25 0 1 0 25688459 76333056 17029 4089446400 4194304 10345943 140737355938272 18446744073709551615 7546837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 18636 17029 800 1502 0 17129 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 74544

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 21884
/proc/meminfo: memFree=29831960/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=76724 CPUtime=342.3
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 196273 0 0 0 34033 197 0 0 25 0 1 0 25688459 78565376 17737 4089446400 4194304 10345943 140737355938272 18446744073709551615 4218055 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 19181 17737 800 1502 0 17674 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 76724

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/179 21885
/proc/meminfo: memFree=29827448/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=80508 CPUtime=402.3
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 214938 0 0 0 40002 228 0 0 25 0 1 0 25688459 82440192 18394 4089446400 4194304 10345943 140737355938272 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 20127 18394 800 1502 0 18620 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 80508

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 21886
/proc/meminfo: memFree=29824172/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=79628 CPUtime=462.3
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 224467 0 0 0 45974 256 0 0 25 0 1 0 25688459 81539072 18454 4089446400 4194304 10345943 140737355938272 18446744073709551615 7569554 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 19907 18454 800 1502 0 18400 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 79628

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.81 3/179 21888
/proc/meminfo: memFree=29820152/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=83236 CPUtime=522.3
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 240044 0 0 0 51946 284 0 0 25 0 1 0 25688459 85233664 19171 4089446400 4194304 10345943 140737355938272 18446744073709551615 6715787 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 20809 19171 800 1502 0 19302 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 83236

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 21890
/proc/meminfo: memFree=29817504/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=84804 CPUtime=582.31
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 253393 0 0 0 57914 317 0 0 25 0 1 0 25688459 86839296 19740 4089446400 4194304 10345943 140737355938272 18446744073709551615 6358277 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 21201 19740 800 1502 0 19694 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 84804

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 21892
/proc/meminfo: memFree=29817208/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=85044 CPUtime=642.31
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 273609 0 0 0 63885 346 0 0 25 0 1 0 25688459 87085056 19716 4089446400 4194304 10345943 140737355938272 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 21261 19716 800 1502 0 19754 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 85044

[startup+702.301 s]

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

/proc/meminfo: memFree=29798200/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=98060 CPUtime=1062.32
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 326693 0 0 0 105697 535 0 0 25 0 1 0 25688459 100413440 22480 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 24515 22480 800 1502 0 23008 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 98060

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 21904
/proc/meminfo: memFree=29795056/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=100744 CPUtime=1122.32
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 330316 0 0 0 111676 556 0 0 25 0 1 0 25688459 103161856 23088 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 25186 23088 800 1502 0 23679 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 100744

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 21906
/proc/meminfo: memFree=29791168/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=103812 CPUtime=1182.32
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 334751 0 0 0 117655 577 0 0 25 0 1 0 25688459 106303488 23739 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 25953 23739 800 1502 0 24446 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 103812

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 21908
/proc/meminfo: memFree=29787516/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=103564 CPUtime=1242.32
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 338696 0 0 0 123633 599 0 0 25 0 1 0 25688459 106049536 24079 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 25891 24079 800 1502 0 24384 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 103564

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 1.90 3/179 21909
/proc/meminfo: memFree=29785736/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=105008 CPUtime=1302.33
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 347947 0 0 0 129609 624 0 0 25 0 1 0 25688459 107528192 24461 4089446400 4194304 10345943 140737355938272 18446744073709551615 6864734 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 26252 24461 800 1502 0 24745 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 105008

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/179 21919
/proc/meminfo: memFree=29782748/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=109984 CPUtime=1362.32
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 351342 0 0 0 135585 647 0 0 25 0 1 0 25688459 112623616 25216 4089446400 4194304 10345943 140737355938272 18446744073709551615 4216693 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 27496 25216 800 1502 0 25989 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 109984

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21921
/proc/meminfo: memFree=29779364/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=110408 CPUtime=1422.33
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 355183 0 0 0 141565 668 0 0 25 0 1 0 25688459 113057792 25666 4089446400 4194304 10345943 140737355938272 18446744073709551615 4806272 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 27602 25666 800 1502 0 26095 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 110408

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21923
/proc/meminfo: memFree=29776708/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=114020 CPUtime=1482.33
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 358329 0 0 0 147540 693 0 0 25 0 1 0 25688459 116756480 26292 4089446400 4194304 10345943 140737355938272 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28505 26292 800 1502 0 26998 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 114020

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21925
/proc/meminfo: memFree=29776276/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=112752 CPUtime=1542.33
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 360310 0 0 0 153522 711 0 0 25 0 1 0 25688459 115458048 26319 4089446400 4194304 10345943 140737355938272 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28188 26319 800 1502 0 26681 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 112752

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21926
/proc/meminfo: memFree=29771504/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=114196 CPUtime=1602.33
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 366227 0 0 0 159502 731 0 0 25 0 1 0 25688459 116936704 26739 4089446400 4194304 10345943 140737355938272 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28549 26739 800 1502 0 27042 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 114196

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21927
/proc/meminfo: memFree=29769096/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115908 CPUtime=1662.33
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 373054 0 0 0 165478 755 0 0 25 0 1 0 25688459 118689792 26934 4089446400 4194304 10345943 140737355938272 18446744073709551615 8160726 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28977 26934 800 1502 0 27470 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 115908

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21929
/proc/meminfo: memFree=29766932/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115412 CPUtime=1722.33
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 380689 0 0 0 171454 779 0 0 25 0 1 0 25688459 118181888 27029 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28853 27029 800 1502 0 27346 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 115412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21931
/proc/meminfo: memFree=29764760/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115832 CPUtime=1782.34
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 391810 0 0 0 177427 807 0 0 25 0 1 0 25688459 118611968 27159 4089446400 4194304 10345943 140737355938272 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28958 27159 800 1502 0 27451 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 115832

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21934
/proc/meminfo: memFree=29919048/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115652 CPUtime=1785.53
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 392026 0 0 0 177746 807 0 0 25 0 1 0 25688459 118427648 27082 4089446400 4194304 10345943 140737355938272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28913 27082 800 1502 0 27406 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 115652

[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21958
/proc/meminfo: memFree=29815588/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115652 CPUtime=1787.13
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 392073 0 0 0 177905 808 0 0 25 0 1 0 25688459 118427648 27129 4089446400 4194304 10345943 140737355938272 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28913 27129 800 1502 0 27406 0
Current children cumulated CPU time (s) 1787.13
Current children cumulated vsize (KiB) 115652

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21958
/proc/meminfo: memFree=29801848/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115504 CPUtime=1788.74
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 392140 0 0 0 178065 809 0 0 25 0 1 0 25688459 118276096 27076 4089446400 4194304 10345943 140737355938272 18446744073709551615 4212670 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28876 27076 800 1502 0 27369 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 115504

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21958
/proc/meminfo: memFree=29801848/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115652 CPUtime=1789.53
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 392154 0 0 0 178144 809 0 0 25 0 1 0 25688459 118427648 27090 4089446400 4194304 10345943 140737355938272 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28913 27090 800 1502 0 27406 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 115652

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21958
/proc/meminfo: memFree=29801352/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115652 CPUtime=1789.93
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 392159 0 0 0 178184 809 0 0 25 0 1 0 25688459 118427648 27095 4089446400 4194304 10345943 140737355938272 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28913 27095 800 1502 0 27406 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 115652

[startup+1790 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21958
/proc/meminfo: memFree=29801352/32950928 swapFree=4192956/4192956
[pid=21873] ppid=21871 vsize=115652 CPUtime=1790.04
/proc/21873/stat : 21873 (pbscip.linux.x8) R 21871 21873 21648 0 -1 4202496 392159 0 0 0 178194 810 0 0 25 0 1 0 25688459 118427648 27095 4089446400 4194304 10345943 140737355938272 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/21873/statm: 28913 27095 800 1502 0 27406 0
Current children cumulated CPU time (s) 1790.04
Current children cumulated vsize (KiB) 115652

Child status: 0
Real time (s): 1790.09
CPU time (s): 1790.13
CPU user time (s): 1782.03
CPU system time (s): 8.10777
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 117984

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

runsolver used 2.66359 second user time and 5.85911 second system time

The end

Launcher Data 

Begin job on node124 at 2010-07-08 09:39:10
IDJOB=2705680
IDBENCH=78983
IDSOLVER=1214
FILE ID=node124/2705680-1278574750
PBS_JOBID= 11240206
Free space on /tmp= 130192 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705680-1278574750/watcher-2705680-1278574750 -o /tmp/evaluation-result-2705680-1278574750/solver-2705680-1278574750 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705680-1278574750.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 2f4d2e59134ffbad904dde6d63a6f677
RANDOM SEED=646221503

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29980928 kB
Buffers:        157408 kB
Cached:        2573912 kB
SwapCached:          0 kB
Active:        1072492 kB
Inactive:      1765296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29980928 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           25948 kB
Writeback:           0 kB
AnonPages:      106156 kB
Mapped:          17580 kB
Slab:            98272 kB
PageTables:       4760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   248732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130180 MiB
End job on node124 at 2010-07-08 10:09:01