Trace number 2693947

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 917.997 917.97

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo
MD5SUMe1995b9ec907174fc65ceec959beef4e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.198969
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 1239
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-2693947-1277898179.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.19/1.28	c   1.0s| 10000 |  6605 |     0 |   0.0 |7057k| 176 |   - | 293 |4150 |   0 |   0 |   0 |8696 |   0 | 0.000000e+00 |      --      |    Inf 
3.40/3.49	c   2.9s| 20000 | 11505 |     0 |   0.0 |  12M| 176 |   - | 293 |6763 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
6.60/6.66	c   5.8s| 30000 | 15157 |     0 |   0.0 |  18M| 176 |   - | 293 |  11k|   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
11.00/11.07	c   9.9s| 40000 | 17370 |     0 |   0.0 |  23M| 176 |   - | 293 |  14k|   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
15.19/15.29	c  13.8s| 50000 | 20746 |     0 |   0.0 |  24M| 176 |   - | 293 |6783 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
16.29/16.40	o 616
16.29/16.40	c *14.8s| 54685 | 23274 |     0 |   0.0 |  26M| 176 |   - | 293 |6002 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 | 6.160000e+02 |    Inf 
16.29/16.40	o 520
16.29/16.40	c *14.8s| 54686 | 23273 |     0 |   0.0 |  26M| 176 |   - | 293 |6002 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 | 5.200000e+02 |    Inf 
16.40/16.48	o 503
16.40/16.48	c *14.8s| 55563 | 24075 |     0 |   0.0 |  26M| 176 |   - | 293 |4850 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 | 5.030000e+02 |    Inf 
17.60/17.66	c  15.9s| 60000 | 25831 |     0 |   0.0 |  28M| 176 |   - | 293 |7463 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 | 5.030000e+02 |    Inf 
22.59/22.69	c  20.6s| 70000 | 27239 |     0 |   0.0 |  34M| 176 |   - | 293 |  16k|   0 |   0 |   0 |  97k|   0 | 0.000000e+00 | 5.030000e+02 |    Inf 
29.99/30.09	c  27.7s| 80000 | 27795 |     0 |   0.0 |  39M| 176 |   - | 293 |  22k|   0 |   0 |   0 | 116k|   0 | 0.000000e+00 | 5.030000e+02 |    Inf 
41.29/41.35	c  38.6s| 90000 | 25185 |     0 |   0.0 |  40M| 176 |   - | 293 |  26k|   0 |   0 |   0 | 139k|   0 | 0.000000e+00 | 5.030000e+02 |    Inf 
50.19/50.28	c  47.2s|100000 | 26508 |     0 |   0.0 |  36M| 176 |   - | 293 |  13k|   0 |   0 |   0 | 154k|   0 | 0.000000e+00 | 5.030000e+02 |    Inf 
54.09/54.19	c  50.8s|110000 | 30987 |     0 |   0.0 |  40M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 168k|   0 | 0.000000e+00 | 5.030000e+02 |    Inf 
58.99/59.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
58.99/59.02	c  55.3s|120000 | 32965 |     0 |   0.0 |  43M| 176 |   - | 293 |  11k|   0 |   0 |   0 | 186k|   0 | 0.000000e+00 | 5.030000e+02 |    Inf 
59.20/59.22	o 462
59.20/59.22	c *55.5s|121841 | 34715 |     0 |   0.0 |  42M| 176 |   - | 293 |7383 |   0 |   0 |   0 | 186k|   0 | 0.000000e+00 | 4.620000e+02 |    Inf 
59.49/59.54	o 406
59.49/59.54	c *55.7s|124260 | 36755 |     0 |   0.0 |  42M| 176 |   - | 293 |3094 |   0 |   0 |   0 | 187k|   0 | 0.000000e+00 | 4.060000e+02 |    Inf 
59.49/59.58	o 365
59.49/59.58	c *55.8s|124591 | 37017 |     0 |   0.0 |  42M| 176 |   - | 293 |2929 |   0 |   0 |   0 | 187k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
60.09/60.19	c  56.2s|130000 | 41418 |     0 |   0.0 |  44M| 176 |   - | 293 |3125 |   0 |   0 |   0 | 189k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
60.69/60.77	o 359
60.69/60.77	c *56.7s|134998 | 45441 |     0 |   0.0 |  47M| 176 |   - | 293 |3625 |   0 |   0 |   0 | 191k|   0 | 0.000000e+00 | 3.590000e+02 |    Inf 
61.39/61.40	c  57.2s|140000 | 49385 |     0 |   0.0 |  49M| 176 |   - | 293 |4022 |   0 |   0 |   0 | 193k|   0 | 0.000000e+00 | 3.590000e+02 |    Inf 
61.70/61.77	o 324
61.70/61.77	c *57.5s|142641 | 51344 |     0 |   0.0 |  50M| 176 |   - | 293 |4292 |   0 |   0 |   0 | 194k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
62.89/62.90	c  58.4s|150000 | 56515 |     0 |   0.0 |  53M| 176 |   - | 293 |5069 |   0 |   0 |   0 | 198k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
68.49/68.56	c  63.7s|160000 | 55693 |     0 |   0.0 |  56M| 176 |   - | 293 |  15k|   0 |   0 |   0 | 220k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
83.10/83.12	c  77.9s|170000 | 50442 |     0 |   0.0 |  54M| 176 |   - | 293 |  26k|   0 |   0 |   0 | 245k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
91.89/91.98	c  86.4s|180000 | 51867 |     0 |   0.0 |  52M| 176 |   - | 293 |  15k|   0 |   0 |   0 | 264k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
99.60/99.65	c  93.7s|190000 | 51768 |     0 |   0.0 |  54M| 176 |   - | 293 |  16k|   0 |   0 |   0 | 285k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
108.80/108.88	c   103s|200000 | 50056 |     0 |   0.0 |  56M| 176 |   - | 293 |  19k|   0 |   0 |   0 | 308k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
117.79/117.90	c   111s|210000 | 50176 |     0 |   0.0 |  56M| 176 |   - | 293 |  18k|   0 |   0 |   0 | 328k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
119.90/119.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
119.90/119.95	c   113s|220000 | 57665 |     0 |   0.0 |  55M| 176 |   - | 293 |4007 |   0 |   0 |   0 | 333k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
121.49/121.54	c   114s|230000 | 65063 |     0 |   0.0 |  59M| 176 |   - | 293 |4300 |   0 |   0 |   0 | 338k|   0 | 0.000000e+00 | 3.240000e+02 |    Inf 
122.29/122.30	o 258
122.29/122.30	c * 115s|234952 | 68673 |     0 |   0.0 |  61M| 176 |   - | 293 |4598 |   0 |   0 |   0 | 340k|   0 | 0.000000e+00 | 2.580000e+02 |    Inf 
123.00/123.09	c   116s|240000 | 72407 |     0 |   0.0 |  63M| 176 |   - | 293 |4678 |   0 |   0 |   0 | 343k|   0 | 0.000000e+00 | 2.580000e+02 |    Inf 
124.59/124.65	c   117s|250000 | 79779 |     0 |   0.0 |  67M| 176 |   - | 293 |4816 |   0 |   0 |   0 | 348k|   0 | 0.000000e+00 | 2.580000e+02 |    Inf 
126.10/126.18	c   118s|260000 | 87091 |     0 |   0.0 |  71M| 176 |   - | 293 |5210 |   0 |   0 |   0 | 352k|   0 | 0.000000e+00 | 2.580000e+02 |    Inf 
127.70/127.76	c   119s|270000 | 94420 |     0 |   0.0 |  75M| 176 |   - | 293 |5790 |   0 |   0 |   0 | 357k|   0 | 0.000000e+00 | 2.580000e+02 |    Inf 
128.70/128.72	o 251
128.70/128.72	c * 120s|275754 | 98508 |     0 |   0.0 |  77M| 176 |   - | 293 |6064 |   0 |   0 |   0 | 360k|   0 | 0.000000e+00 | 2.510000e+02 |    Inf 
129.39/129.43	c   121s|280000 |101546 |     0 |   0.0 |  79M| 176 |   - | 293 |6250 |   0 |   0 |   0 | 362k|   0 | 0.000000e+00 | 2.510000e+02 |    Inf 
131.09/131.13	c   122s|290000 |108668 |     0 |   0.0 |  83M| 176 |   - | 293 |6739 |   0 |   0 |   0 | 367k|   0 | 0.000000e+00 | 2.510000e+02 |    Inf 
132.79/132.83	c   124s|300000 |115839 |     0 |   0.0 |  87M| 176 |   - | 293 |7012 |   0 |   0 |   0 | 371k|   0 | 0.000000e+00 | 2.510000e+02 |    Inf 
134.49/134.59	c   125s|310000 |122945 |     0 |   0.0 |  92M| 176 |   - | 293 |7419 |   0 |   0 |   0 | 376k|   0 | 0.000000e+00 | 2.510000e+02 |    Inf 
135.99/136.08	o 208
135.99/136.08	c * 126s|318552 |128904 |     0 |   0.0 |  95M| 176 |   - | 293 |7679 |   0 |   0 |   0 | 380k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
136.31/136.39	c   127s|320000 |129826 |     0 |   0.0 |  96M| 176 |   - | 293 |7778 |   0 |   0 |   0 | 380k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
138.19/138.26	c   128s|330000 |136728 |     0 |   0.0 | 100M| 176 |   - | 293 |8188 |   0 |   0 |   0 | 385k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
140.10/140.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
140.10/140.19	c   130s|340000 |143532 |     0 |   0.0 | 104M| 176 |   - | 293 |8323 |   0 |   0 |   0 | 390k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
142.09/142.16	c   132s|350000 |150213 |     0 |   0.0 | 108M| 176 |   - | 293 |8424 |   0 |   0 |   0 | 394k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
144.20/144.26	c   133s|360000 |156620 |     0 |   0.0 | 112M| 176 |   - | 293 |8778 |   0 |   0 |   0 | 399k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
146.49/146.50	c   135s|370000 |162795 |     0 |   0.0 | 117M| 176 |   - | 293 |9066 |   0 |   0 |   0 | 404k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
148.70/148.72	c   137s|380000 |168988 |     0 |   0.0 | 121M| 176 |   - | 293 |9451 |   0 |   0 |   0 | 409k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
151.19/151.22	c   140s|390000 |174616 |     0 |   0.0 | 126M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 415k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
153.70/153.70	c   142s|400000 |180722 |     0 |   0.0 | 129M| 176 |   - | 293 |6103 |   0 |   0 |   0 | 423k|   0 | 0.000000e+00 | 2.080000e+02 |    Inf 
159.40/159.49	c   147s|410000 |179155 |     0 |   0.0 | 126M| 176 |   - | 293 |  11k|   0 |   0 |   0 | 445k|   0 | 1.000000e+00 | 2.080000e+02 |  Large 
169.99/170.04	c   157s|420000 |174493 |     0 |   0.0 | 127M| 176 |   - | 293 |  23k|   0 |   0 |   0 | 470k|   0 | 1.000000e+00 | 2.080000e+02 |  Large 
183.10/183.17	c   170s|430000 |172763 |     0 |   0.0 | 120M| 176 |   - | 293 |  14k|   0 |   0 |   0 | 489k|   0 | 1.000000e+00 | 2.080000e+02 |  Large 
185.90/185.91	c   173s|440000 |179102 |     0 |   0.0 | 121M| 176 |   - | 293 |5738 |   0 |   0 |   0 | 495k|   0 | 1.000000e+00 | 2.080000e+02 |  Large 
186.20/186.26	o 207
186.20/186.26	c * 173s|441729 |180263 |     0 |   0.0 | 122M| 176 |   - | 293 |5776 |   0 |   0 |   0 | 496k|   0 | 1.000000e+00 | 2.070000e+02 |  Large 
188.11/188.12	c   175s|450000 |185507 |     0 |   0.0 | 125M| 176 |   - | 293 |5631 |   0 |   0 |   0 | 501k|   0 | 1.000000e+00 | 2.070000e+02 |  Large 
190.09/190.20	c   176s|460000 |192025 |     0 |   0.0 | 129M| 176 |   - | 293 |5401 |   0 |   0 |   0 | 507k|   0 | 1.000000e+00 | 2.070000e+02 |  Large 
192.29/192.37	c   178s|470000 |198234 |     0 |   0.0 | 133M| 176 |   - | 293 |5379 |   0 |   0 |   0 | 513k|   0 | 1.000000e+00 | 2.070000e+02 |  Large 
194.39/194.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
194.39/194.42	c   180s|480000 |204678 |     0 |   0.0 | 136M| 176 |   - | 293 |5419 |   0 |   0 |   0 | 518k|   0 | 1.000000e+00 | 2.070000e+02 |  Large 
196.49/196.50	c   182s|490000 |210978 |     0 |   0.0 | 140M| 176 |   - | 293 |5333 |   0 |   0 |   0 | 524k|   0 | 1.000000e+00 | 2.070000e+02 |  Large 
198.50/198.57	c   184s|500000 |217255 |     0 |   0.0 | 144M| 176 |   - | 293 |5524 |   0 |   0 |   0 | 529k|   0 | 1.000000e+00 | 2.070000e+02 |  Large 
199.39/199.47	o 177
199.39/199.47	c * 184s|503905 |219057 |     0 |   0.0 | 145M| 176 |   - | 293 |5385 |   0 |   0 |   0 | 532k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
200.69/200.71	c   186s|510000 |222969 |     0 |   0.0 | 147M| 176 |   - | 293 |5375 |   0 |   0 |   0 | 535k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
202.90/202.90	c   187s|520000 |229064 |     0 |   0.0 | 151M| 176 |   - | 293 |5536 |   0 |   0 |   0 | 542k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
205.10/205.12	c   189s|530000 |235079 |     0 |   0.0 | 155M| 176 |   - | 293 |5506 |   0 |   0 |   0 | 548k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
207.30/207.36	c   191s|540000 |241005 |     0 |   0.0 | 159M| 176 |   - | 293 |5604 |   0 |   0 |   0 | 554k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
209.39/209.49	c   193s|550000 |247154 |     0 |   0.0 | 163M| 176 |   - | 293 |5689 |   0 |   0 |   0 | 560k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
211.49/211.50	c   195s|560000 |253507 |     0 |   0.0 | 167M| 176 |   - | 293 |5766 |   0 |   0 |   0 | 565k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
213.80/213.86	c   197s|570000 |259196 |     0 |   0.0 | 171M| 176 |   - | 293 |5747 |   0 |   0 |   0 | 572k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
216.00/216.01	c   199s|580000 |265279 |     0 |   0.0 | 175M| 176 |   - | 293 |5961 |   0 |   0 |   0 | 578k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
218.10/218.14	c   201s|590000 |271418 |     0 |   0.0 | 179M| 176 |   - | 293 |6297 |   0 |   0 |   0 | 583k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
220.30/220.39	c   203s|600000 |277324 |     0 |   0.0 | 183M| 176 |   - | 293 |6070 |   0 |   0 |   0 | 590k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
222.60/222.61	c   205s|610000 |283254 |     0 |   0.0 | 187M| 176 |   - | 293 |5757 |   0 |   0 |   0 | 595k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
224.41/224.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
224.41/224.44	c   206s|620000 |290016 |     0 |   0.0 | 191M| 176 |   - | 293 |6395 |   0 |   0 |   0 | 600k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
226.61/226.60	c   208s|630000 |296077 |     0 |   0.0 | 195M| 176 |   - | 293 |6048 |   0 |   0 |   0 | 606k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
228.60/228.60	c   210s|640000 |302531 |     0 |   0.0 | 199M| 176 |   - | 293 |6380 |   0 |   0 |   0 | 611k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
230.50/230.57	c   212s|650000 |308989 |     0 |   0.0 | 203M| 176 |   - | 293 |6400 |   0 |   0 |   0 | 616k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
232.80/232.80	c   214s|660000 |314877 |     0 |   0.0 | 207M| 176 |   - | 293 |6202 |   0 |   0 |   0 | 622k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
234.50/234.59	c   215s|670000 |321707 |     0 |   0.0 | 211M| 176 |   - | 293 |6723 |   0 |   0 |   0 | 626k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
236.89/236.95	c   217s|680000 |327265 |     0 |   0.0 | 214M| 176 |   - | 293 |6324 |   0 |   0 |   0 | 632k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
239.19/239.20	c   219s|690000 |333033 |     0 |   0.0 | 218M| 176 |   - | 293 |6356 |   0 |   0 |   0 | 638k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
241.10/241.12	c   221s|700000 |339567 |     0 |   0.0 | 222M| 176 |   - | 293 |6701 |   0 |   0 |   0 | 642k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
243.40/243.48	c   223s|710000 |345133 |     0 |   0.0 | 225M| 176 |   - | 293 |6534 |   0 |   0 |   0 | 648k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
245.50/245.51	c   225s|720000 |351438 |     0 |   0.0 | 229M| 176 |   - | 293 |7059 |   0 |   0 |   0 | 653k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
247.60/247.69	c   227s|730000 |357440 |     0 |   0.0 | 233M| 176 |   - | 293 |6927 |   0 |   0 |   0 | 659k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
249.80/249.89	c   228s|740000 |363476 |     0 |   0.0 | 237M| 176 |   - | 293 |7069 |   0 |   0 |   0 | 664k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
251.90/251.93	c   230s|750000 |369861 |     0 |   0.0 | 240M| 176 |   - | 293 |7482 |   0 |   0 |   0 | 669k|   0 | 1.000000e+00 | 1.770000e+02 |  Large 
254.10/254.20	c   232s|760000 |375749 |     0 |   0.0 | 244M| 176 |   - | 293 |7478 |   0 |   0 |   0 | 674k|   0 | 2.000000e+00 | 1.770000e+02 |8750.00%
256.20/256.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
256.20/256.26	c   234s|770000 |382110 |     0 |   0.0 | 249M| 176 |   - | 293 |8071 |   0 |   0 |   0 | 679k|   0 | 2.000000e+00 | 1.770000e+02 |8750.00%
256.40/256.47	o 136
256.40/256.47	c * 234s|770949 |376844 |     0 |   0.0 | 244M| 176 |   - | 293 |8133 |   0 |   0 |   0 | 679k|   0 | 2.000000e+00 | 1.360000e+02 |6700.00%
258.90/258.93	c   236s|780000 |381361 |     0 |   0.0 | 249M| 176 |   - | 293 |8021 |   0 |   0 |   0 | 685k|   0 | 2.000000e+00 | 1.360000e+02 |6700.00%
260.90/260.94	o 124
260.90/260.94	c * 238s|787829 |382427 |     0 |   0.0 | 250M| 176 |   - | 293 |8208 |   0 |   0 |   0 | 690k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
261.49/261.52	c   239s|790000 |383560 |     0 |   0.0 | 251M| 176 |   - | 293 |8197 |   0 |   0 |   0 | 691k|   0 | 2.000000e+00 | 1.240000e+02 |6100.00%
262.00/262.04	o 110
262.00/262.04	c * 239s|791948 |378928 |     0 |   0.0 | 247M| 176 |   - | 293 |8234 |   0 |   0 |   0 | 692k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
264.50/264.51	c   241s|800000 |382579 |     0 |   0.0 | 251M| 176 |   - | 293 |8560 |   0 |   0 |   0 | 698k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
267.60/267.62	c   244s|810000 |386946 |     0 |   0.0 | 257M| 176 |   - | 293 |8605 |   0 |   0 |   0 | 706k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
270.80/270.81	c   247s|820000 |390988 |     0 |   0.0 | 263M| 176 |   - | 293 |8389 |   0 |   0 |   0 | 714k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
274.00/274.03	c   250s|830000 |394853 |     0 |   0.0 | 268M| 176 |   - | 293 |8393 |   0 |   0 |   0 | 721k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
277.40/277.43	c   253s|840000 |398284 |     0 |   0.0 | 273M| 176 |   - | 293 |8240 |   0 |   0 |   0 | 729k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
280.80/280.80	c   256s|850000 |401667 |     0 |   0.0 | 279M| 176 |   - | 293 |8024 |   0 |   0 |   0 | 737k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
284.30/284.30	c   259s|860000 |404850 |     0 |   0.0 | 284M| 176 |   - | 293 |8289 |   0 |   0 |   0 | 745k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
288.00/288.07	c   263s|870000 |407606 |     0 |   0.0 | 290M| 176 |   - | 293 |8355 |   0 |   0 |   0 | 753k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
292.00/292.06	c   266s|880000 |409876 |     0 |   0.0 | 295M| 176 |   - | 293 |8978 |   0 |   0 |   0 | 762k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
296.40/296.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
296.40/296.46	c   270s|890000 |411440 |     0 |   0.0 | 301M| 176 |   - | 293 |9195 |   0 |   0 |   0 | 771k|   0 | 2.000000e+00 | 1.100000e+02 |5400.00%
298.40/298.44	o 81
298.40/298.44	c * 272s|894164 |370350 |     0 |   0.0 | 272M| 176 |   - | 293 |9290 |   0 |   0 |   0 | 775k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
302.10/302.16	c   275s|900000 |368991 |     0 |   0.0 | 275M| 176 |   - | 293 |9405 |   0 |   0 |   0 | 782k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
307.40/307.45	c   280s|910000 |369720 |     0 |   0.0 | 279M| 176 |   - | 293 |9081 |   0 |   0 |   0 | 793k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
311.10/311.13	c   284s|920000 |374717 |     0 |   0.0 | 285M| 176 |   - | 293 |9889 |   0 |   0 |   0 | 805k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
315.10/315.13	c   287s|930000 |378922 |     0 |   0.0 | 290M| 176 |   - | 293 |  11k|   0 |   0 |   0 | 817k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
320.30/320.31	c   292s|940000 |381356 |     0 |   0.0 | 294M| 176 |   - | 293 |  10k|   0 |   0 |   0 | 831k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
324.50/324.51	c   296s|950000 |384603 |     0 |   0.0 | 298M| 176 |   - | 293 |7025 |   0 |   0 |   0 | 844k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
328.80/328.86	c   300s|960000 |387427 |     0 |   0.0 | 303M| 176 |   - | 293 |8120 |   0 |   0 |   0 | 857k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
333.40/333.41	c   304s|970000 |390159 |     0 |   0.0 | 308M| 176 |   - | 293 |8617 |   0 |   0 |   0 | 869k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
337.80/337.87	c   308s|980000 |393266 |     0 |   0.0 | 312M| 176 |   - | 293 |8901 |   0 |   0 |   0 | 881k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
342.50/342.50	c   313s|990000 |395873 |     0 |   0.0 | 317M| 176 |   - | 293 |9204 |   0 |   0 |   0 | 893k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
347.20/347.28	c   317s|  1000k|398319 |     0 |   0.0 | 321M| 176 |   - | 293 |9128 |   0 |   0 |   0 | 906k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
351.61/351.61	c   321s|  1010k|399950 |     0 |   0.0 | 324M| 176 |   - | 293 |4144 |   0 |   0 |   0 | 920k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
355.91/355.93	c   325s|  1020k|401115 |     0 |   0.0 | 328M| 176 |   - | 293 |6390 |   0 |   0 |   0 | 935k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
360.30/360.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
360.30/360.33	c   329s|  1030k|402488 |     0 |   0.0 | 332M| 176 |   - | 293 |6775 |   0 |   0 |   0 | 949k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
364.70/364.72	c   333s|  1040k|403799 |     0 |   0.0 | 335M| 176 |   - | 293 |7651 |   0 |   0 |   0 | 963k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
369.20/369.24	c   337s|  1050k|405146 |     0 |   0.0 | 339M| 176 |   - | 293 |7731 |   0 |   0 |   0 | 977k|   0 | 2.000000e+00 | 8.100000e+01 |3950.00%
372.01/372.08	o 69
372.01/372.08	c * 340s|  1056k|377346 |     0 |   0.0 | 314M| 176 |   - | 293 |6630 |   0 |   0 |   0 | 986k|   0 | 2.000000e+00 | 6.900000e+01 |3350.00%
373.80/373.90	c   341s|  1060k|377533 |     0 |   0.0 | 314M| 176 |   - | 293 |2171 |   0 |   0 |   0 | 992k|   0 | 2.000000e+00 | 6.900000e+01 |3350.00%
377.10/377.13	o 56
377.10/377.13	c * 344s|  1067k|331385 |     0 |   0.0 | 274M| 176 |   - | 293 |2139 |   0 |   0 |   0 |1004k|   0 | 2.000000e+00 | 5.600000e+01 |2700.00%
378.71/378.79	c   345s|  1070k|330475 |     0 |   0.0 | 276M| 176 |   - | 293 |3166 |   0 |   0 |   0 |1011k|   0 | 2.000000e+00 | 5.600000e+01 |2700.00%
385.50/385.53	c   351s|  1080k|326076 |     0 |   0.0 | 280M| 176 |   - | 293 |7966 |   0 |   0 |   0 |1036k|   0 | 2.000000e+00 | 5.600000e+01 |2700.00%
393.11/393.13	o 42
393.11/393.13	c * 359s|  1088k|316193 |     0 |   0.0 | 276M| 176 |   - | 293 |8944 |   0 |   0 |   0 |1058k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
394.21/394.25	c   360s|  1090k|315244 |     0 |   0.0 | 276M| 176 |   - | 293 |9986 |   0 |   0 |   0 |1061k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
404.71/404.75	c   370s|  1100k|307710 |     0 |   0.0 | 278M| 176 |   - | 293 |  11k|   0 |   0 |   0 |1087k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
415.71/415.79	c   380s|  1110k|299825 |     0 |   0.0 | 279M| 176 |   - | 293 |  13k|   0 |   0 |   0 |1111k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
427.50/427.58	c   391s|  1120k|291346 |     0 |   0.0 | 279M| 176 |   - | 293 |  14k|   0 |   0 |   0 |1135k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
441.41/441.47	c   405s|  1130k|280256 |     0 |   0.0 | 278M| 176 |   - | 293 |  15k|   0 |   0 |   0 |1161k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
457.30/457.31	c   420s|  1140k|267195 |     0 |   0.0 | 275M| 176 |   - | 293 |  16k|   0 |   0 |   0 |1186k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
475.12/475.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
475.12/475.16	c   437s|  1150k|249785 |     0 |   0.0 | 265M| 176 |   - | 293 |  16k|   0 |   0 |   0 |1212k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
487.50/487.51	c   449s|  1160k|238170 |     0 |   0.0 | 251M| 176 |   - | 293 |8664 |   0 |   0 |   0 |1235k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
493.51/493.53	c   454s|  1170k|238715 |     0 |   0.0 | 255M| 176 |   - | 293 |9830 |   0 |   0 |   0 |1255k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
499.81/499.84	c   460s|  1180k|239056 |     0 |   0.0 | 258M| 176 |   - | 293 |  10k|   0 |   0 |   0 |1274k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
505.81/505.87	c   466s|  1190k|239514 |     0 |   0.0 | 261M| 176 |   - | 293 |  11k|   0 |   0 |   0 |1293k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
512.91/512.93	c   472s|  1200k|238980 |     0 |   0.0 | 263M| 176 |   - | 293 |  12k|   0 |   0 |   0 |1313k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
519.60/519.63	c   479s|  1210k|237292 |     0 |   0.0 | 262M| 176 |   - | 293 |6806 |   0 |   0 |   0 |1334k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
528.90/528.92	c   487s|  1220k|231370 |     0 |   0.0 | 260M| 176 |   - | 293 |  10k|   0 |   0 |   0 |1363k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
540.31/540.32	c   498s|  1230k|224083 |     0 |   0.0 | 256M| 176 |   - | 293 |  12k|   0 |   0 |   0 |1393k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
553.11/553.14	c   511s|  1240k|215543 |     0 |   0.0 | 252M| 176 |   - | 293 |  16k|   0 |   0 |   0 |1422k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
568.21/568.23	c   525s|  1250k|206339 |     0 |   0.0 | 244M| 176 |   - | 293 |  21k|   0 |   0 |   0 |1451k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
583.31/583.32	c   540s|  1260k|197918 |     0 |   0.0 | 233M| 176 |   - | 293 |  19k|   0 |   0 |   0 |1477k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
598.51/598.53	c   554s|  1270k|194645 |     0 |   0.0 | 233M| 176 |   - | 293 |  26k|   0 |   0 |   0 |1501k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
616.31/616.33	c   572s|  1280k|191650 |     0 |   0.0 | 234M| 176 |   - | 293 |  34k|   0 |   0 |   0 |1524k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
637.81/637.81	c   593s|  1290k|187743 |     0 |   0.0 | 234M| 176 |   - | 293 |  42k|   0 |   0 |   0 |1547k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
657.41/657.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
657.41/657.47	c   612s|  1300k|186895 |     0 |   0.0 | 226M| 176 |   - | 293 |  22k|   0 |   0 |   0 |1565k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
664.42/664.41	c   619s|  1310k|188035 |     0 |   0.0 | 224M| 176 |   - | 293 |  14k|   0 |   0 |   0 |1581k|   0 | 2.000000e+00 | 4.200000e+01 |2000.00%
681.61/681.64	c   636s|  1320k|178297 |     0 |   0.0 | 215M| 176 |   - | 293 |  25k|   0 |   0 |   0 |1610k|   0 | 3.000000e+00 | 4.200000e+01 |1300.00%
700.81/700.86	c   654s|  1330k|173349 |     0 |   0.0 | 207M| 176 |   - | 293 |  29k|   0 |   0 |   0 |1631k|   0 | 3.000000e+00 | 4.200000e+01 |1300.00%
705.92/705.99	c   659s|  1340k|179803 |     0 |   0.0 | 205M| 176 |   - | 293 |  15k|   0 |   0 |   0 |1639k|   0 | 3.000000e+00 | 4.200000e+01 |1300.00%
711.41/711.46	c   664s|  1350k|184358 |     0 |   0.0 | 210M| 176 |   - | 293 |  17k|   0 |   0 |   0 |1650k|   0 | 3.000000e+00 | 4.200000e+01 |1300.00%
718.61/718.69	c   671s|  1360k|187265 |     0 |   0.0 | 214M| 176 |   - | 293 |  21k|   0 |   0 |   0 |1665k|   0 | 3.000000e+00 | 4.200000e+01 |1300.00%
724.51/724.59	c   677s|  1370k|192040 |     0 |   0.0 | 214M| 176 |   - | 293 |  13k|   0 |   0 |   0 |1676k|   0 | 3.000000e+00 | 4.200000e+01 |1300.00%
730.81/730.81	c   683s|  1380k|192448 |     0 |   0.0 | 213M| 176 |   - | 293 |9618 |   0 |   0 |   0 |1694k|   0 | 6.000000e+00 | 4.200000e+01 | 600.00%
738.51/738.57	c   690s|  1390k|190576 |     0 |   0.0 | 216M| 176 |   - | 293 |  11k|   0 |   0 |   0 |1710k|   0 | 6.000000e+00 | 4.200000e+01 | 600.00%
739.12/739.17	o 12
739.12/739.17	c * 691s|  1390k| 39610 |     0 |   0.0 |  47M| 176 |   - | 293 |  11k|   0 |   0 |   0 |1711k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
743.11/743.12	c   694s|  1400k| 38837 |     0 |   0.0 |  43M| 176 |   - | 293 |4559 |   0 |   0 |   0 |1718k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
746.71/746.74	c   697s|  1410k| 41346 |     0 |   0.0 |  47M| 176 |   - | 293 |7265 |   0 |   0 |   0 |1725k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
751.42/751.49	c   702s|  1420k| 42605 |     0 |   0.0 |  50M| 176 |   - | 293 |  10k|   0 |   0 |   0 |1732k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
757.52/757.50	c   707s|  1430k| 42828 |     0 |   0.0 |  54M| 176 |   - | 293 |  12k|   0 |   0 |   0 |1741k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
764.52/764.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
764.52/764.58	c   714s|  1440k| 41943 |     0 |   0.0 |  55M| 176 |   - | 293 |  15k|   0 |   0 |   0 |1750k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
772.92/772.94	c   722s|  1450k| 40460 |     0 |   0.0 |  54M| 176 |   - | 293 |  10k|   0 |   0 |   0 |1760k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
775.32/775.32	c   724s|  1460k| 46069 |     0 |   0.0 |  57M| 176 |   - | 293 |4261 |   0 |   0 |   0 |1764k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
778.41/778.42	c   727s|  1470k| 49239 |     0 |   0.0 |  61M| 176 |   - | 293 |6332 |   0 |   0 |   0 |1770k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
782.91/782.90	c   731s|  1480k| 49007 |     0 |   0.0 |  61M| 176 |   - | 293 |3288 |   0 |   0 |   0 |1779k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
787.82/787.87	c   735s|  1490k| 45506 |     0 |   0.0 |  59M| 176 |   - | 293 |7151 |   0 |   0 |   0 |1789k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
795.61/795.62	c   743s|  1500k| 42258 |     0 |   0.0 |  60M| 176 |   - | 293 |  13k|   0 |   0 |   0 |1800k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
807.32/807.31	c   754s|  1510k| 37578 |     0 |   0.0 |  59M| 176 |   - | 293 |  19k|   0 |   0 |   0 |1812k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
822.12/822.13	c   768s|  1520k| 31723 |     0 |   0.0 |  54M| 176 |   - | 293 |  27k|   0 |   0 |   0 |1825k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
835.32/835.37	c   781s|  1530k| 30855 |     0 |   0.0 |  51M| 176 |   - | 293 |  16k|   0 |   0 |   0 |1835k|   0 | 6.000000e+00 | 1.200000e+01 | 100.00%
839.22/839.27	o 10
839.22/839.27	c * 785s|  1535k| 31538 |     0 |   0.0 |  51M| 176 |   - | 293 |  14k|   0 |   0 |   0 |1839k|   0 | 6.000000e+00 | 1.000000e+01 |  66.67%
843.01/843.08	c   789s|  1540k| 31882 |     0 |   0.0 |  53M| 176 |   - | 293 |  14k|   0 |   0 |   0 |1843k|   0 | 6.000000e+00 | 1.000000e+01 |  66.67%
851.71/851.76	c   797s|  1550k| 30910 |     0 |   0.0 |  54M| 176 |   - | 293 |  15k|   0 |   0 |   0 |1852k|   0 | 6.000000e+00 | 1.000000e+01 |  66.67%
861.22/861.25	c   806s|  1560k| 28728 |     0 |   0.0 |  54M| 176 |   - | 293 |  20k|   0 |   0 |   0 |1864k|   0 | 6.000000e+00 | 1.000000e+01 |  66.67%
870.81/870.87	c   815s|  1570k| 24872 |     0 |   0.0 |  47M| 176 |   - | 293 |  11k|   0 |   0 |   0 |1875k|   0 | 6.000000e+00 | 1.000000e+01 |  66.67%
883.12/883.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
883.12/883.15	c   827s|  1580k| 17358 |     0 |   0.0 |  36M| 176 |   - | 293 |  14k|   0 |   0 |   0 |1889k|   0 | 6.000000e+00 | 1.000000e+01 |  66.67%
895.32/895.38	c   839s|  1590k| 12015 |     0 |   0.0 |  31M| 176 |   - | 293 |  19k|   0 |   0 |   0 |1903k|   0 | 7.000000e+00 | 1.000000e+01 |  42.86%
910.92/910.95	c   854s|  1600k|  5467 |     0 |   0.0 |  24M| 176 |   - | 293 |  17k|   0 |   0 |   0 |1917k|   0 | 7.000000e+00 | 1.000000e+01 |  42.86%
917.92/917.93	c 
917.92/917.93	c SCIP Status        : problem is solved [optimal solution found]
917.92/917.93	c Solving Time (sec) : 860.64
917.92/917.93	c Solving Nodes      : 1603748
917.92/917.93	c Primal Bound       : +1.00000000000000e+01 (22 solutions)
917.92/917.93	c Dual Bound         : +1.00000000000000e+01
917.92/917.93	c Gap                : 0.00 %
917.92/917.93	s OPTIMUM FOUND
917.92/917.93	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 
917.92/917.93	v -x147 x146 x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 
917.92/917.93	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 
917.92/917.93	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 
917.92/917.93	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 
917.92/917.93	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 
917.92/917.93	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 
917.92/917.93	v -x4 -x3 -x2 -x1 
917.92/917.93	c SCIP Status        : problem is solved [optimal solution found]
917.92/917.93	c Solving Time       :     860.64
917.92/917.93	c Original Problem   :
917.92/917.93	c   Problem name     : HOME/instance-2693947-1277898179.wbo
917.92/917.93	c   Variables        : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
917.92/917.93	c   Constraints      : 166 initial, 166 maximal
917.92/917.93	c Presolved Problem  :
917.92/917.93	c   Problem name     : t_HOME/instance-2693947-1277898179.wbo
917.92/917.93	c   Variables        : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
917.92/917.93	c   Constraints      : 158 initial, 46940 maximal
917.92/917.93	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
917.92/917.93	c   trivial          :       0.00          0          0          0          0          0          0          0          0
917.92/917.93	c   dualfix          :       0.00          4          0          0          0          0          0          0          0
917.92/917.93	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
917.92/917.93	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
917.92/917.93	c   implics          :       0.00          0          0          0          0          0          0          0          0
917.92/917.93	c   probing          :       0.01          0          0          0          0          0          0          0          0
917.92/917.93	c   indicator        :       0.00          0          0          0          0          0          2          0          0
917.92/917.93	c   setppc           :       0.00          0          0          0          0          0          0          0          0
917.92/917.93	c   linear           :       0.00          0          0          0         62          0          6          2          0
917.92/917.93	c   logicor          :       0.00          0          0          0          0          0          0          0          0
917.92/917.93	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
917.92/917.93	c   root node        :          -         57          -          -        114          -          -          -          -
917.92/917.93	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
917.92/917.93	c   integral         :          0          0          0          0          0          0          0          0          0          0
917.92/917.93	c   indicator        :         62          0    4456869          0    1063001       9884    1648087          0          0          0
917.92/917.93	c   setppc           :         30          0    4792647          0    1129973      44961    4812241          0          0          0
917.92/917.93	c   linear           :         62          0    4747829          0    1129997     494967   19800134          0          0          0
917.92/917.93	c   logicor          :          4+         0    2314156          0    1124626     118273    1419594          0          0          0
917.92/917.93	c   bounddisjunction :          0+         0     138555          0          0          1       2616          0          0          0
917.92/917.93	c   countsols        :          0          0          0          0    1130019          0          0          0          0          0
917.92/917.93	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
917.92/917.93	c   integral         :       0.00       0.00       0.00       0.00       0.00
917.92/917.93	c   indicator        :       2.01       0.00       1.17       0.00       0.84
917.92/917.93	c   setppc           :      12.86       0.00       9.87       0.00       2.99
917.92/917.93	c   linear           :      97.77       0.00      97.73       0.00       0.04
917.92/917.93	c   logicor          :     330.79       0.00     330.61       0.00       0.18
917.92/917.93	c   bounddisjunction :       0.11       0.00       0.11       0.00       0.00
917.92/917.93	c   countsols        :       0.00       0.00       0.00       0.00       0.00
917.92/917.93	c Propagators        :       Time      Calls    Cutoffs    DomReds
917.92/917.93	c   vbounds          :       0.00          2          0          0
917.92/917.93	c   rootredcost      :       0.00          0          0          0
917.92/917.93	c   pseudoobj        :      11.49    4826691      24155    1515906
917.92/917.93	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
917.92/917.93	c   propagation      :      37.10     682355     682320    3601285       25.5     263794       14.5          -
917.92/917.93	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
917.92/917.93	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
917.92/917.93	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
917.92/917.93	c   pseudo solution  :       0.01        108        108        553       26.6         57       13.1          -
917.92/917.93	c   applied globally :          -          -          -    1851254       17.5          -          -          -
917.92/917.93	c   applied locally  :          -          -          -      73369       38.5          -          -          -
917.92/917.93	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
917.92/917.93	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
917.92/917.93	c   redcost          :       0.00          0          0          0          0          0
917.92/917.93	c   impliedbounds    :       0.00          0          0          0          0          0
917.92/917.93	c   intobj           :       0.00          0          0          0          0          0
917.92/917.93	c   cgmip            :       0.00          0          0          0          0          0
917.92/917.93	c   gomory           :       0.00          0          0          0          0          0
917.92/917.93	c   strongcg         :       0.00          0          0          0          0          0
917.92/917.93	c   cmir             :       0.00          0          0          0          0          0
917.92/917.93	c   flowcover        :       0.00          0          0          0          0          0
917.92/917.93	c   clique           :       0.00          0          0          0          0          0
917.92/917.93	c   zerohalf         :       0.00          0          0          0          0          0
917.92/917.93	c   mcf              :       0.00          0          0          0          0          0
917.92/917.93	c   rapidlearning    :       0.00          0          0          0          0          0
917.92/917.93	c Pricers            :       Time      Calls       Vars
917.92/917.93	c   problem variables:       0.00          0          0
917.92/917.93	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
917.92/917.93	c   relpscost        :       0.00          0          0          0          0          0          0
917.92/917.93	c   pscost           :       0.00          0          0          0          0          0          0
917.92/917.93	c   inference        :       7.62    1129997          0          0          0          0    2259994
917.92/917.93	c   mostinf          :       0.00          0          0          0          0          0          0
917.92/917.93	c   leastinf         :       0.00          0          0          0          0          0          0
917.92/917.93	c   fullstrong       :       0.00          0          0          0          0          0          0
917.92/917.93	c   allfullstrong    :       0.00          0          0          0          0          0          0
917.92/917.93	c   random           :       0.00          0          0          0          0          0          0
917.92/917.93	c Primal Heuristics  :       Time      Calls      Found
917.92/917.93	c   LP solutions     :       0.00          -          0
917.92/917.93	c   pseudo solutions :       0.65          -         22
917.92/917.93	c   oneopt           :       0.00          0          0
917.92/917.93	c   trivial          :       0.00          2          0
917.92/917.93	c   simplerounding   :       0.00          0          0
917.92/917.93	c   zirounding       :       0.00          0          0
917.92/917.93	c   rounding         :       0.00          0          0
917.92/917.93	c   shifting         :       0.00          0          0
917.92/917.93	c   intshifting      :       0.00          0          0
917.92/917.93	c   twoopt           :       0.00          0          0
917.92/917.93	c   fixandinfer      :       0.00          0          0
917.92/917.93	c   feaspump         :       0.00          0          0
917.92/917.93	c   coefdiving       :       0.00          0          0
917.92/917.93	c   pscostdiving     :       0.00          0          0
917.92/917.93	c   fracdiving       :       0.00          0          0
917.92/917.93	c   veclendiving     :       0.00          0          0
917.92/917.93	c   intdiving        :       0.00          0          0
917.92/917.93	c   actconsdiving    :       0.00          0          0
917.92/917.93	c   objpscostdiving  :       0.00          0          0
917.92/917.93	c   rootsoldiving    :       0.00          0          0
917.92/917.93	c   linesearchdiving :       0.00          0          0
917.92/917.93	c   guideddiving     :       0.00          0          0
917.92/917.93	c   octane           :       0.00          0          0
917.92/917.93	c   rens             :       0.00          0          0
917.92/917.93	c   rins             :       0.00          0          0
917.92/917.93	c   localbranching   :       0.00          0          0
917.92/917.93	c   mutation         :       0.00          0          0
917.92/917.93	c   crossover        :       0.00          0          0
917.92/917.93	c   dins             :       0.00          0          0
917.92/917.93	c   undercover       :       0.00          0          0
917.92/917.93	c   nlp              :       0.00          0          0
917.92/917.93	c   trysol           :       0.00          1          0
917.92/917.93	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
917.92/917.93	c   primal LP        :       0.00          0          0       0.00          -
917.92/917.93	c   dual LP          :       0.00          0          0       0.00          -
917.92/917.93	c   lex dual LP      :       0.00          0          0       0.00          -
917.92/917.93	c   barrier LP       :       0.00          0          0       0.00          -
917.92/917.93	c   diving/probing LP:       0.00          0          0       0.00          -
917.92/917.93	c   strong branching :       0.00          0          0       0.00          -
917.92/917.93	c     (at root node) :          -          0          0       0.00          -
917.92/917.93	c   conflict analysis:       0.00          0          0       0.00          -
917.92/917.93	c B&B Tree           :
917.92/917.93	c   number of runs   :          1
917.92/917.93	c   nodes            :    1603748
917.92/917.93	c   nodes (total)    :    1603748
917.92/917.93	c   nodes left       :          0
917.92/917.93	c   max depth        :        176
917.92/917.93	c   max depth (total):        176
917.92/917.93	c   backtracks       :     521748 (32.5%)
917.92/917.93	c   delayed cutoffs  :     367937
917.92/917.93	c   repropagations   :    1846798 (7929294 domain reductions, 218620 cutoffs)
917.92/917.93	c   avg switch length:      20.46
917.92/917.93	c   switching time   :     299.57
917.92/917.93	c Solution           :
917.92/917.93	c   Solutions found  :         22 (22 improvements)
917.92/917.93	c   First Solution   : +6.16000000000000e+02   (in run 1, after 54685 nodes, 14.78 seconds, depth 100, found by <relaxation>)
917.92/917.93	c   Primal Bound     : +1.00000000000000e+01   (in run 1, after 1535035 nodes, 784.89 seconds, depth 53, found by <relaxation>)
917.92/917.93	c   Dual Bound       : +1.00000000000000e+01
917.92/917.93	c   Gap              :       0.00 %
917.92/917.93	c   Root Dual Bound  : +0.00000000000000e+00
917.92/917.93	c   Root Iterations  :          0
917.92/917.96	c Time complete: 917.98.

