Trace number 3485405

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
SCIP spx 2 2011-06-10 (fixed)SAT-44 1797.4 1797.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM29f577041bedcbf69a98210424b233be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1797.37
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 constraints81068
Number of constraints which are clauses81068
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.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3485405-1307767739.opb>
0.29/0.38	c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
0.29/0.38	c problem read
0.29/0.38	c presolving settings loaded
0.49/0.56	o 0
0.49/0.56	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.49/0.56	c presolving:
0.89/0.93	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81068 upgd conss, 162136 impls, 0 clqs
2.09/2.12	c    (2.1s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.09/2.12	c    (2.1s) probing aborted: 100/100 successive totally useless probings
2.09/2.12	c presolving (2 rounds):
2.09/2.12	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.09/2.12	c  162136 implications, 0 cliques
2.09/2.12	c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
2.09/2.12	c   81068 constraints of type <setppc>
2.09/2.12	c transformed objective value is always integral (scale: 1)
2.09/2.12	c Presolving Time: 1.70
2.09/2.12	c - non default parameters ----------------------------------------------------------------------
2.09/2.12	c # SCIP version 2.0.1.4
2.09/2.12	c 
2.09/2.12	c # frequency for displaying node information lines
2.09/2.12	c # [type: int, range: [-1,2147483647], default: 100]
2.09/2.12	c display/freq = 10000
2.09/2.12	c 
2.09/2.12	c # maximal time in seconds to run
2.09/2.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.12	c limits/time = 1797
2.09/2.12	c 
2.09/2.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.09/2.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.12	c limits/memory = 13950
2.09/2.12	c 
2.09/2.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.09/2.12	c # [type: int, range: [1,2], default: 1]
2.09/2.12	c timing/clocktype = 2
2.09/2.12	c 
2.09/2.12	c # belongs reading time to solving time?
2.09/2.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.12	c timing/reading = TRUE
2.09/2.12	c 
2.09/2.12	c # should presolving try to simplify inequalities
2.09/2.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.12	c constraints/linear/simplifyinequalities = TRUE
2.09/2.12	c 
2.09/2.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.09/2.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.12	c constraints/indicator/addCouplingCons = TRUE
2.09/2.12	c 
2.09/2.12	c # should presolving try to simplify knapsacks
2.09/2.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.12	c constraints/knapsack/simplifyinequalities = TRUE
2.09/2.12	c 
2.09/2.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.09/2.12	c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.12	c separating/rapidlearning/freq = 0
2.09/2.12	c 
2.09/2.12	c -----------------------------------------------------------------------------------------------
2.09/2.12	c start solving
2.09/2.13	c 
3.50/3.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.50/3.55	c t 3.6s|     1 |     0 |  1152 |     - |  94M|   0 |1150 |1150 |  81k|1150 |  81k|   0 |   0 |   0 |-5.750000e+02 | 0.000000e+00 | 100.00%
3.59/3.61	o -1
3.59/3.61	c R 3.6s|     1 |     0 |  1152 |     - |  94M|   0 |1150 |1150 |  81k|1150 |  81k|   0 |   0 |   0 |-5.750000e+02 |-1.000000e+00 |  99.83%
5.09/5.16	c   5.2s|     1 |     0 |  1369 |     - |  94M|   0 |1085 |1150 |  81k|1150 |  81k|   8 |   0 |   0 |-5.425000e+02 |-1.000000e+00 |  99.82%
5.09/5.18	o -36
5.09/5.18	c b 5.2s|     1 |     0 |  1369 |     - |  94M|   0 |1085 |1150 |  81k|1150 |  81k|   8 |   0 |   0 |-5.425000e+02 |-3.600000e+01 |  93.36%
6.99/7.08	c   7.1s|     1 |     0 |  1542 |     - |  94M|   0 |1041 |1150 |  81k|1150 |  81k|  14 |   0 |   0 |-5.205000e+02 |-3.600000e+01 |  93.08%
9.49/9.57	c   9.6s|     1 |     0 |  1669 |     - |  94M|   0 | 998 |1150 |  81k|1150 |  81k|  19 |   0 |   0 |-4.990000e+02 |-3.600000e+01 |  92.79%
12.69/12.76	c  12.8s|     1 |     0 |  1944 |     - |  94M|   0 | 953 |1150 |  81k|1150 |  81k|  25 |   0 |   0 |-4.765000e+02 |-3.600000e+01 |  92.44%
15.99/16.08	c  16.1s|     1 |     0 |  2096 |     - |  94M|   0 | 910 |1150 |  81k|1150 |  81k|  30 |   0 |   0 |-4.550000e+02 |-3.600000e+01 |  92.09%
19.59/19.70	c  19.7s|     1 |     0 |  2380 |     - |  94M|   0 | 856 |1150 |  81k|1150 |  81k|  49 |   0 |   0 |-4.280000e+02 |-3.600000e+01 |  91.59%
23.59/23.62	c  23.6s|     1 |     0 |  2601 |     - |  94M|   0 | 810 |1150 |  81k|1150 |  81k|  68 |   0 |   0 |-4.035000e+02 |-3.600000e+01 |  91.08%
27.39/27.41	c  27.4s|     1 |     0 |  2855 |     - |  94M|   0 | 765 |1150 |  81k|1150 |  81k|  80 |   0 |   0 |-3.815000e+02 |-3.600000e+01 |  90.56%
31.39/31.43	c  31.4s|     1 |     0 |  3258 |     - |  94M|   0 | 704 |1150 |  81k|1150 |  81k|  91 |   0 |   0 |-3.505000e+02 |-3.600000e+01 |  89.73%
35.79/35.89	c  35.9s|     1 |     0 |  3691 |     - |  94M|   0 | 655 |1150 |  81k|1150 |  81k| 110 |   0 |   0 |-3.265000e+02 |-3.600000e+01 |  88.97%
36.79/36.86	c  36.9s|     1 |     0 |  3873 |     - |  94M|   0 | 633 |1150 |  81k|1150 |  81k| 121 |   0 |   0 |-3.139167e+02 |-3.600000e+01 |  88.53%
37.89/37.97	c  38.0s|     1 |     0 |  4161 |     - |  94M|   0 | 588 |1150 |  81k|1150 |  81k| 135 |   0 |   0 |-2.920000e+02 |-3.600000e+01 |  87.67%
39.69/39.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
39.69/39.71	c  39.7s|     1 |     0 |  4939 |     - |  95M|   0 | 555 |1150 |  81k|1150 |  81k| 160 |   0 |   0 |-2.755000e+02 |-3.600000e+01 |  86.93%
43.99/44.06	c  44.1s|     1 |     0 |  7606 |     - |  95M|   0 | 492 |1150 |  81k|1150 |  81k| 176 |   0 |   0 |-2.452500e+02 |-3.600000e+01 |  85.32%
46.59/46.65	c  46.7s|     1 |     0 |  9407 |     - |  95M|   0 | 417 |1150 |  81k|1150 |  81k| 193 |   0 |   0 |-2.077500e+02 |-3.600000e+01 |  82.67%
51.29/51.32	c  51.3s|     1 |     0 | 12702 |     - |  95M|   0 | 378 |1150 |  81k|1150 |  81k| 203 |   0 |   0 |-1.882500e+02 |-3.600000e+01 |  80.88%
52.89/52.97	c  53.0s|     1 |     0 | 13660 |     - |  95M|   0 | 340 |1150 |  81k|1150 |  81k| 212 |   0 |   0 |-1.692500e+02 |-3.600000e+01 |  78.73%
54.69/54.79	c  54.8s|     1 |     0 | 14857 |     - |  95M|   0 | 300 |1150 |  81k|1150 |  81k| 222 |   0 |   0 |-1.492500e+02 |-3.600000e+01 |  75.88%
56.29/56.38	c  56.4s|     1 |     0 | 16006 |     - |  95M|   0 | 277 |1150 |  81k|1150 |  81k| 235 |   0 |   0 |-1.385000e+02 |-3.600000e+01 |  74.01%
57.59/57.69	c  57.7s|     1 |     0 | 16962 |     - |  95M|   0 | 239 |1150 |  81k|1150 |  81k| 249 |   0 |   0 |-1.195000e+02 |-3.600000e+01 |  69.87%
58.30/58.37	c  58.4s|     1 |     0 | 17291 |     - |  95M|   0 | 202 |1150 |  81k|1150 |  81k| 260 |   0 |   0 |-1.010000e+02 |-3.600000e+01 |  64.36%
59.59/59.68	c  59.7s|     1 |     0 | 18401 |     - |  95M|   0 | 182 |1150 |  81k|1150 |  81k| 272 |   0 |   0 |-9.100000e+01 |-3.600000e+01 |  60.44%
60.69/60.79	c  60.8s|     1 |     0 | 19373 |     - |  95M|   0 | 165 |1150 |  81k|1150 |  81k| 282 |   0 |   0 |-8.250000e+01 |-3.600000e+01 |  56.36%
61.29/61.31	c  61.3s|     1 |     0 | 19499 |     - |  95M|   0 | 155 |1150 |  81k|1150 |  81k| 293 |   0 |   0 |-7.150000e+01 |-3.600000e+01 |  49.65%
61.99/62.03	c  62.0s|     1 |     0 | 20021 |     - |  95M|   0 | 115 |1150 |  81k|1150 |  81k| 305 |   0 |   0 |-5.800000e+01 |-3.600000e+01 |  37.93%
62.49/62.59	c  62.6s|     1 |     0 | 20214 |     - |  95M|   0 | 132 |1150 |  81k|1150 |  81k| 312 |   0 |   0 |-5.000000e+01 |-3.600000e+01 |  28.00%
62.99/63.08	c  63.1s|     1 |     0 | 20306 |     - |  95M|   0 | 155 |1150 |  81k|1150 |  81k| 324 |   0 |   0 |-5.000000e+01 |-3.600000e+01 |  28.00%
63.89/63.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
63.89/63.92	c  63.9s|     1 |     0 | 20395 |     - |  95M|   0 | 172 |1150 |  81k|1150 |  81k| 336 |   0 |   0 |-5.000000e+01 |-3.600000e+01 |  28.00%
79.10/79.18	c  79.2s|     1 |     0 | 20455 |     - |  95M|   0 | 175 |1150 |  81k|1150 |  81k| 350 |   0 |   0 |-5.000000e+01 |-3.600000e+01 |  28.00%
95.39/95.42	c  95.4s|     1 |     0 | 21065 |     - |  95M|   0 | 188 |1150 |  81k|1150 |  81k| 360 |   0 |   0 |-5.000000e+01 |-3.600000e+01 |  28.00%
111.89/111.92	c   112s|     1 |     0 | 21583 |     - |  95M|   0 | 181 |1150 |  81k|1150 |  81k| 370 |   0 |   0 |-5.000000e+01 |-3.600000e+01 |  28.00%
136.90/136.95	c   137s|     1 |     2 | 21583 |     - |  95M|   0 | 181 |1150 |  81k|1150 |  81k| 370 |   0 |  33 |-5.000000e+01 |-3.600000e+01 |  28.00%
250.59/250.64	o -37
250.59/250.64	c p 251s|    30 |    31 | 25407 | 131.9 |  99M|  18 |   - |1150 |  81k|1150 |  81k| 370 |   0 | 583 |-5.000000e+01 |-3.700000e+01 |  26.00%
320.60/320.69	o -38
320.60/320.69	c o 321s|    67 |    68 | 31598 | 151.7 | 101M|  21 |   7 |1150 |  81k|1150 |  81k| 370 |   0 | 871 |-5.000000e+01 |-3.800000e+01 |  24.00%
320.70/320.70	o -41
320.70/320.70	c o 321s|    67 |    68 | 31601 | 151.8 | 101M|  21 |   0 |1150 |  81k|1150 |  81k| 370 |   0 | 871 |-5.000000e+01 |-4.100000e+01 |  18.00%
344.80/344.88	o -42
344.80/344.88	c f 345s|   172 |   151 | 41799 | 118.2 | 105M|  29 |   - |1150 |  81k|1150 |  81k| 370 |   0 | 923 |-5.000000e+01 |-4.200000e+01 |  16.00%
439.20/439.21	o -43
439.20/439.21	c p 439s|   782 |   558 | 85682 |  82.1 | 120M|  39 |   - |1150 |  81k|1150 |  81k| 370 |   0 |1121 |-5.000000e+01 |-4.300000e+01 |  14.00%
1207.52/1207.55	o -44
1207.52/1207.55	c l1208s|  3801 |  3475 |461492 | 115.8 | 207M|  51 |   - |1150 |  81k|1150 |  81k| 370 |   0 |1990 |-5.000000e+01 |-4.400000e+01 |  12.00%
1797.04/1797.01	c 
1797.04/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.01	c Solving Time (sec) : 1797.01
1797.04/1797.01	c Solving Nodes      : 6580
1797.04/1797.01	c Primal Bound       : -4.40000000000000e+01 (594 solutions)
1797.04/1797.01	c Dual Bound         : -5.00000000000000e+01
1797.04/1797.01	c Gap                : 12.00 %
1797.04/1797.02	s SATISFIABLE
1797.04/1797.02	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 
1797.04/1797.02	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 
1797.04/1797.02	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 
1797.04/1797.02	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 
1797.04/1797.02	v -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
1797.04/1797.02	v -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
1797.04/1797.02	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 
1797.04/1797.02	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
1797.04/1797.02	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 
1797.04/1797.02	v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 
1797.04/1797.02	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
1797.04/1797.02	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 
1797.04/1797.02	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 
1797.04/1797.02	v -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 
1797.04/1797.02	v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 
1797.04/1797.02	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
1797.04/1797.02	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 
1797.04/1797.02	v -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
1797.04/1797.02	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 
1797.04/1797.02	v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 
1797.04/1797.02	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 
1797.04/1797.02	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 
1797.04/1797.02	v -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 
1797.04/1797.02	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
1797.04/1797.02	v -x523 -x524 -x525 -x526 -x527 -x528 x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
1797.04/1797.02	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 
1797.04/1797.02	v -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 
1797.04/1797.02	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 
1797.04/1797.02	v -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 
1797.04/1797.02	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 
1797.04/1797.02	v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 
1797.04/1797.02	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 
1797.04/1797.02	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 
1797.04/1797.02	v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
1797.04/1797.02	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 
1797.04/1797.02	v -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 
1797.04/1797.02	v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 
1797.04/1797.02	v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 
1797.04/1797.02	v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 
1797.04/1797.02	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 
1797.04/1797.02	v x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 
1797.04/1797.02	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
1797.04/1797.02	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 
1797.04/1797.02	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 
1797.04/1797.02	v -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 
1797.04/1797.02	v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 
1797.04/1797.02	v -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 
1797.04/1797.02	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 
1797.04/1797.02	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 
1797.04/1797.02	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 
1797.04/1797.02	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 
1797.04/1797.02	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
1797.04/1797.02	v -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 
1797.04/1797.02	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 
1797.04/1797.02	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
1797.04/1797.02	v -x1148 -x1149 -x1150 
1797.04/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.02	c Total Time         :    1797.01
1797.04/1797.02	c   solving          :    1797.01
1797.04/1797.02	c   presolving       :       1.70 (included in solving)
1797.04/1797.02	c   reading          :       0.38 (included in solving)
1797.04/1797.02	c Original Problem   :
1797.04/1797.02	c   Problem name     : HOME/instance-3485405-1307767739.opb
1797.04/1797.02	c   Variables        : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.02	c   Constraints      : 81068 initial, 81068 maximal
1797.04/1797.02	c Presolved Problem  :
1797.04/1797.02	c   Problem name     : t_HOME/instance-3485405-1307767739.opb
1797.04/1797.02	c   Variables        : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.02	c   Constraints      : 81068 initial, 81068 maximal
1797.04/1797.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.04/1797.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.02	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.02	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.02	c   probing          :       1.14          0          0          0          0          0          0          0          0          0
1797.04/1797.02	c   setppc           :       0.06          0          0          0          0          0          0          0          0          0
1797.04/1797.02	c   linear           :       0.33          0          0          0          0          0          0          0          0          0
1797.04/1797.02	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.04/1797.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.04/1797.02	c   integral         :          0          0          0       6278          0        599          0          1         29          0          0      12526
1797.04/1797.02	c   setppc           :      81068         31      32321          0          1        594          0          0     186445          0          0          0
1797.04/1797.02	c   countsols        :          0          0          0          0          1        597          0          0          0          0          0          0
1797.04/1797.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.04/1797.02	c   integral         :     412.95       0.00       0.00     412.93       0.00       0.01       0.00
1797.04/1797.02	c   setppc           :       9.73       0.21       8.29       0.00       0.00       1.23       0.00
1797.04/1797.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.04/1797.02	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.04/1797.02	c   vbounds          :          0          0          0          0
1797.04/1797.02	c   rootredcost      :          5          0          0          0
1797.04/1797.02	c   pseudoobj        :      32248          0          0          0
1797.04/1797.02	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.04/1797.02	c   vbounds          :       0.02       0.02       0.00
1797.04/1797.02	c   rootredcost      :       0.01       0.01       0.00
1797.04/1797.02	c   pseudoobj        :       0.96       0.96       0.00
1797.04/1797.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.04/1797.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.04/1797.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.04/1797.02	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.04/1797.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.04/1797.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.04/1797.02	c   cut pool         :       0.01         30          -          -         92          -    (maximal pool size: 1057)
1797.04/1797.02	c   redcost          :       0.22       6310          0          2          0          0
1797.04/1797.02	c   impliedbounds    :       0.03         31          0          0          0          0
1797.04/1797.02	c   intobj           :       0.00          0          0          0          0          0
1797.04/1797.02	c   gomory           :      54.39         31          0          0      14394          0
1797.04/1797.02	c   cgmip            :       0.00          0          0          0          0          0
1797.04/1797.02	c   closecuts        :       0.00          0          0          0          0          0
1797.04/1797.02	c   strongcg         :       5.12         20          0          0      10000          0
1797.04/1797.02	c   cmir             :      10.07         10          0          0          0          0
1797.04/1797.02	c   flowcover        :      11.75         10          0          0          0          0
1797.04/1797.02	c   clique           :       1.28         31          0          0        275          0
1797.04/1797.02	c   zerohalf         :       0.00          0          0          0          0          0
1797.04/1797.02	c   mcf              :       0.05          1          0          0          0          0
1797.04/1797.02	c   oddcycle         :       0.00          0          0          0          0          0
1797.04/1797.02	c   rapidlearning    :       0.00          0          0          0          0          0
1797.04/1797.02	c Pricers            :       Time      Calls       Vars
1797.04/1797.02	c   problem variables:       0.00          0          0
1797.04/1797.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.04/1797.02	c   relpscost        :     412.92       6278          1         29          0          0      12526
1797.04/1797.02	c   pscost           :       0.00          0          0          0          0          0          0
1797.04/1797.02	c   inference        :       0.00          1          0          0          0          0          2
1797.04/1797.02	c   mostinf          :       0.00          0          0          0          0          0          0
1797.04/1797.02	c   leastinf         :       0.00          0          0          0          0          0          0
1797.04/1797.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.04/1797.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.04/1797.02	c   random           :       0.00          0          0          0          0          0          0
1797.04/1797.02	c Primal Heuristics  :       Time      Calls      Found
1797.04/1797.02	c   LP solutions     :       0.00          -          0
1797.04/1797.02	c   pseudo solutions :       0.00          -          0
1797.04/1797.02	c   feaspump         :       0.00          0          0
1797.04/1797.02	c   oneopt           :       0.08          7          1
1797.04/1797.02	c   crossover        :       2.63          7          2
1797.04/1797.02	c   coefdiving       :      58.21         77         12
1797.04/1797.03	c   fracdiving       :      86.65        104         16
1797.04/1797.03	c   veclendiving     :     161.55        108          6
1797.04/1797.03	c   pscostdiving     :      62.68        131         35
1797.04/1797.03	c   objpscostdiving  :      88.63         66        165
1797.04/1797.03	c   rootsoldiving    :      39.24         66         74
1797.04/1797.03	c   trivial          :       0.01          2          1
1797.04/1797.03	c   shiftandpropagate:       0.00          0          0
1797.04/1797.03	c   simplerounding   :       0.26       6309         70
1797.04/1797.03	c   zirounding       :      33.96       6263        187
1797.04/1797.03	c   rounding         :      12.99       3300          1
1797.04/1797.03	c   shifting         :       2.39        429          1
1797.04/1797.03	c   intshifting      :       0.00          0          0
1797.04/1797.03	c   twoopt           :       0.00          0          0
1797.04/1797.03	c   fixandinfer      :       0.00          0          0
1797.04/1797.03	c   clique           :       0.00          0          0
1797.04/1797.03	c   intdiving        :       0.00          0          0
1797.04/1797.03	c   actconsdiving    :       0.00          0          0
1797.04/1797.03	c   linesearchdiving :      61.07        131         14
1797.04/1797.03	c   guideddiving     :      58.37         69          8
1797.04/1797.03	c   octane           :       0.00          0          0
1797.04/1797.03	c   rens             :       1.26          1          1
1797.04/1797.03	c   rins             :       0.00          0          0
1797.04/1797.03	c   localbranching   :       0.00          0          0
1797.04/1797.03	c   mutation         :       0.00          0          0
1797.04/1797.03	c   dins             :       0.00          0          0
1797.04/1797.03	c   vbounds          :       0.00          0          0
1797.04/1797.03	c   undercover       :       0.00          0          0
1797.04/1797.03	c   subnlp           :       0.00          0          0
1797.04/1797.03	c   trysol           :       0.00          0          0
1797.04/1797.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.04/1797.03	c   primal LP        :       0.10          0          0       0.00       0.00
1797.04/1797.03	c   dual LP          :     555.54       6625     469599      70.88     845.29
1797.04/1797.03	c   lex dual LP      :       0.00          0          0       0.00          -
1797.04/1797.03	c   barrier LP       :       0.00          0          0       0.00          -
1797.04/1797.03	c   diving/probing LP:     512.72      16887     295653      17.51     576.64
1797.04/1797.03	c   strong branching :     411.44       2733     275241     100.71     668.97
1797.04/1797.03	c     (at root node) :          -         33      18844     571.03          -
1797.04/1797.03	c   conflict analysis:       0.00          0          0       0.00          -
1797.04/1797.03	c B&B Tree           :
1797.04/1797.03	c   number of runs   :          1
1797.04/1797.03	c   nodes            :       6580
1797.04/1797.03	c   nodes (total)    :       6580
1797.04/1797.03	c   nodes left       :       5808
1797.04/1797.03	c   max depth        :         51
1797.04/1797.03	c   max depth (total):         51
1797.04/1797.03	c   backtracks       :        923 (14.0%)
1797.04/1797.03	c   delayed cutoffs  :          0
1797.04/1797.03	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.04/1797.03	c   avg switch length:       5.58
1797.04/1797.03	c   switching time   :      16.59
1797.04/1797.03	c Solution           :
1797.04/1797.03	c   Solutions found  :        594 (9 improvements)
1797.04/1797.03	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.55 seconds, depth 0, found by <trivial>)
1797.04/1797.03	c   Primal Bound     : -4.40000000000000e+01   (in run 1, after 3801 nodes, 1207.55 seconds, depth 40, found by <linesearchdiving>)
1797.04/1797.03	c   Dual Bound       : -5.00000000000000e+01
1797.04/1797.03	c   Gap              :      12.00 %
1797.04/1797.03	c   Root Dual Bound  : -5.00000000000000e+01
1797.04/1797.03	c   Root Iterations  :      21583
1797.34/1797.35	c Time complete: 1797.39.

