Trace number 2663647

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverOPT3 907.061 907.426

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
MD5SUMa6d214cc283b484f5cca285d86c4d8bb
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2.23766
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables192
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

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-2663647-1276649224.opb>
0.01/0.01	c original problem has 704 variables (704 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.01/0.01	c problem read
0.01/0.01	c presolving settings loaded
0.01/0.01	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.01/0.02	c presolving:
0.09/0.14	c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 0 upgd conss, 3056 impls, 0 clqs
0.09/0.14	c (round 2) 24 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 68 chg coeffs, 9 upgd conss, 4624 impls, 0 clqs
0.09/0.15	c (round 3) 40 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 82 chg coeffs, 9 upgd conss, 5968 impls, 0 clqs
0.09/0.15	c (round 4) 56 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 96 chg coeffs, 9 upgd conss, 7088 impls, 0 clqs
0.09/0.16	c (round 5) 72 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 110 chg coeffs, 9 upgd conss, 7984 impls, 0 clqs
0.09/0.16	c (round 6) 88 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 124 chg coeffs, 9 upgd conss, 8656 impls, 0 clqs
0.09/0.17	c (round 7) 104 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 138 chg coeffs, 9 upgd conss, 9104 impls, 0 clqs
0.09/0.17	c (round 8) 120 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 152 chg coeffs, 9 upgd conss, 9328 impls, 0 clqs
0.09/0.18	c (round 9) 136 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 166 chg coeffs, 9 upgd conss, 9328 impls, 0 clqs
0.20/0.20	c    (0.1s) probing: 207/568 (36.4%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.20/0.20	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.20/0.20	c presolving (10 rounds):
0.20/0.20	c  136 deleted vars, 112 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 166 changed coefficients
0.20/0.20	c  9360 implications, 0 cliques
0.20/0.20	c presolved problem has 568 variables (568 bin, 0 int, 0 impl, 0 cont) and 409 constraints
0.20/0.20	c     392 constraints of type <and>
0.20/0.20	c       8 constraints of type <linear>
0.20/0.20	c       9 constraints of type <logicor>
0.20/0.20	c transformed objective value is always integral (scale: 2)
0.20/0.20	c Presolving Time: 0.10
0.20/0.20	c - non default parameters ----------------------------------------------------------------------
0.20/0.20	c # SCIP version 1.2.1.2
0.20/0.20	c 
0.20/0.20	c # frequency for displaying node information lines
0.20/0.20	c # [type: int, range: [-1,2147483647], default: 100]
0.20/0.20	c display/freq = 10000
0.20/0.20	c 
0.20/0.20	c # maximal time in seconds to run
0.20/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.20/0.20	c limits/time = 1799.99
0.20/0.20	c 
0.20/0.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.20/0.20	c limits/memory = 1620
0.20/0.20	c 
0.20/0.20	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.20/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.20/0.20	c lp/solvefreq = -1
0.20/0.20	c 
0.20/0.20	c # should presolving try to simplify inequalities
0.20/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.20/0.20	c constraints/linear/simplifyinequalities = TRUE
0.20/0.20	c 
0.20/0.20	c # should presolving try to simplify knapsacks
0.20/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.20/0.20	c constraints/knapsack/simplifyinequalities = TRUE
0.20/0.20	c 
0.20/0.20	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.20/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.20/0.21	c heuristics/undercover/freq = 0
0.20/0.21	c 
0.20/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.20/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.20/0.21	c separating/rapidlearning/freq = 0
0.20/0.21	c 
0.20/0.21	c -----------------------------------------------------------------------------------------------
0.20/0.21	c start solving
0.20/0.21	c 
0.20/0.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.20/0.21	c   0.1s|     1 |     2 |     0 |     - |1846k|   0 |   - | 568 | 409 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
2.89/2.95	c   2.6s| 10000 |  7996 |     0 |   0.0 |7747k| 337 |   - | 568 | 592 |   0 |   0 |   0 |1393 |   0 | 1.000000e+00 |      --      |    Inf 
5.99/6.03	c   5.4s| 20000 | 15505 |     0 |   0.0 |  13M| 337 |   - | 568 | 894 |   0 |   0 |   0 |3354 |   0 | 1.000000e+00 |      --      |    Inf 
9.19/9.21	c   8.3s| 30000 | 22396 |     0 |   0.0 |  18M| 337 |   - | 568 |1160 |   0 |   0 |   0 |5758 |   0 | 1.000000e+00 |      --      |    Inf 
12.28/12.37	c  11.3s| 40000 | 29294 |     0 |   0.0 |  23M| 337 |   - | 568 |1377 |   0 |   0 |   0 |7911 |   0 | 1.000000e+00 |      --      |    Inf 
15.58/15.69	c  14.3s| 50000 | 35645 |     0 |   0.0 |  29M| 337 |   - | 568 |1701 |   0 |   0 |   0 |  10k|   0 | 1.000000e+00 |      --      |    Inf 
18.78/18.82	c  17.2s| 60000 | 41701 |     0 |   0.0 |  33M| 337 |   - | 568 | 637 |   0 |   0 |   0 |  12k|   0 | 1.000000e+00 |      --      |    Inf 
21.68/21.70	c  19.8s| 70000 | 49672 |     0 |   0.0 |  38M| 337 |   - | 568 | 794 |   0 |   0 |   0 |  13k|   0 | 1.000000e+00 |      --      |    Inf 
24.78/24.85	c  22.7s| 80000 | 56892 |     0 |   0.0 |  43M| 337 |   - | 568 | 830 |   0 |   0 |   0 |  15k|   0 | 1.000000e+00 |      --      |    Inf 
28.18/28.23	c  25.9s| 90000 | 63840 |     0 |   0.0 |  48M| 337 |   - | 568 | 922 |   0 |   0 |   0 |  18k|   0 | 1.000000e+00 |      --      |    Inf 
31.79/31.90	c  29.2s|100000 | 70717 |     0 |   0.0 |  53M| 337 |   - | 568 | 982 |   0 |   0 |   0 |  20k|   0 | 1.000000e+00 |      --      |    Inf 
35.68/35.71	c  32.8s|110000 | 77443 |     0 |   0.0 |  58M| 337 |   - | 568 | 933 |   0 |   0 |   0 |  22k|   0 | 1.000000e+00 |      --      |    Inf 
39.68/39.78	c  36.6s|120000 | 83617 |     0 |   0.0 |  63M| 337 |   - | 568 |1077 |   0 |   0 |   0 |  25k|   0 | 1.000000e+00 |      --      |    Inf 
43.57/43.61	c  40.2s|130000 | 89940 |     0 |   0.0 |  68M| 337 |   - | 568 |1163 |   0 |   0 |   0 |  28k|   0 | 1.000000e+00 |      --      |    Inf 
47.37/47.41	c  43.7s|140000 | 96476 |     0 |   0.0 |  73M| 337 |   - | 568 |1292 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 |      --      |    Inf 
51.17/51.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
51.17/51.25	c  47.3s|150000 |102791 |     0 |   0.0 |  77M| 337 |   - | 568 |1427 |   0 |   0 |   0 |  34k|   0 | 1.000000e+00 |      --      |    Inf 
55.37/55.40	c  51.2s|160000 |108715 |     0 |   0.0 |  82M| 337 |   - | 568 |1690 |   0 |   0 |   0 |  37k|   0 | 1.000000e+00 |      --      |    Inf 
59.38/59.41	c  55.0s|170000 |114822 |     0 |   0.0 |  86M| 337 |   - | 568 |1699 |   0 |   0 |   0 |  41k|   0 | 1.000000e+00 |      --      |    Inf 
63.47/63.54	c  58.8s|180000 |120930 |     0 |   0.0 |  91M| 337 |   - | 568 |1802 |   0 |   0 |   0 |  44k|   0 | 1.000000e+00 |      --      |    Inf 
67.27/67.39	c  62.5s|190000 |127399 |     0 |   0.0 |  96M| 337 |   - | 568 |1819 |   0 |   0 |   0 |  47k|   0 | 1.000000e+00 |      --      |    Inf 
71.16/71.25	c  66.1s|200000 |133492 |     0 |   0.0 | 100M| 337 |   - | 568 |1794 |   0 |   0 |   0 |  50k|   0 | 1.000000e+00 |      --      |    Inf 
74.86/74.91	c  69.5s|210000 |140101 |     0 |   0.0 | 105M| 337 |   - | 568 |1897 |   0 |   0 |   0 |  53k|   0 | 1.000000e+00 |      --      |    Inf 
78.66/78.71	c  73.0s|220000 |146323 |     0 |   0.0 | 110M| 337 |   - | 568 |1953 |   0 |   0 |   0 |  56k|   0 | 1.000000e+00 |      --      |    Inf 
82.16/82.27	c  76.4s|230000 |153196 |     0 |   0.0 | 115M| 337 |   - | 568 |1985 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 |      --      |    Inf 
85.96/86.02	c  79.9s|240000 |159550 |     0 |   0.0 | 120M| 337 |   - | 568 |1824 |   0 |   0 |   0 |  60k|   0 | 1.000000e+00 |      --      |    Inf 
89.86/89.97	c  83.5s|250000 |165509 |     0 |   0.0 | 125M| 337 |   - | 568 |2123 |   0 |   0 |   0 |  63k|   0 | 1.000000e+00 |      --      |    Inf 
94.05/94.20	c  87.5s|260000 |170925 |     0 |   0.0 | 130M| 337 |   - | 568 |2351 |   0 |   0 |   0 |  67k|   0 | 1.000000e+00 |      --      |    Inf 
98.45/98.55	c  91.6s|270000 |176481 |     0 |   0.0 | 134M| 337 |   - | 568 |2779 |   0 |   0 |   0 |  70k|   0 | 1.000000e+00 |      --      |    Inf 
102.45/102.58	c  95.3s|280000 |182526 |     0 |   0.0 | 139M| 337 |   - | 568 |2716 |   0 |   0 |   0 |  72k|   0 | 1.000000e+00 |      --      |    Inf 
106.25/106.38	c  98.9s|290000 |188902 |     0 |   0.0 | 144M| 337 |   - | 568 |2681 |   0 |   0 |   0 |  75k|   0 | 1.000000e+00 |      --      |    Inf 
110.05/110.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
110.05/110.12	c   102s|300000 |195068 |     0 |   0.0 | 148M| 337 |   - | 568 |2550 |   0 |   0 |   0 |  77k|   0 | 1.000000e+00 |      --      |    Inf 
113.85/113.91	c   106s|310000 |201335 |     0 |   0.0 | 154M| 337 |   - | 568 |2573 |   0 |   0 |   0 |  80k|   0 | 1.000000e+00 |      --      |    Inf 
117.95/118.01	c   110s|320000 |206952 |     0 |   0.0 | 158M| 337 |   - | 568 |2578 |   0 |   0 |   0 |  82k|   0 | 1.000000e+00 |      --      |    Inf 
122.84/122.94	c   114s|330000 |211467 |     0 |   0.0 | 163M| 337 |   - | 568 |3023 |   0 |   0 |   0 |  86k|   0 | 1.000000e+00 |      --      |    Inf 
128.14/128.21	c   119s|340000 |214153 |     0 |   0.0 | 166M| 337 |   - | 568 |3151 |   0 |   0 |   0 |  90k|   0 | 1.000000e+00 |      --      |    Inf 
131.85/131.99	c   123s|350000 |219893 |     0 |   0.0 | 170M| 337 |   - | 568 |1092 |   0 |   0 |   0 |  92k|   0 | 1.000000e+00 |      --      |    Inf 
135.64/135.75	c   126s|360000 |225439 |     0 |   0.0 | 174M| 337 |   - | 568 |1265 |   0 |   0 |   0 |  95k|   0 | 1.000000e+00 |      --      |    Inf 
138.45/138.59	c   129s|370000 |233175 |     0 |   0.0 | 179M| 337 |   - | 568 | 539 |   0 |   0 |   0 |  97k|   0 | 1.000000e+00 |      --      |    Inf 
141.34/141.40	c   132s|380000 |241463 |     0 |   0.0 | 185M| 337 |   - | 568 | 572 |   0 |   0 |   0 |  98k|   0 | 1.000000e+00 |      --      |    Inf 
144.04/144.12	c   134s|390000 |249910 |     0 |   0.0 | 191M| 337 |   - | 568 | 642 |   0 |   0 |   0 |  99k|   0 | 1.000000e+00 |      --      |    Inf 
147.04/147.14	c   137s|400000 |257842 |     0 |   0.0 | 197M| 337 |   - | 568 | 808 |   0 |   0 |   0 | 101k|   0 | 1.000000e+00 |      --      |    Inf 
150.13/150.22	c   140s|410000 |265657 |     0 |   0.0 | 202M| 337 |   - | 568 | 833 |   0 |   0 |   0 | 102k|   0 | 1.000000e+00 |      --      |    Inf 
153.33/153.40	c   143s|420000 |273128 |     0 |   0.0 | 207M| 337 |   - | 568 | 875 |   0 |   0 |   0 | 104k|   0 | 1.000000e+00 |      --      |    Inf 
156.33/156.45	c   145s|430000 |280819 |     0 |   0.0 | 212M| 337 |   - | 568 | 762 |   0 |   0 |   0 | 106k|   0 | 1.000000e+00 |      --      |    Inf 
159.63/159.75	c   148s|440000 |288120 |     0 |   0.0 | 218M| 337 |   - | 568 | 865 |   0 |   0 |   0 | 108k|   0 | 1.000000e+00 |      --      |    Inf 
162.93/163.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
162.93/163.04	c   152s|450000 |295365 |     0 |   0.0 | 223M| 337 |   - | 568 |1007 |   0 |   0 |   0 | 110k|   0 | 1.000000e+00 |      --      |    Inf 
166.23/166.33	c   155s|460000 |302674 |     0 |   0.0 | 228M| 337 |   - | 568 | 938 |   0 |   0 |   0 | 111k|   0 | 1.000000e+00 |      --      |    Inf 
169.52/169.68	c   158s|470000 |309832 |     0 |   0.0 | 232M| 337 |   - | 568 | 687 |   0 |   0 |   0 | 114k|   0 | 1.000000e+00 |      --      |    Inf 
173.03/173.16	c   161s|480000 |316575 |     0 |   0.0 | 237M| 337 |   - | 568 | 901 |   0 |   0 |   0 | 116k|   0 | 1.000000e+00 |      --      |    Inf 
176.33/176.45	c   164s|490000 |323724 |     0 |   0.0 | 242M| 337 |   - | 568 | 818 |   0 |   0 |   0 | 118k|   0 | 1.000000e+00 |      --      |    Inf 
179.93/180.07	c   167s|500000 |330342 |     0 |   0.0 | 247M| 337 |   - | 568 | 888 |   0 |   0 |   0 | 120k|   0 | 1.000000e+00 |      --      |    Inf 
183.53/183.63	c   171s|510000 |337012 |     0 |   0.0 | 252M| 337 |   - | 568 |1209 |   0 |   0 |   0 | 123k|   0 | 1.000000e+00 |      --      |    Inf 
187.12/187.26	c   174s|520000 |343716 |     0 |   0.0 | 256M| 337 |   - | 568 | 976 |   0 |   0 |   0 | 125k|   0 | 1.000000e+00 |      --      |    Inf 
190.82/190.95	c   177s|530000 |350211 |     0 |   0.0 | 261M| 337 |   - | 568 |1108 |   0 |   0 |   0 | 128k|   0 | 1.000000e+00 |      --      |    Inf 
194.52/194.60	c   181s|540000 |356955 |     0 |   0.0 | 266M| 337 |   - | 568 | 860 |   0 |   0 |   0 | 130k|   0 | 1.000000e+00 |      --      |    Inf 
198.32/198.42	c   184s|550000 |363200 |     0 |   0.0 | 270M| 337 |   - | 568 |1083 |   0 |   0 |   0 | 133k|   0 | 1.000000e+00 |      --      |    Inf 
202.02/202.10	c   188s|560000 |369984 |     0 |   0.0 | 275M| 337 |   - | 568 | 799 |   0 |   0 |   0 | 135k|   0 | 1.000000e+00 |      --      |    Inf 
205.92/206.02	c   192s|570000 |376060 |     0 |   0.0 | 280M| 337 |   - | 568 |1165 |   0 |   0 |   0 | 138k|   0 | 1.000000e+00 |      --      |    Inf 
209.72/209.83	c   195s|580000 |382812 |     0 |   0.0 | 285M| 337 |   - | 568 |1067 |   0 |   0 |   0 | 140k|   0 | 1.000000e+00 |      --      |    Inf 
213.61/213.77	c   199s|590000 |388833 |     0 |   0.0 | 289M| 337 |   - | 568 |1229 |   0 |   0 |   0 | 143k|   0 | 1.000000e+00 |      --      |    Inf 
217.62/217.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
217.62/217.76	c   202s|600000 |395390 |     0 |   0.0 | 294M| 337 |   - | 568 |1183 |   0 |   0 |   0 | 146k|   0 | 1.000000e+00 |      --      |    Inf 
221.71/221.83	c   206s|610000 |401348 |     0 |   0.0 | 298M| 337 |   - | 568 |1359 |   0 |   0 |   0 | 149k|   0 | 1.000000e+00 |      --      |    Inf 
225.71/225.88	c   210s|620000 |407959 |     0 |   0.0 | 303M| 337 |   - | 568 |1220 |   0 |   0 |   0 | 152k|   0 | 1.000000e+00 |      --      |    Inf 
229.81/229.92	c   214s|630000 |414077 |     0 |   0.0 | 308M| 337 |   - | 568 |1419 |   0 |   0 |   0 | 154k|   0 | 1.000000e+00 |      --      |    Inf 
233.91/234.02	c   218s|640000 |420530 |     0 |   0.0 | 312M| 337 |   - | 568 |1219 |   0 |   0 |   0 | 157k|   0 | 1.000000e+00 |      --      |    Inf 
238.10/238.23	c   222s|650000 |426576 |     0 |   0.0 | 317M| 337 |   - | 568 |1495 |   0 |   0 |   0 | 160k|   0 | 1.000000e+00 |      --      |    Inf 
242.31/242.49	c   226s|660000 |432935 |     0 |   0.0 | 321M| 337 |   - | 568 |1104 |   0 |   0 |   0 | 163k|   0 | 1.000000e+00 |      --      |    Inf 
246.50/246.67	c   230s|670000 |438960 |     0 |   0.0 | 326M| 337 |   - | 568 |1357 |   0 |   0 |   0 | 166k|   0 | 1.000000e+00 |      --      |    Inf 
251.00/251.17	c   234s|680000 |445152 |     0 |   0.0 | 330M| 337 |   - | 568 |1173 |   0 |   0 |   0 | 169k|   0 | 1.000000e+00 |      --      |    Inf 
256.11/256.29	c   239s|690000 |451250 |     0 |   0.0 | 335M| 337 |   - | 568 |1317 |   0 |   0 |   0 | 172k|   0 | 1.000000e+00 |      --      |    Inf 
260.90/261.00	c   243s|700000 |457221 |     0 |   0.0 | 339M| 337 |   - | 568 |1266 |   0 |   0 |   0 | 176k|   0 | 1.000000e+00 |      --      |    Inf 
265.01/265.18	c   247s|710000 |463400 |     0 |   0.0 | 344M| 337 |   - | 568 |1237 |   0 |   0 |   0 | 179k|   0 | 1.000000e+00 |      --      |    Inf 
269.59/269.72	c   251s|720000 |469224 |     0 |   0.0 | 348M| 337 |   - | 568 |1199 |   0 |   0 |   0 | 182k|   0 | 1.000000e+00 |      --      |    Inf 
273.89/274.07	c   256s|730000 |475238 |     0 |   0.0 | 353M| 337 |   - | 568 |1276 |   0 |   0 |   0 | 185k|   0 | 1.000000e+00 |      --      |    Inf 
278.69/278.81	c   260s|740000 |480838 |     0 |   0.0 | 357M| 337 |   - | 568 |1285 |   0 |   0 |   0 | 188k|   0 | 1.000000e+00 |      --      |    Inf 
283.09/283.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
283.09/283.23	c   264s|750000 |486786 |     0 |   0.0 | 362M| 337 |   - | 568 |1388 |   0 |   0 |   0 | 192k|   0 | 1.000000e+00 |      --      |    Inf 
288.00/288.13	c   269s|760000 |492409 |     0 |   0.0 | 366M| 337 |   - | 568 |1231 |   0 |   0 |   0 | 195k|   0 | 1.000000e+00 |      --      |    Inf 
292.49/292.68	c   273s|770000 |498265 |     0 |   0.0 | 370M| 337 |   - | 568 |1540 |   0 |   0 |   0 | 199k|   0 | 1.000000e+00 |      --      |    Inf 
297.59/297.73	c   278s|780000 |503819 |     0 |   0.0 | 375M| 337 |   - | 568 |1376 |   0 |   0 |   0 | 202k|   0 | 1.000000e+00 |      --      |    Inf 
302.48/302.68	c   283s|790000 |509437 |     0 |   0.0 | 379M| 337 |   - | 568 |2044 |   0 |   0 |   0 | 206k|   0 | 1.000000e+00 |      --      |    Inf 
307.58/307.77	c   287s|800000 |515087 |     0 |   0.0 | 383M| 337 |   - | 568 |1407 |   0 |   0 |   0 | 210k|   0 | 1.000000e+00 |      --      |    Inf 
312.67/312.83	c   292s|810000 |520661 |     0 |   0.0 | 388M| 337 |   - | 568 |1841 |   0 |   0 |   0 | 213k|   0 | 1.000000e+00 |      --      |    Inf 
317.68/317.83	c   297s|820000 |526370 |     0 |   0.0 | 392M| 337 |   - | 568 |1447 |   0 |   0 |   0 | 217k|   0 | 1.000000e+00 |      --      |    Inf 
322.57/322.71	c   302s|830000 |532343 |     0 |   0.0 | 397M| 337 |   - | 568 |1693 |   0 |   0 |   0 | 220k|   0 | 1.000000e+00 |      --      |    Inf 
327.07/327.22	c   306s|840000 |538363 |     0 |   0.0 | 401M| 337 |   - | 568 |1436 |   0 |   0 |   0 | 223k|   0 | 1.000000e+00 |      --      |    Inf 
331.97/332.12	c   310s|850000 |544202 |     0 |   0.0 | 405M| 337 |   - | 568 |1613 |   0 |   0 |   0 | 227k|   0 | 1.000000e+00 |      --      |    Inf 
336.66/336.88	c   315s|860000 |550266 |     0 |   0.0 | 410M| 337 |   - | 568 |2153 |   0 |   0 |   0 | 230k|   0 | 1.000000e+00 |      --      |    Inf 
341.77/341.90	c   320s|870000 |555973 |     0 |   0.0 | 414M| 337 |   - | 568 |1692 |   0 |   0 |   0 | 234k|   0 | 1.000000e+00 |      --      |    Inf 
346.16/346.38	c   324s|880000 |562368 |     0 |   0.0 | 419M| 337 |   - | 568 |1843 |   0 |   0 |   0 | 237k|   0 | 1.000000e+00 |      --      |    Inf 
350.95/351.11	c   328s|890000 |568346 |     0 |   0.0 | 423M| 337 |   - | 568 |1560 |   0 |   0 |   0 | 240k|   0 | 1.000000e+00 |      --      |    Inf 
355.76/355.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
355.76/355.91	c   333s|900000 |574089 |     0 |   0.0 | 427M| 337 |   - | 568 |1925 |   0 |   0 |   0 | 243k|   0 | 1.000000e+00 |      --      |    Inf 
360.35/360.50	c   337s|910000 |580203 |     0 |   0.0 | 432M| 337 |   - | 568 |2133 |   0 |   0 |   0 | 247k|   0 | 1.000000e+00 |      --      |    Inf 
365.25/365.40	c   342s|920000 |586025 |     0 |   0.0 | 436M| 337 |   - | 568 |1915 |   0 |   0 |   0 | 250k|   0 | 1.000000e+00 |      --      |    Inf 
370.05/370.29	c   346s|930000 |591857 |     0 |   0.0 | 440M| 337 |   - | 568 |2080 |   0 |   0 |   0 | 253k|   0 | 1.000000e+00 |      --      |    Inf 
374.55/374.76	c   351s|940000 |598161 |     0 |   0.0 | 444M| 337 |   - | 568 |1972 |   0 |   0 |   0 | 256k|   0 | 1.000000e+00 |      --      |    Inf 
379.65/379.80	c   355s|950000 |603861 |     0 |   0.0 | 449M| 337 |   - | 568 |2272 |   0 |   0 |   0 | 260k|   0 | 1.000000e+00 |      --      |    Inf 
384.85/385.01	c   360s|960000 |609482 |     0 |   0.0 | 453M| 337 |   - | 568 |2203 |   0 |   0 |   0 | 263k|   0 | 1.000000e+00 |      --      |    Inf 
390.05/390.25	c   365s|970000 |615115 |     0 |   0.0 | 457M| 337 |   - | 568 |2446 |   0 |   0 |   0 | 267k|   0 | 1.000000e+00 |      --      |    Inf 
395.44/395.67	c   371s|980000 |620657 |     0 |   0.0 | 461M| 337 |   - | 568 |2450 |   0 |   0 |   0 | 271k|   0 | 1.000000e+00 |      --      |    Inf 
400.93/401.10	c   376s|990000 |626018 |     0 |   0.0 | 466M| 337 |   - | 568 |2781 |   0 |   0 |   0 | 275k|   0 | 1.000000e+00 |      --      |    Inf 
406.13/406.39	c   381s|  1000k|631507 |     0 |   0.0 | 470M| 337 |   - | 568 |2762 |   0 |   0 |   0 | 279k|   0 | 1.000000e+00 |      --      |    Inf 
411.64/411.83	c   386s|  1010k|636990 |     0 |   0.0 | 474M| 337 |   - | 568 |2588 |   0 |   0 |   0 | 283k|   0 | 1.000000e+00 |      --      |    Inf 
417.24/417.46	c   391s|  1020k|642289 |     0 |   0.0 | 479M| 337 |   - | 568 |2915 |   0 |   0 |   0 | 287k|   0 | 1.000000e+00 |      --      |    Inf 
422.53/422.77	c   396s|  1030k|647853 |     0 |   0.0 | 483M| 337 |   - | 568 |3038 |   0 |   0 |   0 | 291k|   0 | 1.000000e+00 |      --      |    Inf 
427.82/428.08	c   401s|  1040k|653546 |     0 |   0.0 | 488M| 337 |   - | 568 |3178 |   0 |   0 |   0 | 294k|   0 | 1.000000e+00 |      --      |    Inf 
433.13/433.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
433.13/433.35	c   406s|  1050k|659185 |     0 |   0.0 | 492M| 337 |   - | 568 |2889 |   0 |   0 |   0 | 298k|   0 | 1.000000e+00 |      --      |    Inf 
438.33/438.55	c   411s|  1060k|664888 |     0 |   0.0 | 496M| 337 |   - | 568 |2464 |   0 |   0 |   0 | 302k|   0 | 1.000000e+00 |      --      |    Inf 
443.53/443.74	c   416s|  1070k|670525 |     0 |   0.0 | 501M| 337 |   - | 568 |2695 |   0 |   0 |   0 | 306k|   0 | 1.000000e+00 |      --      |    Inf 
448.52/448.76	c   421s|  1080k|676255 |     0 |   0.0 | 505M| 337 |   - | 568 |2880 |   0 |   0 |   0 | 310k|   0 | 1.000000e+00 |      --      |    Inf 
453.52/453.75	c   426s|  1090k|682001 |     0 |   0.0 | 509M| 337 |   - | 568 |2746 |   0 |   0 |   0 | 314k|   0 | 1.000000e+00 |      --      |    Inf 
458.52/458.78	c   431s|  1100k|687763 |     0 |   0.0 | 514M| 337 |   - | 568 |2304 |   0 |   0 |   0 | 318k|   0 | 1.000000e+00 |      --      |    Inf 
463.71/463.93	c   435s|  1110k|693263 |     0 |   0.0 | 518M| 337 |   - | 568 |2437 |   0 |   0 |   0 | 322k|   0 | 1.000000e+00 |      --      |    Inf 
468.82/469.02	c   440s|  1120k|698886 |     0 |   0.0 | 522M| 337 |   - | 568 |2492 |   0 |   0 |   0 | 326k|   0 | 1.000000e+00 |      --      |    Inf 
473.61/473.84	c   445s|  1130k|704797 |     0 |   0.0 | 527M| 337 |   - | 568 |2699 |   0 |   0 |   0 | 330k|   0 | 1.000000e+00 |      --      |    Inf 
478.41/478.67	c   449s|  1140k|710528 |     0 |   0.0 | 531M| 337 |   - | 568 |2282 |   0 |   0 |   0 | 334k|   0 | 1.000000e+00 |      --      |    Inf 
483.51/483.75	c   454s|  1150k|716003 |     0 |   0.0 | 535M| 337 |   - | 568 |2399 |   0 |   0 |   0 | 338k|   0 | 1.000000e+00 |      --      |    Inf 
488.51/488.76	c   459s|  1160k|721473 |     0 |   0.0 | 539M| 337 |   - | 568 |2433 |   0 |   0 |   0 | 342k|   0 | 1.000000e+00 |      --      |    Inf 
493.41/493.66	c   464s|  1170k|727049 |     0 |   0.0 | 544M| 337 |   - | 568 |2409 |   0 |   0 |   0 | 346k|   0 | 1.000000e+00 |      --      |    Inf 
498.01/498.28	c   468s|  1180k|733264 |     0 |   0.0 | 548M| 337 |   - | 568 |2059 |   0 |   0 |   0 | 349k|   0 | 1.000000e+00 |      --      |    Inf 
502.60/502.89	c   472s|  1190k|739349 |     0 |   0.0 | 553M| 337 |   - | 568 |2347 |   0 |   0 |   0 | 352k|   0 | 1.000000e+00 |      --      |    Inf 
507.50/507.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
507.50/507.72	c   477s|  1200k|744822 |     0 |   0.0 | 557M| 337 |   - | 568 |2246 |   0 |   0 |   0 | 356k|   0 | 1.000000e+00 |      --      |    Inf 
512.10/512.36	c   481s|  1210k|750497 |     0 |   0.0 | 561M| 337 |   - | 568 |2060 |   0 |   0 |   0 | 359k|   0 | 1.000000e+00 |      --      |    Inf 
516.81/517.07	c   486s|  1220k|756319 |     0 |   0.0 | 566M| 337 |   - | 568 |2076 |   0 |   0 |   0 | 363k|   0 | 1.000000e+00 |      --      |    Inf 
521.29/521.58	c   490s|  1230k|762252 |     0 |   0.0 | 570M| 337 |   - | 568 |2286 |   0 |   0 |   0 | 366k|   0 | 1.000000e+00 |      --      |    Inf 
525.80/526.09	c   494s|  1240k|768081 |     0 |   0.0 | 574M| 337 |   - | 568 |2282 |   0 |   0 |   0 | 369k|   0 | 1.000000e+00 |      --      |    Inf 
530.29/530.57	c   498s|  1250k|774180 |     0 |   0.0 | 579M| 337 |   - | 568 |1970 |   0 |   0 |   0 | 373k|   0 | 1.000000e+00 |      --      |    Inf 
534.49/534.78	c   502s|  1260k|780605 |     0 |   0.0 | 584M| 337 |   - | 568 |1997 |   0 |   0 |   0 | 375k|   0 | 1.000000e+00 |      --      |    Inf 
539.09/539.39	c   507s|  1270k|786554 |     0 |   0.0 | 588M| 337 |   - | 568 |2106 |   0 |   0 |   0 | 379k|   0 | 1.000000e+00 |      --      |    Inf 
543.89/544.13	c   511s|  1280k|792243 |     0 |   0.0 | 593M| 337 |   - | 568 |2188 |   0 |   0 |   0 | 382k|   0 | 1.000000e+00 |      --      |    Inf 
548.08/548.34	c   515s|  1290k|798850 |     0 |   0.0 | 597M| 337 |   - | 568 |1904 |   0 |   0 |   0 | 385k|   0 | 1.000000e+00 |      --      |    Inf 
552.68/552.92	c   519s|  1300k|804764 |     0 |   0.0 | 602M| 337 |   - | 568 |2124 |   0 |   0 |   0 | 388k|   0 | 1.000000e+00 |      --      |    Inf 
557.08/557.34	c   524s|  1310k|810942 |     0 |   0.0 | 606M| 337 |   - | 568 |2157 |   0 |   0 |   0 | 391k|   0 | 1.000000e+00 |      --      |    Inf 
561.28/561.51	c   527s|  1320k|817358 |     0 |   0.0 | 611M| 337 |   - | 568 |1971 |   0 |   0 |   0 | 394k|   0 | 1.000000e+00 |      --      |    Inf 
565.57/565.89	c   532s|  1330k|823684 |     0 |   0.0 | 616M| 337 |   - | 568 |2010 |   0 |   0 |   0 | 397k|   0 | 1.000000e+00 |      --      |    Inf 
569.67/569.95	c   535s|  1340k|830592 |     0 |   0.0 | 621M| 337 |   - | 568 |2100 |   0 |   0 |   0 | 399k|   0 | 1.000000e+00 |      --      |    Inf 
573.99/574.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
573.99/574.25	c   539s|  1350k|836655 |     0 |   0.0 | 626M| 337 |   - | 568 |2370 |   0 |   0 |   0 | 402k|   0 | 1.000000e+00 |      --      |    Inf 
578.67/578.92	c   544s|  1360k|842390 |     0 |   0.0 | 630M| 337 |   - | 568 |2268 |   0 |   0 |   0 | 405k|   0 | 1.000000e+00 |      --      |    Inf 
583.37/583.61	c   548s|  1370k|847836 |     0 |   0.0 | 634M| 337 |   - | 568 |2300 |   0 |   0 |   0 | 408k|   0 | 1.000000e+00 |      --      |    Inf 
587.57/587.86	c   552s|  1380k|853977 |     0 |   0.0 | 639M| 337 |   - | 568 |2233 |   0 |   0 |   0 | 411k|   0 | 1.000000e+00 |      --      |    Inf 
592.16/592.49	c   557s|  1390k|859754 |     0 |   0.0 | 644M| 337 |   - | 568 |2461 |   0 |   0 |   0 | 414k|   0 | 1.000000e+00 |      --      |    Inf 
596.46/596.70	c   561s|  1400k|866002 |     0 |   0.0 | 648M| 337 |   - | 568 |1698 |   0 |   0 |   0 | 417k|   0 | 1.000000e+00 |      --      |    Inf 
600.56/600.87	c   564s|  1410k|872144 |     0 |   0.0 | 653M| 337 |   - | 568 |1751 |   0 |   0 |   0 | 420k|   0 | 1.000000e+00 |      --      |    Inf 
604.96/605.20	c   569s|  1420k|877594 |     0 |   0.0 | 658M| 337 |   - | 568 |2195 |   0 |   0 |   0 | 423k|   0 | 1.000000e+00 |      --      |    Inf 
609.26/609.50	c   573s|  1430k|883595 |     0 |   0.0 | 663M| 337 |   - | 568 |1837 |   0 |   0 |   0 | 426k|   0 | 1.000000e+00 |      --      |    Inf 
613.66/613.91	c   577s|  1440k|889386 |     0 |   0.0 | 667M| 337 |   - | 568 |2076 |   0 |   0 |   0 | 429k|   0 | 1.000000e+00 |      --      |    Inf 
618.05/618.34	c   581s|  1450k|895054 |     0 |   0.0 | 672M| 337 |   - | 568 |2064 |   0 |   0 |   0 | 432k|   0 | 1.000000e+00 |      --      |    Inf 
622.45/622.76	c   585s|  1460k|900891 |     0 |   0.0 | 677M| 337 |   - | 568 |1939 |   0 |   0 |   0 | 435k|   0 | 1.000000e+00 |      --      |    Inf 
626.95/627.26	c   589s|  1470k|906416 |     0 |   0.0 | 682M| 337 |   - | 568 |1987 |   0 |   0 |   0 | 439k|   0 | 1.000000e+00 |      --      |    Inf 
631.45/631.77	c   593s|  1480k|912046 |     0 |   0.0 | 687M| 337 |   - | 568 |2123 |   0 |   0 |   0 | 442k|   0 | 1.000000e+00 |      --      |    Inf 
636.15/636.49	c   598s|  1490k|917566 |     0 |   0.0 | 691M| 337 |   - | 568 |2383 |   0 |   0 |   0 | 446k|   0 | 1.000000e+00 |      --      |    Inf 
640.84/641.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
640.84/641.18	c   602s|  1500k|923205 |     0 |   0.0 | 696M| 337 |   - | 568 |2269 |   0 |   0 |   0 | 449k|   0 | 1.000000e+00 |      --      |    Inf 
645.74/646.09	c   607s|  1510k|928512 |     0 |   0.0 | 701M| 337 |   - | 568 |2225 |   0 |   0 |   0 | 452k|   0 | 1.000000e+00 |      --      |    Inf 
650.44/650.76	c   611s|  1520k|934132 |     0 |   0.0 | 705M| 337 |   - | 568 |2378 |   0 |   0 |   0 | 456k|   0 | 1.000000e+00 |      --      |    Inf 
655.43/655.73	c   616s|  1530k|939560 |     0 |   0.0 | 710M| 337 |   - | 568 |2425 |   0 |   0 |   0 | 459k|   0 | 1.000000e+00 |      --      |    Inf 
660.44/660.78	c   621s|  1540k|944812 |     0 |   0.0 | 714M| 337 |   - | 568 |2442 |   0 |   0 |   0 | 463k|   0 | 1.000000e+00 |      --      |    Inf 
665.43/665.78	c   626s|  1550k|950188 |     0 |   0.0 | 719M| 337 |   - | 568 |2407 |   0 |   0 |   0 | 467k|   0 | 1.000000e+00 |      --      |    Inf 
670.63/670.98	c   631s|  1560k|955303 |     0 |   0.0 | 723M| 337 |   - | 568 |2485 |   0 |   0 |   0 | 470k|   0 | 1.000000e+00 |      --      |    Inf 
675.93/676.25	c   636s|  1570k|960478 |     0 |   0.0 | 728M| 337 |   - | 568 |2464 |   0 |   0 |   0 | 474k|   0 | 1.000000e+00 |      --      |    Inf 
681.52/681.80	c   641s|  1580k|965231 |     0 |   0.0 | 732M| 337 |   - | 568 |2679 |   0 |   0 |   0 | 478k|   0 | 1.000000e+00 |      --      |    Inf 
687.13/687.40	c   646s|  1590k|969903 |     0 |   0.0 | 736M| 337 |   - | 568 |2771 |   0 |   0 |   0 | 482k|   0 | 1.000000e+00 |      --      |    Inf 
692.32/692.63	c   651s|  1600k|974748 |     0 |   0.0 | 740M| 337 |   - | 568 |2060 |   0 |   0 |   0 | 486k|   0 | 1.000000e+00 |      --      |    Inf 
697.62/697.94	c   656s|  1610k|979245 |     0 |   0.0 | 744M| 337 |   - | 568 |2407 |   0 |   0 |   0 | 490k|   0 | 1.000000e+00 |      --      |    Inf 
702.81/703.12	c   661s|  1620k|984081 |     0 |   0.0 | 748M| 337 |   - | 568 |2494 |   0 |   0 |   0 | 493k|   0 | 1.000000e+00 |      --      |    Inf 
707.81/708.19	c   666s|  1630k|989080 |     0 |   0.0 | 753M| 337 |   - | 568 |2614 |   0 |   0 |   0 | 497k|   0 | 1.000000e+00 |      --      |    Inf 
712.71/713.04	c   671s|  1640k|994321 |     0 |   0.0 | 757M| 337 |   - | 568 |2446 |   0 |   0 |   0 | 500k|   0 | 1.000000e+00 |      --      |    Inf 
717.51/717.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
717.51/717.80	c   675s|  1650k|999486 |     0 |   0.0 | 761M| 337 |   - | 568 |2456 |   0 |   0 |   0 | 503k|   0 | 1.000000e+00 |      --      |    Inf 
722.21/722.59	c   680s|  1660k|  1004k|     0 |   0.0 | 765M| 337 |   - | 568 |2363 |   0 |   0 |   0 | 507k|   0 | 1.000000e+00 |      --      |    Inf 
727.21/727.58	c   684s|  1670k|  1009k|     0 |   0.0 | 769M| 337 |   - | 568 |2587 |   0 |   0 |   0 | 510k|   0 | 1.000000e+00 |      --      |    Inf 
732.21/732.52	c   689s|  1680k|  1015k|     0 |   0.0 | 773M| 337 |   - | 568 |2236 |   0 |   0 |   0 | 513k|   0 | 1.000000e+00 |      --      |    Inf 
737.01/737.35	c   693s|  1690k|  1020k|     0 |   0.0 | 777M| 337 |   - | 568 |2328 |   0 |   0 |   0 | 517k|   0 | 1.000000e+00 |      --      |    Inf 
741.71/742.06	c   698s|  1700k|  1025k|     0 |   0.0 | 781M| 337 |   - | 568 |2273 |   0 |   0 |   0 | 520k|   0 | 1.000000e+00 |      --      |    Inf 
746.20/746.58	c   702s|  1710k|  1031k|     0 |   0.0 | 785M| 337 |   - | 568 |2176 |   0 |   0 |   0 | 523k|   0 | 1.000000e+00 |      --      |    Inf 
750.69/751.05	c   706s|  1720k|  1036k|     0 |   0.0 | 790M| 337 |   - | 568 |2171 |   0 |   0 |   0 | 526k|   0 | 1.000000e+00 |      --      |    Inf 
754.90/755.23	c   710s|  1730k|  1043k|     0 |   0.0 | 794M| 337 |   - | 568 |2146 |   0 |   0 |   0 | 528k|   0 | 1.000000e+00 |      --      |    Inf 
759.40/759.76	c   715s|  1740k|  1048k|     0 |   0.0 | 798M| 337 |   - | 568 |1842 |   0 |   0 |   0 | 531k|   0 | 1.000000e+00 |      --      |    Inf 
763.70/764.04	c   719s|  1750k|  1054k|     0 |   0.0 | 803M| 337 |   - | 568 |1812 |   0 |   0 |   0 | 534k|   0 | 1.000000e+00 |      --      |    Inf 
767.99/768.38	c   723s|  1760k|  1059k|     0 |   0.0 | 807M| 337 |   - | 568 |1959 |   0 |   0 |   0 | 537k|   0 | 1.000000e+00 |      --      |    Inf 
772.29/772.66	c   727s|  1770k|  1065k|     0 |   0.0 | 812M| 337 |   - | 568 |1972 |   0 |   0 |   0 | 540k|   0 | 1.000000e+00 |      --      |    Inf 
776.69/777.03	c   731s|  1780k|  1071k|     0 |   0.0 | 817M| 337 |   - | 568 |1930 |   0 |   0 |   0 | 543k|   0 | 1.000000e+00 |      --      |    Inf 
780.89/781.25	c   735s|  1790k|  1077k|     0 |   0.0 | 821M| 337 |   - | 568 |1857 |   0 |   0 |   0 | 545k|   0 | 1.000000e+00 |      --      |    Inf 
785.09/785.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
785.09/785.46	c   739s|  1800k|  1082k|     0 |   0.0 | 826M| 337 |   - | 568 |1859 |   0 |   0 |   0 | 548k|   0 | 1.000000e+00 |      --      |    Inf 
789.19/789.50	c   742s|  1810k|  1089k|     0 |   0.0 | 831M| 337 |   - | 568 |1908 |   0 |   0 |   0 | 551k|   0 | 1.000000e+00 |      --      |    Inf 
793.38/793.76	c   746s|  1820k|  1094k|     0 |   0.0 | 835M| 337 |   - | 568 |1956 |   0 |   0 |   0 | 554k|   0 | 1.000000e+00 |      --      |    Inf 
796.78/797.11	c   750s|  1830k|  1102k|     0 |   0.0 | 840M| 337 |   - | 568 |1846 |   0 |   0 |   0 | 556k|   0 | 1.000000e+00 |      --      |    Inf 
800.28/800.67	c   753s|  1840k|  1108k|     0 |   0.0 | 846M| 337 |   - | 568 |1916 |   0 |   0 |   0 | 557k|   0 | 1.000000e+00 |      --      |    Inf 
803.58/803.99	c   756s|  1850k|  1116k|     0 |   0.0 | 851M| 337 |   - | 568 |1818 |   0 |   0 |   0 | 559k|   0 | 1.000000e+00 |      --      |    Inf 
808.18/808.56	c   760s|  1860k|  1121k|     0 |   0.0 | 856M| 337 |   - | 568 |2015 |   0 |   0 |   0 | 562k|   0 | 1.000000e+00 |      --      |    Inf 
812.97/813.34	c   765s|  1870k|  1126k|     0 |   0.0 | 860M| 337 |   - | 568 |1996 |   0 |   0 |   0 | 565k|   0 | 1.000000e+00 |      --      |    Inf 
817.77/818.15	c   769s|  1880k|  1131k|     0 |   0.0 | 864M| 337 |   - | 568 |2158 |   0 |   0 |   0 | 568k|   0 | 1.000000e+00 |      --      |    Inf 
822.28/822.66	c   774s|  1890k|  1136k|     0 |   0.0 | 869M| 337 |   - | 568 |2260 |   0 |   0 |   0 | 571k|   0 | 1.000000e+00 |      --      |    Inf 
826.97/827.34	c   778s|  1900k|  1142k|     0 |   0.0 | 873M| 337 |   - | 568 |2434 |   0 |   0 |   0 | 573k|   0 | 1.000000e+00 |      --      |    Inf 
831.07/831.40	c   782s|  1910k|  1148k|     0 |   0.0 | 878M| 337 |   - | 568 |2504 |   0 |   0 |   0 | 576k|   0 | 1.000000e+00 |      --      |    Inf 
834.97/835.34	c   785s|  1920k|  1154k|     0 |   0.0 | 883M| 337 |   - | 568 |2363 |   0 |   0 |   0 | 578k|   0 | 1.000000e+00 |      --      |    Inf 
838.15/838.58	c   788s|  1930k|  1162k|     0 |   0.0 | 889M| 337 |   - | 568 |2295 |   0 |   0 |   0 | 580k|   0 | 1.000000e+00 |      --      |    Inf 
841.05/841.48	o 241
841.05/841.48	c * 791s|  1937k|  1167k|     0 |   0.0 | 892M| 337 |   - | 568 |1997 |   0 |   0 |   0 | 581k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
842.05/842.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
842.05/842.49	c   792s|  1940k|  1168k|     0 |   0.0 | 893M| 337 |   - | 568 |2179 |   0 |   0 |   0 | 582k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
845.75/846.11	c   795s|  1950k|  1175k|     0 |   0.0 | 898M| 337 |   - | 568 |2157 |   0 |   0 |   0 | 584k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
849.45/849.83	c   799s|  1960k|  1181k|     0 |   0.0 | 903M| 337 |   - | 568 |2315 |   0 |   0 |   0 | 586k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
853.05/853.46	c   802s|  1970k|  1188k|     0 |   0.0 | 907M| 337 |   - | 568 | 807 |   0 |   0 |   0 | 588k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
856.34/856.77	c   805s|  1980k|  1196k|     0 |   0.0 | 913M| 337 |   - | 568 |1094 |   0 |   0 |   0 | 590k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
859.95/860.35	c   809s|  1990k|  1203k|     0 |   0.0 | 918M| 337 |   - | 568 |1206 |   0 |   0 |   0 | 592k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
863.74/864.19	c   812s|  2000k|  1209k|     0 |   0.0 | 922M| 337 |   - | 568 |1236 |   0 |   0 |   0 | 595k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
868.04/868.47	c   816s|  2010k|  1214k|     0 |   0.0 | 925M| 337 |   - | 568 |1208 |   0 |   0 |   0 | 598k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
873.05/873.48	c   821s|  2020k|  1219k|     0 |   0.0 | 929M| 337 |   - | 568 |1536 |   0 |   0 |   0 | 602k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
878.63/879.03	c   826s|  2030k|  1223k|     0 |   0.0 | 933M| 337 |   - | 568 |2315 |   0 |   0 |   0 | 607k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
881.84/882.24	c   829s|  2040k|  1230k|     0 |   0.0 | 937M| 337 |   - | 568 |1156 |   0 |   0 |   0 | 609k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
885.44/885.87	c   833s|  2050k|  1237k|     0 |   0.0 | 942M| 337 |   - | 568 |1623 |   0 |   0 |   0 | 611k|   0 | 1.000000e+00 | 2.410000e+02 |  Large 
889.23/889.61	o 3
889.23/889.61	c * 836s|  2057k|  1140k|     0 |   0.0 | 876M| 337 |   - | 568 |1643 |   0 |   0 |   0 | 613k|   0 | 1.000000e+00 | 3.000000e+00 | 200.00%
906.93/907.34	c 
906.93/907.34	c SCIP Status        : problem is solved [optimal solution found]
906.93/907.34	c Solving Time (sec) : 852.50
906.93/907.34	c Solving Nodes      : 2057869
906.93/907.34	c Primal Bound       : +3.00000000000000e+00 (2 solutions)
906.93/907.34	c Dual Bound         : +3.00000000000000e+00
906.93/907.34	c Gap                : 0.00 %
906.93/907.34	s OPTIMUM FOUND
906.93/907.34	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 x181 -x180 -x179 -x178 x177 -x128 -x127 -x126 -x125 -x124 -x123 
906.93/907.34	v -x122 x121 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 x120 x119 -x118 -x117 -x116 -x115 -x114 x113 -x168 -x167 -x166 -x165 
906.93/907.34	v -x164 -x163 -x162 -x161 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x104 
906.93/907.34	v -x103 -x102 -x101 -x100 -x99 -x98 x97 -x152 -x151 -x150 -x149 -x148 -x147 x146 x145 -x96 -x95 -x94 -x93 x92 -x91 -x90 x89 -x144 
906.93/907.34	v -x143 -x142 x141 -x140 -x139 x138 -x137 -x88 x87 x86 -x85 x84 x83 x82 x81 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 
906.93/907.34	v 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 -x55 -x54 
906.93/907.34	v -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 x38 x37 x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 x27 
906.93/907.34	v x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 -x13 -x12 x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 
906.93/907.34	c SCIP Status        : problem is solved [optimal solution found]
906.93/907.34	c Solving Time       :     852.50
906.93/907.34	c Original Problem   :
906.93/907.34	c   Problem name     : HOME/instance-2663647-1276649224.opb
906.93/907.34	c   Variables        : 704 (704 binary, 0 integer, 0 implicit integer, 0 continuous)
906.93/907.34	c   Constraints      : 529 initial, 529 maximal
906.93/907.34	c Presolved Problem  :
906.93/907.34	c   Problem name     : t_HOME/instance-2663647-1276649224.opb
906.93/907.34	c   Variables        : 568 (568 binary, 0 integer, 0 implicit integer, 0 continuous)
906.93/907.34	c   Constraints      : 409 initial, 3279 maximal
906.93/907.34	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
906.93/907.34	c   trivial          :       0.00          0          0          0          0          0          0          0          0
906.93/907.34	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
906.93/907.34	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
906.93/907.34	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
906.93/907.34	c   implics          :       0.00          0          0          0          0          0          0          0          0
906.93/907.34	c   probing          :       0.02          0          0          0          0          0          0          0          0
906.93/907.34	c   and              :       0.05         16        112          0          0          0        112          0        112
906.93/907.34	c   linear           :       0.02          1          7          0          0          0          0          0         54
906.93/907.34	c   logicor          :       0.00          0          0          0          0          0          0          0          0
906.93/907.34	c   root node        :          -         65          -          -         65          -          -          -          -
906.93/907.34	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
906.93/907.34	c   integral         :          0          0          0          0          0          0          0          0          0          0
906.93/907.34	c   and              :        392          0    4966313          0    1764861      57332    8774589          0          0          0
906.93/907.34	c   linear           :          8          0    4908979          0    1764861     406287    3858256          0          0          0
906.93/907.34	c   logicor          :          9+         0    2078369          0    1764656      15276     569530          0          0          0
906.93/907.34	c   countsols        :          0          0          0          0    1764863          0          0          0          0          0
906.93/907.34	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
906.93/907.34	c   integral         :       0.00       0.00       0.00       0.00       0.00
906.93/907.34	c   and              :     110.41       0.00      72.51       0.00      37.90
906.93/907.34	c   linear           :     233.79       0.00     231.98       0.00       1.81
906.93/907.34	c   logicor          :      81.71       0.00      77.83       0.00       3.88
906.93/907.34	c   countsols        :       0.69       0.00       0.00       0.00       0.69
906.93/907.34	c Propagators        :       Time      Calls    Cutoffs    DomReds
906.93/907.34	c   vbounds          :       2.04          2          0          0
906.93/907.34	c   rootredcost      :       2.25          0          0          0
906.93/907.34	c   pseudoobj        :       6.00    4965886          0         14
906.93/907.34	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
906.93/907.34	c   propagation      :     142.44     478895     476706    6246369       62.2      41297       56.4          -
906.93/907.34	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
906.93/907.34	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
906.93/907.34	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
906.93/907.34	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
906.93/907.34	c   applied globally :          -          -          -     593966       31.0          -          -          -
906.93/907.34	c   applied locally  :          -          -          -      19945       63.1          -          -          -
906.93/907.34	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
906.93/907.34	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
906.93/907.34	c   redcost          :       0.00          0          0          0          0          0
906.93/907.34	c   impliedbounds    :       0.00          0          0          0          0          0
906.93/907.34	c   intobj           :       0.00          0          0          0          0          0
906.93/907.34	c   cgmip            :       0.00          0          0          0          0          0
906.93/907.34	c   gomory           :       0.00          0          0          0          0          0
906.93/907.34	c   strongcg         :       0.00          0          0          0          0          0
906.93/907.34	c   cmir             :       0.00          0          0          0          0          0
906.93/907.34	c   flowcover        :       0.00          0          0          0          0          0
906.93/907.34	c   clique           :       0.00          0          0          0          0          0
906.93/907.34	c   zerohalf         :       0.00          0          0          0          0          0
906.93/907.34	c   mcf              :       0.00          0          0          0          0          0
906.93/907.34	c   rapidlearning    :       0.00          0          0          0          0          0
906.93/907.34	c Pricers            :       Time      Calls       Vars
906.93/907.34	c   problem variables:       0.00          0          0
906.93/907.34	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
906.93/907.34	c   relpscost        :       0.00          0          0          0          0          0          0
906.93/907.34	c   pscost           :       0.00          0          0          0          0          0          0
906.93/907.34	c   inference        :     118.98    1764861          0          0          0          0    3529722
906.93/907.34	c   mostinf          :       0.00          0          0          0          0          0          0
906.93/907.34	c   leastinf         :       0.00          0          0          0          0          0          0
906.93/907.34	c   fullstrong       :       0.00          0          0          0          0          0          0
906.93/907.34	c   allfullstrong    :       0.00          0          0          0          0          0          0
906.93/907.34	c   random           :       0.00          0          0          0          0          0          0
906.93/907.34	c Primal Heuristics  :       Time      Calls      Found
906.93/907.34	c   LP solutions     :       0.00          -          0
906.93/907.34	c   pseudo solutions :       0.52          -          2
906.93/907.34	c   oneopt           :       1.15          0          0
906.93/907.34	c   trivial          :       0.00          2          0
906.93/907.34	c   simplerounding   :       0.00          0          0
906.93/907.34	c   zirounding       :       0.00          0          0
906.93/907.34	c   rounding         :       0.00          0          0
906.93/907.34	c   shifting         :       0.00          0          0
906.93/907.34	c   intshifting      :       0.00          0          0
906.93/907.34	c   twoopt           :       0.00          0          0
906.93/907.34	c   fixandinfer      :       0.00          0          0
906.93/907.34	c   feaspump         :       0.00          0          0
906.93/907.34	c   coefdiving       :       0.00          0          0
906.93/907.34	c   pscostdiving     :       0.00          0          0
906.93/907.34	c   fracdiving       :       0.00          0          0
906.93/907.34	c   veclendiving     :       0.00          0          0
906.93/907.34	c   intdiving        :       0.00          0          0
906.93/907.34	c   actconsdiving    :       0.00          0          0
906.93/907.34	c   objpscostdiving  :       0.00          0          0
906.93/907.34	c   rootsoldiving    :       0.00          0          0
906.93/907.34	c   linesearchdiving :       0.00          0          0
906.93/907.34	c   guideddiving     :       0.00          0          0
906.93/907.34	c   octane           :       0.00          0          0
906.93/907.34	c   rens             :       0.00          0          0
906.93/907.34	c   rins             :       0.00          0          0
906.93/907.34	c   localbranching   :       0.00          0          0
906.93/907.34	c   mutation         :       0.00          0          0
906.93/907.34	c   crossover        :       0.00          0          0
906.93/907.34	c   dins             :       0.00          0          0
906.93/907.34	c   undercover       :       0.00          0          0
906.93/907.34	c   nlp              :       1.16          0          0
906.93/907.34	c   trysol           :       0.85          0          0
906.93/907.34	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
906.93/907.34	c   primal LP        :       0.00          0          0       0.00          -
906.93/907.34	c   dual LP          :       0.00          0          0       0.00          -
906.93/907.34	c   lex dual LP      :       0.00          0          0       0.00          -
906.93/907.34	c   barrier LP       :       0.00          0          0       0.00          -
906.93/907.34	c   diving/probing LP:       0.00          0          0       0.00          -
906.93/907.34	c   strong branching :       0.00          0          0       0.00          -
906.93/907.34	c     (at root node) :          -          0          0       0.00          -
906.93/907.34	c   conflict analysis:       0.00          0          0       0.00          -
906.93/907.34	c B&B Tree           :
906.93/907.34	c   number of runs   :          1
906.93/907.34	c   nodes            :    2057869
906.93/907.34	c   nodes (total)    :    2057869
906.93/907.34	c   nodes left       :          0
906.93/907.34	c   max depth        :        337
906.93/907.34	c   max depth (total):        337
906.93/907.34	c   backtracks       :     204940 (10.0%)
906.93/907.34	c   delayed cutoffs  :    1370820
906.93/907.34	c   repropagations   :     465385 (2032708 domain reductions, 185889 cutoffs)
906.93/907.34	c   avg switch length:       7.07
906.93/907.34	c   switching time   :     201.32
906.93/907.34	c Solution           :
906.93/907.34	c   Solutions found  :          2 (2 improvements)
906.93/907.34	c   First Solution   : +2.41000000000000e+02   (in run 1, after 1937457 nodes, 791.07 seconds, depth 167, found by <relaxation>)
906.93/907.34	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 2057868 nodes, 835.78 seconds, depth 159, found by <relaxation>)
906.93/907.34	c   Dual Bound       : +3.00000000000000e+00
906.93/907.34	c   Gap              :       0.00 %
906.93/907.34	c   Root Dual Bound  : +1.00000000000000e+00
906.93/907.34	c   Root Iterations  :          0
907.04/907.42	c Time complete: 907.05.

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663647-1276649224/watcher-2663647-1276649224 -o /tmp/evaluation-result-2663647-1276649224/solver-2663647-1276649224 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663647-1276649224.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12630
/proc/meminfo: memFree=1776688/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=6584 CPUtime=0
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 968 0 0 0 0 0 0 0 24 0 1 0 6214696 6742016 891 1992294400 4194304 7136930 140736447653856 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12630/statm: 1646 900 254 719 0 925 0

[startup+0.016145 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12630
/proc/meminfo: memFree=1776688/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=8664 CPUtime=0.01
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 1652 0 0 0 1 0 0 0 24 0 1 0 6214696 8871936 1575 1992294400 4194304 7136930 140736447653856 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12630/statm: 2166 1575 273 719 0 1445 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8664

[startup+0.101157 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12630
/proc/meminfo: memFree=1776688/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=11932 CPUtime=0.09
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 2881 0 0 0 4 5 0 0 24 0 1 0 6214696 12218368 2194 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 2983 2194 328 719 0 2262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11932

[startup+0.301194 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12630
/proc/meminfo: memFree=1776688/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=14060 CPUtime=0.29
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 8113 0 0 0 20 9 0 0 25 0 1 0 6214696 14397440 2800 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 3515 2800 394 719 0 2794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14060

[startup+0.701266 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12630
/proc/meminfo: memFree=1776688/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=15256 CPUtime=0.69
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 8400 0 0 0 56 13 0 0 25 0 1 0 6214696 15622144 3087 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 3814 3087 394 719 0 3093 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15256

[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12631
/proc/meminfo: memFree=1764528/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=18172 CPUtime=1.49
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 9157 0 0 0 129 20 0 0 25 0 1 0 6214696 18608128 3844 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 4543 3844 394 719 0 3822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18172

[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12631
/proc/meminfo: memFree=1760684/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=21648 CPUtime=3.09
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 10024 0 0 0 275 34 0 0 25 0 1 0 6214696 22167552 4711 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 5412 4711 394 719 0 4691 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21648

[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12631
/proc/meminfo: memFree=1753492/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=28816 CPUtime=6.29
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 11866 0 0 0 570 59 0 0 25 0 1 0 6214696 29507584 6553 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 7204 6553 394 719 0 6483 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28816

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12631
/proc/meminfo: memFree=1738860/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=43244 CPUtime=12.69
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 15518 0 0 0 1159 110 0 0 25 0 1 0 6214696 44281856 10205 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 10811 10205 394 719 0 10090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43244

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12631
/proc/meminfo: memFree=1713192/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=66324 CPUtime=25.49
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 21394 0 0 0 2333 216 0 0 25 0 1 0 6214696 67915776 16081 1992294400 4194304 7136930 140736447653856 18446744073709551615 4661069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 16581 16081 394 719 0 15860 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66324

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12631
/proc/meminfo: memFree=1680084/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=101892 CPUtime=51.07
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 29916 0 0 0 4720 387 0 0 25 0 1 0 6214696 104337408 24603 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 25473 24603 394 719 0 24752 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 101892

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12633
/proc/meminfo: memFree=1608412/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=171320 CPUtime=102.26
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 47569 0 0 0 9509 717 0 0 25 0 1 0 6214696 175431680 42256 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 42830 42256 394 719 0 42109 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 171320

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12635
/proc/meminfo: memFree=1521860/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=260068 CPUtime=162.23
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 69199 0 0 0 15085 1138 0 0 25 0 1 0 6214696 266309632 63886 1992294400 4194304 7136930 140736447653856 18446744073709551615 4644822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 65017 63886 394 719 0 64296 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 260068

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12637
/proc/meminfo: memFree=1441508/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=338072 CPUtime=222.21
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 89097 0 0 0 20672 1549 0 0 25 0 1 0 6214696 346185728 83784 1992294400 4194304 7136930 140736447653856 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 84518 83784 394 719 0 83797 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 338072

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12637
/proc/meminfo: memFree=1379756/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=407440 CPUtime=282.19
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 104694 0 0 0 26331 1888 0 0 25 0 1 0 6214696 417218560 99381 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 101860 99381 394 719 0 101139 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 407440

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12639
/proc/meminfo: memFree=1317632/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=467620 CPUtime=342.16
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 120038 0 0 0 32004 2212 0 0 25 0 1 0 6214696 478842880 114725 1992294400 4194304 7136930 140736447653856 18446744073709551615 5902326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 116905 114725 394 719 0 116184 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 467620

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12641
/proc/meminfo: memFree=1266544/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=517268 CPUtime=402.14
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 132727 0 0 0 37696 2518 0 0 25 0 1 0 6214696 529682432 127414 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 129317 127414 394 719 0 128596 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 517268

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12643
/proc/meminfo: memFree=1212976/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=569492 CPUtime=462.12
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 146024 0 0 0 43389 2823 0 0 25 0 1 0 6214696 583159808 140711 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 142373 140711 394 719 0 141652 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 569492

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12643
/proc/meminfo: memFree=1162632/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=619248 CPUtime=522.09
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 158733 0 0 0 49055 3154 0 0 25 0 1 0 6214696 634109952 153420 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 154812 153420 394 719 0 154091 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 619248

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12645
/proc/meminfo: memFree=1092448/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=687316 CPUtime=582.07
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 176058 0 0 0 54702 3505 0 0 25 0 1 0 6214696 703811584 170745 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 171829 170745 394 719 0 171108 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 687316

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12647
/proc/meminfo: memFree=1027224/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=751088 CPUtime=642.05
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 192322 0 0 0 60341 3864 0 0 25 0 1 0 6214696 769114112 187009 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 187772 187009 394 719 0 187051 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 751088

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12649
/proc/meminfo: memFree=978120/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=815524 CPUtime=702.02
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 204537 0 0 0 66040 4162 0 0 25 0 1 0 6214696 835096576 199224 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 203881 199224 394 719 0 203160 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 815524

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12651
/proc/meminfo: memFree=922444/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=869904 CPUtime=762
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 218415 0 0 0 71701 4499 0 0 25 0 1 0 6214696 890781696 213102 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 217476 213102 394 719 0 216755 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 869904

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12653
/proc/meminfo: memFree=850772/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=941232 CPUtime=821.97
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 236539 0 0 0 77321 4876 0 0 25 0 1 0 6214696 963821568 231226 1992294400 4194304 7136930 140736447653856 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 235308 231226 394 719 0 234587 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 941232

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12662
/proc/meminfo: memFree=782944/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=1006124 CPUtime=881.93
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 253151 0 0 0 82939 5254 0 0 25 0 1 0 6214696 1030270976 247838 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 251531 247838 394 719 0 250810 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 1006124

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

[startup+883.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12662
/proc/meminfo: memFree=782944/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=1008696 CPUtime=882.74
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 253802 0 0 0 83013 5261 0 0 25 0 1 0 6214696 1032904704 248489 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 252174 248489 394 719 0 251453 0
Current children cumulated CPU time (s) 882.74
Current children cumulated vsize (KiB) 1008696

[startup+895.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12662
/proc/meminfo: memFree=772032/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=1016228 CPUtime=895.53
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 256075 0 0 0 84190 5363 0 0 25 0 1 0 6214696 1040617472 250409 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 254057 250409 394 719 0 253336 0
Current children cumulated CPU time (s) 895.53
Current children cumulated vsize (KiB) 1016228

[startup+902.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12664
/proc/meminfo: memFree=772032/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=1016228 CPUtime=901.93
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 256075 0 0 0 84780 5413 0 0 25 0 1 0 6214696 1040617472 250409 1992294400 4194304 7136930 140736447653856 18446744073709551615 6165646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 254057 250409 394 719 0 253336 0
Current children cumulated CPU time (s) 901.93
Current children cumulated vsize (KiB) 1016228

[startup+905.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12664
/proc/meminfo: memFree=773396/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=1014816 CPUtime=905.12
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 256075 0 0 0 85080 5432 0 0 25 0 1 0 6214696 1039171584 250056 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 253704 250056 394 719 0 252983 0
Current children cumulated CPU time (s) 905.12
Current children cumulated vsize (KiB) 1014816

[startup+906.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12664
/proc/meminfo: memFree=773396/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=1014816 CPUtime=905.93
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 256075 0 0 0 85156 5437 0 0 25 0 1 0 6214696 1039171584 250056 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 253704 250056 394 719 0 252983 0
Current children cumulated CPU time (s) 905.93
Current children cumulated vsize (KiB) 1014816

[startup+907.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12664
/proc/meminfo: memFree=773396/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=1003340 CPUtime=906.73
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 256075 0 0 0 85232 5441 0 0 25 0 1 0 6214696 1027420160 247188 1992294400 4194304 7136930 140736447653856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 250835 247188 394 719 0 250114 0
Current children cumulated CPU time (s) 906.73
Current children cumulated vsize (KiB) 1003340

[startup+907.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12664
/proc/meminfo: memFree=773396/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=844484 CPUtime=906.93
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 256075 0 0 0 85249 5444 0 0 25 0 1 0 6214696 864751616 207474 1992294400 4194304 7136930 140736447653856 18446744073709551615 6360983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12630/statm: 211121 207474 394 719 0 210400 0
Current children cumulated CPU time (s) 906.93
Current children cumulated vsize (KiB) 844484

[startup+907.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12664
/proc/meminfo: memFree=1577320/2059040 swapFree=4192956/4192956
[pid=12630] ppid=12628 vsize=133896 CPUtime=907.04
/proc/12630/stat : 12630 (pbscip.linux.x8) R 12628 12630 11820 0 -1 4202496 256081 0 0 0 85252 5452 0 0 25 0 1 0 6214696 137109504 32726 1992294400 4194304 7136930 140736447653856 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12630/statm: 33181 32689 400 719 0 32460 0
Current children cumulated CPU time (s) 907.04
Current children cumulated vsize (KiB) 133896

Child status: 0
Real time (s): 907.426
CPU time (s): 907.061
CPU user time (s): 852.523
CPU system time (s): 54.5377
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 1017640

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

runsolver used 1.47078 second user time and 4.33834 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-16 02:47:04
IDJOB=2663647
IDBENCH=48020
IDSOLVER=1167
FILE ID=node044/2663647-1276649224
PBS_JOBID= 11172426
Free space on /tmp= 62588 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663647-1276649224/watcher-2663647-1276649224 -o /tmp/evaluation-result-2663647-1276649224/solver-2663647-1276649224 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663647-1276649224.opb -t 1800 -m 1800

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

MD5SUM BENCH= a6d214cc283b484f5cca285d86c4d8bb
RANDOM SEED=1381104997

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.266
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.266
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1777216 kB
Buffers:         22572 kB
Cached:         135012 kB
SwapCached:          0 kB
Active:         120792 kB
Inactive:        96176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1777216 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3240 kB
Writeback:           0 kB
AnonPages:       59376 kB
Mapped:          15328 kB
Slab:            43060 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180972 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62584 MiB
End job on node044 at 2010-06-16 03:02:12