Trace number 1869259

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-42 1794.65 1796.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUMdc857dc123c51e1f53f981679774fda8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark1795.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80072
Number of constraints which are clauses80072
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 1150
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 1150
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 1150
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.98/1.01	c SCIP version 1.1.0.7
0.98/1.01	c LP-Solver Clp 1.8.2
0.98/1.01	c user parameter file <scip.set> not found - using default parameters
0.98/1.01	c read problem <HOME/instance-1869259-1245167116.opb>
0.98/1.01	c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80072 constraints
1.09/1.18	c start presolving problem
1.09/1.18	c presolving:
1.98/2.07	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80072 upgd conss, 160144 impls, 0 clqs
3.79/3.83	c    (2.6s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.79/3.83	c    (2.6s) probing aborted: 100/100 successive totally useless probings
3.79/3.83	c presolving (2 rounds):
3.79/3.83	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.79/3.83	c  160144 implications, 0 cliques
3.79/3.83	c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80072 constraints
3.79/3.83	c   80072 constraints of type <logicor>
3.79/3.83	c transformed objective value is always integral (scale: 1)
3.79/3.83	c Presolving Time: 2.44
3.79/3.83	c strange?!, PURESAT with obj
3.79/3.83	c -----------------------------------------------------------------------------------------------
3.79/3.83	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.79/3.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.83	c limits/memory = c 1620
3.79/3.83	c # maximal time in seconds to run
3.79/3.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.83	c limits/time = c 1791
3.79/3.83	c # frequency for displaying node information lines
3.79/3.83	c # [type: int, range: [-1,2147483647], default: 100]
3.79/3.83	c display/freq = c 10000
3.79/3.83	c -----------------------------------------------------------------------------------------------
3.79/3.83	c start solving problem
3.79/3.83	c 
5.88/5.98	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.88/5.98	c   4.7s|     1 |     0 |  1155 |  89M|   0 |1150 |1150 |  80k|  80k|1150 |  80k|   0 |   0 |   0 |-5.750000e+02 |      --      |    Inf 
5.88/5.99	o 0
5.88/5.99	c r 4.7s|     1 |     0 |  1155 |  89M|   0 |1150 |1150 |  80k|  80k|1150 |  80k|   0 |   0 |   0 |-5.750000e+02 | 0.000000e+00 | 100.00%
6.08/6.13	o -1
6.08/6.13	c R 4.8s|     1 |     0 |  1155 |  89M|   0 |1150 |1150 |  80k|  80k|1150 |  80k|   0 |   0 |   0 |-5.750000e+02 |-1.000000e+00 |  99.83%
16.28/16.39	c  15.0s|     1 |     0 |  1604 |  89M|   0 |1085 |1150 |  80k|  80k|1150 |  80k|   8 |   0 |   0 |-5.425000e+02 |-1.000000e+00 |  99.82%
24.98/25.07	c  23.6s|     1 |     0 |  1833 |  89M|   0 |1042 |1150 |  80k|  80k|1150 |  80k|  13 |   0 |   0 |-5.210000e+02 |-1.000000e+00 |  99.81%
33.87/33.98	c  32.5s|     1 |     0 |  2078 |  89M|   0 | 996 |1150 |  80k|  80k|1150 |  80k|  22 |   0 |   0 |-4.980000e+02 |-1.000000e+00 |  99.80%
46.95/47.09	c  45.6s|     1 |     0 |  2458 |  89M|   0 | 955 |1150 |  80k|  80k|1150 |  80k|  28 |   0 |   0 |-4.763333e+02 |-1.000000e+00 |  99.79%
60.05/60.18	c  58.7s|     1 |     0 |  2782 |  89M|   0 | 908 |1150 |  80k|  80k|1150 |  80k|  38 |   0 |   0 |-4.532500e+02 |-1.000000e+00 |  99.78%
72.36/72.48	c  71.0s|     1 |     0 |  3049 |  89M|   0 | 885 |1150 |  80k|  80k|1150 |  80k|  44 |   0 |   0 |-4.417500e+02 |-1.000000e+00 |  99.77%
91.84/91.93	c  90.4s|     1 |     0 |  3675 |  89M|   0 | 825 |1150 |  80k|  80k|1150 |  80k|  50 |   0 |   0 |-4.117500e+02 |-1.000000e+00 |  99.76%
91.94/92.03	o -2
91.94/92.03	c R90.5s|     1 |     0 |  3675 |  89M|   0 | 825 |1150 |  80k|  80k|1150 |  80k|  50 |   0 |   0 |-4.117500e+02 |-2.000000e+00 |  99.51%
107.53/107.68	c   106s|     1 |     0 |  4092 |  89M|   0 | 783 |1150 |  80k|  80k|1150 |  80k|  57 |   0 |   0 |-3.907500e+02 |-2.000000e+00 |  99.49%
127.62/127.73	c   126s|     1 |     0 |  4789 |  89M|   0 | 721 |1150 |  80k|  80k|1150 |  80k|  69 |   0 |   0 |-3.577500e+02 |-2.000000e+00 |  99.44%
146.81/147.00	c   145s|     1 |     0 |  5399 |  89M|   0 | 677 |1150 |  80k|  80k|1150 |  80k|  76 |   0 |   0 |-3.367500e+02 |-2.000000e+00 |  99.41%
162.01/162.17	c   161s|     1 |     0 |  6269 |  89M|   0 | 611 |1150 |  80k|  80k|1150 |  80k|  88 |   0 |   0 |-3.037500e+02 |-2.000000e+00 |  99.34%
172.11/172.27	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
172.11/172.27	c   171s|     1 |     0 |  6852 |  89M|   0 | 570 |1150 |  80k|  80k|1150 |  80k|  97 |   0 |   0 |-2.827500e+02 |-2.000000e+00 |  99.29%
172.21/172.33	o -3
172.21/172.33	c R 171s|     1 |     0 |  6852 |  89M|   0 | 570 |1150 |  80k|  80k|1150 |  80k|  97 |   0 |   0 |-2.827500e+02 |-3.000000e+00 |  98.94%
181.70/181.89	c   180s|     1 |     0 |  7408 |  89M|   0 | 528 |1150 |  80k|  80k|1150 |  80k| 104 |   0 |   0 |-2.617500e+02 |-3.000000e+00 |  98.85%
189.91/190.01	c   188s|     1 |     0 |  7926 |  89M|   0 | 483 |1150 |  80k|  80k|1150 |  80k| 114 |   0 |   0 |-2.407500e+02 |-3.000000e+00 |  98.75%
198.08/198.24	c   197s|     1 |     0 |  8478 |  89M|   0 | 444 |1150 |  80k|  80k|1150 |  80k| 120 |   0 |   0 |-2.212500e+02 |-3.000000e+00 |  98.64%
198.08/198.29	o -4
198.08/198.29	c R 197s|     1 |     0 |  8478 |  89M|   0 | 444 |1150 |  80k|  80k|1150 |  80k| 120 |   0 |   0 |-2.212500e+02 |-4.000000e+00 |  98.19%
202.09/202.20	c   201s|     1 |     0 |  8756 |  89M|   0 | 421 |1150 |  80k|  80k|1150 |  80k| 126 |   0 |   0 |-2.097500e+02 |-4.000000e+00 |  98.09%
210.08/210.29	c   209s|     1 |     0 |  9303 |  89M|   0 | 380 |1150 |  80k|  80k|1150 |  80k| 131 |   0 |   0 |-1.900000e+02 |-4.000000e+00 |  97.89%
220.58/220.72	c   219s|     1 |     0 | 10094 |  89M|   0 | 338 |1150 |  80k|  80k|1150 |  80k| 137 |   0 |   0 |-1.690000e+02 |-4.000000e+00 |  97.63%
224.99/225.13	c   223s|     1 |     0 | 10439 |  89M|   0 | 316 |1150 |  80k|  80k|1150 |  80k| 141 |   0 |   0 |-1.580000e+02 |-4.000000e+00 |  97.47%
227.49/227.63	c   226s|     1 |     0 | 10585 |  89M|   0 | 294 |1150 |  80k|  80k|1150 |  80k| 145 |   0 |   0 |-1.470000e+02 |-4.000000e+00 |  97.28%
233.48/233.67	c   232s|     1 |     0 | 11174 |  89M|   0 | 254 |1150 |  80k|  80k|1150 |  80k| 153 |   0 |   0 |-1.270000e+02 |-4.000000e+00 |  96.85%
239.70/239.88	c   238s|     1 |     0 | 11819 |  89M|   0 | 214 |1150 |  80k|  80k|1150 |  80k| 163 |   0 |   0 |-1.070000e+02 |-4.000000e+00 |  96.26%
243.48/243.69	c   242s|     1 |     0 | 12313 |  89M|   0 | 193 |1150 |  80k|  80k|1150 |  80k| 176 |   0 |   0 |-9.650000e+01 |-4.000000e+00 |  95.85%
245.27/245.45	c   244s|     1 |     0 | 12512 |  89M|   0 | 193 |1150 |  80k|  80k|1150 |  80k| 185 |   0 |   0 |-8.600000e+01 |-4.000000e+00 |  95.35%
247.28/247.42	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
247.28/247.42	c   246s|     1 |     0 | 12777 |  89M|   0 | 153 |1150 |  80k|  80k|1150 |  80k| 193 |   0 |   0 |-7.650000e+01 |-4.000000e+00 |  94.77%
249.78/249.98	c   248s|     1 |     0 | 13191 |  89M|   0 | 139 |1150 |  80k|  80k|1150 |  80k| 204 |   0 |   0 |-5.800000e+01 |-4.000000e+00 |  93.10%
249.88/250.03	o -4
249.88/250.03	c s 248s|     1 |     0 | 13191 |  89M|   0 | 139 |1150 |  80k|  80k|1150 |  80k| 204 |   0 |   0 |-5.800000e+01 |-4.000000e+00 |  93.10%
251.68/251.84	c   250s|     1 |     0 | 13381 |  89M|   0 | 107 |1150 |  80k|  80k|1150 |  80k| 215 |   0 |   0 |-5.000000e+01 |-4.000000e+00 |  92.00%
251.68/251.87	o -5
251.68/251.87	c R 250s|     1 |     0 | 13381 |  89M|   0 | 107 |1150 |  80k|  80k|1150 |  80k| 215 |   0 |   0 |-5.000000e+01 |-5.000000e+00 |  90.00%
251.68/251.90	o -6
251.68/251.90	c s 250s|     1 |     0 | 13381 |  89M|   0 | 107 |1150 |  80k|  80k|1150 |  80k| 215 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
253.68/253.82	c   252s|     1 |     0 | 13539 |  89M|   0 | 101 |1150 |  80k|  80k|1150 |  80k| 228 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
255.68/255.86	c   254s|     1 |     0 | 13682 |  90M|   0 | 119 |1150 |  80k|  80k|1150 |  80k| 241 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
257.87/258.03	c   256s|     1 |     0 | 13881 |  90M|   0 |  99 |1150 |  80k|  80k|1150 |  80k| 256 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
261.28/261.50	c   260s|     1 |     0 | 13990 |  90M|   0 | 136 |1150 |  80k|  80k|1150 |  80k| 266 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
265.78/265.97	c   264s|     1 |     0 | 14415 |  90M|   0 | 153 |1150 |  80k|  80k|1150 |  80k| 278 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
265.87/266.02	o -6
265.87/266.02	c s 264s|     1 |     0 | 14415 |  90M|   0 | 153 |1150 |  80k|  80k|1150 |  80k| 278 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
265.87/266.08	o -34
265.87/266.08	c k 264s|     1 |     0 | 14415 |  90M|   0 | 153 |1150 |  80k|  80k|1150 |  80k| 278 |   0 |   0 |-5.000000e+01 |-3.400000e+01 |  32.00%
267.97/268.16	c   266s|     1 |     0 | 14415 |  90M|   0 | 153 |1150 |  80k|  80k|1150 |  80k| 278 |   0 |   0 |-5.000000e+01 |-3.400000e+01 |  32.00%
283.26/283.47	c   282s|     1 |     0 | 14578 |  90M|   0 | 196 |1150 |  80k|  80k|1150 |  80k| 295 |   0 |   0 |-5.000000e+01 |-3.400000e+01 |  32.00%
309.82/310.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
309.82/310.09	c   308s|     1 |     2 | 14578 |  90M|   0 | 196 |1150 |  80k|  80k|1150 |  80k| 295 |   0 |  33 |-5.000000e+01 |-3.400000e+01 |  32.00%
426.17/426.70	o -37
426.17/426.70	c c 424s|     8 |     9 | 17571 |  92M|   7 |   - |1150 |  80k|  76k|1150 |  80k| 295 |   0 | 220 |-5.000000e+01 |-3.700000e+01 |  26.00%
503.74/504.26	o -38
503.74/504.26	c p 502s|    27 |    25 | 19007 |  92M|  22 |   - |1150 |  80k|  50k|1150 |  80k| 295 |   0 | 582 |-5.000000e+01 |-3.800000e+01 |  24.00%
677.00/678.06	o -40
677.00/678.06	c o 675s|    66 |    64 | 25629 |  93M|  23 |   0 |1150 |  80k|  37k|1150 |  80k| 295 |   0 |1020 |-5.000000e+01 |-4.000000e+01 |  20.00%
839.43/840.52	o -41
839.43/840.52	c p 837s|   252 |   240 | 57167 |  97M|  24 |   - |1150 |  80k|  25k|1150 |  80k| 295 |   0 |1151 |-5.000000e+01 |-4.100000e+01 |  18.00%
864.33/865.50	o -42
864.33/865.50	c l 862s|   291 |   262 | 62164 |  98M|  27 |   - |1150 |  80k|  25k|1150 |  80k| 295 |   0 |1160 |-5.000000e+01 |-4.200000e+01 |  16.00%
1794.23/1796.43	c 
1794.23/1796.43	c SCIP Status        : solving was interrupted [time limit reached]
1794.23/1796.43	c Solving Time (sec) : 1791.05
1794.23/1796.43	c Solving Nodes      : 1217
1794.23/1796.43	c Primal Bound       : -4.20000000000000e+01 (371 solutions)
1794.23/1796.43	c Dual Bound         : -5.00000000000000e+01
1794.23/1796.43	c Gap                : 16.00 %
1794.23/1796.47	c NODE         1217
1794.23/1796.47	c DUAL BOUND   -50
1794.23/1796.47	c PRIMAL BOUND -42
1794.23/1796.47	c GAP          0.16
1794.23/1796.47	s SATISFIABLE
1794.23/1796.47	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 
1794.23/1796.47	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 
1794.23/1796.47	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 
1794.23/1796.47	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
1794.23/1796.47	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
1794.23/1796.47	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 
1794.23/1796.47	v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
1794.23/1796.47	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
1794.23/1796.47	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 
1794.23/1796.47	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 
1794.23/1796.47	v -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
1794.23/1796.47	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 
1794.23/1796.47	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1794.23/1796.47	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 
1794.23/1796.47	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
1794.23/1796.47	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 
1794.23/1796.47	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 
1794.23/1796.47	v x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
1794.23/1796.47	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
1794.23/1796.47	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 
1794.23/1796.47	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 
1794.23/1796.47	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 
1794.23/1796.47	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1794.23/1796.47	v -x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
1794.23/1796.47	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
1794.23/1796.47	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 
1794.23/1796.47	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 
1794.23/1796.47	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 
1794.23/1796.47	v -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 
1794.23/1796.47	v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 
1794.23/1796.47	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 
1794.23/1796.47	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 
1794.23/1796.47	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 
1794.23/1796.47	v -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
1794.23/1796.47	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 
1794.23/1796.47	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 
1794.23/1796.47	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 
1794.23/1796.47	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 
1794.23/1796.47	v -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
1794.23/1796.47	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 
1794.23/1796.47	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 
1794.23/1796.47	v -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 
1794.23/1796.47	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 
1794.23/1796.47	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
1794.23/1796.47	v -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 
1794.23/1796.47	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 
1794.23/1796.47	v -x984 x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
1794.23/1796.47	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 
1794.23/1796.47	v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 
1794.23/1796.47	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 
1794.23/1796.47	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 
1794.23/1796.47	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
1794.23/1796.47	v x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 
1794.23/1796.47	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 
1794.23/1796.47	v -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
1794.23/1796.47	v -x1148 -x1149 -x1150 
1794.23/1796.47	c SCIP Status        : solving was interrupted [time limit reached]
1794.23/1796.47	c Solving Time       :    1791.05
1794.23/1796.47	c Original Problem   :
1794.23/1796.47	c   Problem name     : HOME/instance-1869259-1245167116.opb
1794.23/1796.47	c   Variables        : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.23/1796.47	c   Constraints      : 80072 initial, 80072 maximal
1794.23/1796.47	c Presolved Problem  :
1794.23/1796.47	c   Problem name     : t_HOME/instance-1869259-1245167116.opb
1794.23/1796.47	c   Variables        : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.23/1796.47	c   Constraints      : 80072 initial, 80072 maximal
1794.23/1796.47	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.23/1796.47	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.23/1796.47	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.23/1796.47	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.23/1796.47	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.23/1796.47	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.23/1796.47	c   probing          :       1.64          0          0          0          0          0          0          0          0
1794.23/1796.47	c   logicor          :       0.20          0          0          0          0          0          0          0          0
1794.23/1796.47	c   root node        :          -          0          -          -          0          -          -          -          -
1794.23/1796.47	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.23/1796.47	c   integral         :          0          0          0       1214          0          0         15          0          0       2418
1794.23/1796.47	c   logicor          :      80072         33       2539          0          0          0      40436          0          0          0
1794.23/1796.47	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.23/1796.47	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.23/1796.47	c   integral         :     482.86       0.00       0.00     482.86       0.00
1794.23/1796.47	c   logicor          :       4.30       0.39       3.91       0.00       0.00
1794.23/1796.47	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.23/1796.47	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.23/1796.47	c   rootredcost      :       0.02          5          0          0
1794.23/1796.47	c   pseudoobj        :       0.43       5824          0          0
1794.23/1796.47	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.23/1796.47	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.23/1796.47	c   infeasible LP    :       0.08        427          0          0        0.0          0        0.0          0
1794.23/1796.47	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.23/1796.47	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.23/1796.47	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.23/1796.47	c   applied globally :          -          -          -          0        0.0          -          -          -
1794.23/1796.47	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.23/1796.47	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.23/1796.47	c   cut pool         :       0.00         32          -          -         76          -    (maximal pool size: 628)
1794.23/1796.47	c   redcost          :       0.27       1247          0          1          0          0
1794.23/1796.47	c   impliedbounds    :       0.07         33          0          0          0          0
1794.23/1796.47	c   intobj           :       0.00          0          0          0          0          0
1794.23/1796.47	c   gomory           :      43.15         33          0          0      16500          0
1794.23/1796.47	c   strongcg         :      15.43         20          0          0      10000          0
1794.23/1796.47	c   cmir             :      28.94         10          0          0          0          0
1794.23/1796.47	c   flowcover        :      32.11         10          0          0          0          0
1794.23/1796.47	c   clique           :       1.68         33          0          0        296          0
1794.23/1796.47	c   zerohalf         :       0.00          0          0          0          0          0
1794.23/1796.47	c   mcf              :       0.14          1          0          0          0          0
1794.23/1796.47	c Pricers            :       Time      Calls       Vars
1794.23/1796.47	c   problem variables:       0.00          0          0
1794.23/1796.47	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.23/1796.47	c   relpscost        :     482.85       1214          0         15          0          0       2418
1794.23/1796.47	c   pscost           :       0.00          0          0          0          0          0          0
1794.23/1796.47	c   inference        :       0.00          0          0          0          0          0          0
1794.23/1796.47	c   mostinf          :       0.00          0          0          0          0          0          0
1794.23/1796.47	c   leastinf         :       0.00          0          0          0          0          0          0
1794.23/1796.47	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.23/1796.47	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.23/1796.47	c   random           :       0.00          0          0          0          0          0          0
1794.23/1796.47	c Primal Heuristics  :       Time      Calls      Found
1794.23/1796.47	c   LP solutions     :       0.00          -          0
1794.23/1796.47	c   pseudo solutions :       0.00          -          0
1794.23/1796.47	c   oneopt           :       0.16          6          1
1794.23/1796.47	c   coefdiving       :      59.66         14         41
1794.23/1796.47	c   fracdiving       :      57.20         14         19
1794.23/1796.47	c   veclendiving     :     184.07         14         18
1794.23/1796.47	c   linesearchdiving :      39.50         14         31
1794.23/1796.47	c   simplerounding   :       0.94       1247        104
1794.23/1796.47	c   rounding         :      15.12       1247          5
1794.23/1796.47	c   shifting         :       3.94        153         10
1794.23/1796.47	c   intshifting      :       0.00          0          0
1794.23/1796.47	c   fixandinfer      :       0.00          0          0
1794.23/1796.47	c   feaspump         :       0.00          0          0
1794.23/1796.47	c   pscostdiving     :      39.42         15         28
1794.23/1796.47	c   intdiving        :       0.00          0          0
1794.23/1796.47	c   actconsdiving    :       0.00          0          0
1794.23/1796.47	c   objpscostdiving  :      37.88          8         55
1794.23/1796.47	c   rootsoldiving    :      30.00          8         41
1794.23/1796.47	c   guideddiving     :      70.85         14         15
1794.23/1796.47	c   octane           :       0.00          0          0
1794.23/1796.47	c   rens             :       1.93          1          1
1794.23/1796.47	c   rins             :       0.00          0          0
1794.23/1796.47	c   localbranching   :       0.00          0          0
1794.23/1796.47	c   mutation         :       0.00          0          0
1794.23/1796.47	c   crossover        :       1.21          2          2
1794.23/1796.47	c   dins             :       0.00          0          0
1794.23/1796.47	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.23/1796.47	c   primal LP        :       2.29          0          0       0.00       0.00
1794.23/1796.47	c   dual LP          :     606.65       1255     150856     120.20     248.67
1794.23/1796.47	c   barrier LP       :       0.00          0          0       0.00          -
1794.23/1796.47	c   diving/probing LP:     478.44       3021      79339      26.26     165.83
1794.23/1796.47	c   strong branching :     482.74       1591     180486     113.44     373.88
1794.23/1796.47	c     (at root node) :          -         33       4615     139.85          -
1794.23/1796.47	c   conflict analysis:       0.00          0          0       0.00          -
1794.23/1796.47	c B&B Tree           :
1794.23/1796.47	c   number of runs   :          1
1794.23/1796.47	c   nodes            :       1217
1794.23/1796.48	c   nodes (total)    :       1217
1794.23/1796.48	c   nodes left       :       1174
1794.23/1796.48	c   max depth        :         47
1794.23/1796.48	c   max depth (total):         47
1794.23/1796.48	c   backtracks       :        104 (8.5%)
1794.23/1796.48	c   delayed cutoffs  :          0
1794.23/1796.48	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.23/1796.48	c   avg switch length:       2.67
1794.23/1796.48	c   switching time   :       2.98
1794.23/1796.48	c Solution           :
1794.23/1796.48	c   Solutions found  :        371 (15 improvements)
1794.23/1796.48	c   Primal Bound     : -4.20000000000000e+01   (in run 1, after 291 nodes, 862.11 seconds, depth 41, found by <linesearchdiving>)
1794.23/1796.48	c   Dual Bound       : -5.00000000000000e+01
1794.23/1796.48	c   Gap              :      16.00 %
1794.23/1796.48	c   Root Dual Bound  : -5.00000000000000e+01
1794.63/1796.81	c Time complete: 1794.63.

Verifier Data 

OK	-42

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869259-1245167116/watcher-1869259-1245167116 -o /tmp/evaluation-result-1869259-1245167116/solver-1869259-1245167116 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869259-1245167116.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.91 1.93 1.98 4/73 2188
/proc/meminfo: memFree=1820432/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=5680 CPUtime=0
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 494 0 0 0 0 0 0 0 19 0 1 0 184310138 5816320 478 1992294400 4194304 9342243 548682068736 18446744073709551615 5787130 0 0 4096 0 0 0 0 17 0 0 0
/proc/2188/statm: 1420 478 332 1256 0 159 0

[startup+0.0192171 s]
/proc/loadavg: 1.91 1.93 1.98 4/73 2188
/proc/meminfo: memFree=1820432/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=9740 CPUtime=0
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 1446 0 0 0 0 0 0 0 19 0 1 0 184310138 9973760 1430 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2188/statm: 2480 1433 364 1256 0 1219 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9740

[startup+0.117379 s]
/proc/loadavg: 1.91 1.93 1.98 4/73 2188
/proc/meminfo: memFree=1820432/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=14708 CPUtime=0.1
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 2640 0 0 0 9 1 0 0 20 0 1 0 184310138 15060992 2624 1992294400 4194304 9342243 548682068736 18446744073709551615 8247785 0 0 4096 0 0 0 0 17 1 0 0
/proc/2188/statm: 3677 2624 378 1256 0 2416 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14708

[startup+0.301399 s]
/proc/loadavg: 1.91 1.93 1.98 4/73 2188
/proc/meminfo: memFree=1820432/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=20068 CPUtime=0.28
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 4006 0 0 0 27 1 0 0 20 0 1 0 184310138 20549632 3990 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2188/statm: 5017 3990 378 1256 0 3756 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20068

[startup+0.701445 s]
/proc/loadavg: 1.91 1.93 1.98 4/73 2188
/proc/meminfo: memFree=1820432/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=31192 CPUtime=0.69
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 6774 0 0 0 66 3 0 0 24 0 1 0 184310138 31940608 6758 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2188/statm: 7798 6758 378 1256 0 6537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31192

[startup+1.50163 s]
/proc/loadavg: 2.00 1.95 1.98 2/74 2189
/proc/meminfo: memFree=1787016/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=90080 CPUtime=1.49
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 21538 0 0 0 136 13 0 0 25 0 1 0 184310138 92241920 21168 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 22520 21168 459 1256 0 21259 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90080

[startup+3.10272 s]
/proc/loadavg: 2.00 1.95 1.98 3/74 2189
/proc/meminfo: memFree=1704648/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=122932 CPUtime=3.08
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 31295 0 0 0 280 28 0 0 25 0 1 0 184310138 125882368 29320 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 30733 29320 479 1256 0 29472 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 122932

[startup+6.30108 s]
/proc/loadavg: 2.00 1.95 1.98 2/74 2189
/proc/meminfo: memFree=1641544/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=234680 CPUtime=6.28
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 50190 0 0 0 593 35 0 0 25 0 1 0 184310138 240312320 45788 1992294400 4194304 9342243 548682068736 18446744073709551615 4686195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 58670 45788 614 1256 0 57409 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 234680

[startup+12.7018 s]
/proc/loadavg: 2.00 1.95 1.98 3/74 2189
/proc/meminfo: memFree=1627664/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=237324 CPUtime=12.68
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 53075 0 0 0 1224 44 0 0 25 0 1 0 184310138 243019776 48673 1992294400 4194304 9342243 548682068736 18446744073709551615 5869995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 59331 48673 644 1256 0 58070 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 237324

[startup+25.5028 s]
/proc/loadavg: 2.00 1.95 1.98 3/74 2189
/proc/meminfo: memFree=1620176/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=237324 CPUtime=25.48
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 54982 0 0 0 2502 46 0 0 25 0 1 0 184310138 243019776 50580 1992294400 4194304 9342243 548682068736 18446744073709551615 5990674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 59331 50580 644 1256 0 58070 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 237324

[startup+51.1012 s]
/proc/loadavg: 1.87 1.92 1.97 3/74 2189
/proc/meminfo: memFree=1611664/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=237324 CPUtime=51.05
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 57074 0 0 0 5056 49 0 0 25 0 1 0 184310138 243019776 52672 1992294400 4194304 9342243 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 59331 52672 644 1256 0 58070 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 237324

[startup+102.31 s]
/proc/loadavg: 1.99 1.95 1.98 3/74 2189
/proc/meminfo: memFree=1606160/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=239380 CPUtime=102.23
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 58448 0 0 0 10172 51 0 0 25 0 1 0 184310138 245125120 54045 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 59845 54045 646 1256 0 58584 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 239380

[startup+162.303 s]
/proc/loadavg: 1.88 1.93 1.97 4/74 2189
/proc/meminfo: memFree=1602064/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=239380 CPUtime=162.21
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 60041 0 0 0 16166 55 0 0 25 0 1 0 184310138 245125120 55638 1992294400 4194304 9342243 548682068736 18446744073709551615 5399599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 59845 55638 659 1256 0 58584 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 239380

[startup+222.302 s]
/proc/loadavg: 2.11 1.99 1.99 4/74 2189
/proc/meminfo: memFree=1595664/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=239380 CPUtime=222.18
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 61038 0 0 0 22158 60 0 0 25 0 1 0 184310138 245125120 56635 1992294400 4194304 9342243 548682068736 18446744073709551615 4272716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 59845 56635 659 1256 0 58584 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 239380

[startup+282.301 s]
/proc/loadavg: 2.05 1.99 1.99 3/74 2189
/proc/meminfo: memFree=1537552/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=290876 CPUtime=282.16
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 75541 0 0 0 28134 82 0 0 25 0 1 0 184310138 297857024 71138 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72719 71138 689 1256 0 71458 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 290876

[startup+342.301 s]
/proc/loadavg: 2.06 1.99 1.99 3/74 2189
/proc/meminfo: memFree=1536528/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=290876 CPUtime=341.97
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 75801 0 0 0 34110 87 0 0 25 0 1 0 184310138 297857024 71398 1992294400 4194304 9342243 548682068736 18446744073709551615 6960240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72719 71398 693 1256 0 71458 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 290876

[startup+402.302 s]
/proc/loadavg: 2.05 2.00 1.99 3/74 2189
/proc/meminfo: memFree=1536464/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=290876 CPUtime=401.86
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 75801 0 0 0 40094 92 0 0 25 0 1 0 184310138 297857024 71398 1992294400 4194304 9342243 548682068736 18446744073709551615 6978578 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72719 71398 693 1256 0 71458 0
Current children cumulated CPU time (s) 401.86
Current children cumulated vsize (KiB) 290876

[startup+462.302 s]
/proc/loadavg: 1.91 1.96 1.98 2/74 2191
/proc/meminfo: memFree=1536272/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=290876 CPUtime=461.84
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 75822 0 0 0 46087 97 0 0 25 0 1 0 184310138 297857024 71419 1992294400 4194304 9342243 548682068736 18446744073709551615 6018115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72719 71419 694 1256 0 71458 0
Current children cumulated CPU time (s) 461.84
Current children cumulated vsize (KiB) 290876

[startup+522.307 s]
/proc/loadavg: 2.05 1.98 1.98 4/74 2191
/proc/meminfo: memFree=1536272/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=290876 CPUtime=521.83
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 75822 0 0 0 52080 103 0 0 25 0 1 0 184310138 297857024 71419 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72719 71419 694 1256 0 71458 0
Current children cumulated CPU time (s) 521.83
Current children cumulated vsize (KiB) 290876

[startup+582.301 s]
/proc/loadavg: 2.26 2.04 2.00 4/74 2191
/proc/meminfo: memFree=1536272/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=290876 CPUtime=581.46
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 75825 0 0 0 58037 109 0 0 25 0 1 0 184310138 297857024 71422 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72719 71422 697 1256 0 71458 0
Current children cumulated CPU time (s) 581.46
Current children cumulated vsize (KiB) 290876

[startup+642.302 s]
/proc/loadavg: 2.17 2.05 2.00 2/74 2191
/proc/meminfo: memFree=1536272/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=290876 CPUtime=641.32
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 75825 0 0 0 64015 117 0 0 25 0 1 0 184310138 297857024 71422 1992294400 4194304 9342243 548682068736 18446744073709551615 5391351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72719 71422 697 1256 0 71458 0
Current children cumulated CPU time (s) 641.32
Current children cumulated vsize (KiB) 290876

[startup+702.301 s]

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

/proc/meminfo: memFree=1526408/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=301348 CPUtime=1120.52
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 78229 0 0 0 111884 168 0 0 25 0 1 0 184310138 308580352 73811 1992294400 4194304 9342243 548682068736 18446744073709551615 6239078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 75337 73811 698 1256 0 74076 0
Current children cumulated CPU time (s) 1120.52
Current children cumulated vsize (KiB) 301348

[startup+1182.3 s]
/proc/loadavg: 2.28 2.14 2.04 2/74 2197
/proc/meminfo: memFree=1526408/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=301348 CPUtime=1180.39
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 78231 0 0 0 117867 172 0 0 25 0 1 0 184310138 308580352 73813 1992294400 4194304 9342243 548682068736 18446744073709551615 6889056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 75337 73813 698 1256 0 74076 0
Current children cumulated CPU time (s) 1180.39
Current children cumulated vsize (KiB) 301348

[startup+1242.3 s]
/proc/loadavg: 1.89 2.07 2.02 3/74 2197
/proc/meminfo: memFree=1526408/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=301348 CPUtime=1240.35
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 78231 0 0 0 123858 177 0 0 25 0 1 0 184310138 308580352 73813 1992294400 4194304 9342243 548682068736 18446744073709551615 6959733 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 75337 73813 698 1256 0 74076 0
Current children cumulated CPU time (s) 1240.35
Current children cumulated vsize (KiB) 301348

[startup+1302.3 s]
/proc/loadavg: 2.01 2.07 2.02 2/74 2197
/proc/meminfo: memFree=1526352/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=301348 CPUtime=1300.32
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 78231 0 0 0 129850 182 0 0 25 0 1 0 184310138 308580352 73813 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 75337 73813 698 1256 0 74076 0
Current children cumulated CPU time (s) 1300.32
Current children cumulated vsize (KiB) 301348

[startup+1362.32 s]
/proc/loadavg: 2.15 2.10 2.03 5/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=289084 CPUtime=1360.32
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80202 0 0 0 135839 193 0 0 25 0 1 0 184310138 296022016 71130 1992294400 4194304 9342243 548682068736 18446744073709551615 6253504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72271 71130 698 1256 0 71010 0
Current children cumulated CPU time (s) 1360.32
Current children cumulated vsize (KiB) 289084

[startup+1422.31 s]
/proc/loadavg: 2.23 2.14 2.05 2/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=289084 CPUtime=1420.27
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80202 0 0 0 141828 199 0 0 25 0 1 0 184310138 296022016 71130 1992294400 4194304 9342243 548682068736 18446744073709551615 6064753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72271 71130 698 1256 0 71010 0
Current children cumulated CPU time (s) 1420.27
Current children cumulated vsize (KiB) 289084

[startup+1482.31 s]
/proc/loadavg: 2.10 2.10 2.03 4/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=289084 CPUtime=1480.25
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80202 0 0 0 147821 204 0 0 25 0 1 0 184310138 296022016 71130 1992294400 4194304 9342243 548682068736 18446744073709551615 6960231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72271 71130 698 1256 0 71010 0
Current children cumulated CPU time (s) 1480.25
Current children cumulated vsize (KiB) 289084

[startup+1542.3 s]
/proc/loadavg: 1.90 2.04 2.02 2/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=289084 CPUtime=1540.23
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80202 0 0 0 153815 208 0 0 25 0 1 0 184310138 296022016 71130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72271 71130 698 1256 0 71010 0
Current children cumulated CPU time (s) 1540.23
Current children cumulated vsize (KiB) 289084

[startup+1602.3 s]
/proc/loadavg: 2.15 2.09 2.03 3/74 2197
/proc/meminfo: memFree=1536976/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=289084 CPUtime=1600.2
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80202 0 0 0 159808 212 0 0 25 0 1 0 184310138 296022016 71130 1992294400 4194304 9342243 548682068736 18446744073709551615 6960240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72271 71130 698 1256 0 71010 0
Current children cumulated CPU time (s) 1600.2
Current children cumulated vsize (KiB) 289084

[startup+1662.3 s]
/proc/loadavg: 2.32 2.14 2.05 4/74 2197
/proc/meminfo: memFree=1536976/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=289084 CPUtime=1660.17
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80202 0 0 0 165801 216 0 0 25 0 1 0 184310138 296022016 71130 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 72271 71130 698 1256 0 71010 0
Current children cumulated CPU time (s) 1660.17
Current children cumulated vsize (KiB) 289084

[startup+1722.3 s]
/proc/loadavg: 1.96 2.08 2.03 4/74 2197
/proc/meminfo: memFree=1536976/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=293468 CPUtime=1720.16
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80203 0 0 0 171796 220 0 0 25 0 1 0 184310138 300511232 71131 1992294400 4194304 9342243 548682068736 18446744073709551615 6239091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 73367 71131 698 1256 0 72106 0
Current children cumulated CPU time (s) 1720.16
Current children cumulated vsize (KiB) 293468

[startup+1782.3 s]
/proc/loadavg: 2.04 2.09 2.04 3/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=293468 CPUtime=1780.14
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80204 0 0 0 177790 224 0 0 25 0 1 0 184310138 300511232 71132 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 73367 71132 698 1256 0 72106 0
Current children cumulated CPU time (s) 1780.14
Current children cumulated vsize (KiB) 293468

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

[startup+1785.51 s]
/proc/loadavg: 2.04 2.09 2.04 3/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=293468 CPUtime=1783.35
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80204 0 0 0 178111 224 0 0 25 0 1 0 184310138 300511232 71132 1992294400 4194304 9342243 548682068736 18446744073709551615 6952126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 73367 71132 698 1256 0 72106 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (KiB) 293468

[startup+1791.91 s]
/proc/loadavg: 1.96 2.07 2.03 4/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=293468 CPUtime=1789.74
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80204 0 0 0 178749 225 0 0 25 0 1 0 184310138 300511232 71132 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 73367 71132 698 1256 0 72106 0
Current children cumulated CPU time (s) 1789.74
Current children cumulated vsize (KiB) 293468

[startup+1795.1 s]
/proc/loadavg: 1.96 2.07 2.03 3/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=293468 CPUtime=1792.94
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80205 0 0 0 179068 226 0 0 25 0 1 0 184310138 300511232 71133 1992294400 4194304 9342243 548682068736 18446744073709551615 6959741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 73367 71133 698 1256 0 72106 0
Current children cumulated CPU time (s) 1792.94
Current children cumulated vsize (KiB) 293468

[startup+1795.91 s]
/proc/loadavg: 1.96 2.07 2.03 3/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=293468 CPUtime=1793.74
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80205 0 0 0 179148 226 0 0 25 0 1 0 184310138 300511232 71133 1992294400 4194304 9342243 548682068736 18446744073709551615 6907340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 73367 71133 698 1256 0 72106 0
Current children cumulated CPU time (s) 1793.74
Current children cumulated vsize (KiB) 293468

[startup+1796.31 s]
/proc/loadavg: 2.12 2.10 2.04 4/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=293468 CPUtime=1794.14
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80205 0 0 0 179188 226 0 0 25 0 1 0 184310138 300511232 71133 1992294400 4194304 9342243 548682068736 18446744073709551615 6939156 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2188/statm: 73367 71133 698 1256 0 72106 0
Current children cumulated CPU time (s) 1794.14
Current children cumulated vsize (KiB) 293468

[startup+1796.7 s]
/proc/loadavg: 2.12 2.10 2.04 4/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=293468 CPUtime=1794.53
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80206 0 0 0 179227 226 0 0 25 0 1 0 184310138 300511232 71134 1992294400 4194304 9342243 548682068736 18446744073709551615 4237238 0 0 4096 0 0 0 0 17 1 0 0
/proc/2188/statm: 73367 71134 699 1256 0 72106 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 293468

[startup+1796.8 s]
/proc/loadavg: 2.12 2.10 2.04 4/74 2197
/proc/meminfo: memFree=1536912/2055920 swapFree=4192948/4192956
[pid=2188] ppid=2186 vsize=89116 CPUtime=1794.63
/proc/2188/stat : 2188 (pbscip.linux.x8) R 2186 2188 1946 0 -1 4194304 80206 0 0 0 179233 230 0 0 25 0 1 0 184310138 91254784 21272 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/2188/statm: 22279 21272 9301 1256 0 21018 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 89116

Child status: 0
Real time (s): 1796.81
CPU time (s): 1794.65
CPU user time (s): 1792.34
CPU system time (s): 2.30965
CPU usage (%): 99.8794
Max. virtual memory (cumulated for all children) (KiB): 308944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.34
system time used= 2.30965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80209
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= 7995

runsolver used 2.6286 second user time and 6.92095 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-16 17:45:16
IDJOB=1869259
IDBENCH=2260
IDSOLVER=684
FILE ID=node85/1869259-1245167116
PBS_JOBID= 9363859
Free space on /tmp= 126844 MiB

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

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

MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8
RANDOM SEED=1312536476

node85.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.213
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	: 5931.00
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.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1820912 kB
Buffers:         26500 kB
Cached:         108336 kB
SwapCached:          8 kB
Active:          60260 kB
Inactive:       104412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820912 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:           13608 kB
Writeback:           0 kB
Mapped:          41268 kB
Slab:            55312 kB
Committed_AS:   586004 kB
PageTables:       2048 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= 126832 MiB
End job on node85 at 2009-06-16 18:15:13