Trace number 1869080

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1797.2 1797.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
MD5SUM248472fe06219d598fdcc7ece74901af
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1316
Best CPU time to get the best result obtained on this benchmark1798.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1164
Optimality of the best value was proved NO
Number of variables3204
Total number of constraints24883
Number of constraints which are clauses24883
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 constraint16
Number of terms in the objective function 3204
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 3204
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3204
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.35	c SCIP version 1.1.0.7
0.29/0.35	c LP-Solver SoPlex 1.4.1
0.29/0.35	c user parameter file <scip.set> not found - using default parameters
0.29/0.35	c read problem <HOME/instance-1869080-1245157237.opb>
0.29/0.35	c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.39/0.43	c start presolving problem
0.39/0.43	c presolving:
0.49/0.57	c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98196 impls, 0 clqs
0.69/0.75	c (round 2) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23461 upgd conss, 98196 impls, 0 clqs
0.79/0.83	c (round 3) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24871 upgd conss, 98196 impls, 0 clqs
2.79/2.82	c    (2.3s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 25570 implications, 0 bound changes
4.19/4.23	c    (3.8s) probing: 1799/3192 (56.4%) - 0 fixings, 0 aggregations, 30541 implications, 0 bound changes
4.19/4.23	c    (3.8s) probing aborted: 100/100 successive totally useless probings
4.19/4.23	c presolving (4 rounds):
4.19/4.23	c  12 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.19/4.23	c  181560 implications, 0 cliques
4.19/4.23	c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
4.19/4.23	c   24871 constraints of type <logicor>
4.19/4.23	c transformed objective value is always integral (scale: 1)
4.19/4.23	c Presolving Time: 3.70
4.19/4.24	c strange?!, PURESAT with obj
4.19/4.24	c -----------------------------------------------------------------------------------------------
4.19/4.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.19/4.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.24	c limits/memory = c 1620
4.19/4.24	c # maximal time in seconds to run
4.19/4.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.24	c limits/time = c 1791
4.19/4.24	c # frequency for displaying node information lines
4.19/4.24	c # [type: int, range: [-1,2147483647], default: 100]
4.19/4.24	c display/freq = c 10000
4.19/4.24	c -----------------------------------------------------------------------------------------------
4.19/4.24	c start solving problem
4.19/4.24	c 
15.79/15.89	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.79/15.89	c  15.3s|     1 |     0 |  5177 |  39M|   0 |2252 |3192 |  24k|  24k|3192 |  24k|   0 |   0 |   0 | 5.143750e+02 |      --      |    Inf 
52.67/52.70	c  52.0s|     1 |     0 | 16414 |  39M|   0 |2256 |3192 |  24k|  24k|3192 |  25k| 876 |   0 |   0 | 5.885833e+02 |      --      |    Inf 
55.87/55.99	c  55.2s|     1 |     0 | 16789 |  40M|   0 |2251 |3192 |  24k|  24k|3192 |  25k| 890 |   0 |   0 | 5.919760e+02 |      --      |    Inf 
60.37/60.42	c  59.7s|     1 |     0 | 17331 |  40M|   0 |2251 |3192 |  24k|  24k|3192 |  25k| 904 |   0 |   0 | 5.960194e+02 |      --      |    Inf 
64.97/65.06	c  64.3s|     1 |     0 | 18062 |  40M|   0 |2251 |3192 |  24k|  24k|3192 |  25k| 917 |   0 |   0 | 5.989029e+02 |      --      |    Inf 
72.76/72.80	c  72.0s|     1 |     0 | 18587 |  40M|   0 |2243 |3192 |  24k|  24k|3192 |  25k| 928 |   0 |   0 | 6.017197e+02 |      --      |    Inf 
78.37/78.48	c  77.7s|     1 |     0 | 19274 |  40M|   0 |2237 |3192 |  24k|  24k|3192 |  25k| 942 |   0 |   0 | 6.048399e+02 |      --      |    Inf 
83.67/83.79	c  83.0s|     1 |     0 | 20055 |  41M|   0 |2243 |3192 |  24k|  24k|3192 |  25k| 956 |   0 |   0 | 6.072113e+02 |      --      |    Inf 
89.47/89.57	c  88.7s|     1 |     0 | 20879 |  41M|   0 |2243 |3192 |  24k|  24k|3192 |  25k| 967 |   0 |   0 | 6.088811e+02 |      --      |    Inf 
95.16/95.29	c  94.4s|     1 |     0 | 21633 |  41M|   0 |2243 |3192 |  24k|  24k|3192 |  25k| 981 |   0 |   0 | 6.097584e+02 |      --      |    Inf 
100.06/100.11	c  99.2s|     1 |     0 | 22202 |  41M|   0 |2234 |3192 |  24k|  24k|3192 |  25k| 993 |   0 |   0 | 6.105651e+02 |      --      |    Inf 
105.66/105.80	c   105s|     1 |     0 | 23177 |  42M|   0 |2238 |3192 |  24k|  24k|3192 |  25k|1006 |   0 |   0 | 6.116237e+02 |      --      |    Inf 
111.96/112.02	c   111s|     1 |     0 | 23918 |  42M|   0 |2236 |3192 |  24k|  24k|3192 |  25k|1017 |   0 |   0 | 6.124349e+02 |      --      |    Inf 
118.95/119.02	c   118s|     1 |     0 | 24629 |  43M|   0 |2230 |3192 |  24k|  24k|3192 |  25k|1034 |   0 |   0 | 6.130895e+02 |      --      |    Inf 
125.25/125.40	c   124s|     1 |     0 | 25098 |  43M|   0 |2238 |3192 |  24k|  24k|3192 |  25k|1046 |   0 |   0 | 6.135177e+02 |      --      |    Inf 
140.76/140.86	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
140.76/140.86	c   140s|     1 |     0 | 25592 |  43M|   0 |2234 |3192 |  24k|  24k|3192 |  25k|1062 |   0 |   0 | 6.137624e+02 |      --      |    Inf 
144.94/145.05	c   144s|     1 |     0 | 26066 |  43M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1071 |   0 |   0 | 6.142198e+02 |      --      |    Inf 
155.74/155.83	c   155s|     1 |     0 | 26774 |  43M|   0 |2235 |3192 |  24k|  24k|3192 |  25k|1089 |   0 |   0 | 6.148173e+02 |      --      |    Inf 
168.94/169.05	c   168s|     1 |     0 | 27176 |  43M|   0 |2232 |3192 |  24k|  24k|3192 |  25k|1101 |   0 |   0 | 6.151038e+02 |      --      |    Inf 
181.94/182.02	c   181s|     1 |     0 | 27714 |  43M|   0 |2242 |3192 |  24k|  24k|3192 |  25k|1111 |   0 |   0 | 6.155555e+02 |      --      |    Inf 
202.53/202.61	c   201s|     1 |     0 | 28260 |  44M|   0 |2235 |3192 |  24k|  24k|3192 |  25k|1124 |   0 |   0 | 6.158471e+02 |      --      |    Inf 
212.53/212.69	c   211s|     1 |     0 | 28534 |  44M|   0 |2231 |3192 |  24k|  24k|3192 |  25k|1132 |   0 |   0 | 6.159621e+02 |      --      |    Inf 
224.12/224.22	c   223s|     1 |     0 | 28681 |  44M|   0 |2238 |3192 |  24k|  24k|3192 |  25k|1138 |   0 |   0 | 6.161390e+02 |      --      |    Inf 
234.33/234.48	c   233s|     1 |     0 | 28910 |  44M|   0 |2234 |3192 |  24k|  24k|3192 |  25k|1143 |   0 |   0 | 6.163738e+02 |      --      |    Inf 
245.62/245.72	c   244s|     1 |     0 | 29163 |  44M|   0 |2238 |3192 |  24k|  24k|3192 |  25k|1149 |   0 |   0 | 6.166003e+02 |      --      |    Inf 
255.31/255.49	c   254s|     1 |     0 | 29245 |  44M|   0 |2234 |3192 |  24k|  24k|3192 |  25k|1153 |   0 |   0 | 6.167011e+02 |      --      |    Inf 
265.32/265.42	c   264s|     1 |     0 | 29464 |  44M|   0 |2238 |3192 |  24k|  24k|3192 |  25k|1156 |   0 |   0 | 6.169254e+02 |      --      |    Inf 
276.62/276.72	c   275s|     1 |     0 | 29585 |  44M|   0 |2235 |3192 |  24k|  24k|3192 |  25k|1161 |   0 |   0 | 6.170464e+02 |      --      |    Inf 
287.51/287.60	c   286s|     1 |     0 | 29741 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1163 |   0 |   0 | 6.172050e+02 |      --      |    Inf 
297.51/297.60	c   296s|     1 |     0 | 29862 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1165 |   0 |   0 | 6.173789e+02 |      --      |    Inf 
308.21/308.38	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
308.21/308.38	c   307s|     1 |     0 | 29952 |  44M|   0 |2241 |3192 |  24k|  24k|3192 |  25k|1167 |   0 |   0 | 6.174769e+02 |      --      |    Inf 
318.80/318.96	c   317s|     1 |     0 | 30015 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1170 |   0 |   0 | 6.175270e+02 |      --      |    Inf 
329.20/329.38	c   328s|     1 |     0 | 30104 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1173 |   0 |   0 | 6.176841e+02 |      --      |    Inf 
340.49/340.62	c   339s|     1 |     0 | 30210 |  44M|   0 |2237 |3192 |  24k|  24k|3192 |  25k|1178 |   0 |   0 | 6.178458e+02 |      --      |    Inf 
350.99/351.13	c   349s|     1 |     0 | 30283 |  44M|   0 |2237 |3192 |  24k|  24k|3192 |  25k|1181 |   0 |   0 | 6.180503e+02 |      --      |    Inf 
361.69/361.85	c   360s|     1 |     0 | 30387 |  44M|   0 |2235 |3192 |  24k|  24k|3192 |  25k|1183 |   0 |   0 | 6.181672e+02 |      --      |    Inf 
373.19/373.38	c   372s|     1 |     0 | 30481 |  44M|   0 |2239 |3192 |  24k|  24k|3192 |  25k|1186 |   0 |   0 | 6.182400e+02 |      --      |    Inf 
384.09/384.28	c   382s|     1 |     0 | 30553 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1189 |   0 |   0 | 6.183697e+02 |      --      |    Inf 
394.79/394.95	c   393s|     1 |     0 | 30650 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1191 |   0 |   0 | 6.184933e+02 |      --      |    Inf 
405.27/405.47	c   403s|     1 |     0 | 30741 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1196 |   0 |   0 | 6.186425e+02 |      --      |    Inf 
416.18/416.38	c   414s|     1 |     0 | 30839 |  44M|   0 |2241 |3192 |  24k|  24k|3192 |  25k|1201 |   0 |   0 | 6.187215e+02 |      --      |    Inf 
427.07/427.25	c   425s|     1 |     0 | 30961 |  44M|   0 |2240 |3192 |  24k|  24k|3192 |  25k|1206 |   0 |   0 | 6.188819e+02 |      --      |    Inf 
438.77/438.91	c   437s|     1 |     0 | 31071 |  44M|   0 |2241 |3192 |  24k|  24k|3192 |  25k|1212 |   0 |   0 | 6.190842e+02 |      --      |    Inf 
450.37/450.54	c   448s|     1 |     0 | 31152 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1219 |   0 |   0 | 6.193254e+02 |      --      |    Inf 
461.87/462.03	c   460s|     1 |     0 | 31288 |  44M|   0 |2244 |3192 |  24k|  24k|3192 |  25k|1224 |   0 |   0 | 6.195130e+02 |      --      |    Inf 
472.46/472.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
472.46/472.68	c   470s|     1 |     0 | 31354 |  44M|   0 |2245 |3192 |  24k|  24k|3192 |  25k|1227 |   0 |   0 | 6.197161e+02 |      --      |    Inf 
475.56/475.75	c   474s|     1 |     0 | 31584 |  44M|   0 |2234 |3192 |  24k|  24k|3192 |  25k|1233 |   0 |   0 | 6.201562e+02 |      --      |    Inf 
485.86/486.06	c   484s|     1 |     0 | 31664 |  44M|   0 |2240 |3192 |  24k|  24k|3192 |  25k|1241 |   0 |   0 | 6.202722e+02 |      --      |    Inf 
496.75/496.92	c   495s|     1 |     0 | 31780 |  44M|   0 |2242 |3192 |  24k|  24k|3192 |  25k|1246 |   0 |   0 | 6.204668e+02 |      --      |    Inf 
506.65/506.86	c   504s|     1 |     0 | 31953 |  44M|   0 |2239 |3192 |  24k|  24k|3192 |  25k|1253 |   0 |   0 | 6.206970e+02 |      --      |    Inf 
517.25/517.43	c   515s|     1 |     0 | 32085 |  44M|   0 |2246 |3192 |  24k|  24k|3192 |  25k|1258 |   0 |   0 | 6.208256e+02 |      --      |    Inf 
528.24/528.49	c   526s|     1 |     0 | 32282 |  44M|   0 |2240 |3192 |  24k|  24k|3192 |  25k|1265 |   0 |   0 | 6.211389e+02 |      --      |    Inf 
539.64/539.81	c   537s|     1 |     0 | 32434 |  44M|   0 |2246 |3192 |  24k|  24k|3192 |  25k|1274 |   0 |   0 | 6.213208e+02 |      --      |    Inf 
542.33/542.57	c   540s|     1 |     0 | 32632 |  44M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1280 |   0 |   0 | 6.216629e+02 |      --      |    Inf 
552.94/553.13	c   551s|     1 |     0 | 32847 |  44M|   0 |2238 |3192 |  24k|  24k|3192 |  25k|1288 |   0 |   0 | 6.218588e+02 |      --      |    Inf 
558.13/558.36	c   556s|     1 |     0 | 33384 |  44M|   0 |2239 |3192 |  24k|  24k|3192 |  25k|1297 |   0 |   0 | 6.224306e+02 |      --      |    Inf 
568.83/569.04	c   566s|     1 |     0 | 33585 |  44M|   0 |2239 |3192 |  24k|  24k|3192 |  25k|1309 |   0 |   0 | 6.226383e+02 |      --      |    Inf 
575.93/576.11	c   574s|     1 |     0 | 33919 |  44M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1318 |   0 |   0 | 6.230322e+02 |      --      |    Inf 
587.63/587.88	c   585s|     1 |     0 | 34211 |  44M|   0 |2246 |3192 |  24k|  24k|3192 |  25k|1327 |   0 |   0 | 6.233900e+02 |      --      |    Inf 
597.02/597.21	c   595s|     1 |     0 | 34347 |  44M|   0 |2244 |3192 |  24k|  24k|3192 |  25k|1330 |   0 |   0 | 6.235694e+02 |      --      |    Inf 
606.32/606.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
606.32/606.59	c   604s|     1 |     0 | 34439 |  44M|   0 |2244 |3192 |  24k|  24k|3192 |  25k|1334 |   0 |   0 | 6.236792e+02 |      --      |    Inf 
615.22/615.46	c   613s|     1 |     0 | 34486 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1336 |   0 |   0 | 6.237032e+02 |      --      |    Inf 
624.62/624.89	c   622s|     1 |     0 | 34575 |  44M|   0 |2246 |3192 |  24k|  24k|3192 |  25k|1340 |   0 |   0 | 6.238071e+02 |      --      |    Inf 
633.92/634.15	c   631s|     1 |     0 | 34663 |  44M|   0 |2238 |3192 |  24k|  24k|3192 |  25k|1345 |   0 |   0 | 6.238463e+02 |      --      |    Inf 
643.51/643.77	c   641s|     1 |     0 | 34784 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1347 |   0 |   0 | 6.239568e+02 |      --      |    Inf 
646.51/646.80	c   644s|     1 |     0 | 35107 |  44M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1354 |   0 |   0 | 6.245411e+02 |      --      |    Inf 
658.61/658.88	c   656s|     1 |     0 | 35271 |  44M|   0 |2238 |3192 |  24k|  24k|3192 |  25k|1363 |   0 |   0 | 6.247199e+02 |      --      |    Inf 
661.80/662.09	c   659s|     1 |     0 | 35507 |  44M|   0 |2244 |3192 |  24k|  24k|3192 |  25k|1372 |   0 |   0 | 6.250254e+02 |      --      |    Inf 
673.70/673.90	c   671s|     1 |     0 | 35723 |  44M|   0 |2245 |3192 |  24k|  24k|3192 |  25k|1380 |   0 |   0 | 6.252286e+02 |      --      |    Inf 
684.30/684.55	c   682s|     1 |     0 | 35863 |  44M|   0 |2244 |3192 |  24k|  24k|3192 |  25k|1386 |   0 |   0 | 6.254172e+02 |      --      |    Inf 
694.40/694.65	c   692s|     1 |     0 | 35993 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1394 |   0 |   0 | 6.255604e+02 |      --      |    Inf 
705.00/705.21	c   702s|     1 |     0 | 36114 |  44M|   0 |2246 |3192 |  24k|  24k|3192 |  25k|1399 |   0 |   0 | 6.256546e+02 |      --      |    Inf 
714.99/715.27	c   712s|     1 |     0 | 36308 |  44M|   0 |2243 |3192 |  24k|  24k|3192 |  25k|1402 |   0 |   0 | 6.258876e+02 |      --      |    Inf 
718.10/718.32	c   715s|     1 |     0 | 36577 |  44M|   0 |2247 |3192 |  24k|  24k|3192 |  25k|1410 |   0 |   0 | 6.263634e+02 |      --      |    Inf 
728.69/728.94	c   726s|     1 |     0 | 36866 |  44M|   0 |2249 |3192 |  24k|  24k|3192 |  25k|1416 |   0 |   0 | 6.266834e+02 |      --      |    Inf 
740.89/741.19	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
740.89/741.19	c   738s|     1 |     0 | 37121 |  44M|   0 |2247 |3192 |  24k|  24k|3192 |  25k|1426 |   0 |   0 | 6.269438e+02 |      --      |    Inf 
746.09/746.36	c   743s|     1 |     0 | 37468 |  44M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1435 |   0 |   0 | 6.273859e+02 |      --      |    Inf 
758.08/758.33	c   755s|     1 |     0 | 37679 |  44M|   0 |2250 |3192 |  24k|  24k|3192 |  25k|1443 |   0 |   0 | 6.277156e+02 |      --      |    Inf 
769.98/770.25	c   767s|     1 |     0 | 37915 |  44M|   0 |2250 |3192 |  24k|  24k|3192 |  25k|1451 |   0 |   0 | 6.279602e+02 |      --      |    Inf 
781.37/781.69	c   778s|     1 |     0 | 38133 |  44M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1462 |   0 |   0 | 6.282656e+02 |      --      |    Inf 
793.37/793.67	c   790s|     1 |     0 | 38366 |  44M|   0 |2250 |3192 |  24k|  24k|3192 |  25k|1469 |   0 |   0 | 6.285347e+02 |      --      |    Inf 
804.46/804.70	c   801s|     1 |     0 | 38550 |  44M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1474 |   0 |   0 | 6.287570e+02 |      --      |    Inf 
815.77/816.07	c   813s|     1 |     0 | 38731 |  44M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1481 |   0 |   0 | 6.290250e+02 |      --      |    Inf 
827.36/827.61	c   824s|     1 |     0 | 38896 |  44M|   0 |2250 |3192 |  24k|  24k|3192 |  25k|1485 |   0 |   0 | 6.291713e+02 |      --      |    Inf 
838.26/838.57	c   835s|     1 |     0 | 39017 |  44M|   0 |2250 |3192 |  24k|  24k|3192 |  25k|1490 |   0 |   0 | 6.292912e+02 |      --      |    Inf 
850.16/850.46	c   847s|     1 |     0 | 39201 |  44M|   0 |2249 |3192 |  24k|  24k|3192 |  25k|1495 |   0 |   0 | 6.294468e+02 |      --      |    Inf 
860.85/861.15	c   858s|     1 |     0 | 39338 |  44M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1499 |   0 |   0 | 6.296225e+02 |      --      |    Inf 
872.25/872.51	c   869s|     1 |     0 | 39590 |  44M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1507 |   0 |   0 | 6.299249e+02 |      --      |    Inf 
883.45/883.76	c   880s|     1 |     0 | 39708 |  44M|   0 |2245 |3192 |  24k|  24k|3192 |  25k|1512 |   0 |   0 | 6.300402e+02 |      --      |    Inf 
895.45/895.72	c   892s|     1 |     0 | 39879 |  44M|   0 |2253 |3192 |  24k|  24k|3192 |  25k|1516 |   0 |   0 | 6.302018e+02 |      --      |    Inf 
906.94/907.21	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
906.94/907.21	c   904s|     1 |     0 | 40075 |  44M|   0 |2246 |3192 |  24k|  24k|3192 |  25k|1521 |   0 |   0 | 6.303612e+02 |      --      |    Inf 
918.54/918.89	c   915s|     1 |     0 | 40207 |  44M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1527 |   0 |   0 | 6.305287e+02 |      --      |    Inf 
922.24/922.53	c   919s|     1 |     0 | 40448 |  45M|   0 |2247 |3192 |  24k|  24k|3192 |  25k|1531 |   0 |   0 | 6.308359e+02 |      --      |    Inf 
926.14/926.42	c   923s|     1 |     0 | 40719 |  45M|   0 |2251 |3192 |  24k|  24k|3192 |  25k|1540 |   0 |   0 | 6.311873e+02 |      --      |    Inf 
931.14/931.42	c   928s|     1 |     0 | 41015 |  45M|   0 |2253 |3192 |  24k|  24k|3192 |  25k|1547 |   0 |   0 | 6.315780e+02 |      --      |    Inf 
942.93/943.20	c   939s|     1 |     0 | 41254 |  45M|   0 |2253 |3192 |  24k|  24k|3192 |  25k|1553 |   0 |   0 | 6.318493e+02 |      --      |    Inf 
954.33/954.66	c   951s|     1 |     0 | 41512 |  45M|   0 |2245 |3192 |  24k|  24k|3192 |  25k|1564 |   0 |   0 | 6.320445e+02 |      --      |    Inf 
965.82/966.11	c   962s|     1 |     0 | 41788 |  45M|   0 |2249 |3192 |  24k|  24k|3192 |  25k|1573 |   0 |   0 | 6.323660e+02 |      --      |    Inf 
971.22/971.52	c   968s|     1 |     0 | 42115 |  45M|   0 |2244 |3192 |  24k|  24k|3192 |  25k|1579 |   0 |   0 | 6.325742e+02 |      --      |    Inf 
982.92/983.21	c   979s|     1 |     0 | 42271 |  45M|   0 |2253 |3192 |  24k|  24k|3192 |  25k|1583 |   0 |   0 | 6.326861e+02 |      --      |    Inf 
993.82/994.18	c   990s|     1 |     0 | 42406 |  45M|   0 |2250 |3192 |  24k|  24k|3192 |  25k|1587 |   0 |   0 | 6.328009e+02 |      --      |    Inf 
999.02/999.36	c   995s|     1 |     0 | 42811 |  45M|   0 |2244 |3192 |  24k|  24k|3192 |  25k|1596 |   0 |   0 | 6.330199e+02 |      --      |    Inf 
1009.42/1009.71	c  1006s|     1 |     0 | 42942 |  45M|   0 |2247 |3192 |  24k|  24k|3192 |  25k|1606 |   0 |   0 | 6.330891e+02 |      --      |    Inf 
1020.61/1020.96	c  1017s|     1 |     0 | 43106 |  45M|   0 |2249 |3192 |  24k|  24k|3192 |  25k|1613 |   0 |   0 | 6.331847e+02 |      --      |    Inf 
1031.81/1032.18	c  1028s|     1 |     0 | 43255 |  45M|   0 |2255 |3192 |  24k|  24k|3192 |  25k|1619 |   0 |   0 | 6.332436e+02 |      --      |    Inf 
1043.21/1043.57	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1043.21/1043.57	c  1039s|     1 |     0 | 43483 |  45M|   0 |2255 |3192 |  24k|  24k|3192 |  25k|1627 |   0 |   0 | 6.335012e+02 |      --      |    Inf 
1055.00/1055.34	c  1051s|     1 |     0 | 43806 |  44M|   0 |2253 |3192 |  24k|  24k|3192 |  25k|1631 |   0 |   0 | 6.339324e+02 |      --      |    Inf 
1067.29/1067.64	c  1063s|     1 |     0 | 44089 |  44M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1637 |   0 |   0 | 6.342025e+02 |      --      |    Inf 
1078.69/1079.06	c  1075s|     1 |     0 | 44246 |  44M|   0 |2255 |3192 |  24k|  24k|3192 |  25k|1644 |   0 |   0 | 6.343558e+02 |      --      |    Inf 
1090.39/1090.76	c  1087s|     1 |     0 | 44426 |  44M|   0 |2251 |3192 |  24k|  24k|3192 |  25k|1648 |   0 |   0 | 6.345488e+02 |      --      |    Inf 
1101.29/1101.66	c  1097s|     1 |     0 | 44512 |  43M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1650 |   0 |   0 | 6.346198e+02 |      --      |    Inf 
1112.48/1112.83	c  1108s|     1 |     0 | 44668 |  43M|   0 |2251 |3192 |  24k|  24k|3192 |  25k|1655 |   0 |   0 | 6.348228e+02 |      --      |    Inf 
1123.08/1123.49	c  1119s|     1 |     0 | 44752 |  43M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1657 |   0 |   0 | 6.349165e+02 |      --      |    Inf 
1133.88/1134.25	c  1130s|     1 |     0 | 44882 |  43M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1661 |   0 |   0 | 6.351214e+02 |      --      |    Inf 
1145.37/1145.78	c  1141s|     1 |     0 | 45029 |  42M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1664 |   0 |   0 | 6.353105e+02 |      --      |    Inf 
1157.17/1157.59	c  1153s|     1 |     0 | 45136 |  42M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1666 |   0 |   0 | 6.354602e+02 |      --      |    Inf 
1168.77/1169.11	c  1165s|     1 |     0 | 45215 |  42M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1669 |   0 |   0 | 6.355611e+02 |      --      |    Inf 
1180.26/1180.68	c  1176s|     1 |     0 | 45353 |  42M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1674 |   0 |   0 | 6.357140e+02 |      --      |    Inf 
1191.26/1191.63	c  1187s|     1 |     0 | 45439 |  42M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1675 |   0 |   0 | 6.357979e+02 |      --      |    Inf 
1202.07/1202.47	c  1198s|     1 |     0 | 45546 |  42M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1678 |   0 |   0 | 6.359295e+02 |      --      |    Inf 
1213.66/1214.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1213.66/1214.04	c  1209s|     1 |     0 | 45737 |  41M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1683 |   0 |   0 | 6.362366e+02 |      --      |    Inf 
1224.85/1225.29	c  1221s|     1 |     0 | 45893 |  41M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1689 |   0 |   0 | 6.365314e+02 |      --      |    Inf 
1235.95/1236.36	c  1232s|     1 |     0 | 46000 |  41M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1693 |   0 |   0 | 6.366229e+02 |      --      |    Inf 
1247.65/1248.09	c  1243s|     1 |     0 | 46209 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1699 |   0 |   0 | 6.368696e+02 |      --      |    Inf 
1257.85/1258.23	c  1253s|     1 |     0 | 46286 |  41M|   0 |2255 |3192 |  24k|  24k|3192 |  25k|1702 |   0 |   0 | 6.369304e+02 |      --      |    Inf 
1268.24/1268.64	c  1264s|     1 |     0 | 46349 |  41M|   0 |2255 |3192 |  24k|  24k|3192 |  25k|1703 |   0 |   0 | 6.369870e+02 |      --      |    Inf 
1278.84/1279.23	c  1274s|     1 |     0 | 46383 |  41M|   0 |2253 |3192 |  24k|  24k|3192 |  25k|1704 |   0 |   0 | 6.370256e+02 |      --      |    Inf 
1289.64/1290.09	c  1285s|     1 |     0 | 46527 |  41M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1708 |   0 |   0 | 6.371417e+02 |      --      |    Inf 
1301.04/1301.43	c  1296s|     1 |     0 | 46638 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1712 |   0 |   0 | 6.372389e+02 |      --      |    Inf 
1312.53/1312.92	c  1308s|     1 |     0 | 46809 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1721 |   0 |   0 | 6.374479e+02 |      --      |    Inf 
1323.53/1323.90	c  1319s|     1 |     0 | 46900 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1725 |   0 |   0 | 6.375133e+02 |      --      |    Inf 
1334.13/1334.59	c  1330s|     1 |     0 | 46975 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1728 |   0 |   0 | 6.375744e+02 |      --      |    Inf 
1337.52/1337.92	c  1333s|     1 |     0 | 47241 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1733 |   0 |   0 | 6.378087e+02 |      --      |    Inf 
1349.52/1349.90	c  1345s|     1 |     0 | 47481 |  41M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1743 |   0 |   0 | 6.380029e+02 |      --      |    Inf 
1361.02/1361.48	c  1356s|     1 |     0 | 47686 |  41M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1753 |   0 |   0 | 6.380887e+02 |      --      |    Inf 
1372.62/1373.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1372.62/1373.04	c  1368s|     1 |     0 | 47896 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1759 |   0 |   0 | 6.382737e+02 |      --      |    Inf 
1385.11/1385.57	c  1380s|     1 |     0 | 48141 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1769 |   0 |   0 | 6.384689e+02 |      --      |    Inf 
1397.31/1397.72	c  1393s|     1 |     0 | 48449 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1781 |   0 |   0 | 6.388595e+02 |      --      |    Inf 
1409.51/1409.96	c  1405s|     1 |     0 | 48700 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1793 |   0 |   0 | 6.392492e+02 |      --      |    Inf 
1421.40/1421.80	c  1417s|     1 |     0 | 48887 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1801 |   0 |   0 | 6.393971e+02 |      --      |    Inf 
1433.00/1433.43	c  1428s|     1 |     0 | 49074 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1806 |   0 |   0 | 6.395573e+02 |      --      |    Inf 
1445.10/1445.50	c  1440s|     1 |     0 | 49283 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1813 |   0 |   0 | 6.396735e+02 |      --      |    Inf 
1457.59/1458.01	c  1453s|     1 |     0 | 49585 |  41M|   0 |2249 |3192 |  24k|  24k|3192 |  25k|1825 |   0 |   0 | 6.401079e+02 |      --      |    Inf 
1471.09/1471.52	c  1466s|     1 |     0 | 49884 |  41M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1835 |   0 |   0 | 6.403773e+02 |      --      |    Inf 
1482.78/1483.29	c  1478s|     1 |     0 | 50112 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1840 |   0 |   0 | 6.407310e+02 |      --      |    Inf 
1493.48/1493.96	c  1488s|     1 |     0 | 50337 |  41M|   0 |2246 |3192 |  24k|  24k|3192 |  25k|1844 |   0 |   0 | 6.409114e+02 |      --      |    Inf 
1505.28/1505.78	c  1500s|     1 |     0 | 50485 |  41M|   0 |2250 |3192 |  24k|  24k|3192 |  25k|1849 |   0 |   0 | 6.410507e+02 |      --      |    Inf 
1516.78/1517.30	c  1512s|     1 |     0 | 50590 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1853 |   0 |   0 | 6.412076e+02 |      --      |    Inf 
1528.57/1529.00	c  1523s|     1 |     0 | 50734 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1859 |   0 |   0 | 6.413668e+02 |      --      |    Inf 
1539.87/1540.30	c  1535s|     1 |     0 | 50846 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1867 |   0 |   0 | 6.415167e+02 |      --      |    Inf 
1551.96/1552.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1551.96/1552.41	c  1547s|     1 |     0 | 50934 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1871 |   0 |   0 | 6.415864e+02 |      --      |    Inf 
1563.37/1563.87	c  1558s|     1 |     0 | 51045 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1876 |   0 |   0 | 6.416288e+02 |      --      |    Inf 
1575.26/1575.71	c  1570s|     1 |     0 | 51150 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1879 |   0 |   0 | 6.416898e+02 |      --      |    Inf 
1586.46/1586.95	c  1581s|     1 |     0 | 51218 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1884 |   0 |   0 | 6.416987e+02 |      --      |    Inf 
1598.55/1599.03	c  1593s|     1 |     0 | 51384 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1887 |   0 |   0 | 6.418402e+02 |      --      |    Inf 
1610.45/1610.90	c  1605s|     1 |     0 | 51595 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1892 |   0 |   0 | 6.419851e+02 |      --      |    Inf 
1621.55/1622.02	c  1616s|     1 |     0 | 51658 |  41M|   0 |2251 |3192 |  24k|  24k|3192 |  25k|1895 |   0 |   0 | 6.420105e+02 |      --      |    Inf 
1633.15/1633.62	c  1628s|     1 |     0 | 51754 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1899 |   0 |   0 | 6.421351e+02 |      --      |    Inf 
1643.34/1643.83	c  1638s|     1 |     0 | 51952 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1904 |   0 |   0 | 6.423077e+02 |      --      |    Inf 
1655.24/1655.74	c  1650s|     1 |     0 | 52094 |  41M|   0 |2251 |3192 |  24k|  24k|3192 |  25k|1910 |   0 |   0 | 6.424510e+02 |      --      |    Inf 
1667.04/1667.54	c  1661s|     1 |     0 | 52168 |  41M|   0 |2253 |3192 |  24k|  24k|3192 |  25k|1912 |   0 |   0 | 6.424890e+02 |      --      |    Inf 
1678.63/1679.17	c  1673s|     1 |     0 | 52217 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1916 |   0 |   0 | 6.425249e+02 |      --      |    Inf 
1689.93/1690.48	c  1684s|     1 |     0 | 52220 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1919 |   0 |   0 | 6.425249e+02 |      --      |    Inf 
1701.73/1702.25	c  1696s|     1 |     0 | 52328 |  41M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1922 |   0 |   0 | 6.426562e+02 |      --      |    Inf 
1713.52/1714.04	c  1708s|     1 |     0 | 52443 |  41M|   0 |2251 |3192 |  24k|  24k|3192 |  25k|1926 |   0 |   0 | 6.427192e+02 |      --      |    Inf 
1725.82/1726.30	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1725.82/1726.30	c  1720s|     1 |     0 | 52574 |  41M|   0 |2252 |3192 |  24k|  24k|3192 |  25k|1929 |   0 |   0 | 6.428350e+02 |      --      |    Inf 
1737.53/1738.08	c  1732s|     1 |     0 | 52637 |  41M|   0 |2248 |3192 |  24k|  24k|3192 |  25k|1933 |   0 |   0 | 6.428440e+02 |      --      |    Inf 
1749.41/1749.93	c  1744s|     1 |     0 | 52765 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1935 |   0 |   0 | 6.428898e+02 |      --      |    Inf 
1762.01/1762.51	c  1756s|     1 |     0 | 52841 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1938 |   0 |   0 | 6.429712e+02 |      --      |    Inf 
1774.61/1775.20	c  1769s|     1 |     0 | 52957 |  41M|   0 |2254 |3192 |  24k|  24k|3192 |  25k|1940 |   0 |   0 | 6.430290e+02 |      --      |    Inf 
1787.10/1787.61	c  1781s|     1 |     0 | 53067 |  41M|   0 |2256 |3192 |  24k|  24k|3192 |  25k|1943 |   0 |   0 | 6.431403e+02 |      --      |    Inf 
1797.00/1797.53	c  1791s|     1 |     0 | 53067 |  41M|   0 |   - |3192 |  24k|  24k|3192 |  25k|1945 |   0 |   0 | 6.431403e+02 |      --      |    Inf 
1797.00/1797.55	c  1791s|     1 |     2 | 53067 |  41M|   0 |   - |3192 |  24k|  24k|3192 |  25k|1945 |   0 |   0 | 6.431403e+02 |      --      |    Inf 
1797.00/1797.55	c 
1797.00/1797.55	c SCIP Status        : solving was interrupted [time limit reached]
1797.00/1797.55	c Solving Time (sec) : 1791.03
1797.00/1797.55	c Solving Nodes      : 1
1797.00/1797.55	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.00/1797.55	c Dual Bound         : +6.43140337483880e+02
1797.00/1797.55	c Gap                : infinite
1797.00/1797.55	c NODE         1
1797.00/1797.55	c DUAL BOUND   643.14
1797.00/1797.55	c PRIMAL BOUND 1e+20
1797.00/1797.55	c GAP          1e+20
1797.00/1797.55	s UNKNOWN
1797.00/1797.55	c SCIP Status        : solving was interrupted [time limit reached]
1797.00/1797.55	c Solving Time       :    1791.03
1797.00/1797.55	c Original Problem   :
1797.00/1797.55	c   Problem name     : HOME/instance-1869080-1245157237.opb
1797.00/1797.55	c   Variables        : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.55	c   Constraints      : 24883 initial, 24883 maximal
1797.00/1797.55	c Presolved Problem  :
1797.00/1797.55	c   Problem name     : t_HOME/instance-1869080-1245157237.opb
1797.00/1797.55	c   Variables        : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.55	c   Constraints      : 24871 initial, 24871 maximal
1797.00/1797.55	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.00/1797.55	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1797.00/1797.55	c   dualfix          :       0.00         12          0          0          0          0          0          0          0
1797.00/1797.55	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.00/1797.55	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.00/1797.55	c   implics          :       0.01          0          0          0          0          0          0          0          0
1797.00/1797.55	c   probing          :       3.34          0          0          0          0          0          0          0          0
1797.00/1797.55	c   linear           :       0.22          0          0          0          0          0         12          0          0
1797.00/1797.55	c   logicor          :       0.11          0          0          0          0          0          0          0          0
1797.00/1797.55	c   root node        :          -          0          -          -          0          -          -          -          -
1797.00/1797.55	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.00/1797.55	c   integral         :          0          0          0          0          0          0          0          0          0          0
1797.00/1797.55	c   logicor          :      24871        171       5179          0          1          0          0          0          0          0
1797.00/1797.55	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1797.00/1797.55	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.00/1797.55	c   integral         :       0.00       0.00       0.00       0.00       0.00
1797.00/1797.55	c   logicor          :       2.54       1.07       1.45       0.00       0.02
1797.00/1797.55	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.00/1797.55	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.00/1797.55	c   rootredcost      :       0.00          0          0          0
1797.00/1797.55	c   pseudoobj        :       0.05        171          0          0
1797.00/1797.55	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.00/1797.55	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.00/1797.55	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.00/1797.55	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.00/1797.55	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.00/1797.55	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.00/1797.55	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.00/1797.55	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.00/1797.55	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.00/1797.55	c   cut pool         :       0.42        170          -          -       1948          -    (maximal pool size: 2976)
1797.00/1797.55	c   redcost          :       0.02        171          0          0          0          0
1797.00/1797.55	c   impliedbounds    :       1.29        171          0          0       1740          0
1797.00/1797.55	c   intobj           :       0.00          0          0          0          0          0
1797.00/1797.55	c   gomory           :    1494.17        171          0          0      21305          0
1797.00/1797.55	c   strongcg         :      38.84         20          0          0       9933          0
1797.00/1797.55	c   cmir             :       6.08         10          0          0          0          0
1797.00/1797.55	c   flowcover        :       5.81         10          0          0          0          0
1797.00/1797.55	c   clique           :       2.67        171          0          0       1053          0
1797.00/1797.55	c   zerohalf         :       0.00          0          0          0          0          0
1797.00/1797.55	c   mcf              :       0.05          1          0          0          0          0
1797.00/1797.55	c Pricers            :       Time      Calls       Vars
1797.00/1797.55	c   problem variables:       0.00          0          0
1797.00/1797.55	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.00/1797.55	c   relpscost        :       0.00          0          0          0          0          0          0
1797.00/1797.55	c   pscost           :       0.00          0          0          0          0          0          0
1797.00/1797.55	c   inference        :       0.00          1          0          0          0          0          2
1797.00/1797.55	c   mostinf          :       0.00          0          0          0          0          0          0
1797.00/1797.55	c   leastinf         :       0.00          0          0          0          0          0          0
1797.00/1797.55	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.00/1797.55	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.00/1797.55	c   random           :       0.00          0          0          0          0          0          0
1797.00/1797.55	c Primal Heuristics  :       Time      Calls      Found
1797.00/1797.55	c   LP solutions     :       0.00          -          0
1797.00/1797.55	c   pseudo solutions :       0.00          -          0
1797.00/1797.55	c   oneopt           :       0.00          0          0
1797.00/1797.55	c   simplerounding   :       0.01          0          0
1797.00/1797.55	c   rounding         :       1.04        100          0
1797.00/1797.55	c   shifting         :      11.71        100          0
1797.00/1797.55	c   intshifting      :       0.00          0          0
1797.00/1797.55	c   fixandinfer      :       0.00          0          0
1797.00/1797.55	c   feaspump         :      27.63          1          0
1797.00/1797.55	c   coefdiving       :       0.00          0          0
1797.00/1797.55	c   pscostdiving     :       0.00          0          0
1797.00/1797.55	c   fracdiving       :       0.00          0          0
1797.00/1797.55	c   veclendiving     :       0.00          0          0
1797.00/1797.55	c   intdiving        :       0.00          0          0
1797.00/1797.55	c   actconsdiving    :       0.00          0          0
1797.00/1797.55	c   objpscostdiving  :       0.00          0          0
1797.00/1797.55	c   rootsoldiving    :       0.00          0          0
1797.00/1797.55	c   linesearchdiving :       0.00          0          0
1797.00/1797.55	c   guideddiving     :       0.00          0          0
1797.00/1797.55	c   octane           :       0.00          0          0
1797.00/1797.55	c   rens             :       0.00          0          0
1797.00/1797.55	c   rins             :       0.00          0          0
1797.00/1797.55	c   localbranching   :       0.00          0          0
1797.00/1797.55	c   mutation         :       0.00          0          0
1797.00/1797.55	c   crossover        :       0.00          0          0
1797.00/1797.55	c   dins             :       0.00          0          0
1797.00/1797.55	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.00/1797.55	c   primal LP        :       0.77          0          0       0.00       0.00
1797.00/1797.55	c   dual LP          :     193.22        171      43528     254.55     225.28
1797.00/1797.55	c   barrier LP       :       0.00          0          0       0.00          -
1797.00/1797.55	c   diving/probing LP:      26.61        117       9539      81.53     358.47
1797.00/1797.55	c   strong branching :       0.00          0          0       0.00          -
1797.00/1797.55	c     (at root node) :          -          0          0       0.00          -
1797.00/1797.55	c   conflict analysis:       0.00          0          0       0.00          -
1797.00/1797.55	c B&B Tree           :
1797.00/1797.55	c   number of runs   :          1
1797.00/1797.55	c   nodes            :          1
1797.00/1797.55	c   nodes (total)    :          1
1797.00/1797.55	c   nodes left       :          2
1797.00/1797.55	c   max depth        :          0
1797.00/1797.55	c   max depth (total):          0
1797.00/1797.55	c   backtracks       :          0 (0.0%)
1797.00/1797.55	c   delayed cutoffs  :          0
1797.00/1797.55	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.00/1797.55	c   avg switch length:       1.00
1797.00/1797.55	c   switching time   :       0.00
1797.00/1797.55	c Solution           :
1797.00/1797.55	c   Solutions found  :          0 (0 improvements)
1797.00/1797.55	c   Primal Bound     :          -
1797.00/1797.55	c   Dual Bound       : +6.43140337483880e+02
1797.00/1797.55	c   Gap              :   infinite
1797.00/1797.55	c   Root Dual Bound  : +6.43140337483880e+02
1797.09/1797.68	c Time complete: 1797.18.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869080-1245157237/watcher-1869080-1245157237 -o /tmp/evaluation-result-1869080-1245157237/solver-1869080-1245157237 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869080-1245157237.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: 0.92 0.98 0.99 3/64 3285
/proc/meminfo: memFree=1894056/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=4648 CPUtime=0
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 498 0 0 0 0 0 0 0 18 0 1 0 183323842 4759552 482 1992294400 4194304 7823515 548682068736 18446744073709551615 5955600 0 0 4096 0 0 0 0 17 1 0 0
/proc/3285/statm: 1082 484 319 886 0 192 0

[startup+0.105265 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3285
/proc/meminfo: memFree=1894056/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=14484 CPUtime=0.1
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 2941 0 0 0 9 1 0 0 18 0 1 0 183323842 14831616 2923 1992294400 4194304 7823515 548682068736 18446744073709551615 4518912 0 0 4096 0 0 0 0 17 1 0 0
/proc/3285/statm: 3621 2923 354 886 0 2731 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14484

[startup+0.20128 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3285
/proc/meminfo: memFree=1894056/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=16712 CPUtime=0.19
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 3525 0 0 0 18 1 0 0 18 0 1 0 183323842 17113088 3507 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/3285/statm: 4178 3507 354 886 0 3288 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16712

[startup+0.30129 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3285
/proc/meminfo: memFree=1894056/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=19008 CPUtime=0.29
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 4073 0 0 0 28 1 0 0 19 0 1 0 183323842 19464192 4055 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/3285/statm: 4752 4055 354 886 0 3862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19008

[startup+0.701333 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3285
/proc/meminfo: memFree=1894056/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=56336 CPUtime=0.69
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 14246 0 0 0 60 9 0 0 22 0 1 0 183323842 57688064 13120 1992294400 4194304 7823515 548682068736 18446744073709551615 5875147 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 14084 13120 429 886 0 13194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56336

[startup+1.50142 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3286
/proc/meminfo: memFree=1839968/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=59352 CPUtime=1.49
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 15043 0 0 0 136 13 0 0 25 0 1 0 183323842 60776448 13917 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 14838 13917 443 886 0 13948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59352

[startup+3.10159 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3286
/proc/meminfo: memFree=1839840/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=60476 CPUtime=3.09
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 15329 0 0 0 295 14 0 0 25 0 1 0 183323842 61927424 14203 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 15119 14203 448 886 0 14229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60476

[startup+6.30193 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 3286
/proc/meminfo: memFree=1807136/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=97248 CPUtime=6.29
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 24612 0 0 0 610 19 0 0 25 0 1 0 183323842 99581952 22600 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 24312 22600 515 886 0 23422 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97248

[startup+12.7026 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3286
/proc/meminfo: memFree=1801448/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=99504 CPUtime=12.69
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 25683 0 0 0 1249 20 0 0 25 0 1 0 183323842 101892096 23590 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 24876 23590 515 886 0 23986 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99504

[startup+25.502 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1800680/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=100676 CPUtime=25.48
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 25893 0 0 0 2525 23 0 0 25 0 1 0 183323842 103092224 23758 1992294400 4194304 7823515 548682068736 18446744073709551615 6237120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 25169 23758 526 886 0 24279 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100676

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1797864/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=105512 CPUtime=51.07
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 28348 0 0 0 5069 38 0 0 25 0 1 0 183323842 108044288 24535 1992294400 4194304 7823515 548682068736 18446744073709551615 5925270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 26378 24535 555 886 0 25488 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 105512

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1778088/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=122968 CPUtime=102.26
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 33907 0 0 0 10176 50 0 0 25 0 1 0 183323842 125919232 29459 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 30742 29459 555 886 0 29852 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 122968

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1769896/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=129708 CPUtime=162.24
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 39439 0 0 0 16155 69 0 0 25 0 1 0 183323842 132820992 31481 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32427 31481 555 886 0 31537 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 129708

[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1771112/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131008 CPUtime=222.23
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 45921 0 0 0 22133 90 0 0 25 0 1 0 183323842 134152192 31163 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32752 31163 555 886 0 31862 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 131008

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1770216/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=130088 CPUtime=282.21
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 54165 0 0 0 28110 111 0 0 25 0 1 0 183323842 133210112 31364 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32522 31364 555 886 0 31632 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 130088

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1775400/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=127760 CPUtime=342.19
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 57930 0 0 0 34086 133 0 0 25 0 1 0 183323842 130826240 30068 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 31940 30068 555 886 0 31050 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 127760

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1773992/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=127760 CPUtime=402.18
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 58263 0 0 0 40065 153 0 0 25 0 1 0 183323842 130826240 30401 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 31940 30401 555 886 0 31050 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 127760

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1775080/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=127644 CPUtime=462.16
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 59423 0 0 0 46043 173 0 0 25 0 1 0 183323842 130707456 30285 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 31911 30285 555 886 0 31021 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 127644

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1773160/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=127684 CPUtime=522.14
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 61872 0 0 0 52022 192 0 0 25 0 1 0 183323842 130748416 30577 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 31921 30577 555 886 0 31031 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 127684

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1771240/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=132644 CPUtime=582.13
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 64511 0 0 0 58004 209 0 0 25 0 1 0 183323842 135827456 31041 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 33161 31041 555 886 0 32271 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 132644

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1771624/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=130232 CPUtime=642.12
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 65898 0 0 0 63985 227 0 0 25 0 1 0 183323842 133357568 30942 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32558 30942 555 886 0 31668 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 130232

[startup+702.302 s]

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

/proc/meminfo: memFree=1770152/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131020 CPUtime=1062
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 78061 0 0 0 105845 355 0 0 25 0 1 0 183323842 134164480 31197 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32755 31197 555 886 0 31865 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 131020

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1768936/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131020 CPUtime=1121.98
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 78358 0 0 0 111827 371 0 0 25 0 1 0 183323842 134164480 31494 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32755 31494 555 886 0 31865 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 131020

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1768744/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131020 CPUtime=1181.97
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 78367 0 0 0 117808 389 0 0 25 0 1 0 183323842 134164480 31503 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32755 31503 555 886 0 31865 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 131020

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1768616/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131020 CPUtime=1241.95
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 78368 0 0 0 123788 407 0 0 25 0 1 0 183323842 134164480 31504 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32755 31504 555 886 0 31865 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 131020

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1771560/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=130964 CPUtime=1301.93
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 79490 0 0 0 129769 424 0 0 25 0 1 0 183323842 134107136 30768 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32741 30768 555 886 0 31851 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 130964

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1771176/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=130964 CPUtime=1361.92
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 79537 0 0 0 135754 438 0 0 25 0 1 0 183323842 134107136 30815 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32741 30815 555 886 0 31851 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 130964

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1769128/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=132356 CPUtime=1421.9
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 80037 0 0 0 141735 455 0 0 25 0 1 0 183323842 135532544 31315 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 33089 31315 555 886 0 32199 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 132356

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1766440/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=132404 CPUtime=1481.89
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 82080 0 0 0 147716 473 0 0 25 0 1 0 183323842 135581696 30786 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 33101 30786 555 886 0 32211 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 132404

[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1770920/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131116 CPUtime=1541.87
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 84907 0 0 0 153695 492 0 0 25 0 1 0 183323842 134262784 30841 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32779 30841 555 886 0 31889 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 131116

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1769576/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=132412 CPUtime=1601.85
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 85232 0 0 0 159677 508 0 0 25 0 1 0 183323842 135589888 31166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 33103 31166 555 886 0 32213 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 132412

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1769768/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131092 CPUtime=1661.84
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 87177 0 0 0 165657 527 0 0 25 0 1 0 183323842 134238208 31115 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32773 31115 555 886 0 31883 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 131092

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1771944/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=128472 CPUtime=1721.82
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 87481 0 0 0 171638 544 0 0 25 0 1 0 183323842 131555328 30552 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32118 30552 555 886 0 31228 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 128472

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1767464/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=133588 CPUtime=1781.81
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 88832 0 0 0 177617 564 0 0 25 0 1 0 183323842 136794112 31633 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 33397 31633 555 886 0 32507 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 133588

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

[startup+1785.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1767464/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=133588 CPUtime=1785.1
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 88832 0 0 0 177945 565 0 0 25 0 1 0 183323842 136794112 31633 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 33397 31633 555 886 0 32507 0
Current children cumulated CPU time (s) 1785.1
Current children cumulated vsize (KiB) 133588

[startup+1792.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1770792/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131044 CPUtime=1791.51
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 89219 0 0 0 178583 568 0 0 25 0 1 0 183323842 134189056 30800 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32761 30800 555 886 0 31871 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 131044

[startup+1795.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1770792/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131044 CPUtime=1794.71
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 89219 0 0 0 178902 569 0 0 25 0 1 0 183323842 134189056 30800 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32761 30800 555 886 0 31871 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 131044

[startup+1796.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1770792/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131044 CPUtime=1796.3
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 89219 0 0 0 179061 569 0 0 25 0 1 0 183323842 134189056 30800 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32761 30800 555 886 0 31871 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (KiB) 131044

[startup+1797.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1770792/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131044 CPUtime=1796.7
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 89219 0 0 0 179101 569 0 0 25 0 1 0 183323842 134189056 30800 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3285/statm: 32761 30800 555 886 0 31871 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 131044

[startup+1797.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3292
/proc/meminfo: memFree=1770792/2055920 swapFree=4181536/4192956
[pid=3285] ppid=3283 vsize=131044 CPUtime=1797.09
/proc/3285/stat : 3285 (pbscip.linux.x8) R 3283 3285 2317 0 -1 4194304 89224 0 0 0 179140 569 0 0 25 0 1 0 183323842 134189056 30805 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 0 0 0
/proc/3285/statm: 32761 30805 560 886 0 31871 0
Current children cumulated CPU time (s) 1797.09
Current children cumulated vsize (KiB) 131044

Child status: 0
Real time (s): 1797.69
CPU time (s): 1797.2
CPU user time (s): 1791.48
CPU system time (s): 5.71913
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 134968

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

runsolver used 1.18482 second user time and 3.9354 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-16 15:00:37
IDJOB=1869080
IDBENCH=2162
IDSOLVER=683
FILE ID=node19/1869080-1245157237
PBS_JOBID= 9363780
Free space on /tmp= 66156 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869080-1245157237/watcher-1869080-1245157237 -o /tmp/evaluation-result-1869080-1245157237/solver-1869080-1245157237 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869080-1245157237.opb

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

MD5SUM BENCH= 248472fe06219d598fdcc7ece74901af
RANDOM SEED=1312329410

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1894536 kB
Buffers:         24296 kB
Cached:          72936 kB
SwapCached:       6060 kB
Active:          67424 kB
Inactive:        38544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1894536 kB
SwapTotal:     4192956 kB
SwapFree:      4181536 kB
Dirty:           10524 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            41344 kB
Committed_AS:   192324 kB
PageTables:       1460 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= 66148 MiB
End job on node19 at 2009-06-16 15:30:35