Verifier Data 

OK	10

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693947-1277898179/watcher-2693947-1277898179 -o /tmp/evaluation-result-2693947-1277898179/solver-2693947-1277898179 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693947-1277898179.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.52 2.11 2.04 4/178 15122
/proc/meminfo: memFree=30808016/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=8248 CPUtime=0
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 1549 0 0 0 0 0 0 0 21 0 1 0 131113356 8445952 1472 4089446400 4194304 7136930 140737326561680 18446744073709551615 4333519 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15122/statm: 2062 1472 276 719 0 1341 0

[startup+0.032533 s]
/proc/loadavg: 2.52 2.11 2.04 4/178 15122
/proc/meminfo: memFree=30808016/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=11956 CPUtime=0.02
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 4505 0 0 0 2 0 0 0 21 0 1 0 131113356 12242944 2276 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 2989 2276 395 719 0 2268 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11956

[startup+0.100521 s]
/proc/loadavg: 2.52 2.11 2.04 4/178 15122
/proc/meminfo: memFree=30808016/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=12996 CPUtime=0.09
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 4778 0 0 0 7 2 0 0 21 0 1 0 131113356 13307904 2549 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 3249 2549 395 719 0 2528 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12996

[startup+0.300484 s]
/proc/loadavg: 2.52 2.11 2.04 4/178 15122
/proc/meminfo: memFree=30808016/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=14904 CPUtime=0.29
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 5256 0 0 0 22 7 0 0 21 0 1 0 131113356 15261696 3027 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 3726 3027 395 719 0 3005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14904