Verifier Data 

OK	-44

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3485405-1307767739/watcher-3485405-1307767739 -o /tmp/evaluation-result-3485405-1307767739/solver-3485405-1307767739 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485405-1307767739.opb -t 1800 -m 15500 

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: 1.13 1.63 1.86 2/174 5868
/proc/meminfo: memFree=31552580/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=11092 CPUtime=0 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 1771 0 0 0 0 0 0 0 23 0 1 0 967004594 11358208 1725 33554432000 4194304 8979876 140734872212160 18446744073709551615 4894771 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5868/statm: 2773 1725 361 1169 0 1600 0

[startup+0.0777849 s]
/proc/loadavg: 1.13 1.63 1.86 2/174 5868
/proc/meminfo: memFree=31552580/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=16120 CPUtime=0.07 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 3044 0 0 0 7 0 0 0 23 0 1 0 967004594 16506880 2998 33554432000 4194304 8979876 140734872212160 18446744073709551615 4327554 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5868/statm: 4030 2998 366 1169 0 2857 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16120

[startup+0.100763 s]
/proc/loadavg: 1.13 1.63 1.86 2/174 5868
/proc/meminfo: memFree=31552580/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=18084 CPUtime=0.09 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 3539 0 0 0 9 0 0 0 24 0 1 0 967004594 18518016 3493 33554432000 4194304 8979876 140734872212160 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5868/statm: 4521 3493 366 1169 0 3348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18084

