Trace number 2693769

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 NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1801.8 1801.75

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
MD5SUMf676428e29d52379a445f7afa72f565b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.347946
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4836
Total number of constraints16649
Number of soft constraints5540
Number of constraints which are clauses16341
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints308
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 277431
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 277430
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 166
Number of bits of the biggest sum of numbers8
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-2693769-1277916373.wbo>
0.09/0.14	c original problem has 15916 variables (10376 bin, 0 int, 0 impl, 5540 cont) and 22190 constraints
0.09/0.14	c problem read
0.09/0.14	c presolving settings loaded
0.09/0.14	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.28	c presolving:
0.29/0.39	c (round 1) 625 del vars, 1802 del conss, 420 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 253642 impls, 0 clqs
0.39/0.45	c (round 2) 1709 del vars, 5236 del conss, 923 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 258590 impls, 0 clqs
0.49/0.51	c (round 3) 3478 del vars, 7982 del conss, 1208 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 260561 impls, 0 clqs
0.49/0.54	c (round 4) 5286 del vars, 9719 del conss, 1334 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 262565 impls, 0 clqs
0.49/0.57	c (round 5) 6399 del vars, 10472 del conss, 1375 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 262887 impls, 0 clqs
0.49/0.58	c (round 6) 6999 del vars, 10841 del conss, 1407 chg bounds, 19 chg sides, 21 chg coeffs, 0 upgd conss, 263055 impls, 0 clqs
0.49/0.59	c (round 7) 7255 del vars, 10993 del conss, 1414 chg bounds, 23 chg sides, 24 chg coeffs, 0 upgd conss, 263123 impls, 0 clqs
0.49/0.59	c (round 8) 7374 del vars, 11038 del conss, 1417 chg bounds, 23 chg sides, 24 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.60	c (round 9) 7412 del vars, 11057 del conss, 1419 chg bounds, 24 chg sides, 25 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.61	c (round 10) 7425 del vars, 11065 del conss, 1420 chg bounds, 28 chg sides, 29 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.62	c (round 11) 7432 del vars, 11066 del conss, 4350 chg bounds, 28 chg sides, 29 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.68	c (round 12) 7433 del vars, 11066 del conss, 4350 chg bounds, 28 chg sides, 29 chg coeffs, 5423 upgd conss, 263125 impls, 0 clqs
0.59/0.69	c (round 13) 7440 del vars, 11091 del conss, 4352 chg bounds, 47 chg sides, 145 chg coeffs, 5423 upgd conss, 264356 impls, 254 clqs
0.69/0.71	c (round 14) 7446 del vars, 11119 del conss, 4352 chg bounds, 91 chg sides, 384 chg coeffs, 5423 upgd conss, 264510 impls, 274 clqs
0.69/0.72	c (round 15) 7467 del vars, 11190 del conss, 4352 chg bounds, 124 chg sides, 552 chg coeffs, 5423 upgd conss, 265258 impls, 301 clqs
0.69/0.73	c (round 16) 7492 del vars, 11249 del conss, 4352 chg bounds, 129 chg sides, 606 chg coeffs, 5423 upgd conss, 265420 impls, 323 clqs
0.69/0.75	c (round 17) 7529 del vars, 11289 del conss, 4352 chg bounds, 133 chg sides, 636 chg coeffs, 5423 upgd conss, 265454 impls, 330 clqs
0.69/0.77	c (round 18) 7565 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5423 upgd conss, 265454 impls, 332 clqs
0.79/0.80	c (round 19) 7578 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5435 upgd conss, 265454 impls, 332 clqs
0.89/0.95	c (round 20) 7629 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5435 upgd conss, 293116 impls, 332 clqs
0.89/0.97	c (round 21) 7636 del vars, 11669 del conss, 4368 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 332 clqs
0.89/0.98	c (round 22) 7746 del vars, 11780 del conss, 4368 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 333 clqs
0.89/1.00	c (round 23) 7856 del vars, 11786 del conss, 4382 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 333 clqs
1.00/1.02	c (round 24) 7862 del vars, 11786 del conss, 4382 chg bounds, 133 chg sides, 640 chg coeffs, 5442 upgd conss, 294806 impls, 333 clqs
1.59/1.65	c (round 25) 7912 del vars, 11786 del conss, 4384 chg bounds, 133 chg sides, 640 chg coeffs, 5442 upgd conss, 390100 impls, 332 clqs
1.59/1.68	c (round 26) 7922 del vars, 11998 del conss, 4384 chg bounds, 135 chg sides, 680 chg coeffs, 5442 upgd conss, 390230 impls, 333 clqs
1.59/1.69	c (round 27) 7987 del vars, 12076 del conss, 4384 chg bounds, 138 chg sides, 704 chg coeffs, 5442 upgd conss, 390254 impls, 340 clqs
1.69/1.70	c (round 28) 8056 del vars, 12095 del conss, 4384 chg bounds, 138 chg sides, 707 chg coeffs, 5442 upgd conss, 390254 impls, 346 clqs
1.69/1.71	c (round 29) 8072 del vars, 12103 del conss, 4384 chg bounds, 138 chg sides, 710 chg coeffs, 5442 upgd conss, 390266 impls, 346 clqs
1.69/1.72	c (round 30) 8077 del vars, 12118 del conss, 4387 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.69/1.74	c (round 31) 8086 del vars, 12125 del conss, 4387 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.69/1.75	c (round 32) 8093 del vars, 12127 del conss, 4411 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.69/1.78	c (round 33) 8095 del vars, 12127 del conss, 4411 chg bounds, 138 chg sides, 711 chg coeffs, 5448 upgd conss, 390307 impls, 346 clqs
2.79/2.85	c (round 34) 8145 del vars, 12127 del conss, 4412 chg bounds, 138 chg sides, 711 chg coeffs, 5448 upgd conss, 442239 impls, 341 clqs
2.79/2.87	c (round 35) 8155 del vars, 12376 del conss, 4412 chg bounds, 138 chg sides, 748 chg coeffs, 5448 upgd conss, 442583 impls, 341 clqs
2.79/2.89	c (round 36) 8243 del vars, 12477 del conss, 4412 chg bounds, 147 chg sides, 811 chg coeffs, 5448 upgd conss, 442589 impls, 358 clqs
2.89/2.90	c (round 37) 8335 del vars, 12493 del conss, 4412 chg bounds, 148 chg sides, 831 chg coeffs, 5448 upgd conss, 442589 impls, 364 clqs
2.89/2.92	c (round 38) 8350 del vars, 12496 del conss, 4430 chg bounds, 148 chg sides, 837 chg coeffs, 5448 upgd conss, 442603 impls, 366 clqs
2.89/2.95	c (round 39) 8353 del vars, 12496 del conss, 4430 chg bounds, 149 chg sides, 845 chg coeffs, 5456 upgd conss, 442603 impls, 366 clqs
2.89/2.97	c    (2.7s) probing: 1000/5462 (18.3%) - 143 fixings, 8 aggregations, 47213 implications, 3 bound changes
3.79/3.80	c    (3.5s) probing: 2000/5462 (36.6%) - 162 fixings, 16 aggregations, 52612 implications, 3 bound changes
4.09/4.17	c    (3.9s) probing: 2663/5462 (48.8%) - 162 fixings, 18 aggregations, 53146 implications, 3 bound changes
4.09/4.17	c    (3.9s) probing aborted: 100/100 successive totally useless probings
4.09/4.17	c (round 40) 8382 del vars, 12496 del conss, 4430 chg bounds, 149 chg sides, 845 chg coeffs, 5456 upgd conss, 459190 impls, 364 clqs
4.09/4.19	c (round 41) 8385 del vars, 12594 del conss, 4430 chg bounds, 166 chg sides, 975 chg coeffs, 5456 upgd conss, 459298 impls, 373 clqs
4.19/4.21	c (round 42) 8419 del vars, 12637 del conss, 4430 chg bounds, 175 chg sides, 1052 chg coeffs, 5456 upgd conss, 459302 impls, 402 clqs
4.19/4.22	c (round 43) 8456 del vars, 12646 del conss, 4430 chg bounds, 178 chg sides, 1083 chg coeffs, 5456 upgd conss, 459314 impls, 404 clqs
4.19/4.24	c (round 44) 8461 del vars, 12647 del conss, 4438 chg bounds, 178 chg sides, 1092 chg coeffs, 5456 upgd conss, 459324 impls, 409 clqs
4.19/4.26	c (round 45) 8462 del vars, 12647 del conss, 4438 chg bounds, 178 chg sides, 1096 chg coeffs, 5460 upgd conss, 459332 impls, 411 clqs
4.19/4.28	c    (4.0s) probing: 2673/5462 (48.9%) - 162 fixings, 18 aggregations, 53146 implications, 3 bound changes
4.19/4.28	c    (4.0s) probing aborted: 100/100 successive totally useless probings
4.19/4.28	c presolving (46 rounds):
4.19/4.28	c  8462 deleted vars, 12647 deleted constraints, 4438 tightened bounds, 0 added holes, 178 changed sides, 1098 changed coefficients
4.19/4.28	c  459332 implications, 413 cliques
4.19/4.28	c presolved problem has 7454 variables (4897 bin, 0 int, 0 impl, 2557 cont) and 9666 constraints
4.19/4.28	c    2557 constraints of type <indicator>
4.19/4.28	c     181 constraints of type <varbound>
4.19/4.28	c     186 constraints of type <knapsack>
4.19/4.28	c      82 constraints of type <setppc>
4.19/4.28	c    2376 constraints of type <linear>
4.19/4.28	c    4284 constraints of type <logicor>
4.19/4.28	c transformed objective value is always integral (scale: 1)
4.19/4.28	c Presolving Time: 3.94
4.19/4.28	c - non default parameters ----------------------------------------------------------------------
4.19/4.28	c # SCIP version 1.2.1.2
4.19/4.28	c 
4.19/4.28	c # frequency for displaying node information lines
4.19/4.28	c # [type: int, range: [-1,2147483647], default: 100]
4.19/4.28	c display/freq = 10000
4.19/4.28	c 
4.19/4.28	c # maximal time in seconds to run
4.19/4.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.28	c limits/time = 1799.87
4.19/4.28	c 
4.19/4.28	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.19/4.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.28	c limits/memory = 3420
4.19/4.28	c 
4.19/4.28	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.19/4.28	c # [type: int, range: [-1,2147483647], default: 1]
4.19/4.28	c lp/solvefreq = -1
4.19/4.28	c 
4.19/4.28	c # should presolving try to simplify inequalities
4.19/4.28	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.28	c constraints/linear/simplifyinequalities = TRUE
4.19/4.28	c 
4.19/4.28	c # should presolving try to simplify knapsacks
4.19/4.28	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.28	c constraints/knapsack/simplifyinequalities = TRUE
4.19/4.28	c 
4.19/4.28	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.19/4.28	c # [type: int, range: [-1,2147483647], default: -1]
4.19/4.28	c separating/rapidlearning/freq = 0
4.19/4.28	c 
4.19/4.28	c -----------------------------------------------------------------------------------------------
4.19/4.28	c start solving
4.19/4.29	c 
4.19/4.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.19/4.30	c   4.0s|     1 |     2 |     0 |     - |  56M|   0 |   - |7454 |9666 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
22.90/22.96	c  22.4s| 10000 |  9991 |     0 |   0.0 |  73M|  55 |   - |7454 |9672 |   0 |   0 |   0 |   7 |   0 | 0.000000e+00 |      --      |    Inf 
41.19/41.29	c  40.4s| 20000 | 19987 |     0 |   0.0 |  89M|  55 |   - |7454 |9672 |   0 |   0 |   0 |  11 |   0 | 0.000000e+00 |      --      |    Inf 
57.79/57.87	c  56.7s| 30000 | 29977 |     0 |   0.0 | 103M|  77 |   - |7454 |9679 |   0 |   0 |   0 |  18 |   0 | 0.000000e+00 |      --      |    Inf 
74.19/74.27	c  72.9s| 40000 | 39963 |     0 |   0.0 | 117M|  91 |   - |7454 |9686 |   0 |   0 |   0 |  29 |   0 | 0.000000e+00 |      --      |    Inf 
90.49/90.56	c  88.9s| 50000 | 49955 |     0 |   0.0 | 131M|  91 |   - |7454 |9684 |   0 |   0 |   0 |  33 |   0 | 0.000000e+00 |      --      |    Inf 
106.80/106.87	c   105s| 60000 | 59945 |     0 |   0.0 | 144M|  91 |   - |7454 |9692 |   0 |   0 |   0 |  43 |   0 | 0.000000e+00 |      --      |    Inf 
122.90/122.92	c   121s| 70000 | 69929 |     0 |   0.0 | 157M|  93 |   - |7454 |9707 |   0 |   0 |   0 |  61 |   0 | 0.000000e+00 |      --      |    Inf 
138.60/138.69	c   136s| 80000 | 79925 |     0 |   0.0 | 170M|  93 |   - |7454 |9696 |   0 |   0 |   0 |  67 |   0 | 0.000000e+00 |      --      |    Inf 
154.69/154.73	c   152s| 90000 | 89923 |     0 |   0.0 | 182M|  93 |   - |7454 |9695 |   0 |   0 |   0 |  70 |   0 | 0.000000e+00 |      --      |    Inf 
171.10/171.10	c   167s|100000 | 99919 |     0 |   0.0 | 194M|  93 |   - |7454 |9700 |   0 |   0 |   0 |  76 |   0 | 0.000000e+00 |      --      |    Inf 
187.10/187.10	c   183s|110000 |109915 |     0 |   0.0 | 207M|  93 |   - |7454 |9698 |   0 |   0 |   0 |  79 |   0 | 0.000000e+00 |      --      |    Inf 
202.99/203.00	c   198s|120000 |119913 |     0 |   0.0 | 219M|  93 |   - |7454 |9698 |   0 |   0 |   0 |  80 |   0 | 0.000000e+00 |      --      |    Inf 
218.70/218.80	c   213s|130000 |129909 |     0 |   0.0 | 230M|  93 |   - |7454 |9700 |   0 |   0 |   0 |  83 |   0 | 0.000000e+00 |      --      |    Inf 
234.40/234.48	c   228s|140000 |139909 |     0 |   0.0 | 242M|  93 |   - |7454 |9698 |   0 |   0 |   0 |  83 |   0 | 0.000000e+00 |      --      |    Inf 
249.99/250.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
249.99/250.09	c   243s|150000 |149907 |     0 |   0.0 | 253M|  93 |   - |7454 |9695 |   0 |   0 |   0 |  84 |   0 | 0.000000e+00 |      --      |    Inf 
265.59/265.63	c   258s|160000 |159905 |     0 |   0.0 | 264M|  93 |   - |7454 |9696 |   0 |   0 |   0 |  85 |   0 | 0.000000e+00 |      --      |    Inf 
281.10/281.12	c   273s|170000 |169899 |     0 |   0.0 | 275M|  93 |   - |7454 |9698 |   0 |   0 |   0 |  88 |   0 | 0.000000e+00 |      --      |    Inf 
296.39/296.42	c   287s|180000 |179891 |     0 |   0.0 | 286M|  93 |   - |7454 |9704 |   0 |   0 |   0 |  94 |   0 | 0.000000e+00 |      --      |    Inf 
312.70/312.75	c   303s|190000 |189885 |     0 |   0.0 | 300M|  93 |   - |7454 |9703 |   0 |   0 |   0 | 101 |   0 | 0.000000e+00 |      --      |    Inf 
328.81/328.89	c   318s|200000 |199883 |     0 |   0.0 | 313M|  93 |   - |7454 |9699 |   0 |   0 |   0 | 102 |   0 | 0.000000e+00 |      --      |    Inf 
345.00/345.06	c   334s|210000 |209883 |     0 |   0.0 | 326M|  93 |   - |7454 |9698 |   0 |   0 |   0 | 102 |   0 | 0.000000e+00 |      --      |    Inf 
361.00/361.02	c   349s|220000 |219879 |     0 |   0.0 | 339M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 105 |   0 | 0.000000e+00 |      --      |    Inf 
376.90/376.95	c   365s|230000 |229879 |     0 |   0.0 | 351M|  93 |   - |7454 |9697 |   0 |   0 |   0 | 105 |   0 | 0.000000e+00 |      --      |    Inf 
392.61/392.66	c   380s|240000 |239869 |     0 |   0.0 | 364M|  93 |   - |7454 |9705 |   0 |   0 |   0 | 115 |   0 | 0.000000e+00 |      --      |    Inf 
408.50/408.54	c   395s|250000 |249863 |     0 |   0.0 | 376M|  93 |   - |7454 |9704 |   0 |   0 |   0 | 118 |   0 | 0.000000e+00 |      --      |    Inf 
424.30/424.33	c   410s|260000 |259863 |     0 |   0.0 | 389M|  93 |   - |7454 |9702 |   0 |   0 |   0 | 118 |   0 | 0.000000e+00 |      --      |    Inf 
440.01/440.01	c   425s|270000 |269857 |     0 |   0.0 | 401M|  93 |   - |7454 |9709 |   0 |   0 |   0 | 128 |   0 | 0.000000e+00 |      --      |    Inf 
455.61/455.65	c   440s|280000 |279851 |     0 |   0.0 | 413M|  93 |   - |7454 |9709 |   0 |   0 |   0 | 133 |   0 | 0.000000e+00 |      --      |    Inf 
471.31/471.35	c   455s|290000 |289849 |     0 |   0.0 | 425M|  93 |   - |7454 |9705 |   0 |   0 |   0 | 136 |   0 | 0.000000e+00 |      --      |    Inf 
486.91/486.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
486.91/486.92	c   470s|300000 |299847 |     0 |   0.0 | 437M|  93 |   - |7454 |9704 |   0 |   0 |   0 | 140 |   0 | 0.000000e+00 |      --      |    Inf 
502.50/502.51	c   485s|310000 |309845 |     0 |   0.0 | 448M|  93 |   - |7454 |9702 |   0 |   0 |   0 | 141 |   0 | 0.000000e+00 |      --      |    Inf 
518.11/518.12	c   500s|320000 |319843 |     0 |   0.0 | 460M|  93 |   - |7454 |9702 |   0 |   0 |   0 | 142 |   0 | 0.000000e+00 |      --      |    Inf 
533.81/533.86	c   515s|330000 |329843 |     0 |   0.0 | 472M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 142 |   0 | 0.000000e+00 |      --      |    Inf 
549.41/549.46	c   530s|340000 |339843 |     0 |   0.0 | 484M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 142 |   0 | 0.000000e+00 |      --      |    Inf 
565.01/565.08	c   545s|350000 |349843 |     0 |   0.0 | 495M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 142 |   0 | 0.000000e+00 |      --      |    Inf 
580.50/580.58	c   560s|360000 |359841 |     0 |   0.0 | 507M|  93 |   - |7454 |9704 |   0 |   0 |   0 | 146 |   0 | 0.000000e+00 |      --      |    Inf 
596.12/596.16	c   575s|370000 |369839 |     0 |   0.0 | 518M|  93 |   - |7454 |9699 |   0 |   0 |   0 | 146 |   0 | 0.000000e+00 |      --      |    Inf 
611.61/611.66	c   590s|380000 |379837 |     0 |   0.0 | 530M|  93 |   - |7454 |9699 |   0 |   0 |   0 | 147 |   0 | 0.000000e+00 |      --      |    Inf 
627.11/627.15	c   605s|390000 |389833 |     0 |   0.0 | 541M|  93 |   - |7454 |9704 |   0 |   0 |   0 | 153 |   0 | 0.000000e+00 |      --      |    Inf 
642.61/642.63	c   619s|400000 |399831 |     0 |   0.0 | 552M|  93 |   - |7454 |9701 |   0 |   0 |   0 | 154 |   0 | 0.000000e+00 |      --      |    Inf 
658.11/658.15	c   634s|410000 |409831 |     0 |   0.0 | 563M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 154 |   0 | 0.000000e+00 |      --      |    Inf 
673.51/673.59	c   649s|420000 |419831 |     0 |   0.0 | 574M|  93 |   - |7454 |9699 |   0 |   0 |   0 | 154 |   0 | 0.000000e+00 |      --      |    Inf 
689.11/689.10	c   664s|430000 |429829 |     0 |   0.0 | 585M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 155 |   0 | 0.000000e+00 |      --      |    Inf 
704.61/704.60	c   679s|440000 |439829 |     0 |   0.0 | 596M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 155 |   0 | 0.000000e+00 |      --      |    Inf 
720.01/720.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
720.01/720.09	c   694s|450000 |449829 |     0 |   0.0 | 607M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 155 |   0 | 0.000000e+00 |      --      |    Inf 
735.51/735.59	c   708s|460000 |459829 |     0 |   0.0 | 618M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 155 |   0 | 0.000000e+00 |      --      |    Inf 
751.11/751.13	c   723s|470000 |469827 |     0 |   0.0 | 629M|  93 |   - |7454 |9702 |   0 |   0 |   0 | 157 |   0 | 0.000000e+00 |      --      |    Inf 
766.51/766.55	c   738s|480000 |479825 |     0 |   0.0 | 640M|  93 |   - |7454 |9702 |   0 |   0 |   0 | 158 |   0 | 0.000000e+00 |      --      |    Inf 
781.82/781.88	c   753s|490000 |489825 |     0 |   0.0 | 651M|  93 |   - |7454 |9701 |   0 |   0 |   0 | 158 |   0 | 0.000000e+00 |      --      |    Inf 
797.22/797.24	c   768s|500000 |499825 |     0 |   0.0 | 661M|  93 |   - |7454 |9701 |   0 |   0 |   0 | 158 |   0 | 0.000000e+00 |      --      |    Inf 
816.12/816.12	c   786s|510000 |509823 |     0 |   0.0 | 672M|  93 |   - |7454 |9700 |   0 |   0 |   0 | 159 |   0 | 0.000000e+00 |      --      |    Inf 
831.62/831.61	c   801s|520000 |519821 |     0 |   0.0 | 682M|  93 |   - |7454 |9698 |   0 |   0 |   0 | 160 |   0 | 0.000000e+00 |      --      |    Inf 
847.02/847.01	c   815s|530000 |529821 |     0 |   0.0 | 692M|  93 |   - |7454 |9698 |   0 |   0 |   0 | 160 |   0 | 0.000000e+00 |      --      |    Inf 
862.12/862.14	c   830s|540000 |539821 |     0 |   0.0 | 703M|  93 |   - |7454 |9697 |   0 |   0 |   0 | 160 |   0 | 0.000000e+00 |      --      |    Inf 
877.22/877.23	c   844s|550000 |549821 |     0 |   0.0 | 713M|  93 |   - |7454 |9697 |   0 |   0 |   0 | 160 |   0 | 0.000000e+00 |      --      |    Inf 
892.12/892.14	c   859s|560000 |559821 |     0 |   0.0 | 723M|  93 |   - |7454 |9697 |   0 |   0 |   0 | 160 |   0 | 0.000000e+00 |      --      |    Inf 
907.12/907.18	c   873s|570000 |569815 |     0 |   0.0 | 734M|  95 |   - |7454 |9702 |   0 |   0 |   0 | 165 |   0 | 0.000000e+00 |      --      |    Inf 
922.71/922.71	c   888s|580000 |579809 |     0 |   0.0 | 746M|  95 |   - |7454 |9705 |   0 |   0 |   0 | 169 |   0 | 0.000000e+00 |      --      |    Inf 
938.12/938.18	c   903s|590000 |589807 |     0 |   0.0 | 758M|  95 |   - |7454 |9709 |   0 |   0 |   0 | 174 |   0 | 0.000000e+00 |      --      |    Inf 
953.63/953.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
953.63/953.67	c   918s|600000 |599795 |     0 |   0.0 | 771M|  95 |   - |7454 |9716 |   0 |   0 |   0 | 182 |   0 | 0.000000e+00 |      --      |    Inf 
969.02/969.05	c   932s|610000 |609779 |     0 |   0.0 | 782M|  95 |   - |7454 |9715 |   0 |   0 |   0 | 186 |   0 | 0.000000e+00 |      --      |    Inf 
984.72/984.72	c   947s|620000 |619743 |     0 |   0.0 | 795M|  95 |   - |7454 |9721 |   0 |   0 |   0 | 197 |   0 | 0.000000e+00 |      --      |    Inf 
1001.92/1001.91	c   964s|630000 |629680 |     0 |   0.0 | 806M|  95 |   - |7454 |9725 |   0 |   0 |   0 | 206 |   0 | 0.000000e+00 |      --      |    Inf 
1017.82/1017.83	c   979s|640000 |639664 |     0 |   0.0 | 818M|  95 |   - |7454 |9726 |   0 |   0 |   0 | 209 |   0 | 0.000000e+00 |      --      |    Inf 
1033.72/1033.75	c   994s|650000 |649587 |     0 |   0.0 | 830M|  95 |   - |7454 |9725 |   0 |   0 |   0 | 212 |   0 | 0.000000e+00 |      --      |    Inf 
1050.12/1050.13	c  1009s|660000 |659583 |     0 |   0.0 | 843M|  95 |   - |7454 |9726 |   0 |   0 |   0 | 214 |   0 | 0.000000e+00 |      --      |    Inf 
1066.02/1066.09	c  1024s|670000 |669503 |     0 |   0.0 | 855M|  95 |   - |7454 |9733 |   0 |   0 |   0 | 224 |   0 | 0.000000e+00 |      --      |    Inf 
1082.02/1082.09	c  1040s|680000 |679497 |     0 |   0.0 | 868M|  95 |   - |7454 |9730 |   0 |   0 |   0 | 226 |   0 | 0.000000e+00 |      --      |    Inf 
1098.12/1098.16	c  1055s|690000 |689413 |     0 |   0.0 | 880M|  95 |   - |7454 |9740 |   0 |   0 |   0 | 239 |   0 | 0.000000e+00 |      --      |    Inf 
1114.12/1114.18	c  1070s|700000 |699401 |     0 |   0.0 | 893M|  95 |   - |7454 |9743 |   0 |   0 |   0 | 247 |   0 | 0.000000e+00 |      --      |    Inf 
1130.32/1130.33	c  1085s|710000 |709395 |     0 |   0.0 | 906M|  95 |   - |7454 |9743 |   0 |   0 |   0 | 253 |   0 | 0.000000e+00 |      --      |    Inf 
1146.63/1146.68	c  1101s|720000 |719395 |     0 |   0.0 | 919M|  95 |   - |7454 |9739 |   0 |   0 |   0 | 253 |   0 | 0.000000e+00 |      --      |    Inf 
1162.73/1162.73	c  1116s|730000 |729355 |     0 |   0.0 | 931M|  95 |   - |7454 |9752 |   0 |   0 |   0 | 268 |   0 | 0.000000e+00 |      --      |    Inf 
1178.72/1178.70	c  1131s|740000 |739325 |     0 |   0.0 | 944M|  95 |   - |7454 |9760 |   0 |   0 |   0 | 279 |   0 | 0.000000e+00 |      --      |    Inf 
1194.63/1194.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1194.63/1194.62	c  1146s|750000 |749318 |     0 |   0.0 | 956M|  95 |   - |7454 |9765 |   0 |   0 |   0 | 288 |   0 | 0.000000e+00 |      --      |    Inf 
1210.33/1210.36	c  1161s|760000 |759306 |     0 |   0.0 | 968M|  95 |   - |7454 |9764 |   0 |   0 |   0 | 293 |   0 | 0.000000e+00 |      --      |    Inf 
1226.22/1226.24	c  1176s|770000 |769296 |     0 |   0.0 | 981M|  95 |   - |7454 |9769 |   0 |   0 |   0 | 305 |   0 | 0.000000e+00 |      --      |    Inf 
1242.12/1242.10	c  1191s|780000 |779296 |     0 |   0.0 | 993M|  95 |   - |7454 |9766 |   0 |   0 |   0 | 305 |   0 | 0.000000e+00 |      --      |    Inf 
1258.02/1258.07	c  1206s|790000 |789292 |     0 |   0.0 |1005M|  95 |   - |7454 |9761 |   0 |   0 |   0 | 308 |   0 | 0.000000e+00 |      --      |    Inf 
1273.83/1273.84	c  1221s|800000 |799290 |     0 |   0.0 |1017M|  95 |   - |7454 |9758 |   0 |   0 |   0 | 309 |   0 | 0.000000e+00 |      --      |    Inf 
1289.62/1289.60	c  1236s|810000 |809290 |     0 |   0.0 |1029M|  95 |   - |7454 |9752 |   0 |   0 |   0 | 309 |   0 | 0.000000e+00 |      --      |    Inf 
1305.32/1305.37	c  1251s|820000 |819286 |     0 |   0.0 |1041M|  95 |   - |7454 |9754 |   0 |   0 |   0 | 312 |   0 | 0.000000e+00 |      --      |    Inf 
1321.13/1321.17	c  1266s|830000 |829286 |     0 |   0.0 |1053M|  95 |   - |7454 |9752 |   0 |   0 |   0 | 312 |   0 | 0.000000e+00 |      --      |    Inf 
1336.72/1336.71	c  1281s|840000 |839286 |     0 |   0.0 |1064M|  95 |   - |7454 |9750 |   0 |   0 |   0 | 312 |   0 | 0.000000e+00 |      --      |    Inf 
1352.32/1352.38	c  1296s|850000 |849282 |     0 |   0.0 |1076M|  95 |   - |7454 |9752 |   0 |   0 |   0 | 314 |   0 | 0.000000e+00 |      --      |    Inf 
1368.02/1368.02	c  1311s|860000 |859282 |     0 |   0.0 |1087M|  95 |   - |7454 |9747 |   0 |   0 |   0 | 314 |   0 | 0.000000e+00 |      --      |    Inf 
1383.73/1383.70	c  1326s|870000 |869282 |     0 |   0.0 |1099M|  95 |   - |7454 |9744 |   0 |   0 |   0 | 314 |   0 | 0.000000e+00 |      --      |    Inf 
1399.33/1399.32	c  1340s|880000 |879282 |     0 |   0.0 |1110M|  95 |   - |7454 |9743 |   0 |   0 |   0 | 314 |   0 | 0.000000e+00 |      --      |    Inf 
1414.93/1414.95	c  1355s|890000 |889280 |     0 |   0.0 |1122M|  95 |   - |7454 |9739 |   0 |   0 |   0 | 316 |   0 | 0.000000e+00 |      --      |    Inf 
1430.62/1430.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1430.62/1430.67	c  1370s|900000 |899280 |     0 |   0.0 |1133M|  95 |   - |7454 |9735 |   0 |   0 |   0 | 316 |   0 | 0.000000e+00 |      --      |    Inf 
1446.33/1446.30	c  1385s|910000 |909280 |     0 |   0.0 |1145M|  95 |   - |7454 |9734 |   0 |   0 |   0 | 316 |   0 | 0.000000e+00 |      --      |    Inf 
1462.13/1462.10	c  1400s|920000 |919264 |     0 |   0.0 |1157M|  95 |   - |7454 |9735 |   0 |   0 |   0 | 318 |   0 | 0.000000e+00 |      --      |    Inf 
1477.63/1477.65	c  1415s|930000 |929262 |     0 |   0.0 |1168M|  95 |   - |7454 |9737 |   0 |   0 |   0 | 320 |   0 | 0.000000e+00 |      --      |    Inf 
1493.33/1493.34	c  1430s|940000 |939262 |     0 |   0.0 |1180M|  95 |   - |7454 |9735 |   0 |   0 |   0 | 320 |   0 | 0.000000e+00 |      --      |    Inf 
1508.93/1508.90	c  1444s|950000 |949262 |     0 |   0.0 |1191M|  95 |   - |7454 |9734 |   0 |   0 |   0 | 320 |   0 | 0.000000e+00 |      --      |    Inf 
1524.53/1524.52	c  1459s|960000 |959262 |     0 |   0.0 |1203M|  95 |   - |7454 |9734 |   0 |   0 |   0 | 320 |   0 | 0.000000e+00 |      --      |    Inf 
1539.94/1539.96	c  1474s|970000 |969262 |     0 |   0.0 |1214M|  95 |   - |7454 |9733 |   0 |   0 |   0 | 320 |   0 | 0.000000e+00 |      --      |    Inf 
1555.63/1555.61	c  1489s|980000 |979262 |     0 |   0.0 |1226M|  95 |   - |7454 |9732 |   0 |   0 |   0 | 320 |   0 | 0.000000e+00 |      --      |    Inf 
1571.24/1571.21	c  1504s|990000 |989259 |     0 |   0.0 |1237M|  95 |   - |7454 |9733 |   0 |   0 |   0 | 322 |   0 | 0.000000e+00 |      --      |    Inf 
1586.63/1586.67	c  1518s|  1000k|999251 |     0 |   0.0 |1248M|  95 |   - |7454 |9736 |   0 |   0 |   0 | 329 |   0 | 0.000000e+00 |      --      |    Inf 
1602.44/1602.47	c  1533s|  1010k|  1009k|     0 |   0.0 |1260M|  95 |   - |7454 |9737 |   0 |   0 |   0 | 335 |   0 | 0.000000e+00 |      --      |    Inf 
1618.14/1618.12	c  1548s|  1020k|  1019k|     0 |   0.0 |1271M|  95 |   - |7454 |9740 |   0 |   0 |   0 | 340 |   0 | 0.000000e+00 |      --      |    Inf 
1633.74/1633.76	c  1563s|  1030k|  1029k|     0 |   0.0 |1283M|  95 |   - |7454 |9741 |   0 |   0 |   0 | 342 |   0 | 0.000000e+00 |      --      |    Inf 
1649.34/1649.37	c  1578s|  1040k|  1039k|     0 |   0.0 |1294M|  95 |   - |7454 |9739 |   0 |   0 |   0 | 342 |   0 | 0.000000e+00 |      --      |    Inf 
1665.13/1665.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1665.13/1665.10	c  1593s|  1050k|  1049k|     0 |   0.0 |1306M|  95 |   - |7454 |9738 |   0 |   0 |   0 | 343 |   0 | 0.000000e+00 |      --      |    Inf 
1680.74/1680.72	c  1607s|  1060k|  1059k|     0 |   0.0 |1317M|  95 |   - |7454 |9736 |   0 |   0 |   0 | 343 |   0 | 0.000000e+00 |      --      |    Inf 
1696.34/1696.37	c  1622s|  1070k|  1069k|     0 |   0.0 |1329M|  95 |   - |7454 |9737 |   0 |   0 |   0 | 344 |   0 | 0.000000e+00 |      --      |    Inf 
1711.93/1711.91	c  1637s|  1080k|  1079k|     0 |   0.0 |1340M|  95 |   - |7454 |9738 |   0 |   0 |   0 | 348 |   0 | 0.000000e+00 |      --      |    Inf 
1727.64/1727.60	c  1652s|  1090k|  1089k|     0 |   0.0 |1351M|  95 |   - |7454 |9738 |   0 |   0 |   0 | 350 |   0 | 0.000000e+00 |      --      |    Inf 
1743.24/1743.21	c  1667s|  1100k|  1099k|     0 |   0.0 |1362M|  95 |   - |7454 |9738 |   0 |   0 |   0 | 353 |   0 | 0.000000e+00 |      --      |    Inf 
1758.74/1758.78	c  1682s|  1110k|  1109k|     0 |   0.0 |1373M|  95 |   - |7454 |9737 |   0 |   0 |   0 | 354 |   0 | 0.000000e+00 |      --      |    Inf 
1774.54/1774.54	c  1696s|  1120k|  1119k|     0 |   0.0 |1384M|  95 |   - |7454 |9737 |   0 |   0 |   0 | 355 |   0 | 0.000000e+00 |      --      |    Inf 
1790.04/1790.07	c  1711s|  1130k|  1129k|     0 |   0.0 |1395M|  95 |   - |7454 |9740 |   0 |   0 |   0 | 361 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1720.65
1800.04/1800.00	c Solving Nodes      : 1136316
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.00	s UNKNOWN
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time       :    1720.65
1800.04/1800.00	c Original Problem   :
1800.04/1800.00	c   Problem name     : HOME/instance-2693769-1277916373.wbo
1800.04/1800.00	c   Variables        : 15916 (10376 binary, 0 integer, 0 implicit integer, 5540 continuous)
1800.04/1800.00	c   Constraints      : 22190 initial, 22190 maximal
1800.04/1800.00	c Presolved Problem  :
1800.04/1800.00	c   Problem name     : t_HOME/instance-2693769-1277916373.wbo
1800.04/1800.00	c   Variables        : 7454 (4897 binary, 0 integer, 0 implicit integer, 2557 continuous)
1800.04/1800.00	c   Constraints      : 9666 initial, 9769 maximal
1800.04/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.00	c   trivial          :       0.01         42          0          0          0          0          0          0          0
1800.04/1800.00	c   dualfix          :       0.03       6318          0          0          0          0          0          0          0
1800.04/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   implics          :       0.02          0         36          0          0          0          0          0          0
1800.04/1800.00	c   probing          :       2.94        162         18          0          3          0          0          0          0
1800.04/1800.00	c   indicator        :       0.05          0          0          0          0          0       2983          0          0
1800.04/1800.00	c   varbound         :       0.00          0          0          0          0          0         15          0          0
1800.04/1800.00	c   knapsack         :       0.13          0          0          0          2          0         16        150       1069
1800.04/1800.00	c   setppc           :       0.01          0          0          0          0          0         41          0          0
1800.04/1800.00	c   linear           :       0.42       1383        473          0       4430          0       8814         28         29
1800.04/1800.00	c   logicor          :       0.20         30          0          0          3          0        778          0          0
1800.04/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   indicator        :       2557          0    5508317          0    1135924          0     739663          0          0          0
1800.04/1800.00	c   varbound         :        181          0    5508317          0    1135924          0      25531          0          0          0
1800.04/1800.00	c   knapsack         :        186          0    5508317          0    1135924         35    3104598          0          0          0
1800.04/1800.00	c   setppc           :         82          0    5508282          0    1135924          8     474490          0          0          0
1800.04/1800.00	c   linear           :       2376          0    5508274          0    1135924          0     709825          0          0          0
1800.04/1800.00	c   logicor          :       4284+         0    4933607          0    1135924        409   12608795          0          0          0
1800.04/1800.00	c   countsols        :          0          0          0          0    1135924          0          0          0          0          0
1800.04/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c   indicator        :     380.61       0.00     166.24       0.00     214.37
1800.04/1800.00	c   varbound         :      10.48       0.00      10.39       0.00       0.09
1800.04/1800.00	c   knapsack         :      66.21       0.00      27.09       0.00      39.12
1800.04/1800.00	c   setppc           :      12.15       0.00       4.10       0.00       8.05
1800.04/1800.00	c   linear           :     102.22       0.00     101.77       0.00       0.45
1800.04/1800.00	c   logicor          :     310.63       0.00      37.95       0.00     272.68
1800.04/1800.00	c   countsols        :       0.03       0.00       0.00       0.00       0.03
1800.04/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.00	c   vbounds          :      34.80    1052158          0      31685
1800.04/1800.00	c   rootredcost      :       0.15          0          0          0
1800.04/1800.00	c   pseudoobj        :     311.39    5497150          0          0
1800.04/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.00	c   propagation      :       0.00        392        210        404        7.1         15        5.6          -
1800.04/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.00	c   applied globally :          -          -          -        363        6.6          -          -          -
1800.04/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.00	c Pricers            :       Time      Calls       Vars
1800.04/1800.00	c   problem variables:       0.00          0          0
1800.04/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   inference        :     406.15    1135924          0          0          0          0    2271848
1800.04/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.00	c   LP solutions     :       0.00          -          0
1800.04/1800.00	c   pseudo solutions :       0.00          -          0
1800.04/1800.00	c   oneopt           :       0.03          0          0
1800.04/1800.00	c   trivial          :       0.07          2          0
1800.04/1800.00	c   simplerounding   :       0.00          0          0
1800.04/1800.00	c   zirounding       :       0.00          0          0
1800.04/1800.00	c   rounding         :       0.00          0          0
1800.04/1800.00	c   shifting         :       0.00          0          0
1800.04/1800.00	c   intshifting      :       0.00          0          0
1800.04/1800.00	c   twoopt           :       0.00          0          0
1800.04/1800.00	c   fixandinfer      :       0.00          0          0
1800.04/1800.00	c   feaspump         :       0.00          0          0
1800.04/1800.00	c   coefdiving       :       0.00          0          0
1800.04/1800.00	c   pscostdiving     :       0.00          0          0
1800.04/1800.00	c   fracdiving       :       0.00          0          0
1800.04/1800.00	c   veclendiving     :       0.00          0          0
1800.04/1800.00	c   intdiving        :       0.00          0          0
1800.04/1800.00	c   actconsdiving    :       0.00          0          0
1800.04/1800.00	c   objpscostdiving  :       0.00          0          0
1800.04/1800.00	c   rootsoldiving    :       0.00          0          0
1800.04/1800.00	c   linesearchdiving :       0.00          0          0
1800.04/1800.00	c   guideddiving     :       0.00          0          0
1800.04/1800.00	c   octane           :       0.00          0          0
1800.04/1800.00	c   rens             :       0.00          0          0
1800.04/1800.00	c   rins             :       0.00          0          0
1800.04/1800.00	c   localbranching   :       0.00          0          0
1800.04/1800.00	c   mutation         :       0.00          0          0
1800.04/1800.00	c   crossover        :       0.00          0          0
1800.04/1800.00	c   dins             :       0.00          0          0
1800.04/1800.00	c   undercover       :       0.00          0          0
1800.04/1800.00	c   nlp              :       0.02          0          0
1800.04/1800.00	c   trysol           :       0.03          1          0
1800.04/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.00	c B&B Tree           :
1800.04/1800.00	c   number of runs   :          1
1800.04/1800.00	c   nodes            :    1136316
1800.04/1800.00	c   nodes (total)    :    1136316
1800.04/1800.00	c   nodes left       :    1135527
1800.04/1800.00	c   max depth        :         95
1800.04/1800.00	c   max depth (total):         95
1800.04/1800.00	c   backtracks       :      22869 (2.0%)
1800.04/1800.00	c   delayed cutoffs  :          6
1800.04/1800.00	c   repropagations   :       1159 (4862 domain reductions, 0 cutoffs)
1800.04/1800.00	c   avg switch length:       2.60
1800.04/1800.00	c   switching time   :      64.45
1800.04/1800.00	c Solution           :
1800.04/1800.00	c   Solutions found  :          0 (0 improvements)
1800.04/1800.00	c   Primal Bound     :          -
1800.04/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.00	c   Gap              :   infinite
1800.04/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.00	c   Root Iterations  :          0
1801.74/1801.75	c Time complete: 1801.79.

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.79 2.55 2.23 3/178 11309
/proc/meminfo: memFree=31471852/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=8304 CPUtime=0
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 132934842 8503296 1475 4089446400 4194304 7136930 140734655281856 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11309/statm: 2076 1475 275 719 0 1355 0

