Trace number 2664241

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 NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)2 1800.68 1801.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
MD5SUM1757d8d914b8f8f6b2c05049538ae81a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark130.767
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint44
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 869
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3118
Number of bits of the biggest sum of numbers12
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: NONE] [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-2664241-1276617476.opb>
0.00/0.01	c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (2 rounds):
0.00/0.02	c  0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02	c       4 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1800
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 1620
0.00/0.02	c 
0.00/0.02	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02	c lp/solvefreq = -1
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     2 |     0 |     - | 314k|   0 |   - |  94 |   4 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.00/1.05	c   0.9s| 10000 |  9973 |     0 |   0.0 |3869k|  45 |   - |  94 |  14 |   0 |   0 |   0 |  15 |   0 | 0.000000e+00 |      --      |    Inf 
2.09/2.11	c   1.8s| 20000 | 19921 |     0 |   0.0 |7429k|  45 |   - |  94 |  28 |   0 |   0 |   0 |  44 |   0 | 0.000000e+00 |      --      |    Inf 
3.09/3.16	c   2.7s| 30000 | 29903 |     0 |   0.0 |  10M|  45 |   - |  94 |  28 |   0 |   0 |   0 |  50 |   0 | 0.000000e+00 |      --      |    Inf 
4.19/4.25	c   3.7s| 40000 | 39885 |     0 |   0.0 |  14M|  45 |   - |  94 |  28 |   0 |   0 |   0 |  55 |   0 | 0.000000e+00 |      --      |    Inf 
5.29/5.38	c   4.7s| 50000 | 49850 |     0 |   0.0 |  18M|  45 |   - |  94 |  35 |   0 |   0 |   0 |  72 |   0 | 0.000000e+00 |      --      |    Inf 
5.89/5.94	o 707
5.89/5.94	c * 5.1s| 54942 | 53540 |     0 |   0.0 |  20M|  45 |   - |  94 |  46 |   0 |   0 |   0 |  85 |   0 | 0.000000e+00 | 7.070000e+02 |    Inf 
5.99/6.02	o 134
5.99/6.02	c * 5.2s| 55317 | 28295 |     0 |   0.0 |9498k|  48 |   - |  94 |  52 |   0 |   0 |   0 |  95 |   0 | 0.000000e+00 | 1.340000e+02 |    Inf 
6.99/7.07	c   6.2s| 60000 | 30474 |     0 |   0.0 |  11M|  51 |   - |  94 |1377 |   0 |   0 |   0 |1528 |   0 | 0.000000e+00 | 1.340000e+02 |    Inf 
7.49/7.55	o 133
7.49/7.55	c * 6.6s| 62748 | 32578 |     0 |   0.0 |  12M|  51 |   - |  94 |1610 |   0 |   0 |   0 |1867 |   0 | 0.000000e+00 | 1.330000e+02 |    Inf 
8.99/9.01	o 123
8.99/9.01	c * 7.9s| 68856 | 29601 |     0 |   0.0 |  12M|  51 |   - |  94 |1975 |   0 |   0 |   0 |3051 |   0 | 0.000000e+00 | 1.230000e+02 |    Inf 
9.19/9.24	c   8.2s| 70000 | 30479 |     0 |   0.0 |  12M|  51 |   - |  94 |1869 |   0 |   0 |   0 |3201 |   0 | 0.000000e+00 | 1.230000e+02 |    Inf 
9.80/9.82	o 122
9.80/9.82	c * 8.7s| 72930 | 32473 |     0 |   0.0 |  13M|  51 |   - |  94 |1884 |   0 |   0 |   0 |3668 |   0 | 0.000000e+00 | 1.220000e+02 |    Inf 
9.99/10.00	o 119
9.99/10.00	c * 8.9s| 74000 | 33132 |     0 |   0.0 |  13M|  51 |   - |  94 |1866 |   0 |   0 |   0 |3747 |   0 | 0.000000e+00 | 1.190000e+02 |    Inf 
11.09/11.12	c   9.9s| 80000 | 37439 |     0 |   0.0 |  15M|  51 |   - |  94 |1860 |   0 |   0 |   0 |4524 |   0 | 0.000000e+00 | 1.190000e+02 |    Inf 
11.79/11.82	o 29
11.79/11.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.79/11.82	c *10.5s| 83550 | 28773 |     0 |   0.0 |  11M|  51 |   - |  94 |1884 |   0 |   0 |   0 |4994 |   0 | 0.000000e+00 | 2.900000e+01 |    Inf 
11.99/12.07	o 26
11.99/12.07	c *10.8s| 84513 | 29095 |     0 |   0.0 |  11M|  51 |   - |  94 |1982 |   0 |   0 |   0 |5218 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
12.19/12.23	o 25
12.19/12.23	c *10.9s| 85148 | 29298 |     0 |   0.0 |  11M|  51 |   - |  94 |2019 |   0 |   0 |   0 |5359 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
13.09/13.17	o 23
13.09/13.17	c *11.8s| 88653 | 30548 |     0 |   0.0 |  12M|  51 |   - |  94 |2277 |   0 |   0 |   0 |6096 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
13.49/13.55	c  12.1s| 90000 | 31018 |     0 |   0.0 |  12M|  51 |   - |  94 |2471 |   0 |   0 |   0 |6464 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
15.98/16.04	o 22
15.98/16.04	c *14.5s| 97870 | 33378 |     0 |   0.0 |  14M|  51 |   - |  94 |3122 |   0 |   0 |   0 |8607 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
16.79/16.84	c  15.2s|100000 | 33860 |     0 |   0.0 |  14M|  51 |   - |  94 |3144 |   0 |   0 |   0 |9205 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
20.99/21.04	o 7
20.99/21.04	c *19.2s|109413 | 34221 |     0 |   0.0 |  15M|  51 |   - |  94 |3968 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
21.29/21.37	c  19.5s|110000 | 34235 |     0 |   0.0 |  15M|  51 |   - |  94 |4074 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
23.28/23.35	o 4
23.28/23.35	c *21.4s|113229 | 33840 |     0 |   0.0 |  16M|  51 |   - |  94 |4411 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
27.58/27.67	c  25.6s|120000 | 33428 |     0 |   0.0 |  18M|  51 |   - |  94 |5257 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
36.58/36.68	c  34.4s|130000 | 29627 |     0 |   0.0 |  19M|  51 |   - |  94 |6403 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
42.37/42.49	c  40.0s|140000 | 26537 |     0 |   0.0 |  17M|  51 |   - |  94 |4360 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
47.87/47.92	c  45.2s|150000 | 28004 |     0 |   0.0 |  18M|  51 |   - |  94 |4366 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 | 4.000000e+00 |    Inf 
49.87/49.98	o 2
49.87/49.98	c *47.2s|155096 | 28722 |     0 |   0.0 |  19M|  51 |   - |  94 |4936 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
52.17/52.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
52.17/52.28	c  49.4s|160000 | 30570 |     0 |   0.0 |  21M|  51 |   - |  94 |5482 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
57.87/57.93	c  54.8s|170000 | 33617 |     0 |   0.0 |  25M|  51 |   - |  94 |6405 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
64.26/64.31	c  61.0s|180000 | 35863 |     0 |   0.0 |  28M|  51 |   - |  94 |7426 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
71.76/71.88	c  68.4s|190000 | 37811 |     0 |   0.0 |  31M|  51 |   - |  94 |8298 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
81.16/81.26	c  77.6s|200000 | 39104 |     0 |   0.0 |  35M|  51 |   - |  94 |9076 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
91.16/91.25	c  87.4s|210000 | 40381 |     0 |   0.0 |  37M|  51 |   - |  94 |9783 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
103.26/103.38	c  99.3s|220000 | 41209 |     0 |   0.0 |  40M|  51 |   - |  94 |  10k|   0 |   0 |   0 |  53k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
115.15/115.27	c   111s|230000 | 42124 |     0 |   0.0 |  43M|  51 |   - |  94 |  11k|   0 |   0 |   0 |  57k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
128.65/128.76	c   124s|240000 | 42904 |     0 |   0.0 |  45M|  51 |   - |  94 |  12k|   0 |   0 |   0 |  62k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
142.14/142.26	c   138s|250000 | 43032 |     0 |   0.0 |  48M|  51 |   - |  94 |  13k|   0 |   0 |   0 |  66k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
158.04/158.18	c   153s|260000 | 42687 |     0 |   0.0 |  50M|  51 |   - |  94 |  14k|   0 |   0 |   0 |  71k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
171.93/172.04	c   167s|270000 | 44058 |     0 |   0.0 |  50M|  51 |   - |  94 |9921 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
179.33/179.49	c   174s|280000 | 47310 |     0 |   0.0 |  51M|  51 |   - |  94 |7823 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
188.12/188.22	c   183s|290000 | 49206 |     0 |   0.0 |  53M|  51 |   - |  94 |8237 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
198.01/198.14	c   192s|300000 | 50514 |     0 |   0.0 |  55M|  51 |   - |  94 |8619 |   0 |   0 |   0 |  87k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
205.12/205.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
205.12/205.27	c   199s|310000 | 55024 |     0 |   0.0 |  57M|  51 |   - |  94 |9884 |   0 |   0 |   0 |  89k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
214.81/214.96	c   209s|320000 | 58553 |     0 |   0.0 |  59M|  51 |   - |  94 |  11k|   0 |   0 |   0 |  93k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
224.41/224.51	c   218s|330000 | 61568 |     0 |   0.0 |  61M|  51 |   - |  94 |  11k|   0 |   0 |   0 |  96k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
235.71/235.88	c   229s|340000 | 64007 |     0 |   0.0 |  63M|  51 |   - |  94 |  13k|   0 |   0 |   0 |  99k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
247.69/247.82	c   241s|350000 | 66394 |     0 |   0.0 |  64M|  51 |   - |  94 |  13k|   0 |   0 |   0 | 103k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
260.40/260.54	c   254s|360000 | 68413 |     0 |   0.0 |  65M|  51 |   - |  94 |  14k|   0 |   0 |   0 | 106k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
274.39/274.50	c   267s|370000 | 70163 |     0 |   0.0 |  67M|  51 |   - |  94 |  15k|   0 |   0 |   0 | 109k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
290.08/290.26	c   283s|380000 | 71833 |     0 |   0.0 |  68M|  51 |   - |  94 |  16k|   0 |   0 |   0 | 113k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
305.47/305.63	c   298s|390000 | 73508 |     0 |   0.0 |  70M|  51 |   - |  94 |  17k|   0 |   0 |   0 | 116k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
321.37/321.51	c   314s|400000 | 75395 |     0 |   0.0 |  71M|  51 |   - |  94 |  17k|   0 |   0 |   0 | 119k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
340.37/340.56	c   333s|410000 | 76301 |     0 |   0.0 |  72M|  51 |   - |  94 |  18k|   0 |   0 |   0 | 123k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
359.56/359.80	c   352s|420000 | 77647 |     0 |   0.0 |  73M|  51 |   - |  94 |  19k|   0 |   0 |   0 | 127k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
376.95/377.12	c   369s|430000 | 79326 |     0 |   0.0 |  75M|  51 |   - |  94 |  19k|   0 |   0 |   0 | 130k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
395.64/395.87	c   387s|440000 | 80686 |     0 |   0.0 |  76M|  51 |   - |  94 |  20k|   0 |   0 |   0 | 134k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
418.94/419.10	c   410s|450000 | 81312 |     0 |   0.0 |  77M|  51 |   - |  94 |  21k|   0 |   0 |   0 | 138k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
437.64/437.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
437.64/437.89	c   429s|460000 | 82421 |     0 |   0.0 |  78M|  51 |   - |  94 |  22k|   0 |   0 |   0 | 142k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
456.72/456.95	c   448s|470000 | 83614 |     0 |   0.0 |  79M|  51 |   - |  94 |  22k|   0 |   0 |   0 | 146k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
480.53/480.77	c   471s|480000 | 84302 |     0 |   0.0 |  80M|  51 |   - |  94 |  23k|   0 |   0 |   0 | 150k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
501.42/501.69	c   492s|490000 | 84699 |     0 |   0.0 |  82M|  51 |   - |  94 |  24k|   0 |   0 |   0 | 154k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
524.31/524.53	c   515s|500000 | 85057 |     0 |   0.0 |  82M|  51 |   - |  94 |  24k|   0 |   0 |   0 | 159k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
548.40/548.67	c   539s|510000 | 85053 |     0 |   0.0 |  83M|  51 |   - |  94 |  25k|   0 |   0 |   0 | 163k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
571.19/571.47	c   561s|520000 | 86883 |     0 |   0.0 |  82M|  51 |   - |  94 |  18k|   0 |   0 |   0 | 167k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
583.08/583.33	c   573s|530000 | 90964 |     0 |   0.0 |  82M|  51 |   - |  94 |  13k|   0 |   0 |   0 | 170k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
594.79/595.05	c   584s|540000 | 94136 |     0 |   0.0 |  83M|  51 |   - |  94 |  12k|   0 |   0 |   0 | 173k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
606.68/606.99	c   596s|550000 | 96784 |     0 |   0.0 |  84M|  51 |   - |  94 |  12k|   0 |   0 |   0 | 177k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
619.58/619.81	c   609s|560000 | 98930 |     0 |   0.0 |  85M|  51 |   - |  94 |  12k|   0 |   0 |   0 | 180k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
634.47/634.79	c   624s|570000 |100569 |     0 |   0.0 |  86M|  51 |   - |  94 |  13k|   0 |   0 |   0 | 185k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
651.16/651.40	c   640s|580000 |101696 |     0 |   0.0 |  87M|  51 |   - |  94 |  14k|   0 |   0 |   0 | 189k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
668.96/669.28	c   658s|590000 |102718 |     0 |   0.0 |  88M|  51 |   - |  94 |  14k|   0 |   0 |   0 | 194k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
687.85/688.18	c   676s|600000 |102998 |     0 |   0.0 |  89M|  51 |   - |  94 |  14k|   0 |   0 |   0 | 199k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
698.75/699.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
698.75/699.03	c   687s|610000 |107610 |     0 |   0.0 |  91M|  51 |   - |  94 |  15k|   0 |   0 |   0 | 202k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
711.65/711.93	c   700s|620000 |111600 |     0 |   0.0 |  93M|  51 |   - |  94 |  16k|   0 |   0 |   0 | 205k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
727.14/727.41	c   715s|630000 |115115 |     0 |   0.0 |  95M|  51 |   - |  94 |  17k|   0 |   0 |   0 | 209k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
745.24/745.53	c   733s|640000 |118142 |     0 |   0.0 |  96M|  51 |   - |  94 |  19k|   0 |   0 |   0 | 212k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
764.24/764.58	c   752s|650000 |121138 |     0 |   0.0 |  98M|  51 |   - |  94 |  20k|   0 |   0 |   0 | 216k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
787.33/787.65	c   775s|660000 |123486 |     0 |   0.0 |  99M|  51 |   - |  94 |  21k|   0 |   0 |   0 | 220k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
811.61/811.96	c   799s|670000 |125800 |     0 |   0.0 | 101M|  51 |   - |  94 |  22k|   0 |   0 |   0 | 224k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
836.31/836.64	c   823s|680000 |128187 |     0 |   0.0 | 102M|  51 |   - |  94 |  23k|   0 |   0 |   0 | 228k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
862.70/863.06	c   849s|690000 |130330 |     0 |   0.0 | 104M|  51 |   - |  94 |  24k|   0 |   0 |   0 | 231k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
890.49/890.85	c   877s|700000 |132225 |     0 |   0.0 | 105M|  51 |   - |  94 |  25k|   0 |   0 |   0 | 235k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
922.98/923.37	c   909s|710000 |133630 |     0 |   0.0 | 106M|  51 |   - |  94 |  26k|   0 |   0 |   0 | 240k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
959.07/959.46	c   945s|720000 |134952 |     0 |   0.0 | 107M|  51 |   - |  94 |  27k|   0 |   0 |   0 | 244k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
994.16/994.53	c   980s|730000 |136486 |     0 |   0.0 | 108M|  51 |   - |  94 |  29k|   0 |   0 |   0 | 248k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1030.75/1031.17	c  1016s|740000 |137690 |     0 |   0.0 | 110M|  51 |   - |  94 |  30k|   0 |   0 |   0 | 252k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1067.82/1068.24	c  1053s|750000 |139189 |     0 |   0.0 | 111M|  51 |   - |  94 |  31k|   0 |   0 |   0 | 256k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1104.82/1105.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1104.82/1105.27	c  1090s|760000 |140801 |     0 |   0.0 | 112M|  51 |   - |  94 |  31k|   0 |   0 |   0 | 260k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1153.10/1153.58	c  1138s|770000 |141139 |     0 |   0.0 | 113M|  51 |   - |  94 |  33k|   0 |   0 |   0 | 264k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1203.18/1203.61	c  1188s|780000 |141597 |     0 |   0.0 | 113M|  51 |   - |  94 |  34k|   0 |   0 |   0 | 269k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1251.77/1252.29	c  1236s|790000 |142115 |     0 |   0.0 | 114M|  51 |   - |  94 |  35k|   0 |   0 |   0 | 273k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1292.95/1293.45	c  1277s|800000 |143211 |     0 |   0.0 | 115M|  51 |   - |  94 |  36k|   0 |   0 |   0 | 277k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1337.54/1338.03	c  1322s|810000 |144314 |     0 |   0.0 | 116M|  51 |   - |  94 |  37k|   0 |   0 |   0 | 281k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1382.73/1383.29	c  1367s|820000 |145364 |     0 |   0.0 | 117M|  51 |   - |  94 |  37k|   0 |   0 |   0 | 285k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1446.90/1447.48	c  1431s|830000 |145237 |     0 |   0.0 | 118M|  51 |   - |  94 |  39k|   0 |   0 |   0 | 290k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1496.79/1497.32	c  1480s|840000 |145433 |     0 |   0.0 | 119M|  51 |   - |  94 |  40k|   0 |   0 |   0 | 295k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1547.77/1548.39	c  1531s|850000 |145675 |     0 |   0.0 | 120M|  51 |   - |  94 |  41k|   0 |   0 |   0 | 299k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1596.96/1597.54	c  1580s|860000 |146049 |     0 |   0.0 | 121M|  51 |   - |  94 |  42k|   0 |   0 |   0 | 304k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1637.04/1637.64	c  1620s|870000 |146937 |     0 |   0.0 | 122M|  51 |   - |  94 |  43k|   0 |   0 |   0 | 308k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1701.13/1701.72	c  1684s|880000 |146548 |     0 |   0.0 | 122M|  51 |   - |  94 |  44k|   0 |   0 |   0 | 313k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1746.11/1746.71	c  1728s|890000 |146542 |     0 |   0.0 | 123M|  51 |   - |  94 |  45k|   0 |   0 |   0 | 318k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1794.89/1795.51	c  1777s|900000 |146688 |     0 |   0.0 | 124M|  51 |   - |  94 |  46k|   0 |   0 |   0 | 322k|   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.01/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.62	c 
1800.01/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.62	c Solving Time (sec) : 1782.13
1800.01/1800.62	c Solving Nodes      : 900990
1800.01/1800.62	c Primal Bound       : +2.00000000000000e+00 (14 solutions)
1800.01/1800.62	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.62	c Gap                : infinite
1800.01/1800.62	s SATISFIABLE
1800.01/1800.62	v -x94 x75 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 x85 x84 x83 x82 -x81 x80 -x79 x78 -x77 x76 -x74 x73 -x72 x71 x70 x69 x68 x67 x66 
1800.01/1800.62	v x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 
1800.01/1800.62	v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
1800.01/1800.62	v -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.01/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.62	c Solving Time       :    1782.13
1800.01/1800.62	c Original Problem   :
1800.01/1800.62	c   Problem name     : HOME/instance-2664241-1276617476.opb
1800.01/1800.62	c   Variables        : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.62	c   Constraints      : 8 initial, 8 maximal
1800.01/1800.62	c Presolved Problem  :
1800.01/1800.62	c   Problem name     : t_HOME/instance-2664241-1276617476.opb
1800.01/1800.62	c   Variables        : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.62	c   Constraints      : 4 initial, 47167 maximal
1800.01/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.62	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.62	c   linear           :       0.00          0          0          0          0          0          4          0          0
1800.01/1800.62	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.62	c   root node        :          -          1          -          -          1          -          -          -          -
1800.01/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.62	c   linear           :          4          0    1769839          0     604608     392075    2775732          0          0          0
1800.01/1800.62	c   logicor          :          0+         0     624924          0          0        120     242439          0          0          0
1800.01/1800.62	c   countsols        :          0          0          0          0     604613          0          0          0          0          0
1800.01/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.62	c   linear           :     108.49       0.00     107.83       0.00       0.66
1800.01/1800.62	c   logicor          :     872.92       0.00     872.92       0.00       0.00
1800.01/1800.62	c   countsols        :       0.35       0.00       0.00       0.00       0.35
1800.01/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.62	c   vbounds          :       0.86          2          0          0
1800.01/1800.62	c   rootredcost      :       0.97          0          0          0
1800.01/1800.62	c   pseudoobj        :      11.18    1775304       5648     840752
1800.01/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.62	c   propagation      :      37.95     397843     321850    1390496       32.8         33       31.8          -
1800.01/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.62	c   pseudo solution  :       0.00          1          1          1        1.0          0        0.0          -
1800.01/1800.62	c   applied globally :          -          -          -     313216       21.3          -          -          -
1800.01/1800.62	c   applied locally  :          -          -          -      10005       40.5          -          -          -
1800.01/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.62	c Pricers            :       Time      Calls       Vars
1800.01/1800.62	c   problem variables:       0.00          0          0
1800.01/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.62	c   inference        :       6.56     604599          0          0          0          0    1209198
1800.01/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.62	c   LP solutions     :       0.00          -          0
1800.01/1800.62	c   pseudo solutions :       0.10          -         14
1800.01/1800.62	c   oneopt           :       0.64          0          0
1800.01/1800.62	c   trivial          :       0.00          2          0
1800.01/1800.62	c   simplerounding   :       0.00          0          0
1800.01/1800.62	c   zirounding       :       0.00          0          0
1800.01/1800.62	c   rounding         :       0.00          0          0
1800.01/1800.62	c   shifting         :       0.00          0          0
1800.01/1800.62	c   intshifting      :       0.00          0          0
1800.01/1800.62	c   twoopt           :       0.00          0          0
1800.01/1800.62	c   fixandinfer      :       0.00          0          0
1800.01/1800.62	c   feaspump         :       0.00          0          0
1800.01/1800.62	c   coefdiving       :       0.00          0          0
1800.01/1800.62	c   pscostdiving     :       0.00          0          0
1800.01/1800.62	c   fracdiving       :       0.00          0          0
1800.01/1800.62	c   veclendiving     :       0.00          0          0
1800.01/1800.62	c   intdiving        :       0.00          0          0
1800.01/1800.62	c   actconsdiving    :       0.00          0          0
1800.01/1800.62	c   objpscostdiving  :       0.00          0          0
1800.01/1800.62	c   rootsoldiving    :       0.00          0          0
1800.01/1800.62	c   linesearchdiving :       0.00          0          0
1800.01/1800.62	c   guideddiving     :       0.00          0          0
1800.01/1800.62	c   octane           :       0.00          0          0
1800.01/1800.62	c   rens             :       0.00          0          0
1800.01/1800.62	c   rins             :       0.00          0          0
1800.01/1800.62	c   localbranching   :       0.00          0          0
1800.01/1800.62	c   mutation         :       0.00          0          0
1800.01/1800.62	c   crossover        :       0.00          0          0
1800.01/1800.62	c   dins             :       0.00          0          0
1800.01/1800.62	c   undercover       :       0.00          0          0
1800.01/1800.62	c   nlp              :       0.51          0          0
1800.01/1800.62	c   trysol           :       0.60          0          0
1800.01/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.62	c B&B Tree           :
1800.01/1800.62	c   number of runs   :          1
1800.01/1800.62	c   nodes            :     900990
1800.01/1800.62	c   nodes (total)    :     900990
1800.01/1800.62	c   nodes left       :     146720
1800.01/1800.62	c   max depth        :         51
1800.01/1800.62	c   max depth (total):         51
1800.01/1800.62	c   backtracks       :     131944 (14.6%)
1800.01/1800.62	c   delayed cutoffs  :     112374
1800.01/1800.62	c   repropagations   :     381135 (959958 domain reductions, 101467 cutoffs)
1800.01/1800.62	c   avg switch length:       6.91
1800.01/1800.62	c   switching time   :     523.73
1800.01/1800.62	c Solution           :
1800.01/1800.62	c   Solutions found  :         14 (14 improvements)
1800.01/1800.62	c   First Solution   : +7.07000000000000e+02   (in run 1, after 54942 nodes, 5.12 seconds, depth 29, found by <relaxation>)
1800.01/1800.62	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 155096 nodes, 47.15 seconds, depth 22, found by <relaxation>)
1800.01/1800.62	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.62	c   Gap              :   infinite
1800.01/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.62	c   Root Iterations  :          0
1800.59/1801.28	c Time complete: 1800.67.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664241-1276617476/watcher-2664241-1276617476 -o /tmp/evaluation-result-2664241-1276617476/solver-2664241-1276617476 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664241-1276617476.opb -t 1800 -m 1800 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.09 1.00 1.00 3/105 13141
/proc/meminfo: memFree=1794756/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=6584 CPUtime=0
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 3038989 6742016 891 1992294400 4194304 7136930 140734545393440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13141/statm: 1646 900 254 719 0 925 0

