Trace number 2705052

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1791 1790.94

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-66-100-0.wbo
MD5SUM229cdc62bd8923cf935a8d792017a43b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.039993
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1804
Total number of constraints4931
Number of soft constraints1692
Number of constraints which are clauses4707
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 86670
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 86669
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
Number of bits of the biggest sum of numbers7
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705052-1278574754.wbo>
0.02/0.04	c original problem has 5188 variables (3496 bin, 0 int, 1692 impl, 0 cont) and 6624 constraints
0.02/0.04	c problem read
0.02/0.04	c presolving settings loaded
0.02/0.07	c presolving:
0.02/0.09	c (round 1) 67 del vars, 51 del conss, 16 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 32961 impls, 0 clqs
0.02/0.09	c (round 2) 77 del vars, 174 del conss, 16 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 32961 impls, 0 clqs
0.09/0.10	c (round 3) 90 del vars, 177 del conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 0 upgd conss, 32961 impls, 0 clqs
0.09/0.13	c (round 4) 93 del vars, 177 del conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3097 upgd conss, 32961 impls, 0 clqs
0.59/0.66	c    (0.6s) probing: 1000/3416 (29.3%) - 0 fixings, 4 aggregations, 3773 implications, 0 bound changes
0.79/0.88	c    (0.8s) probing: 1597/3416 (46.8%) - 0 fixings, 4 aggregations, 3824 implications, 0 bound changes
0.79/0.88	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.79/0.88	c (round 5) 97 del vars, 177 del conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3097 upgd conss, 52244 impls, 0 clqs
0.79/0.89	c (round 6) 97 del vars, 181 del conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3097 upgd conss, 52244 impls, 0 clqs
0.89/0.91	c (round 7) 97 del vars, 184 del conss, 1695 chg bounds, 112 chg sides, 234 chg coeffs, 3097 upgd conss, 52244 impls, 0 clqs
0.89/0.96	c    (0.9s) probing: 1698/3416 (49.7%) - 0 fixings, 4 aggregations, 3825 implications, 0 bound changes
0.89/0.96	c    (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.96	c presolving (8 rounds):
0.89/0.96	c  97 deleted vars, 184 deleted constraints, 1695 tightened bounds, 0 added holes, 112 changed sides, 234 changed coefficients
0.89/0.96	c  52246 implications, 0 cliques
0.89/0.96	c presolved problem has 5091 variables (3412 bin, 0 int, 1679 impl, 0 cont) and 6440 constraints
0.89/0.96	c       8 constraints of type <varbound>
0.89/0.96	c     137 constraints of type <knapsack>
0.89/0.96	c    1963 constraints of type <setppc>
0.89/0.96	c    1671 constraints of type <linear>
0.89/0.96	c    1679 constraints of type <indicator>
0.89/0.96	c     982 constraints of type <logicor>
0.89/0.96	c transformed objective value is always integral (scale: 1)
0.89/0.96	c Presolving Time: 0.90
0.89/0.96	c - non default parameters ----------------------------------------------------------------------
0.89/0.96	c # SCIP version 1.2.1.3
0.89/0.96	c 
0.89/0.96	c # frequency for displaying node information lines
0.89/0.96	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.96	c display/freq = 10000
0.89/0.96	c 
0.89/0.96	c # maximal time in seconds to run
0.89/0.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96	c limits/time = 1789.96
0.89/0.96	c 
0.89/0.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96	c limits/memory = 3420
0.89/0.96	c 
0.89/0.96	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.96	c # [type: int, range: [1,2], default: 1]
0.89/0.96	c timing/clocktype = 2
0.89/0.96	c 
0.89/0.96	c # should presolving try to simplify inequalities
0.89/0.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96	c constraints/linear/simplifyinequalities = TRUE
0.89/0.96	c 
0.89/0.96	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96	c constraints/indicator/addCouplingCons = TRUE
0.89/0.96	c 
0.89/0.96	c # should presolving try to simplify knapsacks
0.89/0.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.96	c 
0.89/0.96	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.96	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.96	c separating/rapidlearning/freq = 0
0.89/0.96	c 
0.89/0.96	c -----------------------------------------------------------------------------------------------
0.89/0.96	c start solving
0.89/0.96	c 
0.89/0.98	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.98	c   0.9s|     1 |     0 |   212 |     - |  21M|   0 | 147 |5091 |6440 |5091 |3078 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.29/1.31	c   1.3s|     1 |     0 |   559 |     - |  21M|   0 | 308 |5091 |6440 |5091 |3293 | 215 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.39/1.46	c   1.4s|     1 |     0 |   875 |     - |  22M|   0 | 451 |5091 |6440 |5091 |3406 | 328 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.69/1.72	c   1.7s|     1 |     0 |  1290 |     - |  22M|   0 | 627 |5091 |6440 |5091 |3592 | 514 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.09/2.20	c   2.2s|     1 |     0 |  1804 |     - |  22M|   0 | 614 |5091 |6440 |5091 |3757 | 679 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.59/2.66	c   2.6s|     1 |     0 |  2217 |     - |  23M|   0 | 709 |5091 |6440 |5091 |3893 | 815 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.09/3.11	c   3.1s|     1 |     0 |  2821 |     - |  23M|   0 | 777 |5091 |6440 |5091 |3992 | 914 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.89/4.99	c   5.0s|     1 |     2 |  2821 |     - |  23M|   0 | 777 |5091 |6440 |5091 |3992 | 914 |   0 |  14 | 0.000000e+00 |      --      |    Inf 
13.20/13.23	o 85576
13.20/13.23	c y13.2s|    92 |    89 |  4361 |  16.9 |  23M|  89 |   - |5091 |6441 |   0 |   0 | 984 |   1 |1260 | 0.000000e+00 | 8.557600e+04 |    Inf 
73.99/74.00	c  74.0s| 10000 |  9925 | 46201 |   4.3 |  60M| 169 |   0 |5091 |6529 |5091 |3753 |8283 | 113 |4945 | 0.000000e+00 | 8.557600e+04 |    Inf 
114.80/114.83	c   115s| 20000 | 19917 | 71461 |   3.4 |  89M| 171 |  22 |5091 |6524 |5091 |3730 |  17k| 118 |5229 | 0.000000e+00 | 8.557600e+04 |    Inf 
155.50/155.50	c   155s| 30000 | 29913 | 95034 |   3.1 | 118M| 171 |   0 |5091 |6524 |5091 |3751 |  25k| 120 |5455 | 0.000000e+00 | 8.557600e+04 |    Inf 
195.29/195.32	c   195s| 40000 | 39901 |115579 |   2.8 | 146M| 177 |   0 |5091 |6526 |5091 |3755 |  32k| 127 |5566 | 0.000000e+00 | 8.557600e+04 |    Inf 
234.90/234.91	c   235s| 50000 | 49897 |127980 |   2.5 | 175M| 181 |   0 |5091 |6519 |5091 |3757 |  35k| 129 |5796 | 0.000000e+00 | 8.557600e+04 |    Inf 
272.90/272.99	c   273s| 60000 | 59895 |147080 |   2.4 | 204M| 181 |   0 |5091 |6516 |5091 |3745 |  41k| 130 |5828 | 0.000000e+00 | 8.557600e+04 |    Inf 
310.40/310.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
310.40/310.48	c   310s| 70000 | 69891 |168623 |   2.4 | 233M| 181 |   0 |5091 |6510 |5091 |3749 |  49k| 133 |5832 | 0.000000e+00 | 8.557600e+04 |    Inf 
347.80/347.84	c   348s| 80000 | 79887 |189567 |   2.3 | 262M| 181 |   4 |5091 |6510 |5091 |3675 |  56k| 135 |5835 | 0.000000e+00 | 8.557600e+04 |    Inf 
385.40/385.46	c   385s| 90000 | 89887 |206143 |   2.3 | 291M| 181 |   0 |5091 |6504 |5091 |3751 |  61k| 135 |5836 | 0.000000e+00 | 8.557600e+04 |    Inf 
423.11/423.13	c   423s|100000 | 99881 |226350 |   2.2 | 320M| 181 |   0 |5091 |6506 |5091 |3747 |  69k| 139 |5838 | 0.000000e+00 | 8.557600e+04 |    Inf 
460.81/460.81	c   461s|110000 |109879 |247842 |   2.2 | 349M| 181 |   0 |5091 |6501 |5091 |3747 |  76k| 140 |5885 | 0.000000e+00 | 8.557600e+04 |    Inf 
498.22/498.29	c   498s|120000 |119873 |269744 |   2.2 | 378M| 181 |   0 |5091 |6501 |5091 |3753 |  84k| 143 |5885 | 0.000000e+00 | 8.557600e+04 |    Inf 
535.81/535.87	c   536s|130000 |129871 |290667 |   2.2 | 407M| 181 |   0 |5091 |6500 |5091 |3745 |  91k| 144 |5887 | 0.000000e+00 | 8.557600e+04 |    Inf 
573.51/573.56	c   574s|140000 |139865 |311536 |   2.2 | 436M| 181 |   0 |5091 |6499 |5091 |3741 |  99k| 147 |5888 | 0.000000e+00 | 8.557600e+04 |    Inf 
611.11/611.19	c   611s|150000 |149861 |334551 |   2.2 | 465M| 181 |  62 |5091 |6494 |5091 |3675 | 106k| 149 |5889 | 0.000000e+00 | 8.557600e+04 |    Inf 
648.32/648.33	c   648s|160000 |159857 |346957 |   2.2 | 494M| 183 |   0 |5091 |6497 |5091 |3741 | 110k| 153 |5902 | 0.000000e+00 | 8.557600e+04 |    Inf 
685.22/685.23	c   685s|170000 |169857 |354892 |   2.1 | 523M| 183 |   0 |5091 |6493 |5091 |3753 | 112k| 153 |5902 | 0.000000e+00 | 8.557600e+04 |    Inf 
722.02/722.09	c   722s|180000 |179855 |364294 |   2.0 | 552M| 183 |   0 |5091 |6490 |5091 |3745 | 114k| 154 |5941 | 0.000000e+00 | 8.557600e+04 |    Inf 
760.12/760.11	c   760s|190000 |189851 |373583 |   2.0 | 581M| 185 |   0 |5091 |6489 |5091 |3748 | 116k| 156 |6245 | 0.000000e+00 | 8.557600e+04 |    Inf 
797.42/797.45	c   797s|200000 |199837 |383017 |   1.9 | 609M| 185 |   0 |5091 |6496 |5091 |3745 | 118k| 169 |6310 | 0.000000e+00 | 8.557600e+04 |    Inf 
834.52/834.50	c   834s|210000 |209833 |391948 |   1.9 | 638M| 185 |   0 |5091 |6490 |5091 |3753 | 121k| 171 |6331 | 0.000000e+00 | 8.557600e+04 |    Inf 
873.12/873.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
873.12/873.11	c   873s|220000 |219833 |411695 |   1.9 | 667M| 185 |   0 |5091 |6485 |5091 |3749 | 128k| 171 |6619 | 0.000000e+00 | 8.557600e+04 |    Inf 
911.02/911.07	c   911s|230000 |229833 |432294 |   1.9 | 696M| 185 |   0 |5091 |6481 |5091 |3749 | 136k| 171 |6774 | 0.000000e+00 | 8.557600e+04 |    Inf 
949.03/949.00	c   949s|240000 |239833 |451772 |   1.9 | 725M| 185 |   4 |5091 |6481 |5091 |3735 | 144k| 171 |6883 | 0.000000e+00 | 8.557600e+04 |    Inf 
985.43/985.40	c   985s|250000 |249833 |457235 |   1.8 | 754M| 193 |   0 |5091 |6481 |5091 |3754 | 146k| 171 |6890 | 0.000000e+00 | 8.557600e+04 |    Inf 
1023.03/1023.07	c  1023s|260000 |259831 |461973 |   1.8 | 782M| 193 |   0 |5091 |6481 |5091 |3752 | 148k| 172 |7223 | 0.000000e+00 | 8.557600e+04 |    Inf 
1059.63/1059.68	c  1060s|270000 |269825 |467256 |   1.7 | 811M| 193 |   0 |5091 |6482 |5091 |3754 | 150k| 175 |7249 | 0.000000e+00 | 8.557600e+04 |    Inf 
1096.23/1096.22	c  1096s|280000 |279825 |471123 |   1.7 | 840M| 201 |  19 |5091 |6482 |5091 |3749 | 152k| 175 |7277 | 0.000000e+00 | 8.557600e+04 |    Inf 
1132.63/1132.65	c  1133s|290000 |289825 |475796 |   1.6 | 869M| 201 |   0 |5091 |6482 |5091 |3755 | 154k| 175 |7294 | 0.000000e+00 | 8.557600e+04 |    Inf 
1168.83/1168.86	c  1169s|300000 |299825 |479588 |   1.6 | 897M| 201 |   0 |5091 |6481 |5091 |3753 | 155k| 175 |7294 | 0.000000e+00 | 8.557600e+04 |    Inf 
1205.03/1205.03	c  1205s|310000 |309825 |483501 |   1.6 | 926M| 201 |   0 |5091 |6481 |5091 |3754 | 157k| 175 |7294 | 0.000000e+00 | 8.557600e+04 |    Inf 
1241.13/1241.19	c  1241s|320000 |319825 |487465 |   1.5 | 955M| 201 |   0 |5091 |6481 |5091 |3756 | 159k| 175 |7294 | 0.000000e+00 | 8.557600e+04 |    Inf 
1277.94/1277.95	c  1278s|330000 |329811 |492395 |   1.5 | 983M| 201 |   0 |5091 |6502 |5091 |3754 | 161k| 196 |7386 | 0.000000e+00 | 8.557600e+04 |    Inf 
1314.64/1314.63	c  1315s|340000 |339803 |497235 |   1.5 |1012M| 201 |   0 |5091 |6488 |5091 |3756 | 163k| 208 |7467 | 0.000000e+00 | 8.557600e+04 |    Inf 
1350.64/1350.68	c  1351s|350000 |349801 |500610 |   1.4 |1041M| 201 |   0 |5091 |6483 |5091 |3751 | 164k| 209 |7482 | 0.000000e+00 | 8.557600e+04 |    Inf 
1386.74/1386.76	c  1387s|360000 |359801 |505485 |   1.4 |1070M| 201 |   0 |5091 |6481 |5091 |3754 | 166k| 209 |7482 | 0.000000e+00 | 8.557600e+04 |    Inf 
1422.94/1422.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1422.94/1422.95	c  1423s|370000 |369801 |510542 |   1.4 |1098M| 201 |   0 |5091 |6480 |5091 |3753 | 167k| 209 |7487 | 0.000000e+00 | 8.557600e+04 |    Inf 
1459.24/1459.29	c  1459s|380000 |379793 |517470 |   1.4 |1127M| 201 |   0 |5091 |6481 |5091 |3745 | 169k| 221 |7527 | 0.000000e+00 | 8.557600e+04 |    Inf 
1497.54/1497.58	c  1498s|390000 |389775 |524987 |   1.3 |1156M| 201 |   0 |5091 |6489 |5091 |3757 | 171k| 238 |7916 | 0.000000e+00 | 8.557600e+04 |    Inf 
1534.45/1534.47	c  1534s|400000 |399763 |530103 |   1.3 |1184M| 201 |   0 |5091 |6495 |5091 |3754 | 172k| 246 |8040 | 0.000000e+00 | 8.557600e+04 |    Inf 
1570.54/1570.54	c  1570s|410000 |409763 |532942 |   1.3 |1213M| 201 |   0 |5091 |6491 |5091 |3752 | 173k| 246 |8040 | 0.000000e+00 | 8.557600e+04 |    Inf 
1606.75/1606.73	c  1607s|420000 |419759 |535753 |   1.3 |1242M| 201 |   0 |5091 |6492 |5091 |3747 | 173k| 248 |8063 | 0.000000e+00 | 8.557600e+04 |    Inf 
1642.64/1642.68	c  1643s|430000 |429759 |538642 |   1.2 |1270M| 201 |   0 |5091 |6487 |5091 |3749 | 174k| 248 |8064 | 0.000000e+00 | 8.557600e+04 |    Inf 
1678.95/1678.98	c  1679s|440000 |439757 |542341 |   1.2 |1299M| 201 |   0 |5091 |6488 |5091 |3748 | 175k| 251 |8086 | 0.000000e+00 | 8.557600e+04 |    Inf 
1714.86/1714.90	c  1715s|450000 |449757 |545788 |   1.2 |1328M| 201 |   0 |5091 |6487 |5091 |3750 | 175k| 251 |8103 | 0.000000e+00 | 8.557600e+04 |    Inf 
1751.45/1751.44	c  1751s|460000 |459755 |550074 |   1.2 |1357M| 201 |   0 |5091 |6487 |5091 |3747 | 176k| 253 |8195 | 0.000000e+00 | 8.557600e+04 |    Inf 
1787.86/1787.84	c  1788s|470000 |469751 |557408 |   1.2 |1386M| 201 |   0 |5091 |6487 |5091 |3732 | 178k| 255 |8359 | 0.000000e+00 | 8.557600e+04 |    Inf 
1790.06/1790.00	c 
1790.06/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.06/1790.00	c Solving Time (sec) : 1789.96
1790.06/1790.00	c Solving Nodes      : 470598
1790.06/1790.00	c Primal Bound       : +8.55760000000000e+04 (100 solutions)
1790.06/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.06/1790.00	c Gap                : infinite
1790.06/1790.06	s SATISFIABLE
1790.06/1790.06	v x1804 -x1803 -x1802 -x1801 x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 x1788 -x1787 -x1786 
1790.06/1790.06	v -x1785 x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 x1776 -x1775 -x1774 -x1773 x1772 -x1771 -x1770 -x1769 -x1768 -x1767 
1790.06/1790.06	v -x1766 -x1765 -x1764 x1763 -x1762 -x1761 x1760 -x1759 -x1758 -x1757 x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 
1790.06/1790.06	v -x1748 x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 x1732 -x1731 
1790.06/1790.06	v -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 x1713 
1790.06/1790.06	v x1712 -x1711 x1710 -x1709 x1708 x1707 x1706 -x1705 -x1704 -x1703 -x1702 x1701 x1700 x1699 -x1698 -x1697 -x1696 -x1695 -x1694 
1790.06/1790.06	v -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 x1687 x1686 x1685 x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 
1790.06/1790.06	v -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 
1790.06/1790.06	v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 
1790.06/1790.06	v -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 x1627 -x1626 -x1625 -x1624 -x1623 -x1622 
1790.06/1790.06	v -x1621 -x1620 x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 
1790.06/1790.06	v x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 x1585 
1790.06/1790.06	v x1584 x1583 -x1582 -x1581 -x1580 x1579 x1578 -x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571 x1570 x1569 x1568 x1567 -x1566 
1790.06/1790.06	v -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 
1790.06/1790.06	v -x1547 -x1546 -x1545 -x1544 -x1543 x1542 x1541 x1540 -x1539 x1538 -x1537 x1536 -x1535 -x1534 -x1533 x1532 x1531 x1530 x1529 
1790.06/1790.06	v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 x1519 x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 
1790.06/1790.06	v x1509 x1508 -x1507 x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 
1790.06/1790.06	v -x1491 x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484 x1483 -x1482 -x1481 -x1480 x1479 x1478 -x1477 -x1476 -x1475 -x1474 -x1473 
1790.06/1790.06	v -x1472 -x1471 -x1470 -x1469 x1468 x1467 -x1466 x1465 -x1464 -x1463 x1462 -x1461 -x1460 -x1459 -x1458 x1457 -x1456 x1455 
1790.06/1790.06	v -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 -x1440 -x1439 -x1438 -x1437 
1790.06/1790.06	v -x1436 -x1435 -x1434 -x1433 -x1432 x1431 -x1430 x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
1790.06/1790.06	v -x1418 x1417 -x1416 x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 x1407 -x1406 -x1405 x1404 -x1403 -x1402 -x1401 -x1400 
1790.06/1790.06	v -x1399 -x1398 -x1397 -x1396 x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 
1790.06/1790.06	v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 x1373 x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 
1790.06/1790.06	v -x1363 -x1362 -x1361 x1360 x1359 x1358 x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 x1349 x1348 -x1347 -x1346 -x1345 
1790.06/1790.06	v x1344 x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 x1333 x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
1790.06/1790.06	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 
1790.06/1790.06	v -x1308 x1307 -x1306 -x1305 x1304 x1303 -x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 
1790.06/1790.06	v -x1289 x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 x1280 x1279 x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 
1790.06/1790.06	v -x1271 -x1270 -x1269 x1268 x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 x1256 x1255 x1254 -x1253 
1790.06/1790.06	v -x1252 -x1251 -x1250 -x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 
1790.06/1790.06	v x1233 x1232 x1231 x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 
1790.06/1790.06	v -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 
1790.06/1790.06	v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 -x1179 
1790.06/1790.06	v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 
1790.06/1790.06	v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 
1790.06/1790.06	v -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 
1790.06/1790.06	v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 
1790.06/1790.06	v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 x1095 -x1094 -x1093 x1092 -x1091 -x1090 -x1089 
1790.06/1790.06	v -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 x1081 x1080 x1079 x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 
1790.06/1790.06	v -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 
1790.06/1790.06	v x1051 x1050 x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 x1036 -x1035 -x1034 -x1033 
1790.06/1790.06	v x1032 x1031 x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 
1790.06/1790.06	v -x1014 x1013 x1012 x1011 -x1010 -x1009 -x1008 x1007 x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 x998 x997 x996 x995 -x994 
1790.06/1790.06	v -x993 -x992 -x991 x990 x989 x988 x987 x986 x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 
1790.06/1790.06	v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 
1790.06/1790.06	v -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 
1790.06/1790.06	v -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 
1790.06/1790.06	v -x909 x908 x907 x906 -x905 -x904 x903 x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 
1790.06/1790.06	v -x887 -x886 x885 x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 
1790.06/1790.06	v -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 
1790.06/1790.06	v -x844 -x843 -x842 -x841 x840 x839 x838 -x837 -x836 -x835 -x834 -x833 x832 x831 x830 x829 x828 x827 x826 -x825 -x824 -x823 -x822 
1790.06/1790.06	v x821 x820 x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 
1790.06/1790.06	v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 
1790.06/1790.06	v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 x769 x768 x767 x766 -x765 x764 -x763 -x762 -x761 x760 -x759 -x758 
1790.06/1790.06	v x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 
1790.06/1790.06	v -x735 -x734 -x733 -x732 x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 
1790.06/1790.06	v x714 -x713 x712 -x711 -x710 -x709 -x708 x707 -x706 x705 -x704 x703 x702 -x701 -x700 x699 -x698 x697 x696 -x695 -x694 -x693 
1790.06/1790.06	v -x692 -x691 -x690 -x689 -x688 x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 x673 x672 x671 
1790.06/1790.06	v -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 x655 x654 x653 x652 x651 x650 -x649 
1790.06/1790.06	v x648 -x647 x646 x645 -x644 x643 -x642 x641 x640 x639 x638 -x637 x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 x628 -x627 x626 
1790.06/1790.06	v -x625 -x624 -x623 -x622 -x621 -x620 x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 
1790.06/1790.06	v -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 
1790.06/1790.06	v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 
1790.06/1790.06	v -x561 -x560 -x559 -x558 -x557 x556 x555 x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544 x543 x542 x541 -x540 
1790.06/1790.06	v -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 x520 x519 
1790.06/1790.06	v x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 
1790.06/1790.06	v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 x477 -x476 
1790.06/1790.06	v -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 
1790.06/1790.06	v -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 x436 x435 -x434 -x433 
1790.06/1790.06	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 
1790.06/1790.06	v -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 
1790.06/1790.06	v -x390 x389 x388 x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 
1790.06/1790.06	v -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 
1790.06/1790.06	v x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 
1790.06/1790.06	v -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 
1790.06/1790.06	v -x304 -x303 -x302 -x301 -x300 x299 x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 x289 -x288 -x287 -x286 -x285 x284 -x283 
1790.06/1790.06	v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 x264 -x263 -x262 
1790.06/1790.06	v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 
1790.06/1790.06	v -x240 -x239 -x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 x227 x226 -x225 x224 x223 x222 x221 -x220 -x219 x218 
1790.06/1790.06	v x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 
1790.06/1790.06	v -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 x183 -x182 -x181 x180 x179 x178 x177 x176 x175 x174 
1790.06/1790.06	v x173 x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 
1790.06/1790.06	v -x152 -x151 -x150 x149 x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 
1790.06/1790.06	v -x130 -x129 -x128 x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 x113 x112 x111 x110 -x109 
1790.06/1790.06	v -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 x98 -x97 x96 x95 x94 x93 x92 -x91 x90 x89 x88 x87 -x86 -x85 -x84 
1790.06/1790.06	v -x83 -x82 -x81 x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 x61 x60 -x59 x58 -x57 
1790.06/1790.06	v -x56 x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 x39 x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 
1790.06/1790.06	v -x30 x29 -x28 -x27 x26 -x25 x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 x16 x15 x14 -x13 -x12 x11 x10 x9 -x8 -x7 x6 -x5 x4 -x3 -x2 
1790.06/1790.06	v x1 
1790.06/1790.06	c SCIP Status        : solving was interrupted [time limit reached]
1790.06/1790.06	c Solving Time       :    1789.96
1790.06/1790.06	c Original Problem   :
1790.06/1790.06	c   Problem name     : HOME/instance-2705052-1278574754.wbo
1790.06/1790.06	c   Variables        : 5188 (3496 binary, 0 integer, 1692 implicit integer, 0 continuous)
1790.06/1790.06	c   Constraints      : 6624 initial, 6624 maximal
1790.06/1790.06	c Presolved Problem  :
1790.06/1790.06	c   Problem name     : t_HOME/instance-2705052-1278574754.wbo
1790.06/1790.06	c   Variables        : 5091 (3412 binary, 0 integer, 1679 implicit integer, 0 continuous)
1790.06/1790.06	c   Constraints      : 6440 initial, 6546 maximal
1790.06/1790.06	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.06/1790.06	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.06	c   dualfix          :       0.00         26          0          0          0          0          0          0          0
1790.06/1790.06	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.06	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.06	c   implics          :       0.00          0         50          0          0          0          0          0          0
1790.06/1790.06	c   probing          :       0.78          0          4          0          0          0          0          0          0
1790.06/1790.06	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.06	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.06	c   setppc           :       0.01          0          0          0          0          0          7          0          0
1790.06/1790.06	c   linear           :       0.08         16          1          0       1695          0        164        112        234
1790.06/1790.06	c   indicator        :       0.00          0          0          0          0          0         13          0          0
1790.06/1790.06	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1790.06/1790.06	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.06	c   root node        :          -          0          -          -          0          -          -          -          -
1790.06/1790.06	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.06/1790.06	c   integral         :          0          0          0     483196          0          0        386          0          0      78036
1790.06/1790.06	c   varbound         :          8          6    1293792     444008          0          0         22          5          0          0
1790.06/1790.06	c   knapsack         :        137          6    1293792     444005          0        134     192122        377          0          0
1790.06/1790.06	c   setppc           :       1963          6    1293658     444005          0          0    1220834          0          0          0
1790.06/1790.06	c   linear           :       1671          6    1293658     444005          0          1     259323     178485          0          0
1790.06/1790.06	c   indicator        :       1679          0    1293657     444008          0          0     163356          0          0          0
1790.06/1790.06	c   logicor          :        982+         6     550291     431449          0          1     390429          0          0          0
1790.06/1790.06	c   bounddisjunction :          0+         0       2558          0          0          0        553          0          0          0
1790.06/1790.06	c   countsols        :          0          0          0     431449          0          0          0          0          0          0
1790.06/1790.06	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.06/1790.06	c   integral         :      44.03       0.00       0.00      44.03       0.00
1790.06/1790.06	c   varbound         :       1.12       0.00       0.58       0.54       0.00
1790.06/1790.06	c   knapsack         :       5.85       0.01       4.54       1.30       0.00
1790.06/1790.06	c   setppc           :      30.46       0.00      19.18      11.28       0.00
1790.06/1790.06	c   linear           :      95.21       0.00      16.06      79.15       0.00
1790.06/1790.06	c   indicator        :     182.06       0.01      74.80     107.25       0.00
1790.06/1790.06	c   logicor          :      13.54       0.00       1.90      11.64       0.00
1790.06/1790.06	c   bounddisjunction :       0.01       0.00       0.01       0.00       0.00
1790.06/1790.06	c   countsols        :       0.08       0.00       0.00       0.08       0.00
1790.06/1790.06	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.06/1790.06	c   vbounds          :       1.82      93456          0      46696
1790.06/1790.06	c   rootredcost      :       0.32          1          0          0
1790.06/1790.06	c   pseudoobj        :      44.33    1289819          0          0
1790.06/1790.06	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.06/1790.06	c   propagation      :       0.00        136        136        302        9.7          4        6.0          -
1790.06/1790.06	c   infeasible LP    :       0.01         41         41         41        4.3          3        5.0          0
1790.06/1790.06	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.06/1790.06	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.06/1790.06	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.06/1790.06	c   applied globally :          -          -          -        255        8.9          -          -          -
1790.06/1790.06	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.06/1790.06	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.06/1790.06	c   cut pool         :       0.00          5          -          -        207          -    (maximal pool size: 1475)
1790.06/1790.06	c   redcost          :      59.52     483200          0          0          0          0
1790.06/1790.06	c   impliedbounds    :       0.00          6          0          0         56          0
1790.06/1790.06	c   intobj           :       0.00          0          0          0          0          0
1790.06/1790.06	c   cgmip            :       0.00          0          0          0          0          0
1790.06/1790.06	c   gomory           :       0.52          6          0          0       2641          0
1790.06/1790.06	c   strongcg         :       0.33          6          0          0       2810          0
1790.06/1790.06	c   cmir             :       0.16          6          0          0         61          0
1790.06/1790.06	c   flowcover        :       0.38          6          0          0        800          0
1790.06/1790.06	c   clique           :       0.02          6          0          0         33          0
1790.06/1790.06	c   zerohalf         :       0.00          0          0          0          0          0
1790.06/1790.06	c   mcf              :       0.00          1          0          0          0          0
1790.06/1790.06	c   rapidlearning    :       0.13          1          0          0          0          0
1790.06/1790.06	c Pricers            :       Time      Calls       Vars
1790.06/1790.06	c   problem variables:       0.00          0          0
1790.06/1790.06	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.06/1790.06	c   relpscost        :      43.79      39188          0        386          0          0      78036
1790.06/1790.06	c   pscost           :       0.00          0          0          0          0          0          0
1790.06/1790.06	c   inference        :     299.67     431449          0          0          0          0     862910
1790.06/1790.06	c   mostinf          :       0.00          0          0          0          0          0          0
1790.06/1790.06	c   leastinf         :       0.00          0          0          0          0          0          0
1790.06/1790.06	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.06/1790.06	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.06/1790.06	c   random           :       0.00          0          0          0          0          0          0
1790.06/1790.06	c Primal Heuristics  :       Time      Calls      Found
1790.06/1790.06	c   LP solutions     :       0.00          -          0
1790.06/1790.06	c   pseudo solutions :       0.00          -          0
1790.06/1790.06	c   intshifting      :       0.00          0          0
1790.06/1790.06	c   oneopt           :       0.28          1          0
1790.06/1790.06	c   feaspump         :       0.07          3          0
1790.06/1790.06	c   crossover        :       0.79         11          0
1790.06/1790.06	c   linesearchdiving :       7.51       4838          0
1790.06/1790.06	c   guideddiving     :       7.48       4838          0
1790.06/1790.06	c   pscostdiving     :       8.32       4838          0
1790.06/1790.06	c   fracdiving       :       7.80       4838          0
1790.06/1790.06	c   veclendiving     :       7.37       4838          0
1790.06/1790.06	c   coefdiving       :       7.50       4839          0
1790.06/1790.06	c   objpscostdiving  :       7.71       4834          0
1790.06/1790.06	c   rootsoldiving    :       7.82       4834          0
1790.06/1790.06	c   trivial          :       0.01          2          0
1790.06/1790.06	c   simplerounding   :       0.34      36105          0
1790.06/1790.06	c   zirounding       :       0.25       1000          0
1790.06/1790.06	c   rounding         :       0.60       2631          0
1790.06/1790.06	c   shifting         :       0.82        847          0
1790.06/1790.06	c   twoopt           :       0.00          0          0
1790.06/1790.06	c   fixandinfer      :       0.00          0          0
1790.06/1790.06	c   intdiving        :       0.00          0          0
1790.06/1790.06	c   actconsdiving    :       0.00          0          0
1790.06/1790.06	c   octane           :       0.00          0          0
1790.06/1790.06	c   rens             :       0.08          1          0
1790.06/1790.06	c   rins             :       0.00          0          0
1790.06/1790.06	c   localbranching   :       0.00          0          0
1790.06/1790.06	c   mutation         :       0.00          0          0
1790.06/1790.06	c   dins             :       0.00          0          0
1790.06/1790.06	c   undercover       :       0.00          0          0
1790.06/1790.06	c   nlp              :       0.09          0          0
1790.06/1790.06	c   trysol           :       0.41       4910        100
1790.06/1790.06	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.06/1790.06	c   primal LP        :       0.00          0          0       0.00          -
1790.06/1790.06	c   dual LP          :     650.76      62840     554119       8.82     851.50
1790.06/1790.06	c   lex dual LP      :       0.00          0          0       0.00          -
1790.06/1790.06	c   barrier LP       :       0.00          0          0       0.00          -
1790.06/1790.06	c   diving/probing LP:       2.42        941       3863       4.11    1597.38
1790.06/1790.06	c   strong branching :      43.05       8359     107147      12.82    2488.78
1790.06/1790.06	c     (at root node) :          -         14       6563     468.79          -
1790.06/1790.06	c   conflict analysis:       0.00          0          0       0.00          -
1790.06/1790.06	c B&B Tree           :
1790.06/1790.06	c   number of runs   :          1
1790.06/1790.06	c   nodes            :     470598
1790.06/1790.06	c   nodes (total)    :     470598
1790.06/1790.06	c   nodes left       :     470349
1790.06/1790.06	c   max depth        :        201
1790.06/1790.06	c   max depth (total):        201
1790.06/1790.06	c   backtracks       :       4882 (1.0%)
1790.06/1790.06	c   delayed cutoffs  :          0
1790.06/1790.06	c   repropagations   :       1386 (419 domain reductions, 0 cutoffs)
1790.06/1790.06	c   avg switch length:       2.13
1790.06/1790.06	c   switching time   :      46.01
1790.06/1790.06	c Solution           :
1790.06/1790.06	c   Solutions found  :        100 (1 improvements)
1790.06/1790.06	c   First Solution   : +8.55760000000000e+04   (in run 1, after 91 nodes, 13.18 seconds, depth 91, found by <trysol>)
1790.06/1790.06	c   Primal Bound     : +8.55760000000000e+04   (in run 1, after 91 nodes, 13.18 seconds, depth 91, found by <trysol>)
1790.06/1790.06	c   Dual Bound       : +0.00000000000000e+00
1790.06/1790.06	c   Gap              :   infinite
1790.06/1790.06	c   Root Dual Bound  : +0.00000000000000e+00
1790.06/1790.06	c   Root Iterations  :       2821
1790.96/1790.93	c Time complete: 1790.99.

Verifier Data 

OK	5106

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705052-1278574754/watcher-2705052-1278574754 -o /tmp/evaluation-result-2705052-1278574754/solver-2705052-1278574754 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705052-1278574754.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.77 1.95 1.66 4/178 24609
/proc/meminfo: memFree=28958588/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=12196 CPUtime=0
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 1896 0 0 0 0 0 0 0 21 0 1 0 25689593 12488704 1815 4089446400 4194304 10345943 140737351700928 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24609/statm: 3049 1817 429 1502 0 1542 0

[startup+0.0362751 s]
/proc/loadavg: 1.77 1.95 1.66 4/178 24609
/proc/meminfo: memFree=28958588/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=19444 CPUtime=0.02
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 3702 0 0 0 2 0 0 0 21 0 1 0 25689593 19910656 3621 4089446400 4194304 10345943 140737351700928 18446744073709551615 4497567 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24609/statm: 4861 3621 430 1502 0 3354 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19444

[startup+0.100266 s]
/proc/loadavg: 1.77 1.95 1.66 4/178 24609
/proc/meminfo: memFree=28958588/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=35856 CPUtime=0.09
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 7949 0 0 0 8 1 0 0 21 0 1 0 25689593 36716544 7514 4089446400 4194304 10345943 140737351700928 18446744073709551615 5018765 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 8964 7514 545 1502 0 7457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35856

[startup+0.300227 s]
/proc/loadavg: 1.77 1.95 1.66 4/178 24609
/proc/meminfo: memFree=28958588/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=40388 CPUtime=0.29
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 9187 0 0 0 28 1 0 0 21 0 1 0 25689593 41357312 8752 4089446400 4194304 10345943 140737351700928 18446744073709551615 4882698 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 10097 8752 580 1502 0 8590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40388

[startup+0.700151 s]
/proc/loadavg: 1.77 1.95 1.66 4/178 24609
/proc/meminfo: memFree=28958588/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=41344 CPUtime=0.69
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 9411 0 0 0 68 1 0 0 22 0 1 0 25689593 42336256 8976 4089446400 4194304 10345943 140737351700928 18446744073709551615 5604430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 10336 8976 585 1502 0 8829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41344

[startup+1.501 s]
/proc/loadavg: 1.77 1.95 1.66 3/179 24610
/proc/meminfo: memFree=28916916/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=55712 CPUtime=1.49
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 19658 0 0 0 146 3 0 0 25 0 1 0 25689593 57049088 12054 4089446400 4194304 10345943 140737351700928 18446744073709551615 6198176 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 13928 12054 766 1502 0 12421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55712

[startup+3.10071 s]
/proc/loadavg: 1.79 1.95 1.67 3/179 24610
/proc/meminfo: memFree=28909972/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=59568 CPUtime=3.09
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 20635 0 0 0 305 4 0 0 25 0 1 0 25689593 60997632 13031 4089446400 4194304 10345943 140737351700928 18446744073709551615 7568788 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 14892 13031 767 1502 0 13385 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59568

[startup+6.30112 s]
/proc/loadavg: 1.79 1.95 1.67 3/179 24611
/proc/meminfo: memFree=28906552/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=64380 CPUtime=6.29
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 29490 0 0 0 624 5 0 0 25 0 1 0 25689593 65925120 13622 4089446400 4194304 10345943 140737351700928 18446744073709551615 7569554 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 16095 13622 785 1502 0 14588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64380

[startup+12.7009 s]
/proc/loadavg: 1.82 1.95 1.67 3/179 24611
/proc/meminfo: memFree=28896728/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=62932 CPUtime=12.69
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 55532 0 0 0 1259 10 0 0 25 0 1 0 25689593 64442368 13649 4089446400 4194304 10345943 140737351700928 18446744073709551615 6921574 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 15733 13649 789 1502 0 14226 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62932

[startup+25.5005 s]
/proc/loadavg: 1.85 1.95 1.67 4/179 24611
/proc/meminfo: memFree=28871784/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=65140 CPUtime=25.49
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 86504 0 0 0 2532 17 0 0 25 0 1 0 25689593 66703360 13731 4089446400 4194304 10345943 140737351700928 18446744073709551615 6755827 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 16285 13731 789 1502 0 14778 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65140

[startup+51.1008 s]
/proc/loadavg: 1.90 1.95 1.68 3/179 24612
/proc/meminfo: memFree=28837704/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=76684 CPUtime=51.1
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 143604 0 0 0 5079 31 0 0 25 0 1 0 25689593 78524416 16987 4089446400 4194304 10345943 140737351700928 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 19171 16987 794 1502 0 17664 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 76684

[startup+102.306 s]
/proc/loadavg: 1.96 1.96 1.70 3/179 24613
/proc/meminfo: memFree=28768576/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=119948 CPUtime=102.3
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 171847 0 0 0 10189 41 0 0 25 0 1 0 25689593 122826752 27750 4089446400 4194304 10345943 140737351700928 18446744073709551615 6283006 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 29987 27750 794 1502 0 28480 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 119948

[startup+162.301 s]
/proc/loadavg: 1.98 1.97 1.71 3/179 24615
/proc/meminfo: memFree=28711596/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=162920 CPUtime=162.3
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 195830 0 0 0 16177 53 0 0 25 0 1 0 25689593 166830080 38793 4089446400 4194304 10345943 140737351700928 18446744073709551615 4749687 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 40730 38793 794 1502 0 39223 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 162920

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.73 3/179 24616
/proc/meminfo: memFree=28656636/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=210028 CPUtime=222.3
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 213226 0 0 0 22168 62 0 0 25 0 1 0 25689593 215068672 50142 4089446400 4194304 10345943 140737351700928 18446744073709551615 6785133 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 52507 50142 794 1502 0 51000 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 210028

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 24618
/proc/meminfo: memFree=28602004/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=258312 CPUtime=282.3
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 231077 0 0 0 28159 71 0 0 25 0 1 0 25689593 264511488 61910 4089446400 4194304 10345943 140737351700928 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 64578 61910 794 1502 0 63071 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 258312

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 24619
/proc/meminfo: memFree=28551500/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=305632 CPUtime=342.3
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 242691 0 0 0 34152 78 0 0 25 0 1 0 25689593 312967168 73470 4089446400 4194304 10345943 140737351700928 18446744073709551615 6307434 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 76408 73470 794 1502 0 74901 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 305632

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 24621
/proc/meminfo: memFree=28497384/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=351296 CPUtime=402.31
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 254586 0 0 0 40145 86 0 0 25 0 1 0 25689593 359727104 85087 4089446400 4194304 10345943 140737351700928 18446744073709551615 6307366 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 87824 85087 794 1502 0 86317 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 351296

[startup+462.3 s]
/proc/loadavg: 2.04 1.99 1.78 3/179 24623
/proc/meminfo: memFree=28443024/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=398708 CPUtime=462.3
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 271461 0 0 0 46137 93 0 0 25 0 1 0 25689593 408276992 97563 4089446400 4194304 10345943 140737351700928 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 99677 97563 794 1502 0 98170 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 398708

[startup+522.301 s]
/proc/loadavg: 2.01 1.99 1.79 3/179 24624
/proc/meminfo: memFree=28397468/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=442352 CPUtime=522.31
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 282152 0 0 0 52131 100 0 0 25 0 1 0 25689593 452968448 108242 4089446400 4194304 10345943 140737351700928 18446744073709551615 4687852 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 110588 108242 794 1502 0 109081 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 442352

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.81 3/179 24626
/proc/meminfo: memFree=28348656/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=486224 CPUtime=582.31
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 293054 0 0 0 58124 107 0 0 25 0 1 0 25689593 497893376 119048 4089446400 4194304 10345943 140737351700928 18446744073709551615 7568677 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 121556 119048 794 1502 0 120049 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 486224

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.82 3/179 24627
/proc/meminfo: memFree=28293684/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=534784 CPUtime=642.32
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 306045 0 0 0 64116 116 0 0 25 0 1 0 25689593 547618816 131346 4089446400 4194304 10345943 140737351700928 18446744073709551615 4608394 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 133696 131346 794 1502 0 132189 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 534784

[startup+702.3 s]

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

/proc/meminfo: memFree=27990444/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=820276 CPUtime=1002.33
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 402103 0 0 0 100072 161 0 0 25 0 1 0 25689593 839962624 201325 4089446400 4194304 10345943 140737351700928 18446744073709551615 8159982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 205069 201325 794 1502 0 203562 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 820276

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/179 24639
/proc/meminfo: memFree=27946876/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=864632 CPUtime=1062.32
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 415545 0 0 0 106065 167 0 0 25 0 1 0 25689593 885383168 212408 4089446400 4194304 10345943 140737351700928 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 216158 212408 794 1502 0 214651 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 864632

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 24640
/proc/meminfo: memFree=27904416/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=906124 CPUtime=1122.33
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 426261 0 0 0 112062 171 0 0 25 0 1 0 25689593 927870976 222751 4089446400 4194304 10345943 140737351700928 18446744073709551615 4282758 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 226531 222751 794 1502 0 225024 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 906124

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 24642
/proc/meminfo: memFree=27854012/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=953920 CPUtime=1182.33
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 438706 0 0 0 118055 178 0 0 25 0 1 0 25689593 976814080 235039 4089446400 4194304 10345943 140737351700928 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 238480 235039 794 1502 0 236973 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 953920

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 24643
/proc/meminfo: memFree=27800032/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1006724 CPUtime=1242.33
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 451053 0 0 0 124049 184 0 0 25 0 1 0 25689593 1030885376 247381 4089446400 4194304 10345943 140737351700928 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 251681 247381 794 1502 0 250174 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1006724

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 24645
/proc/meminfo: memFree=27750016/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1047928 CPUtime=1302.34
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 465332 0 0 0 130043 191 0 0 25 0 1 0 25689593 1073078272 258536 4089446400 4194304 10345943 140737351700928 18446744073709551615 5012906 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 261982 258536 794 1502 0 260475 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1047928

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 24656
/proc/meminfo: memFree=27699760/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1094272 CPUtime=1362.34
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 476597 0 0 0 136035 199 0 0 25 0 1 0 25689593 1120534528 269801 4089446400 4194304 10345943 140737351700928 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 273568 269801 794 1502 0 272061 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1094272

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 24657
/proc/meminfo: memFree=27646756/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1144644 CPUtime=1422.34
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 489031 0 0 0 142029 205 0 0 25 0 1 0 25689593 1172115456 282186 4089446400 4194304 10345943 140737351700928 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 286161 282186 794 1502 0 284654 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1144644

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24659
/proc/meminfo: memFree=27604784/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1186332 CPUtime=1482.34
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 500737 0 0 0 148022 212 0 0 25 0 1 0 25689593 1214803968 292715 4089446400 4194304 10345943 140737351700928 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 296583 292715 794 1502 0 295076 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1186332

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24660
/proc/meminfo: memFree=27558220/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1229084 CPUtime=1542.34
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 521367 0 0 0 154013 221 0 0 25 0 1 0 25689593 1258582016 303983 4089446400 4194304 10345943 140737351700928 18446744073709551615 8159972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 307271 303983 794 1502 0 305764 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1229084

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24662
/proc/meminfo: memFree=27503744/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1284824 CPUtime=1602.35
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 539312 0 0 0 160008 227 0 0 25 0 1 0 25689593 1315659776 317411 4089446400 4194304 10345943 140737351700928 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 321206 317411 794 1502 0 319699 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1284824

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24664
/proc/meminfo: memFree=27457820/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1329688 CPUtime=1662.35
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 551083 0 0 0 166002 233 0 0 25 0 1 0 25689593 1361600512 328802 4089446400 4194304 10345943 140737351700928 18446744073709551615 6120496 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 332422 328802 794 1502 0 330915 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1329688

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 24665
/proc/meminfo: memFree=27406404/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1376612 CPUtime=1722.35
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 563644 0 0 0 171995 240 0 0 25 0 1 0 25689593 1409650688 340834 4089446400 4194304 10345943 140737351700928 18446744073709551615 6519498 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 344153 340834 794 1502 0 342646 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1376612

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 24667
/proc/meminfo: memFree=27352540/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1437676 CPUtime=1782.35
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 580667 0 0 0 177987 248 0 0 25 0 1 0 25689593 1472180224 353234 4089446400 4194304 10345943 140737351700928 18446744073709551615 6119675 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 359419 353234 794 1502 0 357912 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1437676

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

[startup+1785.5 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 24667
/proc/meminfo: memFree=27351672/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1437676 CPUtime=1785.55
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 581005 0 0 0 178307 248 0 0 25 0 1 0 25689593 1472180224 353572 4089446400 4194304 10345943 140737351700928 18446744073709551615 6519530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 359419 353572 794 1502 0 357912 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 1437676

[startup+1788.7 s]
/proc/loadavg: 2.04 2.01 1.91 2/174 24684
/proc/meminfo: memFree=27590876/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1439736 CPUtime=1788.76
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 581608 0 0 0 178627 249 0 0 25 0 1 0 25689593 1474289664 354174 4089446400 4194304 10345943 140737351700928 18446744073709551615 4702077 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24609/statm: 359934 354174 794 1502 0 358427 0
Current children cumulated CPU time (s) 1788.76
Current children cumulated vsize (KiB) 1439736

[startup+1790.3 s]
/proc/loadavg: 2.04 2.01 1.91 2/174 24684
/proc/meminfo: memFree=27590876/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1439888 CPUtime=1790.36
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 581855 0 0 0 178787 249 0 0 18 0 1 0 25689593 1474445312 354421 4089446400 4194304 10345943 140737351700928 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24609/statm: 359972 354421 795 1502 0 358465 0
Current children cumulated CPU time (s) 1790.36
Current children cumulated vsize (KiB) 1439888

[startup+1790.7 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 24694
/proc/meminfo: memFree=27481504/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1439888 CPUtime=1790.76
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 581855 0 0 0 178827 249 0 0 18 0 1 0 25689593 1474445312 354421 4089446400 4194304 10345943 140737351700928 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24609/statm: 359972 354421 795 1502 0 358465 0
Current children cumulated CPU time (s) 1790.76
Current children cumulated vsize (KiB) 1439888

[startup+1790.9 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 24694
/proc/meminfo: memFree=27481504/32951124 swapFree=67111528/67111528
[pid=24609] ppid=24607 vsize=1311364 CPUtime=1790.96
/proc/24609/stat : 24609 (pbscip.linux.x8) R 24607 24609 24329 0 -1 4202496 581855 0 0 0 178845 251 0 0 19 0 1 0 25689593 1342836736 212665 4089446400 4194304 10345943 140737351700928 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24609/statm: 327841 212153 795 1502 0 326334 0
Current children cumulated CPU time (s) 1790.96
Current children cumulated vsize (KiB) 1311364

Child status: 0
Real time (s): 1790.94
CPU time (s): 1791
CPU user time (s): 1788.46
CPU system time (s): 2.54361
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1439888

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

runsolver used 2.42463 second user time and 5.72913 second system time

The end

Launcher Data 

Begin job on node111 at 2010-07-08 09:39:14
IDJOB=2705052
IDBENCH=79015
IDSOLVER=1214
FILE ID=node111/2705052-1278574754
PBS_JOBID= 11240232
Free space on /tmp= 73608 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705052-1278574754/watcher-2705052-1278574754 -o /tmp/evaluation-result-2705052-1278574754/solver-2705052-1278574754 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705052-1278574754.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 229cdc62bd8923cf935a8d792017a43b
RANDOM SEED=257366996

node111.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.825
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.65
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.825
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.98
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.825
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.67
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.825
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.86
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.825
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	: 5233.30
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.825
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.82
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.825
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.825
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28959116 kB
Buffers:        158128 kB
Cached:        3583636 kB
SwapCached:          0 kB
Active:        2117188 kB
Inactive:      1725188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28959116 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25836 kB
Writeback:           0 kB
AnonPages:      100352 kB
Mapped:          17568 kB
Slab:            86424 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   247536 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= 73596 MiB
End job on node111 at 2010-07-08 10:09:05