[startup+0.300736 s]
/proc/loadavg: 1.13 1.63 1.86 2/174 5868
/proc/meminfo: memFree=31552580/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=29556 CPUtime=0.29 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 6406 0 0 0 29 0 0 0 25 0 1 0 967004594 30265344 6360 33554432000 4194304 8979876 140734872212160 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5868/statm: 7389 6360 366 1169 0 6216 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29556

[startup+0.700662 s]
/proc/loadavg: 1.13 1.63 1.86 2/174 5868
/proc/meminfo: memFree=31552580/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=105560 CPUtime=0.69 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 27752 0 0 0 66 3 0 0 25 0 1 0 967004594 108093440 24734 33554432000 4194304 8979876 140734872212160 18446744073709551615 5301830 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5868/statm: 26390 24734 491 1169 0 25217 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105560

[startup+1.50051 s]
/proc/loadavg: 1.13 1.63 1.86 3/178 5879
/proc/meminfo: memFree=31282836/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=135044 CPUtime=1.49 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 39830 0 0 0 145 4 0 0 25 0 1 0 967004594 138285056 32059 33554432000 4194304 8979876 140734872212160 18446744073709551615 4320755 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5868/statm: 33761 32059 516 1169 0 32588 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135044

[startup+3.10121 s]
/proc/loadavg: 1.20 1.64 1.86 3/178 5879
/proc/meminfo: memFree=31287052/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=242936 CPUtime=3.09 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 65951 0 0 0 303 6 0 0 19 0 1 0 967004594 248766464 56204 33554432000 4194304 8979876 140734872212160 18446744073709551615 7047651 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5868/statm: 60734 56204 1034 1169 0 59561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242936