[startup+0.071664 s]
/proc/loadavg: 1.09 1.00 1.00 3/105 13141
/proc/meminfo: memFree=1794756/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=11140 CPUtime=0.06
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 2743 0 0 0 5 1 0 0 20 0 1 0 3038989 11407360 2056 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 2785 2056 383 719 0 2064 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11140

[startup+0.101668 s]
/proc/loadavg: 1.09 1.00 1.00 3/105 13141
/proc/meminfo: memFree=1794756/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=11272 CPUtime=0.09
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 2785 0 0 0 8 1 0 0 20 0 1 0 3038989 11542528 2098 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 2818 2098 383 719 0 2097 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11272

[startup+0.301693 s]
/proc/loadavg: 1.09 1.00 1.00 3/105 13141
/proc/meminfo: memFree=1794756/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=12112 CPUtime=0.29
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 3008 0 0 0 25 4 0 0 20 0 1 0 3038989 12402688 2321 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 3028 2321 383 719 0 2307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12112

[startup+0.701742 s]
/proc/loadavg: 1.09 1.00 1.00 3/105 13141
/proc/meminfo: memFree=1794756/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=13964 CPUtime=0.69
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 3483 0 0 0 61 8 0 0 21 0 1 0 3038989 14299136 2796 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 3491 2796 383 719 0 2770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13964