[startup+0.046092 s]
/proc/loadavg: 2.79 2.55 2.23 3/178 11309
/proc/meminfo: memFree=31471852/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=17520 CPUtime=0.04
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 3886 0 0 0 4 0 0 0 25 0 1 0 132934842 17940480 3808 4089446400 4194304 7136930 140734655281856 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11309/statm: 4380 3808 275 719 0 3659 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17520

[startup+0.101077 s]
/proc/loadavg: 2.79 2.55 2.23 3/178 11309
/proc/meminfo: memFree=31471852/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=26904 CPUtime=0.09
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 5969 0 0 0 9 0 0 0 25 0 1 0 132934842 27549696 5891 4089446400 4194304 7136930 140734655281856 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11309/statm: 6726 5930 275 719 0 6005 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26904

[startup+0.301041 s]
/proc/loadavg: 2.79 2.55 2.23 3/178 11309
/proc/meminfo: memFree=31471852/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=73980 CPUtime=0.29
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 17914 0 0 0 27 2 0 0 25 0 1 0 132934842 75755520 17419 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 18495 17419 349 719 0 17774 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73980

[startup+0.700978 s]
/proc/loadavg: 2.79 2.55 2.23 3/178 11309
/proc/meminfo: memFree=31471852/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=85236 CPUtime=0.69
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 25348 0 0 0 64 5 0 0 25 0 1 0 132934842 87281664 20227 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 21309 20227 384 719 0 20588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85236

