Trace number 3450847

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 E SCIP 2.0.1.4b with SoPlex 1.5.0.4? 1800.08 1800.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
MD5SUM0b8531b64d2ca93b44d439b9cb9fcfaa
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13429
Number of constraints which are clauses13429
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 constraint3
Number of terms in the objective function 6352
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 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
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.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3450847-1307084326.opb>
0.04/0.09	c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13429 constraints
0.04/0.09	c problem read
0.04/0.09	c presolving settings loaded
0.09/0.13	c presolving:
0.09/0.16	c (round 1) 2972 del vars, 502 del conss, 0 add conss, 331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38894 impls, 0 clqs
0.09/0.18	c (round 2) 3246 del vars, 4518 del conss, 0 add conss, 363 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 48820 impls, 0 clqs
0.09/0.18	c (round 3) 3283 del vars, 4951 del conss, 0 add conss, 378 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 49175 impls, 0 clqs
0.09/0.19	c (round 4) 3318 del vars, 5037 del conss, 0 add conss, 392 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 49532 impls, 0 clqs
0.09/0.19	c (round 5) 3350 del vars, 5120 del conss, 0 add conss, 405 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 49951 impls, 0 clqs
0.09/0.19	c (round 6) 3378 del vars, 5193 del conss, 0 add conss, 416 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 50234 impls, 0 clqs
0.09/0.19	c (round 7) 3402 del vars, 5256 del conss, 0 add conss, 425 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 50473 impls, 0 clqs
0.09/0.19	c (round 8) 3422 del vars, 5309 del conss, 0 add conss, 432 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 50788 impls, 0 clqs
0.09/0.20	c (round 9) 3438 del vars, 5353 del conss, 0 add conss, 438 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 50975 impls, 0 clqs
0.19/0.20	c (round 10) 3454 del vars, 5393 del conss, 0 add conss, 444 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 51120 impls, 0 clqs
0.19/0.20	c (round 11) 3470 del vars, 5433 del conss, 0 add conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 51375 impls, 0 clqs
0.19/0.20	c (round 12) 3486 del vars, 5473 del conss, 0 add conss, 456 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 51534 impls, 0 clqs
0.19/0.20	c (round 13) 3502 del vars, 5513 del conss, 0 add conss, 462 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 51781 impls, 0 clqs
0.19/0.20	c (round 14) 3518 del vars, 5553 del conss, 0 add conss, 468 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 52022 impls, 0 clqs
0.19/0.20	c (round 15) 3534 del vars, 5593 del conss, 0 add conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 52173 impls, 0 clqs
0.19/0.21	c (round 16) 3551 del vars, 5634 del conss, 0 add conss, 481 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 52324 impls, 0 clqs
0.19/0.21	c (round 17) 3567 del vars, 5674 del conss, 0 add conss, 487 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 52479 impls, 0 clqs
0.19/0.21	c (round 18) 3583 del vars, 5714 del conss, 0 add conss, 493 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 52636 impls, 0 clqs
0.19/0.21	c (round 19) 3599 del vars, 5754 del conss, 0 add conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 52911 impls, 0 clqs
0.19/0.21	c (round 20) 3615 del vars, 5794 del conss, 0 add conss, 505 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 53110 impls, 0 clqs
0.19/0.21	c (round 21) 3631 del vars, 5834 del conss, 0 add conss, 511 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 53307 impls, 0 clqs
0.19/0.21	c (round 22) 3647 del vars, 5874 del conss, 0 add conss, 517 chg bounds, 60 chg sides, 120 chg coeffs, 0 upgd conss, 53532 impls, 0 clqs
0.19/0.22	c (round 23) 3656 del vars, 5909 del conss, 0 add conss, 525 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 53572 impls, 0 clqs
0.19/0.22	c (round 24) 3672 del vars, 5943 del conss, 0 add conss, 535 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 53659 impls, 0 clqs
0.19/0.22	c (round 25) 3687 del vars, 5985 del conss, 0 add conss, 544 chg bounds, 66 chg sides, 132 chg coeffs, 0 upgd conss, 53754 impls, 0 clqs
0.19/0.22	c (round 26) 3703 del vars, 6026 del conss, 0 add conss, 554 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 53865 impls, 0 clqs
0.19/0.22	c (round 27) 3718 del vars, 6064 del conss, 0 add conss, 563 chg bounds, 68 chg sides, 136 chg coeffs, 0 upgd conss, 53990 impls, 0 clqs
0.19/0.22	c (round 28) 3734 del vars, 6105 del conss, 0 add conss, 574 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 54089 impls, 0 clqs
0.19/0.22	c (round 29) 3751 del vars, 6147 del conss, 0 add conss, 587 chg bounds, 73 chg sides, 146 chg coeffs, 0 upgd conss, 54185 impls, 0 clqs
0.19/0.23	c (round 30) 3763 del vars, 6182 del conss, 0 add conss, 597 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 54281 impls, 0 clqs
0.19/0.23	c (round 31) 3778 del vars, 6217 del conss, 0 add conss, 608 chg bounds, 79 chg sides, 158 chg coeffs, 0 upgd conss, 54327 impls, 0 clqs
0.19/0.23	c (round 32) 3793 del vars, 6255 del conss, 0 add conss, 619 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 54408 impls, 0 clqs
0.19/0.23	c (round 33) 3806 del vars, 6293 del conss, 0 add conss, 629 chg bounds, 85 chg sides, 168 chg coeffs, 0 upgd conss, 54466 impls, 0 clqs
0.19/0.23	c (round 34) 3824 del vars, 6329 del conss, 0 add conss, 640 chg bounds, 86 chg sides, 170 chg coeffs, 0 upgd conss, 54583 impls, 0 clqs
0.19/0.23	c (round 35) 3839 del vars, 6373 del conss, 0 add conss, 653 chg bounds, 89 chg sides, 176 chg coeffs, 0 upgd conss, 54645 impls, 0 clqs
0.19/0.23	c (round 36) 3854 del vars, 6410 del conss, 0 add conss, 664 chg bounds, 94 chg sides, 186 chg coeffs, 0 upgd conss, 54707 impls, 0 clqs
0.19/0.24	c (round 37) 3874 del vars, 6448 del conss, 0 add conss, 678 chg bounds, 96 chg sides, 190 chg coeffs, 0 upgd conss, 54833 impls, 0 clqs
0.19/0.24	c (round 38) 3888 del vars, 6496 del conss, 0 add conss, 688 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54911 impls, 0 clqs
0.19/0.24	c (round 39) 3904 del vars, 6525 del conss, 0 add conss, 698 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54999 impls, 0 clqs
0.19/0.24	c (round 40) 3921 del vars, 6573 del conss, 0 add conss, 713 chg bounds, 101 chg sides, 200 chg coeffs, 0 upgd conss, 55058 impls, 0 clqs
0.19/0.24	c (round 41) 3936 del vars, 6612 del conss, 0 add conss, 725 chg bounds, 104 chg sides, 206 chg coeffs, 0 upgd conss, 55109 impls, 0 clqs
0.19/0.24	c (round 42) 3950 del vars, 6649 del conss, 0 add conss, 737 chg bounds, 106 chg sides, 210 chg coeffs, 0 upgd conss, 55175 impls, 0 clqs
0.19/0.24	c (round 43) 3968 del vars, 6690 del conss, 0 add conss, 752 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 55228 impls, 0 clqs
0.19/0.24	c (round 44) 3983 del vars, 6724 del conss, 0 add conss, 765 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55305 impls, 0 clqs
0.19/0.25	c (round 45) 3989 del vars, 6755 del conss, 0 add conss, 771 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55323 impls, 0 clqs
0.19/0.25	c (round 46) 4008 del vars, 6785 del conss, 0 add conss, 785 chg bounds, 110 chg sides, 218 chg coeffs, 0 upgd conss, 55400 impls, 0 clqs
0.19/0.25	c (round 47) 4024 del vars, 6822 del conss, 0 add conss, 795 chg bounds, 112 chg sides, 222 chg coeffs, 0 upgd conss, 55506 impls, 0 clqs
0.19/0.25	c (round 48) 4038 del vars, 6865 del conss, 0 add conss, 808 chg bounds, 117 chg sides, 232 chg coeffs, 0 upgd conss, 55597 impls, 0 clqs
0.19/0.25	c (round 49) 4053 del vars, 6911 del conss, 0 add conss, 821 chg bounds, 122 chg sides, 242 chg coeffs, 0 upgd conss, 55684 impls, 0 clqs
0.19/0.25	c (round 50) 4067 del vars, 6946 del conss, 0 add conss, 832 chg bounds, 124 chg sides, 246 chg coeffs, 0 upgd conss, 55751 impls, 0 clqs
0.19/0.25	c (round 51) 4084 del vars, 6979 del conss, 0 add conss, 845 chg bounds, 127 chg sides, 252 chg coeffs, 0 upgd conss, 55829 impls, 0 clqs
0.19/0.25	c (round 52) 4101 del vars, 7019 del conss, 0 add conss, 857 chg bounds, 131 chg sides, 260 chg coeffs, 0 upgd conss, 55932 impls, 0 clqs
0.19/0.26	c (round 53) 4115 del vars, 7062 del conss, 0 add conss, 869 chg bounds, 135 chg sides, 267 chg coeffs, 0 upgd conss, 56002 impls, 0 clqs
0.19/0.26	c (round 54) 4123 del vars, 7095 del conss, 0 add conss, 881 chg bounds, 139 chg sides, 275 chg coeffs, 0 upgd conss, 56089 impls, 0 clqs
0.19/0.26	c (round 55) 4141 del vars, 7137 del conss, 0 add conss, 895 chg bounds, 141 chg sides, 279 chg coeffs, 0 upgd conss, 56134 impls, 0 clqs
0.19/0.26	c (round 56) 4157 del vars, 7175 del conss, 0 add conss, 912 chg bounds, 147 chg sides, 291 chg coeffs, 0 upgd conss, 56163 impls, 0 clqs
0.19/0.26	c (round 57) 4173 del vars, 7214 del conss, 0 add conss, 927 chg bounds, 150 chg sides, 297 chg coeffs, 0 upgd conss, 56200 impls, 0 clqs
0.19/0.26	c (round 58) 4187 del vars, 7250 del conss, 0 add conss, 939 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56236 impls, 0 clqs
0.19/0.26	c (round 59) 4208 del vars, 7276 del conss, 0 add conss, 951 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56396 impls, 0 clqs
0.19/0.26	c (round 60) 4217 del vars, 7327 del conss, 0 add conss, 960 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56448 impls, 0 clqs
0.19/0.27	c (round 61) 4223 del vars, 7346 del conss, 0 add conss, 969 chg bounds, 157 chg sides, 311 chg coeffs, 0 upgd conss, 56474 impls, 0 clqs
0.19/0.27	c (round 62) 4234 del vars, 7370 del conss, 0 add conss, 978 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56507 impls, 0 clqs
0.19/0.27	c (round 63) 4239 del vars, 7384 del conss, 0 add conss, 982 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56523 impls, 0 clqs
0.19/0.27	c (round 64) 4245 del vars, 7399 del conss, 0 add conss, 989 chg bounds, 160 chg sides, 317 chg coeffs, 0 upgd conss, 56542 impls, 0 clqs
0.19/0.27	c (round 65) 4253 del vars, 7417 del conss, 0 add conss, 996 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56567 impls, 0 clqs
0.19/0.27	c (round 66) 4257 del vars, 7430 del conss, 0 add conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56623 impls, 0 clqs
0.19/0.27	c (round 67) 4257 del vars, 7431 del conss, 0 add conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56643 impls, 0 clqs
0.29/0.33	c (round 68) 4257 del vars, 7440 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 56643 impls, 0 clqs
0.39/0.41	c (round 69) 4307 del vars, 7440 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110535 impls, 0 clqs
0.39/0.41	c (round 70) 4308 del vars, 7495 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110593 impls, 0 clqs
0.39/0.42	c (round 71) 4310 del vars, 7495 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110649 impls, 0 clqs
0.39/0.43	c (round 72) 4310 del vars, 7497 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110649 impls, 0 clqs
0.49/0.51	c (round 73) 4360 del vars, 7497 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
0.49/0.51	c (round 74) 4360 del vars, 7547 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
0.49/0.57	c (round 75) 4410 del vars, 7547 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114899 impls, 0 clqs
0.49/0.58	c (round 76) 4410 del vars, 7597 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114899 impls, 0 clqs
0.59/0.65	c    (0.6s) probing: 834/2095 (39.8%) - 1 fixings, 183 aggregations, 5532 implications, 0 bound changes
0.59/0.65	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.65	c (round 77) 4444 del vars, 7597 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 115315 impls, 0 clqs
0.59/0.65	c (round 78) 4444 del vars, 7631 del conss, 0 add conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 115315 impls, 0 clqs
0.59/0.66	c    (0.7s) probing: 844/2095 (40.3%) - 1 fixings, 183 aggregations, 5532 implications, 0 bound changes
0.59/0.66	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.59/0.67	c presolving (79 rounds):
0.59/0.67	c  4444 deleted vars, 7631 deleted constraints, 0 added constraints, 1000 tightened bounds, 0 added holes, 171 changed sides, 321 changed coefficients
0.59/0.67	c  115315 implications, 0 cliques
0.59/0.67	c presolved problem has 1908 variables (1908 bin, 0 int, 0 impl, 0 cont) and 5798 constraints
0.59/0.67	c     975 constraints of type <setppc>
0.59/0.67	c    4823 constraints of type <logicor>
0.59/0.67	c transformed objective value is always integral (scale: 1)
0.59/0.67	c Presolving Time: 0.55
0.59/0.67	c - non default parameters ----------------------------------------------------------------------
0.59/0.67	c # SCIP version 2.0.1.5
0.59/0.67	c 
0.59/0.67	c # frequency for displaying node information lines
0.59/0.67	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.67	c display/freq = 10000
0.59/0.67	c 
0.59/0.67	c # maximal time in seconds to run
0.59/0.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67	c limits/time = 1800
0.59/0.67	c 
0.59/0.67	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67	c limits/memory = 13950
0.59/0.67	c 
0.59/0.67	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.67	c # [type: int, range: [1,2], default: 1]
0.59/0.67	c timing/clocktype = 2
0.59/0.67	c 
0.59/0.67	c # belongs reading time to solving time?
0.59/0.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67	c timing/reading = TRUE
0.59/0.67	c 
0.59/0.67	c # should presolving try to simplify inequalities
0.59/0.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67	c constraints/linear/simplifyinequalities = TRUE
0.59/0.67	c 
0.59/0.67	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67	c constraints/indicator/addCouplingCons = TRUE
0.59/0.67	c 
0.59/0.67	c # should presolving try to simplify knapsacks
0.59/0.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.67	c 
0.59/0.67	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.67	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67	c separating/rapidlearning/freq = 0
0.59/0.67	c 
0.59/0.67	c -----------------------------------------------------------------------------------------------
0.59/0.67	c start solving
0.59/0.67	c 
0.89/0.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.91	c   0.9s|     1 |     0 |  1992 |     - |  22M|   0 |1199 |1908 |5898 |1908 |5796 |   0 | 100 |   0 | 2.811119e+03 |      --      |    Inf 
2.10/2.14	c   2.1s|     1 |     0 |  8395 |     - |  24M|   0 |1186 |1908 |5898 |1908 |7607 |1811 | 100 |   0 | 2.829290e+03 |      --      |    Inf 
3.49/3.56	c   3.6s|     1 |     0 | 10535 |     - |  26M|   0 |1089 |1908 |6938 |1908 |7654 |1858 | 100 |   0 | 2.853042e+03 |      --      |    Inf 
3.79/3.84	c   3.8s|     1 |     0 | 10761 |     - |  27M|   0 |1140 |1908 |6938 |1908 |7684 |1888 | 100 |   0 | 2.857156e+03 |      --      |    Inf 
4.30/4.34	c   4.3s|     1 |     0 | 12213 |     - |  28M|   0 |1133 |1908 |6938 |1908 |7729 |1933 | 100 |   0 | 2.862848e+03 |      --      |    Inf 
4.59/4.67	c   4.7s|     1 |     0 | 12882 |     - |  29M|   0 |1152 |1908 |6938 |1908 |7769 |1973 | 100 |   0 | 2.867611e+03 |      --      |    Inf 
4.89/4.99	c   5.0s|     1 |     0 | 13344 |     - |  31M|   0 |1174 |1908 |6938 |1908 |7804 |2008 | 100 |   0 | 2.872870e+03 |      --      |    Inf 
5.29/5.37	c   5.4s|     1 |     0 | 14069 |     - |  33M|   0 |1160 |1908 |6938 |1908 |7836 |2040 | 100 |   0 | 2.876482e+03 |      --      |    Inf 
5.69/5.77	c   5.8s|     1 |     0 | 14789 |     - |  35M|   0 |1174 |1908 |6938 |1908 |7870 |2074 | 100 |   0 | 2.878732e+03 |      --      |    Inf 
6.09/6.12	c   6.1s|     1 |     0 | 15297 |     - |  37M|   0 |1212 |1908 |6938 |1908 |7910 |2114 | 100 |   0 | 2.885177e+03 |      --      |    Inf 
6.39/6.49	c   6.5s|     1 |     0 | 15796 |     - |  39M|   0 |1249 |1908 |6938 |1908 |7945 |2149 | 100 |   0 | 2.889802e+03 |      --      |    Inf 
6.79/6.87	c   6.9s|     1 |     0 | 16264 |     - |  41M|   0 |1219 |1908 |6938 |1908 |7994 |2198 | 100 |   0 | 2.894591e+03 |      --      |    Inf 
7.09/7.17	c   7.2s|     1 |     0 | 16762 |     - |  43M|   0 |1254 |1908 |6938 |1908 |8025 |2229 | 100 |   0 | 2.899164e+03 |      --      |    Inf 
7.59/7.71	c   7.7s|     1 |     0 | 17903 |     - |  45M|   0 |1266 |1908 |6938 |1908 |8075 |2279 | 100 |   0 | 2.903426e+03 |      --      |    Inf 
8.09/8.17	c   8.2s|     1 |     0 | 18612 |     - |  46M|   0 |1273 |1908 |6938 |1908 |6327 |2324 | 100 |   0 | 2.908825e+03 |      --      |    Inf 
8.49/8.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.49/8.52	c   8.5s|     1 |     0 | 19294 |     - |  48M|   0 |1278 |1908 |6938 |1908 |6358 |2355 | 100 |   0 | 2.913027e+03 |      --      |    Inf 
8.89/8.99	c   9.0s|     1 |     0 | 20151 |     - |  50M|   0 |1303 |1908 |6938 |1908 |6397 |2394 | 100 |   0 | 2.916698e+03 |      --      |    Inf 
9.59/9.66	c   9.7s|     1 |     0 | 21206 |     - |  51M|   0 |1288 |1908 |6938 |1908 |6448 |2445 | 100 |   0 | 2.921431e+03 |      --      |    Inf 
10.79/10.82	c  10.8s|     1 |     0 | 22924 |     - |  53M|   0 |1285 |1908 |6938 |1908 |6500 |2497 | 100 |   0 | 2.932392e+03 |      --      |    Inf 
11.29/11.33	c  11.3s|     1 |     0 | 23467 |     - |  54M|   0 |1301 |1908 |6938 |1908 |6538 |2535 | 100 |   0 | 2.936349e+03 |      --      |    Inf 
11.79/11.88	c  11.9s|     1 |     0 | 24469 |     - |  55M|   0 |1255 |1908 |6938 |1908 |6438 |2583 | 100 |   0 | 2.941237e+03 |      --      |    Inf 
12.29/12.35	c  12.3s|     1 |     0 | 25983 |     - |  57M|   0 |1292 |1908 |6938 |1908 |6485 |2630 | 100 |   0 | 2.946052e+03 |      --      |    Inf 
12.69/12.79	c  12.8s|     1 |     0 | 27050 |     - |  57M|   0 |1341 |1908 |6938 |1908 |6557 |2702 | 100 |   0 | 2.953113e+03 |      --      |    Inf 
13.10/13.21	c  13.2s|     1 |     0 | 28045 |     - |  58M|   0 |1339 |1908 |6938 |1908 |6601 |2746 | 100 |   0 | 2.956548e+03 |      --      |    Inf 
13.69/13.78	c  13.8s|     1 |     0 | 29834 |     - |  58M|   0 |1355 |1908 |6938 |1908 |6649 |2794 | 100 |   0 | 2.961964e+03 |      --      |    Inf 
14.20/14.27	c  14.3s|     1 |     0 | 31501 |     - |  59M|   0 |1341 |1908 |6938 |1908 |6702 |2847 | 100 |   0 | 2.967774e+03 |      --      |    Inf 
14.69/14.76	c  14.8s|     1 |     0 | 32594 |     - |  59M|   0 |1371 |1908 |6938 |1908 |6561 |2901 | 100 |   0 | 2.974624e+03 |      --      |    Inf 
15.09/15.11	c  15.1s|     1 |     0 | 33498 |     - |  60M|   0 |1375 |1908 |6938 |1908 |6611 |2951 | 100 |   0 | 2.979704e+03 |      --      |    Inf 
15.41/15.44	c  15.4s|     1 |     0 | 34378 |     - |  61M|   0 |1374 |1908 |6938 |1908 |6659 |2999 | 100 |   0 | 2.984693e+03 |      --      |    Inf 
15.79/15.81	c  15.8s|     1 |     0 | 35318 |     - |  61M|   0 |1427 |1908 |6938 |1908 |6703 |3043 | 100 |   0 | 2.988227e+03 |      --      |    Inf 
16.29/16.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.29/16.31	c  16.3s|     1 |     0 | 37239 |     - |  62M|   0 |1491 |1908 |6938 |1908 |6749 |3089 | 100 |   0 | 2.993545e+03 |      --      |    Inf 
16.79/16.84	c  16.8s|     1 |     0 | 38692 |     - |  63M|   0 |1471 |1908 |6938 |1908 |6782 |3122 | 100 |   0 | 2.997004e+03 |      --      |    Inf 
17.40/17.41	c  17.4s|     1 |     0 | 39271 |     - |  64M|   0 |1438 |1908 |6938 |1908 |6575 |3158 | 100 |   0 | 2.999249e+03 |      --      |    Inf 
17.70/17.79	c  17.8s|     1 |     0 | 40085 |     - |  65M|   0 |1517 |1908 |6938 |1908 |6615 |3198 | 100 |   0 | 3.002640e+03 |      --      |    Inf 
18.09/18.13	c  18.1s|     1 |     0 | 40874 |     - |  66M|   0 |1544 |1908 |6938 |1908 |6653 |3236 | 100 |   0 | 3.004864e+03 |      --      |    Inf 
18.49/18.60	c  18.6s|     1 |     0 | 41924 |     - |  67M|   0 |1600 |1908 |6938 |1908 |6686 |3269 | 100 |   0 | 3.007493e+03 |      --      |    Inf 
19.49/19.54	c  19.5s|     1 |     0 | 43390 |     - |  67M|   0 |1569 |1908 |6938 |1908 |6737 |3320 | 100 |   0 | 3.015288e+03 |      --      |    Inf 
20.19/20.26	c  20.3s|     1 |     0 | 44405 |     - |  68M|   0 |1556 |1908 |6938 |1908 |6785 |3368 | 100 |   0 | 3.020645e+03 |      --      |    Inf 
20.59/20.66	c  20.7s|     1 |     0 | 45067 |     - |  68M|   0 |1591 |1908 |6938 |1908 |6571 |3399 | 100 |   0 | 3.023313e+03 |      --      |    Inf 
21.29/21.31	c  21.3s|     1 |     0 | 46096 |     - |  68M|   0 |1578 |1908 |6938 |1908 |6602 |3430 | 100 |   0 | 3.026935e+03 |      --      |    Inf 
21.90/21.93	c  21.9s|     1 |     0 | 47390 |     - |  69M|   0 |1565 |1908 |6938 |1908 |6641 |3469 | 100 |   0 | 3.029985e+03 |      --      |    Inf 
22.19/22.27	c  22.3s|     1 |     0 | 48397 |     - |  69M|   0 |1571 |1908 |6938 |1908 |6681 |3509 | 100 |   0 | 3.032919e+03 |      --      |    Inf 
22.89/22.91	c  22.9s|     1 |     0 | 49709 |     - |  70M|   0 |1612 |1908 |6938 |1908 |6713 |3541 | 100 |   0 | 3.036224e+03 |      --      |    Inf 
23.39/23.46	c  23.5s|     1 |     0 | 51014 |     - |  70M|   0 |1591 |1908 |6938 |1908 |6749 |3577 | 100 |   0 | 3.039063e+03 |      --      |    Inf 
23.89/23.97	c  24.0s|     1 |     0 | 52479 |     - |  71M|   0 |1612 |1908 |6938 |1908 |6601 |3617 | 100 |   0 | 3.040728e+03 |      --      |    Inf 
24.90/24.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.90/24.95	c  24.9s|     1 |     0 | 53316 |     - |  71M|   0 |1613 |1908 |6938 |1908 |6628 |3644 | 100 |   0 | 3.041904e+03 |      --      |    Inf 
25.59/25.67	c  25.7s|     1 |     0 | 54313 |     - |  72M|   0 |1660 |1908 |6938 |1908 |6661 |3677 | 100 |   0 | 3.043229e+03 |      --      |    Inf 
26.19/26.27	c  26.3s|     1 |     0 | 55077 |     - |  72M|   0 |1621 |1908 |6938 |1908 |6689 |3705 | 100 |   0 | 3.043842e+03 |      --      |    Inf 
26.89/26.91	c  26.9s|     1 |     0 | 56407 |     - |  72M|   0 |1628 |1908 |6938 |1908 |6712 |3728 | 100 |   0 | 3.045040e+03 |      --      |    Inf 
27.99/28.03	c  28.0s|     1 |     0 | 57704 |     - |  72M|   0 |1649 |1908 |6938 |1908 |6737 |3753 | 100 |   0 | 3.046297e+03 |      --      |    Inf 
28.61/28.63	c  28.6s|     1 |     0 | 58586 |     - |  73M|   0 |1650 |1908 |6938 |1908 |6583 |3773 | 100 |   0 | 3.048662e+03 |      --      |    Inf 
29.10/29.16	c  29.2s|     1 |     0 | 59838 |     - |  73M|   0 |1643 |1908 |6938 |1908 |6611 |3801 | 100 |   0 | 3.051364e+03 |      --      |    Inf 
30.09/30.18	c  30.2s|     1 |     0 | 61245 |     - |  73M|   0 |1620 |1908 |6938 |1908 |6636 |3826 | 100 |   0 | 3.052602e+03 |      --      |    Inf 
30.89/30.94	c  30.9s|     1 |     0 | 61906 |     - |  74M|   0 |1622 |1908 |6938 |1908 |6670 |3860 | 100 |   0 | 3.054706e+03 |      --      |    Inf 
31.39/31.45	c  31.5s|     1 |     0 | 62430 |     - |  74M|   0 |1618 |1908 |6938 |1908 |6693 |3883 | 100 |   0 | 3.056085e+03 |      --      |    Inf 
32.39/32.40	c  32.4s|     1 |     0 | 63387 |     - |  74M|   0 |1640 |1908 |6938 |1908 |6721 |3911 | 100 |   0 | 3.057433e+03 |      --      |    Inf 
32.90/32.96	c  33.0s|     1 |     0 | 64729 |     - |  75M|   0 |1582 |1908 |6938 |1908 |6585 |3945 | 100 |   0 | 3.060448e+03 |      --      |    Inf 
33.59/33.60	c  33.6s|     1 |     0 | 65674 |     - |  75M|   0 |1605 |1908 |6938 |1908 |6619 |3979 | 100 |   0 | 3.061949e+03 |      --      |    Inf 
34.00/34.03	c  34.0s|     1 |     0 | 66535 |     - |  75M|   0 |1625 |1908 |6938 |1908 |6643 |4003 | 100 |   0 | 3.062953e+03 |      --      |    Inf 
34.49/34.54	c  34.5s|     1 |     0 | 67031 |     - |  76M|   0 |1633 |1908 |6938 |1908 |6667 |4027 | 100 |   0 | 3.064109e+03 |      --      |    Inf 
35.39/35.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.39/35.42	c  35.4s|     1 |     0 | 67487 |     - |  76M|   0 |1621 |1908 |6938 |1908 |6682 |4042 | 100 |   0 | 3.064770e+03 |      --      |    Inf 
36.09/36.10	c  36.1s|     1 |     0 | 68131 |     - |  76M|   0 |1620 |1908 |6938 |1908 |6706 |4066 | 100 |   0 | 3.066478e+03 |      --      |    Inf 
36.79/36.86	c  36.9s|     1 |     0 | 68322 |     - |  76M|   0 |1623 |1908 |6938 |1908 |6584 |4085 | 100 |   0 | 3.067208e+03 |      --      |    Inf 
37.49/37.58	c  37.6s|     1 |     0 | 68747 |     - |  76M|   0 |1637 |1908 |6938 |1908 |6600 |4101 | 100 |   0 | 3.068791e+03 |      --      |    Inf 
38.09/38.14	c  38.1s|     1 |     0 | 70341 |     - |  77M|   0 |1622 |1908 |6938 |1908 |6628 |4129 | 100 |   0 | 3.071134e+03 |      --      |    Inf 
38.59/38.62	c  38.6s|     1 |     0 | 71615 |     - |  77M|   0 |1634 |1908 |6938 |1908 |6671 |4172 | 100 |   0 | 3.072668e+03 |      --      |    Inf 
39.61/39.67	c  39.7s|     1 |     0 | 72396 |     - |  77M|   0 |1591 |1908 |6938 |1908 |6689 |4190 | 100 |   0 | 3.073589e+03 |      --      |    Inf 
40.29/40.33	c  40.3s|     1 |     0 | 72985 |     - |  78M|   0 |1586 |1908 |6938 |1908 |6711 |4212 | 100 |   0 | 3.074751e+03 |      --      |    Inf 
41.09/41.17	c  41.2s|     1 |     0 | 73619 |     - |  78M|   0 |1591 |1908 |6938 |1908 |6584 |4235 | 100 |   0 | 3.075563e+03 |      --      |    Inf 
41.89/41.99	c  42.0s|     1 |     0 | 74015 |     - |  78M|   0 |1592 |1908 |6938 |1908 |6606 |4257 | 100 |   0 | 3.077017e+03 |      --      |    Inf 
42.91/42.92	c  42.9s|     1 |     0 | 74414 |     - |  78M|   0 |1591 |1908 |6938 |1908 |6623 |4274 | 100 |   0 | 3.077209e+03 |      --      |    Inf 
43.59/43.68	c  43.7s|     1 |     0 | 75012 |     - |  78M|   0 |1595 |1908 |6938 |1908 |6641 |4292 | 100 |   0 | 3.077999e+03 |      --      |    Inf 
44.69/44.76	c  44.8s|     1 |     0 | 75847 |     - |  79M|   0 |1597 |1908 |6938 |1908 |6650 |4301 | 100 |   0 | 3.078734e+03 |      --      |    Inf 
45.49/45.53	c  45.5s|     1 |     0 | 76036 |     - |  79M|   0 |1601 |1908 |6938 |1908 |6661 |4312 | 100 |   0 | 3.078958e+03 |      --      |    Inf 
46.29/46.34	c  46.3s|     1 |     0 | 76138 |     - |  79M|   0 |1608 |1908 |6938 |1908 |6547 |4317 | 100 |   0 | 3.079217e+03 |      --      |    Inf 
47.09/47.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
47.09/47.12	c  47.1s|     1 |     0 | 76224 |     - |  79M|   0 |1605 |1908 |6938 |1908 |6554 |4324 | 100 |   0 | 3.079376e+03 |      --      |    Inf 
47.79/47.88	c  47.9s|     1 |     0 | 76272 |     - |  79M|   0 |1597 |1908 |6938 |1908 |6555 |4325 | 100 |   0 | 3.079384e+03 |      --      |    Inf 
48.59/48.61	c  48.6s|     1 |     0 | 76411 |     - |  79M|   0 |1601 |1908 |6938 |1908 |6556 |4326 | 100 |   0 | 3.079537e+03 |      --      |    Inf 
49.29/49.34	c  49.3s|     1 |     0 | 76444 |     - |  79M|   0 |1600 |1908 |6938 |1908 |6560 |4330 | 100 |   0 | 3.079539e+03 |      --      |    Inf 
50.09/50.11	c  50.1s|     1 |     0 | 76449 |     - |  79M|   0 |1599 |1908 |6938 |1908 |6561 |4331 | 100 |   0 | 3.079539e+03 |      --      |    Inf 
50.89/50.92	c  50.9s|     1 |     0 | 76615 |     - |  79M|   0 |1601 |1908 |6938 |1908 |6447 |4332 | 100 |   0 | 3.079809e+03 |      --      |    Inf 
51.60/51.71	c  51.7s|     1 |     0 | 76617 |     - |  79M|   0 |1601 |1908 |6938 |1908 |6448 |4333 | 100 |   0 | 3.079809e+03 |      --      |    Inf 
55.90/55.98	c  56.0s|     1 |     2 | 76617 |     - |  79M|   0 |1601 |1908 |6938 |1908 |6448 |4333 | 100 |  18 | 3.079809e+03 |      --      |    Inf 
1425.08/1425.18	c  1425s| 10000 |  8849 |  5457k| 538.2 | 100M|  40 |   - |1908 |7494 |   0 |   0 |4333 |5316 |6845 | 3.138273e+03 |      --      |    Inf 
1799.99/1800.00	c 
1799.99/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1799.99/1800.00	c Solving Time (sec) : 1800.00
1799.99/1800.00	c Solving Nodes      : 13881
1799.99/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.99/1800.00	c Dual Bound         : +3.13929460234200e+03
1799.99/1800.00	c Gap                : infinite
1799.99/1800.00	s UNKNOWN
1799.99/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1799.99/1800.00	c Total Time         :    1800.00
1799.99/1800.00	c   solving          :    1800.00
1799.99/1800.00	c   presolving       :       0.55 (included in solving)
1799.99/1800.00	c   reading          :       0.09 (included in solving)
1799.99/1800.00	c Original Problem   :
1799.99/1800.00	c   Problem name     : HOME/instance-3450847-1307084326.opb
1799.99/1800.00	c   Variables        : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.00	c   Constraints      : 13429 initial, 13429 maximal
1799.99/1800.00	c Presolved Problem  :
1799.99/1800.00	c   Problem name     : t_HOME/instance-3450847-1307084326.opb
1799.99/1800.00	c   Variables        : 1908 (1908 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.00	c   Constraints      : 5798 initial, 8200 maximal
1799.99/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1799.99/1800.00	c   trivial          :       0.01         35          0          0          0          0          0          0          0          0
1799.99/1800.00	c   dualfix          :       0.01          0          0          0          0          0          0          0          0          0
1799.99/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1799.99/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1799.99/1800.00	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1799.99/1800.00	c   implics          :       0.02          0       3209          0          0          0          0          0          0          0
1799.99/1800.00	c   probing          :       0.24          1        183          0          0          0          0          0          0          0
1799.99/1800.00	c   setppc           :       0.02          0          0          0          0          0        189          0          0          0
1799.99/1800.00	c   linear           :       0.14        965         51          0       1000          0       7440          0        171        321
1799.99/1800.00	c   logicor          :       0.08          0          0          0          0          0          2          0          0          0
1799.99/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -          -
1799.99/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1799.99/1800.00	c   integral         :          0          0          0      12685          0          4          0         10         92          0          0      25256
1799.99/1800.00	c   setppc           :        975         82     240355          0          1          3     294431        899     300471          0          0          0
1799.99/1800.00	c   linear           :          0+        81     236395          0          0          0        580          2        431         92          0          0
1799.99/1800.00	c   logicor          :       4823+        82     199470          0          1          0     325708       2268     611191          0          0          0
1799.99/1800.00	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1799.99/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1799.99/1800.00	c   integral         :     361.91       0.00       0.00     361.91       0.00       0.00       0.00
1799.99/1800.00	c   setppc           :       5.16       0.01       5.05       0.00       0.00       0.00       0.10
1799.99/1800.00	c   linear           :       1.42       0.04       1.38       0.00       0.00       0.00       0.00
1799.99/1800.00	c   logicor          :       5.09       0.03       4.90       0.00       0.00       0.00       0.16
1799.99/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.99/1800.00	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1799.99/1800.00	c   vbounds          :          0          0          0          0
1799.99/1800.00	c   rootredcost      :          0          0          0          0
1799.99/1800.00	c   pseudoobj        :     237675          0          0          0
1799.99/1800.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1799.99/1800.00	c   vbounds          :       0.05       0.05       0.00
1799.99/1800.00	c   rootredcost      :       0.05       0.05       0.00
1799.99/1800.00	c   pseudoobj        :       5.42       5.42       0.00
1799.99/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.99/1800.00	c   propagation      :       0.44       3168       3052      19193       41.1        914        7.1          -
1799.99/1800.00	c   infeasible LP    :       0.21        473        471       3645       43.2         92        5.2          0
1799.99/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.99/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.99/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.99/1800.00	c   applied globally :          -          -          -      11161       32.9          -          -          -
1799.99/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.99/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.99/1800.00	c   cut pool         :       0.65         81          -          -       3115          -    (maximal pool size: 23645)
1799.99/1800.00	c   redcost          :       0.25      12766          0          0          0          0
1799.99/1800.00	c   impliedbounds    :       0.03         82          0          0       3660          0
1799.99/1800.00	c   intobj           :       0.00          0          0          0          0          0
1799.99/1800.00	c   gomory           :      30.16         82          0          0      33971          0
1799.99/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1799.99/1800.00	c   closecuts        :       0.00          0          0          0          0          0
1799.99/1800.00	c   strongcg         :       1.88         20          0          0      10000          0
1799.99/1800.00	c   cmir             :       0.32         10          0          0          0          0
1799.99/1800.00	c   flowcover        :       0.28         10          0          0          0          0
1799.99/1800.00	c   clique           :       0.10         81          0          0         24          0
1799.99/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1799.99/1800.00	c   mcf              :       0.00          1          0          0          0          0
1799.99/1800.00	c   oddcycle         :       0.00          0          0          0          0          0
1799.99/1800.00	c   rapidlearning    :       0.73          1          0          0          0       1040
1799.99/1800.00	c Pricers            :       Time      Calls       Vars
1799.99/1800.00	c   problem variables:       0.00          0          0
1799.99/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.99/1800.00	c   relpscost        :     361.89      12685         10         92          0          0      25256
1799.99/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1799.99/1800.00	c   inference        :       0.00          1          0          0          0          0          2
1799.99/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1799.99/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1799.99/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.99/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.99/1800.00	c   random           :       0.00          0          0          0          0          0          0
1799.99/1800.00	c Primal Heuristics  :       Time      Calls      Found
1799.99/1800.00	c   LP solutions     :       0.00          -          0
1799.99/1800.00	c   pseudo solutions :       0.00          -          0
1799.99/1800.00	c   oneopt           :       0.01          0          0
1799.99/1800.00	c   crossover        :       0.01          0          0
1799.99/1800.00	c   guideddiving     :       0.00          0          0
1799.99/1800.00	c   intshifting      :       0.00          0          0
1799.99/1800.00	c   objpscostdiving  :      27.80          7          0
1799.99/1800.00	c   rootsoldiving    :      23.03         14          0
1799.99/1800.00	c   veclendiving     :      53.61         86          0
1799.99/1800.00	c   pscostdiving     :      73.72         95          0
1799.99/1800.00	c   coefdiving       :      84.41        122          0
1799.99/1800.00	c   fracdiving       :      91.72        139          0
1799.99/1800.00	c   linesearchdiving :      85.75        150          0
1799.99/1800.00	c   trivial          :       0.01          2          0
1799.99/1800.00	c   shiftandpropagate:       0.02          1          0
1799.99/1800.00	c   simplerounding   :       0.01          0          0
1799.99/1800.00	c   zirounding       :       0.64       1000          0
1799.99/1800.00	c   rounding         :       0.70       1547          0
1799.99/1800.00	c   shifting         :       1.50        498          0
1799.99/1800.00	c   twoopt           :       0.00          0          0
1799.99/1800.00	c   fixandinfer      :       0.00          0          0
1799.99/1800.00	c   feaspump         :      25.89         19          0
1799.99/1800.00	c   clique           :       0.00          0          0
1799.99/1800.00	c   intdiving        :       0.00          0          0
1799.99/1800.00	c   actconsdiving    :       0.00          0          0
1799.99/1800.00	c   octane           :       0.00          0          0
1799.99/1800.00	c   rens             :       0.02          0          0
1799.99/1800.00	c   rins             :       0.00          0          0
1799.99/1800.00	c   localbranching   :       0.00          0          0
1799.99/1800.00	c   mutation         :       0.00          0          0
1799.99/1800.00	c   dins             :       0.00          0          0
1799.99/1800.00	c   vbounds          :       0.00          0          0
1799.99/1800.00	c   undercover       :       0.00          0          0
1799.99/1800.00	c   subnlp           :       0.01          0          0
1799.99/1800.00	c   trysol           :       0.00          0          0
1799.99/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.99/1800.00	c   primal LP        :       0.05          0          0       0.00       0.00
1799.99/1800.00	c   dual LP          :     907.49      12977    5229380     402.97    5762.48
1799.99/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1799.99/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1799.99/1800.00	c   diving/probing LP:     421.35      43893    1754639      39.98    4164.28
1799.99/1800.00	c   strong branching :     357.38       8032    1666458     207.48    4662.99
1799.99/1800.00	c     (at root node) :          -         18      16278     904.33          -
1799.99/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1799.99/1800.00	c B&B Tree           :
1799.99/1800.00	c   number of runs   :          1
1799.99/1800.00	c   nodes            :      13881
1799.99/1800.00	c   nodes (total)    :      13881
1799.99/1800.00	c   nodes left       :       9781
1799.99/1800.00	c   max depth        :         45
1799.99/1800.00	c   max depth (total):         45
1799.99/1800.00	c   backtracks       :       4305 (31.0%)
1799.99/1800.00	c   delayed cutoffs  :       1597
1799.99/1800.00	c   repropagations   :       3011 (411472 domain reductions, 969 cutoffs)
1799.99/1800.00	c   avg switch length:       7.08
1799.99/1800.00	c   switching time   :       4.47
1799.99/1800.00	c Solution           :
1799.99/1800.00	c   Solutions found  :          0 (0 improvements)
1799.99/1800.00	c   Primal Bound     :          -
1799.99/1800.00	c   Dual Bound       : +3.13929460234200e+03
1799.99/1800.00	c   Gap              :   infinite
1799.99/1800.00	c   Root Dual Bound  : +3.07980918839602e+03
1799.99/1800.00	c   Root Iterations  :      76617
1799.99/1800.08	c Time complete: 1800.07.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3450847-1307084326/watcher-3450847-1307084326 -o /tmp/evaluation-result-3450847-1307084326/solver-3450847-1307084326 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450847-1307084326.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.07 2.05 1.94 2/535 16676
/proc/meminfo: memFree=29035532/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=14096 CPUtime=0 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 2503 0 0 0 0 0 0 0 25 0 1 0 820030586 14434304 2456 33554432000 4194304 9163163 140736079041904 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16676/statm: 3524 2456 389 1214 0 2306 0

[startup+0.0501239 s]
/proc/loadavg: 2.07 2.05 1.94 2/535 16676
/proc/meminfo: memFree=29035532/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=21100 CPUtime=0.04 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 4278 0 0 0 4 0 0 0 25 0 1 0 820030586 21606400 4231 33554432000 4194304 9163163 140736079041904 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16676/statm: 5275 4231 395 1214 0 4057 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21100

[startup+0.101123 s]
/proc/loadavg: 2.07 2.05 1.94 2/535 16676
/proc/meminfo: memFree=29035532/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=27128 CPUtime=0.09 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 5633 0 0 0 9 0 0 0 25 0 1 0 820030586 27779072 5585 33554432000 4194304 9163163 140736079041904 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 6782 5639 427 1214 0 5564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27128

[startup+0.30108 s]
/proc/loadavg: 2.07 2.05 1.94 2/535 16676
/proc/meminfo: memFree=29035532/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=47220 CPUtime=0.29 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 10804 0 0 0 28 1 0 0 25 0 1 0 820030586 48353280 10499 33554432000 4194304 9163163 140736079041904 18446744073709551615 5208608 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 11805 10499 522 1214 0 10587 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47220

[startup+0.701032 s]
/proc/loadavg: 2.07 2.05 1.94 2/535 16676
/proc/meminfo: memFree=29035532/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=59168 CPUtime=0.69 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 13969 0 0 0 68 1 0 0 25 0 1 0 820030586 60588032 13613 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 14792 13613 657 1214 0 13574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59168

[startup+1.50088 s]
/proc/loadavg: 2.07 2.05 1.94 3/536 16677
/proc/meminfo: memFree=28978100/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=62268 CPUtime=1.49 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 15144 0 0 0 147 2 0 0 25 0 1 0 820030586 63762432 14563 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 15567 14563 679 1214 0 14349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62268

[startup+3.1006 s]
/proc/loadavg: 2.06 2.05 1.94 3/536 16677
/proc/meminfo: memFree=28972396/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=98968 CPUtime=3.09 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 24729 0 0 0 306 3 0 0 25 0 1 0 820030586 101343232 23327 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 24742 23327 749 1214 0 23524 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98968

[startup+6.30102 s]
/proc/loadavg: 2.06 2.05 1.94 3/536 16677
/proc/meminfo: memFree=28941892/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=98968 CPUtime=6.29 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 25106 0 0 0 623 6 0 0 25 0 1 0 820030586 101343232 23555 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 24742 23555 732 1214 0 23524 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98968

[startup+12.7009 s]
/proc/loadavg: 2.05 2.05 1.94 3/536 16677
/proc/meminfo: memFree=28921564/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=121096 CPUtime=12.69 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 32642 0 0 0 1259 10 0 0 25 0 1 0 820030586 124002304 28832 33554432000 4194304 9163163 140736079041904 18446744073709551615 7346105 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 30274 28832 990 1214 0 29056 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121096

[startup+25.5007 s]
/proc/loadavg: 2.04 2.05 1.94 3/536 16678
/proc/meminfo: memFree=28908448/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=133104 CPUtime=25.49 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 49031 0 0 0 2530 19 0 0 25 0 1 0 820030586 136298496 31949 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 33276 31949 917 1214 0 32058 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133104

[startup+51.1011 s]
/proc/loadavg: 2.03 2.04 1.94 3/536 16678
/proc/meminfo: memFree=28899468/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=142140 CPUtime=51.1 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 50886 0 0 0 5078 32 0 0 25 0 1 0 820030586 145551360 33655 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 35535 33655 768 1214 0 34317 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 142140

[startup+102.32 s]
/proc/loadavg: 2.01 2.03 1.94 3/536 16680
/proc/meminfo: memFree=28899428/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=141864 CPUtime=102.31 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 52750 0 0 0 10169 62 0 0 25 0 1 0 820030586 145268736 33736 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 35466 33736 769 1214 0 34248 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 141864

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/536 16690
/proc/meminfo: memFree=28894704/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=141864 CPUtime=162.29 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 52867 0 0 0 16133 96 0 0 25 0 1 0 820030586 145268736 33851 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 35466 33851 767 1214 0 34248 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 141864

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/536 16692
/proc/meminfo: memFree=28893536/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=143528 CPUtime=222.3 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 53268 0 0 0 22098 132 0 0 25 0 1 0 820030586 146972672 34252 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 35882 34252 767 1214 0 34664 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 143528

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/536 16693
/proc/meminfo: memFree=28891656/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=143528 CPUtime=282.3 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 53287 0 0 0 28061 169 0 0 25 0 1 0 820030586 146972672 34265 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16676/statm: 35882 34265 761 1214 0 34664 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 143528

[startup+342.301 s]
/proc/loadavg: 2.07 2.02 1.95 3/536 16698
/proc/meminfo: memFree=28891384/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=144568 CPUtime=342.26 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 53437 0 0 0 34022 204 0 0 25 0 1 0 820030586 148037632 34415 33554432000 4194304 9163163 140736079041904 18446744073709551615 7382544 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 36142 34415 767 1214 0 34924 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 144568

[startup+402.3 s]
/proc/loadavg: 2.18 2.06 1.96 3/536 16700
/proc/meminfo: memFree=28886072/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=146400 CPUtime=402.26 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 53909 0 0 0 39982 244 0 0 25 0 1 0 820030586 149913600 34874 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 36600 34874 754 1214 0 35382 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 146400

[startup+462.301 s]
/proc/loadavg: 2.09 2.06 1.97 3/536 16701
/proc/meminfo: memFree=28883804/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=147356 CPUtime=462.26 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 54172 0 0 0 45941 285 0 0 25 0 1 0 820030586 150892544 35123 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 36839 35123 740 1214 0 35621 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 147356

[startup+522.3 s]
/proc/loadavg: 2.03 2.05 1.97 3/536 16703
/proc/meminfo: memFree=28883400/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=148172 CPUtime=522.26 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 54270 0 0 0 51904 322 0 0 25 0 1 0 820030586 151728128 35221 33554432000 4194304 9163163 140736079041904 18446744073709551615 7216652 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 37043 35221 740 1214 0 35825 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 148172

[startup+582.301 s]
/proc/loadavg: 2.01 2.04 1.97 3/536 16704
/proc/meminfo: memFree=28881016/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=149812 CPUtime=582.26 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 54689 0 0 0 57867 359 0 0 25 0 1 0 820030586 153407488 35640 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 37453 35640 740 1214 0 36235 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 149812

[startup+642.3 s]

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

/proc/meminfo: memFree=28881740/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=157888 CPUtime=1122.27 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 57000 0 0 0 111524 703 0 0 25 0 1 0 820030586 161677312 37785 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 39472 37785 817 1214 0 38254 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 157888

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/536 16747
/proc/meminfo: memFree=28878980/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=158904 CPUtime=1182.27 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 57275 0 0 0 117490 737 0 0 25 0 1 0 820030586 162717696 38041 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 39726 38041 798 1214 0 38508 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 158904

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 16749
/proc/meminfo: memFree=28876844/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=159640 CPUtime=1242.28 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 57521 0 0 0 123454 774 0 0 25 0 1 0 820030586 163471360 38222 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 39910 38222 733 1214 0 38692 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 159640

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 16751
/proc/meminfo: memFree=28871840/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=164072 CPUtime=1302.28 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 58488 0 0 0 129416 812 0 0 25 0 1 0 820030586 168009728 39189 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 41018 39189 733 1214 0 39800 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 164072

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16752
/proc/meminfo: memFree=28866104/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=165684 CPUtime=1362.28 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 59082 0 0 0 135375 853 0 0 25 0 1 0 820030586 169660416 39782 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 41421 39782 733 1214 0 40203 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 165684

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16754
/proc/meminfo: memFree=28865444/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=166252 CPUtime=1422.3 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 59276 0 0 0 141338 892 0 0 25 0 1 0 820030586 170242048 39976 33554432000 4194304 9163163 140736079041904 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 41563 39976 733 1214 0 40345 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 166252

[startup+1482.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/536 16755
/proc/meminfo: memFree=28862544/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=168076 CPUtime=1482.28 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 59632 0 0 0 147296 932 0 0 25 0 1 0 820030586 172109824 40332 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 42019 40332 733 1214 0 40801 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 168076

[startup+1542.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/536 16757
/proc/meminfo: memFree=28857036/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=169832 CPUtime=1542.28 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 60172 0 0 0 153260 968 0 0 25 0 1 0 820030586 173907968 40872 33554432000 4194304 9163163 140736079041904 18446744073709551615 6922706 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 42458 40872 733 1214 0 41240 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 169832

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 16759
/proc/meminfo: memFree=28858112/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=171892 CPUtime=1602.29 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 60623 0 0 0 159224 1005 0 0 25 0 1 0 820030586 176017408 41323 33554432000 4194304 9163163 140736079041904 18446744073709551615 7319028 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 42973 41323 733 1214 0 41755 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 171892

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 16760
/proc/meminfo: memFree=28853600/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=174472 CPUtime=1662.28 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 61234 0 0 0 165188 1040 0 0 25 0 1 0 820030586 178659328 41934 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 43618 41934 733 1214 0 42400 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 174472

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 16762
/proc/meminfo: memFree=28850200/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=175888 CPUtime=1722.28 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 61689 0 0 0 171150 1078 0 0 25 0 1 0 820030586 180109312 42389 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 43972 42389 733 1214 0 42754 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 175888

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 16763
/proc/meminfo: memFree=28844580/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=177836 CPUtime=1782.29 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 62043 0 0 0 177113 1116 0 0 25 0 1 0 820030586 182104064 42743 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 44459 42743 733 1214 0 43241 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 177836

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

[startup+1791.92 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 16764
/proc/meminfo: memFree=28848756/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=176460 CPUtime=1791.9 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 62522 0 0 0 178069 1121 0 0 25 0 1 0 820030586 180695040 42457 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 44115 42457 733 1214 0 42897 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 176460

[startup+1795.1 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 16764
/proc/meminfo: memFree=28849004/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=176660 CPUtime=1795.1 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 62555 0 0 0 178387 1123 0 0 25 0 1 0 820030586 180899840 42490 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 44165 42490 733 1214 0 42947 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 176660

[startup+1798.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 16764
/proc/meminfo: memFree=28847392/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=176660 CPUtime=1798.29 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 62600 0 0 0 178704 1125 0 0 25 0 1 0 820030586 180899840 42535 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 44165 42535 733 1214 0 42947 0
Current children cumulated CPU time (s) 1798.29
Current children cumulated vsize (KiB) 176660

[startup+1799.1 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 16764
/proc/meminfo: memFree=28848876/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=176660 CPUtime=1799.09 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 62600 0 0 0 178784 1125 0 0 25 0 1 0 820030586 180899840 42535 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 44165 42535 733 1214 0 42947 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 176660

[startup+1799.5 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 16764
/proc/meminfo: memFree=28848876/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=176660 CPUtime=1799.5 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 62600 0 0 0 178824 1126 0 0 25 0 1 0 820030586 180899840 42535 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 44165 42535 733 1214 0 42947 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 176660

[startup+1799.9 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 16764
/proc/meminfo: memFree=28848876/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=176660 CPUtime=1799.89 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 62600 0 0 0 178863 1126 0 0 25 0 1 0 820030586 180899840 42535 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 44165 42535 733 1214 0 42947 0
Current children cumulated CPU time (s) 1799.89
Current children cumulated vsize (KiB) 176660

[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 16764
/proc/meminfo: memFree=28848876/32951124 swapFree=58212616/67111528
[pid=16676] ppid=16674 vsize=176660 CPUtime=1799.99 cores=0,2,4,6
/proc/16676/stat : 16676 (scip-2.0.1.4b.l) R 16674 16676 13256 0 -1 4202496 62600 0 0 0 178873 1126 0 0 25 0 1 0 820030586 180899840 42535 33554432000 4194304 9163163 140736079041904 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16676/statm: 44165 42535 733 1214 0 42947 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 176660

Child status: 0
Real time (s): 1800.09
CPU time (s): 1800.08
CPU user time (s): 1788.81
CPU system time (s): 11.2703
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 177836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.81
system time used= 11.2703
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62606
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= 5
involuntary context switches= 3015

runsolver used 9.97248 second user time and 21.3118 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-03 08:58:46
IDJOB=3450847
IDBENCH=2160
IDSOLVER=1948
FILE ID=node136/3450847-1307084326
RUNJOBID= node136-1307082087-16297
PBS_JOBID= 13497850
Free space on /tmp= 73820 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450847-1307084326/watcher-3450847-1307084326 -o /tmp/evaluation-result-3450847-1307084326/solver-3450847-1307084326 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450847-1307084326.opb -t 1800 -m 15500

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

MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa
RANDOM SEED=1103965764

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29035820 kB
Buffers:        247080 kB
Cached:         460832 kB
SwapCached:       7704 kB
Active:        3282188 kB
Inactive:       339196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29035820 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:           12452 kB
Writeback:           0 kB
AnonPages:     2911920 kB
Mapped:          27672 kB
Slab:           154508 kB
PageTables:      69216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 169334136 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73808 MiB
End job on node136 at 2011-06-03 09:28:46