Trace number 3717592

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
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedUNSAT 74.5777 74.6087

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-11_wcsp.wbo
MD5SUM69dbc7406636817ba2a44752a9d60525
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark7.19291
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1089
Total number of constraints40843
Number of soft constraints40810
Number of constraints which are clauses40810
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint33
Top cost 1
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 40810
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3717592-1338203118.wbo>
0.09/0.14	c original problem has 41899 variables (41899 bin, 0 int, 0 impl, 0 cont) and 40844 constraints
0.09/0.14	c problem read in 0.14
0.59/0.62	c presolving:
0.89/0.90	c (round 1) 81620 del vars, 40811 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 33 clqs
1.09/1.14	c (round 2) 81620 del vars, 41537 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 80168 impls, 33 clqs
2.39/2.40	c (round 3) 81645 del vars, 41537 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 114022 impls, 33 clqs
2.39/2.41	c (round 4) 81645 del vars, 43095 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 114022 impls, 33 clqs
2.59/2.62	c (round 5) 81670 del vars, 43095 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 119640 impls, 33 clqs
2.59/2.65	c (round 6) 81670 del vars, 43895 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 119640 impls, 33 clqs
2.59/2.67	c (round 7) 81670 del vars, 43903 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 119640 impls, 33 clqs
2.78/2.88	c (round 8) 81695 del vars, 43903 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 124888 impls, 33 clqs
2.89/2.90	c (round 9) 81695 del vars, 44703 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 124888 impls, 33 clqs
3.09/3.11	c (round 10) 81720 del vars, 44706 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 129904 impls, 33 clqs
3.09/3.13	c (round 11) 81720 del vars, 45506 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 129904 impls, 33 clqs
3.09/3.15	c (round 12) 81720 del vars, 45511 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 129904 impls, 33 clqs
3.29/3.35	c (round 13) 81745 del vars, 45511 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 134132 impls, 33 clqs
3.29/3.37	c (round 14) 81745 del vars, 46311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 134132 impls, 33 clqs
3.29/3.39	c (round 15) 81745 del vars, 46324 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 134132 impls, 33 clqs
3.49/3.57	c (round 16) 81770 del vars, 46324 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 138476 impls, 33 clqs
3.49/3.59	c (round 17) 81770 del vars, 46842 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 138476 impls, 33 clqs
3.69/3.78	c (round 18) 81795 del vars, 46842 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 142806 impls, 33 clqs
3.78/3.80	c (round 19) 81795 del vars, 47642 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 142806 impls, 33 clqs
3.89/3.96	c (round 20) 81820 del vars, 47642 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 146922 impls, 33 clqs
3.89/3.99	c (round 21) 81820 del vars, 48171 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 146922 impls, 33 clqs
4.09/4.14	c (round 22) 81845 del vars, 48171 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 150996 impls, 33 clqs
4.09/4.16	c (round 23) 81845 del vars, 48548 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 150996 impls, 33 clqs
4.29/4.32	c (round 24) 81870 del vars, 48548 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 155260 impls, 33 clqs
4.29/4.34	c (round 25) 81870 del vars, 48811 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 155260 impls, 33 clqs
4.49/4.50	c (round 26) 81895 del vars, 48811 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 159258 impls, 33 clqs
4.49/4.52	c (round 27) 81895 del vars, 49201 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 159258 impls, 33 clqs
4.59/4.67	c (round 28) 81920 del vars, 49201 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 162786 impls, 33 clqs
4.59/4.68	c (round 29) 81920 del vars, 49380 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 162786 impls, 33 clqs
4.69/4.70	c (round 30) 81920 del vars, 49675 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 162786 impls, 33 clqs
4.89/4.90	c (round 31) 81945 del vars, 49675 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 167874 impls, 33 clqs
4.89/4.91	c (round 32) 81945 del vars, 51039 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 167874 impls, 33 clqs
4.89/4.93	c (round 33) 81945 del vars, 51050 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 167874 impls, 33 clqs
4.99/5.07	c (round 34) 81970 del vars, 51050 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 172066 impls, 33 clqs
4.99/5.08	c (round 35) 81970 del vars, 51388 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 172066 impls, 33 clqs
5.09/5.10	c (round 36) 81970 del vars, 51996 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 172066 impls, 33 clqs
5.18/5.29	c (round 37) 81995 del vars, 51996 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 176956 impls, 33 clqs
5.29/5.30	c (round 38) 81995 del vars, 52627 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 176956 impls, 33 clqs
5.29/5.32	c (round 39) 81995 del vars, 52803 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 176956 impls, 33 clqs
5.40/5.43	c (round 40) 82020 del vars, 52803 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.40/5.44	c (round 41) 82020 del vars, 54289 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.40/5.47	c (round 42) 82020 del vars, 54402 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.50/5.55	c (round 43) 82045 del vars, 54402 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.50/5.56	c (round 44) 82045 del vars, 55882 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.50/5.58	c (round 45) 82045 del vars, 55885 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.50/5.59	c (round 46) 82045 del vars, 55888 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.59/5.61	c (round 47) 82045 del vars, 55891 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.69/5.73	c (round 48) 82070 del vars, 55892 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.69/5.74	c (round 49) 82070 del vars, 56225 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.69/5.76	c (round 50) 82070 del vars, 56812 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.69/5.78	c (round 51) 82070 del vars, 56831 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.79/5.80	c (round 52) 82070 del vars, 56837 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.79/5.82	c (round 53) 82070 del vars, 56841 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.79/5.83	c (round 54) 82070 del vars, 56845 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.88/5.95	c (round 55) 82095 del vars, 56847 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 185002 impls, 33 clqs
5.88/5.96	c (round 56) 82095 del vars, 57990 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 185002 impls, 33 clqs
5.88/5.98	c (round 57) 82095 del vars, 58136 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 185002 impls, 33 clqs
5.88/5.99	c    (6.0s) probing cycle finished: starting next cycle
5.98/6.08	c (round 58) 82120 del vars, 58138 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
5.98/6.09	c (round 59) 82120 del vars, 58648 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.09/6.11	c (round 60) 82120 del vars, 58999 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.09/6.14	c (round 61) 82120 del vars, 59021 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.09/6.16	c (round 62) 82120 del vars, 59037 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.09/6.18	c (round 63) 82120 del vars, 59048 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.19/6.20	c (round 64) 82120 del vars, 59057 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.19/6.22	c (round 65) 82120 del vars, 59066 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.19/6.24	c (round 66) 82120 del vars, 59073 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.19/6.29	c (round 67) 82145 del vars, 59073 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 33 clqs
6.29/6.30	c (round 68) 82145 del vars, 60133 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 33 clqs
6.29/6.32	c (round 69) 82156 del vars, 60196 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 31 clqs
6.29/6.33	c (round 70) 82156 del vars, 60762 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 31 clqs
6.29/6.35	c (round 71) 82156 del vars, 60772 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 31 clqs
6.29/6.37	c (round 72) 82181 del vars, 60772 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 28 clqs
6.29/6.38	c (round 73) 82181 del vars, 62053 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 28 clqs
6.39/6.41	c (round 74) 82184 del vars, 62085 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 27 clqs
6.39/6.41	c (round 75) 82184 del vars, 62228 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 27 clqs
6.39/6.43	c (round 76) 82184 del vars, 62236 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 27 clqs
6.39/6.45	c (round 77) 82209 del vars, 62236 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 25 clqs
6.39/6.46	c (round 78) 82209 del vars, 63483 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 25 clqs
6.39/6.49	c (round 79) 82212 del vars, 63540 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.39/6.49	c (round 80) 82212 del vars, 63661 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.49/6.56	c (round 81) 82212 del vars, 63851 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.49/6.58	c (round 82) 82212 del vars, 63869 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.49/6.59	c (round 83) 82212 del vars, 63882 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.61	c (round 84) 82212 del vars, 63890 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.62	c (round 85) 82212 del vars, 63894 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.63	c (round 86) 82212 del vars, 63898 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.64	c (round 87) 82212 del vars, 63902 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.66	c (round 88) 82212 del vars, 63906 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.67	c (round 89) 82212 del vars, 63910 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.68	c (round 90) 82212 del vars, 63913 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.68/6.75	c (round 91) 82237 del vars, 63913 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190304 impls, 21 clqs
6.68/6.76	c (round 92) 82237 del vars, 65138 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190304 impls, 21 clqs
6.79/6.82	c (round 93) 82237 del vars, 65352 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190304 impls, 21 clqs
6.79/6.83	c (round 94) 82237 del vars, 65358 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190304 impls, 21 clqs
6.79/6.86	c (round 95) 82262 del vars, 65358 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190572 impls, 21 clqs
6.79/6.87	c (round 96) 82262 del vars, 66499 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190572 impls, 21 clqs
6.79/6.88	c (round 97) 82262 del vars, 66526 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190572 impls, 21 clqs
6.79/6.89	c (round 98) 82262 del vars, 66537 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190572 impls, 21 clqs
6.88/6.94	c (round 99) 82287 del vars, 66537 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 191790 impls, 21 clqs
6.88/6.94	c (round 100) 82287 del vars, 67311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 191790 impls, 21 clqs
6.88/6.98	c (round 101) 82287 del vars, 67484 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 191790 impls, 21 clqs
6.88/6.99	c (round 102) 82287 del vars, 67490 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 191790 impls, 21 clqs
6.99/7.03	c (round 103) 82312 del vars, 67490 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 192806 impls, 21 clqs
6.99/7.04	c (round 104) 82312 del vars, 68245 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 192806 impls, 21 clqs
6.99/7.05	c (round 105) 82312 del vars, 68311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 192806 impls, 21 clqs
6.99/7.09	c (round 106) 82337 del vars, 68311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.08/7.10	c (round 107) 82337 del vars, 68735 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.29/7.38	c (round 108) 82337 del vars, 70284 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.29/7.39	c (round 109) 82337 del vars, 70309 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.39/7.40	c (round 110) 82337 del vars, 70311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.39/7.45	c (round 111) 82362 del vars, 70311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.39/7.46	c (round 112) 82362 del vars, 70470 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.49/7.51	c (round 113) 82362 del vars, 70858 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.49/7.52	c (round 114) 82362 del vars, 70860 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.49/7.53	c (round 115) 82362 del vars, 70876 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.49/7.56	c (round 116) 82387 del vars, 70876 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196650 impls, 21 clqs
7.49/7.56	c (round 117) 82387 del vars, 71731 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196650 impls, 21 clqs
7.49/7.59	c (round 118) 82387 del vars, 71780 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196650 impls, 21 clqs
7.49/7.60	c (round 119) 82387 del vars, 71782 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196650 impls, 21 clqs
7.59/7.62	c (round 120) 82412 del vars, 71782 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196754 impls, 21 clqs
7.59/7.62	c (round 121) 82412 del vars, 72781 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196754 impls, 21 clqs
7.59/7.64	c (round 122) 82412 del vars, 72824 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196754 impls, 21 clqs
7.69/7.73	c (round 123) 82412 del vars, 73021 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196754 impls, 21 clqs
7.69/7.74	c    (7.7s) probing cycle finished: starting next cycle
7.69/7.76	c (round 124) 82437 del vars, 73021 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 21 clqs
7.69/7.77	c (round 125) 82437 del vars, 73575 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 21 clqs
7.79/7.80	c (round 126) 82440 del vars, 73657 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 19 clqs
7.79/7.80	c (round 127) 82440 del vars, 73774 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 19 clqs
7.79/7.82	c (round 128) 82440 del vars, 73788 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 19 clqs
7.79/7.84	c (round 129) 82440 del vars, 73793 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 19 clqs
7.79/7.85	c (round 130) 82465 del vars, 73793 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 19 clqs
7.79/7.86	c (round 131) 82465 del vars, 74637 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 19 clqs
7.79/7.87	c (round 132) 82477 del vars, 74653 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.79/7.87	c (round 133) 82477 del vars, 75059 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.79/7.88	c (round 134) 82477 del vars, 75068 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.79/7.89	c (round 135) 82477 del vars, 75070 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.79/7.89	c (round 136) 82477 del vars, 75071 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.88/7.98	c    (8.0s) probing: 173/297 (58.2%) - 430 fixings, 418 aggregations, 53733 implications, 0 bound changes
7.88/7.98	c    (8.0s) probing aborted: 50/50 successive totally useless probings
7.88/7.98	c (round 137) 82500 del vars, 75071 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197552 impls, 11 clqs
7.88/7.98	c (round 138) 82500 del vars, 75715 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197552 impls, 11 clqs
7.99/8.06	c (round 139) 82500 del vars, 75856 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197552 impls, 11 clqs
7.99/8.07	c    (8.1s) probing: 178/297 (59.9%) - 430 fixings, 418 aggregations, 53733 implications, 0 bound changes
7.99/8.07	c    (8.1s) probing aborted: 50/50 successive totally useless probings
7.99/8.07	c presolving (140 rounds):
7.99/8.07	c  82500 deleted vars, 75856 deleted constraints, 0 added constraints, 40810 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.99/8.07	c  197552 implications, 11 cliques
7.99/8.07	c presolved problem has 209 variables (209 bin, 0 int, 0 impl, 0 cont) and 5798 constraints
7.99/8.07	c    5798 constraints of type <setppc>
7.99/8.07	c transformed objective value is always integral (scale: 1)
7.99/8.07	c Presolving Time: 7.85
7.99/8.07	c - non default parameters ----------------------------------------------------------------------
7.99/8.07	c # SCIP version 2.1.1.4
7.99/8.07	c 
7.99/8.07	c # maximal time in seconds to run
7.99/8.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.07	c limits/time = 1797
7.99/8.07	c 
7.99/8.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.99/8.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.07	c limits/memory = 13950
7.99/8.07	c 
7.99/8.07	c # default clock type (1: CPU user seconds, 2: wall clock time)
7.99/8.07	c # [type: int, range: [1,2], default: 1]
7.99/8.07	c timing/clocktype = 2
7.99/8.07	c 
7.99/8.07	c # belongs reading time to solving time?
7.99/8.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.07	c timing/reading = TRUE
7.99/8.07	c 
7.99/8.07	c # force restart if we have a max FS instance and gap is 1?
7.99/8.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.07	c constraints/indicator/forcerestart = TRUE
7.99/8.07	c 
7.99/8.07	c # priority of branching rule <inference>
7.99/8.07	c # [type: int, range: [-536870912,536870911], default: 1000]
7.99/8.07	c branching/inference/priority = 1000000
7.99/8.07	c 
7.99/8.07	c # frequency offset for calling primal heuristic <coefdiving>
7.99/8.07	c # [type: int, range: [0,2147483647], default: 1]
7.99/8.07	c heuristics/coefdiving/freqofs = 0
7.99/8.07	c 
7.99/8.07	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
7.99/8.07	c # [type: int, range: [-1,2147483647], default: 0]
7.99/8.07	c heuristics/shiftandpropagate/freq = -1
7.99/8.07	c 
7.99/8.07	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
7.99/8.07	c # [type: int, range: [-1,2147483647], default: 0]
7.99/8.07	c heuristics/undercover/freq = -1
7.99/8.07	c 
7.99/8.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.99/8.07	c # [type: int, range: [-1,2147483647], default: -1]
7.99/8.07	c separating/rapidlearning/freq = 0
7.99/8.07	c 
7.99/8.07	c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
7.99/8.07	c # [type: int, range: [-1,2147483647], default: -1]
7.99/8.07	c heuristics/indrounding/freq = 1
7.99/8.07	c 
7.99/8.07	c -----------------------------------------------------------------------------------------------
7.99/8.07	c start solving
7.99/8.07	c 
7.99/8.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.99/8.09	c   8.1s|     1 |     0 |    40 |     - | 166M|   0 |  33 | 209 |5798 | 209 |5798 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.98/9.04	c   9.0s|     1 |     0 |  2828 |     - | 166M|   0 |  33 | 209 |6177 | 209 |5810 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.08/9.10	c   9.1s|     1 |     0 |  2889 |     - | 166M|   0 |  44 | 209 |6177 | 209 |5819 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.08/9.18	c   9.2s|     1 |     0 |  2923 |     - | 167M|   0 |  48 | 209 |6177 | 209 |5828 |  30 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.39/9.42	c   9.4s|     1 |     0 |  2988 |     - | 167M|   0 |  50 | 209 |6177 | 209 |5838 |  40 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.58/9.69	c   9.7s|     1 |     0 |  3159 |     - | 167M|   0 |  37 | 209 |6177 | 209 |5847 |  49 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.80/9.88	c   9.9s|     1 |     0 |  3518 |     - | 167M|   0 |  44 | 209 |6177 | 209 |5853 |  55 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.19/10.20	c  10.2s|     1 |     2 |  3815 |     - | 167M|   0 |  44 | 209 |6177 | 209 |5853 |  55 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
11.69/11.79	c  11.8s|   100 |    33 |  7909 |  44.4 | 168M|  21 |  31 | 209 |6297 | 209 |5821 |  55 | 126 |   0 | 0.000000e+00 |      --      |    Inf 
12.19/12.23	c  12.2s|   200 |    37 |  9054 |  27.8 | 168M|  22 |  19 | 209 |6360 | 209 |5821 |  55 | 189 |   0 | 0.000000e+00 |      --      |    Inf 
12.78/12.82	c  12.8s|   300 |    43 | 10759 |  24.2 | 168M|  22 |  19 | 209 |6440 | 209 |5821 |  55 | 269 |   0 | 0.000000e+00 |      --      |    Inf 
13.38/13.42	c  13.4s|   400 |    44 | 12158 |  21.7 | 168M|  22 |  18 | 209 |6526 | 209 |5821 |  55 | 355 |   0 | 0.000000e+00 |      --      |    Inf 
13.79/13.81	c  13.8s|   500 |    46 | 13280 |  19.6 | 168M|  22 |   - | 209 |6594 |   0 |   0 |  55 | 423 |   0 | 0.000000e+00 |      --      |    Inf 
14.19/14.24	c  14.2s|   600 |    48 | 14741 |  18.7 | 168M|  22 |  25 | 209 |6658 | 209 |5821 |  55 | 487 |   0 | 0.000000e+00 |      --      |    Inf 
14.48/14.54	c  14.5s|   700 |    45 | 15635 |  17.3 | 168M|  22 |   - | 209 |6720 | 209 |5821 |  55 | 549 |   0 | 0.000000e+00 |      --      |    Inf 
14.79/14.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.79/14.89	c  14.9s|   800 |    47 | 16672 |  16.5 | 168M|  22 |  22 | 209 |6779 | 209 |5821 |  55 | 608 |   0 | 0.000000e+00 |      --      |    Inf 
15.08/15.19	c  15.2s|   900 |    47 | 17568 |  15.6 | 169M|  24 |  25 | 209 |6841 | 209 |5821 |  55 | 670 |   0 | 0.000000e+00 |      --      |    Inf 
15.49/15.50	c  15.5s|  1000 |    46 | 18525 |  15.0 | 169M|  24 |  28 | 209 |6895 | 209 |5821 |  55 | 724 |   0 | 0.000000e+00 |      --      |    Inf 
15.69/15.77	c  15.8s|  1100 |    45 | 19368 |  14.4 | 169M|  24 |   - | 209 |6939 | 209 |5821 |  55 | 768 |   0 | 0.000000e+00 |      --      |    Inf 
15.99/16.08	c  16.1s|  1200 |    44 | 20291 |  14.0 | 169M|  24 |   - | 209 |6993 | 209 |5821 |  55 | 822 |   0 | 0.000000e+00 |      --      |    Inf 
16.39/16.44	c  16.4s|  1300 |    42 | 21357 |  13.7 | 169M|  24 |  20 | 209 |7033 | 209 |5821 |  55 | 862 |   0 | 0.000000e+00 |      --      |    Inf 
16.79/16.82	c  16.8s|  1400 |    43 | 22414 |  13.5 | 169M|  24 |  25 | 209 |7086 | 209 |5821 |  55 | 915 |   0 | 0.000000e+00 |      --      |    Inf 
17.09/17.12	c  17.1s|  1500 |    38 | 23401 |  13.3 | 169M|  24 |  22 | 209 |7129 | 209 |5821 |  55 | 958 |   0 | 0.000000e+00 |      --      |    Inf 
17.38/17.45	c  17.4s|  1600 |    40 | 24446 |  13.1 | 169M|  24 |   - | 209 |7183 |   0 |   0 |  55 |1012 |   0 | 0.000000e+00 |      --      |    Inf 
17.79/17.83	c  17.8s|  1700 |    42 | 25674 |  13.0 | 169M|  24 |   - | 209 |7238 | 209 |5821 |  55 |1067 |   0 | 0.000000e+00 |      --      |    Inf 
18.08/18.12	c  18.1s|  1800 |    38 | 26567 |  12.8 | 169M|  24 |  14 | 209 |7283 | 209 |5821 |  55 |1112 |   0 | 0.000000e+00 |      --      |    Inf 
18.39/18.41	c  18.4s|  1900 |    38 | 27467 |  12.6 | 169M|  24 |   - | 209 |7330 | 209 |5821 |  55 |1161 |   0 | 0.000000e+00 |      --      |    Inf 
18.59/18.68	c  18.7s|  2000 |    41 | 28233 |  12.4 | 169M|  24 |  14 | 209 |7393 | 209 |5821 |  55 |1224 |   0 | 0.000000e+00 |      --      |    Inf 
18.88/18.99	c  19.0s|  2100 |    45 | 29112 |  12.2 | 169M|  24 |  24 | 209 |7483 | 209 |5821 |  55 |1315 |   0 | 0.000000e+00 |      --      |    Inf 
19.49/19.51	c  19.5s|  2200 |    46 | 31271 |  12.6 | 169M|  24 |   - | 209 |7533 | 209 |5821 |  55 |1367 |   0 | 0.000000e+00 |      --      |    Inf 
19.88/19.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.88/19.90	c  19.9s|  2300 |    43 | 32503 |  12.6 | 169M|  24 |   - | 209 |7573 | 209 |5821 |  55 |1408 |   0 | 0.000000e+00 |      --      |    Inf 
20.19/20.24	c  20.2s|  2400 |    45 | 33568 |  12.5 | 169M|  24 |  22 | 209 |7597 | 209 |5821 |  55 |1432 |   0 | 0.000000e+00 |      --      |    Inf 
20.59/20.61	c  20.6s|  2500 |    45 | 34702 |  12.5 | 169M|  24 |   - | 209 |7653 | 209 |5821 |  55 |1489 |   0 | 0.000000e+00 |      --      |    Inf 
20.89/20.96	c  21.0s|  2600 |    46 | 35912 |  12.5 | 169M|  24 |  21 | 209 |7694 | 209 |5821 |  55 |1530 |   0 | 0.000000e+00 |      --      |    Inf 
21.28/21.35	c  21.4s|  2700 |    45 | 37079 |  12.4 | 169M|  25 |  23 | 209 |7739 | 209 |5821 |  55 |1580 |   0 | 0.000000e+00 |      --      |    Inf 
21.59/21.64	c  21.6s|  2800 |    45 | 37995 |  12.3 | 169M|  25 |   - | 209 |7776 | 209 |5821 |  55 |1619 |   0 | 0.000000e+00 |      --      |    Inf 
21.89/21.96	c  22.0s|  2900 |    45 | 38826 |  12.2 | 169M|  25 |  27 | 209 |7815 | 209 |5821 |  55 |1666 |   0 | 0.000000e+00 |      --      |    Inf 
22.18/22.23	c  22.2s|  3000 |    45 | 39678 |  12.1 | 169M|  25 |   - | 209 |7853 |   0 |   0 |  55 |1710 |   0 | 0.000000e+00 |      --      |    Inf 
22.48/22.57	c  22.6s|  3100 |    46 | 40821 |  12.0 | 169M|  29 |   - | 209 |7889 | 209 |5821 |  55 |1749 |   0 | 0.000000e+00 |      --      |    Inf 
22.88/23.00	c  23.0s|  3200 |    41 | 42053 |  12.0 | 169M|  29 |   - | 209 |7919 | 209 |5821 |  55 |1785 |   0 | 0.000000e+00 |      --      |    Inf 
23.28/23.35	c  23.3s|  3300 |    43 | 43238 |  12.0 | 169M|  29 |  27 | 209 |7931 | 209 |5821 |  55 |1804 |   0 | 0.000000e+00 |      --      |    Inf 
23.59/23.64	c  23.6s|  3400 |    43 | 44169 |  12.0 | 169M|  29 |   - | 209 |7970 |   0 |   0 |  55 |1851 |   0 | 0.000000e+00 |      --      |    Inf 
23.89/23.99	c  24.0s|  3500 |    44 | 45132 |  11.9 | 169M|  29 |   - | 209 |8028 |   0 |   0 |  55 |1920 |   0 | 0.000000e+00 |      --      |    Inf 
24.28/24.34	c  24.3s|  3600 |    42 | 46256 |  11.9 | 169M|  29 |  23 | 209 |8063 | 209 |5821 |  55 |1961 |   0 | 0.000000e+00 |      --      |    Inf 
24.68/24.71	c  24.7s|  3700 |    37 | 47398 |  11.9 | 169M|  29 |   - | 209 |8085 | 209 |5821 |  55 |2002 |   0 | 0.000000e+00 |      --      |    Inf 
24.99/25.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.99/25.08	c  25.1s|  3800 |    36 | 48642 |  11.9 | 169M|  29 |   - | 209 |8126 | 209 |5821 |  55 |2056 |   0 | 0.000000e+00 |      --      |    Inf 
25.29/25.38	c  25.4s|  3900 |    37 | 49640 |  11.8 | 169M|  29 |  21 | 209 |8157 | 209 |5821 |  55 |2098 |   0 | 0.000000e+00 |      --      |    Inf 
25.68/25.71	c  25.7s|  4000 |    35 | 50539 |  11.8 | 169M|  29 |  22 | 209 |8214 | 209 |5821 |  55 |2164 |   0 | 0.000000e+00 |      --      |    Inf 
25.98/26.02	c  26.0s|  4100 |    32 | 51618 |  11.7 | 169M|  29 |  31 | 209 |8251 | 209 |5821 |  55 |2214 |   0 | 0.000000e+00 |      --      |    Inf 
26.29/26.38	c  26.4s|  4200 |    32 | 52634 |  11.7 | 169M|  29 |   - | 209 |8289 | 209 |5821 |  55 |2268 |   0 | 0.000000e+00 |      --      |    Inf 
26.58/26.68	c  26.7s|  4300 |    29 | 53627 |  11.7 | 169M|  29 |   - | 209 |8303 |   0 |   0 |  55 |2306 |   0 | 0.000000e+00 |      --      |    Inf 
26.89/26.99	c  27.0s|  4400 |    30 | 54619 |  11.6 | 169M|  29 |  25 | 209 |8326 | 209 |5821 |  55 |2361 |   0 | 0.000000e+00 |      --      |    Inf 
27.28/27.34	c  27.3s|  4500 |    30 | 55694 |  11.6 | 169M|  29 |  27 | 209 |8353 | 209 |5821 |  55 |2411 |   0 | 0.000000e+00 |      --      |    Inf 
27.78/27.84	c  27.8s|  4600 |    29 | 57079 |  11.6 | 169M|  30 |   - | 209 |8365 |   0 |   0 |  55 |2460 |   0 | 0.000000e+00 |      --      |    Inf 
28.08/28.16	c  28.2s|  4700 |    26 | 58129 |  11.6 | 169M|  31 |  29 | 209 |8377 | 209 |5821 |  55 |2502 |   0 | 0.000000e+00 |      --      |    Inf 
28.38/28.45	c  28.5s|  4800 |    22 | 59191 |  11.6 | 169M|  31 |   - | 209 |8390 | 209 |5821 |  55 |2531 |   0 | 0.000000e+00 |      --      |    Inf 
28.68/28.79	c  28.8s|  4900 |    22 | 60322 |  11.6 | 169M|  31 |   - | 209 |8399 | 209 |5821 |  55 |2570 |   0 | 0.000000e+00 |      --      |    Inf 
29.09/29.10	c  29.1s|  5000 |    23 | 61316 |  11.6 | 169M|  31 |  32 | 209 |8432 | 209 |5821 |  55 |2630 |   0 | 0.000000e+00 |      --      |    Inf 
29.48/29.52	c  29.5s|  5100 |    24 | 62636 |  11.6 | 169M|  31 |  19 | 209 |8447 | 209 |5821 |  55 |2671 |   0 | 0.000000e+00 |      --      |    Inf 
29.79/29.84	c  29.8s|  5200 |    25 | 63747 |  11.6 | 169M|  36 |  27 | 209 |8453 | 209 |5821 |  55 |2711 |   0 | 0.000000e+00 |      --      |    Inf 
30.18/30.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
30.18/30.20	c  30.2s|  5300 |    21 | 64891 |  11.6 | 169M|  36 |   - | 209 |8480 | 209 |5821 |  55 |2756 |   0 | 0.000000e+00 |      --      |    Inf 
30.48/30.50	c  30.5s|  5400 |    21 | 65769 |  11.5 | 169M|  36 |   - | 209 |8479 | 209 |5821 |  55 |2806 |   0 | 0.000000e+00 |      --      |    Inf 
30.79/30.81	c  30.8s|  5500 |    22 | 66716 |  11.5 | 169M|  36 |  30 | 209 |8504 | 209 |5821 |  55 |2855 |   0 | 0.000000e+00 |      --      |    Inf 
31.08/31.14	c  31.1s|  5600 |    21 | 67782 |  11.5 | 169M|  36 |   - | 209 |8544 |   0 |   0 |  55 |2917 |   0 | 0.000000e+00 |      --      |    Inf 
31.48/31.50	c  31.5s|  5700 |    22 | 68872 |  11.5 | 169M|  36 |   - | 209 |8545 | 209 |5821 |  55 |2957 |   0 | 0.000000e+00 |      --      |    Inf 
31.79/31.81	c  31.8s|  5800 |    20 | 69851 |  11.4 | 169M|  36 |   - | 209 |8561 | 209 |5821 |  55 |3006 |   0 | 0.000000e+00 |      --      |    Inf 
32.08/32.17	c  32.2s|  5900 |    20 | 70964 |  11.4 | 169M|  36 |   - | 209 |8587 |   0 |   0 |  55 |3064 |   0 | 0.000000e+00 |      --      |    Inf 
32.47/32.51	c  32.5s|  6000 |    22 | 72019 |  11.4 | 169M|  36 |  16 | 209 |8602 | 209 |5821 |  55 |3103 |   0 | 0.000000e+00 |      --      |    Inf 
32.78/32.85	c  32.9s|  6100 |    17 | 73125 |  11.4 | 169M|  36 |  28 | 209 |8612 | 209 |5821 |  55 |3154 |   0 | 0.000000e+00 |      --      |    Inf 
33.08/33.18	c  33.2s|  6200 |    17 | 74195 |  11.4 | 169M|  36 |  25 | 209 |8609 | 209 |5821 |  55 |3207 |   0 | 0.000000e+00 |      --      |    Inf 
33.38/33.49	c  33.5s|  6300 |    18 | 75200 |  11.4 | 169M|  36 |  23 | 209 |8627 | 209 |5821 |  55 |3261 |   0 | 0.000000e+00 |      --      |    Inf 
33.77/33.84	c  33.8s|  6400 |    16 | 76314 |  11.4 | 169M|  36 |  26 | 209 |8635 | 209 |5821 |  55 |3309 |   0 | 0.000000e+00 |      --      |    Inf 
34.09/34.16	c  34.2s|  6500 |    17 | 77385 |  11.4 | 169M|  36 |  21 | 209 |8630 | 209 |5821 |  55 |3338 |   0 | 0.000000e+00 |      --      |    Inf 
34.38/34.46	c  34.5s|  6600 |    18 | 78302 |  11.3 | 169M|  36 |  27 | 209 |8624 | 209 |5821 |  55 |3375 |   0 | 0.000000e+00 |      --      |    Inf 
34.78/34.81	c  34.8s|  6700 |    19 | 79484 |  11.3 | 169M|  36 |   - | 209 |8630 | 209 |5821 |  55 |3414 |   0 | 0.000000e+00 |      --      |    Inf 
35.08/35.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.08/35.12	c  35.1s|  6800 |    18 | 80549 |  11.3 | 169M|  36 |   - | 209 |8655 | 209 |5821 |  55 |3452 |   0 | 0.000000e+00 |      --      |    Inf 
35.38/35.45	c  35.5s|  6900 |    21 | 81574 |  11.3 | 169M|  36 |  20 | 209 |8670 | 209 |5821 |  55 |3511 |   0 | 0.000000e+00 |      --      |    Inf 
35.77/35.80	c  35.8s|  7000 |    20 | 82795 |  11.3 | 169M|  36 |  31 | 209 |8676 | 209 |5821 |  55 |3543 |   0 | 0.000000e+00 |      --      |    Inf 
36.08/36.18	c  36.2s|  7100 |    18 | 84079 |  11.3 | 169M|  36 |  27 | 209 |8651 | 209 |5821 |  55 |3573 |   0 | 0.000000e+00 |      --      |    Inf 
36.38/36.47	c  36.5s|  7200 |    18 | 85055 |  11.3 | 169M|  36 |   - | 209 |8637 |   0 |   0 |  55 |3616 |   0 | 0.000000e+00 |      --      |    Inf 
36.78/36.85	c  36.9s|  7300 |    12 | 86312 |  11.3 | 169M|  36 |  36 | 209 |8570 | 209 |5821 |  55 |3650 |   0 | 0.000000e+00 |      --      |    Inf 
37.07/37.16	c  37.2s|  7400 |    16 | 87323 |  11.3 | 169M|  36 |  28 | 209 |8567 | 209 |5821 |  55 |3690 |   0 | 0.000000e+00 |      --      |    Inf 
37.39/37.47	c  37.5s|  7500 |    16 | 88259 |  11.3 | 169M|  36 |   - | 209 |8572 |   0 |   0 |  55 |3735 |   0 | 0.000000e+00 |      --      |    Inf 
37.78/37.85	c  37.9s|  7600 |    17 | 89408 |  11.3 | 169M|  36 |  22 | 209 |8568 | 209 |5821 |  55 |3772 |   0 | 0.000000e+00 |      --      |    Inf 
38.18/38.21	c  38.2s|  7700 |    17 | 90450 |  11.3 | 169M|  36 |  16 | 209 |8602 | 209 |5821 |  55 |3824 |   0 | 0.000000e+00 |      --      |    Inf 
38.48/38.51	c  38.5s|  7800 |    16 | 91481 |  11.3 | 169M|  36 |  25 | 209 |8625 | 209 |5821 |  55 |3870 |   0 | 0.000000e+00 |      --      |    Inf 
38.78/38.83	c  38.8s|  7900 |    14 | 92571 |  11.3 | 169M|  36 |   - | 209 |8648 | 209 |5821 |  55 |3921 |   0 | 0.000000e+00 |      --      |    Inf 
39.17/39.21	c  39.2s|  8000 |    16 | 93794 |  11.3 | 169M|  36 |  25 | 209 |8651 | 209 |5821 |  55 |3957 |   0 | 0.000000e+00 |      --      |    Inf 
39.49/39.52	c  39.5s|  8100 |    17 | 94874 |  11.3 | 169M|  36 |   - | 209 |8663 |   0 |   0 |  55 |3987 |   0 | 0.000000e+00 |      --      |    Inf 
39.78/39.82	c  39.8s|  8200 |    15 | 95772 |  11.3 | 169M|  36 |   - | 209 |8667 | 209 |5821 |  55 |4024 |   0 | 0.000000e+00 |      --      |    Inf 
40.18/40.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
40.18/40.25	c  40.3s|  8300 |    18 | 97184 |  11.3 | 169M|  37 |  12 | 209 |8637 | 209 |5821 |  55 |4066 |   0 | 0.000000e+00 |      --      |    Inf 
40.48/40.58	c  40.6s|  8400 |    15 | 98300 |  11.3 | 169M|  39 |   - | 209 |8660 | 209 |5821 |  55 |4111 |   0 | 0.000000e+00 |      --      |    Inf 
40.98/41.04	c  41.0s|  8500 |    16 | 99543 |  11.3 | 169M|  39 |   - | 209 |8641 |   0 |   0 |  55 |4145 |   0 | 0.000000e+00 |      --      |    Inf 
41.27/41.31	c  41.3s|  8600 |    14 |100418 |  11.3 | 169M|  39 |   - | 209 |8654 | 209 |5821 |  55 |4186 |   0 | 0.000000e+00 |      --      |    Inf 
41.58/41.66	c  41.7s|  8700 |    17 |101682 |  11.3 | 169M|  39 |  30 | 209 |8650 | 209 |5821 |  55 |4232 |   0 | 0.000000e+00 |      --      |    Inf 
41.98/42.04	c  42.0s|  8800 |    17 |102833 |  11.3 | 169M|  39 |  25 | 209 |8637 | 209 |5821 |  55 |4252 |   0 | 0.000000e+00 |      --      |    Inf 
42.38/42.40	c  42.4s|  8900 |    17 |103972 |  11.3 | 169M|  39 |  17 | 209 |8640 | 209 |5821 |  55 |4306 |   0 | 0.000000e+00 |      --      |    Inf 
42.78/42.81	c  42.8s|  9000 |    14 |105226 |  11.3 | 169M|  39 |  30 | 209 |8626 | 209 |5821 |  55 |4361 |   0 | 0.000000e+00 |      --      |    Inf 
43.07/43.13	c  43.1s|  9100 |    13 |106377 |  11.3 | 169M|  39 |   - | 209 |8598 | 209 |5821 |  55 |4390 |   0 | 0.000000e+00 |      --      |    Inf 
43.38/43.46	c  43.5s|  9200 |    13 |107512 |  11.3 | 169M|  41 |   - | 209 |8539 |   0 |   0 |  55 |4434 |   0 | 0.000000e+00 |      --      |    Inf 
43.77/43.80	c  43.8s|  9300 |    15 |108727 |  11.3 | 169M|  41 |   - | 209 |8546 |   0 |   0 |  55 |4481 |   0 | 0.000000e+00 |      --      |    Inf 
44.08/44.11	c  44.1s|  9400 |    16 |109736 |  11.3 | 169M|  41 |   - | 209 |8568 | 209 |5821 |  55 |4535 |   0 | 0.000000e+00 |      --      |    Inf 
44.48/44.50	c  44.5s|  9500 |    18 |110936 |  11.3 | 169M|  41 |  19 | 209 |8592 | 209 |5821 |  55 |4581 |   0 | 0.000000e+00 |      --      |    Inf 
44.78/44.85	c  44.8s|  9600 |    11 |112077 |  11.3 | 169M|  41 |   - | 209 |8609 | 209 |5821 |  55 |4617 |   0 | 0.000000e+00 |      --      |    Inf 
45.17/45.26	c  45.3s|  9700 |    11 |113347 |  11.3 | 169M|  41 |   - | 209 |8618 | 209 |5821 |  55 |4651 |   0 | 0.000000e+00 |      --      |    Inf 
45.47/45.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.47/45.59	c  45.6s|  9800 |    13 |114557 |  11.3 | 169M|  41 |  23 | 209 |8626 | 209 |5821 |  55 |4676 |   0 | 0.000000e+00 |      --      |    Inf 
45.88/45.90	c  45.9s|  9900 |    12 |115670 |  11.3 | 169M|  41 |   - | 209 |8650 | 209 |5821 |  55 |4712 |   0 | 0.000000e+00 |      --      |    Inf 
46.08/46.20	c  46.2s| 10000 |    12 |116696 |  11.3 | 169M|  41 |   - | 209 |8672 |   0 |   0 |  55 |4748 |   0 | 0.000000e+00 |      --      |    Inf 
46.48/46.59	c  46.6s| 10100 |    13 |117813 |  11.3 | 169M|  41 |  22 | 209 |8675 | 209 |5821 |  55 |4793 |   0 | 0.000000e+00 |      --      |    Inf 
46.87/46.91	c  46.9s| 10200 |    11 |118999 |  11.3 | 169M|  41 |  29 | 209 |8670 | 209 |5821 |  55 |4829 |   0 | 0.000000e+00 |      --      |    Inf 
47.28/47.31	c  47.3s| 10300 |    13 |120376 |  11.3 | 169M|  41 |   - | 209 |8611 |   0 |   0 |  55 |4872 |   0 | 0.000000e+00 |      --      |    Inf 
47.57/47.62	c  47.6s| 10400 |    11 |121379 |  11.3 | 169M|  41 |   - | 209 |8622 | 209 |5821 |  55 |4901 |   0 | 0.000000e+00 |      --      |    Inf 
47.87/47.99	c  48.0s| 10500 |    11 |122648 |  11.3 | 169M|  41 |   - | 209 |8605 | 209 |5821 |  55 |4930 |   0 | 0.000000e+00 |      --      |    Inf 
48.28/48.37	c  48.4s| 10600 |    13 |123907 |  11.4 | 169M|  41 |  22 | 209 |8576 | 209 |5821 |  55 |4958 |   0 | 0.000000e+00 |      --      |    Inf 
48.57/48.69	c  48.7s| 10700 |    11 |124990 |  11.4 | 169M|  41 |   - | 209 |8610 | 209 |5821 |  55 |5011 |   0 | 0.000000e+00 |      --      |    Inf 
49.07/49.15	c  49.2s| 10800 |    12 |126438 |  11.4 | 168M|  41 |  14 | 209 |8605 | 209 |5821 |  55 |5057 |   0 | 0.000000e+00 |      --      |    Inf 
49.38/49.49	c  49.5s| 10900 |    12 |127728 |  11.4 | 168M|  41 |   - | 209 |8596 | 209 |5821 |  55 |5087 |   0 | 0.000000e+00 |      --      |    Inf 
49.77/49.89	c  49.9s| 11000 |    11 |129044 |  11.4 | 168M|  41 |  24 | 209 |8607 | 209 |5821 |  55 |5122 |   0 | 0.000000e+00 |      --      |    Inf 
50.17/50.21	c  50.2s| 11100 |    13 |130130 |  11.4 | 169M|  41 |   - | 209 |8633 | 209 |5821 |  55 |5172 |   0 | 0.000000e+00 |      --      |    Inf 
50.48/50.57	c  50.6s| 11200 |    10 |131294 |  11.4 | 168M|  41 |   - | 209 |8652 |   0 |   0 |  55 |5214 |   0 | 0.000000e+00 |      --      |    Inf 
50.87/50.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
50.87/50.96	c  51.0s| 11300 |    10 |132499 |  11.4 | 168M|  41 |   - | 209 |8641 | 209 |5821 |  55 |5246 |   0 | 0.000000e+00 |      --      |    Inf 
51.17/51.29	c  51.3s| 11400 |    11 |133711 |  11.4 | 168M|  41 |  27 | 209 |8630 | 209 |5821 |  55 |5267 |   0 | 0.000000e+00 |      --      |    Inf 
51.58/51.67	c  51.7s| 11500 |    10 |134877 |  11.4 | 168M|  41 |   - | 209 |8632 | 209 |5821 |  55 |5299 |   0 | 0.000000e+00 |      --      |    Inf 
51.87/51.97	c  52.0s| 11600 |    10 |135999 |  11.4 | 168M|  41 |  25 | 209 |8652 | 209 |5821 |  55 |5338 |   0 | 0.000000e+00 |      --      |    Inf 
52.28/52.31	c  52.3s| 11700 |     6 |137118 |  11.4 | 168M|  41 |   - | 209 |8624 | 209 |5821 |  55 |5388 |   0 | 0.000000e+00 |      --      |    Inf 
52.57/52.65	c  52.7s| 11800 |     9 |138189 |  11.4 | 168M|  41 |   - | 209 |8662 |   0 |   0 |  55 |5441 |   0 | 0.000000e+00 |      --      |    Inf 
52.97/53.01	c  53.0s| 11900 |    10 |139398 |  11.4 | 168M|  41 |  14 | 209 |8669 | 209 |5821 |  55 |5480 |   0 | 0.000000e+00 |      --      |    Inf 
53.17/53.29	c  53.3s| 12000 |     9 |140365 |  11.4 | 168M|  41 |   - | 209 |8695 | 209 |5821 |  55 |5531 |   0 | 0.000000e+00 |      --      |    Inf 
53.58/53.66	c  53.7s| 12100 |     7 |141563 |  11.4 | 168M|  41 |   - | 209 |8719 | 209 |5821 |  55 |5567 |   0 | 0.000000e+00 |      --      |    Inf 
53.88/53.99	c  54.0s| 12200 |     8 |142731 |  11.4 | 168M|  41 |   - | 209 |8722 |   0 |   0 |  55 |5598 |   0 | 0.000000e+00 |      --      |    Inf 
54.37/54.46	c  54.5s| 12300 |     9 |144066 |  11.4 | 168M|  41 |   - | 209 |8723 |   0 |   0 |  55 |5630 |   0 | 0.000000e+00 |      --      |    Inf 
54.67/54.72	c  54.7s| 12400 |     6 |144875 |  11.4 | 168M|  41 |   - | 209 |8741 | 209 |5821 |  55 |5664 |   0 | 0.000000e+00 |      --      |    Inf 
54.97/55.04	c  55.0s| 12500 |     7 |146034 |  11.4 | 168M|  41 |  24 | 209 |8761 | 209 |5821 |  55 |5706 |   0 | 0.000000e+00 |      --      |    Inf 
55.37/55.41	c  55.4s| 12600 |     5 |147204 |  11.4 | 168M|  41 |   - | 209 |8777 | 209 |5821 |  55 |5743 |   0 | 0.000000e+00 |      --      |    Inf 
55.78/55.82	c  55.8s| 12700 |     7 |148551 |  11.4 | 168M|  41 |  25 | 209 |8785 | 209 |5821 |  55 |5770 |   0 | 0.000000e+00 |      --      |    Inf 
56.17/56.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
56.17/56.22	c  56.2s| 12800 |     3 |150091 |  11.5 | 168M|  41 |   - | 209 |8770 | 209 |5821 |  55 |5784 |   0 | 0.000000e+00 |      --      |    Inf 
56.48/56.54	c  56.5s| 12900 |     7 |151266 |  11.5 | 168M|  41 |  21 | 209 |8770 | 209 |5821 |  55 |5819 |   0 | 0.000000e+00 |      --      |    Inf 
56.77/56.82	c  56.8s| 13000 |     6 |152265 |  11.4 | 168M|  41 |   - | 209 |8802 | 209 |5821 |  55 |5863 |   0 | 0.000000e+00 |      --      |    Inf 
57.08/57.16	c  57.2s| 13100 |     6 |153362 |  11.4 | 168M|  41 |  26 | 209 |8818 | 209 |5821 |  55 |5886 |   0 | 0.000000e+00 |      --      |    Inf 
57.47/57.53	c  57.5s| 13200 |     6 |154478 |  11.4 | 168M|  41 |  27 | 209 |8861 | 209 |5821 |  55 |5948 |   0 | 0.000000e+00 |      --      |    Inf 
57.77/57.84	c  57.8s| 13300 |     6 |155682 |  11.4 | 168M|  41 |   - | 209 |8888 |   0 |   0 |  55 |5990 |   0 | 0.000000e+00 |      --      |    Inf 
58.07/58.19	c  58.2s| 13400 |     6 |156786 |  11.4 | 168M|  41 |  28 | 209 |8907 | 209 |5821 |  55 |6027 |   0 | 0.000000e+00 |      --      |    Inf 
58.37/58.46	c  58.5s| 13500 |     5 |157644 |  11.4 | 168M|  41 |  28 | 209 |8943 | 209 |5821 |  55 |6079 |   0 | 0.000000e+00 |      --      |    Inf 
58.77/58.84	c  58.8s| 13600 |     5 |158827 |  11.4 | 168M|  42 |   - | 209 |8965 | 209 |5821 |  55 |6126 |   0 | 0.000000e+00 |      --      |    Inf 
59.06/59.15	c  59.1s| 13700 |     4 |159971 |  11.4 | 168M|  42 |   - | 209 |8976 |   0 |   0 |  55 |6165 |   0 | 0.000000e+00 |      --      |    Inf 
59.47/59.59	c  59.6s| 13800 |     4 |161203 |  11.4 | 168M|  42 |  18 | 209 |9001 | 209 |5821 |  55 |6204 |   0 | 0.000000e+00 |      --      |    Inf 
59.87/59.93	c  59.9s| 13900 |     7 |162435 |  11.4 | 168M|  42 |   - | 209 |9009 |   0 |   0 |  55 |6239 |   0 | 0.000000e+00 |      --      |    Inf 
60.17/60.24	c  60.2s| 14000 |     7 |163450 |  11.4 | 168M|  42 |  28 | 209 |9040 | 209 |5821 |  55 |6296 |   0 | 0.000000e+00 |      --      |    Inf 
60.56/60.62	c  60.6s| 14100 |    10 |164701 |  11.4 | 168M|  42 |  18 | 209 |9042 | 209 |5821 |  55 |6335 |   0 | 0.000000e+00 |      --      |    Inf 
60.87/60.95	c  60.9s| 14200 |     6 |165903 |  11.4 | 168M|  42 |   - | 209 |9071 | 209 |5821 |  55 |6375 |   0 | 0.000000e+00 |      --      |    Inf 
61.27/61.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
61.27/61.35	c  61.4s| 14300 |     8 |167056 |  11.4 | 169M|  42 |   - | 209 |9092 |   0 |   0 |  55 |6413 |   0 | 0.000000e+00 |      --      |    Inf 
61.57/61.65	c  61.7s| 14400 |     7 |168152 |  11.4 | 168M|  42 |   - | 209 |9105 |   0 |   0 |  55 |6450 |   0 | 0.000000e+00 |      --      |    Inf 
61.86/61.96	c  62.0s| 14500 |     7 |169210 |  11.4 | 169M|  42 |   - | 209 |9137 | 209 |5821 |  55 |6496 |   0 | 0.000000e+00 |      --      |    Inf 
62.27/62.30	c  62.3s| 14600 |     8 |170261 |  11.4 | 169M|  42 |   - | 209 |9166 | 209 |5821 |  55 |6547 |   0 | 0.000000e+00 |      --      |    Inf 
62.57/62.69	c  62.7s| 14700 |     6 |171621 |  11.4 | 168M|  42 |   - | 209 |9160 | 209 |5821 |  55 |6592 |   0 | 0.000000e+00 |      --      |    Inf 
63.06/63.10	c  63.1s| 14800 |     6 |173130 |  11.5 | 168M|  42 |   - | 209 |9163 | 209 |5821 |  55 |6619 |   0 | 0.000000e+00 |      --      |    Inf 
63.37/63.43	c  63.4s| 14900 |     6 |174274 |  11.5 | 168M|  42 |   - | 209 |9181 | 209 |5821 |  55 |6655 |   0 | 0.000000e+00 |      --      |    Inf 
63.77/63.85	c  63.9s| 15000 |     6 |175567 |  11.5 | 168M|  42 |   - | 209 |9204 |   0 |   0 |  55 |6701 |   0 | 0.000000e+00 |      --      |    Inf 
64.06/64.12	c  64.1s| 15100 |     6 |176492 |  11.5 | 168M|  42 |   - | 209 |9238 |   0 |   0 |  55 |6752 |   0 | 0.000000e+00 |      --      |    Inf 
64.36/64.40	c  64.4s| 15200 |     6 |177445 |  11.4 | 168M|  42 |   - | 209 |9253 | 209 |5821 |  55 |6790 |   0 | 0.000000e+00 |      --      |    Inf 
64.77/64.80	c  64.8s| 15300 |     4 |178704 |  11.5 | 168M|  42 |   - | 209 |9274 | 209 |5821 |  55 |6825 |   0 | 0.000000e+00 |      --      |    Inf 
65.07/65.11	c  65.1s| 15400 |     6 |179821 |  11.4 | 169M|  42 |  27 | 209 |9289 | 209 |5821 |  55 |6866 |   0 | 0.000000e+00 |      --      |    Inf 
65.47/65.56	c  65.6s| 15500 |     5 |181335 |  11.5 | 168M|  42 |  26 | 209 |9299 | 209 |5821 |  55 |6895 |   0 | 0.000000e+00 |      --      |    Inf 
65.97/66.02	c  66.0s| 15600 |     6 |182488 |  11.5 | 169M|  42 |  23 | 209 |9320 | 209 |5821 |  55 |6940 |   0 | 0.000000e+00 |      --      |    Inf 
66.26/66.33	c  66.3s| 15700 |     5 |183564 |  11.5 | 169M|  42 |   - | 209 |9329 |   0 |   0 |  55 |6969 |   0 | 0.000000e+00 |      --      |    Inf 
66.57/66.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
66.57/66.64	c  66.6s| 15800 |     5 |184703 |  11.5 | 168M|  42 |  18 | 209 |9348 | 209 |5821 |  55 |7002 |   0 | 0.000000e+00 |      --      |    Inf 
66.87/66.93	c  66.9s| 15900 |     5 |185693 |  11.5 | 168M|  42 |  32 | 209 |9353 | 209 |5821 |  55 |7033 |   0 | 0.000000e+00 |      --      |    Inf 
67.26/67.30	c  67.3s| 16000 |     5 |187026 |  11.5 | 169M|  42 |   - | 209 |9369 | 209 |5821 |  55 |7071 |   0 | 0.000000e+00 |      --      |    Inf 
67.67/67.71	c  67.7s| 16100 |     4 |188407 |  11.5 | 169M|  42 |   - | 209 |9366 | 209 |5821 |  55 |7094 |   0 | 0.000000e+00 |      --      |    Inf 
67.96/68.03	c  68.0s| 16200 |     5 |189615 |  11.5 | 169M|  42 |   - | 209 |9380 | 209 |5821 |  55 |7133 |   0 | 0.000000e+00 |      --      |    Inf 
68.36/68.44	c  68.4s| 16300 |     6 |190981 |  11.5 | 169M|  42 |   - | 209 |9396 |   0 |   0 |  55 |7176 |   0 | 0.000000e+00 |      --      |    Inf 
68.67/68.74	c  68.7s| 16400 |     5 |192036 |  11.5 | 169M|  42 |  25 | 209 |9437 | 209 |5821 |  55 |7230 |   0 | 0.000000e+00 |      --      |    Inf 
68.96/69.08	c  69.1s| 16500 |     6 |193240 |  11.5 | 169M|  42 |  25 | 209 |9453 | 209 |5821 |  55 |7264 |   0 | 0.000000e+00 |      --      |    Inf 
69.36/69.47	c  69.5s| 16600 |     6 |194522 |  11.5 | 169M|  43 |  18 | 209 |9471 | 209 |5821 |  55 |7297 |   0 | 0.000000e+00 |      --      |    Inf 
69.67/69.79	c  69.8s| 16700 |     4 |195622 |  11.5 | 169M|  44 |  31 | 209 |9489 | 209 |5821 |  55 |7336 |   0 | 0.000000e+00 |      --      |    Inf 
70.16/70.21	c  70.2s| 16800 |     7 |196986 |  11.5 | 169M|  44 |   - | 209 |9503 | 209 |5821 |  55 |7373 |   0 | 0.000000e+00 |      --      |    Inf 
70.46/70.58	c  70.6s| 16900 |     5 |198303 |  11.5 | 169M|  44 |   - | 209 |9503 | 209 |5821 |  55 |7398 |   0 | 0.000000e+00 |      --      |    Inf 
70.96/71.04	c  71.0s| 17000 |     6 |199676 |  11.5 | 169M|  44 |   - | 209 |9511 |   0 |   0 |  55 |7423 |   0 | 0.000000e+00 |      --      |    Inf 
71.26/71.34	c  71.3s| 17100 |     8 |200795 |  11.5 | 169M|  44 |  12 | 209 |9524 | 209 |5821 |  55 |7450 |   0 | 0.000000e+00 |      --      |    Inf 
71.47/71.59	c  71.6s| 17200 |     6 |201587 |  11.5 | 169M|  46 |  19 | 209 |9559 | 209 |5821 |  55 |7493 |   0 | 0.000000e+00 |      --      |    Inf 
71.86/71.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
71.86/71.97	c  72.0s| 17300 |     6 |202801 |  11.5 | 169M|  46 |   - | 209 |9565 | 209 |5821 |  55 |7523 |   0 | 0.000000e+00 |      --      |    Inf 
72.16/72.27	c  72.3s| 17400 |     6 |203871 |  11.5 | 169M|  46 |  27 | 209 |9582 | 209 |5821 |  55 |7552 |   0 | 0.000000e+00 |      --      |    Inf 
72.56/72.63	c  72.6s| 17500 |     6 |205091 |  11.5 | 169M|  46 |  12 | 209 |9603 | 209 |5821 |  55 |7591 |   0 | 0.000000e+00 |      --      |    Inf 
72.86/72.99	c  73.0s| 17600 |     5 |206187 |  11.5 | 169M|  46 |   - | 209 |9619 |   0 |   0 |  55 |7620 |   0 | 0.000000e+00 |      --      |    Inf 
73.26/73.39	c  73.4s| 17700 |     5 |207583 |  11.5 | 169M|  46 |   - | 209 |9636 |   0 |   0 |  55 |7649 |   0 | 0.000000e+00 |      --      |    Inf 
73.67/73.73	c  73.7s| 17800 |     6 |208702 |  11.5 | 169M|  46 |  20 | 209 |9652 | 209 |5821 |  55 |7680 |   0 | 0.000000e+00 |      --      |    Inf 
73.96/74.03	c  74.0s| 17900 |     3 |209725 |  11.5 | 169M|  46 |  32 | 209 |9657 | 209 |5821 |  55 |7704 |   0 | 0.000000e+00 |      --      |    Inf 
74.36/74.45	c  74.5s| 18000 |     2 |211250 |  11.5 | 169M|  46 |   - | 209 |9661 |   0 |   0 |  55 |7733 |   0 | 0.000000e+00 |      --      |    Inf 
74.36/74.49	c 
74.36/74.49	c SCIP Status        : problem is solved [infeasible]
74.36/74.49	c Solving Time (sec) : 74.49
74.36/74.49	c Solving Nodes      : 18011
74.36/74.49	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
74.36/74.49	c Dual Bound         : +1.00000000000000e+20
74.36/74.49	c Gap                : 0.00 %
74.36/74.49	s UNSATISFIABLE
74.36/74.49	c SCIP Status        : problem is solved [infeasible]
74.36/74.49	c Total Time         :      74.49
74.36/74.49	c   solving          :      74.49
74.36/74.49	c   presolving       :       7.85 (included in solving)
74.36/74.49	c   reading          :       0.14 (included in solving)
74.36/74.49	c   copying          :       0.03 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
74.36/74.49	c Original Problem   :
74.36/74.49	c   Problem name     : HOME/instance-3717592-1338203118.wbo
74.36/74.49	c   Variables        : 41899 (41899 binary, 0 integer, 0 implicit integer, 0 continuous)
74.36/74.49	c   Constraints      : 40844 initial, 40844 maximal
74.36/74.49	c   Objective sense  : minimize
74.36/74.49	c Presolved Problem  :
74.36/74.49	c   Problem name     : t_HOME/instance-3717592-1338203118.wbo
74.36/74.49	c   Variables        : 209 (209 binary, 0 integer, 0 implicit integer, 0 continuous)
74.36/74.49	c   Constraints      : 5798 initial, 9668 maximal
74.36/74.49	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
74.36/74.49	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   trivial          :       0.01       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   probing          :       4.32       0.00        430        418          0          0          0          0          0          0          0
74.36/74.49	c   setppc           :       2.55       0.00         32          0          0          0          0      34319          0          0          0
74.36/74.49	c   linear           :       0.40       0.01      40810          0          0      40810          0        727          0          0          0
74.36/74.49	c   indicator        :       0.07       0.00      40810          0          0          0          0      40810          0          0          0
74.36/74.49	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
74.36/74.49	c   root node        :          -          -          2          -          -          2          -          -          -          -          -
74.36/74.49	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
74.36/74.49	c   integral         :          0          0          0          0       9168          0       9172          0          0          0          0          0      18336
74.36/74.49	c   setppc           :       5798       5798          6      56746          0          0       9171     208087       3403     298610          0          0          0
74.36/74.49	c   linear           :          0+       379          6      48123          0          0          0       4358        416       9757          2          0          0
74.36/74.49	c   logicor          :          0+      3897          0      26041          0          0          0       8453        513      12390          0          0          0
74.36/74.49	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
74.36/74.49	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
74.36/74.49	c   integral         :       0.13       0.00       0.00       0.00       0.07       0.00       0.06       0.00
74.36/74.49	c   setppc           :       5.31       0.00       0.00       5.21       0.00       0.00       0.03       0.08
74.36/74.49	c   linear           :       0.34       0.01       0.00       0.32       0.00       0.00       0.00       0.01
74.36/74.49	c   logicor          :       0.69       0.00       0.00       0.68       0.00       0.00       0.00       0.01
74.36/74.49	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
74.36/74.49	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
74.36/74.49	c   rootredcost      :          0          0          0          0
74.36/74.49	c   pseudoobj        :          0          0          0          0
74.36/74.49	c   vbounds          :          0          0          0          0
74.36/74.49	c   redcost          :       9174          0          0          0
74.36/74.49	c   probing          :          0          0          0          0
74.36/74.49	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
74.36/74.49	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00
74.36/74.49	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00
74.36/74.49	c   vbounds          :       0.01       0.00       0.00       0.01       0.00
74.36/74.49	c   redcost          :       0.04       0.00       0.00       0.04       0.00
74.36/74.49	c   probing          :       4.32       0.00       4.32       0.00       0.00
74.36/74.49	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
74.36/74.49	c   propagation      :       0.22       4332       3890      16978       31.9         88       24.3          -
74.36/74.49	c   infeasible LP    :       0.47       5743        533       2591       38.3          1       12.0          0
74.36/74.49	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
74.36/74.49	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
74.36/74.49	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
74.36/74.49	c   applied globally :          -          -          -       7689       15.8          -          -          -
74.36/74.49	c   applied locally  :          -          -          -         49       38.8          -          -          -
74.36/74.49	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
74.36/74.49	c   cut pool         :       0.00                     5          -          -          1          -    (maximal pool size: 353)
74.36/74.49	c   closecuts        :       0.00       0.00          0          0          0          0          0
74.36/74.49	c   impliedbounds    :       0.00       0.00          6          0          0          0          0
74.36/74.49	c   intobj           :       0.00       0.00          0          0          0          0          0
74.36/74.49	c   gomory           :       0.24       0.00          6          0          0        300          0
74.36/74.49	c   cgmip            :       0.00       0.00          0          0          0          0          0
74.36/74.49	c   strongcg         :       0.39       0.00          6          0          0       2943          0
74.36/74.49	c   cmir             :       0.03       0.00          6          0          0          0          0
74.36/74.49	c   flowcover        :       0.08       0.00          6          0          0          0          0
74.36/74.49	c   clique           :       0.01       0.00          6          0          0         47          0
74.36/74.49	c   zerohalf         :       0.00       0.00          0          0          0          0          0
74.36/74.49	c   mcf              :       0.00       0.00          1          0          0          0          0
74.36/74.49	c   oddcycle         :       0.00       0.00          0          0          0          0          0
74.36/74.49	c   rapidlearning    :       0.37       0.00          1          0          0          0        379
74.36/74.49	c Pricers            :   ExecTime  SetupTime      Calls       Vars
74.36/74.49	c   problem variables:       0.00          -          0          0
74.36/74.49	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
74.36/74.49	c   inference        :       0.06       0.00       9168          0          0          0          0      18336
74.36/74.49	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
74.36/74.49	c   pscost           :       0.00       0.00          0          0          0          0          0          0
74.36/74.49	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
74.36/74.49	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
74.36/74.49	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
74.36/74.49	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
74.36/74.49	c   random           :       0.00       0.00          0          0          0          0          0          0
74.36/74.49	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
74.36/74.49	c   LP solutions     :       0.00          -          -          0
74.36/74.49	c   pseudo solutions :       0.00          -          -          0
74.36/74.49	c   oneopt           :       0.01       0.00          0          0
74.36/74.49	c   crossover        :       0.01       0.00          0          0
74.36/74.49	c   guideddiving     :       0.00       0.00          0          0
74.36/74.49	c   fracdiving       :       0.19       0.00          3          0
74.36/74.49	c   veclendiving     :       0.13       0.00          3          0
74.36/74.49	c   rootsoldiving    :       0.22       0.00          2          0
74.36/74.49	c   objpscostdiving  :       0.05       0.00          2          0
74.36/74.49	c   pscostdiving     :       0.59       0.00          4          0
74.36/74.49	c   linesearchdiving :       0.10       0.00          4          0
74.36/74.49	c   feaspump         :       0.72       0.00          2          0
74.36/74.49	c   smallcard        :       0.00       0.00          0          0
74.36/74.49	c   trivial          :       0.06       0.00          2          0
74.36/74.49	c   shiftandpropagate:       0.00       0.00          0          0
74.36/74.49	c   simplerounding   :       0.00       0.00          0          0
74.36/74.49	c   zirounding       :       0.26       0.00          0          0
74.36/74.49	c   rounding         :       0.26       0.00       1290          0
74.36/74.49	c   shifting         :       0.22       0.00        371          0
74.36/74.49	c   intshifting      :       0.00       0.00          0          0
74.36/74.49	c   twoopt           :       0.00       0.00          0          0
74.36/74.49	c   indoneopt        :       0.01       0.00          0          0
74.36/74.49	c   indtwoopt        :       0.00       0.00          0          0
74.36/74.49	c   fixandinfer      :       0.00       0.00          0          0
74.36/74.49	c   clique           :       0.00       0.00          0          0
74.36/74.49	c   coefdiving       :       8.02       0.00        208          0
74.36/74.49	c   indcoefdiving    :       0.00       0.00          0          0
74.36/74.49	c   indrounding      :       0.29       0.00       9168          0
74.36/74.49	c   nlpdiving        :       0.00       0.00          0          0
74.36/74.49	c   intdiving        :       0.00       0.00          0          0
74.36/74.49	c   actconsdiving    :       0.00       0.00          0          0
74.36/74.49	c   octane           :       0.00       0.00          0          0
74.36/74.49	c   rens             :       0.06       0.00          1          0
74.36/74.49	c   rins             :       0.00       0.00          0          0
74.36/74.49	c   localbranching   :       0.00       0.00          0          0
74.36/74.49	c   mutation         :       0.00       0.00          0          0
74.36/74.49	c   dins             :       0.00       0.00          0          0
74.36/74.49	c   vbounds          :       0.00       0.00          0          0
74.36/74.49	c   undercover       :       0.00       0.00          0          0
74.36/74.49	c   subnlp           :       0.00       0.00          0          0
74.36/74.49	c   trysol           :       0.01       0.00          0          0
74.36/74.49	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
74.36/74.49	c   primal LP        :       0.00          1          0       0.00          -       0.00          1
74.36/74.49	c   dual LP          :      42.29      14685     192653      13.17    4556.05       0.04         60
74.36/74.49	c   lex dual LP      :       0.00          0          0       0.00          -
74.36/74.49	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
74.36/74.49	c   diving/probing LP:       7.54       6477      18724       2.89    2483.51
74.36/74.49	c   strong branching :       0.00          0          0       0.00          -
74.36/74.49	c     (at root node) :          -          0          0       0.00          -
74.36/74.49	c   conflict analysis:       0.00          0          0       0.00          -
74.36/74.49	c B&B Tree           :
74.36/74.49	c   number of runs   :          1
74.36/74.49	c   nodes            :      18011
74.36/74.49	c   nodes (total)    :      18011
74.36/74.49	c   nodes left       :          0
74.36/74.49	c   max depth        :         46
74.36/74.49	c   max depth (total):         46
74.36/74.49	c   backtracks       :       2575 (14.3%)
74.36/74.49	c   delayed cutoffs  :        326
74.36/74.49	c   repropagations   :       7127 (19733 domain reductions, 316 cutoffs)
74.36/74.49	c   avg switch length:       3.24
74.36/74.49	c   switching time   :       3.36
74.36/74.49	c Solution           :
74.36/74.49	c   Solutions found  :          0 (0 improvements)
74.36/74.49	c   Primal Bound     : infeasible
74.36/74.49	c   Dual Bound       :          -
74.36/74.49	c   Gap              :       0.00 %
74.36/74.49	c   Root Dual Bound  : +0.00000000000000e+00
74.36/74.49	c   Root Iterations  :       3518
74.56/74.60	c Time complete: 74.57.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717592-1338203118/watcher-3717592-1338203118 -o /tmp/evaluation-result-3717592-1338203118/solver-3717592-1338203118 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717592-1338203118.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.09 2.08 2.02 3/176 4386
/proc/meminfo: memFree=27412512/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=11172 CPUtime=0 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 1557 0 0 0 0 0 0 0 20 0 1 0 286437303 11440128 1512 33554432000 4194304 10173063 140733230394640 140736978350728 7545739 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 2793 1512 416 1460 0 1324 0

