Trace number 2692411

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.71 1802.2

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo
MD5SUMf80d40564f1db7b3506c9182fa0d36f6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.72189
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2152
Total number of constraints5613
Number of soft constraints1896
Number of constraints which are clauses5137
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 96673
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 96672
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 129
Number of bits of the biggest sum of numbers8
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692411-1277914848.wbo>
0.01/0.06	c original problem has 5944 variables (4048 bin, 0 int, 0 impl, 1896 cont) and 7510 constraints
0.01/0.06	c problem read
0.01/0.06	c presolving settings loaded
0.01/0.09	c presolving:
0.10/0.11	c (round 1) 54 del vars, 9 del conss, 1 chg bounds, 238 chg sides, 478 chg coeffs, 0 upgd conss, 29637 impls, 0 clqs
0.10/0.12	c (round 2) 56 del vars, 112 del conss, 1 chg bounds, 238 chg sides, 478 chg coeffs, 0 upgd conss, 29637 impls, 0 clqs
0.10/0.13	c (round 3) 59 del vars, 114 del conss, 1894 chg bounds, 238 chg sides, 478 chg coeffs, 0 upgd conss, 29637 impls, 0 clqs
0.10/0.17	c (round 4) 60 del vars, 114 del conss, 1894 chg bounds, 238 chg sides, 478 chg coeffs, 3612 upgd conss, 29637 impls, 0 clqs
0.49/0.55	c    (0.5s) probing: 769/3991 (19.3%) - 0 fixings, 2 aggregations, 520 implications, 0 bound changes
0.49/0.55	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.55	c (round 5) 62 del vars, 114 del conss, 1894 chg bounds, 238 chg sides, 478 chg coeffs, 3612 upgd conss, 31477 impls, 0 clqs
0.59/0.65	c    (0.6s) probing: 1000/3991 (25.1%) - 0 fixings, 2 aggregations, 533 implications, 0 bound changes
0.59/0.65	c    (0.6s) probing: 1005/3991 (25.2%) - 0 fixings, 2 aggregations, 533 implications, 0 bound changes
0.59/0.65	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.65	c presolving (6 rounds):
0.59/0.65	c  62 deleted vars, 114 deleted constraints, 1894 tightened bounds, 0 added holes, 238 changed sides, 478 changed coefficients
0.59/0.65	c  31503 implications, 0 cliques
0.59/0.65	c presolved problem has 5882 variables (3989 bin, 0 int, 0 impl, 1893 cont) and 7396 constraints
0.59/0.65	c    1893 constraints of type <indicator>
0.59/0.65	c       2 constraints of type <varbound>
0.59/0.65	c     308 constraints of type <knapsack>
0.59/0.65	c    1891 constraints of type <linear>
0.59/0.65	c    3302 constraints of type <logicor>
0.59/0.65	c transformed objective value is always integral (scale: 1)
0.59/0.65	c Presolving Time: 0.55
0.59/0.65	c - non default parameters ----------------------------------------------------------------------
0.59/0.65	c # SCIP version 1.2.1.2
0.59/0.65	c 
0.59/0.65	c # frequency for displaying node information lines
0.59/0.65	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.65	c display/freq = 10000
0.59/0.65	c 
0.59/0.65	c # maximal time in seconds to run
0.59/0.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65	c limits/time = 1799.95
0.59/0.65	c 
0.59/0.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65	c limits/memory = 3420
0.59/0.65	c 
0.59/0.65	c # should presolving try to simplify inequalities
0.59/0.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65	c constraints/linear/simplifyinequalities = TRUE
0.59/0.65	c 
0.59/0.65	c # should presolving try to simplify knapsacks
0.59/0.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.65	c 
0.59/0.65	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65	c separating/rapidlearning/freq = 0
0.59/0.65	c 
0.59/0.65	c -----------------------------------------------------------------------------------------------
0.59/0.65	c start solving
0.59/0.66	c 
0.59/0.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.69	c   0.6s|     1 |     0 |   410 |     - |  24M|   0 | 280 |5882 |7396 |5882 |3606 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.88	o 96344
0.79/0.88	c y 0.8s|     1 |     0 |  1488 |     - |  24M|   0 | 280 |5882 |7396 |5882 |3606 |   0 |   0 |   0 | 0.000000e+00 | 9.634400e+04 |    Inf 
1.10/1.13	c   1.0s|     1 |     0 |  2155 |     - |  24M|   0 | 545 |5882 |7396 |5882 |3876 | 270 |   0 |   0 | 0.000000e+00 | 9.634400e+04 |    Inf 
1.59/1.61	c   1.5s|     1 |     0 |  3582 |     - |  25M|   0 | 633 |5882 |7396 |5882 |4161 | 555 |   0 |   0 | 0.000000e+00 | 9.634400e+04 |    Inf 
2.20/2.25	c   2.1s|     1 |     0 |  4883 |     - |  25M|   0 | 672 |5882 |7396 |5882 |4349 | 743 |   0 |   0 | 0.000000e+00 | 9.634400e+04 |    Inf 
2.89/2.97	c   2.8s|     1 |     0 |  5839 |     - |  25M|   0 | 623 |5882 |7396 |5882 |4516 | 910 |   0 |   0 | 0.000000e+00 | 9.634400e+04 |    Inf 
3.92/4.45	c   3.8s|     1 |     0 |  7050 |     - |  26M|   0 | 670 |5882 |7396 |5882 |4655 |1049 |   0 |   0 | 0.000000e+00 | 9.634400e+04 |    Inf 
4.71/5.21	c   4.6s|     1 |     0 |  8362 |     - |  26M|   0 | 693 |5882 |7396 |5882 |4790 |1184 |   0 |   0 | 0.000000e+00 | 9.634400e+04 |    Inf 
7.70/8.20	c   7.5s|     1 |     2 |  8362 |     - |  26M|   0 | 693 |5882 |7396 |5882 |4790 |1184 |   0 |  17 | 0.000000e+00 | 9.634400e+04 |    Inf 
134.30/134.88	c   133s| 10000 |  9980 |122020 |  11.4 |  65M| 203 | 208 |5882 |7626 |5882 |4415 |5265 | 230 |1587 | 0.000000e+00 | 9.634400e+04 |    Inf 
186.11/186.68	c   184s| 20000 | 19971 |154275 |   7.3 |  97M| 203 |   1 |5882 |7627 |5882 |4462 |9487 | 236 |2063 | 0.000000e+00 | 9.634400e+04 |    Inf 
234.91/235.46	c   232s| 30000 | 29965 |178022 |   5.7 | 128M| 283 |   0 |5882 |7630 |5882 |4461 |  13k| 240 |2290 | 0.000000e+00 | 9.634400e+04 |    Inf 
278.91/279.41	c   276s| 40000 | 39963 |187601 |   4.5 | 160M| 283 |   0 |5882 |7632 |5882 |4461 |  16k| 242 |2292 | 0.000000e+00 | 9.634400e+04 |    Inf 
334.30/334.86	c   331s| 50000 | 49957 |219341 |   4.2 | 192M| 283 |   0 |5882 |7629 |5882 |4461 |  19k| 245 |2974 | 0.000000e+00 | 9.634400e+04 |    Inf 
384.11/384.68	c   380s| 60000 | 59957 |237782 |   3.8 | 224M| 283 |   2 |5882 |7628 |5882 |4415 |  22k| 245 |3346 | 0.000000e+00 | 9.634400e+04 |    Inf 
432.11/432.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
432.11/432.66	c   428s| 70000 | 69941 |260959 |   3.6 | 256M| 283 |   0 |5882 |7635 |5882 |4461 |  26k| 256 |3485 | 0.000000e+00 | 9.634400e+04 |    Inf 
476.41/476.92	c   472s| 80000 | 79941 |271097 |   3.3 | 288M| 283 |   1 |5882 |7635 |5882 |4460 |  29k| 256 |3486 | 0.000000e+00 | 9.634400e+04 |    Inf 
522.12/522.67	c   517s| 90000 | 89929 |290386 |   3.1 | 320M| 283 |   8 |5882 |7634 |5882 |4415 |  32k| 265 |3504 | 0.000000e+00 | 9.634400e+04 |    Inf 
571.11/571.66	c   566s|100000 | 99921 |310016 |   3.0 | 352M| 283 |   0 |5882 |7636 |5882 |4461 |  35k| 269 |3928 | 0.000000e+00 | 9.634400e+04 |    Inf 
622.72/623.21	c   617s|110000 |109907 |335212 |   3.0 | 384M| 293 |   0 |5882 |7635 |5882 |4462 |  38k| 279 |4382 | 0.000000e+00 | 9.634400e+04 |    Inf 
667.82/668.37	c   662s|120000 |119901 |340942 |   2.8 | 416M| 293 |   0 |5882 |7635 |5882 |4462 |  39k| 283 |4397 | 0.000000e+00 | 9.634400e+04 |    Inf 
717.82/718.39	c   711s|130000 |129869 |365329 |   2.7 | 448M| 295 |   0 |5882 |7628 |5882 |4463 |  41k| 311 |4602 | 0.000000e+00 | 9.634400e+04 |    Inf 
764.42/764.97	c   757s|140000 |139859 |379310 |   2.6 | 480M| 295 |   0 |5882 |7618 |5882 |4462 |  43k| 316 |4668 | 0.000000e+00 | 9.634400e+04 |    Inf 
809.03/809.53	c   802s|150000 |149859 |383128 |   2.5 | 512M| 297 |   0 |5882 |7618 |5882 |4462 |  44k| 316 |4668 | 0.000000e+00 | 9.634400e+04 |    Inf 
853.92/854.42	c   846s|160000 |159859 |384844 |   2.4 | 543M| 297 |   0 |5882 |7618 |5882 |4463 |  46k| 316 |4668 | 0.000000e+00 | 9.634400e+04 |    Inf 
898.82/899.31	c   891s|170000 |169859 |388533 |   2.2 | 575M| 297 |   8 |5882 |7618 |5882 |4446 |  47k| 316 |4668 | 0.000000e+00 | 9.634400e+04 |    Inf 
943.62/944.17	c   936s|180000 |179859 |391047 |   2.1 | 607M| 297 |   0 |5882 |7618 |5882 |4463 |  49k| 316 |4668 | 0.000000e+00 | 9.634400e+04 |    Inf 
988.62/989.16	c   980s|190000 |189859 |393807 |   2.0 | 639M| 297 |   0 |5882 |7618 |5882 |4462 |  50k| 316 |4678 | 0.000000e+00 | 9.634400e+04 |    Inf 
1033.33/1033.83	c  1025s|200000 |199859 |397276 |   1.9 | 671M| 297 |   2 |5882 |7618 |5882 |4446 |  52k| 316 |4678 | 0.000000e+00 | 9.634400e+04 |    Inf 
1078.23/1078.72	c  1069s|210000 |209859 |398958 |   1.9 | 703M| 297 |   0 |5882 |7618 |5882 |4463 |  53k| 316 |4678 | 0.000000e+00 | 9.634400e+04 |    Inf 
1124.52/1125.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1124.52/1125.01	c  1115s|220000 |219859 |402840 |   1.8 | 735M| 299 |   0 |5882 |7616 |5882 |4462 |  55k| 316 |4885 | 0.000000e+00 | 9.634400e+04 |    Inf 
1171.32/1171.83	c  1162s|230000 |229857 |412040 |   1.8 | 767M| 299 |   0 |5882 |7609 |5882 |4463 |  57k| 317 |5118 | 0.000000e+00 | 9.634400e+04 |    Inf 
1218.34/1218.82	c  1208s|240000 |239845 |425384 |   1.7 | 799M| 299 |   0 |5882 |7605 |5882 |4463 |  59k| 327 |5257 | 0.000000e+00 | 9.634400e+04 |    Inf 
1263.83/1264.38	c  1253s|250000 |249835 |433224 |   1.7 | 831M| 299 |   0 |5882 |7615 |5882 |4462 |  60k| 339 |5306 | 0.000000e+00 | 9.634400e+04 |    Inf 
1309.70/1311.20	c  1299s|260000 |259829 |440940 |   1.7 | 862M| 299 |   0 |5882 |7624 |5882 |4463 |  61k| 348 |5320 | 0.000000e+00 | 9.634400e+04 |    Inf 
1355.29/1356.86	c  1344s|270000 |269821 |451931 |   1.6 | 894M| 299 |   0 |5882 |7625 |5882 |4462 |  63k| 355 |5397 | 0.000000e+00 | 9.634400e+04 |    Inf 
1399.90/1401.43	c  1388s|280000 |279819 |460527 |   1.6 | 926M| 299 |   0 |5882 |7622 |5882 |4461 |  64k| 356 |5408 | 0.000000e+00 | 9.634400e+04 |    Inf 
1444.09/1445.62	c  1432s|290000 |289817 |464369 |   1.6 | 958M| 301 |   0 |5882 |7624 |5882 |4463 |  66k| 358 |5411 | 0.000000e+00 | 9.634400e+04 |    Inf 
1488.50/1490.09	c  1476s|300000 |299817 |470933 |   1.5 | 990M| 301 |   2 |5882 |7622 |5882 |4415 |  67k| 358 |5424 | 0.000000e+00 | 9.634400e+04 |    Inf 
1533.10/1534.67	c  1521s|310000 |309817 |476494 |   1.5 |1022M| 301 |   0 |5882 |7620 |5882 |4463 |  69k| 358 |5461 | 0.000000e+00 | 9.634400e+04 |    Inf 
1577.20/1578.73	c  1564s|320000 |319817 |478907 |   1.5 |1054M| 301 |   0 |5882 |7620 |5882 |4463 |  70k| 358 |5463 | 0.000000e+00 | 9.634400e+04 |    Inf 
1621.30/1622.87	c  1608s|330000 |329817 |481862 |   1.4 |1086M| 301 |   0 |5882 |7620 |5882 |4463 |  72k| 358 |5463 | 0.000000e+00 | 9.634400e+04 |    Inf 
1665.50/1667.05	c  1652s|340000 |339817 |484730 |   1.4 |1118M| 301 |   0 |5882 |7620 |5882 |4464 |  73k| 358 |5463 | 0.000000e+00 | 9.634400e+04 |    Inf 
1709.70/1711.22	c  1696s|350000 |349817 |487663 |   1.4 |1150M| 301 |   0 |5882 |7620 |5882 |4463 |  75k| 358 |5463 | 0.000000e+00 | 9.634400e+04 |    Inf 
1753.80/1755.37	c  1740s|360000 |359817 |490524 |   1.3 |1181M| 301 |   0 |5882 |7620 |5882 |4464 |  76k| 358 |5463 | 0.000000e+00 | 9.634400e+04 |    Inf 
1798.01/1799.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1798.01/1799.51	c  1784s|370000 |369817 |493501 |   1.3 |1213M| 301 |   0 |5882 |7620 |5882 |4463 |  78k| 358 |5463 | 0.000000e+00 | 9.634400e+04 |    Inf 
1800.01/1801.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1801.50	c 
1800.01/1801.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1801.50	c Solving Time (sec) : 1785.84
1800.01/1801.50	c Solving Nodes      : 370453
1800.01/1801.50	c Primal Bound       : +9.63440000000000e+04 (101 solutions)
1800.01/1801.50	c Dual Bound         : +0.00000000000000e+00
1800.01/1801.50	c Gap                : infinite
1800.01/1801.58	s SATISFIABLE
1800.01/1801.58	v x2152 x2151 x2150 x2149 x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 x2134 
1800.01/1801.58	v x2133 x2132 x2131 x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 
1800.01/1801.58	v x2114 x2113 -x2112 x2111 x2110 x2109 x2108 x2107 x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 x2097 x2096 
1800.01/1801.58	v x2095 -x2094 x2093 x2092 x2091 x2090 x2089 x2088 x2087 x2086 -x2085 x2084 -x2083 -x2082 -x2081 -x2080 x2079 x2078 x2077 x2076 
1800.01/1801.58	v x2075 -x2074 -x2073 -x2072 -x2071 x2070 x2069 x2068 x2067 -x2066 -x2065 x2064 x2063 x2062 x2061 x2060 -x2059 -x2058 -x2057 
1800.01/1801.58	v x2056 x2055 x2054 x2053 x2052 x2051 -x2050 -x2049 -x2048 x2047 x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 x2038 -x2037 
1800.01/1801.58	v -x2036 -x2035 x2034 x2033 x2032 x2031 x2030 x2029 x2028 x2027 -x2026 x2025 -x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018 
1800.01/1801.58	v -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 
1800.01/1801.58	v -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 
1800.01/1801.58	v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 
1800.01/1801.58	v -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 
1800.01/1801.58	v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 
1800.01/1801.58	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 
1800.01/1801.58	v -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 
1800.01/1801.58	v -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 x1885 x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 
1800.01/1801.58	v -x1874 x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 
1800.01/1801.58	v x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 x1849 -x1848 x1847 x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 
1800.01/1801.58	v -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 
1800.01/1801.58	v -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 
1800.01/1801.58	v -x1802 x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 
1800.01/1801.58	v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 
1800.01/1801.58	v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 
1800.01/1801.58	v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 
1800.01/1801.58	v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 
1800.01/1801.58	v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 x1698 -x1697 -x1696 -x1695 
1800.01/1801.58	v -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 
1800.01/1801.58	v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 
1800.01/1801.58	v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 x1643 -x1642 -x1641 
1800.01/1801.58	v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1634 -x1633 -x1632 -x1631 -x1630 -x1629 x1628 x1627 -x1626 -x1625 -x1624 -x1623 
1800.01/1801.58	v -x1622 -x1621 -x1620 -x1619 -x1618 x1617 -x1616 -x1615 x1614 -x1613 -x1612 x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 
1800.01/1801.58	v -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 x1594 -x1593 -x1592 -x1591 x1590 -x1589 -x1588 x1587 -x1586 
1800.01/1801.58	v x1585 -x1584 x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 
1800.01/1801.58	v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 x1553 -x1552 -x1551 x1550 
1800.01/1801.58	v -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 
1800.01/1801.58	v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
1800.01/1801.58	v -x1513 -x1512 -x1511 -x1510 -x1509 x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 
1800.01/1801.58	v -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 
1800.01/1801.58	v -x1477 -x1476 -x1475 x1474 -x1473 x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 -x1461 x1460 
1800.01/1801.58	v -x1459 -x1458 -x1457 -x1456 x1455 x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 
1800.01/1801.58	v -x1441 -x1440 x1439 x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 
1800.01/1801.58	v -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 x1415 x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 
1800.01/1801.58	v -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 
1800.01/1801.58	v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 
1800.01/1801.58	v -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 
1800.01/1801.58	v -x1351 -x1350 x1349 x1348 -x1347 -x1346 -x1345 x1344 -x1343 -x1342 -x1341 -x1340 x1339 -x1338 -x1337 -x1336 x1335 x1334 -x1333 
1800.01/1801.58	v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 x1326 x1325 x1324 x1323 x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 
1800.01/1801.58	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 
1800.01/1801.58	v -x1295 -x1294 -x1293 -x1292 x1291 x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
1800.01/1801.58	v -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 
1800.01/1801.58	v -x1259 x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
1800.01/1801.58	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 x1226 x1225 -x1224 
1800.01/1801.58	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 
1800.01/1801.58	v -x1205 -x1204 -x1203 -x1202 -x1201 x1200 -x1199 x1198 -x1197 -x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 
1800.01/1801.58	v -x1186 x1185 x1184 x1183 x1182 x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 x1170 -x1169 -x1168 
1800.01/1801.58	v x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 
1800.01/1801.58	v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 
1800.01/1801.58	v -x1131 x1130 x1129 x1128 x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 x1114 
1800.01/1801.58	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 
1800.01/1801.58	v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 x1082 x1081 -x1080 -x1079 -x1078 -x1077 
1800.01/1801.58	v -x1076 -x1075 x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 
1800.01/1801.58	v -x1058 x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 x1043 x1042 x1041 
1800.01/1801.58	v -x1040 -x1039 x1038 x1037 x1036 -x1035 -x1034 -x1033 x1032 x1031 x1030 x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 
1800.01/1801.58	v -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 
1800.01/1801.58	v -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 -x984 
1800.01/1801.58	v -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 x975 -x974 -x973 -x972 -x971 x970 x969 -x968 x967 -x966 x965 x964 -x963 x962 -x961 
1800.01/1801.58	v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 
1800.01/1801.58	v -x940 x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 x929 x928 -x927 x926 -x925 -x924 -x923 -x922 x921 -x920 -x919 
1800.01/1801.58	v -x918 -x917 -x916 x915 -x914 x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 
1800.01/1801.58	v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 x881 -x880 x879 x878 x877 x876 x875 
1800.01/1801.58	v x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 
1800.01/1801.58	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 
1800.01/1801.58	v -x832 x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 x820 x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 x811 
1800.01/1801.58	v -x810 -x809 x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 
1800.01/1801.58	v -x789 -x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 x770 -x769 -x768 
1800.01/1801.58	v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 x750 x749 -x748 -x747 
1800.01/1801.58	v x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 
1800.01/1801.58	v -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 x712 x711 x710 -x709 x708 -x707 -x706 -x705 x704 
1800.01/1801.58	v x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 -x692 -x691 -x690 x689 -x688 -x687 x686 -x685 -x684 -x683 
1800.01/1801.58	v x682 -x681 x680 x679 x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 
1800.01/1801.58	v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 x645 x644 -x643 -x642 -x641 -x640 -x639 
1800.01/1801.58	v -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 x619 -x618 
1800.01/1801.58	v -x617 x616 -x615 -x614 x613 -x612 -x611 x610 -x609 x608 -x607 x606 -x605 -x604 x603 -x602 x601 x600 x599 -x598 -x597 -x596 
1800.01/1801.58	v -x595 -x594 -x593 -x592 -x591 x590 x589 x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 x579 x578 x577 x576 -x575 x574 
1800.01/1801.58	v -x573 -x572 x571 x570 x569 x568 x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
1800.01/1801.58	v -x551 -x550 -x549 -x548 x547 -x546 -x545 x544 -x543 x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 x534 -x533 x532 -x531 -x530 
1800.01/1801.58	v x529 -x528 -x527 -x526 -x525 x524 -x523 x522 x521 x520 x519 x518 -x517 -x516 x515 x514 x513 -x512 -x511 x510 -x509 x508 -x507 
1800.01/1801.58	v -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 
1800.01/1801.58	v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 
1800.01/1801.58	v -x464 -x463 -x462 -x461 -x460 -x459 x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 
1800.01/1801.58	v x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 
1800.01/1801.58	v x422 -x421 -x420 x419 x418 -x417 -x416 -x415 x414 x413 -x412 x411 x410 -x409 -x408 x407 -x406 -x405 x404 x403 -x402 x401 x400 
1800.01/1801.58	v x399 x398 x397 x396 x395 x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 x380 x379 -x378 -x377 
1800.01/1801.58	v x376 x375 x374 x373 x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 x362 -x361 x360 -x359 x358 -x357 -x356 -x355 
1800.01/1801.58	v x354 -x353 -x352 -x351 x350 x349 x348 x347 x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 x333 x332 
1800.01/1801.58	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 
1800.01/1801.58	v x310 x309 x308 -x307 x306 -x305 -x304 -x303 x302 x301 x300 -x299 x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 
1800.01/1801.58	v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 x276 -x275 -x274 -x273 -x272 x271 x270 x269 -x268 -x267 
1800.01/1801.58	v -x266 x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 x248 x247 -x246 x245 
1800.01/1801.58	v -x244 x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 x234 -x233 x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 x224 -x223 
1800.01/1801.58	v -x222 -x221 -x220 -x219 x218 x217 x216 -x215 x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 x206 -x205 x204 x203 -x202 x201 
1800.01/1801.58	v -x200 x199 x198 -x197 -x196 -x195 -x194 x193 -x192 x191 -x190 -x189 x188 -x187 x186 -x185 -x184 -x183 x182 -x181 x180 -x179 
1800.01/1801.58	v -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 x168 x167 x166 -x165 x164 -x163 -x162 -x161 x160 x159 x158 x157 
1800.01/1801.58	v -x156 -x155 -x154 x153 x152 -x151 -x150 -x149 x148 x147 x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 -x136 -x135 -x134 
1800.01/1801.58	v -x133 x132 -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 -x120 -x119 x118 x117 x116 -x115 -x114 -x113 -x112 
1800.01/1801.58	v -x111 x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 -x94 -x93 x92 -x91 -x90 x89 -x88 
1800.01/1801.58	v x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 x76 x75 x74 -x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 x64 x63 -x62 -x61 
1800.01/1801.58	v -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 
1800.01/1801.58	v -x34 -x33 -x32 x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 
1800.01/1801.58	v -x8 x7 x6 x5 x4 -x3 x2 -x1 
1800.01/1801.58	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1801.58	c Solving Time       :    1785.84
1800.01/1801.58	c Original Problem   :
1800.01/1801.58	c   Problem name     : HOME/instance-2692411-1277914848.wbo
1800.01/1801.58	c   Variables        : 5944 (4048 binary, 0 integer, 0 implicit integer, 1896 continuous)
1800.01/1801.58	c   Constraints      : 7510 initial, 7510 maximal
1800.01/1801.58	c Presolved Problem  :
1800.01/1801.58	c   Problem name     : t_HOME/instance-2692411-1277914848.wbo
1800.01/1801.58	c   Variables        : 5882 (3989 binary, 0 integer, 0 implicit integer, 1893 continuous)
1800.01/1801.58	c   Constraints      : 7396 initial, 7641 maximal
1800.01/1801.58	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1801.58	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1801.58	c   dualfix          :       0.01          6          0          0          0          0          0          0          0
1800.01/1801.58	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1801.58	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1801.58	c   implics          :       0.00          0         49          0          0          0          0          0          0
1800.01/1801.58	c   probing          :       0.44          0          2          0          0          0          0          0          0
1800.01/1801.58	c   indicator        :       0.00          0          0          0          0          0          3          0          0
1800.01/1801.58	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.01/1801.58	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.01/1801.58	c   linear           :       0.05          1          4          0       1894          0        111        238        478
1800.01/1801.58	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.01/1801.58	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1801.58	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1801.58	c   integral         :          0          0          0     379911          0          0         65          0          0      99470
1800.01/1801.58	c   indicator        :       1893          0    1211156     330125          0          0      68511          0          0          0
1800.01/1801.58	c   varbound         :          2          6    1208183     329253          0          0          0          2          0          0
1800.01/1801.58	c   knapsack         :        308          6    1211156     330125          0        139      43918       1170          0          0
1800.01/1801.58	c   linear           :       1891          6    1211017     330125          0          0      75706      77733          0          0
1800.01/1801.58	c   logicor          :       3302+         6     989198     320628          0          4    1476043          0          0          0
1800.01/1801.58	c   countsols        :          0          0          0     320628          0          0          0          0          0          0
1800.01/1801.58	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1801.58	c   integral         :      82.61       0.00       0.00      82.61       0.00
1800.01/1801.58	c   indicator        :     103.36       0.03      26.61      76.72       0.00
1800.01/1801.58	c   varbound         :       0.67       0.00       0.41       0.26       0.00
1800.01/1801.58	c   knapsack         :       6.78       0.00       4.82       1.96       0.00
1800.01/1801.58	c   linear           :     112.23       0.00      19.69      92.54       0.00
1800.01/1801.58	c   logicor          :      40.32       0.00       5.79      34.53       0.00
1800.01/1801.58	c   countsols        :       0.07       0.00       0.00       0.07       0.00
1800.01/1801.58	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1801.58	c   vbounds          :       0.45       2889          0          2
1800.01/1801.58	c   rootredcost      :       0.42          1          0          0
1800.01/1801.58	c   pseudoobj        :      57.24    1208913          0          0
1800.01/1801.58	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1801.58	c   propagation      :       0.00        143        143        288        9.0          5        8.2          -
1800.01/1801.58	c   infeasible LP    :       0.08        138        138        142        3.9          1        8.0          0
1800.01/1801.58	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1801.58	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1801.58	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1801.58	c   applied globally :          -          -          -        358        6.7          -          -          -
1800.01/1801.58	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1801.58	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1801.58	c   cut pool         :       0.01          5          -          -        589          -    (maximal pool size: 1897)
1800.01/1801.58	c   redcost          :      51.81     379911          0          0          0          0
1800.01/1801.58	c   impliedbounds    :       0.00          6          0          0         33          0
1800.01/1801.58	c   intobj           :       0.00          0          0          0          0          0
1800.01/1801.58	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1801.58	c   gomory           :       0.59          6          0          0       1569          0
1800.01/1801.58	c   strongcg         :       0.51          6          0          0       1039          0
1800.01/1801.58	c   cmir             :       0.18          6          0          0          0          0
1800.01/1801.58	c   flowcover        :       0.38          6          0          0       1200          0
1800.01/1801.58	c   clique           :       0.01          6          0          0          4          0
1800.01/1801.58	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1801.58	c   mcf              :       0.00          1          0          0          0          0
1800.01/1801.58	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1801.58	c Pricers            :       Time      Calls       Vars
1800.01/1801.58	c   problem variables:       0.00          0          0
1800.01/1801.58	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1801.58	c   relpscost        :      82.27      49786          0         65          0          0      99470
1800.01/1801.58	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1801.58	c   inference        :     163.32     320628          0          0          0          0     641256
1800.01/1801.58	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1801.58	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1801.58	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1801.58	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1801.58	c   random           :       0.00          0          0          0          0          0          0
1800.01/1801.58	c Primal Heuristics  :       Time      Calls      Found
1800.01/1801.58	c   LP solutions     :       0.00          -          0
1800.01/1801.58	c   pseudo solutions :       0.00          -          0
1800.01/1801.58	c   oneopt           :       0.65          1          0
1800.01/1801.58	c   feaspump         :       0.18          1          0
1800.01/1801.58	c   intshifting      :       0.11          8          0
1800.01/1801.58	c   crossover        :       0.95         10          0
1800.01/1801.58	c   guideddiving     :       9.21       2470          0
1800.01/1801.58	c   pscostdiving     :       7.42       2516          0
1800.01/1801.58	c   coefdiving       :       7.91       2525          0
1800.01/1801.58	c   linesearchdiving :       7.18       2541          0
1800.01/1801.58	c   fracdiving       :       7.52       2541          0
1800.01/1801.58	c   veclendiving     :       6.53       2541          0
1800.01/1801.58	c   objpscostdiving  :       5.30       2206          0
1800.01/1801.58	c   rootsoldiving    :       5.49       2277          0
1800.01/1801.58	c   trivial          :       0.02          2          0
1800.01/1801.58	c   simplerounding   :       0.30      40300          0
1800.01/1801.58	c   zirounding       :       0.37       1000          0
1800.01/1801.58	c   rounding         :       0.81       2834          0
1800.01/1801.58	c   shifting         :       2.15        898          0
1800.01/1801.58	c   twoopt           :       0.00          0          0
1800.01/1801.58	c   fixandinfer      :       0.00          0          0
1800.01/1801.58	c   intdiving        :       0.00          0          0
1800.01/1801.58	c   actconsdiving    :       0.00          0          0
1800.01/1801.58	c   octane           :       0.00          0          0
1800.01/1801.58	c   rens             :       0.08          1          0
1800.01/1801.58	c   rins             :       0.00          0          0
1800.01/1801.58	c   localbranching   :       0.00          0          0
1800.01/1801.58	c   mutation         :       0.00          0          0
1800.01/1801.58	c   dins             :       0.00          0          0
1800.01/1801.58	c   undercover       :       0.00          0          0
1800.01/1801.58	c   nlp              :       0.24          0          0
1800.01/1801.58	c   trysol           :       0.70       3600        101
1800.01/1801.58	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1801.58	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1801.58	c   dual LP          :     714.34      48997     453668       9.26     635.09
1800.01/1801.58	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1801.58	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1801.58	c   diving/probing LP:      16.14       4423      40090       9.06    2483.89
1800.01/1801.58	c   strong branching :      81.08       5463     208770      38.22    2574.86
1800.01/1801.58	c     (at root node) :          -         17       9196     540.94          -
1800.01/1801.58	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1801.58	c B&B Tree           :
1800.01/1801.58	c   number of runs   :          1
1800.01/1801.58	c   nodes            :     370453
1800.01/1801.58	c   nodes (total)    :     370453
1800.01/1801.58	c   nodes left       :     370270
1800.01/1801.58	c   max depth        :        301
1800.01/1801.58	c   max depth (total):        301
1800.01/1801.58	c   backtracks       :       2593 (0.7%)
1800.01/1801.58	c   delayed cutoffs  :          4
1800.01/1801.58	c   repropagations   :       1289 (328 domain reductions, 2 cutoffs)
1800.01/1801.58	c   avg switch length:       2.13
1800.01/1801.58	c   switching time   :      56.39
1800.01/1801.58	c Solution           :
1800.01/1801.58	c   Solutions found  :        101 (1 improvements)
1800.01/1801.58	c   First Solution   : +9.63440000000000e+04   (in run 1, after 1 nodes, 0.60 seconds, depth 0, found by <trysol>)
1800.01/1801.58	c   Primal Bound     : +9.63440000000000e+04   (in run 1, after 1 nodes, 0.60 seconds, depth 0, found by <trysol>)
1800.01/1801.58	c   Dual Bound       : +0.00000000000000e+00
1800.01/1801.58	c   Gap              :   infinite
1800.01/1801.58	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1801.58	c   Root Iterations  :       8362
1800.60/1802.19	c Time complete: 1800.7.