[startup+1.50084 s]
/proc/loadavg: 2.79 2.55 2.23 3/179 11310
/proc/meminfo: memFree=31390632/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=87672 CPUtime=1.49
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 36299 0 0 0 140 9 0 0 25 0 1 0 132934842 89776128 20898 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 21918 20898 394 719 0 21197 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87672

[startup+3.10053 s]
/proc/loadavg: 2.79 2.55 2.23 3/179 11310
/proc/meminfo: memFree=31388152/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=90884 CPUtime=3.09
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 49404 0 0 0 296 13 0 0 25 0 1 0 132934842 93065216 21667 4089446400 4194304 7136930 140734655281856 18446744073709551615 5955531 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 22721 21667 400 719 0 22000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90884

[startup+6.30095 s]
/proc/loadavg: 2.73 2.54 2.23 3/179 11310
/proc/meminfo: memFree=31383320/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=94380 CPUtime=6.29
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 55858 0 0 0 612 17 0 0 25 0 1 0 132934842 96645120 22467 4089446400 4194304 7136930 140734655281856 18446744073709551615 4697135 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 23595 22467 416 719 0 22874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94380

[startup+12.7008 s]
/proc/loadavg: 2.67 2.53 2.23 3/179 11310
/proc/meminfo: memFree=31375696/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=101464 CPUtime=12.69
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 57633 0 0 0 1244 25 0 0 25 0 1 0 132934842 103899136 24242 4089446400 4194304 7136930 140734655281856 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 25366 24242 416 719 0 24645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101464