[startup+0.032222 s]
/proc/loadavg: 2.09 2.08 2.02 3/176 4386
/proc/meminfo: memFree=27412512/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=20012 CPUtime=0.02 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 3736 0 0 0 2 0 0 0 20 0 1 0 286437303 20492288 3691 33554432000 4194304 10173063 140733230394640 140736978350728 7411949 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 5003 3691 416 1460 0 3534 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20012

[startup+0.100226 s]
/proc/loadavg: 2.09 2.08 2.02 3/176 4386
/proc/meminfo: memFree=27412512/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=41492 CPUtime=0.09 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 9148 0 0 0 8 1 0 0 20 0 1 0 286437303 42487808 9084 33554432000 4194304 10173063 140733230394640 140736978350728 7545739 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 10373 9084 416 1460 0 8904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41492

[startup+0.300237 s]
/proc/loadavg: 2.09 2.08 2.02 3/176 4386
/proc/meminfo: memFree=27412512/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=124156 CPUtime=0.29 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 29579 0 0 0 26 3 0 0 20 0 1 0 286437303 127135744 29418 33554432000 4194304 10173063 140733230394640 140733230388568 5479875 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 31039 29418 522 1460 0 29570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 124156

[startup+0.700188 s]
/proc/loadavg: 2.09 2.08 2.02 3/176 4386
/proc/meminfo: memFree=27412512/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=258952 CPUtime=0.69 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 61816 0 0 0 61 8 0 0 20 0 1 0 286437303 265166848 61652 33554432000 4194304 10173063 140733230394640 140733230391640 5749428 0 0 4096 16384 0 0 0 17 7 0 0 0 0 0
/proc/4386/statm: 64738 61652 554 1460 0 63269 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 258952

