Trace number 2693963

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 solverOPTIMUM 704.154 704.141

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224451--soft-33-100-0.wbo
MD5SUM5926e2c90dc5b6ba4fb54742b482e07b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.123981
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 constraints64
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 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1261
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-2693963-1277898621.wbo>
0.00/0.00	c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 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, 64 impls, 30 clqs
0.00/0.01	c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01	c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01	c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02	c    (0.0s) probing: 101/231 (43.7%) - 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  4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02	c  64 implications, 30 cliques
0.00/0.02	c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02	c      62 constraints of type <indicator>
0.00/0.02	c      30 constraints of type <setppc>
0.00/0.02	c      62 constraints of type <linear>
0.00/0.02	c       4 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 |     - | 926k|   0 |   - | 293 | 158 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.09/1.16	c   1.1s| 10000 |  6951 |     0 |   0.0 |6724k| 176 |   - | 293 |3460 |   0 |   0 |   0 |8122 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.23	c   3.0s| 20000 | 12123 |     0 |   0.0 |  11M| 176 |   - | 293 |4397 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
5.49/5.56	c   5.3s| 30000 | 17436 |     0 |   0.0 |  16M| 176 |   - | 293 |6899 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
8.49/8.53	c   8.2s| 40000 | 21545 |     0 |   0.0 |  21M| 176 |   - | 293 |8479 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
12.29/12.32	c  11.9s| 50000 | 24206 |     0 |   0.0 |  26M| 176 |   - | 293 |  11k|   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
16.79/16.81	c  16.2s| 60000 | 26217 |     0 |   0.0 |  28M| 176 |   - | 293 |6455 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
18.19/18.29	o 626
18.19/18.29	c *17.7s| 65792 | 29176 |     0 |   0.0 |  30M| 176 |   - | 293 |5811 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 | 6.260000e+02 |    Inf 
18.29/18.38	o 550
18.29/18.38	c *17.8s| 66970 | 30295 |     0 |   0.0 |  30M| 176 |   - | 293 |4615 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 | 5.500000e+02 |    Inf 
18.38/18.44	o 458
18.38/18.44	c *17.8s| 67492 | 30768 |     0 |   0.0 |  30M| 176 |   - | 293 |4005 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
18.99/19.04	c  18.4s| 70000 | 31870 |     0 |   0.0 |  31M| 176 |   - | 293 |4393 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
23.10/23.12	c  22.4s| 80000 | 33595 |     0 |   0.0 |  36M| 176 |   - | 293 |9192 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
27.98/28.07	c  27.2s| 90000 | 35246 |     0 |   0.0 |  41M| 176 |   - | 293 |  13k|   0 |   0 |   0 | 117k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
33.88/34.00	c  33.0s|100000 | 36363 |     0 |   0.0 |  45M| 176 |   - | 293 |  15k|   0 |   0 |   0 | 136k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
40.79/40.86	c  39.8s|110000 | 36896 |     0 |   0.0 |  49M| 176 |   - | 293 |  18k|   0 |   0 |   0 | 154k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
49.09/49.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
49.09/49.19	c  48.0s|120000 | 36669 |     0 |   0.0 |  52M| 176 |   - | 293 |  23k|   0 |   0 |   0 | 173k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
60.18/60.22	c  58.9s|130000 | 35657 |     0 |   0.0 |  50M| 176 |   - | 293 |  18k|   0 |   0 |   0 | 191k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
64.59/64.62	c  63.2s|140000 | 39848 |     0 |   0.0 |  52M| 176 |   - | 293 |8618 |   0 |   0 |   0 | 204k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
69.30/69.35	c  67.8s|150000 | 42411 |     0 |   0.0 |  57M| 176 |   - | 293 |  12k|   0 |   0 |   0 | 220k|   0 | 0.000000e+00 | 4.580000e+02 |    Inf 
71.99/72.08	o 413
71.99/72.08	c *70.5s|155926 | 44662 |     0 |   0.0 |  58M| 176 |   - | 293 |9735 |   0 |   0 |   0 | 227k|   0 | 0.000000e+00 | 4.130000e+02 |    Inf 
72.09/72.15	o 362
72.09/72.15	c *70.6s|156386 | 45074 |     0 |   0.0 |  58M| 176 |   - | 293 |8326 |   0 |   0 |   0 | 227k|   0 | 0.000000e+00 | 3.620000e+02 |    Inf 
72.09/72.15	o 327
72.09/72.15	c *70.6s|156387 | 45073 |     0 |   0.0 |  58M| 176 |   - | 293 |8326 |   0 |   0 |   0 | 227k|   0 | 0.000000e+00 | 3.270000e+02 |    Inf 
72.60/72.62	c  71.0s|160000 | 48174 |     0 |   0.0 |  58M| 176 |   - | 293 |2787 |   0 |   0 |   0 | 228k|   0 | 0.000000e+00 | 3.270000e+02 |    Inf 
73.70/73.75	c  72.1s|170000 | 56472 |     0 |   0.0 |  61M| 176 |   - | 293 |3312 |   0 |   0 |   0 | 231k|   0 | 0.000000e+00 | 3.270000e+02 |    Inf 
74.29/74.36	o 247
74.29/74.36	c *72.7s|175039 | 60557 |     0 |   0.0 |  64M| 176 |   - | 293 |3678 |   0 |   0 |   0 | 233k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
74.99/75.02	c  73.3s|180000 | 64488 |     0 |   0.0 |  66M| 176 |   - | 293 |3969 |   0 |   0 |   0 | 234k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
76.59/76.62	c  74.8s|190000 | 71746 |     0 |   0.0 |  70M| 176 |   - | 293 |4773 |   0 |   0 |   0 | 238k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
83.29/83.37	c  81.5s|200000 | 69477 |     0 |   0.0 |  73M| 176 |   - | 293 |  14k|   0 |   0 |   0 | 261k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
94.79/94.89	c  92.9s|210000 | 66154 |     0 |   0.0 |  74M| 176 |   - | 293 |  22k|   0 |   0 |   0 | 285k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
110.79/110.85	c   109s|220000 | 61247 |     0 |   0.0 |  71M| 176 |   - | 293 |  26k|   0 |   0 |   0 | 309k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
127.79/127.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
127.79/127.81	c   126s|230000 | 57418 |     0 |   0.0 |  62M| 176 |   - | 293 |  17k|   0 |   0 |   0 | 331k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
135.69/135.78	c   133s|240000 | 57865 |     0 |   0.0 |  63M| 176 |   - | 293 |  14k|   0 |   0 |   0 | 350k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
144.29/144.34	c   142s|250000 | 57481 |     0 |   0.0 |  66M| 176 |   - | 293 |  19k|   0 |   0 |   0 | 369k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
155.19/155.23	c   153s|260000 | 56073 |     0 |   0.0 |  67M| 176 |   - | 293 |  22k|   0 |   0 |   0 | 390k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
158.99/159.00	c   156s|270000 | 62748 |     0 |   0.0 |  65M| 176 |   - | 293 |3579 |   0 |   0 |   0 | 395k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
160.39/160.50	c   158s|280000 | 70521 |     0 |   0.0 |  68M| 176 |   - | 293 |3257 |   0 |   0 |   0 | 399k|   0 | 0.000000e+00 | 2.470000e+02 |    Inf 
160.59/160.64	o 232
160.59/160.64	c * 158s|280888 | 71160 |     0 |   0.0 |  69M| 176 |   - | 293 |3412 |   0 |   0 |   0 | 399k|   0 | 0.000000e+00 | 2.320000e+02 |    Inf 
161.98/162.01	c   159s|290000 | 78136 |     0 |   0.0 |  72M| 176 |   - | 293 |3691 |   0 |   0 |   0 | 403k|   0 | 0.000000e+00 | 2.320000e+02 |    Inf 
163.49/163.50	o 184
163.49/163.50	c * 161s|299764 | 85373 |     0 |   0.0 |  76M| 176 |   - | 293 |4174 |   0 |   0 |   0 | 406k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
163.49/163.55	c   161s|300000 | 85521 |     0 |   0.0 |  76M| 176 |   - | 293 |4180 |   0 |   0 |   0 | 407k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
165.00/165.09	c   162s|310000 | 93020 |     0 |   0.0 |  81M| 176 |   - | 293 |4415 |   0 |   0 |   0 | 410k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
166.69/166.79	c   164s|320000 |100236 |     0 |   0.0 |  85M| 176 |   - | 293 |4765 |   0 |   0 |   0 | 414k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
168.49/168.50	c   165s|330000 |107490 |     0 |   0.0 |  89M| 176 |   - | 293 |5039 |   0 |   0 |   0 | 418k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
170.19/170.28	c   167s|340000 |114594 |     0 |   0.0 |  93M| 176 |   - | 293 |5587 |   0 |   0 |   0 | 423k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
171.99/172.09	c   169s|350000 |121629 |     0 |   0.0 |  97M| 176 |   - | 293 |5860 |   0 |   0 |   0 | 427k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
173.89/173.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
173.89/173.97	c   170s|360000 |128631 |     0 |   0.0 | 101M| 176 |   - | 293 |6168 |   0 |   0 |   0 | 431k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
175.79/175.88	c   172s|370000 |135587 |     0 |   0.0 | 106M| 176 |   - | 293 |6246 |   0 |   0 |   0 | 436k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
177.69/177.78	c   174s|380000 |142523 |     0 |   0.0 | 110M| 176 |   - | 293 |6361 |   0 |   0 |   0 | 440k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
179.59/179.67	c   176s|390000 |149477 |     0 |   0.0 | 114M| 176 |   - | 293 |6441 |   0 |   0 |   0 | 444k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
181.49/181.55	c   178s|400000 |156393 |     0 |   0.0 | 118M| 176 |   - | 293 |6784 |   0 |   0 |   0 | 448k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
183.49/183.53	c   180s|410000 |163165 |     0 |   0.0 | 122M| 176 |   - | 293 |6916 |   0 |   0 |   0 | 452k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
185.49/185.55	c   181s|420000 |169823 |     0 |   0.0 | 127M| 176 |   - | 293 |7110 |   0 |   0 |   0 | 457k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
187.59/187.69	c   184s|430000 |176331 |     0 |   0.0 | 131M| 176 |   - | 293 |7228 |   0 |   0 |   0 | 461k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
189.79/189.81	c   186s|440000 |182961 |     0 |   0.0 | 135M| 176 |   - | 293 |7511 |   0 |   0 |   0 | 465k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
192.09/192.14	c   188s|450000 |189085 |     0 |   0.0 | 140M| 176 |   - | 293 |7929 |   0 |   0 |   0 | 470k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
194.60/194.68	c   190s|460000 |194862 |     0 |   0.0 | 144M| 176 |   - | 293 |8264 |   0 |   0 |   0 | 475k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
197.49/197.52	c   193s|470000 |199921 |     0 |   0.0 | 149M| 176 |   - | 293 |9012 |   0 |   0 |   0 | 481k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
199.89/199.96	c   195s|480000 |206085 |     0 |   0.0 | 152M| 176 |   - | 293 |4135 |   0 |   0 |   0 | 486k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
207.29/207.35	c   203s|490000 |201257 |     0 |   0.0 | 141M| 176 |   - | 293 |  11k|   0 |   0 |   0 | 509k|   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
218.80/218.86	c   214s|500000 |196965 |     0 |   0.0 | 141M| 176 |   - | 293 |  19k|   0 |   0 |   0 | 534k|   0 | 1.000000e+00 | 1.840000e+02 |  Large 
233.10/233.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
233.10/233.11	c   228s|510000 |193718 |     0 |   0.0 | 137M| 176 |   - | 293 |  19k|   0 |   0 |   0 | 556k|   0 | 1.000000e+00 | 1.840000e+02 |  Large 
236.09/236.14	c   231s|520000 |201112 |     0 |   0.0 | 136M| 176 |   - | 293 |6336 |   0 |   0 |   0 | 561k|   0 | 1.000000e+00 | 1.840000e+02 |  Large 
238.10/238.14	o 159
238.10/238.14	c * 233s|529214 |206673 |     0 |   0.0 | 138M| 176 |   - | 293 |5472 |   0 |   0 |   0 | 565k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
238.29/238.33	c   233s|530000 |207194 |     0 |   0.0 | 139M| 176 |   - | 293 |5403 |   0 |   0 |   0 | 566k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
240.29/240.36	c   235s|540000 |214386 |     0 |   0.0 | 143M| 176 |   - | 293 |5717 |   0 |   0 |   0 | 570k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
242.39/242.45	c   237s|550000 |221510 |     0 |   0.0 | 147M| 176 |   - | 293 |6090 |   0 |   0 |   0 | 575k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
244.59/244.62	c   239s|560000 |228448 |     0 |   0.0 | 151M| 176 |   - | 293 |6285 |   0 |   0 |   0 | 580k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
246.89/246.94	c   241s|570000 |235198 |     0 |   0.0 | 156M| 176 |   - | 293 |6420 |   0 |   0 |   0 | 585k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
249.19/249.21	c   244s|580000 |242045 |     0 |   0.0 | 160M| 176 |   - | 293 |6833 |   0 |   0 |   0 | 590k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
251.50/251.55	c   246s|590000 |248691 |     0 |   0.0 | 164M| 176 |   - | 293 |7127 |   0 |   0 |   0 | 595k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
254.00/254.03	c   248s|600000 |255165 |     0 |   0.0 | 168M| 176 |   - | 293 |7451 |   0 |   0 |   0 | 601k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
256.49/256.53	c   251s|610000 |261690 |     0 |   0.0 | 173M| 176 |   - | 293 |7869 |   0 |   0 |   0 | 606k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
258.89/258.98	c   253s|620000 |268293 |     0 |   0.0 | 177M| 176 |   - | 293 |8040 |   0 |   0 |   0 | 611k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
261.39/261.47	c   255s|630000 |274907 |     0 |   0.0 | 181M| 176 |   - | 293 |8140 |   0 |   0 |   0 | 616k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
264.09/264.10	c   258s|640000 |281181 |     0 |   0.0 | 186M| 176 |   - | 293 |8194 |   0 |   0 |   0 | 621k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
266.69/266.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
266.69/266.74	c   260s|650000 |287610 |     0 |   0.0 | 190M| 176 |   - | 293 |8143 |   0 |   0 |   0 | 627k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
269.19/269.28	c   263s|660000 |294069 |     0 |   0.0 | 194M| 176 |   - | 293 |8330 |   0 |   0 |   0 | 632k|   0 | 1.000000e+00 | 1.590000e+02 |  Large 
269.50/269.53	o 155
269.50/269.53	c * 263s|660989 |294380 |     0 |   0.0 | 194M| 176 |   - | 293 |8380 |   0 |   0 |   0 | 632k|   0 | 1.000000e+00 | 1.550000e+02 |  Large 
271.99/272.05	c   266s|670000 |299862 |     0 |   0.0 | 198M| 176 |   - | 293 |8705 |   0 |   0 |   0 | 637k|   0 | 1.000000e+00 | 1.550000e+02 |  Large 
274.79/274.83	c   268s|680000 |306044 |     0 |   0.0 | 202M| 176 |   - | 293 |8806 |   0 |   0 |   0 | 643k|   0 | 1.000000e+00 | 1.550000e+02 |  Large 
277.39/277.42	c   271s|690000 |312486 |     0 |   0.0 | 206M| 176 |   - | 293 |8806 |   0 |   0 |   0 | 648k|   0 | 1.000000e+00 | 1.550000e+02 |  Large 
278.20/278.24	o 124
278.20/278.24	c * 272s|692948 |308739 |     0 |   0.0 | 202M| 176 |   - | 293 |9111 |   0 |   0 |   0 | 650k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
280.30/280.34	c   274s|700000 |312854 |     0 |   0.0 | 205M| 176 |   - | 293 |9235 |   0 |   0 |   0 | 654k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
283.29/283.32	c   277s|710000 |318733 |     0 |   0.0 | 209M| 176 |   - | 293 |9334 |   0 |   0 |   0 | 660k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
286.19/286.24	c   279s|720000 |324672 |     0 |   0.0 | 214M| 176 |   - | 293 |9635 |   0 |   0 |   0 | 665k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
289.30/289.36	c   282s|730000 |330227 |     0 |   0.0 | 218M| 176 |   - | 293 |9627 |   0 |   0 |   0 | 672k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
292.39/292.48	c   285s|740000 |335851 |     0 |   0.0 | 223M| 176 |   - | 293 |9837 |   0 |   0 |   0 | 678k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
295.39/295.43	c   288s|750000 |341756 |     0 |   0.0 | 227M| 176 |   - | 293 |9849 |   0 |   0 |   0 | 684k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
298.59/298.66	c   291s|760000 |347108 |     0 |   0.0 | 231M| 176 |   - | 293 |9984 |   0 |   0 |   0 | 690k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
301.89/301.93	c   295s|770000 |352430 |     0 |   0.0 | 236M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 697k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
304.79/304.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
304.79/304.88	c   297s|780000 |358283 |     0 |   0.0 | 240M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 702k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
308.19/308.23	c   301s|790000 |363503 |     0 |   0.0 | 244M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 709k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
311.40/311.45	c   304s|800000 |368841 |     0 |   0.0 | 249M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 715k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
314.50/314.55	c   307s|810000 |374486 |     0 |   0.0 | 253M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 721k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
317.90/317.91	c   310s|820000 |379559 |     0 |   0.0 | 257M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 728k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
320.80/320.89	c   313s|830000 |385276 |     0 |   0.0 | 261M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 733k|   0 | 1.000000e+00 | 1.240000e+02 |  Large 
324.09/324.18	c   316s|840000 |390473 |     0 |   0.0 | 264M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 740k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
327.50/327.54	c   319s|850000 |395323 |     0 |   0.0 | 269M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 747k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
330.49/330.51	c   322s|860000 |400829 |     0 |   0.0 | 275M| 176 |   - | 293 |  11k|   0 |   0 |   0 | 753k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
333.90/333.92	c   326s|870000 |405691 |     0 |   0.0 | 279M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 759k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
337.19/337.25	c   329s|880000 |410533 |     0 |   0.0 | 284M| 176 |   - | 293 |  11k|   0 |   0 |   0 | 766k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
340.50/340.54	c   332s|890000 |415719 |     0 |   0.0 | 289M| 176 |   - | 293 |  11k|   0 |   0 |   0 | 772k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
343.90/343.93	c   335s|900000 |420644 |     0 |   0.0 | 294M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 779k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
344.69/344.79	o 95
344.69/344.79	c * 336s|903028 |409998 |     0 |   0.0 | 283M| 176 |   - | 293 |  11k|   0 |   0 |   0 | 780k|   0 | 2.000000e+00 | 9.500000e+01 |4650.00%
347.60/347.62	c   339s|910000 |412417 |     0 |   0.0 | 285M| 176 |   - | 293 |4155 |   0 |   0 |   0 | 786k|   0 | 2.000000e+00 | 9.500000e+01 |4650.00%
350.59/350.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
350.59/350.62	c   342s|920000 |416267 |     0 |   0.0 | 291M| 176 |   - | 293 |4927 |   0 |   0 |   0 | 794k|   0 | 2.000000e+00 | 9.500000e+01 |4650.00%
353.79/353.88	c   345s|930000 |419880 |     0 |   0.0 | 296M| 176 |   - | 293 |5710 |   0 |   0 |   0 | 802k|   0 | 2.000000e+00 | 9.500000e+01 |4650.00%
356.49/356.51	o 79
356.49/356.51	c * 347s|937401 |383670 |     0 |   0.0 | 270M| 176 |   - | 293 |6082 |   0 |   0 |   0 | 808k|   0 | 2.000000e+00 | 7.900000e+01 |3850.00%
357.60/357.60	c   349s|940000 |384256 |     0 |   0.0 | 272M| 176 |   - | 293 |6233 |   0 |   0 |   0 | 811k|   0 | 2.000000e+00 | 7.900000e+01 |3850.00%
361.99/362.02	c   353s|950000 |386031 |     0 |   0.0 | 278M| 176 |   - | 293 |6694 |   0 |   0 |   0 | 821k|   0 | 2.000000e+00 | 7.900000e+01 |3850.00%
363.19/363.25	o 63
363.19/363.25	c * 354s|952555 |356438 |     0 |   0.0 | 255M| 176 |   - | 293 |6823 |   0 |   0 |   0 | 823k|   0 | 2.000000e+00 | 6.300000e+01 |3050.00%
367.09/367.14	c   358s|960000 |356197 |     0 |   0.0 | 259M| 176 |   - | 293 |4237 |   0 |   0 |   0 | 832k|   0 | 2.000000e+00 | 6.300000e+01 |3050.00%
372.00/372.03	c   363s|970000 |355562 |     0 |   0.0 | 264M| 176 |   - | 293 |6156 |   0 |   0 |   0 | 844k|   0 | 2.000000e+00 | 6.300000e+01 |3050.00%
377.80/377.86	c   368s|980000 |353655 |     0 |   0.0 | 268M| 176 |   - | 293 |6613 |   0 |   0 |   0 | 856k|   0 | 2.000000e+00 | 6.300000e+01 |3050.00%
384.19/384.25	c   374s|990000 |350592 |     0 |   0.0 | 271M| 176 |   - | 293 |6967 |   0 |   0 |   0 | 869k|   0 | 2.000000e+00 | 6.300000e+01 |3050.00%
388.00/388.00	o 52
388.00/388.00	c * 378s|995165 |289721 |     0 |   0.0 | 220M| 176 |   - | 293 |7099 |   0 |   0 |   0 | 876k|   0 | 2.000000e+00 | 5.200000e+01 |2500.00%
390.59/390.64	c   381s|  1000k|288282 |     0 |   0.0 | 220M| 176 |   - | 293 |3579 |   0 |   0 |   0 | 882k|   0 | 2.000000e+00 | 5.200000e+01 |2500.00%
393.70/393.72	c   384s|  1010k|292996 |     0 |   0.0 | 226M| 176 |   - | 293 |5653 |   0 |   0 |   0 | 894k|   0 | 2.000000e+00 | 5.200000e+01 |2500.00%
398.59/398.60	c   388s|  1020k|294785 |     0 |   0.0 | 231M| 176 |   - | 293 |7561 |   0 |   0 |   0 | 909k|   0 | 2.000000e+00 | 5.200000e+01 |2500.00%
398.79/398.87	o 36
398.79/398.87	c * 389s|  1020k|284875 |     0 |   0.0 | 220M| 176 |   - | 293 |7624 |   0 |   0 |   0 | 910k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
405.80/405.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
405.80/405.85	c   395s|  1030k|284018 |     0 |   0.0 | 225M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 929k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
415.99/416.02	c   406s|  1040k|283854 |     0 |   0.0 | 230M| 176 |   - | 293 |  15k|   0 |   0 |   0 | 949k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
428.69/428.78	c   418s|  1050k|283484 |     0 |   0.0 | 234M| 176 |   - | 293 |  19k|   0 |   0 |   0 | 968k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
444.70/444.74	c   434s|  1060k|282399 |     0 |   0.0 | 239M| 176 |   - | 293 |  23k|   0 |   0 |   0 | 987k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
463.29/463.31	c   452s|  1070k|280508 |     0 |   0.0 | 242M| 176 |   - | 293 |  25k|   0 |   0 |   0 |1007k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
483.69/483.79	c   473s|  1080k|278339 |     0 |   0.0 | 246M| 176 |   - | 293 |  27k|   0 |   0 |   0 |1027k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
505.60/505.61	c   494s|  1090k|275978 |     0 |   0.0 | 250M| 176 |   - | 293 |  31k|   0 |   0 |   0 |1047k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
531.00/531.01	c   520s|  1100k|272736 |     0 |   0.0 | 252M| 176 |   - | 293 |  32k|   0 |   0 |   0 |1067k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
559.00/559.01	c   547s|  1110k|268448 |     0 |   0.0 | 255M| 176 |   - | 293 |  35k|   0 |   0 |   0 |1088k|   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
580.90/580.95	o 29
580.90/580.95	c * 569s|  1117k|261273 |     0 |   0.0 | 253M| 176 |   - | 293 |  37k|   0 |   0 |   0 |1104k|   0 | 2.000000e+00 | 2.900000e+01 |1350.00%
588.60/588.64	c   577s|  1120k|259989 |     0 |   0.0 | 253M| 176 |   - | 293 |  36k|   0 |   0 |   0 |1109k|   0 | 2.000000e+00 | 2.900000e+01 |1350.00%
620.41/620.41	c   609s|  1130k|254610 |     0 |   0.0 | 256M| 176 |   - | 293 |  39k|   0 |   0 |   0 |1130k|   0 | 2.000000e+00 | 2.900000e+01 |1350.00%
634.20/634.27	o 22
634.20/634.27	c * 622s|  1133k|238599 |     0 |   0.0 | 244M| 176 |   - | 293 |  39k|   0 |   0 |   0 |1139k|   0 | 2.000000e+00 | 2.200000e+01 |1000.00%
648.70/648.74	c   637s|  1140k|233516 |     0 |   0.0 | 236M| 176 |   - | 293 |  14k|   0 |   0 |   0 |1155k|   0 | 2.000000e+00 | 2.200000e+01 |1000.00%
667.90/667.92	c   656s|  1150k|223889 |     0 |   0.0 | 237M| 176 |   - | 293 |  22k|   0 |   0 |   0 |1183k|   0 | 2.000000e+00 | 2.200000e+01 |1000.00%
694.11/694.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
694.11/694.18	c   682s|  1160k|211755 |     0 |   0.0 | 235M| 176 |   - | 293 |  25k|   0 |   0 |   0 |1212k|   0 | 2.000000e+00 | 2.200000e+01 |1000.00%
704.01/704.08	o 2
704.01/704.08	c * 691s|  1163k|     0 |     0 |   0.0 |  15M| 176 |   - | 293 |  26k|   0 |   0 |   0 |1221k|   0 | 2.000000e+00 | 2.000000e+00 |   0.00%
704.01/704.09	c 
704.01/704.09	c SCIP Status        : problem is solved [optimal solution found]
704.01/704.09	c Solving Time (sec) : 691.46
704.01/704.09	c Solving Nodes      : 1163455
704.01/704.09	c Primal Bound       : +2.00000000000000e+00 (20 solutions)
704.01/704.09	c Dual Bound         : +2.00000000000000e+00
704.01/704.09	c Gap                : 0.00 %
704.01/704.09	s OPTIMUM FOUND
704.01/704.09	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 
704.01/704.09	v -x147 -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
704.01/704.09	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 
704.01/704.09	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 
704.01/704.09	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 
704.01/704.09	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 
704.01/704.09	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 
704.01/704.09	v -x4 -x3 -x2 -x1 
704.01/704.09	c SCIP Status        : problem is solved [optimal solution found]
704.01/704.09	c Solving Time       :     691.46
704.01/704.09	c Original Problem   :
704.01/704.09	c   Problem name     : HOME/instance-2693963-1277898621.wbo
704.01/704.09	c   Variables        : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
704.01/704.09	c   Constraints      : 166 initial, 166 maximal
704.01/704.09	c Presolved Problem  :
704.01/704.09	c   Problem name     : t_HOME/instance-2693963-1277898621.wbo
704.01/704.09	c   Variables        : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
704.01/704.09	c   Constraints      : 158 initial, 40171 maximal
704.01/704.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
704.01/704.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
704.01/704.09	c   dualfix          :       0.00          4          0          0          0          0          0          0          0
704.01/704.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
704.01/704.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
704.01/704.09	c   implics          :       0.00          0          0          0          0          0          0          0          0
704.01/704.09	c   probing          :       0.01          0          0          0          0          0          0          0          0
704.01/704.09	c   indicator        :       0.00          0          0          0          0          0          2          0          0
704.01/704.09	c   setppc           :       0.00          0          0          0          0          0          0          0          0
704.01/704.09	c   linear           :       0.00          0          0          0         62          0          6          2          0
704.01/704.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
704.01/704.09	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
704.01/704.09	c   root node        :          -          0          -          -          0          -          -          -          -
704.01/704.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
704.01/704.09	c   integral         :          0          0          0          0          0          0          0          0          0          0
704.01/704.09	c   indicator        :         62          0    2637539          0     782307       9043    1449257          0          0          0
704.01/704.09	c   setppc           :         30          0    3146673          0     883634      30861    3175431          0          0          0
704.01/704.09	c   linear           :         62          0    3116093          0     883684     294919   12910958          0          0          0
704.01/704.09	c   logicor          :          4+         0    1459790          0     880448      65616     969563          0          0          0
704.01/704.09	c   bounddisjunction :          0+         0      50155          0          0          1       3232          0          0          0
704.01/704.09	c   countsols        :          0          0          0          0     883703          0          0          0          0          0
704.01/704.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
704.01/704.09	c   integral         :       0.00       0.00       0.00       0.00       0.00
704.01/704.09	c   indicator        :       3.31       0.00       2.08       0.00       1.23
704.01/704.09	c   setppc           :      12.07       0.00       8.71       0.00       3.36
704.01/704.09	c   linear           :      72.61       0.00      72.01       0.00       0.60
704.01/704.09	c   logicor          :     272.91       0.00     272.20       0.00       0.71
704.01/704.09	c   bounddisjunction :       0.07       0.00       0.07       0.00       0.00
704.01/704.09	c   countsols        :       0.16       0.00       0.00       0.00       0.16
704.01/704.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
704.01/704.09	c   vbounds          :       0.74          2          0          0
704.01/704.09	c   rootredcost      :       0.74          0          0          0
704.01/704.09	c   pseudoobj        :      10.92    3175503      19667    1341296
704.01/704.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
704.01/704.09	c   propagation      :      28.17     411060     410993    2111575       28.0     185273       14.6          -
704.01/704.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
704.01/704.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
704.01/704.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
704.01/704.09	c   pseudo solution  :       0.02         89         89        404       31.1         58       15.3          -
704.01/704.09	c   applied globally :          -          -          -    1157618       18.1          -          -          -
704.01/704.09	c   applied locally  :          -          -          -      64136       38.9          -          -          -
704.01/704.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
704.01/704.09	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
704.01/704.09	c   redcost          :       0.00          0          0          0          0          0
704.01/704.09	c   impliedbounds    :       0.00          0          0          0          0          0
704.01/704.09	c   intobj           :       0.00          0          0          0          0          0
704.01/704.09	c   cgmip            :       0.00          0          0          0          0          0
704.01/704.09	c   gomory           :       0.00          0          0          0          0          0
704.01/704.09	c   strongcg         :       0.00          0          0          0          0          0
704.01/704.09	c   cmir             :       0.00          0          0          0          0          0
704.01/704.09	c   flowcover        :       0.00          0          0          0          0          0
704.01/704.09	c   clique           :       0.00          0          0          0          0          0
704.01/704.09	c   zerohalf         :       0.00          0          0          0          0          0
704.01/704.09	c   mcf              :       0.00          0          0          0          0          0
704.01/704.09	c   rapidlearning    :       0.00          0          0          0          0          0
704.01/704.09	c Pricers            :       Time      Calls       Vars
704.01/704.09	c   problem variables:       0.00          0          0
704.01/704.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
704.01/704.09	c   relpscost        :       0.00          0          0          0          0          0          0
704.01/704.09	c   pscost           :       0.00          0          0          0          0          0          0
704.01/704.09	c   inference        :       7.40     883683          0          0          0          0    1767366
704.01/704.09	c   mostinf          :       0.00          0          0          0          0          0          0
704.01/704.09	c   leastinf         :       0.00          0          0          0          0          0          0
704.01/704.09	c   fullstrong       :       0.00          0          0          0          0          0          0
704.01/704.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
704.01/704.09	c   random           :       0.00          0          0          0          0          0          0
704.01/704.09	c Primal Heuristics  :       Time      Calls      Found
704.01/704.09	c   LP solutions     :       0.00          -          0
704.01/704.09	c   pseudo solutions :       0.88          -         20
704.01/704.09	c   oneopt           :       0.40          0          0
704.01/704.09	c   trivial          :       0.00          2          0
704.01/704.09	c   simplerounding   :       0.00          0          0
704.01/704.09	c   zirounding       :       0.00          0          0
704.01/704.09	c   rounding         :       0.00          0          0
704.01/704.09	c   shifting         :       0.00          0          0
704.01/704.09	c   intshifting      :       0.00          0          0
704.01/704.09	c   twoopt           :       0.00          0          0
704.01/704.09	c   fixandinfer      :       0.00          0          0
704.01/704.09	c   feaspump         :       0.00          0          0
704.01/704.09	c   coefdiving       :       0.00          0          0
704.01/704.09	c   pscostdiving     :       0.00          0          0
704.01/704.09	c   fracdiving       :       0.00          0          0
704.01/704.09	c   veclendiving     :       0.00          0          0
704.01/704.09	c   intdiving        :       0.00          0          0
704.01/704.09	c   actconsdiving    :       0.00          0          0
704.01/704.09	c   objpscostdiving  :       0.00          0          0
704.01/704.09	c   rootsoldiving    :       0.00          0          0
704.01/704.09	c   linesearchdiving :       0.00          0          0
704.01/704.09	c   guideddiving     :       0.00          0          0
704.01/704.09	c   octane           :       0.00          0          0
704.01/704.09	c   rens             :       0.00          0          0
704.01/704.09	c   rins             :       0.00          0          0
704.01/704.09	c   localbranching   :       0.00          0          0
704.01/704.09	c   mutation         :       0.00          0          0
704.01/704.09	c   crossover        :       0.00          0          0
704.01/704.09	c   dins             :       0.00          0          0
704.01/704.09	c   undercover       :       0.00          0          0
704.01/704.09	c   nlp              :       0.32          0          0
704.01/704.09	c   trysol           :       0.24          1          0
704.01/704.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
704.01/704.09	c   primal LP        :       0.00          0          0       0.00          -
704.01/704.09	c   dual LP          :       0.00          0          0       0.00          -
704.01/704.09	c   lex dual LP      :       0.00          0          0       0.00          -
704.01/704.09	c   barrier LP       :       0.00          0          0       0.00          -
704.01/704.09	c   diving/probing LP:       0.00          0          0       0.00          -
704.01/704.09	c   strong branching :       0.00          0          0       0.00          -
704.01/704.09	c     (at root node) :          -          0          0       0.00          -
704.01/704.09	c   conflict analysis:       0.00          0          0       0.00          -
704.01/704.09	c B&B Tree           :
704.01/704.09	c   number of runs   :          1
704.01/704.09	c   nodes            :    1163455
704.01/704.09	c   nodes (total)    :    1163455
704.01/704.09	c   nodes left       :          0
704.01/704.09	c   max depth        :        176
704.01/704.09	c   max depth (total):        176
704.01/704.09	c   backtracks       :     311407 (26.8%)
704.01/704.09	c   delayed cutoffs  :     222667
704.01/704.09	c   repropagations   :    1112300 (5534608 domain reductions, 140444 cutoffs)
704.01/704.09	c   avg switch length:      17.48
704.01/704.09	c   switching time   :     218.36
704.01/704.09	c Solution           :
704.01/704.09	c   Solutions found  :         20 (20 improvements)
704.01/704.09	c   First Solution   : +6.26000000000000e+02   (in run 1, after 65792 nodes, 17.67 seconds, depth 123, found by <relaxation>)
704.01/704.09	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 1163455 nodes, 690.93 seconds, depth 72, found by <relaxation>)
704.01/704.09	c   Dual Bound       : +2.00000000000000e+00
704.01/704.09	c   Gap              :       0.00 %
704.01/704.09	c   Root Dual Bound  : +0.00000000000000e+00
704.01/704.09	c   Root Iterations  :          0
704.10/704.14	c Time complete: 704.15.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693963-1277898621/watcher-2693963-1277898621 -o /tmp/evaluation-result-2693963-1277898621/solver-2693963-1277898621 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693963-1277898621.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.01 2.00 2.00 4/196 13694
/proc/meminfo: memFree=31025560/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=8256 CPUtime=0
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 131156714 8454144 1469 4089446400 4194304 7136930 140735063492192 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13694/statm: 2064 1469 275 719 0 1343 0

