Trace number 2664616

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 solver? (TO) 1802.16 1802.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
MD5SUM7070b0ccf5287a23c61644383564c46b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark0.233963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of variables672
Total number of constraints2028
Number of constraints which are clauses2004
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 672
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 672
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 672
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

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-2664616-1276406000.opb>
0.03/0.04	c original problem has 672 variables (672 bin, 0 int, 0 impl, 0 cont) and 2028 constraints
0.03/0.04	c problem read
0.03/0.04	c presolving settings loaded
0.03/0.04	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.03/0.06	c presolving:
0.10/0.11	c (round 1) 112 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1804 upgd conss, 892 impls, 0 clqs
0.10/0.12	c (round 2) 112 del vars, 224 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1804 upgd conss, 892 impls, 0 clqs
0.10/0.15	c    (0.1s) probing: 101/560 (18.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.15	c presolving (3 rounds):
0.10/0.15	c  112 deleted vars, 224 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.15	c  892 implications, 0 cliques
0.10/0.15	c presolved problem has 560 variables (560 bin, 0 int, 0 impl, 0 cont) and 1804 constraints
0.10/0.15	c      24 constraints of type <knapsack>
0.10/0.15	c    1780 constraints of type <logicor>
0.10/0.15	c transformed objective value is always integral (scale: 1)
0.10/0.15	c Presolving Time: 0.07
0.10/0.15	c - non default parameters ----------------------------------------------------------------------
0.10/0.15	c # SCIP version 1.2.1.2
0.10/0.15	c 
0.10/0.15	c # frequency for displaying node information lines
0.10/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.15	c display/freq = 10000
0.10/0.15	c 
0.10/0.15	c # maximal time in seconds to run
0.10/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15	c limits/time = 1799.97
0.10/0.15	c 
0.10/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15	c limits/memory = 1620
0.10/0.15	c 
0.10/0.15	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.15	c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15	c lp/solvefreq = -1
0.10/0.15	c 
0.10/0.15	c # should presolving try to simplify inequalities
0.10/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15	c constraints/linear/simplifyinequalities = TRUE
0.10/0.15	c 
0.10/0.15	c # should presolving try to simplify knapsacks
0.10/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.15	c 
0.10/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15	c separating/rapidlearning/freq = 0
0.10/0.15	c 
0.10/0.15	c -----------------------------------------------------------------------------------------------
0.10/0.15	c start solving
0.10/0.15	c 
0.10/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.10/0.15	c   0.1s|     1 |     2 |     0 |     - |3048k|   0 |   - | 560 |1804 |   0 |   0 |   0 |   0 |   0 | 1.400000e+01 |      --      |    Inf 
6.19/6.26	c   5.9s| 10000 |  7357 |     0 |   0.0 |9372k|  63 |   - | 560 |2881 |   0 |   0 |   0 |3056 |   0 | 1.700000e+01 |      --      |    Inf 
13.19/13.24	c  12.6s| 20000 | 14371 |     0 |   0.0 |  16M|  71 |   - | 560 |3086 |   0 |   0 |   0 |6531 |   0 | 1.800000e+01 |      --      |    Inf 
20.09/20.13	c  19.2s| 30000 | 21842 |     0 |   0.0 |  23M|  72 |   - | 560 |3140 |   0 |   0 |   0 |9718 |   0 | 1.800000e+01 |      --      |    Inf 
27.68/27.71	c  26.5s| 40000 | 28501 |     0 |   0.0 |  29M|  72 |   - | 560 |3362 |   0 |   0 |   0 |  13k|   0 | 1.800000e+01 |      --      |    Inf 
35.47/35.54	c  34.1s| 50000 | 33836 |     0 |   0.0 |  34M|  72 |   - | 560 |2964 |   0 |   0 |   0 |  17k|   0 | 1.800000e+01 |      --      |    Inf 
43.18/43.28	c  41.5s| 60000 | 40200 |     0 |   0.0 |  41M|  72 |   - | 560 |3277 |   0 |   0 |   0 |  21k|   0 | 1.800000e+01 |      --      |    Inf 
51.28/51.33	c  49.3s| 70000 | 46704 |     0 |   0.0 |  47M|  72 |   - | 560 |3432 |   0 |   0 |   0 |  25k|   0 | 1.800000e+01 |      --      |    Inf 
59.38/59.43	c  57.0s| 80000 | 52571 |     0 |   0.0 |  54M|  72 |   - | 560 |3781 |   0 |   0 |   0 |  29k|   0 | 1.800000e+01 |      --      |    Inf 
67.77/67.87	c  65.2s| 90000 | 59101 |     0 |   0.0 |  61M|  72 |   - | 560 |4028 |   0 |   0 |   0 |  33k|   0 | 1.900000e+01 |      --      |    Inf 
76.27/76.35	c  73.3s|100000 | 65064 |     0 |   0.0 |  68M|  72 |   - | 560 |4122 |   0 |   0 |   0 |  37k|   0 | 1.900000e+01 |      --      |    Inf 
84.96/85.00	c  81.7s|110000 | 71468 |     0 |   0.0 |  74M|  72 |   - | 560 |4367 |   0 |   0 |   0 |  42k|   0 | 1.900000e+01 |      --      |    Inf 
93.77/93.88	c  90.3s|120000 | 77876 |     0 |   0.0 |  81M|  72 |   - | 560 |4654 |   0 |   0 |   0 |  47k|   0 | 1.900000e+01 |      --      |    Inf 
102.76/102.85	c  98.9s|130000 | 84323 |     0 |   0.0 |  87M|  72 |   - | 560 |4219 |   0 |   0 |   0 |  51k|   0 | 1.900000e+01 |      --      |    Inf 
112.16/112.21	c   108s|140000 | 90502 |     0 |   0.0 |  94M|  72 |   - | 560 |5004 |   0 |   0 |   0 |  57k|   0 | 1.900000e+01 |      --      |    Inf 
122.26/122.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
122.26/122.31	c   118s|150000 | 96388 |     0 |   0.0 | 101M|  72 |   - | 560 |4940 |   0 |   0 |   0 |  63k|   0 | 1.900000e+01 |      --      |    Inf 
131.85/132.00	c   127s|160000 |102652 |     0 |   0.0 | 108M|  72 |   - | 560 |4861 |   0 |   0 |   0 |  68k|   0 | 1.900000e+01 |      --      |    Inf 
141.76/141.80	c   137s|170000 |108842 |     0 |   0.0 | 115M|  72 |   - | 560 |4880 |   0 |   0 |   0 |  74k|   0 | 1.900000e+01 |      --      |    Inf 
152.35/152.41	c   147s|180000 |114680 |     0 |   0.0 | 123M|  72 |   - | 560 |5305 |   0 |   0 |   0 |  80k|   0 | 1.900000e+01 |      --      |    Inf 
162.84/162.98	c   157s|190000 |120341 |     0 |   0.0 | 130M|  72 |   - | 560 |4951 |   0 |   0 |   0 |  86k|   0 | 1.900000e+01 |      --      |    Inf 
172.84/172.96	c   167s|200000 |126716 |     0 |   0.0 | 137M|  72 |   - | 560 |4967 |   0 |   0 |   0 |  91k|   0 | 1.900000e+01 |      --      |    Inf 
183.04/183.14	c   177s|210000 |132967 |     0 |   0.0 | 146M|  72 |   - | 560 |4836 |   0 |   0 |   0 |  96k|   0 | 1.900000e+01 |      --      |    Inf 
193.55/193.61	c   187s|220000 |138251 |     0 |   0.0 | 154M|  72 |   - | 560 |4980 |   0 |   0 |   0 | 102k|   0 | 2.000000e+01 |      --      |    Inf 
203.35/203.47	c   196s|230000 |144339 |     0 |   0.0 | 160M|  72 |   - | 560 |5198 |   0 |   0 |   0 | 107k|   0 | 2.000000e+01 |      --      |    Inf 
213.93/214.10	c   207s|240000 |150121 |     0 |   0.0 | 167M|  72 |   - | 560 |5521 |   0 |   0 |   0 | 114k|   0 | 2.000000e+01 |      --      |    Inf 
225.03/225.14	c   217s|250000 |155820 |     0 |   0.0 | 174M|  72 |   - | 560 |5349 |   0 |   0 |   0 | 121k|   0 | 2.000000e+01 |      --      |    Inf 
235.62/235.76	c   228s|260000 |161819 |     0 |   0.0 | 181M|  72 |   - | 560 |5705 |   0 |   0 |   0 | 127k|   0 | 2.000000e+01 |      --      |    Inf 
246.42/246.56	c   238s|270000 |167926 |     0 |   0.0 | 188M|  72 |   - | 560 |5882 |   0 |   0 |   0 | 133k|   0 | 2.000000e+01 |      --      |    Inf 
257.82/257.99	c   249s|280000 |173890 |     0 |   0.0 | 195M|  72 |   - | 560 |6187 |   0 |   0 |   0 | 140k|   0 | 2.000000e+01 |      --      |    Inf 
269.62/269.74	c   261s|290000 |179705 |     0 |   0.0 | 202M|  72 |   - | 560 |6262 |   0 |   0 |   0 | 146k|   0 | 2.000000e+01 |      --      |    Inf 
282.02/282.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
282.02/282.19	c   273s|300000 |185316 |     0 |   0.0 | 210M|  72 |   - | 560 |6950 |   0 |   0 |   0 | 154k|   0 | 2.000000e+01 |      --      |    Inf 
295.31/295.44	c   286s|310000 |190579 |     0 |   0.0 | 217M|  72 |   - | 560 |6846 |   0 |   0 |   0 | 161k|   0 | 2.000000e+01 |      --      |    Inf 
307.82/307.98	c   298s|320000 |196278 |     0 |   0.0 | 224M|  72 |   - | 560 |7056 |   0 |   0 |   0 | 168k|   0 | 2.000000e+01 |      --      |    Inf 
321.30/321.46	c   311s|330000 |201670 |     0 |   0.0 | 232M|  72 |   - | 560 |7298 |   0 |   0 |   0 | 176k|   0 | 2.000000e+01 |      --      |    Inf 
335.00/335.11	c   324s|340000 |207202 |     0 |   0.0 | 240M|  72 |   - | 560 |7325 |   0 |   0 |   0 | 183k|   0 | 2.000000e+01 |      --      |    Inf 
348.70/348.85	c   338s|350000 |212762 |     0 |   0.0 | 248M|  72 |   - | 560 |7318 |   0 |   0 |   0 | 191k|   0 | 2.000000e+01 |      --      |    Inf 
362.81/362.97	c   351s|360000 |218320 |     0 |   0.0 | 256M|  72 |   - | 560 |7550 |   0 |   0 |   0 | 198k|   0 | 2.000000e+01 |      --      |    Inf 
378.49/378.65	c   367s|370000 |223238 |     0 |   0.0 | 265M|  72 |   - | 560 |8089 |   0 |   0 |   0 | 207k|   0 | 2.000000e+01 |      --      |    Inf 
395.08/395.21	c   383s|380000 |227759 |     0 |   0.0 | 273M|  72 |   - | 560 |4738 |   0 |   0 |   0 | 216k|   0 | 2.000000e+01 |      --      |    Inf 
404.98/405.16	c   392s|390000 |233606 |     0 |   0.0 | 281M|  72 |   - | 560 |3871 |   0 |   0 |   0 | 222k|   0 | 2.000000e+01 |      --      |    Inf 
414.79/414.92	c   402s|400000 |239753 |     0 |   0.0 | 288M|  72 |   - | 560 |4011 |   0 |   0 |   0 | 228k|   0 | 2.000000e+01 |      --      |    Inf 
425.08/425.29	c   412s|410000 |245600 |     0 |   0.0 | 296M|  72 |   - | 560 |4537 |   0 |   0 |   0 | 234k|   0 | 2.000000e+01 |      --      |    Inf 
435.77/435.90	c   422s|420000 |251379 |     0 |   0.0 | 304M|  72 |   - | 560 |4734 |   0 |   0 |   0 | 240k|   0 | 2.000000e+01 |      --      |    Inf 
446.98/447.12	c   433s|430000 |257008 |     0 |   0.0 | 313M|  72 |   - | 560 |4686 |   0 |   0 |   0 | 247k|   0 | 2.000000e+01 |      --      |    Inf 
458.17/458.38	c   444s|440000 |262794 |     0 |   0.0 | 321M|  72 |   - | 560 |4746 |   0 |   0 |   0 | 253k|   0 | 2.100000e+01 |      --      |    Inf 
470.27/470.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
470.27/470.40	c   456s|450000 |268366 |     0 |   0.0 | 331M|  72 |   - | 560 |5081 |   0 |   0 |   0 | 261k|   0 | 2.100000e+01 |      --      |    Inf 
483.16/483.30	c   468s|460000 |272791 |     0 |   0.0 | 339M|  72 |   - | 560 |5442 |   0 |   0 |   0 | 269k|   0 | 2.100000e+01 |      --      |    Inf 
493.16/493.36	c   478s|470000 |279009 |     0 |   0.0 | 346M|  72 |   - | 560 |4964 |   0 |   0 |   0 | 274k|   0 | 2.100000e+01 |      --      |    Inf 
503.26/503.44	c   488s|480000 |285200 |     0 |   0.0 | 353M|  72 |   - | 560 |4944 |   0 |   0 |   0 | 280k|   0 | 2.100000e+01 |      --      |    Inf 
513.35/513.58	c   497s|490000 |291507 |     0 |   0.0 | 360M|  72 |   - | 560 |4919 |   0 |   0 |   0 | 285k|   0 | 2.100000e+01 |      --      |    Inf 
524.36/524.54	c   508s|500000 |297498 |     0 |   0.0 | 368M|  72 |   - | 560 |5202 |   0 |   0 |   0 | 292k|   0 | 2.100000e+01 |      --      |    Inf 
535.75/535.93	c   519s|510000 |303187 |     0 |   0.0 | 376M|  72 |   - | 560 |5198 |   0 |   0 |   0 | 299k|   0 | 2.100000e+01 |      --      |    Inf 
546.35/546.52	c   529s|520000 |309184 |     0 |   0.0 | 383M|  72 |   - | 560 |5441 |   0 |   0 |   0 | 305k|   0 | 2.100000e+01 |      --      |    Inf 
557.45/557.63	c   540s|530000 |315117 |     0 |   0.0 | 390M|  72 |   - | 560 |5594 |   0 |   0 |   0 | 311k|   0 | 2.100000e+01 |      --      |    Inf 
568.55/568.78	c   551s|540000 |320955 |     0 |   0.0 | 398M|  72 |   - | 560 |5707 |   0 |   0 |   0 | 318k|   0 | 2.100000e+01 |      --      |    Inf 
579.84/580.03	c   562s|550000 |326934 |     0 |   0.0 | 405M|  72 |   - | 560 |5875 |   0 |   0 |   0 | 324k|   0 | 2.100000e+01 |      --      |    Inf 
591.84/592.02	c   573s|560000 |332533 |     0 |   0.0 | 413M|  72 |   - | 560 |5946 |   0 |   0 |   0 | 331k|   0 | 2.100000e+01 |      --      |    Inf 
603.75/603.98	c   585s|570000 |338223 |     0 |   0.0 | 421M|  72 |   - | 560 |6084 |   0 |   0 |   0 | 339k|   0 | 2.100000e+01 |      --      |    Inf 
615.93/616.14	c   597s|580000 |343811 |     0 |   0.0 | 428M|  72 |   - | 560 |6264 |   0 |   0 |   0 | 346k|   0 | 2.100000e+01 |      --      |    Inf 
628.83/629.02	c   609s|590000 |349323 |     0 |   0.0 | 436M|  72 |   - | 560 |6425 |   0 |   0 |   0 | 353k|   0 | 2.100000e+01 |      --      |    Inf 
642.43/642.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
642.43/642.64	c   623s|600000 |354534 |     0 |   0.0 | 445M|  72 |   - | 560 |6682 |   0 |   0 |   0 | 361k|   0 | 2.100000e+01 |      --      |    Inf 
654.22/654.42	c   634s|610000 |360141 |     0 |   0.0 | 452M|  72 |   - | 560 |6255 |   0 |   0 |   0 | 368k|   0 | 2.100000e+01 |      --      |    Inf 
665.23/665.49	c   645s|620000 |366317 |     0 |   0.0 | 459M|  72 |   - | 560 |6111 |   0 |   0 |   0 | 374k|   0 | 2.100000e+01 |      --      |    Inf 
676.72/676.96	c   656s|630000 |372250 |     0 |   0.0 | 466M|  72 |   - | 560 |6303 |   0 |   0 |   0 | 380k|   0 | 2.100000e+01 |      --      |    Inf 
688.72/688.92	c   668s|640000 |377884 |     0 |   0.0 | 473M|  72 |   - | 560 |6208 |   0 |   0 |   0 | 387k|   0 | 2.100000e+01 |      --      |    Inf 
700.61/700.88	c   679s|650000 |383719 |     0 |   0.0 | 480M|  72 |   - | 560 |6119 |   0 |   0 |   0 | 394k|   0 | 2.100000e+01 |      --      |    Inf 
713.72/713.98	c   692s|660000 |389026 |     0 |   0.0 | 488M|  72 |   - | 560 |7022 |   0 |   0 |   0 | 402k|   0 | 2.100000e+01 |      --      |    Inf 
726.70/726.97	c   705s|670000 |394583 |     0 |   0.0 | 496M|  72 |   - | 560 |6974 |   0 |   0 |   0 | 409k|   0 | 2.100000e+01 |      --      |    Inf 
740.20/740.49	c   718s|680000 |400114 |     0 |   0.0 | 505M|  72 |   - | 560 |6867 |   0 |   0 |   0 | 417k|   0 | 2.100000e+01 |      --      |    Inf 
754.60/754.83	c   732s|690000 |404988 |     0 |   0.0 | 513M|  72 |   - | 560 |7366 |   0 |   0 |   0 | 425k|   0 | 2.100000e+01 |      --      |    Inf 
769.00/769.23	c   746s|700000 |410142 |     0 |   0.0 | 521M|  72 |   - | 560 |7605 |   0 |   0 |   0 | 433k|   0 | 2.100000e+01 |      --      |    Inf 
784.69/784.91	c   761s|710000 |415007 |     0 |   0.0 | 530M|  72 |   - | 560 |7844 |   0 |   0 |   0 | 442k|   0 | 2.100000e+01 |      --      |    Inf 
801.48/801.79	c   777s|720000 |419533 |     0 |   0.0 | 539M|  72 |   - | 560 |8204 |   0 |   0 |   0 | 452k|   0 | 2.200000e+01 |      --      |    Inf 
815.99/816.24	c   791s|730000 |424527 |     0 |   0.0 | 547M|  72 |   - | 560 |8221 |   0 |   0 |   0 | 459k|   0 | 2.200000e+01 |      --      |    Inf 
830.48/830.74	c   806s|740000 |430000 |     0 |   0.0 | 555M|  72 |   - | 560 |8013 |   0 |   0 |   0 | 467k|   0 | 2.200000e+01 |      --      |    Inf 
845.28/845.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
845.28/845.59	c   820s|750000 |435471 |     0 |   0.0 | 564M|  72 |   - | 560 |7810 |   0 |   0 |   0 | 474k|   0 | 2.200000e+01 |      --      |    Inf 
860.87/861.19	c   835s|760000 |440615 |     0 |   0.0 | 573M|  72 |   - | 560 |8637 |   0 |   0 |   0 | 483k|   0 | 2.200000e+01 |      --      |    Inf 
877.07/877.39	c   851s|770000 |445578 |     0 |   0.0 | 581M|  72 |   - | 560 |8625 |   0 |   0 |   0 | 491k|   0 | 2.200000e+01 |      --      |    Inf 
893.36/893.65	c   867s|780000 |450901 |     0 |   0.0 | 591M|  72 |   - | 560 |8666 |   0 |   0 |   0 | 499k|   0 | 2.200000e+01 |      --      |    Inf 
909.47/909.79	c   883s|790000 |456211 |     0 |   0.0 | 600M|  72 |   - | 560 |8950 |   0 |   0 |   0 | 507k|   0 | 2.200000e+01 |      --      |    Inf 
925.26/925.56	c   898s|800000 |461546 |     0 |   0.0 | 608M|  72 |   - | 560 |8797 |   0 |   0 |   0 | 514k|   0 | 2.200000e+01 |      --      |    Inf 
942.05/942.40	c   915s|810000 |466941 |     0 |   0.0 | 618M|  72 |   - | 560 |9324 |   0 |   0 |   0 | 523k|   0 | 2.200000e+01 |      --      |    Inf 
961.55/961.83	c   934s|820000 |471557 |     0 |   0.0 | 628M|  72 |   - | 560 |9765 |   0 |   0 |   0 | 533k|   0 | 2.200000e+01 |      --      |    Inf 
980.24/980.59	c   952s|830000 |476713 |     0 |   0.0 | 638M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 541k|   0 | 2.200000e+01 |      --      |    Inf 
1001.04/1001.34	c   972s|840000 |481209 |     0 |   0.0 | 648M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 551k|   0 | 2.200000e+01 |      --      |    Inf 
1023.63/1023.93	c   994s|850000 |485282 |     0 |   0.0 | 658M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 562k|   0 | 2.200000e+01 |      --      |    Inf 
1045.23/1045.51	c  1016s|860000 |489010 |     0 |   0.0 | 667M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 572k|   0 | 2.200000e+01 |      --      |    Inf 
1063.22/1063.59	c  1033s|870000 |494082 |     0 |   0.0 | 675M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 580k|   0 | 2.200000e+01 |      --      |    Inf 
1081.42/1081.78	c  1051s|880000 |499035 |     0 |   0.0 | 684M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 589k|   0 | 2.200000e+01 |      --      |    Inf 
1100.21/1100.55	c  1070s|890000 |503776 |     0 |   0.0 | 692M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 598k|   0 | 2.200000e+01 |      --      |    Inf 
1117.51/1117.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1117.51/1117.86	c  1086s|900000 |509026 |     0 |   0.0 | 700M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 606k|   0 | 2.200000e+01 |      --      |    Inf 
1136.21/1136.59	c  1105s|910000 |513862 |     0 |   0.0 | 709M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 615k|   0 | 2.200000e+01 |      --      |    Inf 
1154.60/1154.90	c  1123s|920000 |519056 |     0 |   0.0 | 717M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 624k|   0 | 2.200000e+01 |      --      |    Inf 
1173.10/1173.49	c  1141s|930000 |524111 |     0 |   0.0 | 726M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 633k|   0 | 2.200000e+01 |      --      |    Inf 
1192.68/1193.02	c  1160s|940000 |528935 |     0 |   0.0 | 734M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 642k|   0 | 2.200000e+01 |      --      |    Inf 
1213.08/1213.44	c  1180s|950000 |533618 |     0 |   0.0 | 743M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 651k|   0 | 2.200000e+01 |      --      |    Inf 
1234.78/1235.11	c  1201s|960000 |538042 |     0 |   0.0 | 752M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 661k|   0 | 2.200000e+01 |      --      |    Inf 
1257.77/1258.13	c  1224s|970000 |542306 |     0 |   0.0 | 762M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 672k|   0 | 2.200000e+01 |      --      |    Inf 
1277.36/1277.78	c  1243s|980000 |546903 |     0 |   0.0 | 770M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 681k|   0 | 2.200000e+01 |      --      |    Inf 
1296.36/1296.76	c  1262s|990000 |551956 |     0 |   0.0 | 778M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 689k|   0 | 2.200000e+01 |      --      |    Inf 
1316.26/1316.64	c  1281s|  1000k|556772 |     0 |   0.0 | 787M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 699k|   0 | 2.200000e+01 |      --      |    Inf 
1337.26/1337.64	c  1302s|  1010k|561426 |     0 |   0.0 | 796M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 708k|   0 | 2.200000e+01 |      --      |    Inf 
1357.75/1358.16	c  1322s|  1020k|566195 |     0 |   0.0 | 804M|  72 |   - | 560 |  12k|   0 |   0 |   0 | 717k|   0 | 2.200000e+01 |      --      |    Inf 
1378.54/1378.94	c  1343s|  1030k|570966 |     0 |   0.0 | 813M|  72 |   - | 560 |  12k|   0 |   0 |   0 | 727k|   0 | 2.200000e+01 |      --      |    Inf 
1398.14/1398.59	c  1362s|  1040k|575845 |     0 |   0.0 | 820M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 735k|   0 | 2.300000e+01 |      --      |    Inf 
1416.53/1416.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1416.53/1416.96	c  1380s|  1050k|580653 |     0 |   0.0 | 827M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 741k|   0 | 2.300000e+01 |      --      |    Inf 
1436.63/1437.04	c  1400s|  1060k|585376 |     0 |   0.0 | 836M|  72 |   - | 560 |  10k|   0 |   0 |   0 | 751k|   0 | 2.300000e+01 |      --      |    Inf 
1458.02/1458.41	c  1421s|  1070k|589793 |     0 |   0.0 | 846M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 760k|   0 | 2.300000e+01 |      --      |    Inf 
1479.51/1479.96	c  1442s|  1080k|594387 |     0 |   0.0 | 855M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 770k|   0 | 2.300000e+01 |      --      |    Inf 
1502.31/1502.72	c  1464s|  1090k|598712 |     0 |   0.0 | 865M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 780k|   0 | 2.300000e+01 |      --      |    Inf 
1525.21/1525.70	c  1487s|  1100k|602973 |     0 |   0.0 | 875M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 790k|   0 | 2.300000e+01 |      --      |    Inf 
1546.11/1546.59	c  1507s|  1110k|607319 |     0 |   0.0 | 884M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 798k|   0 | 2.300000e+01 |      --      |    Inf 
1563.90/1564.39	c  1525s|  1120k|612721 |     0 |   0.0 | 893M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 805k|   0 | 2.300000e+01 |      --      |    Inf 
1582.89/1583.33	c  1543s|  1130k|618065 |     0 |   0.0 | 902M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 813k|   0 | 2.300000e+01 |      --      |    Inf 
1602.58/1603.07	c  1563s|  1140k|623187 |     0 |   0.0 | 911M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 821k|   0 | 2.300000e+01 |      --      |    Inf 
1623.28/1623.72	c  1583s|  1150k|627997 |     0 |   0.0 | 921M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 829k|   0 | 2.300000e+01 |      --      |    Inf 
1644.88/1645.32	c  1604s|  1160k|632746 |     0 |   0.0 | 931M|  72 |   - | 560 |  12k|   0 |   0 |   0 | 838k|   0 | 2.300000e+01 |      --      |    Inf 
1665.37/1665.86	c  1624s|  1170k|637670 |     0 |   0.0 | 939M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 846k|   0 | 2.300000e+01 |      --      |    Inf 
1687.46/1687.96	c  1646s|  1180k|642307 |     0 |   0.0 | 949M|  72 |   - | 560 |  12k|   0 |   0 |   0 | 856k|   0 | 2.300000e+01 |      --      |    Inf 
1708.66/1709.15	c  1667s|  1190k|647456 |     0 |   0.0 | 959M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 864k|   0 | 2.300000e+01 |      --      |    Inf 
1731.96/1732.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1731.96/1732.43	c  1690s|  1200k|651407 |     0 |   0.0 | 969M|  72 |   - | 560 |  12k|   0 |   0 |   0 | 874k|   0 | 2.300000e+01 |      --      |    Inf 
1752.35/1752.88	c  1710s|  1210k|656790 |     0 |   0.0 | 979M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 882k|   0 | 2.300000e+01 |      --      |    Inf 
1773.24/1773.74	c  1730s|  1220k|661880 |     0 |   0.0 | 989M|  72 |   - | 560 |  11k|   0 |   0 |   0 | 890k|   0 | 2.300000e+01 |      --      |    Inf 
1797.64/1798.15	c  1754s|  1230k|665958 |     0 |   0.0 | 999M|  72 |   - | 560 |  12k|   0 |   0 |   0 | 901k|   0 | 2.300000e+01 |      --      |    Inf 
1800.04/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50	c 
1800.04/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.50	c Solving Time (sec) : 1756.49
1800.04/1800.50	c Solving Nodes      : 1231177
1800.04/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.50	c Dual Bound         : +2.30000000000000e+01
1800.04/1800.50	c Gap                : infinite
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.50	c Solving Time       :    1756.49
1800.04/1800.50	c Original Problem   :
1800.04/1800.50	c   Problem name     : HOME/instance-2664616-1276406000.opb
1800.04/1800.50	c   Variables        : 672 (672 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.50	c   Constraints      : 2028 initial, 2028 maximal
1800.04/1800.50	c Presolved Problem  :
1800.04/1800.50	c   Problem name     : t_HOME/instance-2664616-1276406000.opb
1800.04/1800.50	c   Variables        : 560 (560 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.50	c   Constraints      : 1804 initial, 12970 maximal
1800.04/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   implics          :       0.00          0        112          0          0          0          0          0          0
1800.04/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.50	c   linear           :       0.03          0          0          0          0          0        224          0          0
1800.04/1800.50	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.50	c   root node        :          -          1          -          -          1          -          -          -          -
1800.04/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.50	c   knapsack         :         24          0    4828897          0    1025750     243372   16646699          0          0          0
1800.04/1800.50	c   logicor          :       1780+         0    4321342          0    1025750      76044   19140475          0          0          0
1800.04/1800.50	c   countsols        :          0          0          0          0    1025750          0          0          0          0          0
1800.04/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.50	c   knapsack         :     101.59       0.00      81.50       0.00      20.09
1800.04/1800.50	c   logicor          :     881.18       0.00     564.31       0.00     316.87
1800.04/1800.50	c   countsols        :       0.40       0.00       0.00       0.00       0.40
1800.04/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.50	c   vbounds          :       2.95          2          0          0
1800.04/1800.50	c   rootredcost      :       2.64          0          0          0
1800.04/1800.50	c   pseudoobj        :     136.46    4828697          0          0
1800.04/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.50	c   propagation      :      17.02     319416     316798    1223680       15.5      23083       11.9          -
1800.04/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.50	c   applied globally :          -          -          -     901898       14.2          -          -          -
1800.04/1800.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.50	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.50	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.50	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.50	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.50	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.50	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.50	c Pricers            :       Time      Calls       Vars
1800.04/1800.50	c   problem variables:       0.00          0          0
1800.04/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.50	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   inference        :     114.49    1025750          0          0          0          0    2051500
1800.04/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.50	c   LP solutions     :       0.00          -          0
1800.04/1800.50	c   pseudo solutions :       0.00          -          0
1800.04/1800.50	c   oneopt           :       0.78          0          0
1800.04/1800.50	c   trivial          :       0.00          2          0
1800.04/1800.50	c   simplerounding   :       0.00          0          0
1800.04/1800.50	c   zirounding       :       0.00          0          0
1800.04/1800.50	c   rounding         :       0.00          0          0
1800.04/1800.50	c   shifting         :       0.00          0          0
1800.04/1800.50	c   intshifting      :       0.00          0          0
1800.04/1800.50	c   twoopt           :       0.00          0          0
1800.04/1800.50	c   fixandinfer      :       0.00          0          0
1800.04/1800.50	c   feaspump         :       0.00          0          0
1800.04/1800.50	c   coefdiving       :       0.00          0          0
1800.04/1800.50	c   pscostdiving     :       0.00          0          0
1800.04/1800.50	c   fracdiving       :       0.00          0          0
1800.04/1800.50	c   veclendiving     :       0.00          0          0
1800.04/1800.50	c   intdiving        :       0.00          0          0
1800.04/1800.50	c   actconsdiving    :       0.00          0          0
1800.04/1800.50	c   objpscostdiving  :       0.00          0          0
1800.04/1800.50	c   rootsoldiving    :       0.00          0          0
1800.04/1800.50	c   linesearchdiving :       0.00          0          0
1800.04/1800.50	c   guideddiving     :       0.00          0          0
1800.04/1800.50	c   octane           :       0.00          0          0
1800.04/1800.50	c   rens             :       0.00          0          0
1800.04/1800.50	c   rins             :       0.00          0          0
1800.04/1800.50	c   localbranching   :       0.00          0          0
1800.04/1800.50	c   mutation         :       0.00          0          0
1800.04/1800.50	c   crossover        :       0.00          0          0
1800.04/1800.50	c   dins             :       0.00          0          0
1800.04/1800.50	c   undercover       :       0.00          0          0
1800.04/1800.50	c   nlp              :       0.88          0          0
1800.04/1800.50	c   trysol           :       0.57          0          0
1800.04/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.50	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.50	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.50	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.50	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.50	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.50	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.50	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.50	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.50	c B&B Tree           :
1800.04/1800.50	c   number of runs   :          1
1800.04/1800.50	c   nodes            :    1231177
1800.04/1800.50	c   nodes (total)    :    1231177
1800.04/1800.50	c   nodes left       :     666664
1800.04/1800.50	c   max depth        :         72
1800.04/1800.50	c   max depth (total):         72
1800.04/1800.50	c   backtracks       :     143124 (11.6%)
1800.04/1800.50	c   delayed cutoffs  :     153660
1800.04/1800.50	c   repropagations   :     526475 (9643812 domain reductions, 113989 cutoffs)
1800.04/1800.50	c   avg switch length:       6.07
1800.04/1800.50	c   switching time   :     340.63
1800.04/1800.50	c Solution           :
1800.04/1800.50	c   Solutions found  :          0 (0 improvements)
1800.04/1800.50	c   Primal Bound     :          -
1800.04/1800.50	c   Dual Bound       : +2.30000000000000e+01
1800.04/1800.50	c   Gap              :   infinite
1800.04/1800.50	c   Root Dual Bound  : +1.40000000000000e+01
1800.04/1800.50	c   Root Iterations  :          0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664616-1276406000/watcher-2664616-1276406000 -o /tmp/evaluation-result-2664616-1276406000/solver-2664616-1276406000 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664616-1276406000.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.05 1.75 1.68 3/106 20137
/proc/meminfo: memFree=1766156/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=6584 CPUtime=0
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 928 0 0 0 0 0 0 0 23 0 1 0 16203849 6742016 851 1992294400 4194304 7136930 140734416140480 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20137/statm: 1646 860 254 719 0 925 0

[startup+0.044191 s]
/proc/loadavg: 1.05 1.75 1.68 3/106 20137
/proc/meminfo: memFree=1766156/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=9376 CPUtime=0.03
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 1831 0 0 0 3 0 0 0 23 0 1 0 16203849 9601024 1753 1992294400 4194304 7136930 140734416140480 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20137/statm: 2344 1753 271 719 0 1623 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9376

[startup+0.101196 s]
/proc/loadavg: 1.05 1.75 1.68 3/106 20137
/proc/meminfo: memFree=1766156/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=14912 CPUtime=0.1
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 3888 0 0 0 8 2 0 0 23 0 1 0 16203849 15269888 2942 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 3728 2942 348 719 0 3007 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14912

[startup+0.301276 s]
/proc/loadavg: 1.05 1.75 1.68 3/106 20137
/proc/meminfo: memFree=1766156/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=16364 CPUtime=0.29
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 5603 0 0 0 26 3 0 0 23 0 1 0 16203849 16756736 3372 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 4091 3372 396 719 0 3370 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16364

[startup+0.701253 s]
/proc/loadavg: 1.05 1.75 1.68 3/106 20137
/proc/meminfo: memFree=1766156/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=17088 CPUtime=0.7
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 5789 0 0 0 64 6 0 0 25 0 1 0 16203849 17498112 3558 1992294400 4194304 7136930 140734416140480 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 4272 3558 396 719 0 3551 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17088

[startup+1.50133 s]
/proc/loadavg: 1.05 1.75 1.68 2/107 20138
/proc/meminfo: memFree=1752880/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=18196 CPUtime=1.49
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 6045 0 0 0 141 8 0 0 25 0 1 0 16203849 18632704 3814 1992294400 4194304 7136930 140734416140480 18446744073709551615 4697133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 4549 3814 396 719 0 3828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18196

[startup+3.10048 s]
/proc/loadavg: 1.05 1.75 1.68 2/107 20138
/proc/meminfo: memFree=1750896/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=20516 CPUtime=3.09
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 6630 0 0 0 294 15 0 0 25 0 1 0 16203849 21008384 4399 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 5129 4399 396 719 0 4408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20516

[startup+6.30079 s]
/proc/loadavg: 1.04 1.74 1.68 2/107 20138
/proc/meminfo: memFree=1747052/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=24792 CPUtime=6.29
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 7713 0 0 0 599 30 0 0 25 0 1 0 16203849 25387008 5482 1992294400 4194304 7136930 140734416140480 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 6198 5482 396 719 0 5477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24792

[startup+12.7004 s]
/proc/loadavg: 1.04 1.72 1.68 2/107 20138
/proc/meminfo: memFree=1737380/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=32752 CPUtime=12.69
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 9720 0 0 0 1212 57 0 0 25 0 1 0 16203849 33538048 7489 1992294400 4194304 7136930 140734416140480 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 8188 7489 396 719 0 7467 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32752

[startup+25.5016 s]
/proc/loadavg: 1.03 1.69 1.66 2/107 20141
/proc/meminfo: memFree=1722004/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=47680 CPUtime=25.49
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 13424 0 0 0 2442 107 0 0 25 0 1 0 16203849 48824320 11193 1992294400 4194304 7136930 140734416140480 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 11920 11193 396 719 0 11199 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47680

[startup+51.101 s]
/proc/loadavg: 1.02 1.63 1.64 2/107 20143
/proc/meminfo: memFree=1696584/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=74308 CPUtime=51.07
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 20006 0 0 0 4906 201 0 0 25 0 1 0 16203849 76091392 17775 1992294400 4194304 7136930 140734416140480 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 18577 17775 396 719 0 17856 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74308

[startup+102.309 s]
/proc/loadavg: 1.01 1.53 1.61 2/107 20143
/proc/meminfo: memFree=1645372/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=127284 CPUtime=102.27
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 32576 0 0 0 9842 385 0 0 25 0 1 0 16203849 130338816 30345 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 31821 30345 396 719 0 31100 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 127284

[startup+162.302 s]
/proc/loadavg: 1.00 1.43 1.57 2/107 20145
/proc/meminfo: memFree=1591060/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=181788 CPUtime=162.24
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 46122 0 0 0 15643 581 0 0 25 0 1 0 16203849 186150912 43891 1992294400 4194304 7136930 140734416140480 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 45447 43891 396 719 0 44726 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 181788

[startup+222.301 s]
/proc/loadavg: 1.00 1.35 1.53 2/107 20147
/proc/meminfo: memFree=1537368/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=236764 CPUtime=222.23
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 59522 0 0 0 21452 771 0 0 25 0 1 0 16203849 242446336 57291 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 59191 57291 396 719 0 58470 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 236764

[startup+282.301 s]
/proc/loadavg: 1.00 1.28 1.49 2/107 20149
/proc/meminfo: memFree=1497564/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=279444 CPUtime=282.21
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 69906 0 0 0 27273 948 0 0 25 0 1 0 16203849 286150656 67675 1992294400 4194304 7136930 140734416140480 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 69861 67675 396 719 0 69140 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 279444

[startup+342.302 s]
/proc/loadavg: 1.00 1.23 1.46 2/107 20149
/proc/meminfo: memFree=1449584/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=329584 CPUtime=342.2
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 81374 0 0 0 33117 1103 0 0 25 0 1 0 16203849 337494016 79143 1992294400 4194304 7136930 140734416140480 18446744073709551615 4407882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 82396 79143 396 719 0 81675 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 329584

[startup+402.301 s]
/proc/loadavg: 1.00 1.19 1.43 2/107 20151
/proc/meminfo: memFree=1420692/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=359908 CPUtime=402.19
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 89111 0 0 0 38965 1254 0 0 25 0 1 0 16203849 368545792 86880 1992294400 4194304 7136930 140734416140480 18446744073709551615 4223909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 89977 86880 396 719 0 89256 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 359908

[startup+462.301 s]
/proc/loadavg: 1.00 1.15 1.40 2/107 20153
/proc/meminfo: memFree=1366008/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=415440 CPUtime=462.17
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 102335 0 0 0 44776 1441 0 0 25 0 1 0 16203849 425410560 100104 1992294400 4194304 7136930 140734416140480 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 103860 100104 396 719 0 103139 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 415440

[startup+522.301 s]
/proc/loadavg: 1.00 1.12 1.37 2/107 20155
/proc/meminfo: memFree=1325088/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=457964 CPUtime=522.15
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 112710 0 0 0 50591 1624 0 0 25 0 1 0 16203849 468955136 110479 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 114491 110479 396 719 0 113770 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 457964

[startup+582.302 s]
/proc/loadavg: 1.00 1.10 1.35 2/107 20157
/proc/meminfo: memFree=1287640/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=493240 CPUtime=582.14
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 121846 0 0 0 56410 1804 0 0 25 0 1 0 16203849 505077760 119615 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 123310 119615 396 719 0 122589 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 493240

[startup+642.301 s]
/proc/loadavg: 1.00 1.08 1.32 2/107 20157
/proc/meminfo: memFree=1240768/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=540684 CPUtime=642.13
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 133387 0 0 0 62237 1976 0 0 25 0 1 0 16203849 553660416 131156 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 135171 131156 396 719 0 134450 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 540684

[startup+702.301 s]

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

/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 186306 0 0 0 97326 2877 0 0 25 0 1 0 16203849 781238272 184075 1992294400 4194304 7136930 140734416140480 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 190732 184075 396 719 0 190011 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 762928

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/107 20169
/proc/meminfo: memFree=1003556/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=790736 CPUtime=1062.02
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 192880 0 0 0 103206 2996 0 0 25 0 1 0 16203849 809713664 190649 1992294400 4194304 7136930 140734416140480 18446744073709551615 4221551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 197684 190649 396 719 0 196963 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 790736

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 20171
/proc/meminfo: memFree=971316/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=820264 CPUtime=1122
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 200499 0 0 0 109087 3113 0 0 25 0 1 0 16203849 839950336 198268 1992294400 4194304 7136930 140734416140480 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 205066 198268 396 719 0 204345 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 820264

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 20173
/proc/meminfo: memFree=947260/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=844712 CPUtime=1181.99
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 206486 0 0 0 114965 3234 0 0 25 0 1 0 16203849 864985088 204255 1992294400 4194304 7136930 140734416140480 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 211178 204255 396 719 0 210457 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 844712

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 20173
/proc/meminfo: memFree=920104/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=872788 CPUtime=1241.97
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 213169 0 0 0 120856 3341 0 0 25 0 1 0 16203849 893734912 210938 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 218197 210938 396 719 0 217476 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 872788

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 20175
/proc/meminfo: memFree=899272/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=894776 CPUtime=1301.97
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 218350 0 0 0 126742 3455 0 0 25 0 1 0 16203849 916250624 216119 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 223694 216119 396 719 0 222973 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 894776

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 20177
/proc/meminfo: memFree=873232/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=920860 CPUtime=1361.94
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 224944 0 0 0 132630 3564 0 0 25 0 1 0 16203849 942960640 222713 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 230215 222713 396 719 0 229494 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 920860

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 20179
/proc/meminfo: memFree=843472/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=951972 CPUtime=1421.93
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 232256 0 0 0 138515 3678 0 0 25 0 1 0 16203849 974819328 230025 1992294400 4194304 7136930 140734416140480 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 237993 230025 396 719 0 237272 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 951972

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 20181
/proc/meminfo: memFree=815200/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=981220 CPUtime=1481.92
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 239494 0 0 0 144409 3783 0 0 25 0 1 0 16203849 1004769280 237263 1992294400 4194304 7136930 140734416140480 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 245305 237263 396 719 0 244584 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 981220

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 20181
/proc/meminfo: memFree=784944/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=1011080 CPUtime=1541.9
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 246885 0 0 0 150307 3883 0 0 25 0 1 0 16203849 1035345920 244654 1992294400 4194304 7136930 140734416140480 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 252770 244654 396 719 0 252049 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1011080

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 20183
/proc/meminfo: memFree=756176/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=1039688 CPUtime=1601.88
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 254023 0 0 0 156188 4000 0 0 25 0 1 0 16203849 1064640512 251792 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 259922 251792 396 719 0 259201 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1039688

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 20185
/proc/meminfo: memFree=735220/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=1060732 CPUtime=1661.87
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 259221 0 0 0 162077 4110 0 0 25 0 1 0 16203849 1086189568 256990 1992294400 4194304 7136930 140734416140480 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 265183 256990 396 719 0 264462 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1060732

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 20187
/proc/meminfo: memFree=705832/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=1090648 CPUtime=1721.85
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 266618 0 0 0 167969 4216 0 0 25 0 1 0 16203849 1116823552 264387 1992294400 4194304 7136930 140734416140480 18446744073709551615 5005152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 272662 264387 396 719 0 271941 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1090648

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 20189
/proc/meminfo: memFree=672848/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=1122948 CPUtime=1781.84
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 274704 0 0 0 173861 4323 0 0 25 0 1 0 16203849 1149898752 272473 1992294400 4194304 7136930 140734416140480 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 280737 272473 396 719 0 280016 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1122948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 20189
/proc/meminfo: memFree=668880/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=1126032 CPUtime=1800.04
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 275692 0 0 0 175652 4352 0 0 25 0 1 0 16203849 1153056768 273461 1992294400 4194304 7136930 140734416140480 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20137/statm: 281508 273461 396 719 0 280787 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1126032

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20137

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 20190
/proc/meminfo: memFree=668748/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=1126276 CPUtime=1800.93
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 275724 0 0 0 175741 4352 0 0 25 0 1 0 16203849 1153306624 273493 1992294400 4194304 7136930 140734416140480 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20137/statm: 281569 273493 402 719 0 280848 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 1126276

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 20190
/proc/meminfo: memFree=668748/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=1126276 CPUtime=1801.73
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4202496 275724 0 0 0 175821 4352 0 0 25 0 1 0 16203849 1153306624 273493 1992294400 4194304 7136930 140734416140480 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20137/statm: 281569 273493 402 719 0 280848 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 1126276

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 20190
/proc/meminfo: memFree=668748/2059040 swapFree=4163504/4192956
[pid=20137] ppid=20135 vsize=0 CPUtime=1802.13
/proc/20137/stat : 20137 (pbscip.linux.x8) R 20135 20137 13161 0 -1 4203524 275724 0 0 0 175852 4361 0 0 25 0 1 0 16203849 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/20137/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.16
CPU user time (s): 1758.52
CPU system time (s): 43.6334
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1126276

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

runsolver used 2.86056 second user time and 8.63269 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-13 07:13:20
IDJOB=2664616
IDBENCH=2029
IDSOLVER=1167
FILE ID=node004/2664616-1276406000
PBS_JOBID= 11173261
Free space on /tmp= 62536 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.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-2664616-1276406000/watcher-2664616-1276406000 -o /tmp/evaluation-result-2664616-1276406000/solver-2664616-1276406000 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664616-1276406000.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7070b0ccf5287a23c61644383564c46b
RANDOM SEED=1781673009

node004.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.210
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.42
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.210
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1766560 kB
Buffers:         43948 kB
Cached:         150388 kB
SwapCached:       1724 kB
Active:         127256 kB
Inactive:        98868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1766560 kB
SwapTotal:     4192956 kB
SwapFree:      4163504 kB
Dirty:            3352 kB
Writeback:           0 kB
AnonPages:       30128 kB
Mapped:          14172 kB
Slab:            44552 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node004 at 2010-06-13 07:43:23