Trace number 2664694

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
SCIPnone SCIP 1.2.1.2 without any LP solverUNSAT 1452.02 1452.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf1355-075.opb
MD5SUMf91b1a8ba871517e9c6c65d2a92ea818
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.213967
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4360
Total number of constraints8958
Number of constraints which are clauses8958
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 constraint1
Maximum length of a constraint6
Number of terms in the objective function 4360
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 4360
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4360
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 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-2664694-1276460155.opb>
0.09/0.17	c original problem has 4360 variables (4360 bin, 0 int, 0 impl, 0 cont) and 8958 constraints
0.09/0.17	c problem read
0.09/0.17	c presolving settings loaded
0.09/0.18	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.19/0.25	c presolving:
0.39/0.45	c (round 1) 2751 del vars, 170 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 162950 impls, 0 clqs
0.49/0.52	c (round 2) 2908 del vars, 4538 del conss, 160 chg bounds, 60 chg sides, 141 chg coeffs, 0 upgd conss, 165412 impls, 0 clqs
0.49/0.54	c (round 3) 2988 del vars, 4901 del conss, 213 chg bounds, 72 chg sides, 154 chg coeffs, 0 upgd conss, 166829 impls, 0 clqs
0.49/0.55	c (round 4) 3106 del vars, 5308 del conss, 293 chg bounds, 78 chg sides, 165 chg coeffs, 0 upgd conss, 167607 impls, 0 clqs
0.49/0.56	c (round 5) 3218 del vars, 5582 del conss, 366 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 167865 impls, 0 clqs
0.49/0.57	c (round 6) 3261 del vars, 5684 del conss, 390 chg bounds, 105 chg sides, 210 chg coeffs, 0 upgd conss, 167952 impls, 0 clqs
0.49/0.57	c (round 7) 3277 del vars, 5732 del conss, 401 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167973 impls, 0 clqs
0.49/0.58	c (round 8) 3279 del vars, 5739 del conss, 402 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167979 impls, 0 clqs
0.49/0.58	c (round 9) 3281 del vars, 5743 del conss, 403 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167981 impls, 0 clqs
0.89/0.93	c (round 10) 3281 del vars, 6009 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2646 upgd conss, 167981 impls, 0 clqs
0.89/0.96	c (round 11) 3283 del vars, 6010 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2646 upgd conss, 167981 impls, 0 clqs
0.89/0.98	c (round 12) 3283 del vars, 6010 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2860 upgd conss, 167981 impls, 0 clqs
1.00/1.05	c (round 13) 3283 del vars, 6021 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 167981 impls, 0 clqs
1.89/1.95	c (round 14) 3333 del vars, 6021 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 281949 impls, 0 clqs
1.89/1.96	c (round 15) 3336 del vars, 6028 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 281967 impls, 0 clqs
2.39/2.48	c (round 16) 3386 del vars, 6028 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 325639 impls, 0 clqs
2.39/2.48	c (round 17) 3386 del vars, 6077 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 325639 impls, 0 clqs
3.20/3.24	c (round 18) 3436 del vars, 6077 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342041 impls, 0 clqs
3.20/3.25	c (round 19) 3440 del vars, 6086 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342073 impls, 0 clqs
3.30/3.33	c (round 20) 3490 del vars, 6086 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342859 impls, 0 clqs
3.30/3.34	c (round 21) 3490 del vars, 6094 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342859 impls, 0 clqs
3.30/3.38	c    (3.1s) probing: 1000/1077 (92.9%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.30/3.39	c    (3.1s) probing: 1042/1077 (96.8%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.30/3.39	c    (3.1s) probing aborted: 100/100 successive totally useless probings
3.30/3.39	c (round 22) 3517 del vars, 6094 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342937 impls, 0 clqs
3.39/3.41	c    (3.1s) probing: 1052/1077 (97.7%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.39/3.41	c    (3.1s) probing aborted: 100/100 successive totally useless probings
3.39/3.41	c presolving (23 rounds):
3.39/3.41	c  3517 deleted vars, 6094 deleted constraints, 403 tightened bounds, 0 added holes, 250 changed sides, 214 changed coefficients
3.39/3.41	c  342937 implications, 0 cliques
3.39/3.41	c presolved problem has 843 variables (843 bin, 0 int, 0 impl, 0 cont) and 2864 constraints
3.39/3.41	c      94 constraints of type <linear>
3.39/3.41	c    2770 constraints of type <logicor>
3.39/3.41	c transformed objective value is always integral (scale: 1)
3.39/3.41	c Presolving Time: 3.06
3.39/3.41	c - non default parameters ----------------------------------------------------------------------
3.39/3.41	c # SCIP version 1.2.1.2
3.39/3.41	c 
3.39/3.41	c # frequency for displaying node information lines
3.39/3.41	c # [type: int, range: [-1,2147483647], default: 100]
3.39/3.41	c display/freq = 10000
3.39/3.41	c 
3.39/3.41	c # maximal time in seconds to run
3.39/3.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.41	c limits/time = 1799.83
3.39/3.41	c 
3.39/3.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.39/3.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.41	c limits/memory = 1620
3.39/3.41	c 
3.39/3.41	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.39/3.41	c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.41	c lp/solvefreq = -1
3.39/3.41	c 
3.39/3.41	c # should presolving try to simplify inequalities
3.39/3.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.41	c constraints/linear/simplifyinequalities = TRUE
3.39/3.41	c 
3.39/3.41	c # should presolving try to simplify knapsacks
3.39/3.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.41	c constraints/knapsack/simplifyinequalities = TRUE
3.39/3.41	c 
3.39/3.41	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.39/3.41	c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.41	c separating/rapidlearning/freq = 0
3.39/3.41	c 
3.39/3.41	c -----------------------------------------------------------------------------------------------
3.39/3.41	c start solving
3.39/3.41	c 
3.39/3.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.39/3.41	c   3.1s|     1 |     2 |     0 |     - |  16M|   0 |   - | 843 |2864 |   0 |   0 |   0 |   0 |   0 | 1.945000e+03 |      --      |    Inf 
11.79/11.87	c  11.2s| 10000 |  9926 |     0 |   0.0 |  23M|  33 |   - | 843 |2912 |   0 |   0 |   0 |  49 |   0 | 2.021000e+03 |      --      |    Inf 
20.08/20.12	c  19.0s| 20000 | 19907 |     0 |   0.0 |  30M|  34 |   - | 843 |2921 |   0 |   0 |   0 |  60 |   0 | 2.023000e+03 |      --      |    Inf 
28.39/28.42	c  26.9s| 30000 | 29779 |     0 |   0.0 |  38M|  34 |   - | 843 |2981 |   0 |   0 |   0 | 135 |   0 | 2.025000e+03 |      --      |    Inf 
36.47/36.50	c  34.6s| 40000 | 39682 |     0 |   0.0 |  45M|  36 |   - | 843 |3012 |   0 |   0 |   0 | 175 |   0 | 2.025000e+03 |      --      |    Inf 
44.57/44.68	c  42.4s| 50000 | 49583 |     0 |   0.0 |  53M|  36 |   - | 843 |3027 |   0 |   0 |   0 | 214 |   0 | 2.026000e+03 |      --      |    Inf 
53.57/53.67	c  51.0s| 60000 | 59339 |     0 |   0.0 |  61M|  36 |   - | 843 |3092 |   0 |   0 |   0 | 296 |   0 | 2.026000e+03 |      --      |    Inf 
62.57/62.69	c  59.5s| 70000 | 69141 |     0 |   0.0 |  70M|  36 |   - | 843 |3095 |   0 |   0 |   0 | 311 |   0 | 2.027000e+03 |      --      |    Inf 
71.66/71.77	c  68.2s| 80000 | 79030 |     0 |   0.0 |  79M|  36 |   - | 843 |3111 |   0 |   0 |   0 | 331 |   0 | 2.028000e+03 |      --      |    Inf 
80.76/80.88	c  76.9s| 90000 | 88993 |     0 |   0.0 |  87M|  36 |   - | 843 |3111 |   0 |   0 |   0 | 333 |   0 | 2.028000e+03 |      --      |    Inf 
89.56/89.63	c  85.2s|100000 | 98786 |     0 |   0.0 |  96M|  36 |   - | 843 |3129 |   0 |   0 |   0 | 361 |   0 | 2.028000e+03 |      --      |    Inf 
98.76/98.81	c  94.0s|110000 |108762 |     0 |   0.0 | 104M|  36 |   - | 843 |3123 |   0 |   0 |   0 | 363 |   0 | 2.029000e+03 |      --      |    Inf 
108.05/108.18	c   103s|120000 |118677 |     0 |   0.0 | 113M|  36 |   - | 843 |3131 |   0 |   0 |   0 | 383 |   0 | 2.029000e+03 |      --      |    Inf 
117.05/117.13	c   111s|130000 |128500 |     0 |   0.0 | 122M|  36 |   - | 843 |3132 |   0 |   0 |   0 | 411 |   0 | 2.029000e+03 |      --      |    Inf 
126.25/126.34	c   120s|140000 |138330 |     0 |   0.0 | 131M|  36 |   - | 843 |3118 |   0 |   0 |   0 | 411 |   0 | 2.029000e+03 |      --      |    Inf 
135.44/135.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
135.44/135.60	c   129s|150000 |148201 |     0 |   0.0 | 140M|  36 |   - | 843 |3119 |   0 |   0 |   0 | 412 |   0 | 2.030000e+03 |      --      |    Inf 
144.74/144.84	c   138s|160000 |158172 |     0 |   0.0 | 148M|  36 |   - | 843 |3122 |   0 |   0 |   0 | 415 |   0 | 2.030000e+03 |      --      |    Inf 
154.14/154.20	c   147s|170000 |168111 |     0 |   0.0 | 157M|  36 |   - | 843 |3131 |   0 |   0 |   0 | 424 |   0 | 2.030000e+03 |      --      |    Inf 
163.24/163.38	c   156s|180000 |177985 |     0 |   0.0 | 166M|  36 |   - | 843 |3155 |   0 |   0 |   0 | 448 |   0 | 2.030000e+03 |      --      |    Inf 
172.34/172.43	c   164s|190000 |187825 |     0 |   0.0 | 175M|  36 |   - | 843 |3159 |   0 |   0 |   0 | 453 |   0 | 2.030000e+03 |      --      |    Inf 
181.94/182.03	c   173s|200000 |197650 |     0 |   0.0 | 184M|  36 |   - | 843 |3141 |   0 |   0 |   0 | 456 |   0 | 2.031000e+03 |      --      |    Inf 
191.34/191.41	c   182s|210000 |207533 |     0 |   0.0 | 193M|  36 |   - | 843 |3143 |   0 |   0 |   0 | 459 |   0 | 2.031000e+03 |      --      |    Inf 
200.63/200.77	c   191s|220000 |217514 |     0 |   0.0 | 202M|  36 |   - | 843 |3142 |   0 |   0 |   0 | 461 |   0 | 2.031000e+03 |      --      |    Inf 
210.03/210.12	c   200s|230000 |227504 |     0 |   0.0 | 211M|  36 |   - | 843 |3142 |   0 |   0 |   0 | 462 |   0 | 2.031000e+03 |      --      |    Inf 
219.32/219.42	c   209s|240000 |237484 |     0 |   0.0 | 220M|  36 |   - | 843 |3143 |   0 |   0 |   0 | 463 |   0 | 2.031000e+03 |      --      |    Inf 
228.32/228.46	c   218s|250000 |247466 |     0 |   0.0 | 229M|  36 |   - | 843 |3144 |   0 |   0 |   0 | 464 |   0 | 2.031000e+03 |      --      |    Inf 
237.02/237.11	c   226s|260000 |257405 |     0 |   0.0 | 238M|  36 |   - | 843 |3149 |   0 |   0 |   0 | 469 |   0 | 2.031000e+03 |      --      |    Inf 
246.22/246.40	c   235s|270000 |267331 |     0 |   0.0 | 246M|  36 |   - | 843 |3149 |   0 |   0 |   0 | 469 |   0 | 2.031000e+03 |      --      |    Inf 
255.81/255.91	c   244s|280000 |277266 |     0 |   0.0 | 255M|  36 |   - | 843 |3150 |   0 |   0 |   0 | 473 |   0 | 2.031000e+03 |      --      |    Inf 
264.92/265.03	c   253s|290000 |287098 |     0 |   0.0 | 264M|  37 |   - | 843 |3154 |   0 |   0 |   0 | 487 |   0 | 2.032000e+03 |      --      |    Inf 
273.91/274.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
273.91/274.08	c   261s|300000 |297078 |     0 |   0.0 | 273M|  37 |   - | 843 |3150 |   0 |   0 |   0 | 490 |   0 | 2.032000e+03 |      --      |    Inf 
283.11/283.24	c   270s|310000 |307072 |     0 |   0.0 | 282M|  37 |   - | 843 |3147 |   0 |   0 |   0 | 490 |   0 | 2.032000e+03 |      --      |    Inf 
292.20/292.40	c   279s|320000 |317067 |     0 |   0.0 | 290M|  37 |   - | 843 |3146 |   0 |   0 |   0 | 490 |   0 | 2.032000e+03 |      --      |    Inf 
301.50/301.60	c   288s|330000 |327056 |     0 |   0.0 | 299M|  37 |   - | 843 |3148 |   0 |   0 |   0 | 492 |   0 | 2.032000e+03 |      --      |    Inf 
310.60/310.72	c   296s|340000 |337053 |     0 |   0.0 | 308M|  37 |   - | 843 |3148 |   0 |   0 |   0 | 492 |   0 | 2.032000e+03 |      --      |    Inf 
319.50/319.62	c   305s|350000 |347046 |     0 |   0.0 | 317M|  37 |   - | 843 |3148 |   0 |   0 |   0 | 492 |   0 | 2.032000e+03 |      --      |    Inf 
327.89/328.03	c   313s|360000 |357038 |     0 |   0.0 | 325M|  37 |   - | 843 |3148 |   0 |   0 |   0 | 492 |   0 | 2.032000e+03 |      --      |    Inf 
337.09/337.29	c   322s|370000 |366965 |     0 |   0.0 | 334M|  37 |   - | 843 |3150 |   0 |   0 |   0 | 494 |   0 | 2.032000e+03 |      --      |    Inf 
346.69/346.81	c   331s|380000 |376921 |     0 |   0.0 | 343M|  37 |   - | 843 |3150 |   0 |   0 |   0 | 494 |   0 | 2.032000e+03 |      --      |    Inf 
356.29/356.45	c   340s|390000 |386881 |     0 |   0.0 | 353M|  37 |   - | 843 |3151 |   0 |   0 |   0 | 497 |   0 | 2.032000e+03 |      --      |    Inf 
365.58/365.73	c   349s|400000 |396812 |     0 |   0.0 | 362M|  37 |   - | 843 |3157 |   0 |   0 |   0 | 506 |   0 | 2.032000e+03 |      --      |    Inf 
374.89/375.01	c   358s|410000 |406748 |     0 |   0.0 | 370M|  37 |   - | 843 |3164 |   0 |   0 |   0 | 513 |   0 | 2.033000e+03 |      --      |    Inf 
384.17/384.32	c   367s|420000 |416743 |     0 |   0.0 | 379M|  37 |   - | 843 |3163 |   0 |   0 |   0 | 514 |   0 | 2.033000e+03 |      --      |    Inf 
393.58/393.73	c   376s|430000 |426741 |     0 |   0.0 | 387M|  37 |   - | 843 |3158 |   0 |   0 |   0 | 514 |   0 | 2.033000e+03 |      --      |    Inf 
402.77/402.96	c   384s|440000 |436737 |     0 |   0.0 | 396M|  37 |   - | 843 |3157 |   0 |   0 |   0 | 514 |   0 | 2.033000e+03 |      --      |    Inf 
412.17/412.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
412.17/412.33	c   393s|450000 |446733 |     0 |   0.0 | 405M|  37 |   - | 843 |3156 |   0 |   0 |   0 | 514 |   0 | 2.033000e+03 |      --      |    Inf 
421.46/421.61	c   402s|460000 |456728 |     0 |   0.0 | 414M|  37 |   - | 843 |3154 |   0 |   0 |   0 | 514 |   0 | 2.033000e+03 |      --      |    Inf 
430.77/430.93	c   411s|470000 |466724 |     0 |   0.0 | 422M|  37 |   - | 843 |3154 |   0 |   0 |   0 | 514 |   0 | 2.033000e+03 |      --      |    Inf 
439.96/440.19	c   420s|480000 |476720 |     0 |   0.0 | 431M|  38 |   - | 843 |3154 |   0 |   0 |   0 | 514 |   0 | 2.033000e+03 |      --      |    Inf 
448.96/449.15	c   428s|490000 |486704 |     0 |   0.0 | 440M|  38 |   - | 843 |3154 |   0 |   0 |   0 | 515 |   0 | 2.033000e+03 |      --      |    Inf 
457.55/457.79	c   437s|500000 |496694 |     0 |   0.0 | 449M|  38 |   - | 843 |3155 |   0 |   0 |   0 | 516 |   0 | 2.033000e+03 |      --      |    Inf 
466.95/467.11	c   445s|510000 |506626 |     0 |   0.0 | 458M|  38 |   - | 843 |3155 |   0 |   0 |   0 | 517 |   0 | 2.033000e+03 |      --      |    Inf 
476.55/476.79	c   455s|520000 |516564 |     0 |   0.0 | 467M|  38 |   - | 843 |3154 |   0 |   0 |   0 | 517 |   0 | 2.033000e+03 |      --      |    Inf 
486.25/486.45	c   464s|530000 |526526 |     0 |   0.0 | 476M|  38 |   - | 843 |3153 |   0 |   0 |   0 | 517 |   0 | 2.033000e+03 |      --      |    Inf 
495.85/496.02	c   473s|540000 |536485 |     0 |   0.0 | 485M|  38 |   - | 843 |3153 |   0 |   0 |   0 | 517 |   0 | 2.033000e+03 |      --      |    Inf 
505.04/505.21	c   482s|550000 |546404 |     0 |   0.0 | 494M|  38 |   - | 843 |3157 |   0 |   0 |   0 | 523 |   0 | 2.033000e+03 |      --      |    Inf 
514.34/514.52	c   491s|560000 |556341 |     0 |   0.0 | 502M|  38 |   - | 843 |3158 |   0 |   0 |   0 | 524 |   0 | 2.034000e+03 |      --      |    Inf 
523.64/523.87	c   500s|570000 |566338 |     0 |   0.0 | 511M|  38 |   - | 843 |3158 |   0 |   0 |   0 | 524 |   0 | 2.034000e+03 |      --      |    Inf 
533.25/533.41	c   509s|580000 |576337 |     0 |   0.0 | 520M|  38 |   - | 843 |3158 |   0 |   0 |   0 | 524 |   0 | 2.034000e+03 |      --      |    Inf 
542.53/542.78	c   518s|590000 |586323 |     0 |   0.0 | 528M|  38 |   - | 843 |3165 |   0 |   0 |   0 | 531 |   0 | 2.034000e+03 |      --      |    Inf 
551.83/552.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
551.83/552.08	c   526s|600000 |596312 |     0 |   0.0 | 537M|  38 |   - | 843 |3170 |   0 |   0 |   0 | 537 |   0 | 2.034000e+03 |      --      |    Inf 
561.23/561.46	c   535s|610000 |606308 |     0 |   0.0 | 546M|  38 |   - | 843 |3163 |   0 |   0 |   0 | 538 |   0 | 2.034000e+03 |      --      |    Inf 
570.63/570.88	c   544s|620000 |616300 |     0 |   0.0 | 554M|  38 |   - | 843 |3165 |   0 |   0 |   0 | 543 |   0 | 2.034000e+03 |      --      |    Inf 
579.92/580.11	c   553s|630000 |626275 |     0 |   0.0 | 563M|  38 |   - | 843 |3169 |   0 |   0 |   0 | 555 |   0 | 2.034000e+03 |      --      |    Inf 
589.21/589.41	c   562s|640000 |636261 |     0 |   0.0 | 572M|  38 |   - | 843 |3172 |   0 |   0 |   0 | 562 |   0 | 2.034000e+03 |      --      |    Inf 
598.32/598.56	c   571s|650000 |646251 |     0 |   0.0 | 581M|  38 |   - | 843 |3168 |   0 |   0 |   0 | 565 |   0 | 2.034000e+03 |      --      |    Inf 
607.41/607.65	c   579s|660000 |656235 |     0 |   0.0 | 589M|  38 |   - | 843 |3167 |   0 |   0 |   0 | 568 |   0 | 2.034000e+03 |      --      |    Inf 
616.21/616.49	c   588s|670000 |666215 |     0 |   0.0 | 598M|  38 |   - | 843 |3164 |   0 |   0 |   0 | 568 |   0 | 2.034000e+03 |      --      |    Inf 
625.21/625.41	c   596s|680000 |676124 |     0 |   0.0 | 607M|  38 |   - | 843 |3161 |   0 |   0 |   0 | 571 |   0 | 2.034000e+03 |      --      |    Inf 
634.80/635.00	c   605s|690000 |686061 |     0 |   0.0 | 616M|  38 |   - | 843 |3163 |   0 |   0 |   0 | 580 |   0 | 2.034000e+03 |      --      |    Inf 
644.40/644.61	c   615s|700000 |695978 |     0 |   0.0 | 625M|  38 |   - | 843 |3167 |   0 |   0 |   0 | 584 |   0 | 2.034000e+03 |      --      |    Inf 
654.00/654.29	c   624s|710000 |705924 |     0 |   0.0 | 634M|  38 |   - | 843 |3171 |   0 |   0 |   0 | 588 |   0 | 2.034000e+03 |      --      |    Inf 
663.69/663.94	c   633s|720000 |715841 |     0 |   0.0 | 643M|  38 |   - | 843 |3175 |   0 |   0 |   0 | 595 |   0 | 2.034000e+03 |      --      |    Inf 
673.09/673.39	c   642s|730000 |725723 |     0 |   0.0 | 652M|  38 |   - | 843 |3176 |   0 |   0 |   0 | 609 |   0 | 2.034000e+03 |      --      |    Inf 
682.39/682.62	c   651s|740000 |735647 |     0 |   0.0 | 661M|  38 |   - | 843 |3172 |   0 |   0 |   0 | 609 |   0 | 2.035000e+03 |      --      |    Inf 
691.69/691.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
691.69/691.96	c   660s|750000 |745640 |     0 |   0.0 | 669M|  38 |   - | 843 |3172 |   0 |   0 |   0 | 609 |   0 | 2.035000e+03 |      --      |    Inf 
701.08/701.31	c   669s|760000 |755638 |     0 |   0.0 | 678M|  38 |   - | 843 |3172 |   0 |   0 |   0 | 609 |   0 | 2.035000e+03 |      --      |    Inf 
710.39/710.64	c   678s|770000 |765638 |     0 |   0.0 | 687M|  38 |   - | 843 |3172 |   0 |   0 |   0 | 609 |   0 | 2.035000e+03 |      --      |    Inf 
719.57/719.86	c   686s|780000 |775632 |     0 |   0.0 | 696M|  38 |   - | 843 |3172 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
728.87/729.11	c   695s|790000 |785632 |     0 |   0.0 | 704M|  38 |   - | 843 |3172 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
738.17/738.44	c   704s|800000 |795632 |     0 |   0.0 | 713M|  38 |   - | 843 |3172 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
747.36/747.65	c   713s|810000 |805632 |     0 |   0.0 | 722M|  38 |   - | 843 |3170 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
756.66/756.91	c   722s|820000 |815631 |     0 |   0.0 | 730M|  38 |   - | 843 |3170 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
765.76/766.03	c   730s|830000 |825628 |     0 |   0.0 | 739M|  38 |   - | 843 |3170 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
774.96/775.25	c   739s|840000 |835628 |     0 |   0.0 | 748M|  38 |   - | 843 |3169 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
784.06/784.36	c   748s|850000 |845626 |     0 |   0.0 | 757M|  38 |   - | 843 |3167 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
792.95/793.29	c   756s|860000 |855623 |     0 |   0.0 | 765M|  38 |   - | 843 |3167 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
801.95/802.25	c   765s|870000 |865622 |     0 |   0.0 | 774M|  38 |   - | 843 |3167 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
810.85/811.14	c   774s|880000 |875618 |     0 |   0.0 | 783M|  38 |   - | 843 |3166 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
819.26/819.53	c   781s|890000 |885613 |     0 |   0.0 | 792M|  38 |   - | 843 |3165 |   0 |   0 |   0 | 611 |   0 | 2.035000e+03 |      --      |    Inf 
828.54/828.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
828.54/828.88	c   790s|900000 |895563 |     0 |   0.0 | 801M|  38 |   - | 843 |3166 |   0 |   0 |   0 | 612 |   0 | 2.035000e+03 |      --      |    Inf 
837.94/838.21	c   799s|910000 |905552 |     0 |   0.0 | 810M|  38 |   - | 843 |3166 |   0 |   0 |   0 | 612 |   0 | 2.035000e+03 |      --      |    Inf 
847.43/847.75	c   808s|920000 |915513 |     0 |   0.0 | 819M|  38 |   - | 843 |3171 |   0 |   0 |   0 | 617 |   0 | 2.035000e+03 |      --      |    Inf 
857.13/857.46	c   818s|930000 |925422 |     0 |   0.0 | 828M|  38 |   - | 843 |3194 |   0 |   0 |   0 | 640 |   0 | 2.035000e+03 |      --      |    Inf 
866.63/866.99	c   827s|940000 |935320 |     0 |   0.0 | 837M|  38 |   - | 843 |3205 |   0 |   0 |   0 | 652 |   0 | 2.035000e+03 |      --      |    Inf 
876.33/876.62	c   836s|950000 |945222 |     0 |   0.0 | 846M|  38 |   - | 843 |3214 |   0 |   0 |   0 | 662 |   0 | 2.035000e+03 |      --      |    Inf 
885.72/886.02	c   845s|960000 |955001 |     0 |   0.0 | 855M|  38 |   - | 843 |3233 |   0 |   0 |   0 | 685 |   0 | 2.035000e+03 |      --      |    Inf 
895.32/895.63	c   854s|970000 |964991 |     0 |   0.0 | 863M|  38 |   - | 843 |3233 |   0 |   0 |   0 | 685 |   0 | 2.036000e+03 |      --      |    Inf 
904.93/905.28	c   863s|980000 |974988 |     0 |   0.0 | 872M|  38 |   - | 843 |3233 |   0 |   0 |   0 | 685 |   0 | 2.036000e+03 |      --      |    Inf 
914.71/915.07	c   873s|990000 |984988 |     0 |   0.0 | 881M|  38 |   - | 843 |3231 |   0 |   0 |   0 | 685 |   0 | 2.036000e+03 |      --      |    Inf 
924.61/924.90	c   882s|  1000k|994988 |     0 |   0.0 | 890M|  38 |   - | 843 |3231 |   0 |   0 |   0 | 685 |   0 | 2.036000e+03 |      --      |    Inf 
934.40/934.71	c   891s|  1010k|  1004k|     0 |   0.0 | 899M|  38 |   - | 843 |3234 |   0 |   0 |   0 | 689 |   0 | 2.036000e+03 |      --      |    Inf 
944.31/944.64	c   901s|  1020k|  1014k|     0 |   0.0 | 908M|  38 |   - | 843 |3230 |   0 |   0 |   0 | 689 |   0 | 2.036000e+03 |      --      |    Inf 
954.09/954.46	c   910s|  1030k|  1024k|     0 |   0.0 | 917M|  38 |   - | 843 |3215 |   0 |   0 |   0 | 689 |   0 | 2.036000e+03 |      --      |    Inf 
964.09/964.45	c   920s|  1040k|  1034k|     0 |   0.0 | 926M|  38 |   - | 843 |3207 |   0 |   0 |   0 | 689 |   0 | 2.036000e+03 |      --      |    Inf 
973.79/974.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
973.79/974.19	c   929s|  1050k|  1044k|     0 |   0.0 | 935M|  38 |   - | 843 |3202 |   0 |   0 |   0 | 689 |   0 | 2.036000e+03 |      --      |    Inf 
983.69/984.03	c   938s|  1060k|  1054k|     0 |   0.0 | 944M|  38 |   - | 843 |3199 |   0 |   0 |   0 | 689 |   0 | 2.036000e+03 |      --      |    Inf 
993.09/993.48	c   947s|  1070k|  1064k|     0 |   0.0 | 952M|  38 |   - | 843 |3190 |   0 |   0 |   0 | 689 |   0 | 2.036000e+03 |      --      |    Inf 
1002.80/1003.11	c   957s|  1080k|  1074k|     0 |   0.0 | 961M|  38 |   - | 843 |3188 |   0 |   0 |   0 | 689 |   0 | 2.036000e+03 |      --      |    Inf 
1012.18/1012.52	c   966s|  1090k|  1084k|     0 |   0.0 | 970M|  38 |   - | 843 |3189 |   0 |   0 |   0 | 692 |   0 | 2.036000e+03 |      --      |    Inf 
1021.48/1021.86	c   974s|  1100k|  1094k|     0 |   0.0 | 979M|  38 |   - | 843 |3189 |   0 |   0 |   0 | 692 |   0 | 2.036000e+03 |      --      |    Inf 
1030.78/1031.14	c   983s|  1110k|  1104k|     0 |   0.0 | 988M|  38 |   - | 843 |3193 |   0 |   0 |   0 | 697 |   0 | 2.036000e+03 |      --      |    Inf 
1040.07/1040.45	c   992s|  1120k|  1114k|     0 |   0.0 | 997M|  38 |   - | 843 |3187 |   0 |   0 |   0 | 697 |   0 | 2.036000e+03 |      --      |    Inf 
1049.17/1049.51	c  1001s|  1130k|  1124k|     0 |   0.0 |1006M|  38 |   - | 843 |3187 |   0 |   0 |   0 | 700 |   0 | 2.036000e+03 |      --      |    Inf 
1058.06/1058.46	c  1009s|  1140k|  1134k|     0 |   0.0 |1015M|  38 |   - | 843 |3191 |   0 |   0 |   0 | 706 |   0 | 2.036000e+03 |      --      |    Inf 
1066.46/1066.80	c  1017s|  1150k|  1144k|     0 |   0.0 |1024M|  38 |   - | 843 |3193 |   0 |   0 |   0 | 708 |   0 | 2.036000e+03 |      --      |    Inf 
1076.36/1076.72	c  1027s|  1160k|  1154k|     0 |   0.0 |1033M|  38 |   - | 843 |3197 |   0 |   0 |   0 | 712 |   0 | 2.036000e+03 |      --      |    Inf 
1086.47/1086.81	c  1036s|  1170k|  1164k|     0 |   0.0 |1042M|  38 |   - | 843 |3209 |   0 |   0 |   0 | 724 |   0 | 2.036000e+03 |      --      |    Inf 
1096.36/1096.75	c  1046s|  1180k|  1174k|     0 |   0.0 |1051M|  38 |   - | 843 |3219 |   0 |   0 |   0 | 738 |   0 | 2.036000e+03 |      --      |    Inf 
1106.46/1106.86	c  1055s|  1190k|  1184k|     0 |   0.0 |1060M|  38 |   - | 843 |3224 |   0 |   0 |   0 | 751 |   0 | 2.036000e+03 |      --      |    Inf 
1116.65/1117.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1116.65/1117.02	c  1065s|  1200k|  1194k|     0 |   0.0 |1070M|  38 |   - | 843 |3244 |   0 |   0 |   0 | 775 |   0 | 2.036000e+03 |      --      |    Inf 
1126.74/1127.13	c  1075s|  1210k|  1204k|     0 |   0.0 |1079M|  38 |   - | 843 |3264 |   0 |   0 |   0 | 797 |   0 | 2.036000e+03 |      --      |    Inf 
1136.55/1136.92	c  1084s|  1220k|  1214k|     0 |   0.0 |1088M|  38 |   - | 843 |3288 |   0 |   0 |   0 | 821 |   0 | 2.036000e+03 |      --      |    Inf 
1146.64/1147.02	c  1094s|  1230k|  1224k|     0 |   0.0 |1097M|  38 |   - | 843 |3288 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1156.23/1156.69	c  1103s|  1240k|  1234k|     0 |   0.0 |1106M|  38 |   - | 843 |3288 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1165.94/1166.37	c  1112s|  1250k|  1244k|     0 |   0.0 |1115M|  38 |   - | 843 |3288 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1175.83/1176.29	c  1122s|  1260k|  1254k|     0 |   0.0 |1124M|  38 |   - | 843 |3277 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1185.73/1186.19	c  1131s|  1270k|  1264k|     0 |   0.0 |1133M|  38 |   - | 843 |3276 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1195.83/1196.21	c  1141s|  1280k|  1274k|     0 |   0.0 |1141M|  38 |   - | 843 |3275 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1205.72/1206.12	c  1150s|  1290k|  1284k|     0 |   0.0 |1151M|  38 |   - | 843 |3275 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1215.62/1216.07	c  1160s|  1300k|  1294k|     0 |   0.0 |1159M|  38 |   - | 843 |3275 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1225.52/1225.96	c  1169s|  1310k|  1304k|     0 |   0.0 |1168M|  38 |   - | 843 |3273 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1235.51/1235.93	c  1179s|  1320k|  1314k|     0 |   0.0 |1177M|  38 |   - | 843 |3265 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1245.41/1245.90	c  1188s|  1330k|  1324k|     0 |   0.0 |1186M|  38 |   - | 843 |3263 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1255.31/1255.75	c  1198s|  1340k|  1334k|     0 |   0.0 |1195M|  38 |   - | 843 |3263 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1265.10/1265.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1265.10/1265.54	c  1207s|  1350k|  1344k|     0 |   0.0 |1204M|  38 |   - | 843 |3258 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1274.70/1275.14	c  1216s|  1360k|  1354k|     0 |   0.0 |1213M|  38 |   - | 843 |3255 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1284.31/1284.75	c  1225s|  1370k|  1364k|     0 |   0.0 |1222M|  38 |   - | 843 |3253 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1293.89/1294.39	c  1234s|  1380k|  1374k|     0 |   0.0 |1231M|  38 |   - | 843 |3248 |   0 |   0 |   0 | 821 |   0 | 2.037000e+03 |      --      |    Inf 
1303.59/1304.03	c  1244s|  1390k|  1384k|     0 |   0.0 |1240M|  38 |   - | 843 |3246 |   0 |   0 |   0 | 823 |   0 | 2.037000e+03 |      --      |    Inf 
1312.99/1313.47	c  1253s|  1400k|  1394k|     0 |   0.0 |1249M|  38 |   - | 843 |3235 |   0 |   0 |   0 | 823 |   0 | 2.037000e+03 |      --      |    Inf 
1322.48/1322.92	c  1262s|  1410k|  1404k|     0 |   0.0 |1257M|  38 |   - | 843 |3230 |   0 |   0 |   0 | 823 |   0 | 2.037000e+03 |      --      |    Inf 
1331.78/1332.27	c  1270s|  1420k|  1414k|     0 |   0.0 |1266M|  38 |   - | 843 |3218 |   0 |   0 |   0 | 823 |   0 | 2.037000e+03 |      --      |    Inf 
1340.98/1341.41	c  1279s|  1430k|  1424k|     0 |   0.0 |1275M|  38 |   - | 843 |3216 |   0 |   0 |   0 | 823 |   0 | 2.037000e+03 |      --      |    Inf 
1350.17/1350.65	c  1288s|  1440k|  1434k|     0 |   0.0 |1284M|  38 |   - | 843 |3206 |   0 |   0 |   0 | 823 |   0 | 2.037000e+03 |      --      |    Inf 
1359.18/1359.69	c  1297s|  1450k|  1444k|     0 |   0.0 |1293M|  38 |   - | 843 |3203 |   0 |   0 |   0 | 823 |   0 | 2.037000e+03 |      --      |    Inf 
1367.88/1368.35	c  1305s|  1460k|  1454k|     0 |   0.0 |1302M|  38 |   - | 843 |3199 |   0 |   0 |   0 | 823 |   0 | 2.037000e+03 |      --      |    Inf 
1377.67/1378.16	c  1314s|  1470k|  1464k|     0 |   0.0 |1311M|  39 |   - | 843 |3220 |   0 |   0 |   0 | 844 |   0 | 2.037000e+03 |      --      |    Inf 
1387.77/1388.27	c  1324s|  1480k|  1474k|     0 |   0.0 |1320M|  39 |   - | 843 |3229 |   0 |   0 |   0 | 853 |   0 | 2.037000e+03 |      --      |    Inf 
1398.06/1398.51	c  1334s|  1490k|  1484k|     0 |   0.0 |1329M|  39 |   - | 843 |3250 |   0 |   0 |   0 | 876 |   0 | 2.037000e+03 |      --      |    Inf 
1408.15/1408.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1408.15/1408.63	c  1343s|  1500k|  1493k|     0 |   0.0 |1339M|  39 |   - | 843 |3302 |   0 |   0 |   0 | 931 |   0 | 2.037000e+03 |      --      |    Inf 
1418.26/1418.71	c  1353s|  1510k|  1503k|     0 |   0.0 |1348M|  39 |   - | 843 |3323 |   0 |   0 |   0 | 953 |   0 | 2.037000e+03 |      --      |    Inf 
1428.36/1428.80	c  1362s|  1520k|  1513k|     0 |   0.0 |1357M|  39 |   - | 843 |3343 |   0 |   0 |   0 | 973 |   0 | 2.037000e+03 |      --      |    Inf 
1430.15/1430.62	c (node 1521848) switching to memory saving mode (mem: 1296.0M/1620.0M)
1441.25/1441.75	c (node 1521882) switching to standard mode (mem: 648.0M/1620.0M)
1451.84/1452.38	c 
1451.84/1452.38	c SCIP Status        : problem is solved [infeasible]
1451.84/1452.38	c Solving Time (sec) : 1383.87
1451.84/1452.38	c Solving Nodes      : 1521882
1451.84/1452.38	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1451.84/1452.38	c Dual Bound         : +1.00000000000000e+20
1451.84/1452.38	c Gap                : 0.00 %
1451.84/1452.38	s UNSATISFIABLE
1451.84/1452.38	c SCIP Status        : problem is solved [infeasible]
1451.84/1452.38	c Solving Time       :    1383.87
1451.84/1452.38	c Original Problem   :
1451.84/1452.38	c   Problem name     : HOME/instance-2664694-1276460155.opb
1451.84/1452.38	c   Variables        : 4360 (4360 binary, 0 integer, 0 implicit integer, 0 continuous)
1451.84/1452.38	c   Constraints      : 8958 initial, 8958 maximal
1451.84/1452.38	c Presolved Problem  :
1451.84/1452.38	c   Problem name     : t_HOME/instance-2664694-1276460155.opb
1451.84/1452.38	c   Variables        : 843 (843 binary, 0 integer, 0 implicit integer, 0 continuous)
1451.84/1452.38	c   Constraints      : 2864 initial, 3370 maximal
1451.84/1452.38	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1451.84/1452.38	c   trivial          :       0.01         13          0          0          0          0          0          0          0
1451.84/1452.38	c   dualfix          :       0.00        113          0          0          0          0          0          0          0
1451.84/1452.38	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1451.84/1452.38	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1451.84/1452.38	c   implics          :       0.17          0       2702          0          0          0          0          0          0
1451.84/1452.38	c   probing          :       2.19         17        210          0          0          0          0          0          0
1451.84/1452.38	c   linear           :       0.37        390         71          0        403          0       6003        250        214
1451.84/1452.38	c   logicor          :       0.28          1          0          0          0          0         91          0          0
1451.84/1452.38	c   root node        :          -         27          -          -         27          -          -          -          -
1451.84/1452.38	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1451.84/1452.38	c   integral         :          0          0          0          0          0          0          0          0          0          0
1451.84/1452.38	c   linear           :         94          0    8391815          0    1520916          1     384879          0          0          0
1451.84/1452.38	c   logicor          :       2770+         0    8324236          0    1520916       1026   18157823          0          0          0
1451.84/1452.38	c   countsols        :          0          0          0          0    1520916          0          0          0          0          0
1451.84/1452.38	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1451.84/1452.38	c   integral         :       0.00       0.00       0.00       0.00       0.00
1451.84/1452.38	c   linear           :      31.16       0.00      29.21       0.00       1.95
1451.84/1452.38	c   logicor          :     459.35       0.00     148.66       0.00     310.69
1451.84/1452.38	c   countsols        :       0.63       0.00       0.00       0.00       0.63
1451.84/1452.38	c Propagators        :       Time      Calls    Cutoffs    DomReds
1451.84/1452.38	c   vbounds          :       4.01          2          0          0
1451.84/1452.38	c   rootredcost      :       3.75          0          0          0
1451.84/1452.38	c   pseudoobj        :     182.00    8387391          0          0
1451.84/1452.38	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1451.84/1452.38	c   propagation      :       0.02       1019        920       1096        3.8         26        3.6          -
1451.84/1452.38	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1451.84/1452.38	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1451.84/1452.38	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1451.84/1452.38	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1451.84/1452.38	c   applied globally :          -          -          -       1030        3.7          -          -          -
1451.84/1452.38	c   applied locally  :          -          -          -          0        0.0          -          -          -
1451.84/1452.38	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1451.84/1452.38	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1451.84/1452.38	c   redcost          :       0.00          0          0          0          0          0
1451.84/1452.38	c   impliedbounds    :       0.00          0          0          0          0          0
1451.84/1452.38	c   intobj           :       0.00          0          0          0          0          0
1451.84/1452.38	c   cgmip            :       0.00          0          0          0          0          0
1451.84/1452.38	c   gomory           :       0.00          0          0          0          0          0
1451.84/1452.38	c   strongcg         :       0.00          0          0          0          0          0
1451.84/1452.38	c   cmir             :       0.00          0          0          0          0          0
1451.84/1452.38	c   flowcover        :       0.00          0          0          0          0          0
1451.84/1452.38	c   clique           :       0.00          0          0          0          0          0
1451.84/1452.38	c   zerohalf         :       0.00          0          0          0          0          0
1451.84/1452.38	c   mcf              :       0.00          0          0          0          0          0
1451.84/1452.38	c   rapidlearning    :       0.00          0          0          0          0          0
1451.84/1452.38	c Pricers            :       Time      Calls       Vars
1451.84/1452.38	c   problem variables:       0.00          0          0
1451.84/1452.38	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1451.84/1452.38	c   relpscost        :       0.00          0          0          0          0          0          0
1451.84/1452.38	c   pscost           :       0.00          0          0          0          0          0          0
1451.84/1452.38	c   inference        :     140.78    1520916          0          0          0          0    3041832
1451.84/1452.38	c   mostinf          :       0.00          0          0          0          0          0          0
1451.84/1452.38	c   leastinf         :       0.00          0          0          0          0          0          0
1451.84/1452.38	c   fullstrong       :       0.00          0          0          0          0          0          0
1451.84/1452.38	c   allfullstrong    :       0.00          0          0          0          0          0          0
1451.84/1452.38	c   random           :       0.00          0          0          0          0          0          0
1451.84/1452.38	c Primal Heuristics  :       Time      Calls      Found
1451.84/1452.38	c   LP solutions     :       0.00          -          0
1451.84/1452.38	c   pseudo solutions :       0.00          -          0
1451.84/1452.38	c   oneopt           :       0.94          0          0
1451.84/1452.38	c   trivial          :       0.02          2          0
1451.84/1452.38	c   simplerounding   :       0.00          0          0
1451.84/1452.38	c   zirounding       :       0.00          0          0
1451.84/1452.38	c   rounding         :       0.00          0          0
1451.84/1452.38	c   shifting         :       0.00          0          0
1451.84/1452.38	c   intshifting      :       0.00          0          0
1451.84/1452.38	c   twoopt           :       0.00          0          0
1451.84/1452.38	c   fixandinfer      :       0.00          0          0
1451.84/1452.38	c   feaspump         :       0.00          0          0
1451.84/1452.38	c   coefdiving       :       0.00          0          0
1451.84/1452.38	c   pscostdiving     :       0.00          0          0
1451.84/1452.38	c   fracdiving       :       0.00          0          0
1451.84/1452.38	c   veclendiving     :       0.00          0          0
1451.84/1452.38	c   intdiving        :       0.00          0          0
1451.84/1452.38	c   actconsdiving    :       0.00          0          0
1451.84/1452.38	c   objpscostdiving  :       0.00          0          0
1451.84/1452.38	c   rootsoldiving    :       0.00          0          0
1451.84/1452.38	c   linesearchdiving :       0.00          0          0
1451.84/1452.38	c   guideddiving     :       0.00          0          0
1451.84/1452.38	c   octane           :       0.00          0          0
1451.84/1452.38	c   rens             :       0.00          0          0
1451.84/1452.38	c   rins             :       0.00          0          0
1451.84/1452.38	c   localbranching   :       0.00          0          0
1451.84/1452.38	c   mutation         :       0.00          0          0
1451.84/1452.38	c   crossover        :       0.00          0          0
1451.84/1452.38	c   dins             :       0.00          0          0
1451.84/1452.38	c   undercover       :       0.00          0          0
1451.84/1452.38	c   nlp              :       0.97          0          0
1451.84/1452.38	c   trysol           :       0.67          0          0
1451.84/1452.38	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1451.84/1452.38	c   primal LP        :       0.00          0          0       0.00          -
1451.84/1452.38	c   dual LP          :       0.00          0          0       0.00          -
1451.84/1452.38	c   lex dual LP      :       0.00          0          0       0.00          -
1451.84/1452.38	c   barrier LP       :       0.00          0          0       0.00          -
1451.84/1452.38	c   diving/probing LP:       0.00          0          0       0.00          -
1451.84/1452.38	c   strong branching :       0.00          0          0       0.00          -
1451.84/1452.38	c     (at root node) :          -          0          0       0.00          -
1451.84/1452.38	c   conflict analysis:       0.00          0          0       0.00          -
1451.84/1452.38	c B&B Tree           :
1451.84/1452.38	c   number of runs   :          1
1451.84/1452.38	c   nodes            :    1521882
1451.84/1452.38	c   nodes (total)    :    1521882
1451.84/1452.38	c   nodes left       :          0
1451.84/1452.38	c   max depth        :         57
1451.84/1452.38	c   max depth (total):         57
1451.84/1452.38	c   backtracks       :     261090 (17.2%)
1451.84/1452.38	c   delayed cutoffs  :    1519951
1451.84/1452.38	c   repropagations   :       6207 (6066 domain reductions, 53 cutoffs)
1451.84/1452.38	c   avg switch length:       7.69
1451.84/1452.38	c   switching time   :     443.25
1451.84/1452.38	c Solution           :
1451.84/1452.38	c   Solutions found  :          0 (0 improvements)
1451.84/1452.38	c   Primal Bound     : infeasible
1451.84/1452.38	c   Dual Bound       :          -
1451.84/1452.38	c   Gap              :       0.00 %
1451.84/1452.38	c   Root Dual Bound  : +1.94500000000000e+03
1451.84/1452.38	c   Root Iterations  :          0
1451.94/1452.46	c Time complete: 1452.01.

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-2664694-1276460155/watcher-2664694-1276460155 -o /tmp/evaluation-result-2664694-1276460155/solver-2664694-1276460155 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664694-1276460155.opb -t 1800 -m 1800 

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.97 1.00 1.00 2/106 26488
/proc/meminfo: memFree=1796172/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=5556 CPUtime=0
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 887 0 0 0 0 0 0 0 25 0 1 0 19671877 5689344 809 1992294400 4194304 7136930 140733963381392 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26488/statm: 1389 809 249 719 0 668 0

[startup+0.0228749 s]
/proc/loadavg: 0.97 1.00 1.00 2/106 26488
/proc/meminfo: memFree=1796172/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=10412 CPUtime=0.01
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 2115 0 0 0 1 0 0 0 25 0 1 0 19671877 10661888 2036 1992294400 4194304 7136930 140733963381392 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26488/statm: 2603 2036 266 719 0 1882 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10412

[startup+0.100882 s]
/proc/loadavg: 0.97 1.00 1.00 2/106 26488
/proc/meminfo: memFree=1796172/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=14408 CPUtime=0.09
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 3091 0 0 0 9 0 0 0 25 0 1 0 19671877 14753792 3012 1992294400 4194304 7136930 140733963381392 18446744073709551615 4240603 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26488/statm: 3602 3012 271 719 0 2881 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14408

[startup+0.3009 s]
/proc/loadavg: 0.97 1.00 1.00 2/106 26488
/proc/meminfo: memFree=1796172/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=31876 CPUtime=0.29
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 7598 0 0 0 27 2 0 0 25 0 1 0 19671877 32641024 7165 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 7969 7165 347 719 0 7248 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31876

[startup+0.700938 s]
/proc/loadavg: 0.97 1.00 1.00 2/106 26488
/proc/meminfo: memFree=1796172/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=34872 CPUtime=0.69
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 10970 0 0 0 63 6 0 0 25 0 1 0 19671877 35708928 7967 1992294400 4194304 7136930 140733963381392 18446744073709551615 4937849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 8718 7967 352 719 0 7997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34872

[startup+1.50102 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 26489
/proc/meminfo: memFree=1764544/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=38056 CPUtime=1.49
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 13556 0 0 0 139 10 0 0 25 0 1 0 19671877 38969344 8754 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 9514 8754 369 719 0 8793 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38056

[startup+3.10117 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 26489
/proc/meminfo: memFree=1760328/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=43324 CPUtime=3.09
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 16169 0 0 0 296 13 0 0 25 0 1 0 19671877 44363776 10082 1992294400 4194304 7136930 140733963381392 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 10831 10082 369 719 0 10110 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43324

[startup+6.30148 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 26489
/proc/meminfo: memFree=1754128/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=46792 CPUtime=6.29
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 18862 0 0 0 600 29 0 0 25 0 1 0 19671877 47915008 10976 1992294400 4194304 7136930 140733963381392 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 11698 10976 391 719 0 10977 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46792

[startup+12.7011 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 26489
/proc/meminfo: memFree=1748176/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=52320 CPUtime=12.68
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 20273 0 0 0 1210 58 0 0 25 0 1 0 19671877 53575680 12387 1992294400 4194304 7136930 140733963381392 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 13080 12387 392 719 0 12359 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52320

[startup+25.5013 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 26489
/proc/meminfo: memFree=1735032/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=65016 CPUtime=25.49
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 23483 0 0 0 2430 119 0 0 25 0 1 0 19671877 66576384 15597 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 16254 15597 392 719 0 15533 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65016

[startup+51.1018 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 26489
/proc/meminfo: memFree=1707628/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=92492 CPUtime=51.07
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 30488 0 0 0 4867 240 0 0 25 0 1 0 19671877 94711808 22602 1992294400 4194304 7136930 140733963381392 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 23123 22602 392 719 0 22402 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92492

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26491
/proc/meminfo: memFree=1655300/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=144960 CPUtime=102.26
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 43320 0 0 0 9747 479 0 0 25 0 1 0 19671877 148439040 35434 1992294400 4194304 7136930 140733963381392 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 36240 35434 392 719 0 35519 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 144960

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26493
/proc/meminfo: memFree=1597888/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=202244 CPUtime=162.24
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 57895 0 0 0 15477 747 0 0 25 0 1 0 19671877 207097856 50009 1992294400 4194304 7136930 140733963381392 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 50561 50009 392 719 0 49840 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 202244

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26495
/proc/meminfo: memFree=1537376/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=264696 CPUtime=222.22
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 72734 0 0 0 21201 1021 0 0 25 0 1 0 19671877 271048704 64848 1992294400 4194304 7136930 140733963381392 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 66174 64848 392 719 0 65453 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 264696

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26497
/proc/meminfo: memFree=1481948/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=319940 CPUtime=282.21
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 86802 0 0 0 26929 1292 0 0 25 0 1 0 19671877 327618560 78916 1992294400 4194304 7136930 140733963381392 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 79985 78916 392 719 0 79264 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 319940

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26497
/proc/meminfo: memFree=1422800/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=377088 CPUtime=342.19
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 101349 0 0 0 32655 1564 0 0 25 0 1 0 19671877 386138112 93463 1992294400 4194304 7136930 140733963381392 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 94272 93463 392 719 0 93551 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 377088

[startup+402.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26499
/proc/meminfo: memFree=1368860/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=430556 CPUtime=402.17
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 114967 0 0 0 38385 1832 0 0 25 0 1 0 19671877 440889344 107081 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 107639 107081 392 719 0 106918 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 430556

[startup+462.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26501
/proc/meminfo: memFree=1307852/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=498696 CPUtime=462.16
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 130209 0 0 0 44097 2119 0 0 25 0 1 0 19671877 510664704 122323 1992294400 4194304 7136930 140733963381392 18446744073709551615 4697383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 124674 122323 392 719 0 123953 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 498696

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26503
/proc/meminfo: memFree=1253416/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=552776 CPUtime=522.14
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 143976 0 0 0 49825 2389 0 0 25 0 1 0 19671877 566042624 136090 1992294400 4194304 7136930 140733963381392 18446744073709551615 6166209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 138194 136090 392 719 0 137473 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 552776

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26505
/proc/meminfo: memFree=1196128/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=606740 CPUtime=582.12
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 157716 0 0 0 55543 2669 0 0 25 0 1 0 19671877 621301760 149830 1992294400 4194304 7136930 140733963381392 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 151685 149830 392 719 0 150964 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 606740

[startup+642.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26505
/proc/meminfo: memFree=1138964/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=662752 CPUtime=642.11
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 171974 0 0 0 61262 2949 0 0 25 0 1 0 19671877 678658048 164088 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 165688 164088 392 719 0 164967 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 662752

[startup+702.3 s]

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

/proc/meminfo: memFree=965240/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=833036 CPUtime=822.04
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 215306 0 0 0 78425 3779 0 0 25 0 1 0 19671877 853028864 207420 1992294400 4194304 7136930 140733963381392 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 208259 207420 392 719 0 207538 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 833036

[startup+882.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26513
/proc/meminfo: memFree=909192/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=888780 CPUtime=882.02
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 229487 0 0 0 84139 4063 0 0 25 0 1 0 19671877 910110720 221601 1992294400 4194304 7136930 140733963381392 18446744073709551615 6215595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 222195 221601 392 719 0 221474 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 888780

[startup+942.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26513
/proc/meminfo: memFree=857732/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=955920 CPUtime=942
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 242416 0 0 0 89871 4329 0 0 25 0 1 0 19671877 978862080 234530 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 238980 234530 392 719 0 238259 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 955920

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26515
/proc/meminfo: memFree=794740/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1016580 CPUtime=1001.99
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 257821 0 0 0 95600 4599 0 0 25 0 1 0 19671877 1040977920 249935 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 254145 249935 392 719 0 253424 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1016580

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26517
/proc/meminfo: memFree=740056/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1070152 CPUtime=1061.96
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 271470 0 0 0 101312 4884 0 0 25 0 1 0 19671877 1095835648 263584 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 267538 263584 392 719 0 266817 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1070152

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26519
/proc/meminfo: memFree=683636/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1125520 CPUtime=1121.95
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 285548 0 0 0 107034 5161 0 0 25 0 1 0 19671877 1152532480 277662 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 281380 277662 392 719 0 280659 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1125520

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26521
/proc/meminfo: memFree=630936/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1176560 CPUtime=1181.93
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 298547 0 0 0 112761 5432 0 0 25 0 1 0 19671877 1204797440 290661 1992294400 4194304 7136930 140733963381392 18446744073709551615 4660898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 294140 290661 392 719 0 293419 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1176560

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26521
/proc/meminfo: memFree=577616/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1228588 CPUtime=1241.91
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 311787 0 0 0 118495 5696 0 0 25 0 1 0 19671877 1258074112 303901 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 307147 303901 392 719 0 306426 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1228588

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26523
/proc/meminfo: memFree=521444/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1283564 CPUtime=1301.9
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 325774 0 0 0 124212 5978 0 0 25 0 1 0 19671877 1314369536 317888 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 320891 317888 392 719 0 320170 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1283564

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26528
/proc/meminfo: memFree=465024/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1338288 CPUtime=1361.88
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 339707 0 0 0 129919 6269 0 0 25 0 1 0 19671877 1370406912 331821 1992294400 4194304 7136930 140733963381392 18446744073709551615 4210694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 334572 331821 392 719 0 333851 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1338288

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=406868/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1395464 CPUtime=1421.86
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 354237 0 0 0 135630 6556 0 0 25 0 1 0 19671877 1428955136 346351 1992294400 4194304 7136930 140733963381392 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 348866 346351 392 719 0 348145 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1395464

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

[startup+1433.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=398932/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1402684 CPUtime=1433.05
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 361965 0 0 0 136687 6618 0 0 25 0 1 0 19671877 1436348416 348156 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 350671 348156 392 719 0 349950 0
Current children cumulated CPU time (s) 1433.05
Current children cumulated vsize (KiB) 1402684

[startup+1439.91 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=488584/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1312828 CPUtime=1439.45
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 361965 0 0 0 137267 6678 0 0 25 0 1 0 19671877 1344335872 325692 1992294400 4194304 7136930 140733963381392 18446744073709551615 6165594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 328207 325692 392 719 0 327486 0
Current children cumulated CPU time (s) 1439.45
Current children cumulated vsize (KiB) 1312828

[startup+1446.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=555048/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1206132 CPUtime=1445.84
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 364616 0 0 0 137850 6734 0 0 25 0 1 0 19671877 1235079168 299842 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 301533 299842 392 719 0 300812 0
Current children cumulated CPU time (s) 1445.84
Current children cumulated vsize (KiB) 1206132

[startup+1449.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=723440/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=1044384 CPUtime=1449.04
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 364616 0 0 0 138145 6759 0 0 25 0 1 0 19671877 1069449216 259405 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 261096 259405 392 719 0 260375 0
Current children cumulated CPU time (s) 1449.04
Current children cumulated vsize (KiB) 1044384

[startup+1451.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=821896/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=934996 CPUtime=1450.65
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 364616 0 0 0 138290 6775 0 0 25 0 1 0 19671877 957435904 232058 1992294400 4194304 7136930 140733963381392 18446744073709551615 6165646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 233749 232058 392 719 0 233028 0
Current children cumulated CPU time (s) 1450.65
Current children cumulated vsize (KiB) 934996

[startup+1451.9 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=964124/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=834736 CPUtime=1451.45
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 364616 0 0 0 138363 6782 0 0 25 0 1 0 19671877 854769664 206993 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 208684 206993 392 719 0 207963 0
Current children cumulated CPU time (s) 1451.45
Current children cumulated vsize (KiB) 834736

[startup+1452.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=964124/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=636516 CPUtime=1451.84
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 364616 0 0 0 138398 6786 0 0 25 0 1 0 19671877 651792384 157438 1992294400 4194304 7136930 140733963381392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26488/statm: 159129 157438 392 719 0 158408 0
Current children cumulated CPU time (s) 1451.84
Current children cumulated vsize (KiB) 636516

[startup+1452.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 26530
/proc/meminfo: memFree=964124/2059040 swapFree=4140228/4192956
[pid=26488] ppid=26486 vsize=320344 CPUtime=1451.94
/proc/26488/stat : 26488 (pbscip.linux.x8) R 26486 26488 25697 0 -1 4202496 364622 0 0 0 138404 6790 0 0 25 0 1 0 19671877 328032256 78401 1992294400 4194304 7136930 140733963381392 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26488/statm: 80086 78401 398 719 0 79365 0
Current children cumulated CPU time (s) 1451.94
Current children cumulated vsize (KiB) 320344

Child status: 0
Real time (s): 1452.46
CPU time (s): 1452.02
CPU user time (s): 1384.07
CPU system time (s): 67.9417
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1434284

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

runsolver used 2.53461 second user time and 6.72698 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-13 22:15:55
IDJOB=2664694
IDBENCH=2169
IDSOLVER=1167
FILE ID=node018/2664694-1276460155
PBS_JOBID= 11173341
Free space on /tmp= 62292 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664694-1276460155/watcher-2664694-1276460155 -o /tmp/evaluation-result-2664694-1276460155/solver-2664694-1276460155 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664694-1276460155.opb -t 1800 -m 1800

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

MD5SUM BENCH= f91b1a8ba871517e9c6c65d2a92ea818
RANDOM SEED=308620742

node018.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1796700 kB
Buffers:         61948 kB
Cached:         111636 kB
SwapCached:       5768 kB
Active:          90860 kB
Inactive:        95132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1796700 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:            3764 kB
Writeback:           0 kB
AnonPages:       10936 kB
Mapped:          12840 kB
Slab:            54592 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181380 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62292 MiB
End job on node018 at 2010-06-13 22:40:08