[startup+6.3006 s]
/proc/loadavg: 1.20 1.64 1.86 3/178 5879
/proc/meminfo: memFree=31078540/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=254612 CPUtime=6.29 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 71358 0 0 0 622 7 0 0 25 0 1 0 967004594 260722688 59897 33554432000 4194304 8979876 140734872212160 18446744073709551615 6293594 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5868/statm: 63653 59897 1130 1169 0 62480 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 254612

[startup+12.7004 s]
/proc/loadavg: 1.32 1.65 1.86 3/178 5880
/proc/meminfo: memFree=31072892/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=262220 CPUtime=12.69 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 73209 0 0 0 1261 8 0 0 25 0 1 0 967004594 268513280 61511 33554432000 4194304 8979876 140734872212160 18446744073709551615 7046392 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5868/statm: 65555 61511 896 1169 0 64382 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 262220

[startup+25.501 s]
/proc/loadavg: 1.42 1.66 1.86 3/178 5880
/proc/meminfo: memFree=31054344/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=262856 CPUtime=25.49 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 74316 0 0 0 2541 8 0 0 25 0 1 0 967004594 269164544 62455 33554432000 4194304 8979876 140734872212160 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5868/statm: 65714 62455 733 1169 0 64541 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 262856

[startup+51.1011 s]
/proc/loadavg: 1.62 1.69 1.86 3/178 5881
/proc/meminfo: memFree=31034300/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=266324 CPUtime=51.09 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 75697 0 0 0 5097 12 0 0 25 0 1 0 967004594 272715776 63809 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 66581 63809 706 1169 0 65408 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 266324