[startup+0.700413 s]
/proc/loadavg: 2.52 2.11 2.04 4/178 15122
/proc/meminfo: memFree=30808016/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=18152 CPUtime=0.69
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 6061 0 0 0 55 14 0 0 22 0 1 0 131113356 18587648 3832 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 4538 3832 395 719 0 3817 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18152

[startup+1.50027 s]
/proc/loadavg: 2.52 2.11 2.04 3/179 15123
/proc/meminfo: memFree=30793004/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=21632 CPUtime=1.49
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 6935 0 0 0 123 26 0 0 25 0 1 0 131113356 22151168 4706 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 5408 4706 395 719 0 4687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21632

[startup+3.10097 s]
/proc/loadavg: 2.47 2.11 2.04 3/179 15123
/proc/meminfo: memFree=30789416/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=28064 CPUtime=3.09
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 8547 0 0 0 259 50 0 0 25 0 1 0 131113356 28737536 6318 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 7016 6318 395 719 0 6295 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28064

[startup+6.30039 s]
/proc/loadavg: 2.47 2.11 2.04 3/179 15123
/proc/meminfo: memFree=30779812/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=36216 CPUtime=6.29
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 10584 0 0 0 549 80 0 0 25 0 1 0 131113356 37085184 8355 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 9054 8355 395 719 0 8333 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36216

