Trace number 3733267

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT-49 1794.01 1794.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUMa2418d45f4247bab260506429e96e746
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126555
Number of constraints which are clauses126555
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 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.59/0.67	c SCIP version 1.1.0.7
0.59/0.67	c LP-Solver SoPlex 1.4.1
0.59/0.67	c user parameter file <scip.set> not found - using default parameters
0.59/0.67	c read problem <HOME/instance-3733267-1338700614.opb>
0.59/0.67	c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126555 constraints
0.69/0.79	c start presolving problem
0.69/0.79	c presolving:
1.39/1.47	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 126555 upgd conss, 253110 impls, 0 clqs
2.39/2.42	c    (1.6s) probing: 101/1534 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.42	c    (1.6s) probing aborted: 100/100 successive totally useless probings
2.39/2.42	c presolving (2 rounds):
2.39/2.42	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.42	c  253110 implications, 0 cliques
2.39/2.42	c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126555 constraints
2.39/2.42	c  126555 constraints of type <logicor>
2.39/2.42	c transformed objective value is always integral (scale: 1)
2.39/2.42	c Presolving Time: 1.49
2.39/2.42	c strange?!, PURESAT with obj
2.39/2.42	c -----------------------------------------------------------------------------------------------
2.39/2.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42	c limits/memory = c 13950
2.39/2.42	c # maximal time in seconds to run
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42	c limits/time = c 1791
2.39/2.42	c # frequency for displaying node information lines
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.42	c display/freq = c 10000
2.39/2.42	c -----------------------------------------------------------------------------------------------
2.39/2.42	c start solving problem
2.39/2.42	c 
6.69/6.73	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.69/6.73	c   5.8s|     1 |     0 |  1716 | 140M|   0 |1534 |1534 | 126k| 126k|1534 | 126k|   0 |   0 |   0 |-7.670000e+02 |      --      |    Inf 
6.69/6.73	o 0
6.69/6.73	c r 5.8s|     1 |     0 |  1716 | 140M|   0 |1534 |1534 | 126k| 126k|1534 | 126k|   0 |   0 |   0 |-7.670000e+02 | 0.000000e+00 | 100.00%
6.79/6.84	o -1
6.79/6.84	c R 6.0s|     1 |     0 |  1716 | 140M|   0 |1534 |1534 | 126k| 126k|1534 | 126k|   0 |   0 |   0 |-7.670000e+02 |-1.000000e+00 |  99.87%
6.89/6.95	o -2
6.89/6.95	c s 6.1s|     1 |     0 |  1716 | 140M|   0 |1534 |1534 | 126k| 126k|1534 | 126k|   0 |   0 |   0 |-7.670000e+02 |-2.000000e+00 |  99.74%
9.79/9.85	c   8.9s|     1 |     0 |  1888 | 140M|   0 |1457 |1534 | 126k| 126k|1534 | 126k|  10 |   0 |   0 |-7.285000e+02 |-2.000000e+00 |  99.73%
16.19/16.24	c  15.3s|     1 |     0 |  2138 | 140M|   0 |1401 |1534 | 126k| 126k|1534 | 126k|  23 |   0 |   0 |-7.005000e+02 |-2.000000e+00 |  99.71%
24.38/24.41	c  23.5s|     1 |     0 |  2379 | 140M|   0 |1360 |1534 | 126k| 126k|1534 | 126k|  44 |   0 |   0 |-6.800000e+02 |-2.000000e+00 |  99.71%
33.79/33.85	c  32.9s|     1 |     0 |  2546 | 140M|   0 |1311 |1534 | 126k| 126k|1534 | 126k|  49 |   0 |   0 |-6.555000e+02 |-2.000000e+00 |  99.69%
45.09/45.15	c  44.2s|     1 |     0 |  2960 | 140M|   0 |1258 |1534 | 126k| 126k|1534 | 126k|  63 |   0 |   0 |-6.290000e+02 |-2.000000e+00 |  99.68%
59.18/59.20	c  58.2s|     1 |     0 |  3544 | 140M|   0 |1207 |1534 | 126k| 126k|1534 | 126k|  71 |   0 |   0 |-6.035000e+02 |-2.000000e+00 |  99.67%
72.88/72.91	c  72.0s|     1 |     0 |  3939 | 140M|   0 |1157 |1534 | 126k| 126k|1534 | 126k|  79 |   0 |   0 |-5.777500e+02 |-2.000000e+00 |  99.65%
87.07/87.16	c  86.2s|     1 |     0 |  4400 | 140M|   0 |1109 |1534 | 126k| 126k|1534 | 126k|  90 |   0 |   0 |-5.537500e+02 |-2.000000e+00 |  99.64%
102.08/102.11	c   101s|     1 |     0 |  4837 | 140M|   0 |1059 |1534 | 126k| 126k|1534 | 126k|  95 |   0 |   0 |-5.287500e+02 |-2.000000e+00 |  99.62%
117.97/118.01	c   117s|     1 |     0 |  5305 | 140M|   0 |1006 |1534 | 126k| 126k|1534 | 126k| 104 |   0 |   0 |-5.022500e+02 |-2.000000e+00 |  99.60%
121.07/121.10	c   120s|     1 |     0 |  5665 | 140M|   0 | 981 |1534 | 126k| 126k|1534 | 126k| 110 |   0 |   0 |-4.897500e+02 |-2.000000e+00 |  99.59%
123.57/123.63	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
123.57/123.63	c   123s|     1 |     0 |  5969 | 140M|   0 | 952 |1534 | 126k| 126k|1534 | 126k| 119 |   0 |   0 |-4.752500e+02 |-2.000000e+00 |  99.58%
127.37/127.40	c   126s|     1 |     0 |  6528 | 140M|   0 | 901 |1534 | 126k| 126k|1534 | 126k| 126 |   0 |   0 |-4.497500e+02 |-2.000000e+00 |  99.56%
131.17/131.26	c   130s|     1 |     0 |  7171 | 140M|   0 | 835 |1534 | 126k| 126k|1534 | 126k| 134 |   0 |   0 |-4.167500e+02 |-2.000000e+00 |  99.52%
134.18/134.21	c   133s|     1 |     0 |  7604 | 140M|   0 | 789 |1534 | 126k| 126k|1534 | 126k| 139 |   0 |   0 |-3.932500e+02 |-2.000000e+00 |  99.49%
137.48/137.51	c   137s|     1 |     0 |  8092 | 140M|   0 | 740 |1534 | 126k| 126k|1534 | 126k| 152 |   0 |   0 |-3.687500e+02 |-2.000000e+00 |  99.46%
141.78/141.86	c   141s|     1 |     0 |  8916 | 140M|   0 | 674 |1534 | 126k| 126k|1534 | 126k| 158 |   0 |   0 |-3.362500e+02 |-2.000000e+00 |  99.41%
141.78/141.90	o -3
141.78/141.90	c R 141s|     1 |     0 |  8916 | 140M|   0 | 674 |1534 | 126k| 126k|1534 | 126k| 158 |   0 |   0 |-3.362500e+02 |-3.000000e+00 |  99.11%
145.26/145.33	c   144s|     1 |     0 |  9542 | 140M|   0 | 625 |1534 | 126k| 126k|1534 | 126k| 168 |   0 |   0 |-3.117500e+02 |-3.000000e+00 |  99.04%
147.87/147.98	c   147s|     1 |     0 |  9919 | 140M|   0 | 580 |1534 | 126k| 126k|1534 | 126k| 174 |   0 |   0 |-2.892500e+02 |-3.000000e+00 |  98.96%
150.27/150.36	c   149s|     1 |     0 | 10213 | 140M|   0 | 556 |1534 | 126k| 126k|1534 | 126k| 182 |   0 |   0 |-2.772500e+02 |-3.000000e+00 |  98.92%
152.27/152.38	c   151s|     1 |     0 | 10542 | 140M|   0 | 520 |1534 | 126k| 126k|1534 | 126k| 186 |   0 |   0 |-2.592500e+02 |-3.000000e+00 |  98.84%
155.96/156.03	c   155s|     1 |     0 | 11331 | 140M|   0 | 471 |1534 | 126k| 126k|1534 | 126k| 195 |   0 |   0 |-2.347500e+02 |-3.000000e+00 |  98.72%
159.26/159.37	c   158s|     1 |     0 | 12033 | 140M|   0 | 425 |1534 | 126k| 126k|1534 | 126k| 201 |   0 |   0 |-2.117500e+02 |-3.000000e+00 |  98.58%
161.17/161.20	c   160s|     1 |     0 | 12379 | 140M|   0 | 399 |1534 | 126k| 126k|1534 | 126k| 211 |   0 |   0 |-1.995000e+02 |-3.000000e+00 |  98.50%
162.77/162.82	c   162s|     1 |     0 | 12670 | 140M|   0 | 375 |1534 | 126k| 126k|1534 | 126k| 215 |   0 |   0 |-1.875000e+02 |-3.000000e+00 |  98.40%
165.56/165.66	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
165.56/165.66	c   165s|     1 |     0 | 13259 | 140M|   0 | 328 |1534 | 126k| 126k|1534 | 126k| 220 |   0 |   0 |-1.640000e+02 |-3.000000e+00 |  98.17%
168.46/168.53	c   168s|     1 |     0 | 14011 | 140M|   0 | 284 |1534 | 126k| 126k|1534 | 126k| 227 |   0 |   0 |-1.420000e+02 |-3.000000e+00 |  97.89%
170.57/170.63	c   170s|     1 |     0 | 14498 | 140M|   0 | 240 |1534 | 126k| 126k|1534 | 126k| 237 |   0 |   0 |-1.200000e+02 |-3.000000e+00 |  97.50%
171.87/171.94	c   171s|     1 |     0 | 14685 | 140M|   0 | 218 |1534 | 126k| 126k|1534 | 126k| 241 |   0 |   0 |-1.090000e+02 |-3.000000e+00 |  97.25%
173.86/173.95	c   173s|     1 |     0 | 15139 | 140M|   0 | 181 |1534 | 126k| 126k|1534 | 126k| 249 |   0 |   0 |-9.050000e+01 |-3.000000e+00 |  96.69%
175.66/175.74	c   175s|     1 |     0 | 15565 | 140M|   0 | 145 |1534 | 126k| 126k|1534 | 126k| 254 |   0 |   0 |-7.350000e+01 |-3.000000e+00 |  95.92%
175.66/175.76	o -4
175.66/175.76	c R 175s|     1 |     0 | 15565 | 140M|   0 | 145 |1534 | 126k| 126k|1534 | 126k| 254 |   0 |   0 |-7.350000e+01 |-4.000000e+00 |  94.56%
176.86/176.98	c   176s|     1 |     0 | 15716 | 140M|   0 | 148 |1534 | 126k| 126k|1534 | 126k| 259 |   0 |   0 |-6.450000e+01 |-4.000000e+00 |  93.80%
177.96/178.04	c   177s|     1 |     0 | 15854 | 141M|   0 | 114 |1534 | 126k| 126k|1534 | 126k| 267 |   0 |   0 |-5.900000e+01 |-4.000000e+00 |  93.22%
177.96/178.06	o -5
177.96/178.06	c R 177s|     1 |     0 | 15854 | 141M|   0 | 114 |1534 | 126k| 126k|1534 | 126k| 267 |   0 |   0 |-5.900000e+01 |-5.000000e+00 |  91.53%
179.46/179.56	c   179s|     1 |     0 | 16103 | 141M|   0 | 144 |1534 | 126k| 126k|1534 | 126k| 280 |   0 |   0 |-5.900000e+01 |-5.000000e+00 |  91.53%
180.96/181.07	c   180s|     1 |     0 | 16331 | 141M|   0 | 127 |1534 | 126k| 126k|1534 | 126k| 292 |   0 |   0 |-5.900000e+01 |-5.000000e+00 |  91.53%
182.36/182.46	c   181s|     1 |     0 | 16537 | 141M|   0 | 153 |1534 | 126k| 126k|1534 | 126k| 300 |   0 |   0 |-5.900000e+01 |-5.000000e+00 |  91.53%
184.36/184.43	c   183s|     1 |     0 | 16910 | 141M|   0 | 140 |1534 | 126k| 126k|1534 | 126k| 312 |   0 |   0 |-5.900000e+01 |-5.000000e+00 |  91.53%
187.47/187.58	c   187s|     1 |     0 | 17671 | 141M|   0 | 102 |1534 | 126k| 126k|1534 | 126k| 322 |   0 |   0 |-5.900000e+01 |-5.000000e+00 |  91.53%
187.47/187.59	o -8
187.47/187.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
187.47/187.59	c r 187s|     1 |     0 | 17671 | 141M|   0 | 102 |1534 | 126k| 126k|1534 | 126k| 322 |   0 |   0 |-5.900000e+01 |-8.000000e+00 |  86.44%
187.56/187.60	o -9
187.56/187.60	c R 187s|     1 |     0 | 17671 | 141M|   0 | 102 |1534 | 126k| 126k|1534 | 126k| 322 |   0 |   0 |-5.900000e+01 |-9.000000e+00 |  84.75%
187.56/187.62	o -10
187.56/187.62	c s 187s|     1 |     0 | 17671 | 141M|   0 | 102 |1534 | 126k| 126k|1534 | 126k| 322 |   0 |   0 |-5.900000e+01 |-1.000000e+01 |  83.05%
187.56/187.64	o -39
187.56/187.64	c k 187s|     1 |     0 | 17671 | 141M|   0 | 102 |1534 | 126k| 126k|1534 | 126k| 322 |   0 |   0 |-5.900000e+01 |-3.900000e+01 |  33.90%
188.26/188.38	c   187s|     1 |     0 | 17671 | 141M|   0 | 102 |1534 | 126k| 126k|1534 | 126k| 322 |   0 |   0 |-5.900000e+01 |-3.900000e+01 |  33.90%
192.56/192.65	c   192s|     1 |     0 | 18588 | 141M|   0 | 112 |1534 | 126k| 126k|1534 | 126k| 331 |   0 |   0 |-5.900000e+01 |-3.900000e+01 |  33.90%
239.65/239.77	c   239s|     1 |     2 | 18588 | 141M|   0 | 112 |1534 | 126k| 126k|1534 | 126k| 331 |   0 |  22 |-5.900000e+01 |-3.900000e+01 |  33.90%
746.76/746.99	o -41
746.76/746.99	c c 745s|    18 |    19 | 23152 | 144M|  17 |   - |1534 | 126k| 121k|1534 | 126k| 331 |   0 | 405 |-5.900000e+01 |-4.100000e+01 |  30.51%
781.96/782.14	o -44
781.96/782.14	c p 780s|    31 |    32 | 26260 | 145M|  17 |   - |1534 | 126k|  71k|1534 | 126k| 331 |   0 | 416 |-5.900000e+01 |-4.400000e+01 |  25.42%
781.96/782.18	o -47
781.96/782.18	c p 780s|    31 |    32 | 26264 | 145M|  17 |   - |1534 | 126k|  71k|1534 | 126k| 331 |   0 | 416 |-5.900000e+01 |-4.700000e+01 |  20.34%
866.43/866.68	o -48
866.43/866.68	c l 865s|    94 |    95 | 42018 | 147M|  18 |   - |1534 | 126k| 118k|1534 | 126k| 331 |   0 | 428 |-5.900000e+01 |-4.800000e+01 |  18.64%
926.32/926.57	o -49
926.32/926.57	c p 925s|   130 |   131 | 50647 | 149M|  18 |   - |1534 | 126k|  63k|1534 | 126k| 331 |   0 | 452 |-5.900000e+01 |-4.900000e+01 |  16.95%
1793.70/1794.10	c 
1793.70/1794.10	c SCIP Status        : solving was interrupted [time limit reached]
1793.70/1794.10	c Solving Time (sec) : 1791.01
1793.70/1794.10	c Solving Nodes      : 934
1793.70/1794.10	c Primal Bound       : -4.90000000000000e+01 (363 solutions)
1793.70/1794.10	c Dual Bound         : -5.90000000000000e+01
1793.70/1794.10	c Gap                : 16.95 %
1793.80/1794.13	c NODE         934
1793.80/1794.13	c DUAL BOUND   -59
1793.80/1794.13	c PRIMAL BOUND -49
1793.80/1794.13	c GAP          0.169492
1793.80/1794.13	s SATISFIABLE
1793.80/1794.13	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
1793.80/1794.13	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 
1793.80/1794.13	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 
1793.80/1794.13	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 
1793.80/1794.13	v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 
1793.80/1794.13	v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 
1793.80/1794.13	v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
1793.80/1794.13	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
1793.80/1794.13	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 
1793.80/1794.13	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 
1793.80/1794.13	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
1793.80/1794.13	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
1793.80/1794.13	v -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1793.80/1794.13	v -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 
1793.80/1794.13	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
1793.80/1794.13	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
1793.80/1794.13	v x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 
1793.80/1794.13	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 
1793.80/1794.13	v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 
1793.80/1794.13	v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 
1793.80/1794.13	v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 
1793.80/1794.13	v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 
1793.80/1794.13	v x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1793.80/1794.13	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 
1793.80/1794.13	v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 
1793.80/1794.13	v -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
1793.80/1794.13	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 
1793.80/1794.13	v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 
1793.80/1794.13	v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 
1793.80/1794.13	v -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 
1793.80/1794.13	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 
1793.80/1794.13	v -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 
1793.80/1794.13	v -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 
1793.80/1794.13	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
1793.80/1794.13	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 
1793.80/1794.13	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 
1793.80/1794.13	v -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 
1793.80/1794.13	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 
1793.80/1794.13	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
1793.80/1794.13	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 
1793.80/1794.13	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 
1793.80/1794.13	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 
1793.80/1794.13	v -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 
1793.80/1794.13	v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
1793.80/1794.13	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 
1793.80/1794.13	v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 
1793.80/1794.13	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 
1793.80/1794.13	v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 
1793.80/1794.13	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 
1793.80/1794.13	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 
1793.80/1794.13	v -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 
1793.80/1794.13	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
1793.80/1794.13	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 
1793.80/1794.13	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 
1793.80/1794.13	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 
1793.80/1794.13	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 
1793.80/1794.13	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 
1793.80/1794.13	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 
1793.80/1794.13	v -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 
1793.80/1794.13	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 
1793.80/1794.13	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 
1793.80/1794.13	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
1793.80/1794.13	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 
1793.80/1794.13	v -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 
1793.80/1794.13	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 
1793.80/1794.13	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 
1793.80/1794.13	v -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 
1793.80/1794.13	v x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 
1793.80/1794.13	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 
1793.80/1794.13	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 
1793.80/1794.13	v -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 
1793.80/1794.13	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 
1793.80/1794.13	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 
1793.80/1794.13	v -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 
1793.80/1794.13	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 
1793.80/1794.13	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 
1793.80/1794.13	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 
1793.80/1794.13	c SCIP Status        : solving was interrupted [time limit reached]
1793.80/1794.13	c Solving Time       :    1791.01
1793.80/1794.13	c Original Problem   :
1793.80/1794.13	c   Problem name     : HOME/instance-3733267-1338700614.opb
1793.80/1794.13	c   Variables        : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.80/1794.13	c   Constraints      : 126555 initial, 126555 maximal
1793.80/1794.13	c Presolved Problem  :
1793.80/1794.13	c   Problem name     : t_HOME/instance-3733267-1338700614.opb
1793.80/1794.13	c   Variables        : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.80/1794.13	c   Constraints      : 126555 initial, 126555 maximal
1793.80/1794.13	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.80/1794.13	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.13	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.13	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.13	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.13	c   implics          :       0.00          0          0          0          0          0          0          0          0
1793.80/1794.13	c   probing          :       0.87          0          0          0          0          0          0          0          0
1793.80/1794.13	c   logicor          :       0.13          0          0          0          0          0          0          0          0
1793.80/1794.13	c   root node        :          -          0          -          -          0          -          -          -          -
1793.80/1794.13	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.80/1794.13	c   integral         :          0          0          0        934          0          0          0          0          0       1868
1793.80/1794.13	c   logicor          :     126555         39       2129          0          0          0      37828          0          0          0
1793.80/1794.13	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1793.80/1794.13	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.80/1794.13	c   integral         :     799.24       0.00       0.00     799.24       0.00
1793.80/1794.13	c   logicor          :       2.06       0.21       1.85       0.00       0.00
1793.80/1794.13	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.80/1794.13	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.80/1794.13	c   rootredcost      :       0.01          5          0          0
1793.80/1794.13	c   pseudoobj        :       0.12       5164          0          0
1793.80/1794.13	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.80/1794.13	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.80/1794.13	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1793.80/1794.13	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.80/1794.13	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.80/1794.13	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.80/1794.13	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.80/1794.13	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.80/1794.13	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1793.80/1794.13	c   cut pool         :       0.00         38          -          -         66          -    (maximal pool size: 652)
1793.80/1794.13	c   redcost          :       0.07        972          0          0          0          0
1793.80/1794.13	c   impliedbounds    :       0.12         39          0          0          0          0
1793.80/1794.13	c   intobj           :       0.00          0          0          0          0          0
1793.80/1794.13	c   gomory           :      18.69         39          0          0      19500          0
1793.80/1794.13	c   strongcg         :       9.30         20          0          0      10000          0
1793.80/1794.13	c   cmir             :      40.68         10          0          0          0          0
1793.80/1794.13	c   flowcover        :      42.50         10          0          0          0          0
1793.80/1794.13	c   clique           :       2.18         39          0          0        355          0
1793.80/1794.13	c   zerohalf         :       0.00          0          0          0          0          0
1793.80/1794.13	c   mcf              :       0.10          1          0          0          0          0
1793.80/1794.13	c Pricers            :       Time      Calls       Vars
1793.80/1794.13	c   problem variables:       0.00          0          0
1793.80/1794.13	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1793.80/1794.13	c   relpscost        :     799.24        934          0          0          0          0       1868
1793.80/1794.13	c   pscost           :       0.00          0          0          0          0          0          0
1793.80/1794.13	c   inference        :       0.00          0          0          0          0          0          0
1793.80/1794.13	c   mostinf          :       0.00          0          0          0          0          0          0
1793.80/1794.13	c   leastinf         :       0.00          0          0          0          0          0          0
1793.80/1794.13	c   fullstrong       :       0.00          0          0          0          0          0          0
1793.80/1794.13	c   allfullstrong    :       0.00          0          0          0          0          0          0
1793.80/1794.13	c   random           :       0.00          0          0          0          0          0          0
1793.80/1794.13	c Primal Heuristics  :       Time      Calls      Found
1793.80/1794.13	c   LP solutions     :       0.00          -          0
1793.80/1794.13	c   pseudo solutions :       0.00          -          0
1793.80/1794.13	c   oneopt           :       0.07          5          1
1793.80/1794.13	c   guideddiving     :      30.31         10          6
1793.80/1794.13	c   veclendiving     :      77.88         11         29
1793.80/1794.13	c   pscostdiving     :      40.23         11         57
1793.80/1794.13	c   coefdiving       :      39.24         11         38
1793.80/1794.13	c   objpscostdiving  :      23.26          6         54
1793.80/1794.13	c   rootsoldiving    :      15.11          6         34
1793.80/1794.13	c   simplerounding   :       0.31        973         69
1793.80/1794.13	c   rounding         :       7.26        973          5
1793.80/1794.13	c   shifting         :       2.14        135         10
1793.80/1794.13	c   intshifting      :       0.00          0          0
1793.80/1794.13	c   fixandinfer      :       0.00          0          0
1793.80/1794.13	c   feaspump         :       0.00          0          0
1793.80/1794.13	c   fracdiving       :      31.68         11         13
1793.80/1794.13	c   intdiving        :       0.00          0          0
1793.80/1794.13	c   actconsdiving    :       0.00          0          0
1793.80/1794.13	c   linesearchdiving :      31.42         11         45
1793.80/1794.13	c   octane           :       0.00          0          0
1793.80/1794.13	c   rens             :       0.67          1          1
1793.80/1794.13	c   rins             :       0.00          0          0
1793.80/1794.13	c   localbranching   :       0.00          0          0
1793.80/1794.13	c   mutation         :       0.00          0          0
1793.80/1794.13	c   crossover        :       0.60          1          1
1793.80/1794.13	c   dins             :       0.00          0          0
1793.80/1794.13	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1793.80/1794.13	c   primal LP        :       0.16          0          0       0.00       0.00
1793.80/1794.13	c   dual LP          :     559.21        973     141032     144.95     252.20
1793.80/1794.13	c   barrier LP       :       0.00          0          0       0.00          -
1793.80/1794.13	c   diving/probing LP:     258.69       2900      54977      18.96     212.52
1793.80/1794.13	c   strong branching :     799.17        734     183482     249.98     229.59
1793.80/1794.13	c     (at root node) :          -         22      12258     557.18          -
1793.80/1794.13	c   conflict analysis:       0.00          0          0       0.00          -
1793.80/1794.13	c B&B Tree           :
1793.80/1794.13	c   number of runs   :          1
1793.80/1794.13	c   nodes            :        934
1793.80/1794.13	c   nodes (total)    :        934
1793.80/1794.13	c   nodes left       :        935
1793.80/1794.13	c   max depth        :         29
1793.80/1794.13	c   max depth (total):         29
1793.80/1794.13	c   backtracks       :         76 (8.1%)
1793.80/1794.13	c   delayed cutoffs  :          0
1793.80/1794.13	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1793.80/1794.13	c   avg switch length:       2.71
1793.80/1794.13	c   switching time   :       1.67
1793.80/1794.13	c Solution           :
1793.80/1794.13	c   Solutions found  :        363 (15 improvements)
1793.80/1794.13	c   Primal Bound     : -4.90000000000000e+01   (in run 1, after 130 nodes, 924.53 seconds, depth 41, found by <pscostdiving>)
1793.80/1794.13	c   Dual Bound       : -5.90000000000000e+01
1793.80/1794.13	c   Gap              :      16.95 %
1793.80/1794.13	c   Root Dual Bound  : -5.90000000000000e+01
1794.00/1794.30	c Time complete: 1794.