[startup+1.5002 s]
/proc/loadavg: 2.09 2.08 2.02 3/177 4387
/proc/meminfo: memFree=27167844/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=277188 CPUtime=1.48 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 67451 0 0 0 136 12 0 0 20 0 1 0 286437303 283840512 66193 33554432000 4194304 10173063 140733230394640 140733230391880 4784724 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 69297 66193 605 1460 0 67828 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 277188

[startup+3.10026 s]
/proc/loadavg: 2.09 2.08 2.02 3/177 4387
/proc/meminfo: memFree=27149860/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=275064 CPUtime=3.09 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 67454 0 0 0 293 16 0 0 20 0 1 0 286437303 281665536 65665 33554432000 4194304 10173063 140733230394640 140733230391880 8963895 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 68766 65665 608 1460 0 67297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 275064

[startup+6.30026 s]
/proc/loadavg: 2.09 2.08 2.02 3/177 4387
/proc/meminfo: memFree=27150732/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=275064 CPUtime=6.29 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 67456 0 0 0 593 36 0 0 20 0 1 0 286437303 281665536 65667 33554432000 4194304 10173063 140733230394640 140733230391880 4911952 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 68766 65667 608 1460 0 67297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 275064

[startup+12.7002 s]
/proc/loadavg: 2.08 2.08 2.02 3/177 4387
/proc/meminfo: memFree=27122600/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=302148 CPUtime=12.68 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75403 0 0 0 1208 60 0 0 20 0 1 0 286437303 309399552 72580 33554432000 4194304 10173063 140733230394640 140733230388280 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 75537 72580 853 1460 0 74068 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 302148