[startup+25.5005 s]
/proc/loadavg: 2.52 2.50 2.23 3/179 11310
/proc/meminfo: memFree=31360424/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=116188 CPUtime=25.5
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 61307 0 0 0 2502 48 0 0 25 0 1 0 132934842 118976512 27916 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 29047 27916 416 719 0 28326 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 116188

[startup+51.1008 s]
/proc/loadavg: 2.34 2.46 2.22 3/179 11311
/proc/meminfo: memFree=31328404/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=144624 CPUtime=51.09
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 68398 0 0 0 5022 87 0 0 25 0 1 0 132934842 148094976 35007 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 36156 35007 416 719 0 35435 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 144624

[startup+102.306 s]
/proc/loadavg: 2.15 2.39 2.20 3/179 11312
/proc/meminfo: memFree=31265856/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=201492 CPUtime=102.3
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 82521 0 0 0 10061 169 0 0 25 0 1 0 132934842 206327808 49130 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11309/statm: 50373 49130 416 719 0 49652 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 201492

[startup+162.301 s]
/proc/loadavg: 2.07 2.32 2.19 5/197 11536
/proc/meminfo: memFree=31520504/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=259964 CPUtime=162.29
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 96689 0 0 0 15915 314 0 0 25 0 1 0 132934842 266203136 63298 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 64991 63298 416 719 0 64270 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 259964