[startup+1.50184 s]
/proc/loadavg: 1.09 1.00 1.00 2/106 13142
/proc/meminfo: memFree=1783464/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=17496 CPUtime=1.49
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 4368 0 0 0 130 19 0 0 22 0 1 0 3038989 17915904 3681 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 4374 3681 383 719 0 3653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17496

[startup+3.10104 s]
/proc/loadavg: 1.09 1.00 1.00 2/106 13142
/proc/meminfo: memFree=1779372/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=23644 CPUtime=3.09
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 5956 0 0 0 268 41 0 0 25 0 1 0 3038989 24211456 5269 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 5911 5269 383 719 0 5190 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23644

[startup+6.30144 s]
/proc/loadavg: 1.08 1.00 1.00 2/106 13142
/proc/meminfo: memFree=1765112/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=35824 CPUtime=6.29
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 9121 0 0 0 544 85 0 0 25 0 1 0 3038989 36683776 8434 1992294400 4194304 7136930 140734545393440 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 8956 8434 383 719 0 8235 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35824

[startup+12.7012 s]
/proc/loadavg: 1.07 1.00 1.00 2/106 13142
/proc/meminfo: memFree=1759408/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=38612 CPUtime=12.69
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 9803 0 0 0 1134 135 0 0 25 0 1 0 3038989 39538688 9116 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 9653 9116 386 719 0 8932 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38612