[startup+102.306 s]
/proc/loadavg: 1.85 1.74 1.87 3/178 5882
/proc/meminfo: memFree=30970096/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=266324 CPUtime=102.3 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 75874 0 0 0 10209 21 0 0 25 0 1 0 967004594 272715776 63947 33554432000 4194304 8979876 140734872212160 18446744073709551615 7226329 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 66581 63947 725 1169 0 65408 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 266324

[startup+162.301 s]
/proc/loadavg: 1.94 1.78 1.88 3/178 5884
/proc/meminfo: memFree=30942244/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=288736 CPUtime=162.29 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 90785 0 0 0 16189 40 0 0 25 0 1 0 967004594 295665664 70744 33554432000 4194304 8979876 140734872212160 18446744073709551615 7046373 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 72184 70744 700 1169 0 71011 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 288736

[startup+222.301 s]
/proc/loadavg: 2.08 1.85 1.89 3/178 5885
/proc/meminfo: memFree=30942076/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=288736 CPUtime=222.3 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 90785 0 0 0 22180 50 0 0 25 0 1 0 967004594 295665664 70744 33554432000 4194304 8979876 140734872212160 18446744073709551615 7164468 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 72184 70744 700 1169 0 71011 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 288736

[startup+282.3 s]
/proc/loadavg: 2.03 1.87 1.90 3/178 5887
/proc/meminfo: memFree=30952320/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=288736 CPUtime=282.29 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 90785 0 0 0 28169 60 0 0 25 0 1 0 967004594 295665664 70744 33554432000 4194304 8979876 140734872212160 18446744073709551615 7143745 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 72184 70744 700 1169 0 71011 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 288736