[startup+12.7002 s]
/proc/loadavg: 2.40 2.11 2.04 3/179 15124
/proc/meminfo: memFree=30769312/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=44476 CPUtime=12.69
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 12643 0 0 0 1142 127 0 0 25 0 1 0 131113356 45543424 10414 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 11119 10414 395 719 0 10398 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44476

[startup+25.5009 s]
/proc/loadavg: 2.34 2.10 2.03 3/179 15124
/proc/meminfo: memFree=30755656/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=59224 CPUtime=25.49
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 16283 0 0 0 2330 219 0 0 25 0 1 0 131113356 60645376 14054 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 14806 14054 396 719 0 14085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59224

[startup+51.1002 s]
/proc/loadavg: 2.22 2.09 2.03 3/179 15125
/proc/meminfo: memFree=30746296/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=67920 CPUtime=51.09
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 18447 0 0 0 4796 313 0 0 25 0 1 0 131113356 69550080 16218 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 16980 16218 396 719 0 16259 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 67920

[startup+102.307 s]
/proc/loadavg: 2.09 2.08 2.03 3/179 15126
/proc/meminfo: memFree=30722320/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=91236 CPUtime=102.3
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 24337 0 0 0 9621 609 0 0 25 0 1 0 131113356 93425664 22108 4089446400 4194304 7136930 140737326561680 18446744073709551615 4431726 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 22809 22108 396 719 0 22088 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91236

