Trace number 2693640

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.6 1800.54

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo
MD5SUMe08e31eb3b4e7c09e6499c484fbac4c3
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 benchmark2.19767
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4622
Total number of constraints12569
Number of soft constraints4285
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 220151
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 220150
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
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: NONE] [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-2693640-1277913804.wbo>
0.09/0.11	c original problem has 13192 variables (8907 bin, 0 int, 0 impl, 4285 cont) and 16855 constraints
0.09/0.11	c problem read
0.09/0.11	c presolving settings loaded
0.09/0.12	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.18	c presolving:
0.19/0.24	c (round 1) 124 del vars, 30 del conss, 10 chg bounds, 408 chg sides, 822 chg coeffs, 0 upgd conss, 82991 impls, 0 clqs
0.19/0.25	c (round 2) 134 del vars, 269 del conss, 11 chg bounds, 408 chg sides, 822 chg coeffs, 0 upgd conss, 82991 impls, 0 clqs
0.19/0.25	c (round 3) 146 del vars, 273 del conss, 13 chg bounds, 408 chg sides, 822 chg coeffs, 0 upgd conss, 82991 impls, 0 clqs
0.19/0.26	c (round 4) 147 del vars, 277 del conss, 13 chg bounds, 408 chg sides, 822 chg coeffs, 0 upgd conss, 83117 impls, 0 clqs
0.19/0.28	c (round 5) 149 del vars, 279 del conss, 4286 chg bounds, 408 chg sides, 822 chg coeffs, 0 upgd conss, 83117 impls, 0 clqs
0.29/0.34	c (round 6) 151 del vars, 279 del conss, 4286 chg bounds, 408 chg sides, 822 chg coeffs, 8031 upgd conss, 83117 impls, 0 clqs
1.39/1.43	c    (1.2s) probing: 1000/8768 (11.4%) - 6 fixings, 8 aggregations, 4087 implications, 0 bound changes
2.10/2.18	c    (1.9s) probing: 2000/8768 (22.8%) - 6 fixings, 18 aggregations, 4332 implications, 0 bound changes
2.49/2.56	c    (2.3s) probing: 2512/8768 (28.6%) - 6 fixings, 23 aggregations, 4379 implications, 0 bound changes
2.49/2.56	c    (2.3s) probing aborted: 100/100 successive totally useless probings
2.49/2.56	c (round 7) 180 del vars, 279 del conss, 4286 chg bounds, 408 chg sides, 822 chg coeffs, 8031 upgd conss, 106840 impls, 0 clqs
2.49/2.57	c (round 8) 180 del vars, 298 del conss, 4286 chg bounds, 408 chg sides, 822 chg coeffs, 8031 upgd conss, 106872 impls, 0 clqs
2.49/2.59	c (round 9) 182 del vars, 300 del conss, 4286 chg bounds, 408 chg sides, 822 chg coeffs, 8033 upgd conss, 106872 impls, 0 clqs
2.59/2.62	c (round 10) 184 del vars, 300 del conss, 4286 chg bounds, 408 chg sides, 822 chg coeffs, 8033 upgd conss, 106872 impls, 0 clqs
2.69/2.76	c    (2.5s) probing: 2651/8768 (30.2%) - 6 fixings, 23 aggregations, 4416 implications, 0 bound changes
2.69/2.76	c    (2.5s) probing aborted: 100/100 successive totally useless probings
2.69/2.76	c presolving (11 rounds):
2.69/2.76	c  184 deleted vars, 300 deleted constraints, 4286 tightened bounds, 0 added holes, 408 changed sides, 822 changed coefficients
2.69/2.76	c  106943 implications, 0 cliques
2.69/2.76	c presolved problem has 13008 variables (8737 bin, 0 int, 0 impl, 4271 cont) and 16555 constraints
2.69/2.76	c    4271 constraints of type <indicator>
2.69/2.76	c       3 constraints of type <varbound>
2.69/2.76	c     531 constraints of type <knapsack>
2.69/2.76	c    4268 constraints of type <linear>
2.69/2.76	c    7482 constraints of type <logicor>
2.69/2.76	c transformed objective value is always integral (scale: 1)
2.69/2.76	c Presolving Time: 2.43
2.69/2.76	c - non default parameters ----------------------------------------------------------------------
2.69/2.76	c # SCIP version 1.2.1.2
2.69/2.76	c 
2.69/2.76	c # frequency for displaying node information lines
2.69/2.76	c # [type: int, range: [-1,2147483647], default: 100]
2.69/2.76	c display/freq = 10000
2.69/2.76	c 
2.69/2.76	c # maximal time in seconds to run
2.69/2.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.77	c limits/time = 1799.89
2.69/2.77	c 
2.69/2.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.69/2.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.77	c limits/memory = 3420
2.69/2.77	c 
2.69/2.77	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.69/2.77	c # [type: int, range: [-1,2147483647], default: 1]
2.69/2.77	c lp/solvefreq = -1
2.69/2.77	c 
2.69/2.77	c # should presolving try to simplify inequalities
2.69/2.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.77	c constraints/linear/simplifyinequalities = TRUE
2.69/2.77	c 
2.69/2.77	c # should presolving try to simplify knapsacks
2.69/2.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.77	c constraints/knapsack/simplifyinequalities = TRUE
2.69/2.77	c 
2.69/2.77	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.69/2.77	c # [type: int, range: [-1,2147483647], default: -1]
2.69/2.77	c separating/rapidlearning/freq = 0
2.69/2.77	c 
2.69/2.77	c -----------------------------------------------------------------------------------------------
2.69/2.77	c start solving
2.69/2.77	c 
2.69/2.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.69/2.79	c   2.5s|     1 |     2 |     0 |     - |  47M|   0 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
43.19/43.24	c  42.3s| 10000 | 10001 |     0 |   0.0 |  57M|  79 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
82.99/83.09	c  81.5s| 20000 | 20001 |     0 |   0.0 |  65M|  83 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
122.00/122.05	c   120s| 30000 | 30001 |     0 |   0.0 |  73M|  87 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
160.79/160.89	c   158s| 40000 | 40001 |     0 |   0.0 |  81M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
199.59/199.64	c   196s| 50000 | 50001 |     0 |   0.0 |  89M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
238.20/238.20	c   234s| 60000 | 60001 |     0 |   0.0 |  97M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
276.60/276.67	c   272s| 70000 | 70001 |     0 |   0.0 | 105M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
315.00/315.01	c   310s| 80000 | 80001 |     0 |   0.0 | 112M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
353.01/353.07	c   347s| 90000 | 90001 |     0 |   0.0 | 120M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
391.11/391.10	c   385s|100000 |100001 |     0 |   0.0 | 127M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
428.91/428.98	c   422s|110000 |110001 |     0 |   0.0 | 135M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
466.71/466.73	c   459s|120000 |120001 |     0 |   0.0 | 142M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
504.41/504.43	c   496s|130000 |130001 |     0 |   0.0 | 150M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
541.91/541.96	c   533s|140000 |140001 |     0 |   0.0 | 157M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
579.11/579.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
579.11/579.15	c   570s|150000 |150001 |     0 |   0.0 | 164M| 111 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
616.51/616.51	c   607s|160000 |160001 |     0 |   0.0 | 171M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
654.42/654.49	c   644s|170000 |170001 |     0 |   0.0 | 179M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
692.01/692.05	c   681s|180000 |180001 |     0 |   0.0 | 186M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
729.22/729.30	c   718s|190000 |190001 |     0 |   0.0 | 193M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
767.52/767.55	c   755s|200000 |200001 |     0 |   0.0 | 201M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
806.51/806.50	c   794s|210000 |209999 |     0 |   0.0 | 210M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
845.42/845.43	c   832s|220000 |219999 |     0 |   0.0 | 218M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
884.12/884.14	c   870s|230000 |229999 |     0 |   0.0 | 226M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
922.72/922.80	c   908s|240000 |239999 |     0 |   0.0 | 234M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
961.42/961.43	c   946s|250000 |249999 |     0 |   0.0 | 242M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1000.13/1000.10	c   984s|260000 |259999 |     0 |   0.0 | 251M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1038.82/1038.80	c  1022s|270000 |269999 |     0 |   0.0 | 259M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1076.83/1076.83	c  1060s|280000 |279999 |     0 |   0.0 | 267M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1114.53/1114.57	c  1097s|290000 |289999 |     0 |   0.0 | 275M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1152.23/1152.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1152.23/1152.25	c  1134s|300000 |299999 |     0 |   0.0 | 283M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1189.93/1189.91	c  1171s|310000 |309995 |     0 |   0.0 | 291M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1227.33/1227.38	c  1208s|320000 |319995 |     0 |   0.0 | 299M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1264.94/1264.90	c  1245s|330000 |329995 |     0 |   0.0 | 307M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1302.33/1302.38	c  1282s|340000 |339986 |     0 |   0.0 | 315M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   7 |   0 | 0.000000e+00 |      --      |    Inf 
1339.73/1339.72	c  1318s|350000 |349985 |     0 |   0.0 | 322M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   7 |   0 | 0.000000e+00 |      --      |    Inf 
1377.14/1377.14	c  1355s|360000 |359980 |     0 |   0.0 | 330M| 113 |   - |  13k|  16k|   0 |   0 |   0 |   9 |   0 | 0.000000e+00 |      --      |    Inf 
1414.54/1414.55	c  1392s|370000 |369972 |     0 |   0.0 | 338M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1451.83/1451.80	c  1429s|380000 |379969 |     0 |   0.0 | 346M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1489.14/1489.19	c  1465s|390000 |389969 |     0 |   0.0 | 354M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1526.54/1526.54	c  1502s|400000 |399966 |     0 |   0.0 | 362M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
1563.74/1563.75	c  1539s|410000 |409963 |     0 |   0.0 | 370M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
1600.94/1600.98	c  1575s|420000 |419962 |     0 |   0.0 | 377M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
1638.34/1638.38	c  1612s|430000 |429962 |     0 |   0.0 | 385M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  13 |   0 | 0.000000e+00 |      --      |    Inf 
1675.65/1675.64	c  1649s|440000 |439956 |     0 |   0.0 | 393M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
1712.85/1712.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1712.85/1712.83	c  1685s|450000 |449955 |     0 |   0.0 | 401M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
1750.05/1750.05	c  1722s|460000 |459953 |     0 |   0.0 | 409M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
1787.24/1787.27	c  1758s|470000 |469953 |     0 |   0.0 | 416M| 113 |   - |  13k|  16k|   0 |   0 |   0 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1771.01
1800.05/1800.00	c Solving Nodes      : 473416
1800.05/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.00	s UNKNOWN
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time       :    1771.01
1800.05/1800.00	c Original Problem   :
1800.05/1800.00	c   Problem name     : HOME/instance-2693640-1277913804.wbo
1800.05/1800.00	c   Variables        : 13192 (8907 binary, 0 integer, 0 implicit integer, 4285 continuous)
1800.05/1800.00	c   Constraints      : 16855 initial, 16855 maximal
1800.05/1800.00	c Presolved Problem  :
1800.05/1800.00	c   Problem name     : t_HOME/instance-2693640-1277913804.wbo
1800.05/1800.00	c   Variables        : 13008 (8737 binary, 0 integer, 0 implicit integer, 4271 continuous)
1800.05/1800.00	c   Constraints      : 16555 initial, 16567 maximal
1800.05/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   dualfix          :       0.00         28          0          0          0          0          0          0          0
1800.05/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   implics          :       0.01          0        111          0          0          0          0          0          0
1800.05/1800.00	c   probing          :       2.25          6         23          0          0          0          0          0          0
1800.05/1800.00	c   indicator        :       0.00          0          0          0          0          0         14          0          0
1800.05/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.00	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.00	c   linear           :       0.10         13          3          0       4286          0        269        408        822
1800.05/1800.00	c   logicor          :       0.03          0          0          0          0          0         17          0          0
1800.05/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   indicator        :       4271          0    1871295          0     473401          0      53690          0          0          0
1800.05/1800.00	c   varbound         :          3          0    1871295          0     473401          0          0          0          0          0
1800.05/1800.00	c   knapsack         :        531          0    1871295          0     473401          0          0          0          0          0
1800.05/1800.00	c   linear           :       4268          0    1871295          0     473401          0      53128          0          0          0
1800.05/1800.00	c   logicor          :       7482+         0    1755357          0     473401         18    3925684          0          0          0
1800.05/1800.00	c   countsols        :          0          0          0          0     473401          0          0          0          0          0
1800.05/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.00	c   indicator        :     281.90       0.00      93.88       0.00     188.02
1800.05/1800.00	c   varbound         :       0.09       0.00       0.02       0.00       0.07
1800.05/1800.00	c   knapsack         :      15.29       0.00      14.63       0.00       0.66
1800.05/1800.00	c   linear           :     106.03       0.00     105.66       0.00       0.37
1800.05/1800.00	c   logicor          :     556.63       0.00      11.91       0.00     544.72
1800.05/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.00	c   vbounds          :       0.26      49942          0        555
1800.05/1800.00	c   rootredcost      :       0.01          0          0          0
1800.05/1800.00	c   pseudoobj        :     184.23    1864864          0          0
1800.05/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.00	c   propagation      :       0.00         15         14         14        3.9          0        0.0          -
1800.05/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.00	c   applied globally :          -          -          -         14        3.9          -          -          -
1800.05/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.00	c Pricers            :       Time      Calls       Vars
1800.05/1800.00	c   problem variables:       0.00          0          0
1800.05/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   inference        :     593.61     473401          0          0          0          0     946802
1800.05/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.00	c   LP solutions     :       0.00          -          0
1800.05/1800.00	c   pseudo solutions :       0.00          -          0
1800.05/1800.00	c   oneopt           :       0.00          0          0
1800.05/1800.00	c   trivial          :       0.03          2          0
1800.05/1800.00	c   simplerounding   :       0.00          0          0
1800.05/1800.00	c   zirounding       :       0.00          0          0
1800.05/1800.00	c   rounding         :       0.00          0          0
1800.05/1800.00	c   shifting         :       0.00          0          0
1800.05/1800.00	c   intshifting      :       0.00          0          0
1800.05/1800.00	c   twoopt           :       0.00          0          0
1800.05/1800.00	c   fixandinfer      :       0.00          0          0
1800.05/1800.00	c   feaspump         :       0.00          0          0
1800.05/1800.00	c   coefdiving       :       0.00          0          0
1800.05/1800.00	c   pscostdiving     :       0.00          0          0
1800.05/1800.00	c   fracdiving       :       0.00          0          0
1800.05/1800.00	c   veclendiving     :       0.00          0          0
1800.05/1800.00	c   intdiving        :       0.00          0          0
1800.05/1800.00	c   actconsdiving    :       0.00          0          0
1800.05/1800.00	c   objpscostdiving  :       0.00          0          0
1800.05/1800.00	c   rootsoldiving    :       0.00          0          0
1800.05/1800.00	c   linesearchdiving :       0.00          0          0
1800.05/1800.00	c   guideddiving     :       0.00          0          0
1800.05/1800.00	c   octane           :       0.00          0          0
1800.05/1800.00	c   rens             :       0.00          0          0
1800.05/1800.00	c   rins             :       0.00          0          0
1800.05/1800.00	c   localbranching   :       0.00          0          0
1800.05/1800.00	c   mutation         :       0.00          0          0
1800.05/1800.00	c   crossover        :       0.00          0          0
1800.05/1800.00	c   dins             :       0.00          0          0
1800.05/1800.00	c   undercover       :       0.00          0          0
1800.05/1800.00	c   nlp              :       0.09          0          0
1800.05/1800.00	c   trysol           :       0.00          1          0
1800.05/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.00	c B&B Tree           :
1800.05/1800.00	c   number of runs   :          1
1800.05/1800.00	c   nodes            :     473416
1800.05/1800.00	c   nodes (total)    :     473416
1800.05/1800.00	c   nodes left       :     473369
1800.05/1800.00	c   max depth        :        113
1800.05/1800.00	c   max depth (total):        113
1800.05/1800.00	c   backtracks       :       7685 (1.6%)
1800.05/1800.00	c   delayed cutoffs  :         18
1800.05/1800.00	c   repropagations   :        169 (905 domain reductions, 0 cutoffs)
1800.05/1800.00	c   avg switch length:       2.55
1800.05/1800.00	c   switching time   :      20.53
1800.05/1800.00	c Solution           :
1800.05/1800.00	c   Solutions found  :          0 (0 improvements)
1800.05/1800.00	c   Primal Bound     :          -
1800.05/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.00	c   Gap              :   infinite
1800.05/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.00	c   Root Iterations  :          0
1800.55/1800.54	c Time complete: 1800.58.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693640-1277913804/watcher-2693640-1277913804 -o /tmp/evaluation-result-2693640-1277913804/solver-2693640-1277913804 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693640-1277913804.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: 2.29 2.14 2.04 3/178 15481
/proc/meminfo: memFree=30916988/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=8168 CPUtime=0
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 1545 0 0 0 0 0 0 0 22 0 1 0 132675014 8364032 1467 4089446400 4194304 7136930 140736072723616 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15481/statm: 2076 1470 275 719 0 1355 0

[startup+0.03464 s]
/proc/loadavg: 2.29 2.14 2.04 3/178 15481
/proc/meminfo: memFree=30916988/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=15168 CPUtime=0.03
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 3267 0 0 0 3 0 0 0 22 0 1 0 132675014 15532032 3189 4089446400 4194304 7136930 140736072723616 18446744073709551615 6312328 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15481/statm: 3792 3189 275 719 0 3071 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15168

[startup+0.10063 s]
/proc/loadavg: 2.29 2.14 2.04 3/178 15481
/proc/meminfo: memFree=30916988/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=26700 CPUtime=0.09
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 6181 0 0 0 9 0 0 0 22 0 1 0 132675014 27340800 6103 4089446400 4194304 7136930 140736072723616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15481/statm: 6675 6103 275 719 0 5954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26700

[startup+0.300596 s]
/proc/loadavg: 2.29 2.14 2.04 3/178 15481
/proc/meminfo: memFree=30916988/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=64352 CPUtime=0.29
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 17565 0 0 0 23 6 0 0 22 0 1 0 132675014 65896448 15114 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 16088 15114 367 719 0 15367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64352

[startup+0.700521 s]
/proc/loadavg: 2.29 2.14 2.04 3/178 15481
/proc/meminfo: memFree=30916988/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=73420 CPUtime=0.69
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 21213 0 0 0 60 9 0 0 24 0 1 0 132675014 75182080 17413 4089446400 4194304 7136930 140736072723616 18446744073709551615 5497071 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 18355 17413 400 719 0 17634 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73420

[startup+1.50037 s]
/proc/loadavg: 2.29 2.14 2.04 3/179 15482
/proc/meminfo: memFree=30846424/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=74096 CPUtime=1.49
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 21362 0 0 0 137 12 0 0 25 0 1 0 132675014 75874304 17562 4089446400 4194304 7136930 140736072723616 18446744073709551615 5502780 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 18524 17562 406 719 0 17803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74096

[startup+3.10109 s]
/proc/loadavg: 2.29 2.14 2.04 3/179 15482
/proc/meminfo: memFree=30845308/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=77000 CPUtime=3.09
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 25431 0 0 0 291 18 0 0 25 0 1 0 132675014 78848000 18219 4089446400 4194304 7136930 140736072723616 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 19250 18219 417 719 0 18529 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77000

[startup+6.3005 s]
/proc/loadavg: 2.35 2.15 2.04 3/179 15483
/proc/meminfo: memFree=30840844/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=78204 CPUtime=6.29
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 25738 0 0 0 606 23 0 0 25 0 1 0 132675014 80080896 18526 4089446400 4194304 7136930 140736072723616 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 19551 18526 417 719 0 18830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78204

[startup+12.7003 s]
/proc/loadavg: 2.32 2.15 2.04 3/179 15483
/proc/meminfo: memFree=30836644/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=79764 CPUtime=12.69
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 26133 0 0 0 1234 35 0 0 25 0 1 0 132675014 81678336 18921 4089446400 4194304 7136930 140736072723616 18446744073709551615 5005314 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 19941 18921 417 719 0 19220 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79764

[startup+25.501 s]
/proc/loadavg: 2.25 2.14 2.04 3/179 15483
/proc/meminfo: memFree=30824720/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=83492 CPUtime=25.49
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 27073 0 0 0 2494 55 0 0 25 0 1 0 132675014 85495808 19861 4089446400 4194304 7136930 140736072723616 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 20873 19861 417 719 0 20152 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83492

[startup+51.1003 s]
/proc/loadavg: 2.16 2.13 2.04 3/179 15483
/proc/meminfo: memFree=30800812/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=90000 CPUtime=51.09
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 28708 0 0 0 5016 93 0 0 25 0 1 0 132675014 92160000 21496 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 22500 21496 417 719 0 21779 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 90000

[startup+102.307 s]
/proc/loadavg: 2.07 2.11 2.03 3/179 15485
/proc/meminfo: memFree=30758752/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=102776 CPUtime=102.3
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 31932 0 0 0 10057 173 0 0 25 0 1 0 132675014 105242624 24720 4089446400 4194304 7136930 140736072723616 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 25694 24720 417 719 0 24973 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 102776

[startup+162.301 s]
/proc/loadavg: 2.02 2.08 2.03 3/179 15487
/proc/meminfo: memFree=30710352/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=118360 CPUtime=162.3
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 35891 0 0 0 15967 263 0 0 25 0 1 0 132675014 121200640 28679 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 29590 28679 417 719 0 28869 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 118360

[startup+222.301 s]
/proc/loadavg: 2.01 2.07 2.02 3/179 15488
/proc/meminfo: memFree=30658360/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=132976 CPUtime=222.3
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 39618 0 0 0 21874 356 0 0 25 0 1 0 132675014 136167424 32406 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 33244 32406 417 719 0 32523 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 132976

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/179 15490
/proc/meminfo: memFree=30602900/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=146552 CPUtime=282.3
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 42535 0 0 0 27780 450 0 0 25 0 1 0 132675014 150069248 35323 4089446400 4194304 7136930 140736072723616 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 36638 35323 417 719 0 35917 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 146552

[startup+342.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 15491
/proc/meminfo: memFree=30549172/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=156348 CPUtime=342.3
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 45071 0 0 0 33688 542 0 0 25 0 1 0 132675014 160100352 37859 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 39087 37859 417 719 0 38366 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 156348

[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/179 15493
/proc/meminfo: memFree=30493572/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=171956 CPUtime=402.31
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 49043 0 0 0 39600 631 0 0 25 0 1 0 132675014 176082944 41831 4089446400 4194304 7136930 140736072723616 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 42989 41831 417 719 0 42268 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 171956

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 15495
/proc/meminfo: memFree=30438740/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=185016 CPUtime=462.31
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 52359 0 0 0 45500 731 0 0 25 0 1 0 132675014 189456384 45147 4089446400 4194304 7136930 140736072723616 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 46254 45147 417 719 0 45533 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 185016

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15496
/proc/meminfo: memFree=30384004/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=198580 CPUtime=522.31
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 55813 0 0 0 51404 827 0 0 25 0 1 0 132675014 203345920 48601 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 49645 48601 417 719 0 48924 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 198580

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15498
/proc/meminfo: memFree=30334256/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=205176 CPUtime=582.31
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 57534 0 0 0 57312 919 0 0 25 0 1 0 132675014 210100224 50322 4089446400 4194304 7136930 140736072723616 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 51294 50322 417 719 0 50573 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 205176

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15499
/proc/meminfo: memFree=30277916/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=218832 CPUtime=642.31
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 60972 0 0 0 63216 1015 0 0 25 0 1 0 132675014 224083968 53760 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 54708 53760 417 719 0 53987 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 218832

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 15509
/proc/meminfo: memFree=29956156/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=298864 CPUtime=1002.32
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 80336 0 0 0 98655 1577 0 0 25 0 1 0 132675014 306036736 73124 4089446400 4194304 7136930 140736072723616 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 74716 73124 421 719 0 73995 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 298864

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 15539
/proc/meminfo: memFree=31115712/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=309968 CPUtime=1062.32
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 83134 0 0 0 104561 1671 0 0 25 0 1 0 132675014 317407232 75922 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 77492 75922 421 719 0 76771 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 309968

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15540
/proc/meminfo: memFree=31090588/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=323936 CPUtime=1122.32
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 86686 0 0 0 110460 1772 0 0 25 0 1 0 132675014 331710464 79474 4089446400 4194304 7136930 140736072723616 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 80984 79474 421 719 0 80263 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 323936

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15542
/proc/meminfo: memFree=31061796/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=340756 CPUtime=1182.33
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 90954 0 0 0 116366 1867 0 0 25 0 1 0 132675014 348934144 83742 4089446400 4194304 7136930 140736072723616 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 85189 83742 421 719 0 84468 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 340756

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15543
/proc/meminfo: memFree=31036332/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=352320 CPUtime=1242.33
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 93931 0 0 0 122269 1964 0 0 25 0 1 0 132675014 360775680 86719 4089446400 4194304 7136930 140736072723616 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 88080 86719 421 719 0 87359 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 352320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15545
/proc/meminfo: memFree=31000204/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=367140 CPUtime=1302.33
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 97679 0 0 0 128171 2062 0 0 25 0 1 0 132675014 375951360 90467 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 91785 90467 421 719 0 91064 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 367140

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15547
/proc/meminfo: memFree=30968808/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=376908 CPUtime=1362.33
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 100162 0 0 0 134078 2155 0 0 25 0 1 0 132675014 385953792 92950 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 94227 92950 421 719 0 93506 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 376908

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15548
/proc/meminfo: memFree=30924620/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=393848 CPUtime=1422.34
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 104462 0 0 0 139977 2257 0 0 25 0 1 0 132675014 403300352 97250 4089446400 4194304 7136930 140736072723616 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 98462 97250 421 719 0 97741 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 393848

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15550
/proc/meminfo: memFree=30891620/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=403924 CPUtime=1482.33
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 107037 0 0 0 145874 2359 0 0 25 0 1 0 132675014 413618176 99825 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 100981 99825 421 719 0 100260 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 403924

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15551
/proc/meminfo: memFree=30855632/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=412352 CPUtime=1542.34
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 109214 0 0 0 151781 2453 0 0 25 0 1 0 132675014 422248448 102002 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 103088 102002 421 719 0 102367 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 412352

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15553
/proc/meminfo: memFree=30800288/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=425228 CPUtime=1602.34
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 112489 0 0 0 157680 2554 0 0 25 0 1 0 132675014 435433472 105277 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 106307 105277 421 719 0 105586 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 425228

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15555
/proc/meminfo: memFree=30740608/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=441436 CPUtime=1662.35
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 116599 0 0 0 163575 2660 0 0 25 0 1 0 132675014 452030464 109387 4089446400 4194304 7136930 140736072723616 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 110359 109387 421 719 0 109638 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 441436

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15559
/proc/meminfo: memFree=30682468/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=454292 CPUtime=1722.34
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 119845 0 0 0 169473 2761 0 0 25 0 1 0 132675014 465195008 112633 4089446400 4194304 7136930 140736072723616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 113573 112633 421 719 0 112852 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 454292

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15561
/proc/meminfo: memFree=30626828/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=474484 CPUtime=1782.35
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 122900 0 0 0 175369 2866 0 0 25 0 1 0 132675014 485871616 115688 4089446400 4194304 7136930 140736072723616 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 118621 115688 421 719 0 117900 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 474484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15561
/proc/meminfo: memFree=30610700/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=480016 CPUtime=1800.05
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 124312 0 0 0 177112 2893 0 0 25 0 1 0 132675014 491536384 117100 4089446400 4194304 7136930 140736072723616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15481/statm: 120004 117100 421 719 0 119283 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 480016

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15561
/proc/meminfo: memFree=30610700/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=478468 CPUtime=1800.24
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 124318 0 0 0 177131 2893 0 0 25 0 1 0 132675014 489951232 116719 4089446400 4194304 7136930 140736072723616 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15481/statm: 119617 116719 427 719 0 118896 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 478468

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15561
/proc/meminfo: memFree=30610700/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=453368 CPUtime=1800.44
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 124318 0 0 0 177151 2893 0 0 25 0 1 0 132675014 464248832 110444 4089446400 4194304 7136930 140736072723616 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15481/statm: 113342 110444 427 719 0 112621 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 453368

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15561
/proc/meminfo: memFree=30610700/32951124 swapFree=67111528/67111528
[pid=15481] ppid=15479 vsize=268320 CPUtime=1800.55
/proc/15481/stat : 15481 (pbscip.linux.x8) R 15479 15481 15305 0 -1 4202496 124318 0 0 0 177160 2895 0 0 25 0 1 0 132675014 274759680 64196 4089446400 4194304 7136930 140736072723616 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15481/statm: 67080 64196 427 719 0 66359 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 268320

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.6
CPU user time (s): 1771.64
CPU system time (s): 28.9586
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 480016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.64
system time used= 28.9586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124325
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= 1
involuntary context switches= 1620

runsolver used 3.40848 second user time and 6.42502 second system time

The end

Launcher Data 

Begin job on node142 at 2010-06-30 18:03:24
IDJOB=2693640
IDBENCH=79022
IDSOLVER=1206
FILE ID=node142/2693640-1277913804
PBS_JOBID= 11197287
Free space on /tmp= 74172 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693640-1277913804/watcher-2693640-1277913804 -o /tmp/evaluation-result-2693640-1277913804/solver-2693640-1277913804 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693640-1277913804.wbo -t 1800 -m 3800

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

MD5SUM BENCH= e08e31eb3b4e7c09e6499c484fbac4c3
RANDOM SEED=4938937

node142.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.827
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.827
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	: 5226.16
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.827
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.827
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.75
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.827
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.82
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.827
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.75
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.827
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.827
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30917764 kB
Buffers:        194132 kB
Cached:        1076548 kB
SwapCached:          0 kB
Active:        1046220 kB
Inactive:       840208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30917764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3548 kB
Writeback:           0 kB
AnonPages:      615744 kB
Mapped:          17384 kB
Slab:            79988 kB
PageTables:       5932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   767444 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= 74168 MiB
End job on node142 at 2010-06-30 18:33:26