Trace number 1869209

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-28 1798.72 1799.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1796.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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.19/0.22	c SCIP version 1.1.0.7
0.19/0.22	c LP-Solver Clp 1.8.2
0.19/0.22	c user parameter file <scip.set> not found - using default parameters
0.19/0.22	c read problem <HOME/instance-1869209-1245163606.opb>
0.19/0.22	c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17794 constraints
0.19/0.26	c start presolving problem
0.19/0.26	c presolving:
0.39/0.45	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17794 upgd conss, 35588 impls, 0 clqs
0.79/0.84	c    (0.6s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.84	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.79/0.84	c presolving (2 rounds):
0.79/0.84	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.84	c  35588 implications, 0 cliques
0.79/0.84	c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17794 constraints
0.79/0.84	c   17794 constraints of type <logicor>
0.79/0.84	c transformed objective value is always integral (scale: 1)
0.79/0.84	c Presolving Time: 0.54
0.79/0.84	c strange?!, PURESAT with obj
0.79/0.84	c -----------------------------------------------------------------------------------------------
0.79/0.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.84	c limits/memory = c 1620
0.79/0.84	c # maximal time in seconds to run
0.79/0.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.84	c limits/time = c 1791
0.79/0.84	c # frequency for displaying node information lines
0.79/0.84	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.84	c display/freq = c 10000
0.79/0.84	c -----------------------------------------------------------------------------------------------
0.79/0.84	c start solving problem
0.79/0.84	c 
0.99/1.06	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.06	c   0.8s|     1 |     0 |   456 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |      --      |    Inf 
0.99/1.06	o 0
0.99/1.06	c r 0.8s|     1 |     0 |   456 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 | 0.000000e+00 | 100.00%
0.99/1.08	o -1
0.99/1.08	c R 0.8s|     1 |     0 |   456 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |-1.000000e+00 |  99.56%
1.89/1.97	c   1.6s|     1 |     0 |   658 |  20M|   0 | 406 | 450 |  17k|  17k| 450 |  17k|  11 |   0 |   0 |-2.030000e+02 |-1.000000e+00 |  99.51%
2.89/2.99	c   2.6s|     1 |     0 |   803 |  20M|   0 | 389 | 450 |  17k|  17k| 450 |  17k|  16 |   0 |   0 |-1.945000e+02 |-1.000000e+00 |  99.49%
3.99/4.08	c   3.7s|     1 |     0 |   940 |  20M|   0 | 363 | 450 |  17k|  17k| 450 |  17k|  21 |   0 |   0 |-1.807500e+02 |-1.000000e+00 |  99.45%
5.49/5.52	c   5.2s|     1 |     0 |  1173 |  20M|   0 | 332 | 450 |  17k|  17k| 450 |  17k|  29 |   0 |   0 |-1.652500e+02 |-1.000000e+00 |  99.39%
7.09/7.11	c   6.8s|     1 |     0 |  1420 |  20M|   0 | 294 | 450 |  17k|  17k| 450 |  17k|  41 |   0 |   0 |-1.460000e+02 |-1.000000e+00 |  99.32%
8.58/8.63	c   8.3s|     1 |     0 |  1657 |  20M|   0 | 269 | 450 |  17k|  17k| 450 |  17k|  48 |   0 |   0 |-1.335000e+02 |-1.000000e+00 |  99.25%
10.18/10.20	c   9.8s|     1 |     0 |  1936 |  20M|   0 | 244 | 450 |  17k|  17k| 450 |  17k|  55 |   0 |   0 |-1.205000e+02 |-1.000000e+00 |  99.17%
11.19/11.28	c  10.9s|     1 |     0 |  2046 |  20M|   0 | 229 | 450 |  17k|  17k| 450 |  17k|  60 |   0 |   0 |-1.135000e+02 |-1.000000e+00 |  99.12%
12.49/12.50	c  12.1s|     1 |     0 |  2278 |  20M|   0 | 202 | 450 |  17k|  17k| 450 |  17k|  69 |   0 |   0 |-9.975000e+01 |-1.000000e+00 |  99.00%
13.68/13.79	c  13.4s|     1 |     0 |  2583 |  20M|   0 | 176 | 450 |  17k|  17k| 450 |  17k|  77 |   0 |   0 |-8.675000e+01 |-1.000000e+00 |  98.85%
14.69/14.74	c  14.4s|     1 |     0 |  2941 |  20M|   0 | 137 | 450 |  17k|  17k| 450 |  17k|  87 |   0 |   0 |-6.775000e+01 |-1.000000e+00 |  98.52%
15.08/15.13	c  14.8s|     1 |     0 |  3003 |  20M|   0 | 124 | 450 |  17k|  17k| 450 |  17k|  93 |   0 |   0 |-6.100000e+01 |-1.000000e+00 |  98.36%
15.08/15.14	o -2
15.08/15.14	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.08/15.14	c R14.8s|     1 |     0 |  3003 |  20M|   0 | 124 | 450 |  17k|  17k| 450 |  17k|  93 |   0 |   0 |-6.100000e+01 |-2.000000e+00 |  96.72%
15.88/15.93	c  15.6s|     1 |     0 |  3298 |  20M|   0 | 102 | 450 |  17k|  17k| 450 |  17k|  99 |   0 |   0 |-5.100000e+01 |-2.000000e+00 |  96.08%
16.58/16.62	c  16.2s|     1 |     0 |  3576 |  20M|   0 |  88 | 450 |  17k|  17k| 450 |  17k| 107 |   0 |   0 |-4.400000e+01 |-2.000000e+00 |  95.45%
17.19/17.25	c  16.9s|     1 |     0 |  3853 |  20M|   0 |  87 | 450 |  17k|  17k| 450 |  17k| 112 |   0 |   0 |-3.400000e+01 |-2.000000e+00 |  94.12%
17.19/17.26	o -3
17.19/17.26	c R16.9s|     1 |     0 |  3853 |  20M|   0 |  87 | 450 |  17k|  17k| 450 |  17k| 112 |   0 |   0 |-3.400000e+01 |-3.000000e+00 |  91.18%
17.59/17.69	c  17.3s|     1 |     0 |  4005 |  20M|   0 |  93 | 450 |  17k|  17k| 450 |  17k| 122 |   0 |   0 |-3.300000e+01 |-3.000000e+00 |  90.91%
18.19/18.21	c  17.8s|     1 |     0 |  4105 |  20M|   0 |  64 | 450 |  17k|  17k| 450 |  17k| 131 |   0 |   0 |-3.250000e+01 |-3.000000e+00 |  90.77%
18.69/18.78	c  18.4s|     1 |     0 |  4276 |  20M|   0 |  99 | 450 |  17k|  17k| 450 |  17k| 139 |   0 |   0 |-3.166667e+01 |-3.000000e+00 |  90.53%
19.28/19.34	c  19.0s|     1 |     0 |  4400 |  21M|   0 |  89 | 450 |  17k|  17k| 450 |  17k| 152 |   0 |   0 |-3.160000e+01 |-3.000000e+00 |  90.51%
19.88/19.92	c  19.5s|     1 |     0 |  4605 |  21M|   0 | 120 | 450 |  17k|  17k| 450 |  17k| 164 |   0 |   0 |-3.160000e+01 |-3.000000e+00 |  90.51%
20.69/20.70	c  20.3s|     1 |     0 |  4955 |  21M|   0 | 140 | 450 |  17k|  17k| 450 |  17k| 176 |   0 |   0 |-3.160000e+01 |-3.000000e+00 |  90.51%
21.68/21.71	c  21.3s|     1 |     0 |  5359 |  21M|   0 | 142 | 450 |  17k|  17k| 450 |  17k| 182 |   0 |   0 |-3.100000e+01 |-3.000000e+00 |  90.32%
22.99/23.05	c  22.6s|     1 |     0 |  5936 |  21M|   0 | 137 | 450 |  17k|  17k| 450 |  17k| 192 |   0 |   0 |-3.066667e+01 |-3.000000e+00 |  90.22%
22.99/23.06	o -4
22.99/23.06	c R22.7s|     1 |     0 |  5936 |  21M|   0 | 137 | 450 |  17k|  17k| 450 |  17k| 192 |   0 |   0 |-3.066667e+01 |-4.000000e+00 |  86.96%
23.98/24.08	c  23.7s|     1 |     0 |  6404 |  21M|   0 | 159 | 450 |  17k|  17k| 450 |  17k| 203 |   0 |   0 |-3.050000e+01 |-4.000000e+00 |  86.89%
24.09/24.10	o -4
24.09/24.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.09/24.10	c s23.7s|     1 |     0 |  6404 |  21M|   0 | 159 | 450 |  17k|  17k| 450 |  17k| 203 |   0 |   0 |-3.050000e+01 |-4.000000e+00 |  86.89%
25.78/25.85	c  25.4s|     1 |     0 |  7084 |  21M|   0 | 147 | 450 |  17k|  17k| 450 |  17k| 215 |   0 |   0 |-3.000000e+01 |-4.000000e+00 |  86.67%
25.78/25.86	o -5
25.78/25.86	c R25.4s|     1 |     0 |  7084 |  21M|   0 | 147 | 450 |  17k|  17k| 450 |  17k| 215 |   0 |   0 |-3.000000e+01 |-5.000000e+00 |  83.33%
25.78/25.87	o -6
25.78/25.87	c s25.5s|     1 |     0 |  7084 |  21M|   0 | 147 | 450 |  17k|  17k| 450 |  17k| 215 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
28.48/28.56	c  28.1s|     1 |     0 |  7682 |  22M|   0 | 177 | 450 |  17k|  17k| 450 |  17k| 223 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
31.89/31.97	c  31.5s|     1 |     0 |  8506 |  22M|   0 | 163 | 450 |  17k|  17k| 450 |  17k| 229 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
35.87/35.96	c  35.5s|     1 |     0 |  8985 |  22M|   0 | 192 | 450 |  17k|  17k| 450 |  17k| 239 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
41.97/42.00	c  41.5s|     1 |     0 |  9385 |  22M|   0 | 163 | 450 |  17k|  17k| 450 |  17k| 246 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
47.37/47.41	c  46.9s|     1 |     0 | 10015 |  22M|   0 | 158 | 450 |  17k|  17k| 450 |  17k| 257 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
47.37/47.43	o -20
47.37/47.43	c k46.9s|     1 |     0 | 10015 |  22M|   0 | 158 | 450 |  17k|  17k| 450 |  17k| 257 |   0 |   0 |-3.000000e+01 |-2.000000e+01 |  33.33%
50.58/50.63	o -21
50.58/50.63	c E50.1s|     1 |     0 | 10015 |  22M|   0 | 158 | 450 |  17k|  17k| 450 |  17k| 257 |   0 |   0 |-3.000000e+01 |-2.100000e+01 |  30.00%
50.58/50.66	c  50.1s|     1 |     0 | 10015 |  22M|   0 | 158 | 450 |  17k|  17k| 450 |  17k| 257 |   0 |   0 |-3.000000e+01 |-2.100000e+01 |  30.00%
52.57/52.69	c  52.1s|     1 |     0 | 10319 |  22M|   0 | 164 | 450 |  17k|  17k| 450 |  17k| 264 |   0 |   0 |-3.000000e+01 |-2.100000e+01 |  30.00%
100.15/100.20	c  99.5s|     1 |     2 | 10319 |  22M|   0 | 164 | 450 |  17k|  17k| 450 |  17k| 264 |   0 |  33 |-3.000000e+01 |-2.100000e+01 |  30.00%
174.73/174.88	o -22
174.73/174.88	c * 174s|    13 |    12 | 11766 |  23M|  12 |   - | 450 |  17k|  16k| 450 |  17k| 264 |   0 | 296 |-3.000000e+01 |-2.200000e+01 |  26.67%
175.13/175.22	o -23
175.13/175.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
175.13/175.22	c * 174s|    14 |    11 | 11796 |  23M|  12 |   - | 450 |  17k|  15k| 450 |  17k| 264 |   0 | 307 |-3.000000e+01 |-2.300000e+01 |  23.33%
214.51/214.67	o -24
214.51/214.67	c R 214s|    36 |    21 | 14573 |  23M|  13 |   - | 450 |  17k|9283 | 450 |  17k| 264 |   0 | 633 |-3.000000e+01 |-2.400000e+01 |  20.00%
234.51/234.67	o -25
234.51/234.67	c * 234s|    48 |    27 | 16156 |  23M|  14 |   - | 450 |  17k|  13k| 450 |  17k| 264 |   0 | 735 |-3.000000e+01 |-2.500000e+01 |  16.67%
240.81/240.93	o -26
240.81/240.93	c p 240s|   104 |    49 | 20122 |  23M|  19 |   - | 450 |  17k|6252 | 450 |  17k| 264 |   0 | 743 |-3.000000e+01 |-2.600000e+01 |  13.33%
255.30/255.43	o -27
255.30/255.43	c * 254s|   296 |    99 | 31957 |  24M|  21 |   - | 450 |  17k|5277 | 450 |  17k| 264 |   0 | 795 |-3.000000e+01 |-2.700000e+01 |  10.00%
781.12/781.43	o -28
781.12/781.43	c * 778s|  5768 |  1461 |567805 |  33M|  68 |   - | 450 |  17k|3472 | 450 |  17k| 264 |   0 |1729 |-3.000000e+01 |-2.800000e+01 |   6.67%
1121.61/1122.07	c  1117s| 10000 |  2255 |933841 |  38M|  79 |  76 | 450 |  17k|5922 | 450 |  17k| 264 |   0 |2402 |-3.000000e+01 |-2.800000e+01 |   6.67%
1798.57/1799.23	c 
1798.57/1799.23	c SCIP Status        : solving was interrupted [time limit reached]
1798.57/1799.23	c Solving Time (sec) : 1791.00
1798.57/1799.23	c Solving Nodes      : 19127
1798.57/1799.23	c Primal Bound       : -2.80000000000000e+01 (417 solutions)
1798.57/1799.23	c Dual Bound         : -2.99999999999863e+01
1798.57/1799.23	c Gap                : 6.67 %
1798.57/1799.24	c NODE         19127
1798.57/1799.24	c DUAL BOUND   -30
1798.57/1799.24	c PRIMAL BOUND -28
1798.57/1799.24	c GAP          0.0666667
1798.57/1799.24	s SATISFIABLE
1798.57/1799.24	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 
1798.57/1799.24	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 
1798.57/1799.24	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 
1798.57/1799.24	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 
1798.57/1799.24	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 
1798.57/1799.24	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 
1798.57/1799.24	v -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1798.57/1799.24	v -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 
1798.57/1799.24	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 
1798.57/1799.24	v -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 
1798.57/1799.24	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 
1798.57/1799.24	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 
1798.57/1799.24	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 
1798.57/1799.24	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 
1798.57/1799.24	v -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 
1798.57/1799.24	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 
1798.57/1799.24	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 
1798.57/1799.24	v -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 
1798.57/1799.24	v -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 
1798.57/1799.24	v -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 
1798.57/1799.24	v x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 
1798.57/1799.24	c SCIP Status        : solving was interrupted [time limit reached]
1798.57/1799.24	c Solving Time       :    1791.00
1798.57/1799.24	c Original Problem   :
1798.57/1799.24	c   Problem name     : HOME/instance-1869209-1245163606.opb
1798.57/1799.24	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.57/1799.24	c   Constraints      : 17794 initial, 17794 maximal
1798.57/1799.24	c Presolved Problem  :
1798.57/1799.24	c   Problem name     : t_HOME/instance-1869209-1245163606.opb
1798.57/1799.24	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.57/1799.24	c   Constraints      : 17794 initial, 17794 maximal
1798.57/1799.24	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.57/1799.24	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1798.57/1799.24	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1798.57/1799.24	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.57/1799.24	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.57/1799.24	c   implics          :       0.00          0          0          0          0          0          0          0          0
1798.57/1799.24	c   probing          :       0.36          0          0          0          0          0          0          0          0
1798.57/1799.24	c   logicor          :       0.05          0          0          0          0          0          0          0          0
1798.57/1799.24	c   root node        :          -          0          -          -          0          -          -          -          -
1798.57/1799.24	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.57/1799.24	c   integral         :          0          0          0      12228          0         43        710          0          0      23638
1798.57/1799.24	c   logicor          :      17794         31      22207          5          1          0     329381          0          0          0
1798.57/1799.24	c   countsols        :          0          0          0          5          1          0          0          0          0          0
1798.57/1799.24	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.57/1799.24	c   integral         :     372.10       0.00       0.00     372.10       0.00
1798.57/1799.24	c   logicor          :      10.59       0.08      10.50       0.01       0.00
1798.57/1799.24	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.57/1799.24	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.57/1799.24	c   rootredcost      :       0.03          7          0          0
1798.57/1799.24	c   pseudoobj        :       0.97      36199          0          0
1798.57/1799.24	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.57/1799.24	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1798.57/1799.24	c   infeasible LP    :       1.03       8777          0          0        0.0          0        0.0          0
1798.57/1799.24	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.57/1799.24	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.57/1799.24	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.57/1799.24	c   applied globally :          -          -          -          0        0.0          -          -          -
1798.57/1799.24	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.57/1799.24	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.57/1799.24	c   cut pool         :       0.02         30          -          -        165          -    (maximal pool size: 1116)
1798.57/1799.24	c   redcost          :       0.77      12423          0        181          0          0
1798.57/1799.24	c   impliedbounds    :       0.03         31          0          0          0          0
1798.57/1799.24	c   intobj           :       0.00          0          0          0          0          0
1798.57/1799.24	c   gomory           :      19.01         31          0          0      14608          0
1798.57/1799.24	c   strongcg         :       3.02         20          0          0       9950          0
1798.57/1799.24	c   cmir             :       2.29         10          0          0          0          0
1798.57/1799.24	c   flowcover        :       2.57         10          0          0          0          0
1798.57/1799.24	c   clique           :       0.20         31          0          0        275          0
1798.57/1799.24	c   zerohalf         :       0.00          0          0          0          0          0
1798.57/1799.24	c   mcf              :       0.03          1          0          0          0          0
1798.57/1799.24	c Pricers            :       Time      Calls       Vars
1798.57/1799.24	c   problem variables:       0.00          0          0
1798.57/1799.24	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.57/1799.24	c   relpscost        :     372.08      12223         43        710          0          0      23638
1798.57/1799.24	c   pscost           :       0.00          0          0          0          0          0          0
1798.57/1799.24	c   inference        :       0.00          1          0          0          0          0          2
1798.57/1799.24	c   mostinf          :       0.00          0          0          0          0          0          0
1798.57/1799.24	c   leastinf         :       0.00          0          0          0          0          0          0
1798.57/1799.24	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.57/1799.24	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.57/1799.24	c   random           :       0.00          0          0          0          0          0          0
1798.57/1799.24	c Primal Heuristics  :       Time      Calls      Found
1798.57/1799.24	c   LP solutions     :       0.00          -          5
1798.57/1799.24	c   pseudo solutions :       0.00          -          0
1798.57/1799.24	c   feaspump         :       0.00          0          0
1798.57/1799.24	c   intshifting      :       0.00          0          0
1798.57/1799.24	c   oneopt           :       0.08          8          1
1798.57/1799.24	c   crossover        :       1.21         11          0
1798.57/1799.24	c   coefdiving       :      23.94         45          6
1798.57/1799.24	c   linesearchdiving :      10.68         45          7
1798.57/1799.24	c   guideddiving     :      28.66         45          6
1798.57/1799.24	c   pscostdiving     :      11.99         45         10
1798.57/1799.24	c   objpscostdiving  :       9.69         23         97
1798.57/1799.24	c   rootsoldiving    :      10.41         23         66
1798.57/1799.24	c   simplerounding   :       0.67      12255        194
1798.57/1799.24	c   rounding         :      26.38       9452          6
1798.57/1799.24	c   shifting         :       4.51       1259         12
1798.57/1799.24	c   fixandinfer      :       0.00          0          0
1798.57/1799.24	c   fracdiving       :      37.16         45          6
1798.57/1799.24	c   veclendiving     :      12.91         45          0
1798.57/1799.24	c   intdiving        :       0.00          0          0
1798.57/1799.24	c   actconsdiving    :       0.00          0          0
1798.57/1799.24	c   octane           :       0.00          0          0
1798.57/1799.24	c   rens             :       3.14          1          1
1798.57/1799.24	c   rins             :       0.00          0          0
1798.57/1799.24	c   localbranching   :       0.00          0          0
1798.57/1799.24	c   mutation         :       0.00          0          0
1798.57/1799.24	c   dins             :       0.00          0          0
1798.57/1799.24	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.57/1799.24	c   primal LP        :       0.44          0          0       0.00       0.00
1798.57/1799.24	c   dual LP          :    1124.53      19518    1545506      79.18    1374.36
1798.57/1799.24	c   barrier LP       :       0.00          0          0       0.00          -
1798.57/1799.24	c   diving/probing LP:     134.99       3784     142337      37.62    1054.43
1798.57/1799.24	c   strong branching :     371.37       3259     440111     135.04    1185.10
1798.57/1799.24	c     (at root node) :          -         33      18385     557.12          -
1798.57/1799.24	c   conflict analysis:       0.00          0          0       0.00          -
1798.57/1799.24	c B&B Tree           :
1798.57/1799.24	c   number of runs   :          1
1798.57/1799.24	c   nodes            :      19127
1798.57/1799.24	c   nodes (total)    :      19127
1798.57/1799.24	c   nodes left       :       3430
1798.57/1799.24	c   max depth        :         79
1798.57/1799.24	c   max depth (total):         79
1798.57/1799.24	c   backtracks       :       2242 (11.7%)
1798.57/1799.24	c   delayed cutoffs  :          0
1798.57/1799.24	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1798.57/1799.24	c   avg switch length:       4.25
1798.57/1799.24	c   switching time   :       9.11
1798.57/1799.24	c Solution           :
1798.57/1799.24	c   Solutions found  :        417 (17 improvements)
1798.57/1799.24	c   Primal Bound     : -2.80000000000000e+01   (in run 1, after 5768 nodes, 778.13 seconds, depth 51, found by <relaxation>)
1798.57/1799.24	c   Dual Bound       : -2.99999999999863e+01
1798.57/1799.24	c   Gap              :       6.67 %
1798.57/1799.24	c   Root Dual Bound  : -2.99999999999999e+01
1798.67/1799.33	c Time complete: 1798.7.

Verifier Data 

OK	-28

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869209-1245163606/watcher-1869209-1245163606 -o /tmp/evaluation-result-1869209-1245163606/solver-1869209-1245163606 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869209-1245163606.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.95 3/65 1405
/proc/meminfo: memFree=1627360/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=7616 CPUtime=0
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 596 0 0 0 0 0 0 0 20 0 1 0 183958990 7798784 580 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/1405/statm: 1904 591 353 1256 0 643 0

[startup+0.030943 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 1405
/proc/meminfo: memFree=1627360/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=11276 CPUtime=0.01
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 1792 0 0 0 1 0 0 0 20 0 1 0 183958990 11546624 1776 1992294400 4194304 9342243 548682068736 18446744073709551615 8251520 0 0 4096 0 0 0 0 17 1 0 0
/proc/1405/statm: 2819 1776 378 1256 0 1558 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11276

[startup+0.101956 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 1405
/proc/meminfo: memFree=1627360/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=13760 CPUtime=0.09
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 2410 0 0 0 8 1 0 0 20 0 1 0 183958990 14090240 2394 1992294400 4194304 9342243 548682068736 18446744073709551615 7635775 0 0 4096 0 0 0 0 17 1 0 0
/proc/1405/statm: 3440 2394 378 1256 0 2179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13760

[startup+0.301992 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 1405
/proc/meminfo: memFree=1627360/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=31528 CPUtime=0.29
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 7035 0 0 0 26 3 0 0 22 0 1 0 183958990 32284672 6665 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 7882 6665 459 1256 0 6621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31528

[startup+0.701066 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 1405
/proc/meminfo: memFree=1627360/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=39336 CPUtime=0.69
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 9004 0 0 0 63 6 0 0 25 0 1 0 183958990 40280064 8634 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 9834 8634 479 1256 0 8573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39336

[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 1406
/proc/meminfo: memFree=1577688/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=67680 CPUtime=1.49
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 14150 0 0 0 138 11 0 0 25 0 1 0 183958990 69304320 13286 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 16920 13286 633 1256 0 15659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67680

[startup+3.10151 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 1406
/proc/meminfo: memFree=1573912/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=68724 CPUtime=3.09
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 15040 0 0 0 297 12 0 0 25 0 1 0 183958990 70373376 14176 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 17181 14176 644 1256 0 15920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68724

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 1406
/proc/meminfo: memFree=1569640/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=69296 CPUtime=6.29
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 15886 0 0 0 617 12 0 0 25 0 1 0 183958990 70959104 15021 1992294400 4194304 9342243 548682068736 18446744073709551615 5597687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 17324 15021 647 1256 0 16063 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69296

[startup+12.7013 s]
/proc/loadavg: 1.31 1.07 0.97 2/66 1406
/proc/meminfo: memFree=1567016/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=70032 CPUtime=12.69
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 16480 0 0 0 1255 14 0 0 25 0 1 0 183958990 71712768 15615 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 17508 15615 647 1256 0 16247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70032

[startup+25.5016 s]
/proc/loadavg: 1.26 1.06 0.97 2/66 1406
/proc/meminfo: memFree=1564008/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=77128 CPUtime=25.48
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 20151 0 0 0 2530 18 0 0 25 0 1 0 183958990 78979072 16629 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 19282 16629 661 1256 0 18021 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77128

[startup+51.1013 s]
/proc/loadavg: 1.17 1.06 0.97 2/66 1406
/proc/meminfo: memFree=1533224/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=78924 CPUtime=51.07
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 31221 0 0 0 5073 34 0 0 25 0 1 0 183958990 80818176 17648 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 19731 17648 689 1256 0 18470 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78924

[startup+102.306 s]
/proc/loadavg: 1.07 1.05 0.97 2/66 1406
/proc/meminfo: memFree=1556136/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=91516 CPUtime=102.25
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 35118 0 0 0 10183 42 0 0 25 0 1 0 183958990 93712384 18398 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 22879 18398 693 1256 0 21618 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 91516

[startup+162.302 s]
/proc/loadavg: 1.02 1.03 0.97 2/66 1406
/proc/meminfo: memFree=1555624/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=88796 CPUtime=162.23
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 40726 0 0 0 16172 51 0 0 25 0 1 0 183958990 90927104 18525 1992294400 4194304 9342243 548682068736 18446744073709551615 6960843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 22199 18525 693 1256 0 20938 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 88796

[startup+222.302 s]
/proc/loadavg: 1.01 1.03 0.97 2/66 1406
/proc/meminfo: memFree=1554728/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=90504 CPUtime=222.21
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 56832 0 0 0 22152 69 0 0 25 0 1 0 183958990 92676096 18750 1992294400 4194304 9342243 548682068736 18446744073709551615 6960346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 22626 18750 697 1256 0 21365 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 90504

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 1406
/proc/meminfo: memFree=1553128/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=81108 CPUtime=282.19
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 71722 0 0 0 28130 89 0 0 25 0 1 0 183958990 83054592 19103 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 20277 19103 702 1256 0 19016 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 81108

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 1406
/proc/meminfo: memFree=1551912/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=92508 CPUtime=342.17
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 83852 0 0 0 34110 107 0 0 25 0 1 0 183958990 94728192 19443 1992294400 4194304 9342243 548682068736 18446744073709551615 5990699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 23127 19443 702 1256 0 21866 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 92508

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 1406
/proc/meminfo: memFree=1551592/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=86760 CPUtime=402.15
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 95015 0 0 0 40091 124 0 0 25 0 1 0 183958990 88842240 19502 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 21690 19502 702 1256 0 20429 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 86760

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1408
/proc/meminfo: memFree=1551592/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=87896 CPUtime=462.13
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 126164 0 0 0 46058 155 0 0 25 0 1 0 183958990 90005504 19559 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 21974 19559 702 1256 0 20713 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 87896

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1408
/proc/meminfo: memFree=1551592/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=87876 CPUtime=522.1
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 172824 0 0 0 52016 194 0 0 25 0 1 0 183958990 89985024 19509 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 21969 19509 702 1256 0 20708 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 87876

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1408
/proc/meminfo: memFree=1547624/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=90880 CPUtime=582.09
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 192549 0 0 0 57990 219 0 0 25 0 1 0 183958990 93061120 20512 1992294400 4194304 9342243 548682068736 18446744073709551615 6959741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 22720 20512 702 1256 0 21459 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 90880

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1408
/proc/meminfo: memFree=1545576/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=92464 CPUtime=642.07
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 213764 0 0 0 63967 240 0 0 25 0 1 0 183958990 94683136 20973 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 23116 20973 702 1256 0 21855 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 92464

[startup+702.301 s]

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

/proc/meminfo: memFree=1540072/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=98584 CPUtime=1061.92
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 369727 0 0 0 105804 388 0 0 25 0 1 0 183958990 100950016 22386 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 24646 22386 702 1256 0 23385 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 98584

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1538728/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=98940 CPUtime=1121.9
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 375604 0 0 0 111790 400 0 0 25 0 1 0 183958990 101314560 22718 1992294400 4194304 9342243 548682068736 18446744073709551615 6224428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 24735 22718 702 1256 0 23474 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 98940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1539688/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=98656 CPUtime=1181.88
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 380785 0 0 0 117774 414 0 0 25 0 1 0 183958990 101023744 22493 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 24664 22493 702 1256 0 23403 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 98656

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1539432/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=97268 CPUtime=1241.86
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 400986 0 0 0 123753 433 0 0 25 0 1 0 183958990 99602432 22455 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 24317 22455 702 1256 0 23056 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 97268

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1539944/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=107600 CPUtime=1301.84
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 443415 0 0 0 129713 471 0 0 25 0 1 0 183958990 110182400 22376 1992294400 4194304 9342243 548682068736 18446744073709551615 6038931 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 26900 22376 702 1256 0 25639 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 107600

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1540392/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=99608 CPUtime=1361.82
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 493711 0 0 0 135669 513 0 0 25 0 1 0 183958990 101998592 22249 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 24902 22249 702 1256 0 23641 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 99608

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1540328/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=100072 CPUtime=1421.8
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 548767 0 0 0 141623 557 0 0 25 0 1 0 183958990 102473728 22232 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 25018 22232 702 1256 0 23757 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 100072

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1539880/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=109892 CPUtime=1481.78
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 619638 0 0 0 147568 610 0 0 25 0 1 0 183958990 112529408 22871 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 27473 22871 702 1256 0 26212 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 109892

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1536168/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=101872 CPUtime=1541.76
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 692502 0 0 0 153522 654 0 0 25 0 1 0 183958990 104316928 23261 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 25468 23261 702 1256 0 24207 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 101872

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1535912/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=102608 CPUtime=1601.74
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 730413 0 0 0 159492 682 0 0 25 0 1 0 183958990 105070592 23379 1992294400 4194304 9342243 548682068736 18446744073709551615 4266383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 25652 23379 702 1256 0 24391 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 102608

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1534952/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=103072 CPUtime=1661.71
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 750452 0 0 0 165469 702 0 0 25 0 1 0 183958990 105545728 23575 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 25768 23575 702 1256 0 24507 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 103072

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1533864/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=104552 CPUtime=1721.7
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 762529 0 0 0 171450 720 0 0 25 0 1 0 183958990 107061248 23879 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 26138 23879 702 1256 0 24877 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 104552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1532520/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=104604 CPUtime=1781.68
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 771104 0 0 0 177432 736 0 0 25 0 1 0 183958990 107114496 24195 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 26151 24195 702 1256 0 24890 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 104604

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1532328/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=104604 CPUtime=1791.28
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 771152 0 0 0 178390 738 0 0 25 0 1 0 183958990 107114496 24243 1992294400 4194304 9342243 548682068736 18446744073709551615 6959735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 26151 24243 702 1256 0 24890 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 104604

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1532328/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=104604 CPUtime=1794.47
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 771152 0 0 0 178709 738 0 0 25 0 1 0 183958990 107114496 24243 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 26151 24243 702 1256 0 24890 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 104604

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1532328/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=104604 CPUtime=1796.07
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 771152 0 0 0 178869 738 0 0 25 0 1 0 183958990 107114496 24243 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 26151 24243 702 1256 0 24890 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 104604

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1532328/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=104604 CPUtime=1797.67
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 771156 0 0 0 179028 739 0 0 25 0 1 0 183958990 107114496 24247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 26151 24247 702 1256 0 24890 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 104604

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1532328/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=104604 CPUtime=1798.47
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 771156 0 0 0 179108 739 0 0 25 0 1 0 183958990 107114496 24247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1405/statm: 26151 24247 702 1256 0 24890 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (KiB) 104604

[startup+1799.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1414
/proc/meminfo: memFree=1532328/2055924 swapFree=4179372/4192956
[pid=1405] ppid=1403 vsize=104604 CPUtime=1798.67
/proc/1405/stat : 1405 (pbscip.linux.x8) R 1403 1405 1312 0 -1 4194304 771157 0 0 0 179128 739 0 0 17 0 1 0 183958990 107114496 24248 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 0 0 0 0 17 1 0 0
/proc/1405/statm: 26151 24248 703 1256 0 24890 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 104604

Child status: 0
Real time (s): 1799.34
CPU time (s): 1798.72
CPU user time (s): 1791.31
CPU system time (s): 7.40887
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 125988

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

runsolver used 1.9667 second user time and 4.53331 second system time

The end

Launcher Data 

Begin job on node83 at 2009-06-16 16:46:46
IDJOB=1869209
IDBENCH=2235
IDSOLVER=684
FILE ID=node83/1869209-1245163606
PBS_JOBID= 9363868
Free space on /tmp= 66508 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/frb30-15-opb/normalized-frb30-15-5.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-1869209-1245163606/watcher-1869209-1245163606 -o /tmp/evaluation-result-1869209-1245163606/solver-1869209-1245163606 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869209-1245163606.opb

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

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=835316107

node83.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.265
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.265
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:      2055924 kB
MemFree:       1627840 kB
Buffers:         45428 kB
Cached:         303768 kB
SwapCached:       7736 kB
Active:         187172 kB
Inactive:       171208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1627840 kB
SwapTotal:     4192956 kB
SwapFree:      4179372 kB
Dirty:           12144 kB
Writeback:           0 kB
Mapped:          14956 kB
Slab:            55676 kB
Committed_AS:    70328 kB
PageTables:       1392 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= 66496 MiB
End job on node83 at 2009-06-16 17:16:46