[startup+25.5002 s]
/proc/loadavg: 2.06 2.07 2.02 3/177 4387
/proc/meminfo: memFree=27123476/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=302148 CPUtime=25.48 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75403 0 0 0 2474 74 0 0 20 0 1 0 286437303 309399552 72580 33554432000 4194304 10173063 140733230394640 140733230387992 8963895 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 75537 72580 853 1460 0 74068 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 302148

[startup+51.1002 s]
/proc/loadavg: 2.04 2.07 2.01 3/177 4387
/proc/meminfo: memFree=27123460/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=302148 CPUtime=51.07 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75409 0 0 0 5007 100 0 0 20 0 1 0 286437303 309399552 72644 33554432000 4194304 10173063 140733230394640 140733230387896 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4386/statm: 75537 72644 854 1460 0 74068 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 302148

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

[startup+63.9002 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 4387
/proc/meminfo: memFree=27123208/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=302148 CPUtime=63.86 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75414 0 0 0 6273 113 0 0 20 0 1 0 286437303 309399552 72670 33554432000 4194304 10173063 140733230394640 140733230390440 8058208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4386/statm: 75537 72670 854 1460 0 74068 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 302148

[startup+70.3002 s]
/proc/loadavg: 2.03 2.06 2.01 3/176 4387
/proc/meminfo: memFree=27122708/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=302148 CPUtime=70.27 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75417 0 0 0 6909 118 0 0 20 0 1 0 286437303 309399552 72686 33554432000 4194304 10173063 140733230394640 140733230390440 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4386/statm: 75537 72686 854 1460 0 74068 0
Current children cumulated CPU time (s) 70.27
Current children cumulated vsize (KiB) 302148

[startup+71.9002 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 4388
/proc/meminfo: memFree=27122708/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=302148 CPUtime=71.86 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75417 0 0 0 7067 119 0 0 20 0 1 0 286437303 309399552 72686 33554432000 4194304 10173063 140733230394640 140733230390008 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4386/statm: 75537 72686 854 1460 0 74068 0
Current children cumulated CPU time (s) 71.86
Current children cumulated vsize (KiB) 302148

[startup+73.5002 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 4388
/proc/meminfo: memFree=27122708/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=302148 CPUtime=73.46 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75417 0 0 0 7226 120 0 0 20 0 1 0 286437303 309399552 72686 33554432000 4194304 10173063 140733230394640 140733230390440 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4386/statm: 75537 72686 854 1460 0 74068 0
Current children cumulated CPU time (s) 73.46
Current children cumulated vsize (KiB) 302148

[startup+74.3002 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 4388
/proc/meminfo: memFree=27122700/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=302148 CPUtime=74.26 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75417 0 0 0 7306 120 0 0 20 0 1 0 286437303 309399552 72686 33554432000 4194304 10173063 140733230394640 140733230388280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4386/statm: 75537 72686 854 1460 0 74068 0
Current children cumulated CPU time (s) 74.26
Current children cumulated vsize (KiB) 302148

[startup+74.5002 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 4388
/proc/meminfo: memFree=27122700/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=299772 CPUtime=74.46 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75420 0 0 0 7326 120 0 0 20 0 1 0 286437303 306966528 72095 33554432000 4194304 10173063 140733230394640 140733230391336 4953307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4386/statm: 74943 72095 857 1460 0 73474 0
Current children cumulated CPU time (s) 74.46
Current children cumulated vsize (KiB) 299772

[startup+74.6003 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 4388
/proc/meminfo: memFree=27122700/32873648 swapFree=7104/7104
[pid=4386] ppid=4384 vsize=180660 CPUtime=74.56 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.1.1.4fix) R 4384 4386 32675 0 -1 4202496 75420 0 0 0 7335 121 0 0 20 0 1 0 286437303 184995840 42840 33554432000 4194304 10173063 140733230394640 140733230391336 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4386/statm: 44970 42645 857 1460 0 43501 0
Current children cumulated CPU time (s) 74.56
Current children cumulated vsize (KiB) 180660

Child status: 0
Real time (s): 74.6087
CPU time (s): 74.5777
CPU user time (s): 73.3509
CPU system time (s): 1.22681
CPU usage (%): 99.9584
Max. virtual memory (cumulated for all children) (KiB): 302148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.3508
system time used= 1.22681
maximum resident set size= 290756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75422
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= 16
involuntary context switches= 236

runsolver used 0.13098 second user time and 0.305953 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-28 13:05:18
IDJOB=3717592
IDBENCH=79360
IDSOLVER=2300
FILE ID=node127/3717592-1338203118
RUNJOBID= node127-1338192865-32692
PBS_JOBID= 14624582
Free space on /tmp= 71156 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-langford-3-11_wcsp.wbo
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717592-1338203118/watcher-3717592-1338203118 -o /tmp/evaluation-result-3717592-1338203118/solver-3717592-1338203118 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717592-1338203118.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 69dbc7406636817ba2a44752a9d60525
RANDOM SEED=1705264089

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27413528 kB
Buffers:          489844 kB
Cached:          3583292 kB
SwapCached:            0 kB
Active:          1766500 kB
Inactive:        2809416 kB
Active(anon):     504736 kB
Inactive(anon):        0 kB
Active(file):    1261764 kB
Inactive(file):  2809416 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14868 kB
Writeback:             0 kB
AnonPages:        509208 kB
Mapped:            18020 kB
Shmem:               200 kB
Slab:             745644 kB
SReclaimable:     189756 kB
SUnreclaim:       555888 kB
KernelStack:        1448 kB
PageTables:         4592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     618080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71140 MiB
End job on node127 at 2012-05-28 13:06:33