Trace number 2693888

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 solverMSAT (TO) 1800.29 1800.25

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo
MD5SUM4d6b693ddbf7ce459649ee1140704478
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark0.175972
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints29
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1556
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1555
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1247
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 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-2693888-1277896516.wbo>
0.00/0.00	c original problem has 227 variables (198 bin, 0 int, 0 impl, 29 cont) and 131 constraints
0.00/0.00	c problem read
0.00/0.00	c presolving settings loaded
0.00/0.00	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.00/0.00	c presolving:
0.00/0.00	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01	c (round 2) 0 del vars, 18 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01	c (round 3) 1 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 37 impls, 48 clqs
0.00/0.01	c (round 4) 2 del vars, 19 del conss, 28 chg bounds, 1 chg sides, 0 chg coeffs, 56 upgd conss, 37 impls, 48 clqs
0.00/0.02	c    (0.0s) probing: 101/197 (51.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02	c presolving (5 rounds):
0.00/0.02	c  2 deleted vars, 19 deleted constraints, 28 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02	c  37 implications, 48 cliques
0.00/0.02	c presolved problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 112 constraints
0.00/0.02	c      28 constraints of type <indicator>
0.00/0.02	c       1 constraints of type <knapsack>
0.00/0.02	c      48 constraints of type <setppc>
0.00/0.02	c      28 constraints of type <linear>
0.00/0.02	c       7 constraints of type <logicor>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1800
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 3420
0.00/0.02	c 
0.00/0.02	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02	c lp/solvefreq = -1
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     2 |     0 |     - | 868k|   0 |   - | 225 | 112 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.29	c   1.1s| 10000 |  7191 |     0 |   0.0 |6486k| 150 |   - | 225 |3380 |   0 |   0 |   0 |6216 |   0 | 0.000000e+00 |      --      |    Inf 
3.30/3.35	c   2.9s| 20000 | 12831 |     0 |   0.0 |  11M| 150 |   - | 225 |4671 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
5.89/5.99	c   5.2s| 30000 | 17804 |     0 |   0.0 |  16M| 150 |   - | 225 |7467 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
9.30/9.36	c   8.3s| 40000 | 22044 |     0 |   0.0 |  20M| 150 |   - | 225 |  10k|   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
13.29/13.37	c  12.0s| 50000 | 25639 |     0 |   0.0 |  25M| 150 |   - | 225 |  13k|   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
18.49/18.56	c  16.9s| 60000 | 27720 |     0 |   0.0 |  30M| 150 |   - | 225 |  17k|   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
22.19/22.25	c  20.2s| 70000 | 33156 |     0 |   0.0 |  30M| 150 |   - | 225 |5804 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
25.60/25.63	c  23.4s| 80000 | 36978 |     0 |   0.0 |  34M| 150 |   - | 225 |8703 |   0 |   0 |   0 |  86k|   0 | 0.000000e+00 |      --      |    Inf 
32.19/32.21	c  29.9s| 90000 | 37086 |     0 |   0.0 |  38M| 150 |   - | 225 |  13k|   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
40.29/40.39	c  37.9s|100000 | 35990 |     0 |   0.0 |  42M| 150 |   - | 225 |  16k|   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
50.10/50.15	c  47.5s|110000 | 34082 |     0 |   0.0 |  44M| 150 |   - | 225 |  20k|   0 |   0 |   0 | 145k|   0 | 0.000000e+00 |      --      |    Inf 
60.29/60.39	c  57.7s|120000 | 32523 |     0 |   0.0 |  46M| 150 |   - | 225 |  23k|   0 |   0 |   0 | 165k|   0 | 0.000000e+00 |      --      |    Inf 
71.19/71.25	c  68.4s|130000 | 31536 |     0 |   0.0 |  48M| 150 |   - | 225 |  28k|   0 |   0 |   0 | 184k|   0 | 0.000000e+00 |      --      |    Inf 
80.30/80.32	c  77.4s|140000 | 35070 |     0 |   0.0 |  45M| 150 |   - | 225 |  11k|   0 |   0 |   0 | 193k|   0 | 0.000000e+00 |      --      |    Inf 
83.10/83.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
83.10/83.20	c  80.1s|150000 | 41590 |     0 |   0.0 |  48M| 150 |   - | 225 |9246 |   0 |   0 |   0 | 201k|   0 | 0.000000e+00 |      --      |    Inf 
86.49/86.55	c  83.4s|160000 | 47178 |     0 |   0.0 |  52M| 150 |   - | 225 |  10k|   0 |   0 |   0 | 209k|   0 | 0.000000e+00 |      --      |    Inf 
90.59/90.69	c  87.4s|170000 | 51827 |     0 |   0.0 |  56M| 150 |   - | 225 |  12k|   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
95.50/95.57	c  92.2s|180000 | 55265 |     0 |   0.0 |  59M| 150 |   - | 225 |  12k|   0 |   0 |   0 | 232k|   0 | 0.000000e+00 |      --      |    Inf 
104.50/104.57	c   101s|190000 | 52864 |     0 |   0.0 |  59M| 150 |   - | 225 |  15k|   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
118.80/118.82	c   115s|200000 | 45770 |     0 |   0.0 |  53M| 150 |   - | 225 |  23k|   0 |   0 |   0 | 277k|   0 | 0.000000e+00 |      --      |    Inf 
133.90/133.92	c   130s|210000 | 43123 |     0 |   0.0 |  46M| 150 |   - | 225 |  19k|   0 |   0 |   0 | 296k|   0 | 0.000000e+00 |      --      |    Inf 
139.60/139.67	c   136s|220000 | 47489 |     0 |   0.0 |  47M| 150 |   - | 225 |  12k|   0 |   0 |   0 | 305k|   0 | 0.000000e+00 |      --      |    Inf 
145.29/145.40	c   141s|230000 | 50867 |     0 |   0.0 |  50M| 150 |   - | 225 |  12k|   0 |   0 |   0 | 315k|   0 | 0.000000e+00 |      --      |    Inf 
151.60/151.64	c   148s|240000 | 53771 |     0 |   0.0 |  54M| 150 |   - | 225 |  14k|   0 |   0 |   0 | 326k|   0 | 0.000000e+00 |      --      |    Inf 
158.79/158.85	c   155s|250000 | 55911 |     0 |   0.0 |  57M| 150 |   - | 225 |  16k|   0 |   0 |   0 | 338k|   0 | 0.000000e+00 |      --      |    Inf 
167.29/167.31	c   163s|260000 | 57211 |     0 |   0.0 |  60M| 150 |   - | 225 |  19k|   0 |   0 |   0 | 351k|   0 | 0.000000e+00 |      --      |    Inf 
178.20/178.23	c   174s|270000 | 57590 |     0 |   0.0 |  62M| 150 |   - | 225 |  22k|   0 |   0 |   0 | 365k|   0 | 0.000000e+00 |      --      |    Inf 
190.09/190.14	c   185s|280000 | 56928 |     0 |   0.0 |  63M| 150 |   - | 225 |  24k|   0 |   0 |   0 | 380k|   0 | 0.000000e+00 |      --      |    Inf 
203.30/203.31	c   198s|290000 | 55862 |     0 |   0.0 |  64M| 150 |   - | 225 |  27k|   0 |   0 |   0 | 397k|   0 | 0.000000e+00 |      --      |    Inf 
219.00/219.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
219.00/219.01	c   214s|300000 | 53348 |     0 |   0.0 |  62M| 150 |   - | 225 |  29k|   0 |   0 |   0 | 415k|   0 | 0.000000e+00 |      --      |    Inf 
231.70/231.73	c   226s|310000 | 52356 |     0 |   0.0 |  59M| 150 |   - | 225 |  16k|   0 |   0 |   0 | 432k|   0 | 1.000000e+00 |      --      |    Inf 
242.79/242.86	c   237s|320000 | 51688 |     0 |   0.0 |  62M| 150 |   - | 225 |  20k|   0 |   0 |   0 | 448k|   0 | 1.000000e+00 |      --      |    Inf 
255.60/255.66	c   249s|330000 | 50675 |     0 |   0.0 |  64M| 150 |   - | 225 |  25k|   0 |   0 |   0 | 464k|   0 | 1.000000e+00 |      --      |    Inf 
271.19/271.22	c   265s|340000 | 48973 |     0 |   0.0 |  67M| 150 |   - | 225 |  31k|   0 |   0 |   0 | 481k|   0 | 1.000000e+00 |      --      |    Inf 
290.69/290.70	c   284s|350000 | 46450 |     0 |   0.0 |  69M| 150 |   - | 225 |  37k|   0 |   0 |   0 | 499k|   0 | 1.000000e+00 |      --      |    Inf 
313.80/313.86	c   306s|360000 | 43288 |     0 |   0.0 |  70M| 150 |   - | 225 |  45k|   0 |   0 |   0 | 517k|   0 | 1.000000e+00 |      --      |    Inf 
340.70/340.79	c   333s|370000 | 39574 |     0 |   0.0 |  70M| 150 |   - | 225 |  50k|   0 |   0 |   0 | 535k|   0 | 1.000000e+00 |      --      |    Inf 
375.99/376.08	c   368s|380000 | 34216 |     0 |   0.0 |  63M| 150 |   - | 225 |  36k|   0 |   0 |   0 | 555k|   0 | 1.000000e+00 |      --      |    Inf 
406.50/406.59	c   398s|390000 | 27470 |     0 |   0.0 |  57M| 150 |   - | 225 |  41k|   0 |   0 |   0 | 578k|   0 | 1.000000e+00 |      --      |    Inf 
441.60/441.68	c   433s|400000 | 19552 |     0 |   0.0 |  48M| 150 |   - | 225 |  50k|   0 |   0 |   0 | 600k|   0 | 1.000000e+00 |      --      |    Inf 
454.00/454.05	c   445s|410000 | 24081 |     0 |   0.0 |  36M| 150 |   - | 225 |  12k|   0 |   0 |   0 | 606k|   0 | 7.000000e+00 |      --      |    Inf 
457.10/457.17	c   448s|420000 | 29996 |     0 |   0.0 |  40M| 150 |   - | 225 |  12k|   0 |   0 |   0 | 611k|   0 | 7.000000e+00 |      --      |    Inf 
459.60/459.69	c   450s|430000 | 37240 |     0 |   0.0 |  43M| 150 |   - | 225 |  10k|   0 |   0 |   0 | 615k|   0 | 7.000000e+00 |      --      |    Inf 
462.10/462.16	c   452s|440000 | 44260 |     0 |   0.0 |  47M| 150 |   - | 225 |  12k|   0 |   0 |   0 | 620k|   0 | 7.000000e+00 |      --      |    Inf 
465.00/465.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
465.00/465.00	c   455s|450000 | 50886 |     0 |   0.0 |  52M| 150 |   - | 225 |  13k|   0 |   0 |   0 | 625k|   0 | 7.000000e+00 |      --      |    Inf 
468.51/468.54	c   458s|460000 | 56813 |     0 |   0.0 |  57M| 150 |   - | 225 |  16k|   0 |   0 |   0 | 630k|   0 | 7.000000e+00 |      --      |    Inf 
473.01/473.01	c   463s|470000 | 61828 |     0 |   0.0 |  61M| 150 |   - | 225 |  18k|   0 |   0 |   0 | 637k|   0 | 7.000000e+00 |      --      |    Inf 
478.70/478.77	c   468s|480000 | 65739 |     0 |   0.0 |  66M| 150 |   - | 225 |  21k|   0 |   0 |   0 | 644k|   0 | 7.000000e+00 |      --      |    Inf 
486.60/486.63	c   476s|490000 | 67844 |     0 |   0.0 |  69M| 150 |   - | 225 |  23k|   0 |   0 |   0 | 653k|   0 | 7.000000e+00 |      --      |    Inf 
492.30/492.38	c   481s|500000 | 73817 |     0 |   0.0 |  73M| 150 |   - | 225 |  22k|   0 |   0 |   0 | 660k|   0 | 7.000000e+00 |      --      |    Inf 
498.10/498.15	c   487s|510000 | 79447 |     0 |   0.0 |  77M| 150 |   - | 225 |  22k|   0 |   0 |   0 | 667k|   0 | 7.000000e+00 |      --      |    Inf 
502.00/502.04	o 153
502.00/502.04	c * 490s|516601 | 82728 |     0 |   0.0 |  79M| 150 |   - | 225 |  21k|   0 |   0 |   0 | 671k|   0 | 7.000000e+00 | 1.530000e+02 |2085.71%
504.10/504.17	c   493s|520000 | 84399 |     0 |   0.0 |  80M| 150 |   - | 225 |  21k|   0 |   0 |   0 | 674k|   0 | 7.000000e+00 | 1.530000e+02 |2085.71%
510.41/510.49	c   499s|530000 | 89184 |     0 |   0.0 |  84M| 150 |   - | 225 |  22k|   0 |   0 |   0 | 682k|   0 | 7.000000e+00 | 1.530000e+02 |2085.71%
516.81/516.80	c   505s|540000 | 93993 |     0 |   0.0 |  88M| 150 |   - | 225 |  23k|   0 |   0 |   0 | 689k|   0 | 7.000000e+00 | 1.530000e+02 |2085.71%
522.30/522.37	o 105
522.30/522.37	c * 510s|548253 | 95935 |     0 |   0.0 |  91M| 150 |   - | 225 |  24k|   0 |   0 |   0 | 695k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
524.10/524.11	c   512s|550000 | 96498 |     0 |   0.0 |  90M| 150 |   - | 225 |  20k|   0 |   0 |   0 | 697k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
529.30/529.30	c   517s|560000 |100271 |     0 |   0.0 |  92M| 150 |   - | 225 |  12k|   0 |   0 |   0 | 706k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
534.41/534.48	c   521s|570000 |103793 |     0 |   0.0 |  97M| 150 |   - | 225 |  15k|   0 |   0 |   0 | 715k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
540.20/540.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
540.20/540.25	c   527s|580000 |107178 |     0 |   0.0 | 101M| 150 |   - | 225 |  17k|   0 |   0 |   0 | 724k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
547.10/547.19	c   534s|590000 |109749 |     0 |   0.0 | 106M| 150 |   - | 225 |  19k|   0 |   0 |   0 | 734k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
554.40/554.46	c   541s|600000 |112320 |     0 |   0.0 | 110M| 150 |   - | 225 |  21k|   0 |   0 |   0 | 743k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
563.11/563.15	c   549s|610000 |113786 |     0 |   0.0 | 113M| 150 |   - | 225 |  22k|   0 |   0 |   0 | 754k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
573.01/573.02	c   558s|620000 |114229 |     0 |   0.0 | 117M| 150 |   - | 225 |  25k|   0 |   0 |   0 | 766k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
585.21/585.21	c   570s|630000 |113102 |     0 |   0.0 | 119M| 150 |   - | 225 |  27k|   0 |   0 |   0 | 779k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
596.50/596.52	c   581s|640000 |113692 |     0 |   0.0 | 119M| 150 |   - | 225 |  21k|   0 |   0 |   0 | 791k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
605.20/605.21	c   590s|650000 |116756 |     0 |   0.0 | 122M| 150 |   - | 225 |  21k|   0 |   0 |   0 | 802k|   0 | 7.000000e+00 | 1.050000e+02 |1400.00%
607.30/607.34	o 79
607.30/607.34	c * 592s|652478 |108587 |     0 |   0.0 | 114M| 150 |   - | 225 |  22k|   0 |   0 |   0 | 805k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
616.71/616.74	c   601s|660000 |109187 |     0 |   0.0 | 117M| 150 |   - | 225 |  24k|   0 |   0 |   0 | 815k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
631.10/631.17	c   615s|670000 |109194 |     0 |   0.0 | 121M| 150 |   - | 225 |  27k|   0 |   0 |   0 | 831k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
647.91/647.92	c   631s|680000 |108493 |     0 |   0.0 | 124M| 150 |   - | 225 |  30k|   0 |   0 |   0 | 846k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
666.41/666.42	c   650s|690000 |107438 |     0 |   0.0 | 127M| 150 |   - | 225 |  33k|   0 |   0 |   0 | 862k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
686.21/686.27	c   669s|700000 |106480 |     0 |   0.0 | 130M| 150 |   - | 225 |  36k|   0 |   0 |   0 | 877k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
709.60/709.62	c   692s|710000 |104499 |     0 |   0.0 | 133M| 150 |   - | 225 |  40k|   0 |   0 |   0 | 893k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
735.30/735.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
735.30/735.38	c   718s|720000 |102124 |     0 |   0.0 | 135M| 150 |   - | 225 |  42k|   0 |   0 |   0 | 909k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
764.52/764.56	c   746s|730000 | 98707 |     0 |   0.0 | 136M| 150 |   - | 225 |  46k|   0 |   0 |   0 | 925k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
797.31/797.35	c   779s|740000 | 94486 |     0 |   0.0 | 137M| 150 |   - | 225 |  51k|   0 |   0 |   0 | 942k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
835.61/835.61	c   817s|750000 | 88495 |     0 |   0.0 | 135M| 150 |   - | 225 |  56k|   0 |   0 |   0 | 960k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
874.91/874.93	c   856s|760000 | 81036 |     0 |   0.0 | 129M| 150 |   - | 225 |  61k|   0 |   0 |   0 | 979k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
911.41/911.40	c   892s|770000 | 78812 |     0 |   0.0 | 128M| 150 |   - | 225 |  54k|   0 |   0 |   0 | 997k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
955.71/955.71	c   936s|780000 | 74779 |     0 |   0.0 | 128M| 150 |   - | 225 |  58k|   0 |   0 |   0 |1016k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
1010.51/1010.57	c   990s|790000 | 67992 |     0 |   0.0 | 124M| 150 |   - | 225 |  63k|   0 |   0 |   0 |1038k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
1070.41/1070.46	c  1050s|800000 | 59753 |     0 |   0.0 | 117M| 150 |   - | 225 |  68k|   0 |   0 |   0 |1059k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
1133.12/1133.12	c  1112s|810000 | 50246 |     0 |   0.0 | 105M| 150 |   - | 225 |  71k|   0 |   0 |   0 |1082k|   0 | 7.000000e+00 | 7.900000e+01 |1028.57%
1195.91/1195.99	c  1174s|820000 | 43838 |     0 |   0.0 |  79M| 150 |   - | 225 |  25k|   0 |   0 |   0 |1102k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1199.32/1199.34	c  1177s|830000 | 51111 |     0 |   0.0 |  81M| 150 |   - | 225 |  16k|   0 |   0 |   0 |1107k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1203.52/1203.51	c  1181s|840000 | 57203 |     0 |   0.0 |  84M| 150 |   - | 225 |  14k|   0 |   0 |   0 |1113k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1207.72/1207.77	c  1185s|850000 | 63070 |     0 |   0.0 |  89M| 150 |   - | 225 |  17k|   0 |   0 |   0 |1120k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1213.62/1213.66	c  1191s|860000 | 67696 |     0 |   0.0 |  94M| 150 |   - | 225 |  20k|   0 |   0 |   0 |1129k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1221.32/1221.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1221.32/1221.34	c  1198s|870000 | 71066 |     0 |   0.0 |  98M| 150 |   - | 225 |  24k|   0 |   0 |   0 |1140k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1231.62/1231.63	c  1208s|880000 | 72369 |     0 |   0.0 | 102M| 150 |   - | 225 |  27k|   0 |   0 |   0 |1151k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1239.62/1239.66	c  1216s|890000 | 77751 |     0 |   0.0 | 105M| 150 |   - | 225 |  23k|   0 |   0 |   0 |1160k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1248.12/1248.14	c  1224s|900000 | 82057 |     0 |   0.0 | 109M| 150 |   - | 225 |  24k|   0 |   0 |   0 |1170k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1258.12/1258.14	c  1234s|910000 | 85384 |     0 |   0.0 | 113M| 150 |   - | 225 |  26k|   0 |   0 |   0 |1180k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1270.22/1270.22	c  1246s|920000 | 87583 |     0 |   0.0 | 117M| 150 |   - | 225 |  29k|   0 |   0 |   0 |1191k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1285.12/1285.15	c  1261s|930000 | 88259 |     0 |   0.0 | 121M| 150 |   - | 225 |  33k|   0 |   0 |   0 |1203k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1303.62/1303.62	c  1279s|940000 | 86938 |     0 |   0.0 | 124M| 150 |   - | 225 |  37k|   0 |   0 |   0 |1218k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1328.02/1328.03	c  1303s|950000 | 82393 |     0 |   0.0 | 124M| 150 |   - | 225 |  43k|   0 |   0 |   0 |1235k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1345.92/1345.96	c  1320s|960000 | 83595 |     0 |   0.0 | 123M| 150 |   - | 225 |  34k|   0 |   0 |   0 |1248k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1365.22/1365.26	c  1339s|970000 | 83844 |     0 |   0.0 | 126M| 150 |   - | 225 |  34k|   0 |   0 |   0 |1262k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1389.23/1389.29	c  1363s|980000 | 82411 |     0 |   0.0 | 129M| 150 |   - | 225 |  39k|   0 |   0 |   0 |1278k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1418.52/1418.55	c  1392s|990000 | 79302 |     0 |   0.0 | 129M| 150 |   - | 225 |  43k|   0 |   0 |   0 |1295k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1453.13/1453.17	c  1426s|  1000k| 73793 |     0 |   0.0 | 127M| 150 |   - | 225 |  50k|   0 |   0 |   0 |1314k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1479.62/1479.61	c  1452s|  1010k| 72502 |     0 |   0.0 | 115M| 150 |   - | 225 |  21k|   0 |   0 |   0 |1327k|   0 | 1.400000e+01 | 7.900000e+01 | 464.29%
1481.62/1481.63	o 63
1481.62/1481.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1481.62/1481.63	c *1454s|  1011k| 60436 |     0 |   0.0 |  99M| 150 |   - | 225 |  18k|   0 |   0 |   0 |1330k|   0 | 1.400000e+01 | 6.300000e+01 | 350.00%
1498.03/1498.03	c  1470s|  1020k| 54884 |     0 |   0.0 |  97M| 150 |   - | 225 |  27k|   0 |   0 |   0 |1349k|   0 | 1.400000e+01 | 6.300000e+01 | 350.00%
1521.72/1521.76	c  1494s|  1030k| 50351 |     0 |   0.0 |  86M| 150 |   - | 225 |  21k|   0 |   0 |   0 |1368k|   0 | 1.400000e+01 | 6.300000e+01 | 350.00%
1530.23/1530.27	c  1502s|  1040k| 54235 |     0 |   0.0 |  88M| 150 |   - | 225 |  19k|   0 |   0 |   0 |1378k|   0 | 1.400000e+01 | 6.300000e+01 | 350.00%
1540.13/1540.19	c  1512s|  1050k| 55494 |     0 |   0.0 |  87M| 150 |   - | 225 |  16k|   0 |   0 |   0 |1391k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1550.52/1550.59	c  1522s|  1060k| 56327 |     0 |   0.0 |  91M| 150 |   - | 225 |  20k|   0 |   0 |   0 |1405k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1564.03/1564.07	c  1535s|  1070k| 56415 |     0 |   0.0 |  94M| 150 |   - | 225 |  26k|   0 |   0 |   0 |1420k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1580.63/1580.65	c  1551s|  1080k| 55335 |     0 |   0.0 |  95M| 150 |   - | 225 |  30k|   0 |   0 |   0 |1436k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1585.93/1585.92	c  1556s|  1090k| 61269 |     0 |   0.0 |  93M| 150 |   - | 225 |7642 |   0 |   0 |   0 |1444k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1592.32/1592.34	c  1562s|  1100k| 61752 |     0 |   0.0 |  95M| 150 |   - | 225 |  10k|   0 |   0 |   0 |1459k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1602.03/1602.09	c  1572s|  1110k| 59072 |     0 |   0.0 |  94M| 150 |   - | 225 |  14k|   0 |   0 |   0 |1477k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1616.43/1616.49	c  1586s|  1120k| 55293 |     0 |   0.0 |  93M| 150 |   - | 225 |  26k|   0 |   0 |   0 |1496k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1621.53/1621.56	c  1591s|  1130k| 61934 |     0 |   0.0 |  92M| 150 |   - | 225 |8905 |   0 |   0 |   0 |1503k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1625.73/1625.80	c  1595s|  1140k| 67003 |     0 |   0.0 |  97M| 150 |   - | 225 |  11k|   0 |   0 |   0 |1512k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1632.53/1632.58	c  1601s|  1150k| 69477 |     0 |   0.0 | 101M| 150 |   - | 225 |  15k|   0 |   0 |   0 |1525k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1638.82/1638.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1638.82/1638.86	c  1607s|  1160k| 73171 |     0 |   0.0 | 102M| 150 |   - | 225 |8229 |   0 |   0 |   0 |1535k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1645.23/1645.25	c  1613s|  1170k| 74299 |     0 |   0.0 | 103M| 150 |   - | 225 |  11k|   0 |   0 |   0 |1549k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1657.33/1657.34	c  1625s|  1180k| 68600 |     0 |   0.0 |  97M| 150 |   - | 225 |  17k|   0 |   0 |   0 |1569k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1663.33/1663.30	c  1631s|  1190k| 73317 |     0 |   0.0 |  98M| 150 |   - | 225 |  13k|   0 |   0 |   0 |1580k|   0 | 1.700000e+01 | 6.300000e+01 | 270.59%
1670.93/1670.96	c  1638s|  1200k| 75926 |     0 |   0.0 | 102M| 150 |   - | 225 |  16k|   0 |   0 |   0 |1593k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1680.43/1680.49	c  1647s|  1210k| 77493 |     0 |   0.0 | 106M| 150 |   - | 225 |  21k|   0 |   0 |   0 |1607k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1692.63/1692.60	c  1659s|  1220k| 77898 |     0 |   0.0 | 110M| 150 |   - | 225 |  25k|   0 |   0 |   0 |1623k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1707.43/1707.42	c  1674s|  1230k| 77115 |     0 |   0.0 | 114M| 150 |   - | 225 |  31k|   0 |   0 |   0 |1640k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1726.23/1726.25	c  1692s|  1240k| 74634 |     0 |   0.0 | 114M| 150 |   - | 225 |  36k|   0 |   0 |   0 |1658k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1735.23/1735.29	c  1701s|  1250k| 79780 |     0 |   0.0 | 112M| 150 |   - | 225 |  13k|   0 |   0 |   0 |1667k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1742.93/1742.91	c  1708s|  1260k| 82393 |     0 |   0.0 | 116M| 150 |   - | 225 |  16k|   0 |   0 |   0 |1681k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1753.03/1753.02	c  1718s|  1270k| 83064 |     0 |   0.0 | 118M| 150 |   - | 225 |  18k|   0 |   0 |   0 |1697k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1764.23/1764.27	c  1729s|  1280k| 83119 |     0 |   0.0 | 120M| 150 |   - | 225 |  20k|   0 |   0 |   0 |1714k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1778.83/1778.85	c  1743s|  1290k| 82579 |     0 |   0.0 | 124M| 150 |   - | 225 |  26k|   0 |   0 |   0 |1732k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1799.43/1799.44	c  1764s|  1300k| 79777 |     0 |   0.0 | 125M| 150 |   - | 225 |  33k|   0 |   0 |   0 |1752k|   0 | 1.900000e+01 | 6.300000e+01 | 231.58%
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1764.16
1800.03/1800.00	c Solving Nodes      : 1300230
1800.03/1800.00	c Primal Bound       : +6.30000000000000e+01 (4 solutions)
1800.03/1800.00	c Dual Bound         : +1.90000000000000e+01
1800.03/1800.00	c Gap                : 231.58 %
1800.03/1800.00	s SATISFIABLE
1800.03/1800.00	v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 
1800.03/1800.00	v -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 
1800.03/1800.00	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 
1800.03/1800.00	v -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 
1800.03/1800.00	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 
1800.03/1800.00	v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 
1800.03/1800.00	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
1800.03/1800.00	v -x4 -x3 -x2 x1 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time       :    1764.16
1800.03/1800.00	c Original Problem   :
1800.03/1800.00	c   Problem name     : HOME/instance-2693888-1277896516.wbo
1800.03/1800.00	c   Variables        : 227 (198 binary, 0 integer, 0 implicit integer, 29 continuous)
1800.03/1800.00	c   Constraints      : 131 initial, 131 maximal
1800.03/1800.00	c Presolved Problem  :
1800.03/1800.00	c   Problem name     : t_HOME/instance-2693888-1277896516.wbo
1800.03/1800.00	c   Variables        : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.03/1800.00	c   Constraints      : 112 initial, 76638 maximal
1800.03/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
1800.03/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.00	c   indicator        :       0.00          0          0          0          0          0          1          0          0
1800.03/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   linear           :       0.00          0          0          0         28          0         18          1          0
1800.03/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   indicator        :         28          0    3638627          0     742116       1492     349730          0          0          0
1800.03/1800.00	c   knapsack         :          1          0    4157658          0     840536      91645   15583445          0          0          0
1800.03/1800.00	c   setppc           :         48          0    4066008          0     840533     451565    5792813          0          0          0
1800.03/1800.00	c   linear           :         28          0    3614441          0     840532      82282    1875729          0          0          0
1800.03/1800.00	c   logicor          :          7+         0    1932526          0     807418      37962     876298          0          0          0
1800.03/1800.00	c   bounddisjunction :          0+         0      18301          0          0          0       2084          0          0          0
1800.03/1800.00	c   countsols        :          0          0          0          0     840536          0          0          0          0          0
1800.03/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.00	c   indicator        :       1.33       0.00       0.72       0.00       0.61
1800.03/1800.00	c   knapsack         :     145.41       0.00     143.52       0.00       1.89
1800.03/1800.00	c   setppc           :      31.39       0.00      27.71       0.00       3.68
1800.03/1800.00	c   linear           :      22.83       0.00      22.58       0.00       0.25
1800.03/1800.00	c   logicor          :     822.21       0.00     821.84       0.00       0.37
1800.03/1800.00	c   bounddisjunction :       0.03       0.00       0.03       0.00       0.00
1800.03/1800.00	c   countsols        :       0.02       0.00       0.00       0.00       0.02
1800.03/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.00	c   vbounds          :       0.14          2          0          0
1800.03/1800.00	c   rootredcost      :       0.17          0          0          0
1800.03/1800.00	c   pseudoobj        :       4.02    4159320        369     254587
1800.03/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.00	c   propagation      :      20.14     663823     663778    3391350       20.1     172682       13.9          -
1800.03/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   pseudo solution  :       0.00         10         10         35       10.9          1        3.0          -
1800.03/1800.00	c   applied globally :          -          -          -    1740431       15.6          -          -          -
1800.03/1800.00	c   applied locally  :          -          -          -      12594       35.8          -          -          -
1800.03/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.00	c Pricers            :       Time      Calls       Vars
1800.03/1800.00	c   problem variables:       0.00          0          0
1800.03/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   inference        :       5.74     840532          0          0          0          0    1681064
1800.03/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.00	c   LP solutions     :       0.00          -          0
1800.03/1800.00	c   pseudo solutions :       0.05          -          4
1800.03/1800.00	c   oneopt           :       0.19          0          0
1800.03/1800.00	c   trivial          :       0.00          2          0
1800.03/1800.00	c   simplerounding   :       0.00          0          0
1800.03/1800.00	c   zirounding       :       0.00          0          0
1800.03/1800.00	c   rounding         :       0.00          0          0
1800.03/1800.00	c   shifting         :       0.00          0          0
1800.03/1800.00	c   intshifting      :       0.00          0          0
1800.03/1800.00	c   twoopt           :       0.00          0          0
1800.03/1800.00	c   fixandinfer      :       0.00          0          0
1800.03/1800.00	c   feaspump         :       0.00          0          0
1800.03/1800.00	c   coefdiving       :       0.00          0          0
1800.03/1800.00	c   pscostdiving     :       0.00          0          0
1800.03/1800.00	c   fracdiving       :       0.00          0          0
1800.03/1800.00	c   veclendiving     :       0.00          0          0
1800.03/1800.00	c   intdiving        :       0.00          0          0
1800.03/1800.00	c   actconsdiving    :       0.00          0          0
1800.03/1800.00	c   objpscostdiving  :       0.00          0          0
1800.03/1800.00	c   rootsoldiving    :       0.00          0          0
1800.03/1800.00	c   linesearchdiving :       0.00          0          0
1800.03/1800.00	c   guideddiving     :       0.00          0          0
1800.03/1800.00	c   octane           :       0.00          0          0
1800.03/1800.00	c   rens             :       0.00          0          0
1800.03/1800.00	c   rins             :       0.00          0          0
1800.03/1800.00	c   localbranching   :       0.00          0          0
1800.03/1800.00	c   mutation         :       0.00          0          0
1800.03/1800.00	c   crossover        :       0.00          0          0
1800.03/1800.00	c   dins             :       0.00          0          0
1800.03/1800.00	c   undercover       :       0.00          0          0
1800.03/1800.00	c   nlp              :       0.17          0          0
1800.03/1800.00	c   trysol           :       0.07          1          0
1800.03/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.00	c B&B Tree           :
1800.03/1800.00	c   number of runs   :          1
1800.03/1800.00	c   nodes            :    1300230
1800.03/1800.00	c   nodes (total)    :    1300230
1800.03/1800.00	c   nodes left       :      79671
1800.03/1800.00	c   max depth        :        150
1800.03/1800.00	c   max depth (total):        150
1800.03/1800.00	c   backtracks       :     480939 (37.0%)
1800.03/1800.00	c   delayed cutoffs  :     278210
1800.03/1800.00	c   repropagations   :    1521620 (6688831 domain reductions, 205631 cutoffs)
1800.03/1800.00	c   avg switch length:      18.19
1800.03/1800.00	c   switching time   :     537.54
1800.03/1800.00	c Solution           :
1800.03/1800.00	c   Solutions found  :          4 (4 improvements)
1800.03/1800.00	c   First Solution   : +1.53000000000000e+02   (in run 1, after 516601 nodes, 490.46 seconds, depth 39, found by <relaxation>)
1800.03/1800.00	c   Primal Bound     : +6.30000000000000e+01   (in run 1, after 1011674 nodes, 1454.27 seconds, depth 51, found by <relaxation>)
1800.03/1800.00	c   Dual Bound       : +1.90000000000000e+01
1800.03/1800.00	c   Gap              :     231.58 %
1800.03/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.00	c   Root Iterations  :          0
1800.23/1800.25	c Time complete: 1800.28.

Verifier Data 

OK	63

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693888-1277896516/watcher-2693888-1277896516 -o /tmp/evaluation-result-2693888-1277896516/solver-2693888-1277896516 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693888-1277896516.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: 1.98 1.97 1.99 3/196 22956
/proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=8144 CPUtime=0
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 1517 0 0 0 0 0 0 0 21 0 1 0 163291073 8339456 1440 4089446400 4194304 7136930 140735027843872 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22956/statm: 2036 1440 275 719 0 1315 0

[startup+0.042494 s]
/proc/loadavg: 1.98 1.97 1.99 3/196 22956
/proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=11988 CPUtime=0.03
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 4799 0 0 0 2 1 0 0 21 0 1 0 163291073 12275712 2313 4089446400 4194304 7136930 140735027843872 18446744073709551615 4854266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22956/statm: 3030 2315 404 719 0 2309 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11988

[startup+0.100448 s]
/proc/loadavg: 1.98 1.97 1.99 3/196 22956
/proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=12656 CPUtime=0.09
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 4942 0 0 0 7 2 0 0 21 0 1 0 163291073 12959744 2456 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22956/statm: 3164 2456 404 719 0 2443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12656

[startup+0.300452 s]
/proc/loadavg: 1.98 1.97 1.99 3/196 22956
/proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=14360 CPUtime=0.29
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 5394 0 0 0 24 5 0 0 21 0 1 0 163291073 14704640 2908 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22956/statm: 3590 2908 404 719 0 2869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14360

[startup+0.700391 s]
/proc/loadavg: 1.98 1.97 1.99 3/196 22956
/proc/meminfo: memFree=31583084/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=17152 CPUtime=0.69
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 6093 0 0 0 56 13 0 0 22 0 1 0 163291073 17563648 3607 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22956/statm: 4288 3607 404 719 0 3567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17152

[startup+1.50025 s]
/proc/loadavg: 1.98 1.97 1.99 7/197 22957
/proc/meminfo: memFree=31568692/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=20640 CPUtime=1.49
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 6989 0 0 0 125 24 0 0 25 0 1 0 163291073 21135360 4503 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22956/statm: 5160 4503 404 719 0 4439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20640

[startup+3.10097 s]
/proc/loadavg: 1.98 1.97 1.99 3/197 22957
/proc/meminfo: memFree=31563732/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=25616 CPUtime=3.09
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 8249 0 0 0 263 46 0 0 25 0 1 0 163291073 26230784 5763 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22956/statm: 6404 5763 404 719 0 5683 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25616

[startup+6.30041 s]
/proc/loadavg: 1.98 1.97 1.99 3/197 22957
/proc/meminfo: memFree=31555552/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=33380 CPUtime=6.29
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 10171 0 0 0 550 79 0 0 25 0 1 0 163291073 34181120 7685 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999707 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22956/statm: 8345 7685 404 719 0 7624 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33380

[startup+12.7003 s]
/proc/loadavg: 1.98 1.97 1.99 4/197 23003
/proc/meminfo: memFree=31546220/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=43360 CPUtime=12.69
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 12709 0 0 0 1141 128 0 0 25 0 1 0 163291073 44400640 10223 4089446400 4194304 7136930 140735027843872 18446744073709551615 4223875 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22956/statm: 10840 10223 404 719 0 10119 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43360

[startup+25.501 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 23032
/proc/meminfo: memFree=31549736/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=57488 CPUtime=25.49
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 16234 0 0 0 2327 222 0 0 25 0 1 0 163291073 58867712 13748 4089446400 4194304 7136930 140735027843872 18446744073709551615 4409098 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22956/statm: 14372 13748 404 719 0 13651 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57488

[startup+51.1005 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23033
/proc/meminfo: memFree=31541068/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=68216 CPUtime=51.1
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 18900 0 0 0 4848 262 0 0 25 0 1 0 163291073 69853184 16414 4089446400 4194304 7136930 140735027843872 18446744073709551615 4854266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22956/statm: 17054 16414 404 719 0 16333 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 68216

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 23034
/proc/meminfo: memFree=31517188/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=91272 CPUtime=102.3
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 24673 0 0 0 9883 347 0 0 25 0 1 0 163291073 93462528 22187 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22956/statm: 22818 22187 404 719 0 22097 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91272

[startup+162.301 s]
/proc/loadavg: 1.96 1.96 1.98 4/200 23101
/proc/meminfo: memFree=31316368/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=93916 CPUtime=162.29
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 25248 0 0 0 15804 425 0 0 25 0 1 0 163291073 96169984 22762 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22956/statm: 23479 22762 404 719 0 22758 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 93916

[startup+222.3 s]
/proc/loadavg: 2.01 1.97 1.99 3/197 23149
/proc/meminfo: memFree=31324148/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=98064 CPUtime=222.29
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 26287 0 0 0 21676 553 0 0 25 0 1 0 163291073 100417536 23801 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 24516 23801 404 719 0 23795 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 98064

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.99 3/197 23151
/proc/meminfo: memFree=31309328/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=103424 CPUtime=282.29
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 27511 0 0 0 27543 686 0 0 25 0 1 0 163291073 105906176 25025 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 25856 25025 404 719 0 25135 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 103424

[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/197 23153
/proc/meminfo: memFree=31299744/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=110324 CPUtime=342.3
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 29134 0 0 0 33455 775 0 0 25 0 1 0 163291073 112971776 26648 4089446400 4194304 7136930 140735027843872 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 27581 26648 404 719 0 26860 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 110324

[startup+402.301 s]
/proc/loadavg: 2.04 1.99 1.99 3/197 23154
/proc/meminfo: memFree=31287912/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=112464 CPUtime=402.3
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 29504 0 0 0 39391 839 0 0 25 0 1 0 163291073 115163136 27018 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 28116 27018 404 719 0 27395 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 112464

[startup+462.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/197 23155
/proc/meminfo: memFree=31281304/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=113412 CPUtime=462.3
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 29688 0 0 0 45258 972 0 0 25 0 1 0 163291073 116133888 27202 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 28353 27202 404 719 0 27632 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 113412

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23157
/proc/meminfo: memFree=31257644/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=137540 CPUtime=522.3
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 35391 0 0 0 50993 1237 0 0 25 0 1 0 163291073 140840960 32905 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 34385 32905 405 719 0 33664 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 137540

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23159
/proc/meminfo: memFree=31212588/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=166720 CPUtime=582.3
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 42692 0 0 0 56747 1483 0 0 25 0 1 0 163291073 170721280 40206 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 41680 40206 405 719 0 40959 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 166720

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23161
/proc/meminfo: memFree=31195188/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=175256 CPUtime=642.3
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 44795 0 0 0 62594 1636 0 0 25 0 1 0 163291073 179462144 42309 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 43814 42309 405 719 0 43093 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 175256

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23167
/proc/meminfo: memFree=31132252/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=191976 CPUtime=882.31
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 48928 0 0 0 86285 1946 0 0 25 0 1 0 163291073 196583424 46442 4089446400 4194304 7136930 140735027843872 18446744073709551615 5126149 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 47994 46442 405 719 0 47273 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 191976

[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23169
/proc/meminfo: memFree=31121424/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=191976 CPUtime=942.31
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 48985 0 0 0 92234 1997 0 0 25 0 1 0 163291073 196583424 46499 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 47994 46499 405 719 0 47273 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 191976

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23170
/proc/meminfo: memFree=31120504/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=193564 CPUtime=1002.31
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 49196 0 0 0 98195 2036 0 0 25 0 1 0 163291073 198209536 46710 4089446400 4194304 7136930 140735027843872 18446744073709551615 4223007 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 48391 46710 405 719 0 47670 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 193564

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23171
/proc/meminfo: memFree=31118600/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=195948 CPUtime=1062.32
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 49640 0 0 0 104150 2082 0 0 25 0 1 0 163291073 200650752 47154 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 48987 47154 405 719 0 48266 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 195948

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23173
/proc/meminfo: memFree=31111000/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=197908 CPUtime=1122.32
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50016 0 0 0 110107 2125 0 0 25 0 1 0 163291073 202657792 47530 4089446400 4194304 7136930 140735027843872 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 49477 47530 405 719 0 48756 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 197908

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23175
/proc/meminfo: memFree=31110212/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=198700 CPUtime=1182.32
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50181 0 0 0 116068 2164 0 0 25 0 1 0 163291073 203468800 47695 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 49675 47695 405 719 0 48954 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 198700

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/197 23177
/proc/meminfo: memFree=31099116/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=199252 CPUtime=1242.32
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50349 0 0 0 121878 2354 0 0 25 0 1 0 163291073 204034048 47863 4089446400 4194304 7136930 140735027843872 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 49813 47863 407 719 0 49092 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 199252

[startup+1302.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/197 23178
/proc/meminfo: memFree=31090632/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=199252 CPUtime=1302.33
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50350 0 0 0 127741 2492 0 0 25 0 1 0 163291073 204034048 47864 4089446400 4194304 7136930 140735027843872 18446744073709551615 4219854 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 49813 47864 407 719 0 49092 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 199252

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23179
/proc/meminfo: memFree=31083032/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=199252 CPUtime=1362.32
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50350 0 0 0 133648 2584 0 0 25 0 1 0 163291073 204034048 47864 4089446400 4194304 7136930 140735027843872 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 49813 47864 407 719 0 49092 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 199252

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23181
/proc/meminfo: memFree=31080732/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=201300 CPUtime=1422.33
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50864 0 0 0 139568 2665 0 0 25 0 1 0 163291073 206131200 48378 4089446400 4194304 7136930 140735027843872 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 50325 48378 407 719 0 49604 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 201300

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23183
/proc/meminfo: memFree=31079840/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=201300 CPUtime=1482.33
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50937 0 0 0 145495 2738 0 0 25 0 1 0 163291073 206131200 48451 4089446400 4194304 7136930 140735027843872 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 50325 48451 407 719 0 49604 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 201300

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23187
/proc/meminfo: memFree=31078672/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=201300 CPUtime=1542.32
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50938 0 0 0 151367 2865 0 0 25 0 1 0 163291073 206131200 48452 4089446400 4194304 7136930 140735027843872 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 50325 48452 407 719 0 49604 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 201300

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 23189
/proc/meminfo: memFree=31072248/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=201300 CPUtime=1602.32
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50941 0 0 0 157195 3037 0 0 25 0 1 0 163291073 206131200 48455 4089446400 4194304 7136930 140735027843872 18446744073709551615 4208866 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 50325 48455 407 719 0 49604 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 201300

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 23190
/proc/meminfo: memFree=31068488/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=201300 CPUtime=1662.33
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50942 0 0 0 162976 3257 0 0 25 0 1 0 163291073 206131200 48456 4089446400 4194304 7136930 140735027843872 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 50325 48456 407 719 0 49604 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 201300

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23192
/proc/meminfo: memFree=31068436/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=201300 CPUtime=1722.33
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50942 0 0 0 168827 3406 0 0 25 0 1 0 163291073 206131200 48456 4089446400 4194304 7136930 140735027843872 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 50325 48456 407 719 0 49604 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 201300

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23194
/proc/meminfo: memFree=31067760/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=201460 CPUtime=1782.33
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50977 0 0 0 174672 3561 0 0 25 0 1 0 163291073 206295040 48491 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 50365 48491 407 719 0 49644 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 201460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23194
/proc/meminfo: memFree=31067608/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=201460 CPUtime=1800.03
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50977 0 0 0 176416 3587 0 0 25 0 1 0 163291073 206295040 48491 4089446400 4194304 7136930 140735027843872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/22956/statm: 50365 48491 407 719 0 49644 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 201460

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23194
/proc/meminfo: memFree=31067608/32951124 swapFree=67111528/67111528
[pid=22956] ppid=22954 vsize=199412 CPUtime=1800.23
/proc/22956/stat : 22956 (pbscip.linux.x8) R 22954 22956 21078 0 -1 4202496 50982 0 0 0 176436 3587 0 0 18 0 1 0 163291073 204197888 47984 4089446400 4194304 7136930 140735027843872 18446744073709551615 6166114 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/22956/statm: 49853 47984 412 719 0 49132 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 199412

Child status: 0
Real time (s): 1800.25
CPU time (s): 1800.29
CPU user time (s): 1764.4
CPU system time (s): 35.8895
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 201460

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

runsolver used 3.11053 second user time and 5.85311 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 13:15:16
IDJOB=2693888
IDBENCH=78786
IDSOLVER=1206
FILE ID=node119/2693888-1277896516
PBS_JOBID= 11197116
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334--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-2693888-1277896516/watcher-2693888-1277896516 -o /tmp/evaluation-result-2693888-1277896516/solver-2693888-1277896516 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693888-1277896516.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 4d6b693ddbf7ce459649ee1140704478
RANDOM SEED=1048696094

node119.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.802
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.60
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.802
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	: 5332.75
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.802
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.802
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.802
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.73
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.802
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.75
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.802
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.802
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31583860 kB
Buffers:        180436 kB
Cached:         950592 kB
SwapCached:          0 kB
Active:         603168 kB
Inactive:       622164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31583860 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3864 kB
Writeback:           0 kB
AnonPages:       94152 kB
Mapped:          20260 kB
Slab:            78596 kB
PageTables:       4784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1643056 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= 74208 MiB
End job on node119 at 2010-06-30 13:45:18