[startup+342.301 s]
/proc/loadavg: 2.01 1.89 1.90 3/178 5888
/proc/meminfo: memFree=30941964/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=288736 CPUtime=342.29 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 90785 0 0 0 34161 68 0 0 25 0 1 0 967004594 295665664 70744 33554432000 4194304 8979876 140734872212160 18446744073709551615 7143771 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 72184 70744 700 1169 0 71011 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 288736

[startup+402.301 s]
/proc/loadavg: 2.00 1.91 1.91 3/178 5890
/proc/meminfo: memFree=30941788/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=288736 CPUtime=402.3 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 102229 0 0 0 40149 81 0 0 25 0 1 0 967004594 295665664 70774 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 72184 70774 707 1169 0 71011 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 288736

[startup+462.301 s]
/proc/loadavg: 2.00 1.92 1.91 3/178 5892
/proc/meminfo: memFree=30914676/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=315700 CPUtime=462.3 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 117717 0 0 0 46135 95 0 0 25 0 1 0 967004594 323276800 77492 33554432000 4194304 8979876 140734872212160 18446744073709551615 7046344 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 78925 77492 707 1169 0 77752 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 315700

[startup+522.301 s]
/proc/loadavg: 2.00 1.93 1.91 3/178 5893
/proc/meminfo: memFree=30914856/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=315700 CPUtime=522.3 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 117717 0 0 0 52126 104 0 0 25 0 1 0 967004594 323276800 77492 33554432000 4194304 8979876 140734872212160 18446744073709551615 5972185 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 78925 77492 707 1169 0 77752 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 315700