[startup+162.301 s]
/proc/loadavg: 2.03 2.06 2.02 3/179 15128
/proc/meminfo: memFree=30640536/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=173164 CPUtime=162.3
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 44759 0 0 0 14993 1237 0 0 25 0 1 0 131113356 177319936 42530 4089446400 4194304 7136930 140737326561680 18446744073709551615 6166816 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 43291 42530 398 719 0 42570 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 173164

[startup+222.301 s]
/proc/loadavg: 2.01 2.05 2.02 3/179 15129
/proc/meminfo: memFree=30571216/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=246480 CPUtime=222.3
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 62176 0 0 0 20438 1792 0 0 25 0 1 0 131113356 252395520 59947 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 61620 59947 398 719 0 60899 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 246480

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/179 15131
/proc/meminfo: memFree=30471720/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=347368 CPUtime=282.3
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 87766 0 0 0 25736 2494 0 0 25 0 1 0 131113356 355704832 85537 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 86842 85537 398 719 0 86121 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 347368

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15133
/proc/meminfo: memFree=30427152/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=390188 CPUtime=342.31
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 98480 0 0 0 31234 2997 0 0 25 0 1 0 131113356 399552512 96251 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 97547 96251 398 719 0 96826 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 390188

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15134
/proc/meminfo: memFree=30399316/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=421452 CPUtime=402.31
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 106263 0 0 0 36726 3505 0 0 25 0 1 0 131113356 431566848 104034 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 105363 104034 398 719 0 104642 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 421452