Verifier Data 

OK	11516

Watcher Data 

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

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 13782
/proc/meminfo: memFree=31147792/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=9308 CPUtime=0
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1610 0 0 0 0 0 0 0 18 0 1 0 132781401 9531392 1530 4089446400 4194304 8223781 140736186935984 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13782/statm: 2327 1540 369 984 0 1340 0

[startup+0.0261019 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 13782
/proc/meminfo: memFree=31147792/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=13000 CPUtime=0.01
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2561 0 0 0 1 0 0 0 18 0 1 0 132781401 13312000 2481 4089446400 4194304 8223781 140736186935984 18446744073709551615 6207680 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13782/statm: 3250 2481 369 984 0 2263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13000

[startup+0.102107 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 13782
/proc/meminfo: memFree=31147792/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=38152 CPUtime=0.1
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 8885 0 0 0 9 1 0 0 18 0 1 0 132781401 39067648 8441 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 9538 8441 445 984 0 8551 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 38152

[startup+0.301077 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 13782
/proc/meminfo: memFree=31147792/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=42932 CPUtime=0.29
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 12730 0 0 0 27 2 0 0 18 0 1 0 132781401 43962368 9708 4089446400 4194304 8223781 140736186935984 18446744073709551615 5497071 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 10733 9708 486 984 0 9746 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42932

[startup+0.701016 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 13782
/proc/meminfo: memFree=31147792/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=52156 CPUtime=0.69
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 16240 0 0 0 66 3 0 0 18 0 1 0 132781401 53407744 12014 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 13039 12014 567 984 0 12052 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52156

[startup+1.50084 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13783
/proc/meminfo: memFree=31098436/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=56576 CPUtime=1.49
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 18203 0 0 0 144 5 0 0 20 0 1 0 132781401 57933824 13014 4089446400 4194304 8223781 140736186935984 18446744073709551615 6568102 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 14144 13014 612 984 0 13157 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56576

[startup+3.10158 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13783
/proc/meminfo: memFree=31096080/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=59328 CPUtime=3.09
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 20645 0 0 0 302 7 0 0 25 0 1 0 132781401 60751872 13569 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 14832 13569 596 984 0 13845 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59328

[startup+6.30102 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13783
/proc/meminfo: memFree=31090584/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=60956 CPUtime=5.81
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 38635 0 0 0 569 12 0 0 25 0 1 0 132781401 62418944 13946 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13782/statm: 15239 13946 603 984 0 14252 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 60956

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13784
/proc/meminfo: memFree=31092108/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=60612 CPUtime=12.2
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 71402 0 0 0 1203 17 0 0 25 0 1 0 132781401 62066688 13855 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13782/statm: 15153 13855 603 984 0 14166 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 60612

[startup+25.5007 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 13784
/proc/meminfo: memFree=31086892/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=60460 CPUtime=25
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 146880 0 0 0 2468 32 0 0 25 0 1 0 132781401 61911040 13809 4089446400 4194304 8223781 140736186935984 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 15115 13809 603 984 0 14128 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 60460

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13784
/proc/meminfo: memFree=31075336/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=61952 CPUtime=50.6
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 303943 0 0 0 4998 62 0 0 25 0 1 0 132781401 63438848 14215 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 15488 14215 606 984 0 14501 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 61952

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 13786
/proc/meminfo: memFree=31046040/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=79060 CPUtime=101.81
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 631130 0 0 0 10051 130 0 0 25 0 1 0 132781401 80957440 18368 4089446400 4194304 8223781 140736186935984 18446744073709551615 6440115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 19765 18368 608 984 0 18778 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 79060

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13788
/proc/meminfo: memFree=30988980/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=117448 CPUtime=161.81
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 893023 0 0 0 15983 198 0 0 25 0 1 0 132781401 120266752 28167 4089446400 4194304 8223781 140736186935984 18446744073709551615 5813304 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 29362 28167 608 984 0 28375 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 117448

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13789
/proc/meminfo: memFree=30927936/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=154900 CPUtime=221.81
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1065229 0 0 0 21926 255 0 0 25 0 1 0 132781401 158617600 37585 4089446400 4194304 8223781 140736186935984 18446744073709551615 4965945 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 38725 37585 608 984 0 37738 0
Current children cumulated CPU time (s) 221.81
Current children cumulated vsize (KiB) 154900

[startup+282.301 s]
/proc/loadavg: 2.09 2.01 2.00 3/177 13790
/proc/meminfo: memFree=30863792/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=196664 CPUtime=281.8
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1134826 0 0 0 27884 296 0 0 25 0 1 0 132781401 201383936 48071 4089446400 4194304 8223781 140736186935984 18446744073709551615 5002109 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 49166 48071 608 984 0 48179 0
Current children cumulated CPU time (s) 281.8
Current children cumulated vsize (KiB) 196664

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13792
/proc/meminfo: memFree=30803756/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=233316 CPUtime=341.8
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1338702 0 0 0 33824 356 0 0 25 0 1 0 132781401 238915584 57286 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 58329 57286 608 984 0 57342 0
Current children cumulated CPU time (s) 341.8
Current children cumulated vsize (KiB) 233316

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13794
/proc/meminfo: memFree=30741720/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=269292 CPUtime=401.82
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1509543 0 0 0 39765 417 0 0 25 0 1 0 132781401 275755008 66313 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 67323 66313 608 984 0 66336 0
Current children cumulated CPU time (s) 401.82
Current children cumulated vsize (KiB) 269292

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13796
/proc/meminfo: memFree=30675720/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=314512 CPUtime=461.81
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1579940 0 0 0 45724 457 0 0 25 0 1 0 132781401 322060288 77205 4089446400 4194304 8223781 140736186935984 18446744073709551615 4902914 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 78628 77205 608 984 0 77641 0
Current children cumulated CPU time (s) 461.81
Current children cumulated vsize (KiB) 314512

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13796
/proc/meminfo: memFree=30611324/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=356160 CPUtime=521.82
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1663163 0 0 0 51681 501 0 0 25 0 1 0 132781401 364707840 87633 4089446400 4194304 8223781 140736186935984 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 89040 87633 608 984 0 88053 0
Current children cumulated CPU time (s) 521.82
Current children cumulated vsize (KiB) 356160

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13798
/proc/meminfo: memFree=30551524/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=397500 CPUtime=581.81
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1836973 0 0 0 57627 554 0 0 25 0 1 0 132781401 407040000 98014 4089446400 4194304 8223781 140736186935984 18446744073709551615 6482584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 99375 98014 616 984 0 98388 0
Current children cumulated CPU time (s) 581.81
Current children cumulated vsize (KiB) 397500

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13800
/proc/meminfo: memFree=30488756/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=433852 CPUtime=641.82
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 1949995 0 0 0 63582 600 0 0 25 0 1 0 132781401 444264448 107154 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 108463 107154 608 984 0 107476 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 433852

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13813
/proc/meminfo: memFree=30096428/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=680392 CPUtime=1001.82
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2256522 0 0 0 99338 844 0 0 25 0 1 0 132781401 696721408 169094 4089446400 4194304 8223781 140736186935984 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 170098 169094 608 984 0 169111 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 680392

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13815
/proc/meminfo: memFree=30027696/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=729916 CPUtime=1061.82
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2301631 0 0 0 105302 880 0 0 25 0 1 0 132781401 747433984 180504 4089446400 4194304 8223781 140736186935984 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 182479 180504 608 984 0 181492 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 729916

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13816
/proc/meminfo: memFree=29958228/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=769392 CPUtime=1121.82
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2366280 0 0 0 111260 922 0 0 25 0 1 0 132781401 787857408 190425 4089446400 4194304 8223781 140736186935984 18446744073709551615 6329774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 192348 190425 608 984 0 191361 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 769392

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13817
/proc/meminfo: memFree=29897320/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=809744 CPUtime=1181.83
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2454720 0 0 0 117215 968 0 0 25 0 1 0 132781401 829177856 200563 4089446400 4194304 8223781 140736186935984 18446744073709551615 6446872 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 202436 200563 608 984 0 201449 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 809744

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 13866
/proc/meminfo: memFree=30469168/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=848104 CPUtime=1241.83
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2515150 0 0 0 123171 1012 0 0 25 0 1 0 132781401 868458496 210205 4089446400 4194304 8223781 140736186935984 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13782/statm: 212026 210205 608 984 0 211039 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 848104

[startup+1302.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 13996
/proc/meminfo: memFree=30413792/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=888260 CPUtime=1300.79
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2568763 0 0 0 128983 1096 0 0 25 0 1 0 132781401 909578240 220293 4089446400 4194304 8223781 140736186935984 18446744073709551615 6326827 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 222065 220293 628 984 0 221078 0
Current children cumulated CPU time (s) 1300.79
Current children cumulated vsize (KiB) 888260

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 13998
/proc/meminfo: memFree=30364136/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=929156 CPUtime=1360.79
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2631883 0 0 0 134942 1137 0 0 25 0 1 0 132781401 951455744 230579 4089446400 4194304 8223781 140736186935984 18446744073709551615 6436764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 232289 230579 608 984 0 231302 0
Current children cumulated CPU time (s) 1360.79
Current children cumulated vsize (KiB) 929156

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13999
/proc/meminfo: memFree=30324960/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=973456 CPUtime=1420.8
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2677339 0 0 0 140900 1180 0 0 25 0 1 0 132781401 996818944 241696 4089446400 4194304 8223781 140736186935984 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 243364 241696 620 984 0 242377 0
Current children cumulated CPU time (s) 1420.8
Current children cumulated vsize (KiB) 973456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14000
/proc/meminfo: memFree=30279408/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=1016384 CPUtime=1480.79
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2714669 0 0 0 146864 1215 0 0 25 0 1 0 132781401 1040777216 252463 4089446400 4194304 8223781 140736186935984 18446744073709551615 6444420 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 254096 252463 608 984 0 253109 0
Current children cumulated CPU time (s) 1480.79
Current children cumulated vsize (KiB) 1016384

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14002
/proc/meminfo: memFree=30233364/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=1059056 CPUtime=1540.8
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2763751 0 0 0 152829 1251 0 0 25 0 1 0 132781401 1084473344 263203 4089446400 4194304 8223781 140736186935984 18446744073709551615 6447019 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 264764 263203 608 984 0 263777 0
Current children cumulated CPU time (s) 1540.8
Current children cumulated vsize (KiB) 1059056

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14004
/proc/meminfo: memFree=30185728/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=1102196 CPUtime=1600.8
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2800524 0 0 0 158792 1288 0 0 25 0 1 0 132781401 1128648704 274042 4089446400 4194304 8223781 140736186935984 18446744073709551615 6456376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 275549 274042 608 984 0 274562 0
Current children cumulated CPU time (s) 1600.8
Current children cumulated vsize (KiB) 1102196

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14006
/proc/meminfo: memFree=30132748/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=1146312 CPUtime=1660.8
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2835896 0 0 0 164755 1325 0 0 25 0 1 0 132781401 1173823488 285122 4089446400 4194304 8223781 140736186935984 18446744073709551615 4651300 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 286578 285122 608 984 0 285591 0
Current children cumulated CPU time (s) 1660.8
Current children cumulated vsize (KiB) 1146312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14007
/proc/meminfo: memFree=30089312/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=1185188 CPUtime=1720.8
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2871066 0 0 0 170714 1366 0 0 25 0 1 0 132781401 1213632512 294887 4089446400 4194304 8223781 140736186935984 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 296297 294887 608 984 0 295310 0
Current children cumulated CPU time (s) 1720.8
Current children cumulated vsize (KiB) 1185188

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14008
/proc/meminfo: memFree=30026676/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=1226648 CPUtime=1780.8
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2907261 0 0 0 176678 1402 0 0 25 0 1 0 132781401 1256087552 305306 4089446400 4194304 8223781 140736186935984 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 306662 305306 608 984 0 305675 0
Current children cumulated CPU time (s) 1780.8
Current children cumulated vsize (KiB) 1226648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14009
/proc/meminfo: memFree=30007200/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=1239404 CPUtime=1800.01
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2917987 0 0 0 178589 1412 0 0 25 0 1 0 132781401 1269149696 308512 4089446400 4194304 8223781 140736186935984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13782/statm: 309851 308512 608 984 0 308864 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1239404

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14010
/proc/meminfo: memFree=30005704/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=1170588 CPUtime=1800.3
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2917989 0 0 0 178618 1412 0 0 18 0 1 0 132781401 1198682112 291310 4089446400 4194304 8223781 140736186935984 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13782/statm: 292647 291310 610 984 0 291660 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 1170588

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14010
/proc/meminfo: memFree=30005704/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=710576 CPUtime=1800.5
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2917989 0 0 0 178636 1414 0 0 18 0 1 0 132781401 727629824 176307 4089446400 4194304 8223781 140736186935984 18446744073709551615 6207235 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13782/statm: 177644 176307 610 984 0 176657 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 710576

[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14010
/proc/meminfo: memFree=30005704/32951132 swapFree=67111528/67111528
[pid=13782] ppid=13780 vsize=412716 CPUtime=1800.6
/proc/13782/stat : 13782 (pbscip.linux.x8) R 13780 13782 13334 0 -1 4202496 2917989 0 0 0 178645 1415 0 0 18 0 1 0 132781401 422621184 101842 4089446400 4194304 8223781 140736186935984 18446744073709551615 4670075 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13782/statm: 103179 101842 610 984 0 102192 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (KiB) 412716

Child status: 0
Real time (s): 1802.2
CPU time (s): 1800.71
CPU user time (s): 1786.54
CPU system time (s): 14.1708
CPU usage (%): 99.9174
Max. virtual memory (cumulated for all children) (KiB): 1239412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.54
system time used= 14.1708
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2917993
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= 3
involuntary context switches= 19460

runsolver used 2.69859 second user time and 5.66014 second system time

The end

Launcher Data 

Begin job on node131 at 2010-06-30 18:20:48
IDJOB=2692411
IDBENCH=79043
IDSOLVER=1204
FILE ID=node131/2692411-1277914848
PBS_JOBID= 11197294
Free space on /tmp= 74132 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692411-1277914848/watcher-2692411-1277914848 -o /tmp/evaluation-result-2692411-1277914848/solver-2692411-1277914848 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692411-1277914848.wbo -t 1800 -m 3800

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

MD5SUM BENCH= f80d40564f1db7b3506c9182fa0d36f6
RANDOM SEED=1435059895

node131.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.836
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.67
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.836
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.836
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.82
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.836
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.82
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.836
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.76
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.836
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.836
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.836
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31148320 kB
Buffers:        201680 kB
Cached:        1143044 kB
SwapCached:          0 kB
Active:         843924 kB
Inactive:       813516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31148320 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4708 kB
Writeback:           0 kB
AnonPages:      312840 kB
Mapped:          17652 kB
Slab:            80764 kB
PageTables:       5352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   469580 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74128 MiB
End job on node131 at 2010-06-30 18:50:52