Trace number 1868970

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1795.7 1799.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUMe569a703dfec131c012510753e8401ab
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1931
Best CPU time to get the best result obtained on this benchmark18.6472
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1931
Optimality of the best value was proved YES
Number of variables3862
Total number of constraints16399
Number of constraints which are clauses16399
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint8
Number of terms in the objective function 3862
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 3862
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3862
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.18/0.26	c SCIP version 1.1.0.7
0.18/0.26	c LP-Solver SoPlex 1.4.1
0.18/0.26	c user parameter file <scip.set> not found - using default parameters
0.18/0.26	c read problem <HOME/instance-1868970-1245152466.opb>
0.18/0.26	c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.28/0.32	c start presolving problem
0.28/0.32	c presolving:
0.38/0.40	c (round 1) 710 del vars, 720 del conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.38/0.42	c (round 2) 753 del vars, 2214 del conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43208 impls, 0 clqs
0.38/0.44	c (round 3) 795 del vars, 2450 del conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43516 impls, 0 clqs
0.38/0.45	c (round 4) 855 del vars, 2664 del conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 45724 impls, 0 clqs
0.38/0.47	c (round 5) 924 del vars, 3067 del conss, 872 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46764 impls, 0 clqs
0.38/0.48	c (round 6) 948 del vars, 3190 del conss, 896 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47482 impls, 0 clqs
0.38/0.49	c (round 7) 955 del vars, 3240 del conss, 903 chg bounds, 10 chg sides, 18 chg coeffs, 0 upgd conss, 48506 impls, 0 clqs
0.48/0.50	c (round 8) 961 del vars, 3267 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48700 impls, 0 clqs
0.48/0.51	c (round 9) 961 del vars, 3270 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48946 impls, 0 clqs
0.58/0.68	c (round 10) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10332 upgd conss, 48946 impls, 0 clqs
0.68/0.70	c (round 11) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 48946 impls, 0 clqs
0.68/0.76	c (round 12) 1011 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 52844 impls, 0 clqs
0.68/0.77	c (round 13) 1011 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.78/0.82	c (round 14) 1061 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55464 impls, 0 clqs
0.78/0.83	c (round 15) 1063 del vars, 6130 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.78/0.87	c (round 16) 1063 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.88/0.92	c (round 17) 1114 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 56680 impls, 0 clqs
0.88/0.93	c (round 18) 1118 del vars, 6248 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
0.88/0.94	c (round 19) 1119 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
0.98/1.03	c (round 20) 1171 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 59779 impls, 0 clqs
0.98/1.04	c (round 21) 1174 del vars, 6425 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
0.98/1.07	c (round 22) 1174 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.08/1.14	c (round 23) 1226 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 62905 impls, 0 clqs
1.08/1.15	c (round 24) 1229 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
1.17/1.20	c (round 25) 1279 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64141 impls, 0 clqs
1.17/1.21	c (round 26) 1279 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64361 impls, 0 clqs
1.17/1.26	c (round 27) 1329 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.17/1.27	c (round 28) 1329 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.27/1.33	c (round 29) 1379 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.27/1.33	c (round 30) 1379 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.37/1.40	c (round 31) 1429 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65717 impls, 0 clqs
1.37/1.45	c (round 32) 1479 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.37/1.46	c (round 33) 1479 del vars, 6992 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.47/1.50	c (round 34) 1479 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.47/1.59	c (round 35) 1529 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.57/1.60	c (round 36) 1529 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.57/1.67	c (round 37) 1579 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.67/1.71	c (round 38) 1579 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.67/1.76	c (round 39) 1629 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67419 impls, 0 clqs
1.77/1.83	c    (1.3s) probing: 1000/2901 (34.5%) - 191 fixings, 474 aggregations, 3498 implications, 0 bound changes
1.77/1.84	c (round 40) 1684 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68455 impls, 0 clqs
1.77/1.85	c (round 41) 1684 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68567 impls, 0 clqs
1.87/1.90	c (round 42) 1734 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
1.87/1.91	c (round 43) 1734 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
1.87/1.96	c (round 44) 1784 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
1.87/2.00	c (round 45) 1784 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
1.97/2.08	c    (1.6s) probing: 1349/2901 (46.5%) - 241 fixings, 570 aggregations, 3807 implications, 0 bound changes
1.97/2.08	c    (1.6s) probing aborted: 100/100 successive totally useless probings
1.97/2.08	c (round 46) 1785 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69107 impls, 0 clqs
2.07/2.15	c    (1.6s) probing: 1451/2901 (50.0%) - 241 fixings, 570 aggregations, 3811 implications, 0 bound changes
2.07/2.15	c    (1.6s) probing aborted: 100/100 successive totally useless probings
2.07/2.15	c presolving (47 rounds):
2.07/2.15	c  1785 deleted vars, 7390 deleted constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
2.07/2.15	c  69117 implications, 0 cliques
2.07/2.15	c presolved problem has 2077 variables (2077 bin, 0 int, 0 impl, 0 cont) and 9009 constraints
2.07/2.15	c    9009 constraints of type <logicor>
2.07/2.15	c transformed objective value is always integral (scale: 1)
2.07/2.15	c Presolving Time: 1.58
2.07/2.15	c strange?!, PURESAT with obj
2.07/2.15	c -----------------------------------------------------------------------------------------------
2.07/2.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.07/2.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.07/2.15	c limits/memory = c 1620
2.07/2.15	c # maximal time in seconds to run
2.07/2.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.07/2.15	c limits/time = c 1791
2.07/2.15	c # frequency for displaying node information lines
2.07/2.15	c # [type: int, range: [-1,2147483647], default: 100]
2.07/2.15	c display/freq = c 10000
2.07/2.15	c -----------------------------------------------------------------------------------------------
2.07/2.15	c start solving problem
2.07/2.15	c 
5.54/5.63	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.54/5.63	c   5.0s|     1 |     0 |  3498 |  22M|   0 |1333 |2077 |9009 |9009 |2077 |8443 |   0 |   0 |   0 | 1.602146e+03 |      --      |    Inf 
31.47/31.70	c  30.9s|     1 |     0 | 17669 |  26M|   0 |1334 |2077 |9009 |9009 |2077 |8634 | 191 |   0 |   0 | 1.623167e+03 |      --      |    Inf 
35.85/36.12	c  35.3s|     1 |     0 | 20524 |  27M|   0 |1399 |2077 |9009 |9009 |2077 |8689 | 246 |   0 |   0 | 1.665742e+03 |      --      |    Inf 
40.41/40.75	c  39.8s|     1 |     0 | 23553 |  28M|   0 |1401 |2077 |9009 |9009 |2077 |8736 | 293 |   0 |   0 | 1.704890e+03 |      --      |    Inf 
44.10/44.49	c  43.5s|     1 |     0 | 26426 |  28M|   0 |1431 |2077 |9009 |9009 |2077 |8778 | 335 |   0 |   0 | 1.744110e+03 |      --      |    Inf 
49.36/49.79	c  48.8s|     1 |     0 | 29765 |  29M|   0 |1481 |2077 |9009 |9009 |2077 |8826 | 383 |   0 |   0 | 1.781128e+03 |      --      |    Inf 
52.92/53.37	c  52.3s|     1 |     0 | 31922 |  30M|   0 |1467 |2077 |9009 |9009 |2077 |8868 | 425 |   0 |   0 | 1.793652e+03 |      --      |    Inf 
57.87/58.35	c  57.2s|     1 |     0 | 34815 |  31M|   0 |1520 |2077 |9009 |9009 |2077 |8925 | 482 |   0 |   0 | 1.799349e+03 |      --      |    Inf 
66.03/66.58	c  65.4s|     1 |     0 | 38815 |  32M|   0 |1603 |2077 |9009 |9009 |2077 |8965 | 522 |   0 |   0 | 1.802956e+03 |      --      |    Inf 
75.35/75.98	c  74.7s|     1 |     0 | 41868 |  34M|   0 |1607 |2077 |9009 |9009 |2077 |8998 | 555 |   0 |   0 | 1.805246e+03 |      --      |    Inf 
85.78/86.44	c  85.0s|     1 |     0 | 46318 |  36M|   0 |1598 |2077 |9009 |9009 |2077 |9026 | 583 |   0 |   0 | 1.808948e+03 |      --      |    Inf 
92.87/93.53	c  92.1s|     1 |     0 | 49831 |  37M|   0 |1593 |2077 |9009 |9009 |2077 |9061 | 618 |   0 |   0 | 1.811648e+03 |      --      |    Inf 
104.06/104.78	c   103s|     1 |     0 | 54789 |  39M|   0 |1673 |2077 |9009 |9009 |2077 |9096 | 653 |   0 |   0 | 1.814751e+03 |      --      |    Inf 
120.14/120.89	c   119s|     1 |     0 | 59712 |  40M|   0 |1647 |2077 |9009 |9009 |2077 |9134 | 691 |   0 |   0 | 1.817243e+03 |      --      |    Inf 
134.24/134.95	c   133s|     1 |     0 | 64329 |  42M|   0 |1639 |2077 |9009 |9009 |2077 |8976 | 724 |   0 |   0 | 1.819536e+03 |      --      |    Inf 
150.83/151.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
150.83/151.58	c   150s|     1 |     0 | 70604 |  44M|   0 |1651 |2077 |9009 |9009 |2077 |9013 | 761 |   0 |   0 | 1.822554e+03 |      --      |    Inf 
167.83/168.54	c   167s|     1 |     0 | 76780 |  47M|   0 |1647 |2077 |9009 |9009 |2077 |9040 | 788 |   0 |   0 | 1.824382e+03 |      --      |    Inf 
184.73/185.47	c   184s|     1 |     0 | 82357 |  49M|   0 |1604 |2077 |9009 |9009 |2077 |9085 | 833 |   0 |   0 | 1.827223e+03 |      --      |    Inf 
205.31/206.06	c   204s|     1 |     0 | 89759 |  51M|   0 |1676 |2077 |9009 |9009 |2077 |9118 | 866 |   0 |   0 | 1.831765e+03 |      --      |    Inf 
227.11/227.81	c   226s|     1 |     0 | 96541 |  53M|   0 |1654 |2077 |9009 |9009 |2077 |9145 | 893 |   0 |   0 | 1.834717e+03 |      --      |    Inf 
246.84/247.69	c   246s|     1 |     0 |101465 |  54M|   0 |1699 |2077 |9009 |9009 |2077 |9033 | 908 |   0 |   0 | 1.835021e+03 |      --      |    Inf 
275.95/276.94	c   275s|     1 |     0 |108827 |  54M|   0 |1699 |2077 |9009 |9009 |2077 |9044 | 919 |   0 |   0 | 1.835389e+03 |      --      |    Inf 
290.83/291.82	c   289s|     1 |     0 |113254 |  55M|   0 |1687 |2077 |9009 |9009 |2077 |9059 | 934 |   0 |   0 | 1.835787e+03 |      --      |    Inf 
308.72/309.71	c   307s|     1 |     0 |117572 |  55M|   0 |1692 |2077 |9009 |9009 |2077 |9072 | 947 |   0 |   0 | 1.836217e+03 |      --      |    Inf 
317.11/318.19	c   316s|     1 |     0 |120094 |  55M|   0 |1650 |2077 |9009 |9009 |2077 |9081 | 956 |   0 |   0 | 1.836450e+03 |      --      |    Inf 
323.32/324.35	c   322s|     1 |     0 |121840 |  55M|   0 |1661 |2077 |9009 |9009 |2077 |9093 | 968 |   0 |   0 | 1.836844e+03 |      --      |    Inf 
337.82/338.88	c   336s|     1 |     0 |126266 |  55M|   0 |1682 |2077 |9009 |9009 |2077 |8977 | 983 |   0 |   0 | 1.837213e+03 |      --      |    Inf 
347.90/348.95	c   346s|     1 |     0 |128695 |  55M|   0 |1619 |2077 |9009 |9009 |2077 |8995 |1001 |   0 |   0 | 1.837887e+03 |      --      |    Inf 
359.19/360.20	c   358s|     1 |     0 |131254 |  55M|   0 |1641 |2077 |9009 |9009 |2077 |9010 |1016 |   0 |   0 | 1.838308e+03 |      --      |    Inf 
368.50/369.58	c   367s|     1 |     0 |134964 |  56M|   0 |1679 |2077 |9009 |9009 |2077 |9034 |1040 |   0 |   0 | 1.840008e+03 |      --      |    Inf 
380.16/381.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
380.16/381.24	c   379s|     1 |     0 |138789 |  56M|   0 |1711 |2077 |9009 |9009 |2077 |9060 |1066 |   0 |   0 | 1.841756e+03 |      --      |    Inf 
390.46/391.52	c   389s|     1 |     0 |142509 |  56M|   0 |1696 |2077 |9009 |9009 |2077 |9085 |1091 |   0 |   0 | 1.843763e+03 |      --      |    Inf 
399.85/400.93	c   398s|     1 |     0 |145835 |  57M|   0 |1709 |2077 |9009 |9009 |2077 |9007 |1118 |   0 |   0 | 1.845069e+03 |      --      |    Inf 
413.43/414.59	c   412s|     1 |     0 |150052 |  57M|   0 |1724 |2077 |9009 |9009 |2077 |9024 |1135 |   0 |   0 | 1.846386e+03 |      --      |    Inf 
425.88/427.05	c   424s|     1 |     0 |153768 |  57M|   0 |1712 |2077 |9009 |9009 |2077 |9042 |1153 |   0 |   0 | 1.847316e+03 |      --      |    Inf 
433.47/434.67	c   432s|     1 |     0 |155519 |  57M|   0 |1700 |2077 |9009 |9009 |2077 |9055 |1166 |   0 |   0 | 1.848058e+03 |      --      |    Inf 
449.57/450.71	c   448s|     1 |     0 |160299 |  57M|   0 |1726 |2077 |9009 |9009 |2077 |9074 |1185 |   0 |   0 | 1.849074e+03 |      --      |    Inf 
461.27/462.42	c   459s|     1 |     0 |164182 |  57M|   0 |1713 |2077 |9009 |9009 |2077 |9097 |1208 |   0 |   0 | 1.849667e+03 |      --      |    Inf 
479.76/480.92	c   478s|     1 |     0 |169992 |  58M|   0 |1687 |2077 |9009 |9009 |2077 |9047 |1224 |   0 |   0 | 1.850857e+03 |      --      |    Inf 
497.36/498.53	c   495s|     1 |     0 |174991 |  58M|   0 |1686 |2077 |9009 |9009 |2077 |9060 |1237 |   0 |   0 | 1.851597e+03 |      --      |    Inf 
512.95/514.20	c   511s|     1 |     0 |179794 |  58M|   0 |1705 |2077 |9009 |9009 |2077 |9081 |1258 |   0 |   0 | 1.852366e+03 |      --      |    Inf 
523.67/524.87	c   522s|     1 |     0 |183200 |  58M|   0 |1702 |2077 |9009 |9009 |2077 |9095 |1272 |   0 |   0 | 1.852588e+03 |      --      |    Inf 
537.04/538.28	c   535s|     1 |     0 |187400 |  58M|   0 |1674 |2077 |9009 |9009 |2077 |9107 |1284 |   0 |   0 | 1.852654e+03 |      --      |    Inf 
540.05/541.25	c   538s|     1 |     0 |187762 |  58M|   0 |1675 |2077 |9009 |9009 |2077 |9110 |1287 |   0 |   0 | 1.852654e+03 |      --      |    Inf 
543.54/544.78	c   542s|     1 |     0 |187928 |  58M|   0 |1672 |2077 |9009 |9009 |2077 |9019 |1290 |   0 |   0 | 1.852655e+03 |      --      |    Inf 
551.65/552.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
551.65/552.88	c   550s|     1 |     0 |190407 |  58M|   0 |1666 |2077 |9009 |9009 |2077 |9026 |1297 |   0 |   0 | 1.852781e+03 |      --      |    Inf 
561.34/562.59	c   559s|     1 |     0 |192997 |  58M|   0 |1684 |2077 |9009 |9009 |2077 |9036 |1307 |   0 |   0 | 1.853677e+03 |      --      |    Inf 
569.64/570.81	c   568s|     1 |     0 |194815 |  58M|   0 |1674 |2077 |9009 |9009 |2077 |9044 |1315 |   0 |   0 | 1.853913e+03 |      --      |    Inf 
574.81/576.02	c   573s|     1 |     0 |195334 |  58M|   0 |1670 |2077 |9009 |9009 |2077 |9050 |1321 |   0 |   0 | 1.853917e+03 |      --      |    Inf 
586.14/587.47	c   584s|     1 |     0 |199004 |  58M|   0 |1672 |2077 |9009 |9009 |2077 |9056 |1327 |   0 |   0 | 1.853978e+03 |      --      |    Inf 
592.67/594.00	c   591s|     1 |     0 |199762 |  58M|   0 |1674 |2077 |9009 |9009 |2077 |8993 |1340 |   0 |   0 | 1.853989e+03 |      --      |    Inf 
597.44/598.88	c   595s|     1 |     0 |200721 |  58M|   0 |1668 |2077 |9009 |9009 |2077 |9000 |1347 |   0 |   0 | 1.853999e+03 |      --      |    Inf 
609.28/610.78	c   607s|     1 |     0 |203574 |  58M|   0 |1653 |2077 |9009 |9009 |2077 |9010 |1357 |   0 |   0 | 1.854153e+03 |      --      |    Inf 
617.33/618.89	c   615s|     1 |     0 |205695 |  58M|   0 |1658 |2077 |9009 |9009 |2077 |9031 |1378 |   0 |   0 | 1.854274e+03 |      --      |    Inf 
628.16/629.72	c   626s|     1 |     0 |208728 |  58M|   0 |1660 |2077 |9009 |9009 |2077 |9046 |1393 |   0 |   0 | 1.854321e+03 |      --      |    Inf 
635.79/637.44	c   634s|     1 |     0 |210265 |  58M|   0 |1645 |2077 |9009 |9009 |2077 |9055 |1402 |   0 |   0 | 1.854339e+03 |      --      |    Inf 
640.67/642.40	c   638s|     1 |     0 |211549 |  58M|   0 |1647 |2077 |9009 |9009 |2077 |9021 |1411 |   0 |   0 | 1.854348e+03 |      --      |    Inf 
645.44/647.10	c   643s|     1 |     0 |212546 |  58M|   0 |1635 |2077 |9009 |9009 |2077 |9030 |1420 |   0 |   0 | 1.854377e+03 |      --      |    Inf 
652.79/654.59	c   650s|     1 |     0 |214103 |  58M|   0 |1618 |2077 |9009 |9009 |2077 |9041 |1431 |   0 |   0 | 1.854404e+03 |      --      |    Inf 
656.67/658.43	c   654s|     1 |     0 |214813 |  58M|   0 |1619 |2077 |9009 |9009 |2077 |9046 |1436 |   0 |   0 | 1.854404e+03 |      --      |    Inf 
661.99/663.80	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
661.99/663.80	c   660s|     1 |     0 |215171 |  58M|   0 |1622 |2077 |9009 |9009 |2077 |9052 |1442 |   0 |   0 | 1.854407e+03 |      --      |    Inf 
666.16/668.04	c   664s|     1 |     0 |215911 |  58M|   0 |1637 |2077 |9009 |9009 |2077 |9061 |1451 |   0 |   0 | 1.854416e+03 |      --      |    Inf 
741.35/743.49	c   739s|     1 |     2 |215911 |  58M|   0 |1637 |2077 |9009 |9009 |2077 |9061 |1451 |   0 |  32 | 1.854416e+03 |      --      |    Inf 
1795.49/1799.49	c 
1795.49/1799.49	c SCIP Status        : solving was interrupted [time limit reached]
1795.49/1799.49	c Solving Time (sec) : 1791.01
1795.49/1799.49	c Solving Nodes      : 10
1795.49/1799.49	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.49/1799.49	c Dual Bound         : +1.85441564108544e+03
1795.49/1799.49	c Gap                : infinite
1795.49/1799.49	c NODE         10
1795.49/1799.49	c DUAL BOUND   1854.42
1795.49/1799.49	c PRIMAL BOUND 1e+20
1795.49/1799.49	c GAP          1e+20
1795.49/1799.49	s UNKNOWN
1795.49/1799.49	c SCIP Status        : solving was interrupted [time limit reached]
1795.49/1799.49	c Solving Time       :    1791.01
1795.49/1799.49	c Original Problem   :
1795.49/1799.49	c   Problem name     : HOME/instance-1868970-1245152466.opb
1795.49/1799.49	c   Variables        : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.49/1799.49	c   Constraints      : 16399 initial, 16399 maximal
1795.49/1799.49	c Presolved Problem  :
1795.49/1799.49	c   Problem name     : t_HOME/instance-1868970-1245152466.opb
1795.49/1799.49	c   Variables        : 2077 (2077 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.49/1799.49	c   Constraints      : 9009 initial, 9026 maximal
1795.49/1799.49	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.49/1799.49	c   trivial          :       0.01          1          0          0          0          0          0          0          0
1795.49/1799.49	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.49/1799.49	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.49/1799.49	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.49/1799.49	c   implics          :       0.05          0         61          0          0          0          0          0          0
1795.49/1799.49	c   probing          :       0.58        241        570          0          0          0          0          0          0
1795.49/1799.49	c   linear           :       0.22        909          3          0        909          0       6007         31         24
1795.49/1799.49	c   logicor          :       0.66          0          0          0          1          0       1383          0          0
1795.49/1799.49	c   root node        :          -          0          -          -          0          -          -          -          -
1795.49/1799.49	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.49/1799.49	c   integral         :          0          0          0         11          0          0          2          0          0         20
1795.49/1799.49	c   logicor          :       9009+        61       8047          0          0         95         52          0          0          0
1795.49/1799.49	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.49/1799.49	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.49/1799.49	c   integral         :     494.04       0.00       0.00     494.04       0.00
1795.49/1799.49	c   logicor          :       0.31       0.09       0.22       0.00       0.00
1795.49/1799.49	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.49/1799.49	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.49/1799.49	c   rootredcost      :       0.00          0          0          0
1795.49/1799.49	c   pseudoobj        :       0.35       4609          0          0
1795.49/1799.49	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.49/1799.49	c   propagation      :       0.00         13         13         15        8.1          0        0.0          -
1795.49/1799.49	c   infeasible LP    :       0.00          2          2          3       13.0          1        8.0          0
1795.49/1799.49	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.49/1799.49	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.49/1799.49	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.49/1799.49	c   applied globally :          -          -          -         17        9.2          -          -          -
1795.49/1799.49	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.49/1799.49	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.49/1799.49	c   cut pool         :       0.76         60          -          -       1070          -    (maximal pool size: 9227)
1795.49/1799.49	c   redcost          :       0.02         71          0          0          0          0
1795.49/1799.50	c   impliedbounds    :       0.15         61          0          0        734          0
1795.49/1799.50	c   intobj           :       0.00          0          0          0          0          0
1795.49/1799.50	c   gomory           :     156.42         61          0          0      17860          0
1795.49/1799.50	c   strongcg         :      12.05         20          0          0      10000          0
1795.49/1799.50	c   cmir             :       1.04         10          0          0          0          0
1795.49/1799.50	c   flowcover        :       1.16         10          0          0          0          0
1795.49/1799.50	c   clique           :       1.50         61          0          0        428          0
1795.49/1799.50	c   zerohalf         :       0.00          0          0          0          0          0
1795.49/1799.50	c   mcf              :       0.02          1          0          0          0          0
1795.49/1799.50	c Pricers            :       Time      Calls       Vars
1795.49/1799.50	c   problem variables:       0.00          0          0
1795.49/1799.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.49/1799.50	c   relpscost        :     494.04         11          0          2          0          0         20
1795.49/1799.50	c   pscost           :       0.00          0          0          0          0          0          0
1795.49/1799.50	c   inference        :       0.00          0          0          0          0          0          0
1795.49/1799.50	c   mostinf          :       0.00          0          0          0          0          0          0
1795.49/1799.50	c   leastinf         :       0.00          0          0          0          0          0          0
1795.49/1799.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.49/1799.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.49/1799.50	c   random           :       0.00          0          0          0          0          0          0
1795.49/1799.50	c Primal Heuristics  :       Time      Calls      Found
1795.49/1799.50	c   LP solutions     :       0.00          -          0
1795.49/1799.50	c   pseudo solutions :       0.00          -          0
1795.49/1799.50	c   oneopt           :       0.00          0          0
1795.49/1799.50	c   simplerounding   :       0.00          0          0
1795.49/1799.50	c   rounding         :       0.29         72          0
1795.49/1799.50	c   shifting         :       0.89         62          0
1795.49/1799.50	c   intshifting      :       0.00          0          0
1795.49/1799.50	c   fixandinfer      :       0.00          0          0
1795.49/1799.50	c   feaspump         :      23.27          1          0
1795.49/1799.50	c   coefdiving       :      80.13          1          0
1795.49/1799.50	c   pscostdiving     :      80.49          1          0
1795.49/1799.50	c   fracdiving       :     133.88          2          0
1795.49/1799.50	c   veclendiving     :      61.60          1          0
1795.49/1799.50	c   intdiving        :       0.00          0          0
1795.49/1799.50	c   actconsdiving    :       0.00          0          0
1795.49/1799.50	c   objpscostdiving  :     241.60          1          0
1795.49/1799.50	c   rootsoldiving    :       0.00          0          0
1795.49/1799.50	c   linesearchdiving :       0.00          0          0
1795.49/1799.50	c   guideddiving     :       0.00          0          0
1795.49/1799.50	c   octane           :       0.00          0          0
1795.49/1799.50	c   rens             :       0.01          0          0
1795.49/1799.50	c   rins             :       0.00          0          0
1795.49/1799.50	c   localbranching   :       0.00          0          0
1795.49/1799.50	c   mutation         :       0.00          0          0
1795.49/1799.50	c   crossover        :       0.00          0          0
1795.49/1799.50	c   dins             :       0.00          0          0
1795.49/1799.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.49/1799.50	c   primal LP        :       0.12          0          0       0.00       0.00
1795.49/1799.50	c   dual LP          :     499.05         72     219597    3049.96     440.03
1795.49/1799.50	c   barrier LP       :       0.00          0          0       0.00          -
1795.49/1799.50	c   diving/probing LP:     610.78       2663     255049      95.78     417.58
1795.49/1799.50	c   strong branching :     494.01        240     213578     889.91     432.34
1795.49/1799.50	c     (at root node) :          -         32      28929     904.03          -
1795.49/1799.50	c   conflict analysis:       0.00          0          0       0.00          -
1795.49/1799.50	c B&B Tree           :
1795.49/1799.50	c   number of runs   :          1
1795.49/1799.50	c   nodes            :         10
1795.49/1799.50	c   nodes (total)    :         10
1795.49/1799.50	c   nodes left       :         11
1795.49/1799.50	c   max depth        :          4
1795.49/1799.50	c   max depth (total):          4
1795.49/1799.50	c   backtracks       :          6 (60.0%)
1795.49/1799.50	c   delayed cutoffs  :          0
1795.49/1799.50	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1795.49/1799.50	c   avg switch length:       2.30
1795.49/1799.50	c   switching time   :       0.04
1795.49/1799.50	c Solution           :
1795.49/1799.50	c   Solutions found  :          0 (0 improvements)
1795.49/1799.50	c   Primal Bound     :          -
1795.49/1799.50	c   Dual Bound       : +1.85441564108544e+03
1795.49/1799.50	c   Gap              :   infinite
1795.49/1799.50	c   Root Dual Bound  : +1.85441564108544e+03
1795.69/1799.61	c Time complete: 1795.69.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.37 2.17 2.05 4/73 1528
/proc/meminfo: memFree=1847528/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=18576 CPUtime=0
/proc/1528/stat : 1528 (runsolver) R 1526 1528 1192 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 182845214 19021824 284 1992294400 4194304 4302564 548682068432 18446744073709551615 214945033511 0 0 4096 24578 0 0 0 17 0 0 0
/proc/1528/statm: 4644 284 249 26 0 2626 0

[startup+0.077478 s]
/proc/loadavg: 2.37 2.17 2.05 4/73 1528
/proc/meminfo: memFree=1847528/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=13708 CPUtime=0.06
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 2771 0 0 0 4 2 0 0 19 0 1 0 182845214 14036992 2753 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/1528/statm: 3427 2753 354 886 0 2537 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13708

[startup+0.101476 s]
/proc/loadavg: 2.37 2.17 2.05 4/73 1528
/proc/meminfo: memFree=1847528/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=13864 CPUtime=0.08
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 2799 0 0 0 6 2 0 0 19 0 1 0 182845214 14196736 2781 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/1528/statm: 3466 2781 354 886 0 2576 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13864

[startup+0.301508 s]
/proc/loadavg: 2.37 2.17 2.05 4/73 1528
/proc/meminfo: memFree=1847528/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=32308 CPUtime=0.28
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 7449 0 0 0 24 4 0 0 21 0 1 0 182845214 33083392 7077 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 8077 7077 370 886 0 7187 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32308

[startup+0.701552 s]
/proc/loadavg: 2.37 2.17 2.05 4/73 1528
/proc/meminfo: memFree=1847528/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=43136 CPUtime=0.68
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 10203 0 0 0 56 12 0 0 25 0 1 0 182845214 44171264 9831 1992294400 4194304 7823515 548682068736 18446744073709551615 5112135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 10784 9831 437 886 0 9894 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43136

[startup+1.50164 s]
/proc/loadavg: 2.50 2.20 2.06 2/74 1529
/proc/meminfo: memFree=1808032/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=45184 CPUtime=1.47
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 10750 0 0 0 126 21 0 0 25 0 1 0 182845214 46268416 10378 1992294400 4194304 7823515 548682068736 18446744073709551615 5112135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 11296 10378 448 886 0 10406 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 45184

[startup+3.10282 s]
/proc/loadavg: 2.50 2.20 2.06 4/74 1529
/proc/meminfo: memFree=1807392/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=58252 CPUtime=3.06
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 14239 0 0 0 277 29 0 0 25 0 1 0 182845214 59650048 13646 1992294400 4194304 7823515 548682068736 18446744073709551615 6109504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 14563 13646 520 886 0 13673 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 58252

[startup+6.30119 s]
/proc/loadavg: 2.38 2.18 2.06 2/74 1529
/proc/meminfo: memFree=1792928/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=60332 CPUtime=6.22
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 14733 0 0 0 591 31 0 0 25 0 1 0 182845214 61779968 14120 1992294400 4194304 7823515 548682068736 18446744073709551615 6180599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 15083 14120 531 886 0 14193 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 60332

[startup+12.7019 s]
/proc/loadavg: 2.35 2.18 2.06 3/74 1529
/proc/meminfo: memFree=1792672/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=60332 CPUtime=12.58
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 14744 0 0 0 1225 33 0 0 25 0 1 0 182845214 61779968 14131 1992294400 4194304 7823515 548682068736 18446744073709551615 6019607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 15083 14131 531 886 0 14193 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 60332

[startup+25.5014 s]
/proc/loadavg: 2.20 2.16 2.05 4/74 1529
/proc/meminfo: memFree=1792800/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=60332 CPUtime=25.31
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 14744 0 0 0 2496 35 0 0 25 0 1 0 182845214 61779968 14131 1992294400 4194304 7823515 548682068736 18446744073709551615 6211603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 15083 14131 531 886 0 14193 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 60332

[startup+51.1013 s]
/proc/loadavg: 2.19 2.16 2.05 4/74 1529
/proc/meminfo: memFree=1777056/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=76908 CPUtime=50.75
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 19086 0 0 0 5030 45 0 0 25 0 1 0 182845214 78753792 18344 1992294400 4194304 7823515 548682068736 18446744073709551615 6211719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 19227 18344 560 886 0 18337 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 76908

[startup+102.314 s]
/proc/loadavg: 2.20 2.16 2.06 3/74 1529
/proc/meminfo: memFree=1756896/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=96912 CPUtime=101.66
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 25297 0 0 0 10102 64 0 0 25 0 1 0 182845214 99237888 23097 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 24228 23097 560 886 0 23338 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 96912

[startup+162.302 s]
/proc/loadavg: 1.98 2.11 2.05 3/74 1529
/proc/meminfo: memFree=1747488/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=105992 CPUtime=161.62
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 28732 0 0 0 16081 81 0 0 25 0 1 0 182845214 108535808 25439 1992294400 4194304 7823515 548682068736 18446744073709551615 6210987 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 26498 25439 560 886 0 25608 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 105992

[startup+222.302 s]
/proc/loadavg: 1.85 2.07 2.03 3/74 1529
/proc/meminfo: memFree=1741024/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=113316 CPUtime=221.6
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 31978 0 0 0 22064 96 0 0 25 0 1 0 182845214 116035584 27037 1992294400 4194304 7823515 548682068736 18446744073709551615 6180599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 28329 27037 560 886 0 27439 0
Current children cumulated CPU time (s) 221.6
Current children cumulated vsize (KiB) 113316

[startup+282.307 s]
/proc/loadavg: 2.04 2.10 2.04 3/74 1529
/proc/meminfo: memFree=1735712/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=118396 CPUtime=281.34
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 35165 0 0 0 28022 112 0 0 25 0 1 0 182845214 121237504 28403 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 29599 28403 560 886 0 28709 0
Current children cumulated CPU time (s) 281.34
Current children cumulated vsize (KiB) 118396

[startup+342.305 s]
/proc/loadavg: 1.92 2.05 2.03 4/74 1529
/proc/meminfo: memFree=1736864/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=116408 CPUtime=341.31
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 38308 0 0 0 34003 128 0 0 25 0 1 0 182845214 119201792 28028 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 29102 28028 560 886 0 28212 0
Current children cumulated CPU time (s) 341.31
Current children cumulated vsize (KiB) 116408

[startup+402.302 s]
/proc/loadavg: 2.00 2.05 2.03 3/74 1529
/proc/meminfo: memFree=1737184/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=116436 CPUtime=401.25
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 38921 0 0 0 39981 144 0 0 25 0 1 0 182845214 119230464 27980 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 29109 27980 560 886 0 28219 0
Current children cumulated CPU time (s) 401.25
Current children cumulated vsize (KiB) 116436

[startup+462.305 s]
/proc/loadavg: 1.83 1.99 2.01 3/74 1529
/proc/meminfo: memFree=1736608/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=116460 CPUtime=461.17
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 39710 0 0 0 45957 160 0 0 25 0 1 0 182845214 119255040 28085 1992294400 4194304 7823515 548682068736 18446744073709551615 6208750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 29115 28085 560 886 0 28225 0
Current children cumulated CPU time (s) 461.17
Current children cumulated vsize (KiB) 116460

[startup+522.31 s]
/proc/loadavg: 1.92 1.98 2.00 3/74 1529
/proc/meminfo: memFree=1735776/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=117936 CPUtime=521.16
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 39932 0 0 0 51944 172 0 0 25 0 1 0 182845214 120766464 28307 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 29484 28307 560 886 0 28594 0
Current children cumulated CPU time (s) 521.16
Current children cumulated vsize (KiB) 117936

[startup+582.301 s]
/proc/loadavg: 1.94 1.98 2.00 3/74 1529
/proc/meminfo: memFree=1734688/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=118584 CPUtime=581.07
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 40159 0 0 0 57917 190 0 0 25 0 1 0 182845214 121430016 28534 1992294400 4194304 7823515 548682068736 18446744073709551615 6173531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 29646 28534 560 886 0 28756 0
Current children cumulated CPU time (s) 581.07
Current children cumulated vsize (KiB) 118584

[startup+642.301 s]
/proc/loadavg: 1.78 1.92 1.97 2/74 1529
/proc/meminfo: memFree=1733536/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=119864 CPUtime=640.67
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 42167 0 0 0 63855 212 0 0 25 0 1 0 182845214 122740736 28816 1992294400 4194304 7823515 548682068736 18446744073709551615 6213660 0 0 4096 16384 0 0 0 17 0 0 0
/proc/1528/statm: 29966 28816 560 886 0 29076 0
Current children cumulated CPU time (s) 640.67
Current children cumulated vsize (KiB) 119864

[startup+702.304 s]

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

/proc/meminfo: memFree=1731040/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1120.01
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51551 0 0 0 111685 316 0 0 25 0 1 0 182845214 124469248 29358 1992294400 4194304 7823515 548682068736 18446744073709551615 6212340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29358 569 886 0 29498 0
Current children cumulated CPU time (s) 1120.01
Current children cumulated vsize (KiB) 121552

[startup+1182.3 s]
/proc/loadavg: 2.16 2.03 2.01 3/74 1531
/proc/meminfo: memFree=1731040/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1179.94
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51551 0 0 0 117667 327 0 0 25 0 1 0 182845214 124469248 29358 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29358 569 886 0 29498 0
Current children cumulated CPU time (s) 1179.94
Current children cumulated vsize (KiB) 121552

[startup+1242.3 s]
/proc/loadavg: 1.94 2.02 2.00 4/74 1537
/proc/meminfo: memFree=1730912/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1239.87
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51551 0 0 0 123647 340 0 0 25 0 1 0 182845214 124469248 29358 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29358 569 886 0 29498 0
Current children cumulated CPU time (s) 1239.87
Current children cumulated vsize (KiB) 121552

[startup+1302.3 s]
/proc/loadavg: 1.87 1.98 1.99 2/74 1537
/proc/meminfo: memFree=1730912/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1299.86
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51551 0 0 0 129633 353 0 0 25 0 1 0 182845214 124469248 29358 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29358 569 886 0 29498 0
Current children cumulated CPU time (s) 1299.86
Current children cumulated vsize (KiB) 121552

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 2/74 1537
/proc/meminfo: memFree=1730976/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1359.84
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51551 0 0 0 135617 367 0 0 25 0 1 0 182845214 124469248 29358 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29358 569 886 0 29498 0
Current children cumulated CPU time (s) 1359.84
Current children cumulated vsize (KiB) 121552

[startup+1422.31 s]
/proc/loadavg: 1.80 1.96 1.98 2/74 1537
/proc/meminfo: memFree=1730912/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1419.61
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 141582 379 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6211142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1419.61
Current children cumulated vsize (KiB) 121552

[startup+1482.3 s]
/proc/loadavg: 1.56 1.86 1.94 2/74 1537
/proc/meminfo: memFree=1730848/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1479.08
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 147511 397 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6180642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1479.08
Current children cumulated vsize (KiB) 121552

[startup+1542.31 s]
/proc/loadavg: 1.71 1.85 1.93 2/74 1537
/proc/meminfo: memFree=1730912/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1539.05
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 153498 407 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1539.05
Current children cumulated vsize (KiB) 121552

[startup+1602.3 s]
/proc/loadavg: 1.88 1.87 1.93 4/74 1537
/proc/meminfo: memFree=1730848/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1599.04
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 159490 414 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6208709 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1599.04
Current children cumulated vsize (KiB) 121552

[startup+1662.3 s]
/proc/loadavg: 1.87 1.87 1.92 2/74 1537
/proc/meminfo: memFree=1730848/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1658.91
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 165471 420 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1658.91
Current children cumulated vsize (KiB) 121552

[startup+1722.3 s]
/proc/loadavg: 1.82 1.85 1.91 2/74 1537
/proc/meminfo: memFree=1730720/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1718.7
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 171443 427 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1718.7
Current children cumulated vsize (KiB) 121552

[startup+1782.3 s]
/proc/loadavg: 2.00 1.88 1.91 5/74 1537
/proc/meminfo: memFree=1730528/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1778.39
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 177405 434 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6208911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1778.39
Current children cumulated vsize (KiB) 121552

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

[startup+1791.91 s]
/proc/loadavg: 1.85 1.85 1.90 3/74 1537
/proc/meminfo: memFree=1730656/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1788
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 178365 435 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1788
Current children cumulated vsize (KiB) 121552

[startup+1795.1 s]
/proc/loadavg: 1.85 1.85 1.90 3/74 1537
/proc/meminfo: memFree=1730720/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1791.19
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 178684 435 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6214806 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 121552

[startup+1796.7 s]
/proc/loadavg: 1.86 1.85 1.90 4/74 1537
/proc/meminfo: memFree=1730720/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1792.79
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 178844 435 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1792.79
Current children cumulated vsize (KiB) 121552

[startup+1798.3 s]
/proc/loadavg: 1.86 1.85 1.90 2/74 1537
/proc/meminfo: memFree=1730720/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1794.39
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 179004 435 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (KiB) 121552

[startup+1799.1 s]
/proc/loadavg: 1.86 1.85 1.90 3/74 1537
/proc/meminfo: memFree=1730720/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1795.18
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51553 0 0 0 179083 435 0 0 25 0 1 0 182845214 124469248 29360 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29360 569 886 0 29498 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 121552

[startup+1799.5 s]
/proc/loadavg: 1.86 1.85 1.90 2/74 1537
/proc/meminfo: memFree=1730720/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=121552 CPUtime=1795.58
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51556 0 0 0 179123 435 0 0 25 0 1 0 182845214 124469248 29363 1992294400 4194304 7823515 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0
/proc/1528/statm: 30388 29363 572 886 0 29498 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 121552

[startup+1799.61 s]
/proc/loadavg: 1.86 1.85 1.90 2/74 1537
/proc/meminfo: memFree=1730720/2055920 swapFree=4192948/4192956
[pid=1528] ppid=1526 vsize=16908 CPUtime=1795.69
/proc/1528/stat : 1528 (pbscip.linux.x8) R 1526 1528 1192 0 -1 4194304 51557 0 0 0 179132 437 0 0 25 0 1 0 182845214 17313792 3874 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/1528/statm: 4227 3874 791 886 0 3337 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (KiB) 16908

Child status: 0
Real time (s): 1799.61
CPU time (s): 1795.7
CPU user time (s): 1791.32
CPU system time (s): 4.37833
CPU usage (%): 99.7826
Max. virtual memory (cumulated for all children) (KiB): 122468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.32
system time used= 4.37833
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 13199

runsolver used 2.49062 second user time and 6.01609 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-16 13:41:06
IDJOB=1868970
IDBENCH=2095
IDSOLVER=683
FILE ID=node85/1868970-1245152466
PBS_JOBID= 9363772
Free space on /tmp= 126844 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868970-1245152466/watcher-1868970-1245152466 -o /tmp/evaluation-result-1868970-1245152466/solver-1868970-1245152466 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868970-1245152466.opb

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

MD5SUM BENCH= e569a703dfec131c012510753e8401ab
RANDOM SEED=1020750027

node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848072 kB
Buffers:         16088 kB
Cached:          91752 kB
SwapCached:          8 kB
Active:          39608 kB
Inactive:        98096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848072 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:           10348 kB
Writeback:           0 kB
Mapped:          41256 kB
Slab:            55180 kB
Committed_AS:   580468 kB
PageTables:       2044 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126836 MiB
End job on node85 at 2009-06-16 14:11:06