Trace number 1869235

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-43 1794.56 1795.12

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM62a6bdf0e089cd0b8a79007277394096
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1798.25
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 constraints109401
Number of constraints which are clauses109401
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 

1.29/1.36	c SCIP version 1.1.0.7
1.29/1.36	c LP-Solver Clp 1.8.2
1.29/1.36	c user parameter file <scip.set> not found - using default parameters
1.29/1.36	c read problem <HOME/instance-1869235-1245165677.opb>
1.29/1.36	c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109401 constraints
1.49/1.59	c start presolving problem
1.49/1.59	c presolving:
2.78/2.81	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109401 upgd conss, 218802 impls, 0 clqs
5.09/5.10	c    (3.4s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.09/5.10	c    (3.4s) probing aborted: 100/100 successive totally useless probings
5.09/5.10	c presolving (2 rounds):
5.09/5.10	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.09/5.10	c  218802 implications, 0 cliques
5.09/5.10	c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109401 constraints
5.09/5.10	c  109401 constraints of type <logicor>
5.09/5.10	c transformed objective value is always integral (scale: 1)
5.09/5.10	c Presolving Time: 3.25
5.09/5.11	c strange?!, PURESAT with obj
5.09/5.11	c -----------------------------------------------------------------------------------------------
5.09/5.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.09/5.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.11	c limits/memory = c 1620
5.09/5.11	c # maximal time in seconds to run
5.09/5.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.11	c limits/time = c 1791
5.09/5.11	c # frequency for displaying node information lines
5.09/5.11	c # [type: int, range: [-1,2147483647], default: 100]
5.09/5.11	c display/freq = c 10000
5.09/5.11	c -----------------------------------------------------------------------------------------------
5.09/5.11	c start solving problem
5.09/5.11	c 
8.19/8.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.19/8.29	c   6.5s|     1 |     0 |  1403 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |      --      |    Inf 
8.29/8.30	o 0
8.29/8.30	c r 6.5s|     1 |     0 |  1403 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 | 0.000000e+00 | 100.00%
8.49/8.54	o -1
8.49/8.54	c R 6.7s|     1 |     0 |  1403 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |-1.000000e+00 |  99.86%
25.39/25.43	c  23.5s|     1 |     0 |  1963 | 121M|   0 |1329 |1400 | 109k| 109k|1400 | 109k|   9 |   0 |   0 |-6.645000e+02 |-1.000000e+00 |  99.85%
40.27/40.33	c  38.4s|     1 |     0 |  2323 | 121M|   0 |1281 |1400 | 109k| 109k|1400 | 109k|  17 |   0 |   0 |-6.405000e+02 |-1.000000e+00 |  99.84%
56.86/56.95	c  55.0s|     1 |     0 |  2684 | 121M|   0 |1229 |1400 | 109k| 109k|1400 | 109k|  28 |   0 |   0 |-6.145000e+02 |-1.000000e+00 |  99.84%
86.46/86.53	c  84.6s|     1 |     0 |  3320 | 121M|   0 |1181 |1400 | 109k| 109k|1400 | 109k|  34 |   0 |   0 |-5.905000e+02 |-1.000000e+00 |  99.83%
123.34/123.41	c   121s|     1 |     0 |  4118 | 121M|   0 |1134 |1400 | 109k| 109k|1400 | 109k|  44 |   0 |   0 |-5.670000e+02 |-1.000000e+00 |  99.82%
162.53/162.69	c   161s|     1 |     0 |  5069 | 121M|   0 |1087 |1400 | 109k| 109k|1400 | 109k|  50 |   0 |   0 |-5.435000e+02 |-1.000000e+00 |  99.82%
200.41/200.53	c   198s|     1 |     0 |  5869 | 121M|   0 |1044 |1400 | 109k| 109k|1400 | 109k|  55 |   0 |   0 |-5.220000e+02 |-1.000000e+00 |  99.81%
230.82/230.96	c   229s|     1 |     0 |  6464 | 121M|   0 | 994 |1400 | 109k| 109k|1400 | 109k|  65 |   0 |   0 |-4.970000e+02 |-1.000000e+00 |  99.80%
270.79/270.90	c   269s|     1 |     0 |  7459 | 121M|   0 | 939 |1400 | 109k| 109k|1400 | 109k|  83 |   0 |   0 |-4.695000e+02 |-1.000000e+00 |  99.79%
292.40/292.51	c   290s|     1 |     0 |  7689 | 121M|   0 | 917 |1400 | 109k| 109k|1400 | 109k|  88 |   0 |   0 |-4.585000e+02 |-1.000000e+00 |  99.78%
317.49/317.61	c   315s|     1 |     0 |  8616 | 121M|   0 | 869 |1400 | 109k| 109k|1400 | 109k| 100 |   0 |   0 |-4.345000e+02 |-1.000000e+00 |  99.77%
342.98/343.13	c   341s|     1 |     0 |  9587 | 121M|   0 | 825 |1400 | 109k| 109k|1400 | 109k| 106 |   0 |   0 |-4.125000e+02 |-1.000000e+00 |  99.76%
364.16/364.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
364.16/364.34	c   362s|     1 |     0 | 10316 | 121M|   0 | 780 |1400 | 109k| 109k|1400 | 109k| 113 |   0 |   0 |-3.900000e+02 |-1.000000e+00 |  99.74%
388.47/388.68	c   387s|     1 |     0 | 11278 | 121M|   0 | 732 |1400 | 109k| 109k|1400 | 109k| 124 |   0 |   0 |-3.660000e+02 |-1.000000e+00 |  99.73%
410.55/410.72	c   409s|     1 |     0 | 12144 | 121M|   0 | 686 |1400 | 109k| 109k|1400 | 109k| 130 |   0 |   0 |-3.420000e+02 |-1.000000e+00 |  99.71%
430.45/430.65	c   428s|     1 |     0 | 13037 | 121M|   0 | 637 |1400 | 109k| 109k|1400 | 109k| 140 |   0 |   0 |-3.185000e+02 |-1.000000e+00 |  99.69%
453.84/454.09	c   452s|     1 |     0 | 14030 | 121M|   0 | 596 |1400 | 109k| 109k|1400 | 109k| 146 |   0 |   0 |-2.980000e+02 |-1.000000e+00 |  99.66%
472.44/472.63	c   470s|     1 |     0 | 14914 | 121M|   0 | 551 |1400 | 109k| 109k|1400 | 109k| 152 |   0 |   0 |-2.755000e+02 |-1.000000e+00 |  99.64%
491.63/491.84	c   490s|     1 |     0 | 15794 | 121M|   0 | 528 |1400 | 109k| 109k|1400 | 109k| 156 |   0 |   0 |-2.640000e+02 |-1.000000e+00 |  99.62%
504.03/504.25	c   502s|     1 |     0 | 16411 | 121M|   0 | 479 |1400 | 109k| 109k|1400 | 109k| 169 |   0 |   0 |-2.395000e+02 |-1.000000e+00 |  99.58%
521.73/521.91	c   520s|     1 |     0 | 17391 | 121M|   0 | 412 |1400 | 109k| 109k|1400 | 109k| 179 |   0 |   0 |-2.060000e+02 |-1.000000e+00 |  99.51%
537.42/537.67	c   535s|     1 |     0 | 18251 | 121M|   0 | 387 |1400 | 109k| 109k|1400 | 109k| 188 |   0 |   0 |-1.935000e+02 |-1.000000e+00 |  99.48%
551.51/551.78	c   550s|     1 |     0 | 19015 | 121M|   0 | 364 |1400 | 109k| 109k|1400 | 109k| 193 |   0 |   0 |-1.820000e+02 |-1.000000e+00 |  99.45%
564.41/564.61	c   562s|     1 |     0 | 19809 | 121M|   0 | 319 |1400 | 109k| 109k|1400 | 109k| 199 |   0 |   0 |-1.595000e+02 |-1.000000e+00 |  99.37%
576.71/576.92	c   575s|     1 |     0 | 20760 | 121M|   0 | 277 |1400 | 109k| 109k|1400 | 109k| 207 |   0 |   0 |-1.385000e+02 |-1.000000e+00 |  99.28%
583.50/583.71	c   581s|     1 |     0 | 21362 | 121M|   0 | 254 |1400 | 109k| 109k|1400 | 109k| 212 |   0 |   0 |-1.270000e+02 |-1.000000e+00 |  99.21%
594.30/594.59	c   592s|     1 |     0 | 22374 | 121M|   0 | 235 |1400 | 109k| 109k|1400 | 109k| 220 |   0 |   0 |-1.050000e+02 |-1.000000e+00 |  99.05%
602.80/603.00	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
602.80/603.00	c   601s|     1 |     0 | 23194 | 121M|   0 | 249 |1400 | 109k| 109k|1400 | 109k| 229 |   0 |   0 |-9.450000e+01 |-1.000000e+00 |  98.94%
607.89/608.10	c   606s|     1 |     0 | 23726 | 121M|   0 | 208 |1400 | 109k| 109k|1400 | 109k| 243 |   0 |   0 |-7.550000e+01 |-1.000000e+00 |  98.68%
607.89/608.16	o -1
607.89/608.16	c s 606s|     1 |     0 | 23726 | 121M|   0 | 208 |1400 | 109k| 109k|1400 | 109k| 243 |   0 |   0 |-7.550000e+01 |-1.000000e+00 |  98.68%
611.40/611.64	c   609s|     1 |     0 | 24104 | 122M|   0 | 177 |1400 | 109k| 109k|1400 | 109k| 255 |   0 |   0 |-6.466667e+01 |-1.000000e+00 |  98.45%
611.40/611.65	o -1
611.40/611.65	c r 609s|     1 |     0 | 24104 | 122M|   0 | 177 |1400 | 109k| 109k|1400 | 109k| 255 |   0 |   0 |-6.466667e+01 |-1.000000e+00 |  98.45%
611.40/611.68	o -2
611.40/611.68	c R 609s|     1 |     0 | 24104 | 122M|   0 | 177 |1400 | 109k| 109k|1400 | 109k| 255 |   0 |   0 |-6.466667e+01 |-2.000000e+00 |  96.91%
614.10/614.30	c   612s|     1 |     0 | 24292 | 122M|   0 | 182 |1400 | 109k| 109k|1400 | 109k| 264 |   0 |   0 |-5.900000e+01 |-2.000000e+00 |  96.61%
614.10/614.31	o -2
614.10/614.31	c r 612s|     1 |     0 | 24292 | 122M|   0 | 182 |1400 | 109k| 109k|1400 | 109k| 264 |   0 |   0 |-5.900000e+01 |-2.000000e+00 |  96.61%
614.10/614.34	o -3
614.10/614.34	c R 612s|     1 |     0 | 24292 | 122M|   0 | 182 |1400 | 109k| 109k|1400 | 109k| 264 |   0 |   0 |-5.900000e+01 |-3.000000e+00 |  94.92%
616.20/616.47	c   614s|     1 |     0 | 24420 | 122M|   0 | 176 |1400 | 109k| 109k|1400 | 109k| 270 |   0 |   0 |-5.600000e+01 |-3.000000e+00 |  94.64%
619.89/620.11	c   618s|     1 |     0 | 24710 | 122M|   0 | 200 |1400 | 109k| 109k|1400 | 109k| 280 |   0 |   0 |-5.600000e+01 |-3.000000e+00 |  94.64%
650.59/650.89	c   649s|     1 |     0 | 24913 | 122M|   0 | 194 |1400 | 109k| 109k|1400 | 109k| 292 |   0 |   0 |-5.600000e+01 |-3.000000e+00 |  94.64%
657.59/657.85	c   656s|     1 |     0 | 25245 | 122M|   0 | 213 |1400 | 109k| 109k|1400 | 109k| 303 |   0 |   0 |-5.600000e+01 |-3.000000e+00 |  94.64%
688.27/688.59	c   686s|     1 |     0 | 25677 | 122M|   0 | 206 |1400 | 109k| 109k|1400 | 109k| 316 |   0 |   0 |-5.600000e+01 |-3.000000e+00 |  94.64%
688.37/688.64	o -4
688.37/688.64	c R 686s|     1 |     0 | 25677 | 122M|   0 | 206 |1400 | 109k| 109k|1400 | 109k| 316 |   0 |   0 |-5.600000e+01 |-4.000000e+00 |  92.86%
724.96/725.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
724.96/725.29	c   723s|     1 |     0 | 26485 | 122M|   0 | 333 |1400 | 109k| 109k|1400 | 109k| 330 |   0 |   0 |-5.600000e+01 |-4.000000e+00 |  92.86%
725.16/725.46	o -39
725.16/725.46	c k 723s|     1 |     0 | 26485 | 122M|   0 | 333 |1400 | 109k| 109k|1400 | 109k| 330 |   0 |   0 |-5.600000e+01 |-3.900000e+01 |  30.36%
732.15/732.45	c   730s|     1 |     0 | 26485 | 122M|   0 | 333 |1400 | 109k| 109k|1400 | 109k| 330 |   0 |   0 |-5.600000e+01 |-3.900000e+01 |  30.36%
889.41/889.78	c   887s|     1 |     0 | 27757 | 122M|   0 | 285 |1400 | 109k| 109k|1400 | 109k| 338 |   0 |   0 |-5.600000e+01 |-3.900000e+01 |  30.36%
1137.74/1138.11	c  1135s|     1 |     2 | 27757 | 122M|   0 | 285 |1400 | 109k| 109k|1400 | 109k| 338 |   0 |  33 |-5.600000e+01 |-3.900000e+01 |  30.36%
1499.22/1499.75	o -40
1499.22/1499.75	c c1496s|    17 |    18 | 31280 | 124M|  16 |   - |1400 | 109k| 105k|1400 | 109k| 338 |   0 | 394 |-5.600000e+01 |-4.000000e+01 |  28.57%
1592.20/1592.76	o -43
1592.20/1592.76	c p1589s|    29 |    30 | 34079 | 125M|  16 |   - |1400 | 109k|  57k|1400 | 109k| 338 |   0 | 588 |-5.600000e+01 |-4.300000e+01 |  23.21%
1794.04/1794.66	c 
1794.04/1794.66	c SCIP Status        : solving was interrupted [time limit reached]
1794.04/1794.66	c Solving Time (sec) : 1791.05
1794.04/1794.66	c Solving Nodes      : 43
1794.04/1794.66	c Primal Bound       : -4.30000000000000e+01 (93 solutions)
1794.04/1794.66	c Dual Bound         : -5.59999999999959e+01
1794.04/1794.66	c Gap                : 23.21 %
1794.14/1794.71	c NODE         43
1794.14/1794.71	c DUAL BOUND   -56
1794.14/1794.71	c PRIMAL BOUND -43
1794.14/1794.71	c GAP          0.232143
1794.14/1794.71	s SATISFIABLE
1794.14/1794.71	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 
1794.14/1794.71	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 
1794.14/1794.71	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 
1794.14/1794.71	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 
1794.14/1794.71	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
1794.14/1794.71	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 
1794.14/1794.71	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
1794.14/1794.71	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
1794.14/1794.71	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 
1794.14/1794.71	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 
1794.14/1794.71	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
1794.14/1794.71	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
1794.14/1794.71	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1794.14/1794.71	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 
1794.14/1794.71	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
1794.14/1794.71	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 
1794.14/1794.71	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 
1794.14/1794.71	v -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
1794.14/1794.71	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
1794.14/1794.71	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 
1794.14/1794.71	v -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
1794.14/1794.71	v x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 
1794.14/1794.71	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 
1794.14/1794.71	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 
1794.14/1794.71	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 
1794.14/1794.71	v x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
1794.14/1794.71	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 
1794.14/1794.71	v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 
1794.14/1794.71	v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 
1794.14/1794.71	v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 
1794.14/1794.71	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 
1794.14/1794.71	v -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 
1794.14/1794.71	v -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 
1794.14/1794.71	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
1794.14/1794.71	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 
1794.14/1794.71	v -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 
1794.14/1794.71	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 
1794.14/1794.71	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 
1794.14/1794.71	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
1794.14/1794.71	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 
1794.14/1794.71	v -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 
1794.14/1794.71	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 
1794.14/1794.71	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 
1794.14/1794.71	v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
1794.14/1794.71	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 
1794.14/1794.71	v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 
1794.14/1794.71	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
1794.14/1794.71	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 
1794.14/1794.71	v -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 
1794.14/1794.71	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 
1794.14/1794.71	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 
1794.14/1794.71	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
1794.14/1794.71	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 
1794.14/1794.71	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 
1794.14/1794.71	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 
1794.14/1794.71	v -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 
1794.14/1794.71	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 
1794.14/1794.71	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 
1794.14/1794.71	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 
1794.14/1794.71	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 
1794.14/1794.71	v x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 
1794.14/1794.71	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
1794.14/1794.71	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
1794.14/1794.71	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 
1794.14/1794.71	v -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 
1794.14/1794.71	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 
1794.14/1794.71	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 
1794.14/1794.71	v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 
1794.14/1794.71	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 
1794.14/1794.71	v -x1398 -x1399 -x1400 
1794.14/1794.71	c SCIP Status        : solving was interrupted [time limit reached]
1794.14/1794.71	c Solving Time       :    1791.05
1794.14/1794.71	c Original Problem   :
1794.14/1794.71	c   Problem name     : HOME/instance-1869235-1245165677.opb
1794.14/1794.71	c   Variables        : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.14/1794.71	c   Constraints      : 109401 initial, 109401 maximal
1794.14/1794.71	c Presolved Problem  :
1794.14/1794.71	c   Problem name     : t_HOME/instance-1869235-1245165677.opb
1794.14/1794.71	c   Variables        : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.14/1794.71	c   Constraints      : 109401 initial, 109401 maximal
1794.14/1794.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.14/1794.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.14/1794.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.14/1794.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.14/1794.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.14/1794.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.14/1794.71	c   probing          :       2.12          0          0          0          0          0          0          0          0
1794.14/1794.71	c   logicor          :       0.29          0          0          0          0          0          0          0          0
1794.14/1794.71	c   root node        :          -          0          -          -          0          -          -          -          -
1794.14/1794.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.14/1794.71	c   integral         :          0          0          0         44          0          0          2          0          0         86
1794.14/1794.71	c   logicor          :     109401         38        288          0          0          0       2415          0          0          0
1794.14/1794.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.14/1794.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.14/1794.71	c   integral         :     854.08       0.00       0.00     854.08       0.00
1794.14/1794.71	c   logicor          :       1.89       0.65       1.24       0.00       0.00
1794.14/1794.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.14/1794.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.14/1794.71	c   rootredcost      :       0.00          2          0          0
1794.14/1794.71	c   pseudoobj        :       0.06        201          0          0
1794.14/1794.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.14/1794.71	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.14/1794.71	c   infeasible LP    :       0.00          8          0          0        0.0          0        0.0          0
1794.14/1794.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.14/1794.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.14/1794.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.14/1794.71	c   applied globally :          -          -          -          0        0.0          -          -          -
1794.14/1794.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.14/1794.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.14/1794.71	c   cut pool         :       0.02         37          -          -         69          -    (maximal pool size: 685)
1794.14/1794.71	c   redcost          :       0.02         81          0          0          0          0
1794.14/1794.71	c   impliedbounds    :       0.09         38          0          0          0          0
1794.14/1794.71	c   intobj           :       0.00          0          0          0          0          0
1794.14/1794.71	c   gomory           :     269.67         38          0          0      19000          0
1794.14/1794.71	c   strongcg         :      26.64         20          0          0      10000          0
1794.14/1794.71	c   cmir             :      45.31         10          0          0          0          0
1794.14/1794.71	c   flowcover        :      48.89         10          0          0          0          0
1794.14/1794.71	c   clique           :       2.80         38          0          0        350          0
1794.14/1794.71	c   zerohalf         :       0.00          0          0          0          0          0
1794.14/1794.71	c   mcf              :       0.22          1          0          0          0          0
1794.14/1794.71	c Pricers            :       Time      Calls       Vars
1794.14/1794.71	c   problem variables:       0.00          0          0
1794.14/1794.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.14/1794.71	c   relpscost        :     854.08         44          0          2          0          0         86
1794.14/1794.71	c   pscost           :       0.00          0          0          0          0          0          0
1794.14/1794.71	c   inference        :       0.00          0          0          0          0          0          0
1794.14/1794.71	c   mostinf          :       0.00          0          0          0          0          0          0
1794.14/1794.71	c   leastinf         :       0.00          0          0          0          0          0          0
1794.14/1794.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.14/1794.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.14/1794.71	c   random           :       0.00          0          0          0          0          0          0
1794.14/1794.71	c Primal Heuristics  :       Time      Calls      Found
1794.14/1794.71	c   LP solutions     :       0.00          -          0
1794.14/1794.71	c   pseudo solutions :       0.00          -          0
1794.14/1794.71	c   veclendiving     :       0.00          0          0
1794.14/1794.71	c   objpscostdiving  :       0.00          0          0
1794.14/1794.71	c   rootsoldiving    :       0.00          0          0
1794.14/1794.71	c   linesearchdiving :       0.00          0          0
1794.14/1794.71	c   guideddiving     :       0.00          0          0
1794.14/1794.71	c   crossover        :       0.00          0          0
1794.14/1794.71	c   oneopt           :       0.13          3          1
1794.14/1794.71	c   coefdiving       :       3.47          1         13
1794.14/1794.71	c   pscostdiving     :       2.72          1         14
1794.14/1794.71	c   fracdiving       :       3.63          1         10
1794.14/1794.71	c   simplerounding   :       0.44         82         44
1794.14/1794.71	c   rounding         :       3.54         82          4
1794.14/1794.71	c   shifting         :       3.85         42          6
1794.14/1794.71	c   intshifting      :       0.00          0          0
1794.14/1794.71	c   fixandinfer      :       0.00          0          0
1794.14/1794.71	c   feaspump         :       0.00          0          0
1794.14/1794.71	c   intdiving        :       0.00          0          0
1794.14/1794.71	c   actconsdiving    :       0.00          0          0
1794.14/1794.71	c   octane           :       0.00          0          0
1794.14/1794.71	c   rens             :       6.77          1          1
1794.14/1794.71	c   rins             :       0.00          0          0
1794.14/1794.71	c   localbranching   :       0.00          0          0
1794.14/1794.71	c   mutation         :       0.00          0          0
1794.14/1794.71	c   dins             :       0.00          0          0
1794.14/1794.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.14/1794.71	c   primal LP        :       3.73          0          0       0.00       0.00
1794.14/1794.71	c   dual LP          :     507.72         82      35944     438.34      70.79
1794.14/1794.71	c   barrier LP       :       0.00          0          0       0.00          -
1794.14/1794.71	c   diving/probing LP:       8.69         46       1275      27.72     146.72
1794.14/1794.71	c   strong branching :     854.07        801     138503     172.91     162.17
1794.14/1794.71	c     (at root node) :          -         33      19943     604.33          -
1794.14/1794.71	c   conflict analysis:       0.00          0          0       0.00          -
1794.14/1794.71	c B&B Tree           :
1794.14/1794.71	c   number of runs   :          1
1794.14/1794.71	c   nodes            :         43
1794.14/1794.71	c   nodes (total)    :         43
1794.14/1794.71	c   nodes left       :         44
1794.14/1794.71	c   max depth        :         18
1794.14/1794.71	c   max depth (total):         18
1794.14/1794.71	c   backtracks       :          3 (7.0%)
1794.14/1794.71	c   delayed cutoffs  :          0
1794.14/1794.71	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.14/1794.71	c   avg switch length:       2.00
1794.14/1794.71	c   switching time   :       1.41
1794.14/1794.71	c Solution           :
1794.14/1794.71	c   Solutions found  :         93 (11 improvements)
1794.14/1794.71	c   Primal Bound     : -4.30000000000000e+01   (in run 1, after 29 nodes, 1589.33 seconds, depth 31, found by <pscostdiving>)
1794.14/1794.71	c   Dual Bound       : -5.59999999999959e+01
1794.14/1794.71	c   Gap              :      23.21 %
1794.14/1794.71	c   Root Dual Bound  : -5.60000000000000e+01
1794.54/1795.11	c Time complete: 1794.55.

Verifier Data 

OK	-43

Watcher Data 

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

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

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.00 1.00 0.91 3/65 26629
/proc/meminfo: memFree=942440/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=7616 CPUtime=0
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 607 0 0 0 0 0 0 0 20 0 1 0 95989509 7798784 591 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/26629/statm: 1904 602 353 1256 0 643 0

[startup+0.054102 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 26629
/proc/meminfo: memFree=942440/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=12924 CPUtime=0.04
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 2204 0 0 0 4 0 0 0 20 0 1 0 95989509 13234176 2188 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/26629/statm: 3231 2188 378 1256 0 1970 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12924

[startup+0.102107 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 26629
/proc/meminfo: memFree=942440/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=14492 CPUtime=0.09
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 2619 0 0 0 9 0 0 0 20 0 1 0 95989509 14839808 2603 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/26629/statm: 3623 2603 378 1256 0 2362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14492

[startup+0.301141 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 26629
/proc/meminfo: memFree=942440/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=20228 CPUtime=0.29
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 4019 0 0 0 28 1 0 0 22 0 1 0 95989509 20713472 4003 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/26629/statm: 5057 4003 378 1256 0 3796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20228

[startup+0.701182 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 26629
/proc/meminfo: memFree=942440/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=31356 CPUtime=0.69
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 6787 0 0 0 67 2 0 0 25 0 1 0 95989509 32108544 6771 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/26629/statm: 7839 6771 378 1256 0 6578 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31356

[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=908960/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=94664 CPUtime=1.49
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 22943 0 0 0 140 9 0 0 25 0 1 0 95989509 96935936 22573 1992294400 4194304 9342243 548682068736 18446744073709551615 8251406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 23666 22573 411 1256 0 22405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94664

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=828768/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=163948 CPUtime=3.09
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 43497 0 0 0 273 36 0 0 25 0 1 0 95989509 167882752 39723 1992294400 4194304 9342243 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 40987 39723 479 1256 0 39726 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163948

[startup+6.30188 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=759328/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=265192 CPUtime=6.28
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 59315 0 0 0 585 43 0 0 25 0 1 0 95989509 271556608 55285 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 66298 55285 604 1256 0 65037 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 265192

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=690336/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=307072 CPUtime=12.68
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 69061 0 0 0 1213 55 0 0 25 0 1 0 95989509 314441728 65031 1992294400 4194304 9342243 548682068736 18446744073709551615 5990699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 76768 65031 644 1256 0 75507 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 307072

[startup+25.5023 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=676840/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=313064 CPUtime=25.49
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 71464 0 0 0 2492 57 0 0 25 0 1 0 95989509 320577536 67434 1992294400 4194304 9342243 548682068736 18446744073709551615 5394062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 78266 67434 644 1256 0 77005 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 313064

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=668328/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=313608 CPUtime=51.07
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 73054 0 0 0 5047 60 0 0 25 0 1 0 95989509 321134592 69024 1992294400 4194304 9342243 548682068736 18446744073709551615 6960748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 78402 69024 644 1256 0 77141 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 313608

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=660968/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=313608 CPUtime=102.25
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 74853 0 0 0 10163 62 0 0 25 0 1 0 95989509 321134592 70823 1992294400 4194304 9342243 548682068736 18446744073709551615 6960598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 78402 70823 644 1256 0 77141 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 313608

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=655976/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=313608 CPUtime=162.23
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 76105 0 0 0 16158 65 0 0 25 0 1 0 95989509 321134592 72075 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 78402 72075 646 1256 0 77141 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 313608

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=654824/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=313608 CPUtime=222.21
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 76373 0 0 0 22155 66 0 0 25 0 1 0 95989509 321134592 72343 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 78402 72343 647 1256 0 77141 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 313608

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=653672/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=313608 CPUtime=282.2
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 76653 0 0 0 28152 68 0 0 25 0 1 0 95989509 321134592 72623 1992294400 4194304 9342243 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 78402 72623 647 1256 0 77141 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 313608

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=648488/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=317208 CPUtime=342.18
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 77956 0 0 0 34148 70 0 0 25 0 1 0 95989509 324820992 73926 1992294400 4194304 9342243 548682068736 18446744073709551615 6962220 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 79302 73926 660 1256 0 78041 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 317208

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=647912/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=317208 CPUtime=402.16
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 78080 0 0 0 40144 72 0 0 25 0 1 0 95989509 324820992 74050 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 79302 74050 660 1256 0 78041 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 317208

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=647336/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=317208 CPUtime=462.14
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 78217 0 0 0 46141 73 0 0 25 0 1 0 95989509 324820992 74187 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 79302 74187 660 1256 0 78041 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 317208

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=642664/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=318224 CPUtime=522.13
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 79387 0 0 0 52136 77 0 0 25 0 1 0 95989509 325861376 75357 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 79556 75357 660 1256 0 78295 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 318224

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=641320/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=318224 CPUtime=582.1
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 79718 0 0 0 58132 78 0 0 25 0 1 0 95989509 325861376 75688 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 79556 75688 660 1256 0 78295 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 318224

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=641256/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=318224 CPUtime=642.09
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 79720 0 0 0 64128 81 0 0 25 0 1 0 95989509 325861376 75690 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 79556 75690 660 1256 0 78295 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 318224

[startup+702.301 s]

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

/proc/meminfo: memFree=564200/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1061.96
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98956 0 0 0 106067 129 0 0 25 0 1 0 95989509 394981376 94926 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94926 693 1256 0 95170 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 385724

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=564200/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1121.94
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98956 0 0 0 112064 130 0 0 25 0 1 0 95989509 394981376 94926 1992294400 4194304 9342243 548682068736 18446744073709551615 6960598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94926 693 1256 0 95170 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 385724

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=564200/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1181.92
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98956 0 0 0 118060 132 0 0 25 0 1 0 95989509 394981376 94926 1992294400 4194304 9342243 548682068736 18446744073709551615 6960771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94926 693 1256 0 95170 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 385724

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=564136/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1241.9
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98956 0 0 0 124056 134 0 0 25 0 1 0 95989509 394981376 94926 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94926 693 1256 0 95170 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 385724

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=564072/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1301.89
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98956 0 0 0 130054 135 0 0 25 0 1 0 95989509 394981376 94926 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94926 693 1256 0 95170 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 385724

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=564072/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1361.87
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98956 0 0 0 136049 138 0 0 25 0 1 0 95989509 394981376 94926 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94926 693 1256 0 95170 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 385724

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=564072/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1421.86
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98956 0 0 0 142043 143 0 0 25 0 1 0 95989509 394981376 94926 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94926 693 1256 0 95170 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 385724

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26630
/proc/meminfo: memFree=564008/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1481.84
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98957 0 0 0 148034 150 0 0 25 0 1 0 95989509 394981376 94927 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94927 694 1256 0 95170 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 385724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563816/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1541.81
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98957 0 0 0 154026 155 0 0 25 0 1 0 95989509 394981376 94927 1992294400 4194304 9342243 548682068736 18446744073709551615 6960346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94927 694 1256 0 95170 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 385724

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1601.8
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98957 0 0 0 160018 162 0 0 25 0 1 0 95989509 394981376 94927 1992294400 4194304 9342243 548682068736 18446744073709551615 6018146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94927 694 1256 0 95170 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 385724

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1661.77
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98957 0 0 0 166009 168 0 0 25 0 1 0 95989509 394981376 94927 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94927 694 1256 0 95170 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 385724

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1721.76
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98960 0 0 0 172004 172 0 0 25 0 1 0 95989509 394981376 94930 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94930 697 1256 0 95170 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 385724

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1781.74
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98960 0 0 0 178001 173 0 0 25 0 1 0 95989509 394981376 94930 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94930 697 1256 0 95170 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 385724

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1784.93
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98960 0 0 0 178320 173 0 0 25 0 1 0 95989509 394981376 94930 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94930 697 1256 0 95170 0
Current children cumulated CPU time (s) 1784.93
Current children cumulated vsize (KiB) 385724

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1791.33
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98960 0 0 0 178960 173 0 0 25 0 1 0 95989509 394981376 94930 1992294400 4194304 9342243 548682068736 18446744073709551615 6970131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94930 697 1256 0 95170 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 385724

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1792.94
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98960 0 0 0 179120 174 0 0 25 0 1 0 95989509 394981376 94930 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94930 697 1256 0 95170 0
Current children cumulated CPU time (s) 1792.94
Current children cumulated vsize (KiB) 385724

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1793.74
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98960 0 0 0 179200 174 0 0 25 0 1 0 95989509 394981376 94930 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94930 697 1256 0 95170 0
Current children cumulated CPU time (s) 1793.74
Current children cumulated vsize (KiB) 385724

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=563880/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=385724 CPUtime=1794.14
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98960 0 0 0 179240 174 0 0 25 0 1 0 95989509 394981376 94930 1992294400 4194304 9342243 548682068736 18446744073709551615 4545401 0 0 4096 0 0 0 0 17 1 0 0
/proc/26629/statm: 96431 94930 697 1256 0 95170 0
Current children cumulated CPU time (s) 1794.14
Current children cumulated vsize (KiB) 385724

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 26632
/proc/meminfo: memFree=851816/2055920 swapFree=4192956/4192956
[pid=26629] ppid=26627 vsize=112760 CPUtime=1794.54
/proc/26629/stat : 26629 (pbscip.linux.x8) R 26627 26629 26457 0 -1 4194304 98961 0 0 0 179276 178 0 0 19 0 1 0 95989509 115466240 27264 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/26629/statm: 28190 27264 12165 1256 0 26929 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 112760

Child status: 0
Real time (s): 1795.12
CPU time (s): 1794.56
CPU user time (s): 1792.76
CPU system time (s): 1.79573
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 385724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.76
system time used= 1.79573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98964
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= 13
involuntary context switches= 4020

runsolver used 1.85772 second user time and 4.66929 second system time

The end

Launcher Data 

Begin job on node92 at 2009-06-16 17:21:17
IDJOB=1869235
IDBENCH=2248
IDSOLVER=684
FILE ID=node92/1869235-1245165677
PBS_JOBID= 9363866
Free space on /tmp= 66468 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869235-1245165677/watcher-1869235-1245165677 -o /tmp/evaluation-result-1869235-1245165677/solver-1869235-1245165677 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869235-1245165677.opb

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

MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096
RANDOM SEED=1250502778

node92.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.233
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.233
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        942920 kB
Buffers:         48156 kB
Cached:         979324 kB
SwapCached:          0 kB
Active:         541712 kB
Inactive:       499596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        942920 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           14344 kB
Writeback:           0 kB
Mapped:          23580 kB
Slab:            57556 kB
Committed_AS:    62832 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66456 MiB
End job on node92 at 2009-06-16 17:51:12