[startup+582.3 s]
/proc/loadavg: 2.00 1.94 1.91 3/178 5895
/proc/meminfo: memFree=30912068/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=318288 CPUtime=582.3 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 129741 0 0 0 58113 117 0 0 25 0 1 0 967004594 325926912 78166 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 79572 78166 707 1169 0 78399 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 318288

[startup+642.301 s]

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

/proc/meminfo: memFree=30840740/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=352296 CPUtime=1062.32 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 174246 0 0 0 106034 198 0 0 25 0 1 0 967004594 360751104 86449 33554432000 4194304 8979876 140734872212160 18446744073709551615 6820822 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 88074 86449 707 1169 0 86901 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 352296

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 5918
/proc/meminfo: memFree=30832988/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=358164 CPUtime=1122.32 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 174736 0 0 0 112027 205 0 0 25 0 1 0 967004594 366759936 86939 33554432000 4194304 8979876 140734872212160 18446744073709551615 7046344 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 89541 86939 707 1169 0 88368 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 358164

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 5920
/proc/meminfo: memFree=30817432/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=365096 CPUtime=1182.32 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 176291 0 0 0 118019 213 0 0 25 0 1 0 967004594 373858304 88494 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 91274 88494 707 1169 0 90101 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 365096

[startup+1242.3 s]
/proc/loadavg: 2.07 1.99 1.91 3/178 5921
/proc/meminfo: memFree=30801752/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=374544 CPUtime=1242.32 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 178726 0 0 0 124013 219 0 0 25 0 1 0 967004594 383533056 90928 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 93636 90928 707 1169 0 92463 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 374544

[startup+1302.3 s]
/proc/loadavg: 2.08 2.00 1.92 3/178 5923
/proc/meminfo: memFree=30788544/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=380312 CPUtime=1302.33 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 180257 0 0 0 130005 228 0 0 25 0 1 0 967004594 389439488 92459 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 95078 92459 708 1169 0 93905 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 380312