[startup+222.301 s]
/proc/loadavg: 2.02 2.26 2.17 3/197 11538
/proc/meminfo: memFree=31358972/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=306648 CPUtime=222.3
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 108400 0 0 0 21647 583 0 0 25 0 1 0 132934842 314007552 75009 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 76662 75009 416 719 0 75941 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 306648

[startup+282.301 s]
/proc/loadavg: 2.01 2.21 2.16 3/197 11539
/proc/meminfo: memFree=31298776/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=358092 CPUtime=282.3
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 121402 0 0 0 27389 841 0 0 25 0 1 0 132934842 366686208 88011 4089446400 4194304 7136930 140734655281856 18446744073709551615 5957708 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 89523 88011 416 719 0 88802 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 358092

[startup+342.301 s]
/proc/loadavg: 2.00 2.17 2.15 3/197 11540
/proc/meminfo: memFree=31247764/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=406656 CPUtime=342.3
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 132490 0 0 0 33123 1107 0 0 25 0 1 0 132934842 416415744 99099 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 101664 99099 416 719 0 100943 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 406656

[startup+402.301 s]
/proc/loadavg: 2.00 2.13 2.14 3/197 11542
/proc/meminfo: memFree=31190804/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=458260 CPUtime=402.3
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 145437 0 0 0 38915 1315 0 0 25 0 1 0 132934842 469258240 112046 4089446400 4194304 7136930 140734655281856 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 114565 112046 416 719 0 113844 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 458260