[startup+0.0965161 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 13694
/proc/meminfo: memFree=31025560/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=12912 CPUtime=0.09
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 4757 0 0 0 8 1 0 0 25 0 1 0 131156714 13221888 2528 4089446400 4194304 7136930 140735063492192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13694/statm: 3228 2528 395 719 0 2507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12912

[startup+0.100528 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 13694
/proc/meminfo: memFree=31025560/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=13088 CPUtime=0.09
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 4773 0 0 0 8 1 0 0 25 0 1 0 131156714 13402112 2544 4089446400 4194304 7136930 140735063492192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13694/statm: 3272 2544 395 719 0 2551 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13088

[startup+0.300482 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 13694
/proc/meminfo: memFree=31025560/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=14816 CPUtime=0.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 5232 0 0 0 27 2 0 0 25 0 1 0 131156714 15171584 3003 4089446400 4194304 7136930 140735063492192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13694/statm: 3704 3003 395 719 0 2983 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14816

[startup+0.700409 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 13694
/proc/meminfo: memFree=31025560/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=18012 CPUtime=0.69
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 6045 0 0 0 65 4 0 0 25 0 1 0 131156714 18444288 3816 4089446400 4194304 7136930 140735063492192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13694/statm: 4503 3816 395 719 0 3782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18012

[startup+1.50027 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 13695
/proc/meminfo: memFree=31010300/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=21784 CPUtime=1.49
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 6976 0 0 0 140 9 0 0 25 0 1 0 131156714 22306816 4747 4089446400 4194304 7136930 140735063492192 18446744073709551615 4409194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 5446 4747 395 719 0 4725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21784

[startup+3.10099 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 13695
/proc/meminfo: memFree=31005828/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=26332 CPUtime=3.09
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 8138 0 0 0 293 16 0 0 25 0 1 0 131156714 26963968 5909 4089446400 4194304 7136930 140735063492192 18446744073709551615 4431718 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 6583 5909 395 719 0 5862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26332

[startup+6.30043 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 13696
/proc/meminfo: memFree=30994264/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=34896 CPUtime=6.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 10275 0 0 0 600 29 0 0 25 0 1 0 131156714 35733504 8046 4089446400 4194304 7136930 140735063492192 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 8724 8046 395 719 0 8003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34896

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13696
/proc/meminfo: memFree=30979952/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=44776 CPUtime=12.69
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 12785 0 0 0 1223 46 0 0 25 0 1 0 131156714 45850624 10556 4089446400 4194304 7136930 140735063492192 18446744073709551615 5953143 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 11194 10556 395 719 0 10473 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44776

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13696
/proc/meminfo: memFree=30960844/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=61552 CPUtime=25.48
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 16975 0 0 0 2469 79 0 0 25 0 1 0 131156714 63029248 14746 4089446400 4194304 7136930 140735063492192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 15388 14746 396 719 0 14667 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61552

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13696
/proc/meminfo: memFree=30933268/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=82892 CPUtime=51.09
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 22234 0 0 0 4989 120 0 0 25 0 1 0 131156714 84881408 20005 4089446400 4194304 7136930 140735063492192 18446744073709551615 4465793 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 20723 20005 396 719 0 20002 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82892

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13698
/proc/meminfo: memFree=30893180/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=111112 CPUtime=102.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 28843 0 0 0 10021 208 0 0 25 0 1 0 131156714 113778688 26614 4089446400 4194304 7136930 140735063492192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 27778 26614 396 719 0 27057 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 111112

[startup+162.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 13700
/proc/meminfo: memFree=30874664/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=115436 CPUtime=162.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 29846 0 0 0 15938 291 0 0 25 0 1 0 131156714 118206464 27617 4089446400 4194304 7136930 140735063492192 18446744073709551615 4573460 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 28859 27617 396 719 0 28138 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 115436

[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 13701
/proc/meminfo: memFree=30774048/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=205960 CPUtime=222.3
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 51899 0 0 0 21740 490 0 0 25 0 1 0 131156714 210903040 49670 4089446400 4194304 7136930 140735063492192 18446744073709551615 4210595 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 51490 49670 398 719 0 50769 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 205960

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 13702
/proc/meminfo: memFree=30701812/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=275140 CPUtime=282.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 69565 0 0 0 27552 677 0 0 25 0 1 0 131156714 281743360 67336 4089446400 4194304 7136930 140735063492192 18446744073709551615 4978919 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 68785 67336 398 719 0 68064 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 275140

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13704
/proc/meminfo: memFree=30611240/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=360920 CPUtime=342.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 91241 0 0 0 33377 852 0 0 25 0 1 0 131156714 369582080 89012 4089446400 4194304 7136930 140735063492192 18446744073709551615 4960424 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 90230 89012 398 719 0 89509 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 360920

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13706
/proc/meminfo: memFree=30594068/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=376644 CPUtime=402.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 95149 0 0 0 39198 1031 0 0 25 0 1 0 131156714 385683456 92920 4089446400 4194304 7136930 140735063492192 18446744073709551615 4221531 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 94161 92920 398 719 0 93440 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 376644

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13708
/proc/meminfo: memFree=30578908/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=382440 CPUtime=462.3
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 96412 0 0 0 45135 1095 0 0 25 0 1 0 131156714 391618560 94183 4089446400 4194304 7136930 140735063492192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 95610 94183 398 719 0 94889 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 382440

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13709
/proc/meminfo: memFree=30573168/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=386792 CPUtime=522.29
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 97516 0 0 0 51094 1135 0 0 25 0 1 0 131156714 396075008 95287 4089446400 4194304 7136930 140735063492192 18446744073709551615 4644701 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 96698 95287 398 719 0 95977 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 386792

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13710
/proc/meminfo: memFree=30566800/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=393476 CPUtime=582.3
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 99091 0 0 0 57061 1169 0 0 25 0 1 0 131156714 402919424 96862 4089446400 4194304 7136930 140735063492192 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 98369 96862 398 719 0 97648 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 393476

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13721
/proc/meminfo: memFree=30560296/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=395060 CPUtime=642.31
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 99528 0 0 0 63027 1204 0 0 25 0 1 0 131156714 404541440 97299 4089446400 4194304 7136930 140735063492192 18446744073709551615 4660016 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 98765 97299 398 719 0 98044 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 395060

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13723
/proc/meminfo: memFree=30559824/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=395060 CPUtime=702.3
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 99528 0 0 0 68968 1262 0 0 25 0 1 0 131156714 404541440 97299 4089446400 4194304 7136930 140735063492192 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 98765 97299 398 719 0 98044 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 395060

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

[startup+703.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13723
/proc/meminfo: memFree=30559824/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=395060 CPUtime=703.1
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 99528 0 0 0 69048 1262 0 0 25 0 1 0 131156714 404541440 97299 4089446400 4194304 7136930 140735063492192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 98765 97299 398 719 0 98044 0
Current children cumulated CPU time (s) 703.1
Current children cumulated vsize (KiB) 395060

[startup+703.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13723
/proc/meminfo: memFree=30559700/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=395060 CPUtime=703.91
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 99528 0 0 0 69128 1263 0 0 25 0 1 0 131156714 404541440 97299 4089446400 4194304 7136930 140735063492192 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13694/statm: 98765 97299 398 719 0 98044 0
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (KiB) 395060

[startup+704.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13723
/proc/meminfo: memFree=30559700/32951124 swapFree=67111528/67111528
[pid=13694] ppid=13692 vsize=372064 CPUtime=704.1
/proc/13694/stat : 13694 (pbscip.linux.x8) R 13692 13694 11728 0 -1 4202496 99533 0 0 0 69147 1263 0 0 25 0 1 0 131156714 380993536 91555 4089446400 4194304 7136930 140735063492192 18446744073709551615 6165624 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13694/statm: 93016 91555 403 719 0 92295 0
Current children cumulated CPU time (s) 704.1
Current children cumulated vsize (KiB) 372064

Child status: 0
Real time (s): 704.141
CPU time (s): 704.154
CPU user time (s): 691.503
CPU system time (s): 12.6511
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 395060

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

runsolver used 1.02384 second user time and 2.19867 second system time

The end

Launcher Data 

Begin job on node144 at 2010-06-30 13:50:21
IDJOB=2693963
IDBENCH=78842
IDSOLVER=1206
FILE ID=node144/2693963-1277898621
PBS_JOBID= 11197066
Free space on /tmp= 74180 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.1111224451--soft-33-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-2693963-1277898621/watcher-2693963-1277898621 -o /tmp/evaluation-result-2693963-1277898621/solver-2693963-1277898621 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693963-1277898621.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 5926e2c90dc5b6ba4fb54742b482e07b
RANDOM SEED=723108997

node144.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.848
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.69
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.848
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.83
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.848
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.848
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.82
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.848
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.75
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.848
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.848
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.848
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	: 5230.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31026212 kB
Buffers:        182740 kB
Cached:        1245312 kB
SwapCached:          0 kB
Active:         857832 kB
Inactive:       923652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31026212 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3204 kB
Writeback:           0 kB
AnonPages:      353420 kB
Mapped:          20044 kB
Slab:            79992 kB
PageTables:       5152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1652144 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= 74176 MiB
End job on node144 at 2010-06-30 14:02:05