Trace number 1869214

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
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT-29 1796.88 1797.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM7bb05c60facd55e51c4cfcaa0e217e6e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1796.88
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 constraints17831
Number of constraints which are clauses17831
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.24	c SCIP version 1.1.0.7
0.19/0.24	c LP-Solver SoPlex 1.4.1
0.19/0.24	c user parameter file <scip.set> not found - using default parameters
0.19/0.24	c read problem <HOME/instance-1869214-1245164138.opb>
0.19/0.24	c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17831 constraints
0.19/0.29	c start presolving problem
0.19/0.29	c presolving:
0.39/0.49	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17831 upgd conss, 35662 impls, 0 clqs
0.79/0.88	c    (0.6s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.88	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.79/0.88	c presolving (2 rounds):
0.79/0.88	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.88	c  35662 implications, 0 cliques
0.79/0.88	c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17831 constraints
0.79/0.88	c   17831 constraints of type <logicor>
0.79/0.88	c transformed objective value is always integral (scale: 1)
0.79/0.88	c Presolving Time: 0.55
0.79/0.88	c strange?!, PURESAT with obj
0.79/0.88	c -----------------------------------------------------------------------------------------------
0.79/0.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88	c limits/memory = c 1620
0.79/0.88	c # maximal time in seconds to run
0.79/0.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88	c limits/time = c 1791
0.79/0.88	c # frequency for displaying node information lines
0.79/0.88	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.88	c display/freq = c 10000
0.79/0.88	c -----------------------------------------------------------------------------------------------
0.79/0.88	c start solving problem
0.79/0.88	c 
1.29/1.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.29/1.34	c   1.0s|     1 |     0 |   450 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |      --      |    Inf 
1.29/1.34	o 0
1.29/1.34	c r 1.0s|     1 |     0 |   450 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 | 0.000000e+00 | 100.00%
1.29/1.37	o -1
1.29/1.37	c R 1.1s|     1 |     0 |   450 |  20M|   0 | 450 | 450 |  17k|  17k| 450 |  17k|   0 |   0 |   0 |-2.250000e+02 |-1.000000e+00 |  99.56%
2.29/2.36	c   2.0s|     1 |     0 |   663 |  20M|   0 | 396 | 450 |  17k|  17k| 450 |  17k|   7 |   0 |   0 |-1.980000e+02 |-1.000000e+00 |  99.49%
3.29/3.38	c   3.0s|     1 |     0 |   778 |  20M|   0 | 363 | 450 |  17k|  17k| 450 |  17k|  21 |   0 |   0 |-1.815000e+02 |-1.000000e+00 |  99.45%
3.38/3.40	o -2
3.38/3.40	c R 3.0s|     1 |     0 |   778 |  20M|   0 | 363 | 450 |  17k|  17k| 450 |  17k|  21 |   0 |   0 |-1.815000e+02 |-2.000000e+00 |  98.90%
3.38/3.43	o -3
3.38/3.43	c s 3.1s|     1 |     0 |   778 |  20M|   0 | 363 | 450 |  17k|  17k| 450 |  17k|  21 |   0 |   0 |-1.815000e+02 |-3.000000e+00 |  98.35%
4.69/4.74	c   4.4s|     1 |     0 |   964 |  20M|   0 | 323 | 450 |  17k|  17k| 450 |  17k|  43 |   0 |   0 |-1.615000e+02 |-3.000000e+00 |  98.14%
6.28/6.35	c   6.0s|     1 |     0 |  1238 |  20M|   0 | 287 | 450 |  17k|  17k| 450 |  17k|  48 |   0 |   0 |-1.435000e+02 |-3.000000e+00 |  97.91%
7.79/7.88	c   7.5s|     1 |     0 |  1446 |  20M|   0 | 259 | 450 |  17k|  17k| 450 |  17k|  55 |   0 |   0 |-1.295000e+02 |-3.000000e+00 |  97.68%
9.39/9.49	c   9.1s|     1 |     0 |  1745 |  20M|   0 | 214 | 450 |  17k|  17k| 450 |  17k|  64 |   0 |   0 |-1.070000e+02 |-3.000000e+00 |  97.20%
10.68/10.77	c  10.4s|     1 |     0 |  1920 |  20M|   0 | 190 | 450 |  17k|  17k| 450 |  17k|  74 |   0 |   0 |-9.500000e+01 |-3.000000e+00 |  96.84%
12.18/12.27	c  11.9s|     1 |     0 |  2247 |  20M|   0 | 152 | 450 |  17k|  17k| 450 |  17k|  79 |   0 |   0 |-7.600000e+01 |-3.000000e+00 |  96.05%
13.48/13.56	c  13.2s|     1 |     0 |  2537 |  20M|   0 | 128 | 450 |  17k|  17k| 450 |  17k|  83 |   0 |   0 |-6.300000e+01 |-3.000000e+00 |  95.24%
14.69/14.70	c  14.3s|     1 |     0 |  2757 |  20M|   0 | 113 | 450 |  17k|  17k| 450 |  17k|  90 |   0 |   0 |-5.550000e+01 |-3.000000e+00 |  94.59%
15.39/15.48	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.39/15.48	c  15.1s|     1 |     0 |  2974 |  20M|   0 | 102 | 450 |  17k|  17k| 450 |  17k|  96 |   0 |   0 |-5.100000e+01 |-3.000000e+00 |  94.12%
15.98/16.07	c  15.7s|     1 |     0 |  3120 |  20M|   0 |  96 | 450 |  17k|  17k| 450 |  17k| 103 |   0 |   0 |-4.250000e+01 |-3.000000e+00 |  92.94%
16.78/16.90	c  16.5s|     1 |     0 |  3401 |  20M|   0 | 119 | 450 |  17k|  17k| 450 |  17k| 106 |   0 |   0 |-3.724242e+01 |-3.000000e+00 |  91.94%
16.88/16.91	o -3
16.88/16.91	c s16.5s|     1 |     0 |  3401 |  20M|   0 | 119 | 450 |  17k|  17k| 450 |  17k| 106 |   0 |   0 |-3.724242e+01 |-3.000000e+00 |  91.94%
17.38/17.41	c  17.0s|     1 |     0 |  3477 |  20M|   0 |  79 | 450 |  17k|  17k| 450 |  17k| 114 |   0 |   0 |-3.300000e+01 |-3.000000e+00 |  90.91%
17.38/17.42	o -4
17.38/17.42	c R17.0s|     1 |     0 |  3477 |  20M|   0 |  79 | 450 |  17k|  17k| 450 |  17k| 114 |   0 |   0 |-3.300000e+01 |-4.000000e+00 |  87.88%
17.38/17.42	o -5
17.38/17.42	c s17.0s|     1 |     0 |  3477 |  20M|   0 |  79 | 450 |  17k|  17k| 450 |  17k| 114 |   0 |   0 |-3.300000e+01 |-5.000000e+00 |  84.85%
17.88/17.96	c  17.5s|     1 |     0 |  3574 |  20M|   0 |  82 | 450 |  17k|  17k| 450 |  17k| 126 |   0 |   0 |-3.300000e+01 |-5.000000e+00 |  84.85%
17.88/17.97	o -6
17.88/17.97	c R17.6s|     1 |     0 |  3574 |  20M|   0 |  82 | 450 |  17k|  17k| 450 |  17k| 126 |   0 |   0 |-3.300000e+01 |-6.000000e+00 |  81.82%
18.78/18.81	c  18.4s|     1 |     0 |  3802 |  21M|   0 |  87 | 450 |  17k|  17k| 450 |  17k| 137 |   0 |   0 |-3.300000e+01 |-6.000000e+00 |  81.82%
19.58/19.62	c  19.2s|     1 |     0 |  4009 |  21M|   0 |  61 | 450 |  17k|  17k| 450 |  17k| 150 |   0 |   0 |-3.066667e+01 |-6.000000e+00 |  80.43%
20.28/20.37	c  19.9s|     1 |     0 |  4193 |  21M|   0 |  61 | 450 |  17k|  17k| 450 |  17k| 163 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
20.88/20.95	c  20.5s|     1 |     0 |  4280 |  21M|   0 |  84 | 450 |  17k|  17k| 450 |  17k| 173 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
24.68/24.76	c  24.3s|     1 |     0 |  4442 |  21M|   0 |  61 | 450 |  17k|  17k| 450 |  17k| 184 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
25.19/25.26	c  24.8s|     1 |     0 |  4569 |  22M|   0 |  96 | 450 |  17k|  17k| 450 |  17k| 191 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
26.78/26.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
26.78/26.83	c  26.4s|     1 |     0 |  4861 |  22M|   0 |  85 | 450 |  17k|  17k| 450 |  17k| 203 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
27.78/27.81	c  27.3s|     1 |     0 |  5181 |  22M|   0 |  90 | 450 |  17k|  17k| 450 |  17k| 213 |   0 |   0 |-3.000000e+01 |-6.000000e+00 |  80.00%
27.78/27.83	o -21
27.78/27.83	c k27.4s|     1 |     0 |  5181 |  22M|   0 |  90 | 450 |  17k|  17k| 450 |  17k| 213 |   0 |   0 |-3.000000e+01 |-2.100000e+01 |  30.00%
28.78/28.85	c  28.3s|     1 |     0 |  5181 |  22M|   0 |  90 | 450 |  17k|  17k| 450 |  17k| 213 |   0 |   0 |-3.000000e+01 |-2.100000e+01 |  30.00%
32.67/32.75	c  32.2s|     1 |     0 |  5619 |  22M|   0 |  84 | 450 |  17k|  17k| 450 |  17k| 221 |   0 |   0 |-3.000000e+01 |-2.100000e+01 |  30.00%
66.47/66.58	c  65.9s|     1 |     2 |  5619 |  22M|   0 |  84 | 450 |  17k|  17k| 450 |  17k| 221 |   0 |  33 |-3.000000e+01 |-2.100000e+01 |  30.00%
104.56/104.60	o -22
104.56/104.60	c * 104s|    12 |    10 |  6713 |  23M|  11 |   - | 450 |  17k|  16k| 450 |  17k| 221 |   0 | 235 |-3.000000e+01 |-2.200000e+01 |  26.67%
126.15/126.20	o -23
126.15/126.20	c * 125s|    21 |    17 |  7213 |  23M|  11 |   - | 450 |  17k|  10k| 450 |  17k| 221 |   0 | 423 |-3.000000e+01 |-2.300000e+01 |  23.33%
144.24/144.32	o -24
144.24/144.32	c * 143s|    34 |    17 |  7616 |  23M|  13 |   - | 450 |  17k|6826 | 450 |  17k| 221 |   0 | 598 |-3.000000e+01 |-2.400000e+01 |  20.00%
204.13/204.28	o -25
204.13/204.28	c * 203s|    59 |    30 |  9537 |  23M|  14 |   - | 450 |  17k|8272 | 450 |  17k| 221 |   0 | 951 |-3.000000e+01 |-2.500000e+01 |  16.67%
229.22/229.40	o -26
229.22/229.40	c * 228s|    78 |    29 | 10357 |  23M|  14 |   - | 450 |  17k|5277 | 450 |  17k| 221 |   0 |1093 |-3.000000e+01 |-2.600000e+01 |  13.33%
308.80/308.93	o -27
308.80/308.93	c * 308s|   574 |   133 | 26370 |  24M|  37 |   - | 450 |  17k|7394 | 450 |  17k| 221 |   0 |1375 |-3.000000e+01 |-2.700000e+01 |  10.00%
375.87/376.04	o -28
375.87/376.04	c * 374s|  1901 |   204 | 56407 |  24M|  72 |   - | 450 |  17k|3345 | 450 |  17k| 221 |   0 |1435 |-3.000000e+01 |-2.800000e+01 |   6.67%
867.73/868.00	c   865s| 10000 |   769 |267068 |  28M|  82 |  93 | 450 |  17k|3778 | 450 |  17k| 221 |   0 |2390 |-3.000000e+01 |-2.800000e+01 |   6.67%
883.23/883.54	o -29
883.23/883.54	c * 880s| 10270 |    79 |274399 |  24M|  82 |   - | 450 |  17k|3854 | 450 |  17k| 221 |   0 |2409 |-3.000000e+01 |-2.900000e+01 |   3.33%
1651.61/1652.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1651.61/1652.16	c  1646s| 20000 |    43 |635519 |  23M|  82 |  52 | 450 |  17k|3360 | 450 |  17k| 221 |   0 |3554 |-3.000000e+01 |-2.900000e+01 |   3.33%
1796.77/1797.32	c 
1796.77/1797.32	c SCIP Status        : solving was interrupted [time limit reached]
1796.77/1797.32	c Solving Time (sec) : 1791.00
1796.77/1797.32	c Solving Nodes      : 21776
1796.77/1797.32	c Primal Bound       : -2.90000000000000e+01 (328 solutions)
1796.77/1797.32	c Dual Bound         : -3.00000000000000e+01
1796.77/1797.32	c Gap                : 3.33 %
1796.77/1797.32	c NODE         21776
1796.77/1797.32	c DUAL BOUND   -30
1796.77/1797.32	c PRIMAL BOUND -29
1796.77/1797.32	c GAP          0.0333333
1796.77/1797.32	s SATISFIABLE
1796.77/1797.32	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 
1796.77/1797.32	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 
1796.77/1797.32	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 -x79 
1796.77/1797.32	v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
1796.77/1797.32	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 
1796.77/1797.32	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 
1796.77/1797.32	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
1796.77/1797.32	v x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
1796.77/1797.32	v -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 
1796.77/1797.32	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 
1796.77/1797.32	v -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
1796.77/1797.32	v -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 
1796.77/1797.32	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 
1796.77/1797.32	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 
1796.77/1797.32	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 
1796.77/1797.32	v -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 
1796.77/1797.32	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 
1796.77/1797.32	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 
1796.77/1797.32	v -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 
1796.77/1797.32	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 x438 -x439 -x440 
1796.77/1797.32	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 
1796.77/1797.32	c SCIP Status        : solving was interrupted [time limit reached]
1796.77/1797.32	c Solving Time       :    1791.00
1796.77/1797.32	c Original Problem   :
1796.77/1797.32	c   Problem name     : HOME/instance-1869214-1245164138.opb
1796.77/1797.32	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.77/1797.32	c   Constraints      : 17831 initial, 17831 maximal
1796.77/1797.32	c Presolved Problem  :
1796.77/1797.32	c   Problem name     : t_HOME/instance-1869214-1245164138.opb
1796.77/1797.32	c   Variables        : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.77/1797.32	c   Constraints      : 17831 initial, 17831 maximal
1796.77/1797.32	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.77/1797.32	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.77/1797.32	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1796.77/1797.32	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.77/1797.32	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.77/1797.32	c   implics          :       0.00          0          0          0          0          0          0          0          0
1796.77/1797.32	c   probing          :       0.36          0          0          0          0          0          0          0          0
1796.77/1797.32	c   logicor          :       0.06          0          0          0          0          0          0          0          0
1796.77/1797.32	c   root node        :          -          1          -          -          1          -          -          -          -
1796.77/1797.32	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.77/1797.32	c   integral         :          0          0          0      12072          0         67       1009          0          0      22740
1796.77/1797.32	c   logicor          :      17831         24      22372          8          1          0     302631          0          0          0
1796.77/1797.32	c   countsols        :          0          0          0          8          1          0          0          0          0          0
1796.77/1797.32	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.77/1797.32	c   integral         :     461.99       0.00       0.00     461.99       0.00
1796.77/1797.32	c   logicor          :      10.55       0.08      10.46       0.01       0.00
1796.77/1797.32	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.77/1797.32	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.77/1797.32	c   rootredcost      :       0.06          8          0          1
1796.77/1797.32	c   pseudoobj        :       1.62      34453          0          0
1796.77/1797.32	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.77/1797.32	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.77/1797.32	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.77/1797.32	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.77/1797.32	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.77/1797.32	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.77/1797.32	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.77/1797.32	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.77/1797.32	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.77/1797.32	c   cut pool         :       0.00         23          -          -         50          -    (maximal pool size: 1179)
1796.77/1797.32	c   redcost          :       0.67      12153          0         70          0          0
1796.77/1797.32	c   impliedbounds    :       0.02         24          0          0          0          0
1796.77/1797.32	c   intobj           :       0.00          0          0          0          0          0
1796.77/1797.32	c   gomory           :      10.66         24          0          0      11351          0
1796.77/1797.32	c   strongcg         :       3.77         20          0          0       9950          0
1796.77/1797.32	c   cmir             :       2.10         10          0          0          0          0
1796.77/1797.32	c   flowcover        :       2.41         10          0          0          0          0
1796.77/1797.32	c   clique           :       0.21         24          0          0        209          0
1796.77/1797.32	c   zerohalf         :       0.00          0          0          0          0          0
1796.77/1797.32	c   mcf              :       0.02          1          0          0          0          0
1796.77/1797.32	c Pricers            :       Time      Calls       Vars
1796.77/1797.32	c   problem variables:       0.00          0          0
1796.77/1797.32	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.77/1797.32	c   relpscost        :     461.98      12064         67       1009          0          0      22740
1796.77/1797.32	c   pscost           :       0.00          0          0          0          0          0          0
1796.77/1797.32	c   inference        :       0.00          1          0          0          0          0          2
1796.77/1797.32	c   mostinf          :       0.00          0          0          0          0          0          0
1796.77/1797.32	c   leastinf         :       0.00          0          0          0          0          0          0
1796.77/1797.32	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.77/1797.32	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.77/1797.32	c   random           :       0.00          0          0          0          0          0          0
1796.77/1797.32	c Primal Heuristics  :       Time      Calls      Found
1796.77/1797.32	c   LP solutions     :       0.01          -          8
1796.77/1797.32	c   pseudo solutions :       0.00          -          0
1796.77/1797.32	c   feaspump         :       0.00          0          0
1796.77/1797.32	c   oneopt           :       0.06          9          1
1796.77/1797.32	c   fracdiving       :       3.38          7          1
1796.77/1797.32	c   linesearchdiving :       1.69          7          0
1796.77/1797.32	c   veclendiving     :       1.06          7          0
1796.77/1797.32	c   guideddiving     :       3.16          7          2
1796.77/1797.32	c   objpscostdiving  :       4.70          4         14
1796.77/1797.32	c   rootsoldiving    :       1.71          4         19
1796.77/1797.32	c   pscostdiving     :       1.15          8          1
1796.77/1797.32	c   coefdiving       :       5.66          8          2
1796.77/1797.32	c   crossover        :       1.57         13          2
1796.77/1797.32	c   simplerounding   :       0.90      12088        264
1796.77/1797.32	c   rounding         :      24.74       8341          4
1796.77/1797.32	c   shifting         :       4.44       1269          9
1796.77/1797.32	c   intshifting      :       0.00          0          0
1796.77/1797.32	c   fixandinfer      :       0.00          0          0
1796.77/1797.32	c   intdiving        :       0.00          0          0
1796.77/1797.32	c   actconsdiving    :       0.00          0          0
1796.77/1797.32	c   octane           :       0.00          0          0
1796.77/1797.32	c   rens             :       0.94          1          1
1796.77/1797.32	c   rins             :       0.00          0          0
1796.77/1797.32	c   localbranching   :       0.00          0          0
1796.77/1797.32	c   mutation         :       0.00          0          0
1796.77/1797.32	c   dins             :       0.00          0          0
1796.77/1797.32	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.77/1797.32	c   primal LP        :       0.04          0          0       0.00       0.00
1796.77/1797.32	c   dual LP          :    1144.59      22426     692530      30.88     605.05
1796.77/1797.32	c   barrier LP       :       0.00          0          0       0.00          -
1796.77/1797.32	c   diving/probing LP:      20.79        442      11209      25.36     539.15
1796.77/1797.32	c   strong branching :     461.20       3769     249444      66.18     540.86
1796.77/1797.32	c     (at root node) :          -         33      16633     504.03          -
1796.77/1797.32	c   conflict analysis:       0.00          0          0       0.00          -
1796.77/1797.32	c B&B Tree           :
1796.77/1797.32	c   number of runs   :          1
1796.77/1797.32	c   nodes            :      21776
1796.77/1797.32	c   nodes (total)    :      21776
1796.77/1797.32	c   nodes left       :         41
1796.77/1797.32	c   max depth        :         82
1796.77/1797.32	c   max depth (total):         82
1796.77/1797.32	c   backtracks       :       2329 (10.7%)
1796.77/1797.32	c   delayed cutoffs  :          0
1796.77/1797.32	c   repropagations   :          1 (0 domain reductions, 0 cutoffs)
1796.77/1797.32	c   avg switch length:       3.20
1796.77/1797.32	c   switching time   :       9.82
1796.77/1797.32	c Solution           :
1796.77/1797.32	c   Solutions found  :        328 (17 improvements)
1796.77/1797.32	c   Primal Bound     : -2.90000000000000e+01   (in run 1, after 10270 nodes, 880.13 seconds, depth 21, found by <relaxation>)
1796.77/1797.32	c   Dual Bound       : -3.00000000000000e+01
1796.77/1797.32	c   Gap              :       3.33 %
1796.77/1797.32	c   Root Dual Bound  : -3.00000000000000e+01
1796.87/1797.40	c Time complete: 1796.88.

Verifier Data 

OK	-29

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869214-1245164138/watcher-1869214-1245164138 -o /tmp/evaluation-result-1869214-1245164138/solver-1869214-1245164138 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869214-1245164138.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 1.00 3/64 3080
/proc/meminfo: memFree=1847904/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=4324 CPUtime=0
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 184014507 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/3080/statm: 1081 458 295 886 0 191 0

[startup+0.0599059 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3080
/proc/meminfo: memFree=1847904/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=10640 CPUtime=0.04
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 1973 0 0 0 4 0 0 0 18 0 1 0 184014507 10895360 1955 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/3080/statm: 2660 1955 354 886 0 1770 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10640

[startup+0.101911 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3080
/proc/meminfo: memFree=1847904/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=12208 CPUtime=0.09
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 2377 0 0 0 8 1 0 0 18 0 1 0 184014507 12500992 2359 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/3080/statm: 3052 2359 354 886 0 2162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12208

[startup+0.301933 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3080
/proc/meminfo: memFree=1847904/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=30012 CPUtime=0.29
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 6918 0 0 0 26 3 0 0 19 0 1 0 184014507 30732288 6546 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 7503 6546 417 886 0 6613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30012

[startup+0.701976 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3080
/proc/meminfo: memFree=1847904/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=38344 CPUtime=0.69
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 9010 0 0 0 62 7 0 0 22 0 1 0 184014507 39264256 8638 1992294400 4194304 7823515 548682068736 18446744073709551615 4207205 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 9586 8638 437 886 0 8696 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38344

[startup+1.50207 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1800024/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=61760 CPUtime=1.49
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 14841 0 0 0 139 10 0 0 25 0 1 0 184014507 63242240 13781 1992294400 4194304 7823515 548682068736 18446744073709551615 5965396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 15440 13781 525 886 0 14550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61760

[startup+3.10125 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1792344/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=63572 CPUtime=3.09
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 15551 0 0 0 296 13 0 0 25 0 1 0 184014507 65097728 14425 1992294400 4194304 7823515 548682068736 18446744073709551615 5597657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 15893 14425 547 886 0 15003 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63572

[startup+6.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1790112/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=64328 CPUtime=6.28
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 16017 0 0 0 614 14 0 0 25 0 1 0 184014507 65871872 14891 1992294400 4194304 7823515 548682068736 18446744073709551615 6211603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 16082 14891 547 886 0 15192 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64328

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1789728/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=64932 CPUtime=12.68
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 16124 0 0 0 1252 16 0 0 25 0 1 0 184014507 66490368 14998 1992294400 4194304 7823515 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 16233 14998 548 886 0 15343 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64932

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1783520/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=71584 CPUtime=25.48
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 17927 0 0 0 2526 22 0 0 25 0 1 0 184014507 73302016 16588 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 17896 16588 548 886 0 17006 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71584

[startup+51.1016 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 3081
/proc/meminfo: memFree=1777952/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=76012 CPUtime=51.07
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 24760 0 0 0 5071 36 0 0 25 0 1 0 184014507 77836288 17971 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19003 17971 570 886 0 18113 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 76012

[startup+102.305 s]
/proc/loadavg: 1.11 1.03 1.01 2/65 3081
/proc/meminfo: memFree=1777888/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=76012 CPUtime=102.26
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 24771 0 0 0 10177 49 0 0 25 0 1 0 184014507 77836288 17982 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19003 17982 570 886 0 18113 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 76012

[startup+162.302 s]
/proc/loadavg: 1.11 1.04 1.00 2/65 3081
/proc/meminfo: memFree=1777824/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=76012 CPUtime=162.24
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 24772 0 0 0 16160 64 0 0 25 0 1 0 184014507 77836288 17983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19003 17983 571 886 0 18113 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 76012

[startup+222.302 s]
/proc/loadavg: 1.11 1.04 1.00 2/65 3081
/proc/meminfo: memFree=1777760/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=76012 CPUtime=222.22
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 24772 0 0 0 22142 80 0 0 25 0 1 0 184014507 77836288 17983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19003 17983 571 886 0 18113 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 76012

[startup+282.301 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 3081
/proc/meminfo: memFree=1775712/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=76912 CPUtime=282.2
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 30089 0 0 0 28121 99 0 0 25 0 1 0 184014507 78757888 18442 1992294400 4194304 7823515 548682068736 18446744073709551615 6211797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19228 18442 576 886 0 18338 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 76912

[startup+342.302 s]
/proc/loadavg: 1.14 1.08 1.01 2/65 3086
/proc/meminfo: memFree=1777760/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=76348 CPUtime=342.19
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 35479 0 0 0 34103 116 0 0 25 0 1 0 184014507 78180352 17924 1992294400 4194304 7823515 548682068736 18446744073709551615 5978332 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19087 17924 576 886 0 18197 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 76348

[startup+402.302 s]
/proc/loadavg: 1.15 1.09 1.02 2/65 3086
/proc/meminfo: memFree=1776864/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=76852 CPUtime=402.17
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 47650 0 0 0 40078 139 0 0 25 0 1 0 184014507 78696448 18180 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19213 18180 577 886 0 18323 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 76852

[startup+462.301 s]
/proc/loadavg: 1.05 1.07 1.01 2/65 3086
/proc/meminfo: memFree=1776672/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=76784 CPUtime=462.15
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 53679 0 0 0 46055 160 0 0 25 0 1 0 184014507 78626816 18210 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19196 18210 577 886 0 18306 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 76784

[startup+522.301 s]
/proc/loadavg: 1.02 1.06 1.01 2/65 3086
/proc/meminfo: memFree=1775776/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=77540 CPUtime=522.13
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 59970 0 0 0 52031 182 0 0 25 0 1 0 184014507 79400960 18426 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19385 18426 577 886 0 18495 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 77540

[startup+582.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/65 3086
/proc/meminfo: memFree=1775200/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=78296 CPUtime=582.12
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 60095 0 0 0 58014 198 0 0 25 0 1 0 184014507 80175104 18551 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19574 18551 577 886 0 18684 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 78296

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 3086
/proc/meminfo: memFree=1774240/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=78908 CPUtime=642.1
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 65748 0 0 0 63992 218 0 0 25 0 1 0 184014507 80801792 18794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 19727 18794 577 886 0 18837 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 78908

[startup+702.301 s]

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

/proc/meminfo: memFree=1771360/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81604 CPUtime=1121.96
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 90801 0 0 0 111826 370 0 0 25 0 1 0 184014507 83562496 19469 1992294400 4194304 7823515 548682068736 18446744073709551615 6212439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20401 19469 577 886 0 19511 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 81604

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1772512/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=80724 CPUtime=1181.94
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 96585 0 0 0 117803 391 0 0 25 0 1 0 184014507 82661376 19201 1992294400 4194304 7823515 548682068736 18446744073709551615 6211026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20181 19201 577 886 0 19291 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 80724

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1771424/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81524 CPUtime=1241.93
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 96844 0 0 0 123786 407 0 0 25 0 1 0 184014507 83480576 19460 1992294400 4194304 7823515 548682068736 18446744073709551615 6151341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20381 19460 577 886 0 19491 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 81524

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1771296/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81524 CPUtime=1301.91
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 96867 0 0 0 129770 421 0 0 25 0 1 0 184014507 83480576 19483 1992294400 4194304 7823515 548682068736 18446744073709551615 6163016 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20381 19483 577 886 0 19491 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 81524

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81832 CPUtime=1361.89
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 96881 0 0 0 135752 437 0 0 25 0 1 0 184014507 83795968 19497 1992294400 4194304 7823515 548682068736 18446744073709551615 6237611 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20458 19497 577 886 0 19568 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 81832

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1771104/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81832 CPUtime=1421.88
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 96899 0 0 0 141733 455 0 0 25 0 1 0 184014507 83795968 19515 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20458 19515 577 886 0 19568 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 81832

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1771488/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1481.86
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102313 0 0 0 147714 472 0 0 25 0 1 0 184014507 83632128 19419 1992294400 4194304 7823515 548682068736 18446744073709551615 6211603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19419 577 886 0 19528 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 81672

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1771360/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1541.84
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102363 0 0 0 153698 486 0 0 25 0 1 0 184014507 83632128 19469 1992294400 4194304 7823515 548682068736 18446744073709551615 5920362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19469 577 886 0 19528 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 81672

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1771232/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1601.82
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102382 0 0 0 159680 502 0 0 25 0 1 0 184014507 83632128 19488 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19488 577 886 0 19528 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 81672

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1771168/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1661.81
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102387 0 0 0 165663 518 0 0 25 0 1 0 184014507 83632128 19493 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19493 577 886 0 19528 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 81672

[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 3086
/proc/meminfo: memFree=1771040/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1721.79
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102414 0 0 0 171644 535 0 0 25 0 1 0 184014507 83632128 19520 1992294400 4194304 7823515 548682068736 18446744073709551615 5924555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19520 577 886 0 19528 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 81672

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3086
/proc/meminfo: memFree=1770976/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1781.77
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102419 0 0 0 177625 552 0 0 25 0 1 0 184014507 83632128 19525 1992294400 4194304 7823515 548682068736 18446744073709551615 6099656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19525 577 886 0 19528 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 81672

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

[startup+1785.5 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3086
/proc/meminfo: memFree=1770976/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1784.97
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102419 0 0 0 177944 553 0 0 25 0 1 0 184014507 83632128 19525 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19525 577 886 0 19528 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 81672

[startup+1791.91 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1770976/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1791.37
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102420 0 0 0 178582 555 0 0 25 0 1 0 184014507 83632128 19526 1992294400 4194304 7823515 548682068736 18446744073709551615 5994958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19526 577 886 0 19528 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 81672

[startup+1795.1 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1770976/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1794.58
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102420 0 0 0 178902 556 0 0 25 0 1 0 184014507 83632128 19526 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19526 577 886 0 19528 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 81672

[startup+1796.7 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1770976/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1796.17
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102420 0 0 0 179061 556 0 0 25 0 1 0 184014507 83632128 19526 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19526 577 886 0 19528 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 81672

[startup+1797.1 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1770976/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1796.56
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102420 0 0 0 179100 556 0 0 25 0 1 0 184014507 83632128 19526 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19526 577 886 0 19528 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (KiB) 81672

[startup+1797.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1770976/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=81672 CPUtime=1796.77
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102420 0 0 0 179121 556 0 0 25 0 1 0 184014507 83632128 19526 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3080/statm: 20418 19526 577 886 0 19528 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 81672

[startup+1797.41 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3086
/proc/meminfo: memFree=1770976/2055920 swapFree=4191900/4192956
[pid=3080] ppid=3078 vsize=28884 CPUtime=1796.87
/proc/3080/stat : 3080 (pbscip.linux.x8) R 3078 3080 2908 0 -1 4194304 102422 0 0 0 179130 557 0 0 25 0 1 0 184014507 29577216 6632 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/3080/statm: 7221 6632 4539 886 0 6331 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 28884

Child status: 0
Real time (s): 1797.41
CPU time (s): 1796.88
CPU user time (s): 1791.3
CPU system time (s): 5.58115
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 103592

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

runsolver used 1.44178 second user time and 3.89241 second system time

The end

Launcher Data 

Begin job on node9 at 2009-06-16 16:55:38
IDJOB=1869214
IDBENCH=2238
IDSOLVER=683
FILE ID=node9/1869214-1245164138
PBS_JOBID= 9363848
Free space on /tmp= 66160 MiB

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

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

MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e
RANDOM SEED=813484421

node9.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.231
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.231
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848320 kB
Buffers:         38568 kB
Cached:         103020 kB
SwapCached:        260 kB
Active:          48936 kB
Inactive:       105420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848320 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           10244 kB
Writeback:           0 kB
Mapped:          21996 kB
Slab:            39260 kB
Committed_AS:   158920 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= 66152 MiB
End job on node9 at 2009-06-16 17:25:36