[startup+462.301 s]
/proc/loadavg: 2.00 2.11 2.13 3/197 11544
/proc/meminfo: memFree=31138688/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=503196 CPUtime=462.31
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 156653 0 0 0 44681 1550 0 0 25 0 1 0 132934842 515272704 123262 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 125799 123262 416 719 0 125078 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 503196

[startup+522.301 s]
/proc/loadavg: 2.37 2.17 2.14 3/197 11546
/proc/meminfo: memFree=31089308/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=546568 CPUtime=522.31
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 167655 0 0 0 50439 1792 0 0 25 0 1 0 132934842 559685632 134264 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 136642 134264 416 719 0 135921 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 546568

[startup+582.301 s]
/proc/loadavg: 2.34 2.19 2.15 3/197 11547
/proc/meminfo: memFree=31026156/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=600480 CPUtime=582.31
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 181244 0 0 0 56177 2054 0 0 25 0 1 0 132934842 614891520 147853 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 150120 147853 416 719 0 149399 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 600480

[startup+642.3 s]
/proc/loadavg: 2.12 2.16 2.14 3/197 11548
/proc/meminfo: memFree=30977856/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=643272 CPUtime=642.31
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 191959 0 0 0 61913 2318 0 0 25 0 1 0 132934842 658710528 158568 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 160818 158568 416 719 0 160097 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 643272