[startup+462.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 15210
/proc/meminfo: memFree=30655628/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=421888 CPUtime=462.3
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 106372 0 0 0 42452 3778 0 0 25 0 1 0 131113356 432013312 104143 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 105472 104143 398 719 0 104751 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 421888

[startup+522.3 s]
/proc/loadavg: 1.98 2.00 1.99 4/179 15311
/proc/meminfo: memFree=30605288/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=421888 CPUtime=522.31
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 106377 0 0 0 48112 4119 0 0 25 0 1 0 131113356 432013312 104148 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 105472 104148 398 719 0 104751 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 421888

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15313
/proc/meminfo: memFree=30596804/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=423800 CPUtime=582.31
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 106798 0 0 0 53866 4365 0 0 25 0 1 0 131113356 433971200 104569 4089446400 4194304 7136930 140737326561680 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 105950 104569 398 719 0 105229 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 423800

[startup+642.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15315
/proc/meminfo: memFree=30586344/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=428236 CPUtime=642.32
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 107945 0 0 0 59730 4502 0 0 25 0 1 0 131113356 438513664 105716 4089446400 4194304 7136930 140737326561680 18446744073709551615 5953060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 107059 105716 398 719 0 106338 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 428236

[startup+702.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15316
/proc/meminfo: memFree=30551316/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=429756 CPUtime=702.32
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108271 0 0 0 65571 4661 0 0 25 0 1 0 131113356 440070144 106042 4089446400 4194304 7136930 140737326561680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 107439 106042 398 719 0 106718 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 429756

[startup+762.306 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15318
/proc/meminfo: memFree=30528696/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=428952 CPUtime=762.32
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108340 0 0 0 71184 5048 0 0 25 0 1 0 131113356 439246848 105855 4089446400 4194304 7136930 140737326561680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 107238 105855 398 719 0 106517 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 428952

[startup+822.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15319
/proc/meminfo: memFree=30525796/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=430520 CPUtime=822.32
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108545 0 0 0 76850 5382 0 0 25 0 1 0 131113356 440852480 105995 4089446400 4194304 7136930 140737326561680 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 107630 105995 398 719 0 106909 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 430520

[startup+882.301 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15321
/proc/meminfo: memFree=30515664/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=429772 CPUtime=882.32
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108595 0 0 0 82616 5616 0 0 25 0 1 0 131113356 440086528 105785 4089446400 4194304 7136930 140737326561680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 107443 105785 398 719 0 106722 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 429772

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

[startup+895.901 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15321
/proc/meminfo: memFree=30515532/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=429512 CPUtime=895.92
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108595 0 0 0 83927 5665 0 0 25 0 1 0 131113356 439820288 105720 4089446400 4194304 7136930 140737326561680 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 107378 105720 398 719 0 106657 0
Current children cumulated CPU time (s) 895.92
Current children cumulated vsize (KiB) 429512

[startup+908.701 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15321
/proc/meminfo: memFree=30516124/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=428472 CPUtime=908.72
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108595 0 0 0 85169 5703 0 0 25 0 1 0 131113356 438755328 105460 4089446400 4194304 7136930 140737326561680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 107118 105460 398 719 0 106397 0
Current children cumulated CPU time (s) 908.72
Current children cumulated vsize (KiB) 428472

[startup+911.907 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15322
/proc/meminfo: memFree=30517608/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=427176 CPUtime=911.92
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108595 0 0 0 85481 5711 0 0 25 0 1 0 131113356 437428224 105136 4089446400 4194304 7136930 140737326561680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 106794 105136 398 719 0 106073 0
Current children cumulated CPU time (s) 911.92
Current children cumulated vsize (KiB) 427176

[startup+915.101 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15322
/proc/meminfo: memFree=30517604/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=427176 CPUtime=915.13
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108595 0 0 0 85791 5722 0 0 25 0 1 0 131113356 437428224 105136 4089446400 4194304 7136930 140737326561680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 106794 105136 398 719 0 106073 0
Current children cumulated CPU time (s) 915.13
Current children cumulated vsize (KiB) 427176

[startup+916.7 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15322
/proc/meminfo: memFree=30517604/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=426916 CPUtime=916.72
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108595 0 0 0 85945 5727 0 0 25 0 1 0 131113356 437161984 105071 4089446400 4194304 7136930 140737326561680 18446744073709551615 5953091 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 106729 105071 398 719 0 106008 0
Current children cumulated CPU time (s) 916.72
Current children cumulated vsize (KiB) 426916

[startup+917.501 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15322
/proc/meminfo: memFree=30521448/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=422380 CPUtime=917.52
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108595 0 0 0 86023 5729 0 0 25 0 1 0 131113356 432517120 103937 4089446400 4194304 7136930 140737326561680 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 105595 103937 398 719 0 104874 0
Current children cumulated CPU time (s) 917.52
Current children cumulated vsize (KiB) 422380

[startup+917.901 s]
/proc/loadavg: 1.99 2.00 1.99 4/179 15322
/proc/meminfo: memFree=30521448/32951124 swapFree=67111528/67111528
[pid=15122] ppid=15120 vsize=414896 CPUtime=917.92
/proc/15122/stat : 15122 (pbscip.linux.x8) R 15120 15122 12496 0 -1 4202496 108595 0 0 0 86062 5730 0 0 25 0 1 0 131113356 424853504 102066 4089446400 4194304 7136930 140737326561680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15122/statm: 103724 102066 398 719 0 103003 0
Current children cumulated CPU time (s) 917.92
Current children cumulated vsize (KiB) 414896

Child status: 0
Real time (s): 917.97
CPU time (s): 917.997
CPU user time (s): 860.668
CPU system time (s): 57.3293
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 430812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 860.668
system time used= 57.3293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 10213

runsolver used 1.61475 second user time and 3.39448 second system time

The end

Launcher Data 

Begin job on node139 at 2010-06-30 13:42:59
IDJOB=2693947
IDBENCH=78827
IDSOLVER=1206
FILE ID=node139/2693947-1277898179
PBS_JOBID= 11197075
Free space on /tmp= 74120 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.1110970444--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-2693947-1277898179/watcher-2693947-1277898179 -o /tmp/evaluation-result-2693947-1277898179/solver-2693947-1277898179 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693947-1277898179.wbo -t 1800 -m 3800

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

MD5SUM BENCH= e1995b9ec907174fc65ceec959beef4e
RANDOM SEED=180560341

node139.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.840
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.68
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.840
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.840
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.82
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.840
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.840
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.78
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.840
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.840
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.82
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.840
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:      30808048 kB
Buffers:        185692 kB
Cached:        1469772 kB
SwapCached:          0 kB
Active:        1011664 kB
Inactive:       983544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30808048 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3048 kB
Writeback:           0 kB
AnonPages:      339612 kB
Mapped:          16184 kB
Slab:            82956 kB
PageTables:       5768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   492304 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= 74120 MiB
End job on node139 at 2010-06-30 13:58:17