[startup+1362.3 s]
/proc/loadavg: 2.03 2.00 1.92 3/178 5925
/proc/meminfo: memFree=30774464/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=387744 CPUtime=1362.33 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 181796 0 0 0 135997 236 0 0 25 0 1 0 967004594 397049856 93996 33554432000 4194304 8979876 140734872212160 18446744073709551615 7020849 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 96936 93996 707 1169 0 95763 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 387744

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 5926
/proc/meminfo: memFree=30760256/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=392248 CPUtime=1422.33 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 203310 0 0 0 141982 251 0 0 25 0 1 0 967004594 401661952 95110 33554432000 4194304 8979876 140734872212160 18446744073709551615 6915745 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 98062 95110 739 1169 0 96889 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 392248

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5928
/proc/meminfo: memFree=30747308/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=396556 CPUtime=1482.33 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 204629 0 0 0 147974 259 0 0 25 0 1 0 967004594 406073344 96398 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 99139 96398 711 1169 0 97966 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 396556

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5929
/proc/meminfo: memFree=30736712/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=403900 CPUtime=1542.33 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 206316 0 0 0 153964 269 0 0 25 0 1 0 967004594 413593600 98076 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 100975 98076 707 1169 0 99802 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 403900

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5931
/proc/meminfo: memFree=30710492/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=422104 CPUtime=1602.34 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 210005 0 0 0 159958 276 0 0 25 0 1 0 967004594 432234496 101742 33554432000 4194304 8979876 140734872212160 18446744073709551615 7179652 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 105526 101742 770 1169 0 104353 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 422104

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5933
/proc/meminfo: memFree=30699788/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=422664 CPUtime=1662.33 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 211201 0 0 0 165949 284 0 0 25 0 1 0 967004594 432807936 102877 33554432000 4194304 8979876 140734872212160 18446744073709551615 6547217 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 105666 102877 709 1169 0 104493 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 422664

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 5934
/proc/meminfo: memFree=30684096/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=433484 CPUtime=1722.34 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 213547 0 0 0 171941 293 0 0 25 0 1 0 967004594 443887616 105213 33554432000 4194304 8979876 140734872212160 18446744073709551615 7021783 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 108371 105213 708 1169 0 107198 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 433484

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 5936
/proc/meminfo: memFree=30671760/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=439376 CPUtime=1782.34 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 235497 0 0 0 177924 310 0 0 25 0 1 0 967004594 449921024 106559 33554432000 4194304 8979876 140734872212160 18446744073709551615 7047634 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 109844 106559 717 1169 0 108671 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 439376

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

[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 5936
/proc/meminfo: memFree=30670520/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=440448 CPUtime=1785.54 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 235632 0 0 0 178244 310 0 0 25 0 1 0 967004594 451018752 106694 33554432000 4194304 8979876 140734872212160 18446744073709551615 7047806 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 110112 106694 723 1169 0 108939 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 440448

[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 5936
/proc/meminfo: memFree=30666788/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=443316 CPUtime=1791.95 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 236205 0 0 0 178884 311 0 0 25 0 1 0 967004594 453955584 107254 33554432000 4194304 8979876 140734872212160 18446744073709551615 7069337 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 110829 107254 742 1169 0 109656 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 443316

[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 5936
/proc/meminfo: memFree=30665796/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=443316 CPUtime=1795.14 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 236446 0 0 0 179203 311 0 0 25 0 1 0 967004594 453955584 107470 33554432000 4194304 8979876 140734872212160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 110829 107470 850 1169 0 109656 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 443316

[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 5936
/proc/meminfo: memFree=30665548/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=443316 CPUtime=1796.74 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 236453 0 0 0 179363 311 0 0 25 0 1 0 967004594 453955584 107476 33554432000 4194304 8979876 140734872212160 18446744073709551615 7031245 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5868/statm: 110829 107476 849 1169 0 109656 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 443316

[startup+1797.1 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 5936
/proc/meminfo: memFree=30665548/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=443316 CPUtime=1797.14 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 236458 0 0 0 179403 311 0 0 25 0 1 0 967004594 453955584 107481 33554432000 4194304 8979876 140734872212160 18446744073709551615 4329927 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5868/statm: 110829 107481 852 1169 0 109656 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 443316

[startup+1797.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 5936
/proc/meminfo: memFree=30675096/32950928 swapFree=67056212/67111528
[pid=5868] ppid=5866 vsize=427100 CPUtime=1797.34 cores=0,2,4,6
/proc/5868/stat : 5868 (scip-2.0.1.4_2.) R 5866 5868 2370 0 -1 4202496 236458 0 0 0 179423 311 0 0 25 0 1 0 967004594 437350400 103195 33554432000 4194304 8979876 140734872212160 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5868/statm: 106518 103195 852 1169 0 105345 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 427100

Child status: 0
Real time (s): 1797.35
CPU time (s): 1797.4
CPU user time (s): 1794.26
CPU system time (s): 3.13752
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 506144

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

runsolver used 3.14852 second user time and 6.58 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-11 06:48:59
IDJOB=3485405
IDBENCH=2261
IDSOLVER=1977
FILE ID=node115/3485405-1307767739
RUNJOBID= node115-1307767739-5850
PBS_JOBID= 13550847
Free space on /tmp= 74128 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485405-1307767739/watcher-3485405-1307767739 -o /tmp/evaluation-result-3485405-1307767739/solver-3485405-1307767739 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485405-1307767739.opb -t 1800 -m 15500

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

MD5SUM BENCH= 29f577041bedcbf69a98210424b233be
RANDOM SEED=1230860573

node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31553984 kB
Buffers:        257532 kB
Cached:         926684 kB
SwapCached:       9476 kB
Active:         420496 kB
Inactive:       786712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31553984 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:           18632 kB
Writeback:           0 kB
AnonPages:       20160 kB
Mapped:          12952 kB
Slab:           125172 kB
PageTables:       4660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   191916 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74092 MiB
End job on node115 at 2011-06-11 07:18:57