[startup+702.3 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.07 2.14 2.14 3/179 11818
/proc/meminfo: memFree=30755620/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=949572 CPUtime=1062.32
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 266850 0 0 0 102099 4133 0 0 25 0 1 0 132934842 972361728 233459 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11309/statm: 237393 233459 416 719 0 236672 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 949572

[startup+1122.3 s]
/proc/loadavg: 2.02 2.12 2.13 3/179 11820
/proc/meminfo: memFree=30703000/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=994868 CPUtime=1122.32
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 278367 0 0 0 107780 4452 0 0 25 0 1 0 132934842 1018744832 244976 4089446400 4194304 7136930 140734655281856 18446744073709551615 4697609 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 248717 244976 416 719 0 247996 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 994868

[startup+1182.3 s]
/proc/loadavg: 2.01 2.09 2.12 3/179 11821
/proc/meminfo: memFree=30648404/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1044940 CPUtime=1182.32
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 290889 0 0 0 113460 4772 0 0 25 0 1 0 132934842 1070018560 257498 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 261235 257498 416 719 0 260514 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1044940

[startup+1242.3 s]
/proc/loadavg: 2.00 2.07 2.11 3/179 11822
/proc/meminfo: memFree=30596908/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1089436 CPUtime=1242.33
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 302113 0 0 0 119144 5089 0 0 25 0 1 0 132934842 1115582464 268722 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 272359 268722 416 719 0 271638 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1089436

[startup+1302.3 s]
/proc/loadavg: 2.04 2.07 2.10 3/179 11824
/proc/meminfo: memFree=30546392/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1134396 CPUtime=1302.33
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 313566 0 0 0 124841 5392 0 0 25 0 1 0 132934842 1161621504 280175 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 283599 280175 416 719 0 282878 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1134396

[startup+1362.3 s]
/proc/loadavg: 2.01 2.06 2.09 3/179 11826
/proc/meminfo: memFree=30496112/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1180892 CPUtime=1362.32
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 325072 0 0 0 130541 5691 0 0 25 0 1 0 132934842 1209233408 291681 4089446400 4194304 7136930 140734655281856 18446744073709551615 5005152 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 295223 291681 416 719 0 294502 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1180892

[startup+1422.31 s]
/proc/loadavg: 2.00 2.04 2.08 3/179 11828
/proc/meminfo: memFree=30445716/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1225936 CPUtime=1422.33
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 336505 0 0 0 136238 5995 0 0 25 0 1 0 132934842 1255358464 303114 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 306484 303114 416 719 0 305763 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1225936

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/179 11829
/proc/meminfo: memFree=30391864/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1273812 CPUtime=1482.33
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 348411 0 0 0 141932 6301 0 0 25 0 1 0 132934842 1304383488 315020 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 318453 315020 416 719 0 317732 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1273812

[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.08 3/179 11830
/proc/meminfo: memFree=30344816/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1314972 CPUtime=1542.33
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 358736 0 0 0 147623 6610 0 0 25 0 1 0 132934842 1346531328 325345 4089446400 4194304 7136930 140734655281856 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 328743 325345 416 719 0 328022 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1314972

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.07 3/179 11832
/proc/meminfo: memFree=30295176/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1377236 CPUtime=1602.33
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 370251 0 0 0 153318 6915 0 0 25 0 1 0 132934842 1410289664 336860 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 344309 336860 416 719 0 343588 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1377236

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 11834
/proc/meminfo: memFree=30248628/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1419564 CPUtime=1662.33
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 381055 0 0 0 159010 7223 0 0 25 0 1 0 132934842 1453633536 347664 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 354891 347664 416 719 0 354170 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1419564

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/179 11836
/proc/meminfo: memFree=30205908/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1458396 CPUtime=1722.33
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 390967 0 0 0 164701 7532 0 0 25 0 1 0 132934842 1493397504 357576 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 364599 357576 416 719 0 363878 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1458396

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/179 11837
/proc/meminfo: memFree=30158500/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1499828 CPUtime=1782.34
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 401471 0 0 0 170396 7838 0 0 25 0 1 0 132934842 1535823872 368080 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 374957 368080 416 719 0 374236 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1499828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.05 3/179 11838
/proc/meminfo: memFree=30143852/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1513268 CPUtime=1800.04
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 404942 0 0 0 172078 7926 0 0 25 0 1 0 132934842 1549586432 371551 4089446400 4194304 7136930 140734655281856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11309/statm: 378317 371551 416 719 0 377596 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1513268

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 11839
/proc/meminfo: memFree=30143844/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1513268 CPUtime=1800.64
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 404947 0 0 0 172138 7926 0 0 25 0 1 0 132934842 1549586432 371556 4089446400 4194304 7136930 140734655281856 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11309/statm: 378317 371556 421 719 0 377596 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 1513268

[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 11839
/proc/meminfo: memFree=30143844/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1465144 CPUtime=1801.45
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 404947 0 0 0 172218 7927 0 0 25 0 1 0 132934842 1500307456 359525 4089446400 4194304 7136930 140734655281856 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11309/statm: 366286 359525 421 719 0 365565 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 1465144

[startup+1801.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 11839
/proc/meminfo: memFree=30143844/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=1265008 CPUtime=1801.64
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 404947 0 0 0 172237 7927 0 0 25 0 1 0 132934842 1295368192 309494 4089446400 4194304 7136930 140734655281856 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11309/statm: 316187 309429 421 719 0 315466 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1265008

[startup+1801.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 11839
/proc/meminfo: memFree=30815924/32951124 swapFree=67111528/67111528
[pid=11309] ppid=11307 vsize=761628 CPUtime=1801.74
/proc/11309/stat : 11309 (pbscip.linux.x8) R 11307 11309 10460 0 -1 4202496 404947 0 0 0 172246 7928 0 0 25 0 1 0 132934842 779907072 187174 4089446400 4194304 7136930 140734655281856 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11309/statm: 190150 187174 421 719 0 189429 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 761628

Child status: 0
Real time (s): 1801.75
CPU time (s): 1801.8
CPU user time (s): 1722.49
CPU system time (s): 79.3179
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1513268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1722.49
system time used= 79.3179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404954
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= 1
involuntary context switches= 1964

runsolver used 2.75158 second user time and 5.96209 second system time

The end

Launcher Data 

Begin job on node104 at 2010-06-30 18:46:13
IDJOB=2693769
IDBENCH=79069
IDSOLVER=1206
FILE ID=node104/2693769-1277916373
PBS_JOBID= 11197288
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3041_4-unsat--soft-66-100-0.wbo
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-2693769-1277916373/watcher-2693769-1277916373 -o /tmp/evaluation-result-2693769-1277916373/solver-2693769-1277916373 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693769-1277916373.wbo -t 1800 -m 3800

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

MD5SUM BENCH= f676428e29d52379a445f7afa72f565b
RANDOM SEED=1285807836

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31472380 kB
Buffers:        194548 kB
Cached:         700912 kB
SwapCached:          0 kB
Active:         796108 kB
Inactive:       541136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31472380 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3532 kB
Writeback:           0 kB
AnonPages:      441680 kB
Mapped:          16128 kB
Slab:            77180 kB
PageTables:       6296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   592024 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node104 at 2010-06-30 19:16:15