[startup+25.5018 s]
/proc/loadavg: 1.06 1.00 1.00 2/106 13142
/proc/meminfo: memFree=1756184/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=41764 CPUtime=25.48
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 10545 0 0 0 2352 196 0 0 25 0 1 0 3038989 42766336 9858 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 10441 9858 386 719 0 9720 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41764

[startup+51.101 s]
/proc/loadavg: 1.04 1.00 1.00 2/106 13142
/proc/meminfo: memFree=1750728/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=47920 CPUtime=51.07
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 12028 0 0 0 4823 284 0 0 25 0 1 0 3038989 49070080 11341 1992294400 4194304 7136930 140734545393440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 11980 11341 386 719 0 11259 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47920

[startup+102.308 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 13144
/proc/meminfo: memFree=1730392/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=67976 CPUtime=102.26
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 16934 0 0 0 9824 402 0 0 25 0 1 0 3038989 69607424 16247 1992294400 4194304 7136930 140734545393440 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 16994 16247 386 719 0 16273 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 67976

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13146
/proc/meminfo: memFree=1717248/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=81208 CPUtime=162.23
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 20213 0 0 0 15731 492 0 0 25 0 1 0 3038989 83156992 19526 1992294400 4194304 7136930 140734545393440 18446744073709551615 5004477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 20302 19526 386 719 0 19581 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 81208

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13157
/proc/meminfo: memFree=1705220/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=93000 CPUtime=222.2
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 23048 0 0 0 21603 617 0 0 25 0 1 0 3038989 95232000 22361 1992294400 4194304 7136930 140734545393440 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 23250 22361 386 719 0 22529 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 93000

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13159
/proc/meminfo: memFree=1698276/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=102276 CPUtime=282.19
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 24771 0 0 0 27511 708 0 0 25 0 1 0 3038989 104730624 24084 1992294400 4194304 7136930 140734545393440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 25569 24084 386 719 0 24848 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 102276

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13159
/proc/meminfo: memFree=1691084/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=109520 CPUtime=342.16
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 26634 0 0 0 33439 777 0 0 25 0 1 0 3038989 112148480 25947 1992294400 4194304 7136930 140734545393440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 27380 25947 386 719 0 26659 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 109520

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13161
/proc/meminfo: memFree=1687488/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=114616 CPUtime=402.15
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 27750 0 0 0 39373 842 0 0 25 0 1 0 3038989 117366784 27063 1992294400 4194304 7136930 140734545393440 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 28654 27063 386 719 0 27933 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 114616

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13163
/proc/meminfo: memFree=1682404/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=118972 CPUtime=462.12
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 28884 0 0 0 45311 901 0 0 25 0 1 0 3038989 121827328 28197 1992294400 4194304 7136930 140734545393440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 29743 28197 386 719 0 29022 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 118972

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13165
/proc/meminfo: memFree=1679924/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=121228 CPUtime=522.1
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 29419 0 0 0 51253 957 0 0 25 0 1 0 3038989 124137472 28732 1992294400 4194304 7136930 140734545393440 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 30307 28732 386 719 0 29586 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 121228

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13167
/proc/meminfo: memFree=1676080/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=125716 CPUtime=582.08
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 30492 0 0 0 57189 1019 0 0 25 0 1 0 3038989 128733184 29805 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 31429 29805 386 719 0 30708 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 125716

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13167
/proc/meminfo: memFree=1672236/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=128824 CPUtime=642.07
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 31309 0 0 0 63100 1107 0 0 25 0 1 0 3038989 131915776 30622 1992294400 4194304 7136930 140734545393440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 32206 30622 386 719 0 31485 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 128824

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 13175
/proc/meminfo: memFree=1654256/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=145456 CPUtime=941.98
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 35711 0 0 0 92805 1393 0 0 25 0 1 0 3038989 148946944 35024 1992294400 4194304 7136930 140734545393440 18446744073709551615 4221557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 36364 35024 386 719 0 35643 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 145456

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13177
/proc/meminfo: memFree=1651280/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=148512 CPUtime=1001.96
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 36455 0 0 0 98769 1427 0 0 25 0 1 0 3038989 152076288 35768 1992294400 4194304 7136930 140734545393440 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 37128 35768 386 719 0 36407 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 148512

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13179
/proc/meminfo: memFree=1648800/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=152356 CPUtime=1061.94
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 37132 0 0 0 104730 1464 0 0 25 0 1 0 3038989 156012544 36445 1992294400 4194304 7136930 140734545393440 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 38089 36445 386 719 0 37368 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 152356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13181
/proc/meminfo: memFree=1646816/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=154156 CPUtime=1121.92
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 37535 0 0 0 110697 1495 0 0 25 0 1 0 3038989 157855744 36848 1992294400 4194304 7136930 140734545393440 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 38539 36848 386 719 0 37818 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 154156

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13183
/proc/meminfo: memFree=1644956/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=155692 CPUtime=1181.9
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 37983 0 0 0 116671 1519 0 0 25 0 1 0 3038989 159428608 37296 1992294400 4194304 7136930 140734545393440 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 38923 37296 386 719 0 38202 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 155692

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13183
/proc/meminfo: memFree=1641980/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=159324 CPUtime=1241.87
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 38641 0 0 0 122642 1545 0 0 25 0 1 0 3038989 163147776 37954 1992294400 4194304 7136930 140734545393440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 39831 37954 386 719 0 39110 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 159324

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13185
/proc/meminfo: memFree=1640492/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=160292 CPUtime=1301.87
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 38985 0 0 0 128610 1577 0 0 25 0 1 0 3038989 164139008 38298 1992294400 4194304 7136930 140734545393440 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 40073 38298 386 719 0 39352 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 160292

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13187
/proc/meminfo: memFree=1639376/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=161328 CPUtime=1361.84
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 39254 0 0 0 134579 1605 0 0 25 0 1 0 3038989 165199872 38567 1992294400 4194304 7136930 140734545393440 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 40332 38567 386 719 0 39611 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 161328

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13189
/proc/meminfo: memFree=1638012/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=163540 CPUtime=1421.83
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 39621 0 0 0 140556 1627 0 0 25 0 1 0 3038989 167464960 38934 1992294400 4194304 7136930 140734545393440 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 40885 38934 386 719 0 40164 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 163540

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13191
/proc/meminfo: memFree=1636648/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=165620 CPUtime=1481.79
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 39962 0 0 0 146528 1651 0 0 25 0 1 0 3038989 169594880 39275 1992294400 4194304 7136930 140734545393440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 41405 39275 386 719 0 40684 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 165620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13191
/proc/meminfo: memFree=1636276/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=165800 CPUtime=1541.77
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 40007 0 0 0 152502 1675 0 0 25 0 1 0 3038989 169779200 39320 1992294400 4194304 7136930 140734545393440 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 41450 39320 386 719 0 40729 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 165800

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13193
/proc/meminfo: memFree=1635656/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=166320 CPUtime=1601.75
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 40148 0 0 0 158473 1702 0 0 25 0 1 0 3038989 170311680 39461 1992294400 4194304 7136930 140734545393440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 41580 39461 386 719 0 40859 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 166320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13195
/proc/meminfo: memFree=1632928/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=168960 CPUtime=1661.73
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 40836 0 0 0 164442 1731 0 0 25 0 1 0 3038989 173015040 40149 1992294400 4194304 7136930 140734545393440 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 42240 40149 386 719 0 41519 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 168960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13197
/proc/meminfo: memFree=1631192/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=171156 CPUtime=1721.71
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 41261 0 0 0 170417 1754 0 0 25 0 1 0 3038989 175263744 40574 1992294400 4194304 7136930 140734545393440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 42789 40574 386 719 0 42068 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 171156

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13199
/proc/meminfo: memFree=1630820/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=171360 CPUtime=1781.69
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 41300 0 0 0 176390 1779 0 0 25 0 1 0 3038989 175472640 40613 1992294400 4194304 7136930 140734545393440 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 42840 40613 386 719 0 42119 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 171360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13199
/proc/meminfo: memFree=1630448/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=171748 CPUtime=1800.01
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 41412 0 0 0 178213 1788 0 0 25 0 1 0 3038989 175869952 40725 1992294400 4194304 7136930 140734545393440 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13141/statm: 42937 40725 386 719 0 42216 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 171748

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13199
/proc/meminfo: memFree=1630448/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=169828 CPUtime=1800.39
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 41436 0 0 0 178251 1788 0 0 25 0 1 0 3038989 173903872 40233 1992294400 4194304 7136930 140734545393440 18446744073709551615 6165639 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13141/statm: 42457 40233 392 719 0 41736 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 169828

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13199
/proc/meminfo: memFree=1630448/2059040 swapFree=4141204/4192956
[pid=13141] ppid=13139 vsize=149508 CPUtime=1800.59
/proc/13141/stat : 13141 (pbscip.linux.x8) R 13139 13141 13072 0 -1 4202496 41436 0 0 0 178271 1788 0 0 25 0 1 0 3038989 153096192 35153 1992294400 4194304 7136930 140734545393440 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13141/statm: 37377 35153 392 719 0 36656 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 149508

Child status: 0
Real time (s): 1801.29
CPU time (s): 1800.68
CPU user time (s): 1782.79
CPU system time (s): 17.8983
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 171892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.79
system time used= 17.8983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41443
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= 4
involuntary context switches= 5135

runsolver used 3.06553 second user time and 8.42372 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-15 17:57:56
IDJOB=2664241
IDBENCH=2928
IDSOLVER=1167
FILE ID=node054/2664241-1276617476
PBS_JOBID= 11172332
Free space on /tmp= 62480 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664241-1276617476/watcher-2664241-1276617476 -o /tmp/evaluation-result-2664241-1276617476/solver-2664241-1276617476 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664241-1276617476.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=1343610627

node054.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.217
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1795160 kB
Buffers:         43424 kB
Cached:         140956 kB
SwapCached:       6404 kB
Active:          81428 kB
Inactive:       116948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1795160 kB
SwapTotal:     4192956 kB
SwapFree:      4141204 kB
Dirty:            3276 kB
Writeback:           0 kB
AnonPages:       11548 kB
Mapped:          13204 kB
Slab:            43832 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181236 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node054 at 2010-06-15 18:27:59