Trace number 3693638

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1796.72 1797.05

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-bnatt350.opb
MD5SUM9054782dbdf385ef080d3f3a34a113d2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.177972
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3150
Total number of constraints4923
Number of constraints which are clauses1773
Number of constraints which are cardinality constraints (but not clauses)1377
Number of constraints which are nor clauses,nor cardinality constraints1773
Minimum length of a constraint1
Maximum length of a constraint9
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1099
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
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-3693638-1338042641.opb>
0.00/0.02	c original problem has 3150 variables (3150 bin, 0 int, 0 impl, 0 cont) and 4923 constraints
0.00/0.02	c problem read in 0.02
0.00/0.04	c presolving:
0.00/0.06	c (round 1) 1387 del vars, 1377 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 0 upgd conss, 40 impls, 0 clqs
0.00/0.06	c (round 2) 1387 del vars, 1397 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 0 upgd conss, 40 impls, 0 clqs
0.07/0.09	c (round 3) 1387 del vars, 1397 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 3505 upgd conss, 40 impls, 0 clqs
0.09/0.14	c (round 4) 1387 del vars, 3148 del conss, 5077 add conss, 1379 chg bounds, 6252 chg sides, 12226 chg coeffs, 3526 upgd conss, 62624 impls, 250 clqs
0.09/0.16	c (round 5) 1389 del vars, 3429 del conss, 5105 add conss, 1379 chg bounds, 6266 chg sides, 12292 chg coeffs, 3526 upgd conss, 62728 impls, 264 clqs
0.49/0.53	c    (0.5s) probing: 1000/1761 (56.8%) - 2 fixings, 0 aggregations, 5249 implications, 2 bound changes
0.68/0.74	c    (0.6s) probing: 1064/1761 (60.4%) - 2 fixings, 0 aggregations, 5694 implications, 2 bound changes
0.68/0.74	c    (0.6s) probing aborted: 1000/1000 successive useless probings
0.68/0.74	c (round 6) 1391 del vars, 3459 del conss, 5115 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3526 upgd conss, 77258 impls, 264 clqs
0.68/0.74	c (round 7) 1391 del vars, 3475 del conss, 5125 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3529 upgd conss, 77258 impls, 264 clqs
0.68/0.74	c (round 8) 1391 del vars, 3476 del conss, 5125 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3529 upgd conss, 77258 impls, 274 clqs
0.68/0.74	c    (0.6s) probing: 1164/1761 (66.1%) - 2 fixings, 0 aggregations, 6151 implications, 2 bound changes
0.68/0.74	c    (0.6s) probing aborted: 1000/1000 successive useless probings
0.68/0.74	c presolving (9 rounds):
0.68/0.74	c  1391 deleted vars, 3476 deleted constraints, 5125 added constraints, 1381 tightened bounds, 0 added holes, 6266 changed sides, 12292 changed coefficients
0.68/0.74	c  78172 implications, 274 cliques
0.68/0.74	c presolved problem has 1759 variables (1759 bin, 0 int, 0 impl, 0 cont) and 6572 constraints
0.68/0.74	c    4822 constraints of type <setppc>
0.68/0.74	c    1750 constraints of type <logicor>
0.68/0.74	c transformed objective value is always integral (scale: 1)
0.68/0.74	c Presolving Time: 0.61
0.68/0.74	c - non default parameters ----------------------------------------------------------------------
0.68/0.74	c # SCIP version 2.1.1.4
0.68/0.74	c 
0.68/0.74	c # maximal time in seconds to run
0.68/0.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.74	c limits/time = 1797
0.68/0.74	c 
0.68/0.74	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.74	c limits/memory = 13950
0.68/0.74	c 
0.68/0.74	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.68/0.74	c # [type: int, range: [1,2], default: 1]
0.68/0.74	c timing/clocktype = 2
0.68/0.74	c 
0.68/0.74	c # belongs reading time to solving time?
0.68/0.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.68/0.74	c timing/reading = TRUE
0.68/0.74	c 
0.68/0.74	c -----------------------------------------------------------------------------------------------
0.68/0.74	c start solving
0.68/0.74	c 
0.79/0.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.80	c   0.8s|     1 |     0 |  1527 |     - |  17M|   0 | 712 |1759 |6585 |1759 |6572 |   0 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
7.59/7.65	c   7.7s|     1 |     0 | 24577 |     - |  18M|   0 | 781 |1759 |6585 |1759 |6662 |  90 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
8.59/8.64	c   8.6s|     1 |     0 | 28301 |     - |  20M|   0 | 824 |1759 |6585 |1759 |6710 | 138 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
9.09/9.12	c   9.1s|     1 |     0 | 28796 |     - |  21M|   0 | 860 |1759 |6585 |1759 |6730 | 158 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
9.90/9.97	c  10.0s|     1 |     0 | 29717 |     - |  24M|   0 | 836 |1759 |6585 |1759 |6747 | 175 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
11.49/11.51	c  11.5s|     1 |     0 | 30303 |     - |  26M|   0 | 838 |1759 |6585 |1759 |6772 | 200 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
12.89/12.94	c  12.9s|     1 |     0 | 30657 |     - |  28M|   0 | 861 |1759 |6585 |1759 |6787 | 215 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
16.98/17.09	c  17.1s|     1 |     2 | 30657 |     - |  28M|   0 | 861 |1759 |6585 |1759 |6787 | 215 |  13 |  33 | 0.000000e+00 |      --      |    Inf 
66.36/66.42	c  66.4s|   100 |    77 | 87737 | 576.6 |  29M|  24 | 766 |1759 |6667 |1759 |6653 | 215 |  95 | 543 | 0.000000e+00 |      --      |    Inf 
78.96/79.00	c  79.0s|   200 |    90 |128866 | 493.5 |  29M|  24 | 572 |1759 |6904 |1759 |6653 | 215 | 332 | 632 | 0.000000e+00 |      --      |    Inf 
113.96/114.06	c   114s|   300 |   144 |247681 | 725.8 |  29M|  24 | 698 |1759 |7157 |1759 |6653 | 215 | 598 | 763 | 0.000000e+00 |      --      |    Inf 
157.35/157.43	c   157s|   400 |   198 |400258 | 926.3 |  30M|  24 | 735 |1759 |7347 |1759 |6653 | 215 | 953 | 942 | 0.000000e+00 |      --      |    Inf 
188.05/188.14	c   188s|   500 |   260 |495373 | 931.3 |  30M|  24 | 802 |1759 |7436 |1759 |6653 | 215 |1181 |1122 | 0.000000e+00 |      --      |    Inf 
221.44/221.57	c   222s|   600 |   306 |605409 | 959.5 |  31M|  24 | 769 |1759 |7479 |1759 |6653 | 215 |1392 |1315 | 0.000000e+00 |      --      |    Inf 
257.54/257.63	c   258s|   700 |   303 |736002 |1009.1 |  31M|  24 | 618 |1759 |7608 |1759 |6653 | 215 |1706 |1509 | 0.000000e+00 |      --      |    Inf 
286.63/286.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
286.63/286.71	c   287s|   800 |   336 |833449 |1004.7 |  32M|  24 | 833 |1759 |7696 |1759 |6653 | 215 |1988 |1654 | 0.000000e+00 |      --      |    Inf 
310.63/310.74	c   311s|   900 |   366 |917310 | 986.3 |  32M|  24 | 482 |1759 |7668 |1759 |6653 | 215 |2245 |1808 | 0.000000e+00 |      --      |    Inf 
329.63/329.72	c   330s|  1000 |   364 |988401 | 958.7 |  32M|  24 |   - |1759 |7822 |1759 |6653 | 215 |2533 |1944 | 0.000000e+00 |      --      |    Inf 
346.33/346.50	c   346s|  1100 |   371 |  1047k| 925.1 |  32M|  24 |   - |1759 |7910 |   0 |   0 | 215 |2778 |2038 | 0.000000e+00 |      --      |    Inf 
362.32/362.44	c   362s|  1200 |   361 |  1105k| 896.2 |  33M|  24 | 625 |1759 |8023 |1759 |6653 | 215 |3099 |2146 | 0.000000e+00 |      --      |    Inf 
373.41/373.52	c   374s|  1300 |   372 |  1145k| 858.5 |  33M|  24 |   - |1759 |8167 |   0 |   0 | 215 |3318 |2226 | 0.000000e+00 |      --      |    Inf 
393.22/393.39	c   393s|  1400 |   397 |  1208k| 842.1 |  33M|  24 | 720 |1759 |8228 |1759 |6653 | 215 |3526 |2326 | 0.000000e+00 |      --      |    Inf 
414.41/414.57	c   415s|  1500 |   420 |  1280k| 834.0 |  33M|  24 | 599 |1759 |8324 |1759 |6653 | 215 |3708 |2448 | 0.000000e+00 |      --      |    Inf 
430.51/430.66	c   431s|  1600 |   414 |  1335k| 815.9 |  34M|  24 | 759 |1759 |8460 |1759 |6653 | 215 |3969 |2557 | 0.000000e+00 |      --      |    Inf 
450.01/450.15	c   450s|  1700 |   421 |  1400k| 806.4 |  34M|  24 |   - |1759 |8540 |1759 |6653 | 215 |4191 |2674 | 0.000000e+00 |      --      |    Inf 
466.60/466.79	c   467s|  1800 |   447 |  1459k| 794.0 |  34M|  25 |   - |1759 |8642 |1759 |6653 | 215 |4414 |2773 | 0.000000e+00 |      --      |    Inf 
482.50/482.63	c   483s|  1900 |   445 |  1517k| 782.7 |  34M|  28 | 745 |1759 |8769 |1759 |6653 | 215 |4628 |2881 | 0.000000e+00 |      --      |    Inf 
494.90/495.07	c   495s|  2000 |   449 |  1563k| 766.9 |  35M|  28 |   - |1759 |8905 |1759 |6653 | 215 |4837 |2970 | 0.000000e+00 |      --      |    Inf 
508.30/508.48	c   508s|  2100 |   461 |  1615k| 754.9 |  35M|  28 | 462 |1759 |9115 |1759 |6653 | 215 |5097 |3065 | 0.000000e+00 |      --      |    Inf 
519.79/519.93	c   520s|  2200 |   461 |  1659k| 740.7 |  35M|  28 |   - |1759 |9313 |1759 |6653 | 215 |5321 |3152 | 0.000000e+00 |      --      |    Inf 
531.49/531.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
531.49/531.60	c   532s|  2300 |   458 |  1703k| 727.8 |  35M|  28 | 544 |1759 |9440 |1759 |6653 | 215 |5552 |3243 | 0.000000e+00 |      --      |    Inf 
542.28/542.44	c   542s|  2400 |   453 |  1744k| 714.5 |  35M|  28 | 711 |1759 |9467 |1759 |6653 | 215 |5735 |3329 | 0.000000e+00 |      --      |    Inf 
554.68/554.80	c   555s|  2500 |   463 |  1789k| 703.7 |  35M|  28 | 633 |1759 |9473 |1759 |6653 | 215 |5958 |3415 | 0.000000e+00 |      --      |    Inf 
566.88/567.08	c   567s|  2600 |   467 |  1835k| 694.4 |  35M|  28 |   - |1759 |9610 |1759 |6653 | 215 |6266 |3503 | 0.000000e+00 |      --      |    Inf 
578.88/579.06	c   579s|  2700 |   461 |  1877k| 684.2 |  35M|  28 |   - |1759 |9687 |1759 |6653 | 215 |6475 |3585 | 0.000000e+00 |      --      |    Inf 
594.99/595.14	c   595s|  2800 |   466 |  1936k| 680.7 |  35M|  28 | 624 |1759 |9717 |1759 |6653 | 215 |6674 |3687 | 0.000000e+00 |      --      |    Inf 
613.87/614.02	c   614s|  2900 |   474 |  2005k| 681.1 |  36M|  28 | 540 |1759 |9765 |1759 |6653 | 215 |6881 |3771 | 0.000000e+00 |      --      |    Inf 
625.08/625.23	c   625s|  3000 |   463 |  2045k| 671.8 |  36M|  28 | 791 |1759 |9869 |1759 |6653 | 215 |7093 |3845 | 0.000000e+00 |      --      |    Inf 
637.97/638.15	c   638s|  3100 |   456 |  2090k| 664.6 |  35M|  28 | 737 |1759 |9990 |1759 |6653 | 215 |7310 |3934 | 0.000000e+00 |      --      |    Inf 
650.87/651.09	c   651s|  3200 |   470 |  2140k| 659.4 |  36M|  28 | 733 |1759 |  10k|1759 |6653 | 215 |7546 |4002 | 0.000000e+00 |      --      |    Inf 
662.26/662.44	c   662s|  3300 |   482 |  2198k| 657.1 |  36M|  28 |   - |1759 |  10k|   0 |   0 | 215 |7792 |4028 | 0.000000e+00 |      --      |    Inf 
672.86/673.01	c   673s|  3400 |   480 |  2253k| 654.0 |  36M|  28 |   - |1759 |  10k|   0 |   0 | 215 |7977 |4046 | 0.000000e+00 |      --      |    Inf 
680.46/680.66	c   681s|  3500 |   479 |  2295k| 647.2 |  36M|  28 | 457 |1759 |  10k|1759 |6653 | 215 |8144 |4059 | 0.000000e+00 |      --      |    Inf 
689.57/689.77	c   690s|  3600 |   481 |  2349k| 644.2 |  36M|  28 | 729 |1759 |  10k|1759 |6653 | 215 |8313 |4065 | 0.000000e+00 |      --      |    Inf 
696.96/697.19	c   697s|  3700 |   477 |  2383k| 636.1 |  36M|  28 | 633 |1759 |  10k|1759 |6653 | 215 |8477 |4094 | 0.000000e+00 |      --      |    Inf 
704.86/705.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
704.86/705.04	c   705s|  3800 |   480 |  2427k| 630.8 |  36M|  28 |   - |1759 |  10k|   0 |   0 | 215 |8642 |4102 | 0.000000e+00 |      --      |    Inf 
714.06/714.25	c   714s|  3900 |   474 |  2478k| 627.9 |  36M|  28 | 631 |1759 |  10k|1759 |6653 | 215 |8849 |4110 | 0.000000e+00 |      --      |    Inf 
726.56/726.78	c   727s|  4000 |   484 |  2525k| 623.8 |  36M|  28 | 438 |1759 |  10k|1759 |6653 | 215 |8988 |4159 | 0.000000e+00 |      --      |    Inf 
741.55/741.76	c   742s|  4100 |   483 |  2581k| 622.2 |  36M|  28 | 583 |1759 |  10k|1759 |6653 | 215 |9186 |4210 | 0.000000e+00 |      --      |    Inf 
751.25/751.47	c   751s|  4200 |   479 |  2618k| 616.3 |  36M|  28 |   - |1759 |  10k|   0 |   0 | 215 |9385 |4254 | 0.000000e+00 |      --      |    Inf 
764.95/765.17	c   765s|  4300 |   484 |  2676k| 615.4 |  36M|  28 | 688 |1759 |  10k|1759 |6653 | 215 |9589 |4318 | 0.000000e+00 |      --      |    Inf 
777.25/777.42	c   777s|  4400 |   486 |  2722k| 611.8 |  36M|  28 |   - |1759 |  10k|   0 |   0 | 215 |9832 |4368 | 0.000000e+00 |      --      |    Inf 
789.45/789.69	c   790s|  4500 |   485 |  2769k| 608.7 |  36M|  28 | 597 |1759 |  10k|1759 |6653 | 215 |  10k|4420 | 0.000000e+00 |      --      |    Inf 
800.84/801.06	c   801s|  4600 |   479 |  2819k| 606.5 |  36M|  28 |   - |1759 |  10k|1759 |6653 | 215 |  10k|4482 | 0.000000e+00 |      --      |    Inf 
813.85/814.00	c   814s|  4700 |   488 |  2868k| 604.0 |  37M|  28 |   - |1759 |  10k|   0 |   0 | 215 |  10k|4533 | 0.000000e+00 |      --      |    Inf 
825.64/825.80	c   826s|  4800 |   489 |  2913k| 600.7 |  37M|  28 | 685 |1759 |  10k|1759 |6653 | 215 |  10k|4582 | 0.000000e+00 |      --      |    Inf 
836.64/836.86	c   837s|  4900 |   486 |  2956k| 597.2 |  37M|  28 | 633 |1759 |  10k|1759 |6653 | 215 |  10k|4627 | 0.000000e+00 |      --      |    Inf 
849.04/849.23	c   849s|  5000 |   487 |  3004k| 594.9 |  37M|  28 | 680 |1759 |  10k|1759 |6653 | 215 |  11k|4691 | 0.000000e+00 |      --      |    Inf 
857.85/858.03	c   858s|  5100 |   484 |  3042k| 590.6 |  37M|  28 | 722 |1759 |  11k|1759 |6653 | 215 |  11k|4737 | 0.000000e+00 |      --      |    Inf 
866.43/866.63	c   867s|  5200 |   500 |  3074k| 585.5 |  37M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  11k|4775 | 0.000000e+00 |      --      |    Inf 
875.63/875.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
875.63/875.80	c   876s|  5300 |   496 |  3109k| 581.0 |  37M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  11k|4821 | 0.000000e+00 |      --      |    Inf 
884.03/884.25	c   884s|  5400 |   489 |  3146k| 577.1 |  37M|  28 | 544 |1759 |  11k|1759 |6653 | 215 |  11k|4859 | 0.000000e+00 |      --      |    Inf 
896.13/896.30	c   896s|  5500 |   485 |  3187k| 574.1 |  37M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  12k|4915 | 0.000000e+00 |      --      |    Inf 
902.73/902.96	c   903s|  5600 |   482 |  3216k| 569.0 |  37M|  28 | 727 |1759 |  11k|1759 |6653 | 215 |  12k|4935 | 0.000000e+00 |      --      |    Inf 
914.82/915.04	c   915s|  5700 |   475 |  3262k| 567.0 |  37M|  28 | 734 |1759 |  11k|1759 |6653 | 215 |  12k|4991 | 0.000000e+00 |      --      |    Inf 
922.63/922.87	c   923s|  5800 |   477 |  3297k| 563.4 |  37M|  28 | 602 |1759 |  11k|1759 |6653 | 215 |  12k|5037 | 0.000000e+00 |      --      |    Inf 
939.32/939.54	c   940s|  5900 |   486 |  3361k| 564.6 |  37M|  28 | 716 |1759 |  11k|1759 |6653 | 215 |  12k|5093 | 0.000000e+00 |      --      |    Inf 
952.62/952.83	c   953s|  6000 |   506 |  3411k| 563.6 |  37M|  28 | 616 |1759 |  11k|1759 |6653 | 215 |  13k|5144 | 0.000000e+00 |      --      |    Inf 
966.01/966.21	c   966s|  6100 |   514 |  3461k| 562.5 |  38M|  28 | 690 |1759 |  11k|1759 |6653 | 215 |  13k|5210 | 0.000000e+00 |      --      |    Inf 
981.21/981.40	c   981s|  6200 |   524 |  3517k| 562.5 |  38M|  28 | 293 |1759 |  11k|1759 |6653 | 215 |  13k|5279 | 0.000000e+00 |      --      |    Inf 
996.31/996.53	c   997s|  6300 |   520 |  3578k| 563.3 |  38M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  13k|5340 | 0.000000e+00 |      --      |    Inf 
1007.41/1007.69	c  1008s|  6400 |   520 |  3625k| 561.8 |  38M|  28 | 757 |1759 |  11k|1759 |6653 | 215 |  14k|5377 | 0.000000e+00 |      --      |    Inf 
1018.31/1018.52	c  1019s|  6500 |   520 |  3664k| 559.2 |  38M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  14k|5429 | 0.000000e+00 |      --      |    Inf 
1031.11/1031.38	c  1031s|  6600 |   521 |  3711k| 557.8 |  38M|  28 | 668 |1759 |  11k|1759 |6653 | 215 |  14k|5490 | 0.000000e+00 |      --      |    Inf 
1047.00/1047.23	c  1047s|  6700 |   526 |  3768k| 557.9 |  38M|  28 | 731 |1759 |  11k|1759 |6653 | 215 |  14k|5557 | 0.000000e+00 |      --      |    Inf 
1059.50/1059.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1059.50/1059.71	c  1060s|  6800 |   530 |  3820k| 557.3 |  38M|  28 | 660 |1759 |  11k|1759 |6653 | 215 |  14k|5605 | 0.000000e+00 |      --      |    Inf 
1070.40/1070.68	c  1071s|  6900 |   528 |  3865k| 555.9 |  38M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  14k|5659 | 0.000000e+00 |      --      |    Inf 
1082.60/1082.83	c  1083s|  7000 |   517 |  3908k| 554.1 |  38M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  15k|5730 | 0.000000e+00 |      --      |    Inf 
1096.80/1097.08	c  1097s|  7100 |   534 |  3960k| 553.6 |  39M|  28 | 604 |1759 |  11k|1759 |6653 | 215 |  15k|5791 | 0.000000e+00 |      --      |    Inf 
1107.69/1107.90	c  1108s|  7200 |   539 |  4008k| 552.6 |  39M|  28 | 553 |1759 |  11k|1759 |6653 | 215 |  15k|5846 | 0.000000e+00 |      --      |    Inf 
1115.19/1115.45	c  1115s|  7300 |   539 |  4038k| 549.1 |  39M|  28 | 643 |1759 |  11k|1759 |6653 | 215 |  15k|5888 | 0.000000e+00 |      --      |    Inf 
1124.49/1124.74	c  1125s|  7400 |   537 |  4076k| 546.9 |  39M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  16k|5943 | 0.000000e+00 |      --      |    Inf 
1137.29/1137.51	c  1138s|  7500 |   549 |  4127k| 546.3 |  39M|  28 | 581 |1759 |  11k|1759 |6653 | 215 |  16k|5999 | 0.000000e+00 |      --      |    Inf 
1147.39/1147.64	c  1148s|  7600 |   557 |  4172k| 545.1 |  40M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  16k|6038 | 0.000000e+00 |      --      |    Inf 
1154.38/1154.68	c  1155s|  7700 |   557 |  4213k| 543.3 |  40M|  28 | 742 |1759 |  11k|1759 |6653 | 215 |  16k|6045 | 0.000000e+00 |      --      |    Inf 
1161.28/1161.60	c  1162s|  7800 |   562 |  4254k| 541.6 |  40M|  28 | 597 |1759 |  12k|1759 |6653 | 215 |  17k|6047 | 0.000000e+00 |      --      |    Inf 
1168.98/1169.23	c  1169s|  7900 |   566 |  4298k| 540.3 |  40M|  28 | 581 |1759 |  12k|1759 |6653 | 215 |  17k|6053 | 0.000000e+00 |      --      |    Inf 
1175.28/1175.59	c  1176s|  8000 |   566 |  4336k| 538.3 |  40M|  28 | 682 |1759 |  12k|1759 |6653 | 215 |  17k|6054 | 0.000000e+00 |      --      |    Inf 
1188.38/1188.62	c  1189s|  8100 |   567 |  4399k| 539.5 |  40M|  28 | 600 |1759 |  12k|1759 |6653 | 215 |  17k|6061 | 0.000000e+00 |      --      |    Inf 
1195.08/1195.35	c  1195s|  8200 |   556 |  4441k| 537.9 |  40M|  28 |   - |1759 |  12k|   0 |   0 | 215 |  17k|6062 | 0.000000e+00 |      --      |    Inf 
1203.77/1204.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1203.77/1204.02	c  1204s|  8300 |   537 |  4492k| 537.7 |  40M|  28 |   - |1759 |  12k|1759 |6653 | 215 |  18k|6063 | 0.000000e+00 |      --      |    Inf 
1213.17/1213.40	c  1213s|  8400 |   540 |  4537k| 536.6 |  40M|  28 | 778 |1759 |  12k|1759 |6653 | 215 |  18k|6084 | 0.000000e+00 |      --      |    Inf 
1221.97/1222.24	c  1222s|  8500 |   545 |  4581k| 535.5 |  40M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  18k|6092 | 0.000000e+00 |      --      |    Inf 
1230.68/1230.96	c  1231s|  8600 |   542 |  4630k| 534.9 |  40M|  28 |   - |1759 |  11k|1759 |6653 | 215 |  18k|6097 | 0.000000e+00 |      --      |    Inf 
1237.77/1238.07	c  1238s|  8700 |   533 |  4671k| 533.5 |  40M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  18k|6099 | 0.000000e+00 |      --      |    Inf 
1246.57/1246.83	c  1247s|  8800 |   538 |  4718k| 532.8 |  40M|  28 | 724 |1759 |  11k|1759 |6653 | 215 |  18k|6106 | 0.000000e+00 |      --      |    Inf 
1256.87/1257.19	c  1257s|  8900 |   542 |  4769k| 532.5 |  40M|  28 | 630 |1759 |  11k|1759 |6653 | 215 |  19k|6122 | 0.000000e+00 |      --      |    Inf 
1267.36/1267.61	c  1268s|  9000 |   543 |  4809k| 531.1 |  40M|  28 | 624 |1759 |  11k|1759 |6653 | 215 |  19k|6150 | 0.000000e+00 |      --      |    Inf 
1278.36/1278.65	c  1279s|  9100 |   538 |  4855k| 530.3 |  40M|  28 | 570 |1759 |  11k|1759 |6653 | 215 |  19k|6186 | 0.000000e+00 |      --      |    Inf 
1285.96/1286.22	c  1286s|  9200 |   541 |  4886k| 527.9 |  40M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  19k|6213 | 0.000000e+00 |      --      |    Inf 
1297.55/1297.88	c  1298s|  9300 |   540 |  4934k| 527.4 |  40M|  28 | 799 |1759 |  11k|1759 |6653 | 215 |  19k|6252 | 0.000000e+00 |      --      |    Inf 
1309.46/1309.79	c  1310s|  9400 |   548 |  4983k| 527.0 |  41M|  28 |   - |1759 |  11k|   0 |   0 | 215 |  20k|6294 | 0.000000e+00 |      --      |    Inf 
1318.46/1318.72	c  1319s|  9500 |   564 |  5024k| 525.7 |  41M|  28 | 615 |1759 |  12k|1759 |6653 | 215 |  20k|6316 | 0.000000e+00 |      --      |    Inf 
1330.95/1331.22	c  1331s|  9600 |   571 |  5072k| 525.3 |  41M|  28 |   - |1759 |  12k|   0 |   0 | 215 |  20k|6362 | 0.000000e+00 |      --      |    Inf 
1339.65/1339.96	c  1340s|  9700 |   576 |  5110k| 523.7 |  41M|  28 | 468 |1759 |  12k|1759 |6653 | 215 |  20k|6391 | 0.000000e+00 |      --      |    Inf 
1349.35/1349.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1349.35/1349.69	c  1350s|  9800 |   580 |  5147k| 522.2 |  41M|  28 |   - |1759 |  12k|   0 |   0 | 215 |  20k|6430 | 0.000000e+00 |      --      |    Inf 
1358.44/1358.74	c  1359s|  9900 |   573 |  5187k| 520.9 |  41M|  28 |   - |1759 |  12k|   0 |   0 | 215 |  20k|6468 | 0.000000e+00 |      --      |    Inf 
1368.85/1369.11	c  1369s| 10000 |   578 |  5230k| 520.0 |  41M|  28 | 567 |1759 |  12k|1759 |6653 | 215 |  21k|6497 | 0.000000e+00 |      --      |    Inf 
1381.14/1381.40	c  1381s| 10100 |   587 |  5277k| 519.5 |  42M|  28 | 551 |1759 |  12k|1759 |6653 | 215 |  21k|6544 | 0.000000e+00 |      --      |    Inf 
1390.34/1390.69	c  1391s| 10200 |   602 |  5314k| 518.1 |  42M|  28 | 536 |1759 |  12k|1759 |6653 | 215 |  21k|6572 | 0.000000e+00 |      --      |    Inf 
1399.54/1399.84	c  1400s| 10300 |   600 |  5349k| 516.5 |  42M|  28 |   - |1759 |  12k|   0 |   0 | 215 |  21k|6615 | 0.000000e+00 |      --      |    Inf 
1406.24/1406.55	c  1407s| 10400 |   573 |  5379k| 514.4 |  42M|  28 | 618 |1759 |  12k|1759 |6653 | 215 |  21k|6634 | 0.000000e+00 |      --      |    Inf 
1413.94/1414.26	c  1414s| 10500 |   539 |  5412k| 512.6 |  41M|  28 | 615 |1759 |  12k|1759 |6653 | 215 |  21k|6664 | 0.000000e+00 |      --      |    Inf 
1426.14/1426.45	c  1426s| 10600 |   543 |  5461k| 512.4 |  41M|  28 | 677 |1759 |  12k|1759 |6653 | 215 |  22k|6696 | 0.000000e+00 |      --      |    Inf 
1437.34/1437.67	c  1438s| 10700 |   544 |  5507k| 511.9 |  41M|  28 | 657 |1759 |  12k|1759 |6653 | 215 |  22k|6735 | 0.000000e+00 |      --      |    Inf 
1448.23/1448.51	c  1449s| 10800 |   538 |  5554k| 511.5 |  41M|  28 |   - |1759 |  12k|1759 |6653 | 215 |  22k|6775 | 0.000000e+00 |      --      |    Inf 
1457.43/1457.70	c  1458s| 10900 |   543 |  5591k| 510.2 |  41M|  28 | 611 |1759 |  12k|1759 |6653 | 215 |  22k|6811 | 0.000000e+00 |      --      |    Inf 
1467.83/1468.15	c  1468s| 11000 |   540 |  5633k| 509.4 |  41M|  28 | 682 |1759 |  13k|1759 |6653 | 215 |  23k|6840 | 0.000000e+00 |      --      |    Inf 
1478.83/1479.19	c  1479s| 11100 |   530 |  5678k| 508.9 |  41M|  28 | 476 |1759 |  12k|1759 |6653 | 215 |  23k|6886 | 0.000000e+00 |      --      |    Inf 
1487.93/1488.26	c  1488s| 11200 |   521 |  5715k| 507.6 |  41M|  28 |   - |1759 |  12k|   0 |   0 | 215 |  23k|6929 | 0.000000e+00 |      --      |    Inf 
1500.52/1500.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1500.52/1500.80	c  1501s| 11300 |   526 |  5764k| 507.5 |  41M|  28 | 803 |1759 |  12k|1759 |6653 | 215 |  23k|6972 | 0.000000e+00 |      --      |    Inf 
1511.52/1511.84	c  1512s| 11400 |   536 |  5809k| 507.0 |  41M|  28 | 452 |1759 |  12k|1759 |6653 | 215 |  23k|7005 | 0.000000e+00 |      --      |    Inf 
1524.72/1525.03	c  1525s| 11500 |   556 |  5858k| 506.8 |  41M|  28 | 522 |1759 |  12k|1759 |6653 | 215 |  23k|7045 | 0.000000e+00 |      --      |    Inf 
1536.01/1536.36	c  1536s| 11600 |   560 |  5900k| 506.1 |  41M|  28 |   - |1759 |  12k|   0 |   0 | 215 |  24k|7088 | 0.000000e+00 |      --      |    Inf 
1546.61/1546.97	c  1547s| 11700 |   554 |  5946k| 505.7 |  41M|  28 |   - |1759 |  12k|1759 |6653 | 215 |  24k|7123 | 0.000000e+00 |      --      |    Inf 
1560.41/1560.73	c  1561s| 11800 |   565 |  5999k| 505.9 |  42M|  28 | 623 |1759 |  13k|1759 |6653 | 215 |  24k|7175 | 0.000000e+00 |      --      |    Inf 
1574.30/1574.67	c  1575s| 11900 |   568 |  6048k| 505.8 |  42M|  28 | 710 |1759 |  13k|1759 |6653 | 215 |  24k|7233 | 0.000000e+00 |      --      |    Inf 
1584.90/1585.20	c  1585s| 12000 |   577 |  6098k| 505.7 |  42M|  28 |   - |1759 |  13k|   0 |   0 | 215 |  24k|7256 | 0.000000e+00 |      --      |    Inf 
1598.91/1599.20	c  1599s| 12100 |   589 |  6150k| 505.8 |  42M|  28 | 727 |1759 |  13k|1759 |6653 | 215 |  25k|7317 | 0.000000e+00 |      --      |    Inf 
1607.81/1608.11	c  1608s| 12200 |   595 |  6187k| 504.7 |  43M|  28 | 525 |1759 |  13k|1759 |6653 | 215 |  25k|7347 | 0.000000e+00 |      --      |    Inf 
1625.90/1626.29	c  1626s| 12300 |   600 |  6258k| 506.4 |  43M|  28 | 737 |1759 |  13k|1759 |6653 | 215 |  25k|7388 | 0.000000e+00 |      --      |    Inf 
1637.10/1637.42	c  1637s| 12400 |   609 |  6305k| 506.1 |  43M|  28 | 730 |1759 |  13k|1759 |6653 | 215 |  25k|7428 | 0.000000e+00 |      --      |    Inf 
1647.20/1647.53	c  1648s| 12500 |   630 |  6344k| 505.2 |  43M|  28 | 639 |1759 |  13k|1759 |6653 | 215 |  25k|7471 | 0.000000e+00 |      --      |    Inf 
1656.40/1656.76	c  1657s| 12600 |   617 |  6384k| 504.3 |  43M|  28 | 417 |1759 |  13k|1759 |6653 | 215 |  25k|7510 | 0.000000e+00 |      --      |    Inf 
1668.40/1668.78	c  1669s| 12700 |   627 |  6432k| 504.1 |  43M|  28 |   - |1759 |  13k|   0 |   0 | 215 |  26k|7556 | 0.000000e+00 |      --      |    Inf 
1678.59/1678.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1678.59/1678.93	c  1679s| 12800 |   637 |  6474k| 503.5 |  44M|  29 | 765 |1759 |  13k|1759 |6653 | 215 |  26k|7609 | 0.000000e+00 |      --      |    Inf 
1689.19/1689.54	c  1690s| 12900 |   642 |  6519k| 503.0 |  44M|  29 | 689 |1759 |  13k|1759 |6653 | 215 |  26k|7639 | 0.000000e+00 |      --      |    Inf 
1702.69/1703.09	c  1703s| 13000 |   651 |  6568k| 502.9 |  44M|  29 | 710 |1759 |  13k|1759 |6653 | 215 |  26k|7679 | 0.000000e+00 |      --      |    Inf 
1711.88/1712.23	c  1712s| 13100 |   659 |  6605k| 501.9 |  44M|  29 | 552 |1759 |  13k|1759 |6653 | 215 |  26k|7709 | 0.000000e+00 |      --      |    Inf 
1722.19/1722.54	c  1723s| 13200 |   651 |  6647k| 501.3 |  44M|  29 | 712 |1759 |  13k|1759 |6653 | 215 |  26k|7751 | 0.000000e+00 |      --      |    Inf 
1733.08/1733.48	c  1733s| 13300 |   663 |  6694k| 501.0 |  44M|  29 | 748 |1759 |  13k|1759 |6653 | 215 |  27k|7781 | 0.000000e+00 |      --      |    Inf 
1744.98/1745.35	c  1745s| 13400 |   670 |  6740k| 500.8 |  44M|  29 | 728 |1759 |  13k|1759 |6653 | 215 |  27k|7835 | 0.000000e+00 |      --      |    Inf 
1756.48/1756.83	c  1757s| 13500 |   666 |  6785k| 500.4 |  44M|  29 | 579 |1759 |  13k|1759 |6653 | 215 |  27k|7888 | 0.000000e+00 |      --      |    Inf 
1766.97/1767.36	c  1767s| 13600 |   664 |  6828k| 499.9 |  45M|  29 | 628 |1759 |  13k|1759 |6653 | 215 |  27k|7932 | 0.000000e+00 |      --      |    Inf 
1774.37/1774.78	c  1775s| 13700 |   662 |  6859k| 498.5 |  45M|  29 |   - |1759 |  14k|   0 |   0 | 215 |  27k|7959 | 0.000000e+00 |      --      |    Inf 
1782.47/1782.80	c  1783s| 13800 |   657 |  6895k| 497.5 |  45M|  29 | 558 |1759 |  13k|1759 |6653 | 215 |  28k|7987 | 0.000000e+00 |      --      |    Inf 
1792.07/1792.42	c  1792s| 13900 |   663 |  6941k| 497.2 |  45M|  29 | 667 |1759 |  13k|1759 |6653 | 215 |  28k|8012 | 0.000000e+00 |      --      |    Inf 
1796.67/1797.00	c 
1796.67/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.67/1797.00	c Solving Time (sec) : 1797.00
1796.67/1797.00	c Solving Nodes      : 13961
1796.67/1797.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.67/1797.00	c Dual Bound         : +0.00000000000000e+00
1796.67/1797.00	c Gap                : infinite
1796.67/1797.00	s UNKNOWN
1796.67/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.67/1797.00	c Total Time         :    1797.00
1796.67/1797.00	c   solving          :    1797.00
1796.67/1797.00	c   presolving       :       0.61 (included in solving)
1796.67/1797.00	c   reading          :       0.02 (included in solving)
1796.67/1797.00	c   copying          :       0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.67/1797.00	c Original Problem   :
1796.67/1797.00	c   Problem name     : HOME/instance-3693638-1338042641.opb
1796.67/1797.00	c   Variables        : 3150 (3150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00	c   Constraints      : 4923 initial, 4923 maximal
1796.67/1797.00	c   Objective sense  : minimize
1796.67/1797.00	c Presolved Problem  :
1796.67/1797.00	c   Problem name     : t_HOME/instance-3693638-1338042641.opb
1796.67/1797.00	c   Variables        : 1759 (1759 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00	c   Constraints      : 6572 initial, 14076 maximal
1796.67/1797.00	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.67/1797.00	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   trivial          :       0.00       0.00          2          0          0          0          0          0          0          0          0
1796.67/1797.00	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   gateextraction   :       0.01       0.00          0          0          0          0          0         30         10          0          0
1796.67/1797.00	c   implics          :       0.00       0.00          0         10          0          0          0          0          0          0          0
1796.67/1797.00	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   probing          :       0.42       0.00          2          0          0          2          0          0          0          0          0
1796.67/1797.00	c   knapsack         :       0.04       0.00          0          0          0          2          0       1763       5105       4843      10519
1796.67/1797.00	c   setppc           :       0.02       0.00          0          0          0          0          0        276          0          0          0
1796.67/1797.00	c   and              :       0.00       0.00          0          0          0          0          0         10         10          0          0
1796.67/1797.00	c   linear           :       0.04       0.00       1377          0          0       1377          0       1397          0       1423       1773
1796.67/1797.00	c   logicor          :       0.06       0.00          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c   root node        :          -          -          1          -          -          1          -          -          -          -          -
1796.67/1797.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.67/1797.00	c   integral         :          0          0          0          0       9555          0          4          0         61       1099          0          0      17700
1796.67/1797.00	c   setppc           :       4822       4822          6     171171          0          0          3     461748       1196    2463411          0          0          0
1796.67/1797.00	c   logicor          :       1750+      9258          6     142848          0          0          0     392474       6082     662516         12          0          0
1796.67/1797.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.67/1797.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.67/1797.00	c   integral         :     541.23       0.00       0.00       0.00     541.23       0.00       0.00       0.00
1796.67/1797.00	c   setppc           :      10.64       0.00       0.00      10.45       0.00       0.00       0.00       0.18
1796.67/1797.00	c   logicor          :       5.62       0.00       0.00       5.34       0.00       0.00       0.00       0.27
1796.67/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.67/1797.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.67/1797.00	c   rootredcost      :          0          0          0          0
1796.67/1797.00	c   pseudoobj        :     177669          0          0          0
1796.67/1797.00	c   vbounds          :          0          0          0          0
1796.67/1797.00	c   redcost          :       9618          0          0        144
1796.67/1797.00	c   probing          :          0          0          0          0
1796.67/1797.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.67/1797.00	c   rootredcost      :       0.06       0.00       0.00       0.06       0.00
1796.67/1797.00	c   pseudoobj        :       0.14       0.00       0.00       0.14       0.00
1796.67/1797.00	c   vbounds          :       0.05       0.00       0.00       0.05       0.00
1796.67/1797.00	c   redcost          :       0.27       0.00       0.00       0.27       0.00
1796.67/1797.00	c   probing          :       0.42       0.00       0.42       0.00       0.00
1796.67/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.67/1797.00	c   propagation      :       0.79       7278       6971      60562       30.0       1653        8.7          -
1796.67/1797.00	c   infeasible LP    :       0.61       1110       1109      12703       42.4        285        5.2          0
1796.67/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.67/1797.00	c   applied globally :          -          -          -      28354       25.8          -          -          -
1796.67/1797.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.67/1797.00	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.67/1797.00	c   cut pool         :       0.00                     5          -          -         14          -    (maximal pool size: 1687)
1796.67/1797.00	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   impliedbounds    :       0.01       0.00          6          0          0        249          0
1796.67/1797.00	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   gomory           :       2.99       0.00          6          0          0        238          0
1796.67/1797.00	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   strongcg         :       0.63       0.00          6          0          0       3000          0
1796.67/1797.00	c   cmir             :       0.15       0.00          6          0          0          0          0
1796.67/1797.00	c   flowcover        :       0.17       0.00          6          0          0          0          0
1796.67/1797.00	c   clique           :       0.15       0.00          6          0          0         49          0
1796.67/1797.00	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.67/1797.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.67/1797.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.67/1797.00	c   problem variables:       0.00          -          0          0
1796.67/1797.00	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.67/1797.00	c   relpscost        :     541.21       0.00       9555         61       1099          0          0      17700
1796.67/1797.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.67/1797.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.67/1797.00	c   LP solutions     :       0.00          -          -          0
1796.67/1797.00	c   pseudo solutions :       0.00          -          -          0
1796.67/1797.00	c   oneopt           :       0.01       0.00          0          0
1796.67/1797.00	c   crossover        :       0.01       0.00          0          0
1796.67/1797.00	c   guideddiving     :       0.00       0.00          0          0
1796.67/1797.00	c   intshifting      :       0.00       0.00          0          0
1796.67/1797.00	c   feaspump         :      38.03       0.00         11          0
1796.67/1797.00	c   linesearchdiving :      15.77       0.00         59          0
1796.67/1797.00	c   coefdiving       :      33.17       0.00         59          0
1796.67/1797.00	c   pscostdiving     :      23.57       0.00         59          0
1796.67/1797.00	c   fracdiving       :      22.91       0.00         59          0
1796.67/1797.00	c   veclendiving     :      21.27       0.00         60          0
1796.67/1797.00	c   smallcard        :       0.00       0.00          0          0
1796.67/1797.00	c   trivial          :       0.00       0.00          2          0
1796.67/1797.00	c   shiftandpropagate:       0.03       0.00          1          0
1796.67/1797.00	c   simplerounding   :       0.00       0.00          0          0
1796.67/1797.00	c   zirounding       :       2.70       0.00          1          0
1796.67/1797.00	c   rounding         :       0.69       0.00       1350          0
1796.67/1797.00	c   shifting         :       0.37       0.00        339          0
1796.67/1797.00	c   twoopt           :       0.00       0.00          0          0
1796.67/1797.00	c   indoneopt        :       0.01       0.00          0          0
1796.67/1797.00	c   indtwoopt        :       0.00       0.00          0          0
1796.67/1797.00	c   fixandinfer      :       0.00       0.00          0          0
1796.67/1797.00	c   clique           :       0.00       0.00          0          0
1796.67/1797.00	c   indcoefdiving    :       0.00       0.00          0          0
1796.67/1797.00	c   indrounding      :       0.00       0.00          0          0
1796.67/1797.00	c   nlpdiving        :       0.00       0.00          0          0
1796.67/1797.00	c   intdiving        :       0.00       0.00          0          0
1796.67/1797.00	c   actconsdiving    :       0.00       0.00          0          0
1796.67/1797.00	c   objpscostdiving  :      11.91       0.00         31          0
1796.67/1797.00	c   rootsoldiving    :      24.68       0.00         14          0
1796.67/1797.00	c   octane           :       0.00       0.00          0          0
1796.67/1797.00	c   rens             :       0.07       0.00          1          0
1796.67/1797.00	c   rins             :       0.00       0.00          0          0
1796.67/1797.00	c   localbranching   :       0.00       0.00          0          0
1796.67/1797.00	c   mutation         :       0.00       0.00          0          0
1796.67/1797.00	c   dins             :       0.00       0.00          0          0
1796.67/1797.00	c   vbounds          :       0.00       0.00          0          0
1796.67/1797.00	c   undercover       :       0.00       0.00          0          0
1796.67/1797.00	c   subnlp           :       0.01       0.00          0          0
1796.67/1797.00	c   trysol           :       0.01       0.00          0          0
1796.67/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.67/1797.00	c   primal LP        :       0.00          1          0       0.00          -       0.00          1
1796.67/1797.00	c   dual LP          :    1025.02      10583    6255742     598.06    6103.02       0.23        123
1796.67/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1796.67/1797.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.67/1797.00	c   diving/probing LP:     177.64      16112     708465      43.97    3988.23
1796.67/1797.00	c   strong branching :     539.19       8021    2513823     313.41    4662.22
1796.67/1797.00	c     (at root node) :          -         33      16265     492.88          -
1796.67/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1796.67/1797.00	c B&B Tree           :
1796.67/1797.00	c   number of runs   :          1
1796.67/1797.00	c   nodes            :      13961
1796.67/1797.00	c   nodes (total)    :      13961
1796.67/1797.00	c   nodes left       :        661
1796.67/1797.00	c   max depth        :         29
1796.67/1797.00	c   max depth (total):         29
1796.67/1797.00	c   backtracks       :       4194 (30.0%)
1796.67/1797.00	c   delayed cutoffs  :       3079
1796.67/1797.00	c   repropagations   :      11681 (1160831 domain reductions, 2673 cutoffs)
1796.67/1797.00	c   avg switch length:       4.07
1796.67/1797.00	c   switching time   :       5.75
1796.67/1797.00	c Solution           :
1796.67/1797.00	c   Solutions found  :          0 (0 improvements)
1796.67/1797.00	c   Primal Bound     :          -
1796.67/1797.00	c   Dual Bound       : +0.00000000000000e+00
1796.67/1797.00	c   Gap              :   infinite
1796.67/1797.00	c   Root Dual Bound  : +0.00000000000000e+00
1796.67/1797.00	c   Root Iterations  :      30657
1796.67/1797.04	c Time complete: 1796.71.

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-3693638-1338042641/watcher-3693638-1338042641 -o /tmp/evaluation-result-3693638-1338042641/solver-3693638-1338042641 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693638-1338042641.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.02 2.01 2.00 3/177 5488
/proc/meminfo: memFree=28736348/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=10280 CPUtime=0 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 1321 0 0 0 0 0 0 0 20 0 1 0 270389851 10526720 1275 33554432000 4194304 10169799 140736863906000 140737279778936 8828717 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 2570 1275 412 1459 0 1102 0

[startup+0.079425 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5488
/proc/meminfo: memFree=28736348/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=31276 CPUtime=0.07 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 6590 0 0 0 6 1 0 0 20 0 1 0 270389851 32026624 6287 33554432000 4194304 10169799 140736863906000 140737279778936 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 7819 6287 565 1459 0 6351 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31276

[startup+0.100324 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5488
/proc/meminfo: memFree=28736348/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=33072 CPUtime=0.09 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 7060 0 0 0 8 1 0 0 20 0 1 0 270389851 33865728 6757 33554432000 4194304 10169799 140736863906000 140737279778936 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 8268 6757 591 1459 0 6800 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33072

[startup+0.300165 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5488
/proc/meminfo: memFree=28736348/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=41120 CPUtime=0.28 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 9128 0 0 0 27 1 0 0 20 0 1 0 270389851 42106880 8825 33554432000 4194304 10169799 140736863906000 140736863903208 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 10280 8825 619 1459 0 8812 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 41120

[startup+0.700161 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5488
/proc/meminfo: memFree=28736348/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=54580 CPUtime=0.68 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 12486 0 0 0 66 2 0 0 20 0 1 0 270389851 55889920 12114 33554432000 4194304 10169799 140736863906000 140736863903208 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 13645 12114 779 1459 0 12177 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 54580

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5489
/proc/meminfo: memFree=28688320/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=55596 CPUtime=1.48 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 13265 0 0 0 145 3 0 0 20 0 1 0 270389851 56930304 12699 33554432000 4194304 10169799 140736863906000 140736863898408 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 13899 12699 794 1459 0 12431 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55596

[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5489
/proc/meminfo: memFree=28688072/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=55596 CPUtime=3.08 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 13265 0 0 0 304 4 0 0 20 0 1 0 270389851 56930304 12699 33554432000 4194304 10169799 140736863906000 140736863898312 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 13899 12699 794 1459 0 12431 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55596

[startup+6.30012 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5489
/proc/meminfo: memFree=28688324/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=55596 CPUtime=6.28 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 13288 0 0 0 622 6 0 0 20 0 1 0 270389851 56930304 12722 33554432000 4194304 10169799 140736863906000 140736863898360 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 13899 12722 797 1459 0 12431 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55596

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5489
/proc/meminfo: memFree=28668020/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=76632 CPUtime=12.69 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 18498 0 0 0 1259 10 0 0 20 0 1 0 270389851 78471168 17844 33554432000 4194304 10169799 140736863906000 140736863902072 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 19158 17844 827 1459 0 17690 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76632

[startup+25.5001 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5489
/proc/meminfo: memFree=28665172/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=78680 CPUtime=25.48 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 23474 0 0 0 2531 17 0 0 20 0 1 0 270389851 80568320 18612 33554432000 4194304 10169799 140736863906000 140736863901976 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 19670 18612 863 1459 0 18202 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78680

[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5489
/proc/meminfo: memFree=28664632/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=79200 CPUtime=51.06 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 23587 0 0 0 5077 29 0 0 20 0 1 0 270389851 81100800 18869 33554432000 4194304 10169799 140736863906000 140736863900600 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 19800 18869 864 1459 0 18332 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 79200

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5489
/proc/meminfo: memFree=28663316/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=79200 CPUtime=102.27 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 23587 0 0 0 10173 54 0 0 20 0 1 0 270389851 81100800 19128 33554432000 4194304 10169799 140736863906000 140736863900600 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 19800 19128 864 1459 0 18332 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 79200

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5489
/proc/meminfo: memFree=28663192/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=79688 CPUtime=162.25 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 23631 0 0 0 16140 85 0 0 20 0 1 0 270389851 81600512 19172 33554432000 4194304 10169799 140736863906000 140736863900408 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 19922 19172 864 1459 0 18454 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 79688

[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5489
/proc/meminfo: memFree=28661208/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=81540 CPUtime=222.24 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 24663 0 0 0 22105 119 0 0 20 0 1 0 270389851 83496960 19712 33554432000 4194304 10169799 140736863906000 140736863900504 8009542 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 20385 19712 864 1459 0 18917 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 81540

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 5489
/proc/meminfo: memFree=28659284/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=83544 CPUtime=282.23 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 25727 0 0 0 28070 153 0 0 20 0 1 0 270389851 85549056 20213 33554432000 4194304 10169799 140736863906000 140736863900456 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 20886 20213 864 1459 0 19418 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 83544

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5490
/proc/meminfo: memFree=28767076/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=84340 CPUtime=342.23 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 25926 0 0 0 34032 191 0 0 20 0 1 0 270389851 86364160 20412 33554432000 4194304 10169799 140736863906000 140736863901064 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 21085 20412 864 1459 0 19617 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 84340

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5490
/proc/meminfo: memFree=28764796/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=86332 CPUtime=402.21 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 26855 0 0 0 39993 228 0 0 20 0 1 0 270389851 88403968 20911 33554432000 4194304 10169799 140736863906000 140736863900504 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 21583 20911 864 1459 0 20115 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 86332

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5490
/proc/meminfo: memFree=28760636/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=88016 CPUtime=462.2 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 29062 0 0 0 45959 261 0 0 20 0 1 0 270389851 90128384 21289 33554432000 4194304 10169799 140736863906000 140736863900696 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 22004 21289 864 1459 0 20536 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 88016

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5490
/proc/meminfo: memFree=28754064/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=90860 CPUtime=522.19 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 30226 0 0 0 51919 300 0 0 20 0 1 0 270389851 93040640 22020 33554432000 4194304 10169799 140736863906000 140736863899672 8009519 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 22715 22020 864 1459 0 21247 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 90860

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5493
/proc/meminfo: memFree=28727404/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=93168 CPUtime=582.18 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 31248 0 0 0 57879 339 0 0 20 0 1 0 270389851 95404032 22608 33554432000 4194304 10169799 140736863906000 140736863899960 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 23292 22608 864 1459 0 21824 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 93168

[startup+642.3 s]

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

/proc/meminfo: memFree=28704800/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=108280 CPUtime=1122.09 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 48418 0 0 0 111514 695 0 0 20 0 1 0 270389851 110878720 26397 33554432000 4194304 10169799 140736863906000 140736863900456 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 27070 26397 864 1459 0 25602 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 108280

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5498
/proc/meminfo: memFree=28703312/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=109976 CPUtime=1182.08 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 49250 0 0 0 117473 735 0 0 20 0 1 0 270389851 112615424 26820 33554432000 4194304 10169799 140736863906000 140736863898920 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 27494 26820 865 1459 0 26026 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 109976

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5499
/proc/meminfo: memFree=28701516/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=111420 CPUtime=1242.07 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 50478 0 0 0 123432 775 0 0 20 0 1 0 270389851 114094080 27141 33554432000 4194304 10169799 140736863906000 140736863900056 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 27855 27141 865 1459 0 26387 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 111420

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5499
/proc/meminfo: memFree=28700528/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=112416 CPUtime=1302.06 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 51567 0 0 0 129394 812 0 0 20 0 1 0 270389851 115113984 27408 33554432000 4194304 10169799 140736863906000 140736863900792 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 28104 27408 865 1459 0 26636 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 112416

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5499
/proc/meminfo: memFree=28698668/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=114504 CPUtime=1362.05 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 55901 0 0 0 135353 852 0 0 20 0 1 0 270389851 117252096 27910 33554432000 4194304 10169799 140736863906000 140736863900792 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 28626 27910 865 1459 0 27158 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 114504

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5499
/proc/meminfo: memFree=28696988/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=116092 CPUtime=1422.04 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 58940 0 0 0 141314 890 0 0 20 0 1 0 270389851 118878208 28315 33554432000 4194304 10169799 140736863906000 140736863903624 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 29023 28315 865 1459 0 27555 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 116092

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5499
/proc/meminfo: memFree=28695624/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=117156 CPUtime=1482.02 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 60705 0 0 0 147272 930 0 0 20 0 1 0 270389851 119967744 28631 33554432000 4194304 10169799 140736863906000 140736863900600 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 29289 28631 865 1459 0 27821 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 117156

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5500
/proc/meminfo: memFree=28694628/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=117700 CPUtime=1542.01 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 66829 0 0 0 153233 968 0 0 20 0 1 0 270389851 120524800 28754 33554432000 4194304 10169799 140736863906000 140736863900504 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 29425 28754 865 1459 0 27957 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 117700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5538
/proc/meminfo: memFree=28282744/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=118612 CPUtime=1602.01 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 71295 0 0 0 159195 1006 0 0 20 0 1 0 270389851 121458688 28981 33554432000 4194304 10169799 140736863906000 140736863900456 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 29653 28981 865 1459 0 28185 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 118612

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5538
/proc/meminfo: memFree=27811340/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=119708 CPUtime=1661.99 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 72418 0 0 0 165155 1044 0 0 20 0 1 0 270389851 122580992 29256 33554432000 4194304 10169799 140736863906000 140736863900792 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 29927 29256 865 1459 0 28459 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 119708

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5538
/proc/meminfo: memFree=27552276/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=120804 CPUtime=1721.98 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 73077 0 0 0 171114 1084 0 0 20 0 1 0 270389851 123703296 29482 33554432000 4194304 10169799 140736863906000 140736863900408 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30201 29482 865 1459 0 28733 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 120804

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5541
/proc/meminfo: memFree=27545788/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=122640 CPUtime=1781.98 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 74813 0 0 0 177074 1124 0 0 20 0 1 0 270389851 125583360 29941 33554432000 4194304 10169799 140736863906000 140736863900504 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30660 29941 865 1459 0 29192 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 122640

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5541
/proc/meminfo: memFree=27544656/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=122640 CPUtime=1785.17 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 74881 0 0 0 177391 1126 0 0 20 0 1 0 270389851 125583360 30009 33554432000 4194304 10169799 140736863906000 140736863903448 8044210 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30660 30009 865 1459 0 29192 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 122640

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5541
/proc/meminfo: memFree=27544532/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=123096 CPUtime=1791.58 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 74924 0 0 0 178028 1130 0 0 20 0 1 0 270389851 126050304 30052 33554432000 4194304 10169799 140736863906000 140736863900792 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30774 30052 865 1459 0 29306 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 123096

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5541
/proc/meminfo: memFree=27544516/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=122800 CPUtime=1794.78 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 75316 0 0 0 178345 1133 0 0 20 0 1 0 270389851 125747200 29971 33554432000 4194304 10169799 140736863906000 140736863900504 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30700 29971 865 1459 0 29232 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 122800

[startup+1795.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5541
/proc/meminfo: memFree=27544516/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=122800 CPUtime=1795.57 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 75317 0 0 0 178424 1133 0 0 20 0 1 0 270389851 125747200 29972 33554432000 4194304 10169799 140736863906000 140736863900792 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30700 29972 865 1459 0 29232 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 122800

[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5541
/proc/meminfo: memFree=27544640/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=122800 CPUtime=1796.37 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 75337 0 0 0 178503 1134 0 0 20 0 1 0 270389851 125747200 29978 33554432000 4194304 10169799 140736863906000 140736863900600 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30700 29978 865 1459 0 29232 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 122800

[startup+1796.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5541
/proc/meminfo: memFree=27544640/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=122800 CPUtime=1796.57 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 75337 0 0 0 178523 1134 0 0 20 0 1 0 270389851 125747200 29978 33554432000 4194304 10169799 140736863906000 140736863900600 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30700 29978 865 1459 0 29232 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (KiB) 122800

[startup+1797 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5541
/proc/meminfo: memFree=27544640/32873660 swapFree=7108/7108
[pid=5488] ppid=5486 vsize=122800 CPUtime=1796.67 cores=0,2,4,6
/proc/5488/stat : 5488 (scip-2.1.1.4sfi) R 5486 5488 3226 0 -1 4202496 75337 0 0 0 178533 1134 0 0 20 0 1 0 270389851 125747200 29978 33554432000 4194304 10169799 140736863906000 140736863900600 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5488/statm: 30700 29978 865 1459 0 29232 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 122800

Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.72
CPU user time (s): 1785.38
CPU system time (s): 11.3453
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 123096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.38
system time used= 11.3453
maximum resident set size= 120372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75342
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= 42
involuntary context switches= 1947

runsolver used 4.79427 second user time and 13.38 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-26 16:30:41
IDJOB=3693638
IDBENCH=89867
IDSOLVER=2272
FILE ID=node117/3693638-1338042641
RUNJOBID= node117-1338029730-4452
PBS_JOBID= 14624354
Free space on /tmp= 71496 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-bnatt350.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693638-1338042641/watcher-3693638-1338042641 -o /tmp/evaluation-result-3693638-1338042641/solver-3693638-1338042641 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693638-1338042641.opb -t 1800 -m 15500

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

MD5SUM BENCH= 9054782dbdf385ef080d3f3a34a113d2
RANDOM SEED=1566023754

node117.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		: 2667.148
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	: 5334.29
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		: 2667.148
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		: 2667.148
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.91
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		: 2667.148
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.95
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		: 2667.148
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		: 2667.148
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		: 2667.148
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		: 2667.148
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:       32873660 kB
MemFree:        28736612 kB
Buffers:          269880 kB
Cached:          2844612 kB
SwapCached:            0 kB
Active:           817808 kB
Inactive:        2536372 kB
Active(anon):     242552 kB
Inactive(anon):        0 kB
Active(file):     575256 kB
Inactive(file):  2536372 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13600 kB
Writeback:             0 kB
AnonPages:        310328 kB
Mapped:            17704 kB
Shmem:               200 kB
Slab:             644156 kB
SReclaimable:      88752 kB
SUnreclaim:       555404 kB
KernelStack:        1480 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     355468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 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= 71484 MiB
End job on node117 at 2012-05-26 17:00:38