Trace number 3733124

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT-47 1794.02 1794.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
MD5SUMb8b0df75c0f0dbb89ae9601b9070a445
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109676
Number of constraints which are clauses109676
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
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 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
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.49/0.58	c SCIP version 1.1.0.7
0.49/0.58	c LP-Solver SoPlex 1.4.1
0.49/0.58	c user parameter file <scip.set> not found - using default parameters
0.49/0.58	c read problem <HOME/instance-3733124-1338698451.opb>
0.49/0.58	c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109676 constraints
0.58/0.68	c start presolving problem
0.58/0.68	c presolving:
1.19/1.27	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109676 upgd conss, 219352 impls, 0 clqs
1.98/2.03	c    (1.3s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.98/2.03	c    (1.3s) probing aborted: 100/100 successive totally useless probings
1.98/2.03	c presolving (2 rounds):
1.98/2.03	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.98/2.03	c  219352 implications, 0 cliques
1.98/2.03	c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109676 constraints
1.98/2.03	c  109676 constraints of type <logicor>
1.98/2.03	c transformed objective value is always integral (scale: 1)
1.98/2.03	c Presolving Time: 1.23
1.98/2.03	c strange?!, PURESAT with obj
1.98/2.03	c -----------------------------------------------------------------------------------------------
1.98/2.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.98/2.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.98/2.03	c limits/memory = c 13950
1.98/2.03	c # maximal time in seconds to run
1.98/2.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.98/2.03	c limits/time = c 1791
1.98/2.03	c # frequency for displaying node information lines
1.98/2.03	c # [type: int, range: [-1,2147483647], default: 100]
1.98/2.03	c display/freq = c 10000
1.98/2.03	c -----------------------------------------------------------------------------------------------
1.98/2.03	c start solving problem
1.98/2.03	c 
5.99/6.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.99/6.07	c   5.3s|     1 |     0 |  1783 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |      --      |    Inf 
5.99/6.07	o 0
5.99/6.07	c r 5.3s|     1 |     0 |  1783 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 | 0.000000e+00 | 100.00%
6.08/6.15	o -1
6.08/6.15	c R 5.4s|     1 |     0 |  1783 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |-1.000000e+00 |  99.86%
6.18/6.25	o -2
6.18/6.25	c s 5.5s|     1 |     0 |  1783 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |-2.000000e+00 |  99.71%
8.88/8.92	c   8.1s|     1 |     0 |  2000 | 121M|   0 |1324 |1400 | 109k| 109k|1400 | 109k|  11 |   0 |   0 |-6.620000e+02 |-2.000000e+00 |  99.70%
13.38/13.46	c  12.7s|     1 |     0 |  2170 | 121M|   0 |1273 |1400 | 109k| 109k|1400 | 109k|  20 |   0 |   0 |-6.365000e+02 |-2.000000e+00 |  99.69%
19.39/19.43	c  18.6s|     1 |     0 |  2492 | 121M|   0 |1221 |1400 | 109k| 109k|1400 | 109k|  30 |   0 |   0 |-6.105000e+02 |-2.000000e+00 |  99.67%
27.58/27.61	c  26.8s|     1 |     0 |  2993 | 121M|   0 |1168 |1400 | 109k| 109k|1400 | 109k|  46 |   0 |   0 |-5.832500e+02 |-2.000000e+00 |  99.66%
35.09/35.13	c  34.3s|     1 |     0 |  3217 | 121M|   0 |1151 |1400 | 109k| 109k|1400 | 109k|  53 |   0 |   0 |-5.747500e+02 |-2.000000e+00 |  99.65%
43.18/43.23	c  42.4s|     1 |     0 |  3548 | 122M|   0 |1107 |1400 | 109k| 109k|1400 | 109k|  64 |   0 |   0 |-5.527500e+02 |-2.000000e+00 |  99.64%
52.18/52.22	c  51.4s|     1 |     0 |  3923 | 122M|   0 |1059 |1400 | 109k| 109k|1400 | 109k|  70 |   0 |   0 |-5.285000e+02 |-2.000000e+00 |  99.62%
60.98/61.03	c  60.2s|     1 |     0 |  4243 | 122M|   0 |1011 |1400 | 109k| 109k|1400 | 109k|  78 |   0 |   0 |-5.055000e+02 |-2.000000e+00 |  99.60%
69.48/69.58	c  68.7s|     1 |     0 |  4473 | 122M|   0 | 965 |1400 | 109k| 109k|1400 | 109k|  87 |   0 |   0 |-4.825000e+02 |-2.000000e+00 |  99.59%
78.97/79.06	c  78.2s|     1 |     0 |  4921 | 122M|   0 | 915 |1400 | 109k| 109k|1400 | 109k|  98 |   0 |   0 |-4.575000e+02 |-2.000000e+00 |  99.56%
82.78/82.80	c  82.0s|     1 |     0 |  5614 | 122M|   0 | 869 |1400 | 109k| 109k|1400 | 109k| 107 |   0 |   0 |-4.337500e+02 |-2.000000e+00 |  99.54%
86.17/86.21	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
86.17/86.21	c  85.4s|     1 |     0 |  6204 | 122M|   0 | 806 |1400 | 109k| 109k|1400 | 109k| 114 |   0 |   0 |-4.020000e+02 |-2.000000e+00 |  99.50%
86.17/86.25	o -3
86.17/86.25	c R85.4s|     1 |     0 |  6204 | 122M|   0 | 806 |1400 | 109k| 109k|1400 | 109k| 114 |   0 |   0 |-4.020000e+02 |-3.000000e+00 |  99.25%
89.37/89.43	c  88.6s|     1 |     0 |  6714 | 122M|   0 | 760 |1400 | 109k| 109k|1400 | 109k| 121 |   0 |   0 |-3.792500e+02 |-3.000000e+00 |  99.21%
89.37/89.47	o -4
89.37/89.47	c R88.6s|     1 |     0 |  6714 | 122M|   0 | 760 |1400 | 109k| 109k|1400 | 109k| 121 |   0 |   0 |-3.792500e+02 |-4.000000e+00 |  98.95%
91.88/91.95	c  91.1s|     1 |     0 |  7096 | 122M|   0 | 715 |1400 | 109k| 109k|1400 | 109k| 130 |   0 |   0 |-3.567500e+02 |-4.000000e+00 |  98.88%
94.37/94.45	c  93.6s|     1 |     0 |  7492 | 122M|   0 | 670 |1400 | 109k| 109k|1400 | 109k| 137 |   0 |   0 |-3.342500e+02 |-4.000000e+00 |  98.80%
96.68/96.78	c  95.9s|     1 |     0 |  7830 | 122M|   0 | 630 |1400 | 109k| 109k|1400 | 109k| 142 |   0 |   0 |-3.140000e+02 |-4.000000e+00 |  98.73%
99.48/99.57	c  98.7s|     1 |     0 |  8357 | 122M|   0 | 582 |1400 | 109k| 109k|1400 | 109k| 151 |   0 |   0 |-2.902500e+02 |-4.000000e+00 |  98.62%
102.77/102.80	c   102s|     1 |     0 |  8964 | 122M|   0 | 538 |1400 | 109k| 109k|1400 | 109k| 155 |   0 |   0 |-2.682500e+02 |-4.000000e+00 |  98.51%
105.07/105.15	c   104s|     1 |     0 |  9395 | 122M|   0 | 491 |1400 | 109k| 109k|1400 | 109k| 165 |   0 |   0 |-2.447500e+02 |-4.000000e+00 |  98.37%
107.78/107.83	c   107s|     1 |     0 |  9912 | 122M|   0 | 427 |1400 | 109k| 109k|1400 | 109k| 171 |   0 |   0 |-2.127500e+02 |-4.000000e+00 |  98.12%
109.17/109.20	c   108s|     1 |     0 | 10163 | 122M|   0 | 402 |1400 | 109k| 109k|1400 | 109k| 183 |   0 |   0 |-2.002500e+02 |-4.000000e+00 |  98.00%
110.77/110.82	c   110s|     1 |     0 | 10464 | 122M|   0 | 380 |1400 | 109k| 109k|1400 | 109k| 192 |   0 |   0 |-1.892500e+02 |-4.000000e+00 |  97.89%
113.07/113.11	c   112s|     1 |     0 | 10979 | 122M|   0 | 332 |1400 | 109k| 109k|1400 | 109k| 200 |   0 |   0 |-1.652500e+02 |-4.000000e+00 |  97.58%
115.07/115.15	c   114s|     1 |     0 | 11416 | 122M|   0 | 310 |1400 | 109k| 109k|1400 | 109k| 204 |   0 |   0 |-1.542500e+02 |-4.000000e+00 |  97.41%
116.97/117.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
116.97/117.04	c   116s|     1 |     0 | 11927 | 122M|   0 | 270 |1400 | 109k| 109k|1400 | 109k| 211 |   0 |   0 |-1.317500e+02 |-4.000000e+00 |  96.96%
118.27/118.37	c   117s|     1 |     0 | 12176 | 122M|   0 | 247 |1400 | 109k| 109k|1400 | 109k| 216 |   0 |   0 |-1.202500e+02 |-4.000000e+00 |  96.67%
123.18/123.29	c   122s|     1 |     0 | 14040 | 122M|   0 | 199 |1400 | 109k| 109k|1400 | 109k| 224 |   0 |   0 |-9.925000e+01 |-4.000000e+00 |  95.97%
124.87/124.99	c   124s|     1 |     0 | 14453 | 122M|   0 | 189 |1400 | 109k| 109k|1400 | 109k| 232 |   0 |   0 |-8.925000e+01 |-4.000000e+00 |  95.52%
124.97/125.01	o -4
124.97/125.01	c s 124s|     1 |     0 | 14453 | 122M|   0 | 189 |1400 | 109k| 109k|1400 | 109k| 232 |   0 |   0 |-8.925000e+01 |-4.000000e+00 |  95.52%
126.06/126.13	c   125s|     1 |     0 | 14680 | 122M|   0 | 158 |1400 | 109k| 109k|1400 | 109k| 244 |   0 |   0 |-7.900000e+01 |-4.000000e+00 |  94.94%
127.27/127.31	c   126s|     1 |     0 | 14896 | 122M|   0 | 139 |1400 | 109k| 109k|1400 | 109k| 250 |   0 |   0 |-6.950000e+01 |-4.000000e+00 |  94.24%
128.77/128.81	c   128s|     1 |     0 | 15269 | 122M|   0 | 130 |1400 | 109k| 109k|1400 | 109k| 255 |   0 |   0 |-6.000000e+01 |-4.000000e+00 |  93.33%
130.07/130.16	c   129s|     1 |     0 | 15602 | 122M|   0 | 112 |1400 | 109k| 109k|1400 | 109k| 264 |   0 |   0 |-5.800000e+01 |-4.000000e+00 |  93.10%
130.07/130.17	o -5
130.07/130.17	c R 129s|     1 |     0 | 15602 | 122M|   0 | 112 |1400 | 109k| 109k|1400 | 109k| 264 |   0 |   0 |-5.800000e+01 |-5.000000e+00 |  91.38%
131.37/131.42	c   130s|     1 |     0 | 15867 | 122M|   0 | 176 |1400 | 109k| 109k|1400 | 109k| 275 |   0 |   0 |-5.666667e+01 |-5.000000e+00 |  91.18%
132.37/132.43	c   132s|     1 |     0 | 16009 | 122M|   0 | 194 |1400 | 109k| 109k|1400 | 109k| 287 |   0 |   0 |-5.666667e+01 |-5.000000e+00 |  91.18%
133.87/133.90	c   133s|     1 |     0 | 16270 | 122M|   0 | 206 |1400 | 109k| 109k|1400 | 109k| 300 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
161.77/161.81	c   161s|     1 |     0 | 16550 | 122M|   0 | 209 |1400 | 109k| 109k|1400 | 109k| 312 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
189.07/189.14	c   188s|     1 |     0 | 16750 | 122M|   0 | 211 |1400 | 109k| 109k|1400 | 109k| 320 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
217.44/217.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
217.44/217.56	c   216s|     1 |     0 | 17208 | 122M|   0 | 193 |1400 | 109k| 109k|1400 | 109k| 332 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
219.54/219.68	c   219s|     1 |     0 | 17548 | 123M|   0 | 203 |1400 | 109k| 109k|1400 | 109k| 342 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
246.03/246.17	c   245s|     1 |     0 | 17707 | 123M|   0 | 212 |1400 | 109k| 109k|1400 | 109k| 351 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
246.13/246.21	o -35
246.13/246.21	c k 245s|     1 |     0 | 17707 | 123M|   0 | 212 |1400 | 109k| 109k|1400 | 109k| 351 |   0 |   0 |-5.600000e+01 |-3.500000e+01 |  37.50%
247.93/248.09	c   247s|     1 |     0 | 17707 | 123M|   0 | 212 |1400 | 109k| 109k|1400 | 109k| 351 |   0 |   0 |-5.600000e+01 |-3.500000e+01 |  37.50%
276.63/276.72	c   275s|     1 |     0 | 18073 | 123M|   0 | 215 |1400 | 109k| 109k|1400 | 109k| 362 |   0 |   0 |-5.600000e+01 |-3.500000e+01 |  37.50%
343.71/343.83	c   342s|     1 |     2 | 18073 | 123M|   0 | 215 |1400 | 109k| 109k|1400 | 109k| 362 |   0 |  26 |-5.600000e+01 |-3.500000e+01 |  37.50%
527.59/527.76	o -38
527.59/527.76	c c 526s|    18 |    19 | 20056 | 125M|  17 |   - |1400 | 109k| 105k|1400 | 109k| 362 |   0 | 393 |-5.600000e+01 |-3.800000e+01 |  32.14%
603.38/603.57	o -39
603.38/603.57	c p 602s|    30 |    31 | 20970 | 126M|  19 |   - |1400 | 109k|  59k|1400 | 109k| 362 |   0 | 600 |-5.600000e+01 |-3.900000e+01 |  30.36%
783.45/783.66	o -40
783.45/783.66	c f 782s|    43 |    44 | 23917 | 127M|  19 |   - |1400 | 109k|  99k|1400 | 109k| 362 |   0 | 820 |-5.600000e+01 |-4.000000e+01 |  28.57%
800.25/800.49	o -45
800.25/800.49	c o 799s|    69 |    70 | 26333 | 127M|  21 |   0 |1400 | 109k|  46k|1400 | 109k| 362 |   0 | 831 |-5.600000e+01 |-4.500000e+01 |  19.64%
863.94/864.11	o -46
863.94/864.11	c l 862s|   174 |   169 | 37854 | 130M|  23 |   - |1400 | 109k| 104k|1400 | 109k| 362 |   0 | 870 |-5.600000e+01 |-4.600000e+01 |  17.86%
1354.06/1354.35	o -47
1354.06/1354.35	c l1352s|  1021 |   918 |129556 | 150M|  53 |   - |1400 | 109k|  18k|1400 | 109k| 362 |   0 |1198 |-5.600000e+01 |-4.700000e+01 |  16.07%
1793.80/1794.13	c 
1793.80/1794.13	c SCIP Status        : solving was interrupted [time limit reached]
1793.80/1794.13	c Solving Time (sec) : 1791.01
1793.80/1794.13	c Solving Nodes      : 1519
1793.80/1794.13	c Primal Bound       : -4.70000000000000e+01 (392 solutions)
1793.80/1794.13	c Dual Bound         : -5.60000000000000e+01
1793.80/1794.13	c Gap                : 16.07 %
1793.80/1794.15	c NODE         1519
1793.80/1794.15	c DUAL BOUND   -56
1793.80/1794.15	c PRIMAL BOUND -47
1793.80/1794.15	c GAP          0.160714
1793.80/1794.15	s SATISFIABLE
1793.80/1794.15	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
1793.80/1794.15	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 
1793.80/1794.15	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
1793.80/1794.15	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 
1793.80/1794.15	v -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
1793.80/1794.15	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 
1793.80/1794.15	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
1793.80/1794.15	v -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
1793.80/1794.15	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 
1793.80/1794.15	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 
1793.80/1794.15	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
1793.80/1794.15	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
1793.80/1794.15	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1793.80/1794.15	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 
1793.80/1794.15	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
1793.80/1794.15	v -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
1793.80/1794.15	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 
1793.80/1794.15	v -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
1793.80/1794.15	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
1793.80/1794.15	v -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 
1793.80/1794.15	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
1793.80/1794.15	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 
1793.80/1794.15	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 
1793.80/1794.15	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
1793.80/1794.15	v -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
1793.80/1794.15	v -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 
1793.80/1794.15	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 
1793.80/1794.15	v -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 
1793.80/1794.15	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 
1793.80/1794.15	v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 
1793.80/1794.15	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 
1793.80/1794.15	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 
1793.80/1794.15	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 
1793.80/1794.15	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
1793.80/1794.15	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 
1793.80/1794.15	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 
1793.80/1794.15	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 
1793.80/1794.15	v -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 
1793.80/1794.15	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
1793.80/1794.15	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 
1793.80/1794.15	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 
1793.80/1794.15	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 
1793.80/1794.15	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 
1793.80/1794.15	v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
1793.80/1794.15	v -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 
1793.80/1794.15	v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 
1793.80/1794.15	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 
1793.80/1794.15	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 
1793.80/1794.15	v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 
1793.80/1794.15	v x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 
1793.80/1794.15	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 
1793.80/1794.15	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
1793.80/1794.15	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 
1793.80/1794.15	v -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 
1793.80/1794.15	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 
1793.80/1794.15	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 
1793.80/1794.15	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 
1793.80/1794.15	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 
1793.80/1794.15	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 
1793.80/1794.15	v x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 
1793.80/1794.15	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 
1793.80/1794.15	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
1793.80/1794.15	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
1793.80/1794.15	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 
1793.80/1794.15	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 
1793.80/1794.15	v -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 
1793.80/1794.15	v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 
1793.80/1794.15	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 
1793.80/1794.15	v -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 
1793.80/1794.15	v -x1399 -x1400 
1793.80/1794.15	c SCIP Status        : solving was interrupted [time limit reached]
1793.80/1794.15	c Solving Time       :    1791.01
1793.80/1794.15	c Original Problem   :
1793.80/1794.15	c   Problem name     : HOME/instance-3733124-1338698451.opb
1793.80/1794.15	c   Variables        : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.80/1794.15	c   Constraints      : 109676 initial, 109676 maximal
1793.80/1794.15	c Presolved Problem  :
1793.80/1794.15	c   Problem name     : t_HOME/instance-3733124-1338698451.opb
1793.80/1794.15	c   Variables        : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.80/1794.15	c   Constraints      : 109676 initial, 109676 maximal
1793.80/1794.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.80/1794.15	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.15	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.15	c   implics          :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.15	c   probing          :       0.69          0          0          0          0          0          0          0          0
1793.80/1794.15	c   logicor          :       0.12          0          0          0          0          0          0          0          0
1793.80/1794.15	c   root node        :          -          0          -          -          0          -          -          -          -
1793.80/1794.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.80/1794.15	c   integral         :          0          0          0       1494          0          0          5          0          0       2984
1793.80/1794.15	c   logicor          :     109676         41       3289          0          0          0      55039          0          0          0
1793.80/1794.15	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1793.80/1794.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.80/1794.15	c   integral         :     732.56       0.00       0.00     732.56       0.00
1793.80/1794.15	c   logicor          :       2.19       0.18       2.01       0.00       0.00
1793.80/1794.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.80/1794.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.80/1794.15	c   rootredcost      :       0.00          6          0          0
1793.80/1794.15	c   pseudoobj        :       0.26       7247          0          0
1793.80/1794.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.80/1794.15	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.80/1794.15	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1793.80/1794.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.80/1794.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.80/1794.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.80/1794.15	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.80/1794.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.80/1794.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1793.80/1794.15	c   cut pool         :       0.00         40          -          -         87          -    (maximal pool size: 700)
1793.80/1794.15	c   redcost          :       0.09       1535          0          1          0          0
1793.80/1794.15	c   impliedbounds    :       0.03         41          0          0          0          0
1793.80/1794.15	c   intobj           :       0.00          0          0          0          0          0
1793.80/1794.15	c   gomory           :     147.63         41          0          0      18136          0
1793.80/1794.15	c   strongcg         :       8.05         20          0          0      10000          0
1793.80/1794.15	c   cmir             :      23.77         10          0          0          0          0
1793.80/1794.15	c   flowcover        :      24.42         10          0          0          0          0
1793.80/1794.15	c   clique           :       2.19         41          0          0        378          0
1793.80/1794.15	c   zerohalf         :       0.00          0          0          0          0          0
1793.80/1794.15	c   mcf              :       0.07          1          0          0          0          0
1793.80/1794.15	c Pricers            :       Time      Calls       Vars
1793.80/1794.15	c   problem variables:       0.00          0          0
1793.80/1794.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1793.80/1794.15	c   relpscost        :     732.55       1494          0          5          0          0       2984
1793.80/1794.15	c   pscost           :       0.00          0          0          0          0          0          0
1793.80/1794.15	c   inference        :       0.00          0          0          0          0          0          0
1793.80/1794.15	c   mostinf          :       0.00          0          0          0          0          0          0
1793.80/1794.15	c   leastinf         :       0.00          0          0          0          0          0          0
1793.80/1794.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1793.80/1794.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1793.80/1794.15	c   random           :       0.00          0          0          0          0          0          0
1793.80/1794.15	c Primal Heuristics  :       Time      Calls      Found
1793.80/1794.15	c   LP solutions     :       0.00          -          0
1793.80/1794.15	c   pseudo solutions :       0.00          -          0
1793.80/1794.15	c   oneopt           :       0.11          7          1
1793.80/1794.15	c   rootsoldiving    :      11.01          9         35
1793.80/1794.15	c   linesearchdiving :      24.91         18         57
1793.80/1794.15	c   guideddiving     :      40.88         18          7
1793.80/1794.15	c   objpscostdiving  :      56.28          9         58
1793.80/1794.15	c   coefdiving       :      33.95         19         44
1793.80/1794.15	c   pscostdiving     :      27.88         19         28
1793.80/1794.15	c   simplerounding   :       0.33       1535         97
1793.80/1794.15	c   rounding         :       9.17       1535          4
1793.80/1794.15	c   shifting         :       2.07        183         17
1793.80/1794.15	c   intshifting      :       0.00          0          0
1793.80/1794.15	c   fixandinfer      :       0.00          0          0
1793.80/1794.15	c   feaspump         :       0.00          0          0
1793.80/1794.15	c   fracdiving       :      40.91         19         23
1793.80/1794.15	c   veclendiving     :      76.30         19         18
1793.80/1794.15	c   intdiving        :       0.00          0          0
1793.80/1794.15	c   actconsdiving    :       0.00          0          0
1793.80/1794.15	c   octane           :       0.00          0          0
1793.80/1794.15	c   rens             :       1.79          1          1
1793.80/1794.15	c   rins             :       0.00          0          0
1793.80/1794.15	c   localbranching   :       0.00          0          0
1793.80/1794.15	c   mutation         :       0.00          0          0
1793.80/1794.15	c   crossover        :       0.77          2          2
1793.80/1794.15	c   dins             :       0.00          0          0
1793.80/1794.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1793.80/1794.15	c   primal LP        :       0.18          0          0       0.00       0.00
1793.80/1794.15	c   dual LP          :     499.82       1562     148285      94.93     296.68
1793.80/1794.15	c   barrier LP       :       0.00          0          0       0.00          -
1793.80/1794.15	c   diving/probing LP:     278.63       3532      65415      18.52     234.77
1793.80/1794.15	c   strong branching :     732.50       1440     193107     134.10     263.63
1793.80/1794.15	c     (at root node) :          -         26      17862     687.00          -
1793.80/1794.15	c   conflict analysis:       0.00          0          0       0.00          -
1793.80/1794.15	c B&B Tree           :
1793.80/1794.15	c   number of runs   :          1
1793.80/1794.15	c   nodes            :       1519
1793.80/1794.15	c   nodes (total)    :       1519
1793.80/1794.15	c   nodes left       :       1416
1793.80/1794.15	c   max depth        :         53
1793.80/1794.15	c   max depth (total):         53
1793.80/1794.15	c   backtracks       :        140 (9.2%)
1793.80/1794.15	c   delayed cutoffs  :          0
1793.80/1794.15	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1793.80/1794.15	c   avg switch length:       3.01
1793.80/1794.15	c   switching time   :       2.48
1793.80/1794.15	c Solution           :
1793.80/1794.15	c   Solutions found  :        392 (14 improvements)
1793.80/1794.15	c   Primal Bound     : -4.70000000000000e+01   (in run 1, after 1021 nodes, 1351.73 seconds, depth 40, found by <linesearchdiving>)
1793.80/1794.15	c   Dual Bound       : -5.60000000000000e+01
1793.80/1794.15	c   Gap              :      16.07 %
1793.80/1794.15	c   Root Dual Bound  : -5.60000000000000e+01
1793.99/1794.31	c Time complete: 1794.01.

Verifier Data 

OK	-47

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733124-1338698451/watcher-3733124-1338698451 -o /tmp/evaluation-result-3733124-1338698451/solver-3733124-1338698451 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733124-1338698451.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 22118
/proc/meminfo: memFree=27050776/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=8732 CPUtime=0 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 1538 0 0 0 0 0 0 0 20 0 1 0 335970166 8941568 1491 33554432000 4194304 7823515 140733974719056 140733198242264 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 2183 1492 349 887 0 1293 0

[startup+0.0157621 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 22118
/proc/meminfo: memFree=27050776/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=10584 CPUtime=0.01 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 2005 0 0 0 1 0 0 0 20 0 1 0 335970166 10838016 1958 33554432000 4194304 7823515 140733974719056 140733198242264 6908062 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 2646 1958 354 887 0 1756 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10584

[startup+0.100279 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 22118
/proc/meminfo: memFree=27050776/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=17548 CPUtime=0.08 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 3727 0 0 0 8 0 0 0 20 0 1 0 335970166 17969152 3680 33554432000 4194304 7823515 140733974719056 140733974585160 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 4387 3680 354 887 0 3497 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17548

[startup+0.300258 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 22118
/proc/meminfo: memFree=27050776/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=29828 CPUtime=0.29 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 6776 0 0 0 28 1 0 0 20 0 1 0 335970166 30543872 6729 33554432000 4194304 7823515 140733974719056 140733974585160 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 7457 6729 354 887 0 6567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29828

[startup+0.700284 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 22118
/proc/meminfo: memFree=27050776/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=112716 CPUtime=0.69 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 27613 0 0 0 65 4 0 0 20 0 1 0 335970166 115421184 27212 33554432000 4194304 7823515 140733974719056 140733974585160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 28179 27212 417 887 0 27289 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112716

[startup+1.5003 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 22119
/proc/meminfo: memFree=26934316/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=163392 CPUtime=1.48 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 38021 0 0 0 133 15 0 0 20 0 1 0 335970166 167313408 39837 33554432000 4194304 7823515 140733974719056 140733974715992 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 40848 39837 437 887 0 39958 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 163392

[startup+3.10034 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 22119
/proc/meminfo: memFree=26886256/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=255984 CPUtime=3.09 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 55259 0 0 0 291 18 0 0 20 0 1 0 335970166 262127616 60632 33554432000 4194304 7823515 140733974719056 140733974713720 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 63996 60632 506 887 0 63106 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 255984

[startup+6.30029 s]
/proc/loadavg: 2.18 2.04 2.01 3/178 22119
/proc/meminfo: memFree=26778900/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=294552 CPUtime=6.28 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 60656 0 0 0 608 20 0 0 20 0 1 0 335970166 301621248 69116 33554432000 4194304 7823515 140733974719056 140733974714072 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 73638 69116 525 887 0 72748 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 294552

[startup+12.7002 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 22119
/proc/meminfo: memFree=26766372/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=299572 CPUtime=12.68 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 62199 0 0 0 1245 23 0 0 20 0 1 0 335970166 306761728 71124 33554432000 4194304 7823515 140733974719056 140733974714856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 74893 71124 547 887 0 74003 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 299572

[startup+25.5002 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 22119
/proc/meminfo: memFree=26759472/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=309764 CPUtime=25.48 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 64403 0 0 0 2524 24 0 0 20 0 1 0 335970166 317198336 74350 33554432000 4194304 7823515 140733974719056 140733974714856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 77441 74350 547 887 0 76551 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 309764

[startup+51.1003 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 22119
/proc/meminfo: memFree=26749440/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=309764 CPUtime=51.08 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 64651 0 0 0 5083 25 0 0 20 0 1 0 335970166 317198336 74598 33554432000 4194304 7823515 140733974719056 140733974714392 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 77441 74598 548 887 0 76551 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 309764

[startup+102.307 s]
/proc/loadavg: 2.15 2.06 2.01 3/177 22119
/proc/meminfo: memFree=26746288/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=309764 CPUtime=102.28 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 65031 0 0 0 10199 29 0 0 20 0 1 0 335970166 317198336 74885 33554432000 4194304 7823515 140733974719056 140733974714392 6212418 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 77441 74885 548 887 0 76551 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 309764

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 22119
/proc/meminfo: memFree=26741812/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=309764 CPUtime=162.27 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 65165 0 0 0 16189 38 0 0 20 0 1 0 335970166 317198336 75019 33554432000 4194304 7823515 140733974719056 140733974714152 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 77441 75019 548 887 0 76551 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 309764

[startup+222.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 22119
/proc/meminfo: memFree=26672152/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=309764 CPUtime=222.24 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 65203 0 0 0 22176 48 0 0 20 0 1 0 335970166 317198336 75334 33554432000 4194304 7823515 140733974719056 140733974714152 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 77441 75334 548 887 0 76551 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 309764

[startup+282.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/176 22119
/proc/meminfo: memFree=26604508/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=372264 CPUtime=282.23 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 81458 0 0 0 28155 68 0 0 20 0 1 0 335970166 381198336 92205 33554432000 4194304 7823515 140733974719056 140733974713752 6211560 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 93066 92205 570 887 0 92176 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 372264

[startup+342.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/177 22120
/proc/meminfo: memFree=26604376/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=372264 CPUtime=342.21 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 81466 0 0 0 34147 74 0 0 20 0 1 0 335970166 381198336 92287 33554432000 4194304 7823515 140733974719056 140733974713752 6109349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 93066 92287 570 887 0 92176 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 372264

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 22120
/proc/meminfo: memFree=26603520/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=372264 CPUtime=402.2 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 81466 0 0 0 40139 81 0 0 20 0 1 0 335970166 381198336 92561 33554432000 4194304 7823515 140733974719056 140733974713752 5994950 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 93066 92561 570 887 0 92176 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 372264

[startup+462.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 22120
/proc/meminfo: memFree=26603828/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=372264 CPUtime=462.2 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 81466 0 0 0 46133 87 0 0 20 0 1 0 335970166 381198336 92561 33554432000 4194304 7823515 140733974719056 140733974713752 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 93066 92561 570 887 0 92176 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 372264

[startup+522.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 22120
/proc/meminfo: memFree=26603704/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=372264 CPUtime=522.18 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 81467 0 0 0 52125 93 0 0 20 0 1 0 335970166 381198336 92562 33554432000 4194304 7823515 140733974719056 140733974714104 6234864 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 93066 92562 571 887 0 92176 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 372264

[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 22123
/proc/meminfo: memFree=26603260/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=372264 CPUtime=582.18 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 81467 0 0 0 58117 101 0 0 20 0 1 0 335970166 381198336 92562 33554432000 4194304 7823515 140733974719056 140733974713752 6237106 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 93066 92562 571 887 0 92176 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 372264

[startup+642.3 s]

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

/proc/meminfo: memFree=26589876/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=386940 CPUtime=1062.11 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 84893 0 0 0 106057 154 0 0 20 0 1 0 335970166 396226560 95988 33554432000 4194304 7823515 140733974719056 140733974714392 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 96735 95988 576 887 0 95845 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 386940

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 22125
/proc/meminfo: memFree=26577476/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=386940 CPUtime=1122.1 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 84893 0 0 0 112049 161 0 0 20 0 1 0 335970166 396226560 95988 33554432000 4194304 7823515 140733974719056 140733974714392 6212075 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 96735 95988 576 887 0 95845 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 386940

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 22128
/proc/meminfo: memFree=26577404/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=386940 CPUtime=1182.08 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 84893 0 0 0 118042 166 0 0 20 0 1 0 335970166 396226560 96059 33554432000 4194304 7823515 140733974719056 140733974714392 6236722 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 96735 96059 576 887 0 95845 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 386940

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 22151
/proc/meminfo: memFree=26575592/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=386940 CPUtime=1242.07 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 84893 0 0 0 124036 171 0 0 20 0 1 0 335970166 396226560 96312 33554432000 4194304 7823515 140733974719056 140733974714392 6908036 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 96735 96312 576 887 0 95845 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 386940

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22151
/proc/meminfo: memFree=26575724/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=386940 CPUtime=1302.08 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 84893 0 0 0 130031 177 0 0 20 0 1 0 335970166 396226560 96312 33554432000 4194304 7823515 140733974719056 140733974714504 6109354 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 96735 96312 576 887 0 95845 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 386940

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 22151
/proc/meminfo: memFree=26575972/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=386940 CPUtime=1362.06 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 84893 0 0 0 136024 182 0 0 20 0 1 0 335970166 396226560 96312 33554432000 4194304 7823515 140733974719056 140733974714856 6099656 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 96735 96312 576 887 0 95845 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 386940

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22151
/proc/meminfo: memFree=26575784/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=386940 CPUtime=1422.06 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 84893 0 0 0 142018 188 0 0 20 0 1 0 335970166 396226560 96312 33554432000 4194304 7823515 140733974719056 140733974714856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 96735 96312 576 887 0 95845 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 386940

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 22151
/proc/meminfo: memFree=26574840/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=386940 CPUtime=1482.04 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 84893 0 0 0 148009 195 0 0 20 0 1 0 335970166 396226560 96312 33554432000 4194304 7823515 140733974719056 140733974714856 6212088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 96735 96312 576 887 0 95845 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 386940

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22152
/proc/meminfo: memFree=26581168/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1542.04 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 153999 205 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974714392 6109349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 379888

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22152
/proc/meminfo: memFree=26581168/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1602.02 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 159992 210 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974714216 6212582 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 379888

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22152
/proc/meminfo: memFree=26581168/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1662.01 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 165986 215 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974714392 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 379888

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22152
/proc/meminfo: memFree=26580796/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1722.01 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 171980 221 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974713752 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 379888

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 22193
/proc/meminfo: memFree=26744332/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1782 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 177974 226 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974713752 6212558 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 379888

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

[startup+1785.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 22193
/proc/meminfo: memFree=26743960/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1785.2 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 178294 226 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974715016 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 379888

[startup+1788.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 22193
/proc/meminfo: memFree=26743836/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1788.39 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 178613 226 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974714920 6099055 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 379888

[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 22193
/proc/meminfo: memFree=26742348/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1791.6 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 178934 226 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974714856 6157766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 379888

[startup+1793.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 22193
/proc/meminfo: memFree=26742348/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1793.19 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 179093 226 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974714968 6212176 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1793.19
Current children cumulated vsize (KiB) 379888

[startup+1793.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 22193
/proc/meminfo: memFree=26742348/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=379888 CPUtime=1793.59 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89863 0 0 0 179133 226 0 0 20 0 1 0 335970166 389005312 94586 33554432000 4194304 7823515 140733974719056 140733974714968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 94972 94586 576 887 0 94082 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (KiB) 379888

[startup+1794.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 22193
/proc/meminfo: memFree=26742348/32873844 swapFree=7116/7116
[pid=22118] ppid=22116 vsize=304760 CPUtime=1793.99 cores=0,2,4,6
/proc/22118/stat : 22118 (pbscip.linux.x8) R 22116 22118 10620 0 -1 4202496 89865 0 0 0 179173 226 0 0 20 0 1 0 335970166 312074240 75807 33554432000 4194304 7823515 140733974719056 140733974715656 5875900 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22118/statm: 76190 75807 578 887 0 75300 0
Current children cumulated CPU time (s) 1793.99
Current children cumulated vsize (KiB) 304760

Child status: 0
Real time (s): 1794.31
CPU time (s): 1794.02
CPU user time (s): 1791.74
CPU system time (s): 2.27265
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 407872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.74
system time used= 2.27265
maximum resident set size= 405128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89868
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= 53
involuntary context switches= 1951

runsolver used 3.06453 second user time and 8.33173 second system time

The end

Launcher Data 

Begin job on node138 at 2012-06-03 06:40:51
IDJOB=3733124
IDBENCH=2249
IDSOLVER=2321
FILE ID=node138/3733124-1338698451
RUNJOBID= node138-1338679216-19462
PBS_JOBID= 14636675
Free space on /tmp= 70776 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733124-1338698451/watcher-3733124-1338698451 -o /tmp/evaluation-result-3733124-1338698451/solver-3733124-1338698451 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733124-1338698451.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445
RANDOM SEED=1794394115

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27050784 kB
Buffers:          711072 kB
Cached:          3899572 kB
SwapCached:          208 kB
Active:          2636232 kB
Inactive:        2283732 kB
Active(anon):     293380 kB
Inactive(anon):    11376 kB
Active(file):    2342852 kB
Inactive(file):  2272356 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             12428 kB
Writeback:             0 kB
AnonPages:        245764 kB
Mapped:            16492 kB
Shmem:               200 kB
Slab:             763900 kB
SReclaimable:     206128 kB
SUnreclaim:       557772 kB
KernelStack:        1480 kB
PageTables:         4496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     426860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70768 MiB
End job on node138 at 2012-06-03 07:10:45