Verifier Data 

OK	-49

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2928
/proc/meminfo: memFree=27064420/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=8732 CPUtime=0 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 1516 0 0 0 0 0 0 0 20 0 1 0 336186231 8941568 1469 33554432000 4194304 7823515 140735440270112 140735440265544 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 2183 1479 349 887 0 1293 0

[startup+0.0702901 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2928
/proc/meminfo: memFree=27064420/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=15424 CPUtime=0.06 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 3196 0 0 0 6 0 0 0 20 0 1 0 336186231 15794176 3149 33554432000 4194304 7823515 140735440270112 140735440265544 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 3856 3149 354 887 0 2966 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15424

[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2928
/proc/meminfo: memFree=27064420/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=17548 CPUtime=0.09 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 3730 0 0 0 9 0 0 0 20 0 1 0 336186231 17969152 3683 33554432000 4194304 7823515 140735440270112 140735440265544 4511625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 4387 3683 354 887 0 3497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17548

[startup+0.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2928
/proc/meminfo: memFree=27064420/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=29828 CPUtime=0.29 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 6778 0 0 0 29 0 0 0 20 0 1 0 336186231 30543872 6731 33554432000 4194304 7823515 140735440270112 140735440265544 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 7457 6731 354 887 0 6567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29828

[startup+0.700252 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2928
/proc/meminfo: memFree=27064420/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=72208 CPUtime=0.69 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 17622 0 0 0 68 1 0 0 20 0 1 0 336186231 73940992 17221 33554432000 4194304 7823515 140735440270112 140735440136216 4209008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 18052 17223 370 887 0 17162 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72208

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=26937676/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=183080 CPUtime=1.49 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 42832 0 0 0 133 16 0 0 20 0 1 0 336186231 187473920 44648 33554432000 4194304 7823515 140735440270112 140735440267736 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 45770 44648 424 887 0 44880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 183080

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=26886896/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=281392 CPUtime=3.09 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 60821 0 0 0 289 20 0 0 20 0 1 0 336186231 288145408 66824 33554432000 4194304 7823515 140735440270112 140735440266792 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 70348 66824 506 887 0 69458 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 281392

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=26759696/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=338048 CPUtime=6.28 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 67944 0 0 0 607 21 0 0 20 0 1 0 336186231 346161152 77964 33554432000 4194304 7823515 140735440270112 140735440265800 6237623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 84512 77964 510 887 0 83622 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 338048

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=26737260/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=347096 CPUtime=12.69 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 70940 0 0 0 1243 26 0 0 20 0 1 0 336186231 355426304 81921 33554432000 4194304 7823515 140735440270112 140735440265864 5575817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 86774 81921 547 887 0 85884 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 347096

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=26733236/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=347096 CPUtime=25.49 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 71477 0 0 0 2522 27 0 0 20 0 1 0 336186231 355426304 82969 33554432000 4194304 7823515 140735440270112 140735440265304 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 86774 82969 547 887 0 85884 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 347096

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=26730508/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=348280 CPUtime=51.08 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 72249 0 0 0 5081 27 0 0 20 0 1 0 336186231 356638720 83741 33554432000 4194304 7823515 140735440270112 140735440265864 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 87070 83741 548 887 0 86180 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 348280

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=26736832/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=350348 CPUtime=102.28 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 74509 0 0 0 10199 29 0 0 20 0 1 0 336186231 358756352 82234 33554432000 4194304 7823515 140735440270112 140735440265448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 87587 82234 548 887 0 86697 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 350348

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2929
/proc/meminfo: memFree=26722192/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=354304 CPUtime=162.27 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 76131 0 0 0 16193 34 0 0 20 0 1 0 336186231 362807296 85886 33554432000 4194304 7823515 140735440270112 140735440265256 6211638 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 88576 85886 548 887 0 87686 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 354304

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2932
/proc/meminfo: memFree=26646328/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=222.26 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94630 0 0 0 22178 48 0 0 20 0 1 0 336186231 436387840 104727 33554432000 4194304 7823515 140735440270112 140735440264808 6212699 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 104727 569 887 0 105650 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 426160

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2932
/proc/meminfo: memFree=26634172/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=282.23 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94638 0 0 0 28170 53 0 0 20 0 1 0 336186231 436387840 105487 33554432000 4194304 7823515 140735440270112 140735440265160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 105487 569 887 0 105650 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 426160

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=26633248/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=342.22 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94650 0 0 0 34161 61 0 0 20 0 1 0 336186231 436387840 105748 33554432000 4194304 7823515 140735440270112 140735440265272 6211295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 105748 569 887 0 105650 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 426160

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2933
/proc/meminfo: memFree=26632104/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=402.21 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94650 0 0 0 40153 68 0 0 20 0 1 0 336186231 436387840 106062 33554432000 4194304 7823515 140735440270112 140735440265160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 106062 569 887 0 105650 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 426160

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2933
/proc/meminfo: memFree=26632660/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=462.2 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94650 0 0 0 46146 74 0 0 20 0 1 0 336186231 436387840 106064 33554432000 4194304 7823515 140735440270112 140735440264808 6211008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 106064 569 887 0 105650 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 426160

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=26632288/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=522.19 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94650 0 0 0 52139 80 0 0 20 0 1 0 336186231 436387840 106064 33554432000 4194304 7823515 140735440270112 140735440264808 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 106064 569 887 0 105650 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 426160

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2933
/proc/meminfo: memFree=26631280/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=582.17 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94651 0 0 0 58131 86 0 0 20 0 1 0 336186231 436387840 106079 33554432000 4194304 7823515 140735440270112 140735440264440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 106079 569 887 0 105650 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 426160

[startup+642.3 s]

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

/proc/meminfo: memFree=26632520/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=1062.11 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94652 0 0 0 106076 135 0 0 20 0 1 0 336186231 436387840 106080 33554432000 4194304 7823515 140735440270112 140735440265800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 106080 570 887 0 105650 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 426160

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2938
/proc/meminfo: memFree=26632148/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=426160 CPUtime=1122.1 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 94652 0 0 0 112069 141 0 0 20 0 1 0 336186231 436387840 106080 33554432000 4194304 7823515 140735440270112 140735440264808 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 106540 106080 570 887 0 105650 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 426160

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2938
/proc/meminfo: memFree=26618880/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1182.09 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 118059 150 0 0 20 0 1 0 336186231 451125248 109427 33554432000 4194304 7823515 140735440270112 140735440265448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109427 571 887 0 109248 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 440552

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2939
/proc/meminfo: memFree=26617812/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1242.08 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 124052 156 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440264808 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 440552

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2939
/proc/meminfo: memFree=26617812/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1302.08 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 130046 162 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440264440 6210984 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 440552

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2939
/proc/meminfo: memFree=26617812/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1362.06 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 136038 168 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265448 6908077 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 440552

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2942
/proc/meminfo: memFree=26617556/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1422.06 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 142032 174 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440266072 6212558 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 440552

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2980
/proc/meminfo: memFree=26776516/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1482.04 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 148023 181 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265576 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 440552

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2981
/proc/meminfo: memFree=26773044/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1542.03 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 154016 187 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440266008 6109403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 440552

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26773044/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1602.02 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 160008 194 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265160 6109354 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 440552

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26772328/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1662.01 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 166000 201 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 440552

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26760208/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1722 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 171993 207 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265064 6211359 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 440552

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26756600/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1782 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 177987 213 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265448 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 440552

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26755980/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1785.2 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 178307 213 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440264824 6212699 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 440552

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2981
/proc/meminfo: memFree=26755980/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1788.4 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 178627 213 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 440552

[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2981
/proc/meminfo: memFree=26755360/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1791.6 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 178947 213 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265608 5994926 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 440552

[startup+1793.5 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2981
/proc/meminfo: memFree=26749964/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1793.19 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 179106 213 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1793.19
Current children cumulated vsize (KiB) 440552

[startup+1793.9 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2981
/proc/meminfo: memFree=26749964/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=440552 CPUtime=1793.59 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 97999 0 0 0 179146 213 0 0 20 0 1 0 336186231 451125248 109680 33554432000 4194304 7823515 140735440270112 140735440265800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 110138 109680 571 887 0 109248 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (KiB) 440552

[startup+1794.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 2981
/proc/meminfo: memFree=26758088/32873844 swapFree=6608/6608
[pid=2928] ppid=2926 vsize=297504 CPUtime=1794 cores=0,2,4,6
/proc/2928/stat : 2928 (pbscip.linux.x8) R 2926 2928 301 0 -1 4202496 98001 0 0 0 179186 214 0 0 20 0 1 0 336186231 304644096 73969 33554432000 4194304 7823515 140735440270112 140735440265800 6962503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2928/statm: 74376 73969 573 887 0 73486 0
Current children cumulated CPU time (s) 1794
Current children cumulated vsize (KiB) 297504

Child status: 0
Real time (s): 1794.3
CPU time (s): 1794.01
CPU user time (s): 1791.86
CPU system time (s): 2.14767
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 440552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.86
system time used= 2.14767
maximum resident set size= 438728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98004
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= 28
involuntary context switches= 1994

runsolver used 3.49147 second user time and 9.80551 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-03 07:16:54
IDJOB=3733267
IDBENCH=2265
IDSOLVER=2321
FILE ID=node140/3733267-1338700614
RUNJOBID= node140-1338678631-320
PBS_JOBID= 14636673
Free space on /tmp= 70612 MiB

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

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

MD5SUM BENCH= a2418d45f4247bab260506429e96e746
RANDOM SEED=1410670371

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27064684 kB
Buffers:          406864 kB
Cached:          4221580 kB
SwapCached:         1664 kB
Active:          1550940 kB
Inactive:        3369864 kB
Active(anon):     284972 kB
Inactive(anon):     9404 kB
Active(file):    1265968 kB
Inactive(file):  3360460 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:             12840 kB
Writeback:             0 kB
AnonPages:        268772 kB
Mapped:            12588 kB
Shmem:                 8 kB
Slab:             748260 kB
SReclaimable:     190616 kB
SUnreclaim:       557644 kB
KernelStack:        1472 kB
PageTables:         4560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     407924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70600 MiB
End job on node140 at 2012-06-03 07:46:48