Trace number 2663909

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)-18 1802.23 1802.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_4.opb
MD5SUMf7dd1b6b0a4946caf4c26a82905ed8fe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-27
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -34
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2663909-1276674861.opb>
0.05/0.08	c original problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6861 constraints
0.05/0.08	c problem read
0.05/0.08	c presolving settings loaded
0.05/0.08	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.10/0.17	o 0
0.10/0.17	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.10/0.17	c presolving:
0.39/0.47	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50480 impls, 400 clqs
0.89/0.92	c    (0.6s) probing: 101/6660 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.92	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.89/0.93	c presolving (2 rounds):
0.89/0.93	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.93	c  50480 implications, 400 cliques
0.89/0.93	c presolved problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 6861 constraints
0.89/0.93	c     400 constraints of type <setppc>
0.89/0.93	c    6260 constraints of type <and>
0.89/0.93	c       1 constraints of type <linear>
0.89/0.93	c     200 constraints of type <logicor>
0.89/0.93	c transformed objective value is always integral (scale: 1)
0.89/0.93	c Presolving Time: 0.60
0.89/0.93	c - non default parameters ----------------------------------------------------------------------
0.89/0.93	c # SCIP version 1.2.1.2
0.89/0.93	c 
0.89/0.93	c # frequency for displaying node information lines
0.89/0.93	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.93	c display/freq = 10000
0.89/0.93	c 
0.89/0.93	c # maximal time in seconds to run
0.89/0.93	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93	c limits/time = 1799.92
0.89/0.93	c 
0.89/0.93	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.93	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93	c limits/memory = 1620
0.89/0.93	c 
0.89/0.93	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.93	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.93	c lp/solvefreq = -1
0.89/0.93	c 
0.89/0.93	c # should presolving try to simplify inequalities
0.89/0.93	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93	c constraints/linear/simplifyinequalities = TRUE
0.89/0.93	c 
0.89/0.93	c # should presolving try to simplify knapsacks
0.89/0.93	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.93	c 
0.89/0.93	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.93	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.93	c heuristics/undercover/freq = 0
0.89/0.93	c 
0.89/0.93	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.93	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.93	c separating/rapidlearning/freq = 0
0.89/0.93	c 
0.89/0.93	c -----------------------------------------------------------------------------------------------
0.89/0.93	c start solving
0.89/0.93	c 
0.89/0.95	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.95	c t 0.7s|     1 |     2 |     0 |     - |  18M|   0 |   - |6660 |6861 |   0 |   0 |   0 |   0 |   0 |-2.000000e+02 | 0.000000e+00 | 100.00%
55.27/55.33	c  54.6s| 10000 |  9612 |     0 |   0.0 |  42M| 184 |   - |6660 |7009 |   0 |   0 |   0 | 202 |   0 |-1.990000e+02 | 0.000000e+00 | 100.00%
103.37/103.42	c   102s| 20000 | 19514 |     0 |   0.0 |  67M| 184 |   - |6660 |7031 |   0 |   0 |   0 | 233 |   0 |-1.990000e+02 | 0.000000e+00 | 100.00%
129.66/129.75	o -9
129.66/129.75	c * 128s| 26582 | 25910 |     0 |   0.0 |  83M| 184 |   - |6660 |7081 |   0 |   0 |   0 | 337 |   0 |-1.990000e+02 |-9.000000e+00 |  95.48%
142.46/142.54	c   141s| 30000 | 29040 |     0 |   0.0 |  92M| 184 |   - |6660 |7113 |   0 |   0 |   0 | 475 |   0 |-1.990000e+02 |-9.000000e+00 |  95.48%
189.34/189.49	c   187s| 40000 | 33922 |     0 |   0.0 | 117M| 191 |   - |6660 |7235 |   0 |   0 |   0 |1104 |   0 |-1.980000e+02 |-9.000000e+00 |  95.45%
190.53/190.60	o -11
190.53/190.60	c * 189s| 40307 | 34212 |     0 |   0.0 | 118M| 191 |   - |6660 |7236 |   0 |   0 |   0 |1113 |   0 |-1.980000e+02 |-1.100000e+01 |  94.44%
228.92/229.02	c   227s| 50000 | 42337 |     0 |   0.0 | 147M| 191 |   - |6660 |7341 |   0 |   0 |   0 |1898 |   0 |-1.980000e+02 |-1.100000e+01 |  94.44%
271.41/271.54	c   269s| 60000 | 52090 |     0 |   0.0 | 203M| 191 |   - |6660 |7262 |   0 |   0 |   0 |2111 |   0 |-1.980000e+02 |-1.100000e+01 |  94.44%
309.61/309.78	c   307s| 70000 | 61882 |     0 |   0.0 | 251M| 191 |   - |6660 |7255 |   0 |   0 |   0 |2294 |   0 |-1.980000e+02 |-1.100000e+01 |  94.44%
350.00/350.19	c   347s| 80000 | 71562 |     0 |   0.0 | 313M| 191 |   - |6660 |7299 |   0 |   0 |   0 |2550 |   0 |-1.980000e+02 |-1.100000e+01 |  94.44%
350.19/350.32	o -13
350.19/350.32	c * 347s| 80047 | 71605 |     0 |   0.0 | 313M| 191 |   - |6660 |7300 |   0 |   0 |   0 |2551 |   0 |-1.980000e+02 |-1.300000e+01 |  93.43%
385.78/385.93	o -17
385.78/385.93	c * 382s| 88305 | 79484 |     0 |   0.0 | 374M| 191 |   - |6660 |7368 |   0 |   0 |   0 |2856 |   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
392.98/393.10	c   389s| 90000 | 81101 |     0 |   0.0 | 386M| 191 |   - |6660 |7380 |   0 |   0 |   0 |2914 |   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
432.18/432.32	c   428s|100000 | 90416 |     0 |   0.0 | 439M| 191 |   - |6660 |7497 |   0 |   0 |   0 |3433 |   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
474.16/474.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
474.16/474.32	c   469s|110000 | 99649 |     0 |   0.0 | 503M| 191 |   - |6660 |7589 |   0 |   0 |   0 |4132 |   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
516.64/516.82	c   511s|120000 |108592 |     0 |   0.0 | 568M| 191 |   - |6660 |7748 |   0 |   0 |   0 |5123 |   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
559.03/559.21	c   553s|130000 |117122 |     0 |   0.0 | 631M| 191 |   - |6660 |7927 |   0 |   0 |   0 |6500 |   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
601.22/601.43	c   595s|140000 |125616 |     0 |   0.0 | 692M| 191 |   - |6660 |7913 |   0 |   0 |   0 |7887 |   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
642.11/642.35	c   635s|150000 |133894 |     0 |   0.0 | 749M| 191 |   - |6660 |7992 |   0 |   0 |   0 |9542 |   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
682.69/682.92	c   676s|160000 |142147 |     0 |   0.0 | 804M| 191 |   - |6660 |8028 |   0 |   0 |   0 |  11k|   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
722.08/722.39	c   715s|170000 |150310 |     0 |   0.0 | 857M| 191 |   - |6660 |8081 |   0 |   0 |   0 |  12k|   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
762.18/762.41	c   754s|180000 |158100 |     0 |   0.0 | 908M| 191 |   - |6660 |8213 |   0 |   0 |   0 |  14k|   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
801.37/801.69	c   793s|190000 |166019 |     0 |   0.0 | 959M| 191 |   - |6660 |8179 |   0 |   0 |   0 |  16k|   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
841.04/841.39	c   832s|200000 |173405 |     0 |   0.0 |1006M| 191 |   - |6660 |8116 |   0 |   0 |   0 |  19k|   0 |-1.980000e+02 |-1.700000e+01 |  91.41%
848.54/848.80	o -18
848.54/848.80	c * 840s|201907 |174850 |     0 |   0.0 |1015M| 191 |   - |6660 |8262 |   0 |   0 |   0 |  19k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
881.14/881.47	c   872s|210000 |180394 |     0 |   0.0 |1050M| 191 |   - |6660 |8276 |   0 |   0 |   0 |  22k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
920.44/920.78	c   911s|220000 |187195 |     0 |   0.0 |1096M| 191 |   - |6660 |8566 |   0 |   0 |   0 |  24k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
961.12/961.48	c   951s|230000 |194347 |     0 |   0.0 |1143M| 191 |   - |6660 |8231 |   0 |   0 |   0 |  27k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1001.19/1001.55	c   991s|240000 |201399 |     0 |   0.0 |1191M| 191 |   - |6660 |8243 |   0 |   0 |   0 |  30k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1040.68/1041.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1040.68/1041.02	c  1030s|250000 |208400 |     0 |   0.0 |1236M| 191 |   - |6660 |8196 |   0 |   0 |   0 |  32k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1080.76/1081.16	c  1070s|260000 |215643 |     0 |   0.0 |1285M| 191 |   - |6660 |8267 |   0 |   0 |   0 |  35k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1121.06/1121.44	c  1109s|270000 |222229 |     0 |   0.0 |1330M| 191 |   - |6660 |8436 |   0 |   0 |   0 |  38k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1144.25/1144.70	c (node 275833) switching to memory saving mode (mem: 1296.0M/1620.0M)
1152.95/1153.39	c  1141s|280000 |226421 |     0 |   0.0 |1360M| 281 |   - |6660 |9051 |   0 |   0 |   0 |  41k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1169.34/1169.76	c  1157s|290000 |226422 |     0 |   0.0 |1363M| 281 |   - |6660 |9761 |   0 |   0 |   0 |  42k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1186.93/1187.38	c  1174s|300000 |226421 |     0 |   0.0 |1366M| 281 |   - |6660 |  11k|   0 |   0 |   0 |  44k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1205.42/1205.86	c  1193s|310000 |226422 |     0 |   0.0 |1369M| 281 |   - |6660 |  12k|   0 |   0 |   0 |  46k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1224.02/1224.44	c  1211s|320000 |226422 |     0 |   0.0 |1371M| 281 |   - |6660 |  12k|   0 |   0 |   0 |  47k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1241.82/1242.20	c  1228s|330000 |226421 |     0 |   0.0 |1373M| 281 |   - |6660 |  13k|   0 |   0 |   0 |  49k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1267.21/1267.67	c  1253s|340000 |226420 |     0 |   0.0 |1368M| 281 |   - |6660 |  11k|   0 |   0 |   0 |  56k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1295.51/1295.92	c  1281s|350000 |226420 |     0 |   0.0 |1371M| 281 |   - |6660 |  13k|   0 |   0 |   0 |  66k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1325.29/1325.70	c  1310s|360000 |226421 |     0 |   0.0 |1374M| 281 |   - |6660 |  14k|   0 |   0 |   0 |  76k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1354.58/1355.08	c  1338s|370000 |226420 |     0 |   0.0 |1376M| 281 |   - |6660 |  15k|   0 |   0 |   0 |  86k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1383.17/1383.66	c  1366s|380000 |226420 |     0 |   0.0 |1380M| 281 |   - |6660 |  16k|   0 |   0 |   0 |  96k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1410.06/1410.59	c  1392s|390000 |226420 |     0 |   0.0 |1369M| 286 |   - |6660 |  12k|   0 |   0 |   0 | 105k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1431.46/1431.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1431.46/1431.93	c  1413s|400000 |226419 |     0 |   0.0 |1372M| 286 |   - |6660 |  13k|   0 |   0 |   0 | 106k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1455.75/1456.24	c  1438s|410000 |226420 |     0 |   0.0 |1373M| 286 |   - |6660 |  13k|   0 |   0 |   0 | 108k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1481.44/1481.97	c  1463s|420000 |226421 |     0 |   0.0 |1373M| 286 |   - |6660 |  13k|   0 |   0 |   0 | 109k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1508.44/1508.97	c  1490s|430000 |226419 |     0 |   0.0 |1376M| 286 |   - |6660 |  14k|   0 |   0 |   0 | 114k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1532.84/1533.34	c  1514s|440000 |226421 |     0 |   0.0 |1376M| 286 |   - |6660 |  14k|   0 |   0 |   0 | 116k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1558.23/1558.72	c  1539s|450000 |226420 |     0 |   0.0 |1378M| 286 |   - |6660 |  15k|   0 |   0 |   0 | 118k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1583.02/1583.55	c  1563s|460000 |226420 |     0 |   0.0 |1380M| 286 |   - |6660 |  16k|   0 |   0 |   0 | 119k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1608.21/1608.75	c  1588s|470000 |226421 |     0 |   0.0 |1381M| 286 |   - |6660 |  16k|   0 |   0 |   0 | 121k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1634.20/1634.73	c  1614s|480000 |226421 |     0 |   0.0 |1382M| 286 |   - |6660 |  16k|   0 |   0 |   0 | 123k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1659.69/1660.28	c  1639s|490000 |226421 |     0 |   0.0 |1384M| 286 |   - |6660 |  17k|   0 |   0 |   0 | 125k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1685.98/1686.54	c  1665s|500000 |226426 |     0 |   0.0 |1386M| 286 |   - |6660 |  18k|   0 |   0 |   0 | 127k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1710.98/1711.59	c  1690s|510000 |226420 |     0 |   0.0 |1388M| 286 |   - |6660 |  18k|   0 |   0 |   0 | 129k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1740.86/1741.49	c  1719s|520000 |226420 |     0 |   0.0 |1391M| 286 |   - |6660 |  20k|   0 |   0 |   0 | 132k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1769.56/1770.10	c  1748s|530000 |226420 |     0 |   0.0 |1392M| 286 |   - |6660 |  20k|   0 |   0 |   0 | 134k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1795.95/1796.52	c  1774s|540000 |226419 |     0 |   0.0 |1393M| 286 |   - |6660 |  21k|   0 |   0 |   0 | 138k|   0 |-1.980000e+02 |-1.800000e+01 |  90.91%
1800.06/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61	c 
1800.06/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.61	c Solving Time (sec) : 1777.87
1800.06/1800.61	c Solving Nodes      : 541529
1800.06/1800.61	c Primal Bound       : -1.80000000000000e+01 (8 solutions)
1800.06/1800.61	c Dual Bound         : -1.98000000000000e+02
1800.06/1800.61	c Gap                : 90.91 %
1800.06/1800.63	s SATISFIABLE
1800.06/1800.63	v x371 -x383 -x336 -x224 x320 -x326 -x282 -x353 x272 x295 -x351 -x216 -x375 -x311 -x400 x354 -x236 -x256 -x234 -x289 x316 x307 -x242 
1800.06/1800.63	v -x328 -x366 -x209 -x349 -x346 -x293 -x277 -x218 -x276 -x281 x396 -x359 -x261 -x208 -x337 -x252 -x285 -x243 -x230 -x358 -x225 
1800.06/1800.63	v x241 -x331 -x254 -x211 -x347 -x330 -x382 -x333 -x206 -x398 -x288 -x274 -x255 -x246 x228 -x324 -x237 -x352 -x387 -x360 -x310 
1800.06/1800.63	v -x271 x391 -x363 -x357 -x339 -x329 -x259 -x258 -x217 -x385 -x389 -x265 -x313 -x379 -x397 x380 -x356 -x341 -x298 x279 -x269 
1800.06/1800.63	v -x260 -x251 -x235 -x214 -x213 -x286 -x378 -x249 -x264 x306 -x361 x268 -x233 -x247 x301 -x203 -x381 x334 -x270 -x266 -x250 -x239 
1800.06/1800.63	v -x297 -x291 -x370 -x362 -x308 -x340 -x392 -x232 -x394 -x373 -x317 -x207 -x296 -x287 -x222 -x368 -x348 -x390 -x388 x372 -x367 
1800.06/1800.63	v -x314 -x312 -x304 -x294 -x292 -x290 -x278 -x248 -x244 -x227 -x219 -x212 -x210 -x344 -x273 -x299 -x343 -x332 -x245 -x376 -x377 
1800.06/1800.63	v -x223 -x384 -x325 -x395 -x220 -x300 -x257 -x305 -x231 -x221 -x321 -x283 -x323 -x201 -x399 -x393 -x335 -x322 -x309 -x267 
1800.06/1800.63	v -x263 -x262 -x253 -x240 -x238 -x319 -x374 -x280 -x369 -x205 -x318 -x350 -x202 -x342 -x303 -x215 -x204 -x365 -x315 -x355 -x345 
1800.06/1800.63	v -x386 -x229 -x226 -x338 -x364 -x327 -x275 -x284 -x302 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.06/1800.63	v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 
1800.06/1800.63	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.06/1800.63	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.06/1800.63	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.06/1800.63	v -x104 x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1800.06/1800.63	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 
1800.06/1800.63	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 x32 -x31 -x30 
1800.06/1800.63	v -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 
1800.06/1800.63	v -x1 
1800.06/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.63	c Solving Time       :    1777.87
1800.06/1800.63	c Original Problem   :
1800.06/1800.63	c   Problem name     : HOME/instance-2663909-1276674861.opb
1800.06/1800.63	c   Variables        : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.63	c   Constraints      : 6861 initial, 6861 maximal
1800.06/1800.63	c Presolved Problem  :
1800.06/1800.63	c   Problem name     : t_HOME/instance-2663909-1276674861.opb
1800.06/1800.63	c   Variables        : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.63	c   Constraints      : 6861 initial, 21273 maximal
1800.06/1800.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.63	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.63	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.63	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.63	c   probing          :       0.24          0          0          0          0          0          0          0          0
1800.06/1800.63	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.63	c   and              :       0.22          0          0          0          0          0          0          0          0
1800.06/1800.63	c   linear           :       0.05          0          0          0          0          0          0          0          0
1800.06/1800.63	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.63	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.63	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.63	c   setppc           :        400          0    1700022          0     389379       5608     712839          0          0          0
1800.06/1800.63	c   and              :       6260          0    1701766          0     390861         73   23986233          0          0          0
1800.06/1800.63	c   linear           :          1          0    1698912          0     390943       9756    7086947          0          0          0
1800.06/1800.63	c   logicor          :        200+         0     420824          0     390941       8466     426146          0          0          0
1800.06/1800.63	c   countsols        :          0          0          0          0     390948          0          0          0          0          0
1800.06/1800.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.63	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.63	c   setppc           :     216.00       0.00      16.88       0.00     199.12
1800.06/1800.63	c   and              :     261.48       0.00     168.81       0.00      92.67
1800.06/1800.63	c   linear           :     111.91       0.00     111.24       0.00       0.67
1800.06/1800.63	c   logicor          :     151.48       0.00     127.88       0.00      23.60
1800.06/1800.63	c   countsols        :       0.20       0.00       0.00       0.00       0.20
1800.06/1800.63	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.63	c   vbounds          :       1.09          2          0          0
1800.06/1800.63	c   rootredcost      :       1.00          0          0          0
1800.06/1800.63	c   pseudoobj        :     425.11    1842696     134348      35936
1800.06/1800.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.63	c   propagation      :     414.98     158251      67582     768187      216.6        267      183.6          -
1800.06/1800.63	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.63	c   applied globally :          -          -          -     138717      237.7          -          -          -
1800.06/1800.63	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.63	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.63	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.63	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.63	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.63	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.63	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.63	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.63	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.63	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.63	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.63	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.63	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.63	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.63	c Pricers            :       Time      Calls       Vars
1800.06/1800.63	c   problem variables:       0.00          0          0
1800.06/1800.63	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.63	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.63	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.63	c   inference        :     319.72     390943          0          0          0          0     781886
1800.06/1800.63	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.63	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.63	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.63	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.63	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.63	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.63	c   LP solutions     :       0.00          -          0
1800.06/1800.63	c   pseudo solutions :       0.03          -          5
1800.06/1800.63	c   oneopt           :       0.92          0          0
1800.06/1800.63	c   trivial          :       0.02          2          3
1800.06/1800.63	c   simplerounding   :       0.00          0          0
1800.06/1800.63	c   zirounding       :       0.00          0          0
1800.06/1800.63	c   rounding         :       0.00          0          0
1800.06/1800.63	c   shifting         :       0.00          0          0
1800.06/1800.63	c   intshifting      :       0.00          0          0
1800.06/1800.63	c   twoopt           :       0.00          0          0
1800.06/1800.63	c   fixandinfer      :       0.00          0          0
1800.06/1800.63	c   feaspump         :       0.00          0          0
1800.06/1800.63	c   coefdiving       :       0.00          0          0
1800.06/1800.63	c   pscostdiving     :       0.00          0          0
1800.06/1800.63	c   fracdiving       :       0.00          0          0
1800.06/1800.63	c   veclendiving     :       0.00          0          0
1800.06/1800.63	c   intdiving        :       0.00          0          0
1800.06/1800.63	c   actconsdiving    :       0.00          0          0
1800.06/1800.63	c   objpscostdiving  :       0.00          0          0
1800.06/1800.63	c   rootsoldiving    :       0.00          0          0
1800.06/1800.63	c   linesearchdiving :       0.00          0          0
1800.06/1800.63	c   guideddiving     :       0.00          0          0
1800.06/1800.63	c   octane           :       0.00          0          0
1800.06/1800.63	c   rens             :       0.00          0          0
1800.06/1800.63	c   rins             :       0.00          0          0
1800.06/1800.63	c   localbranching   :       0.00          0          0
1800.06/1800.63	c   mutation         :       0.00          0          0
1800.06/1800.63	c   crossover        :       0.00          0          0
1800.06/1800.63	c   dins             :       0.00          0          0
1800.06/1800.63	c   undercover       :       0.00          0          0
1800.06/1800.63	c   nlp              :       0.41          0          0
1800.06/1800.63	c   trysol           :       0.38          0          0
1800.06/1800.63	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.63	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.63	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.63	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.63	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.63	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.63	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.63	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.63	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.63	c B&B Tree           :
1800.06/1800.63	c   number of runs   :          1
1800.06/1800.63	c   nodes            :     541529
1800.06/1800.63	c   nodes (total)    :     541529
1800.06/1800.63	c   nodes left       :     226420
1800.06/1800.63	c   max depth        :        286
1800.06/1800.63	c   max depth (total):        286
1800.06/1800.63	c   backtracks       :      16718 (3.1%)
1800.06/1800.63	c   delayed cutoffs  :      13938
1800.06/1800.63	c   repropagations   :     686017 (1400608 domain reductions, 7670 cutoffs)
1800.06/1800.63	c   avg switch length:       5.91
1800.06/1800.63	c   switching time   :     221.01
1800.06/1800.63	c Solution           :
1800.06/1800.63	c   Solutions found  :          8 (6 improvements)
1800.06/1800.63	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.06/1800.63	c   Primal Bound     : -1.80000000000000e+01   (in run 1, after 201907 nodes, 839.70 seconds, depth 88, found by <relaxation>)
1800.06/1800.63	c   Dual Bound       : -1.98000000000000e+02
1800.06/1800.63	c   Gap              :      90.91 %
1800.06/1800.63	c   Root Dual Bound  : -2.00000000000000e+02
1800.06/1800.63	c   Root Iterations  :          0

Verifier Data 

OK	-18

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 4/106 14208
/proc/meminfo: memFree=1797408/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=7612 CPUtime=0
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 1222 0 0 0 0 0 0 0 18 0 1 0 8777716 7794688 1144 1992294400 4194304 7136930 140736675557328 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14208/statm: 1903 1153 254 719 0 1182 0

[startup+0.0613071 s]
/proc/loadavg: 1.00 1.00 1.00 4/106 14208
/proc/meminfo: memFree=1797408/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=15048 CPUtime=0.05
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 3264 0 0 0 4 1 0 0 18 0 1 0 8777716 15409152 3186 1992294400 4194304 7136930 140736675557328 18446744073709551615 5652013 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14208/statm: 3762 3186 272 719 0 3041 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15048

[startup+0.101311 s]
/proc/loadavg: 1.00 1.00 1.00 4/106 14208
/proc/meminfo: memFree=1797408/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=20392 CPUtime=0.1
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 4947 0 0 0 8 2 0 0 18 0 1 0 8777716 20881408 4516 1992294400 4194304 7136930 140736675557328 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 5098 4525 283 719 0 4377 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20392

[startup+0.301328 s]
/proc/loadavg: 1.00 1.00 1.00 4/106 14208
/proc/meminfo: memFree=1797408/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=30592 CPUtime=0.29
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 7562 0 0 0 23 6 0 0 18 0 1 0 8777716 31326208 6873 1992294400 4194304 7136930 140736675557328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 7648 6873 333 719 0 6927 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30592

[startup+0.701363 s]
/proc/loadavg: 1.00 1.00 1.00 4/106 14208
/proc/meminfo: memFree=1797408/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=35340 CPUtime=0.69
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 10406 0 0 0 47 22 0 0 18 0 1 0 8777716 36188160 8175 1992294400 4194304 7136930 140736675557328 18446744073709551615 4780847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 8835 8175 374 719 0 8114 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35340

[startup+1.50143 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14209
/proc/meminfo: memFree=1764168/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=38464 CPUtime=1.49
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 11189 0 0 0 127 22 0 0 19 0 1 0 8777716 39387136 8958 1992294400 4194304 7136930 140736675557328 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 9616 8958 388 719 0 8895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38464

[startup+3.10157 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14209
/proc/meminfo: memFree=1760200/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=41540 CPUtime=3.09
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 11929 0 0 0 285 24 0 0 23 0 1 0 8777716 42536960 9698 1992294400 4194304 7136930 140736675557328 18446744073709551615 4643153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 10385 9698 393 719 0 9664 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41540

[startup+6.30185 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14209
/proc/meminfo: memFree=1758836/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=42600 CPUtime=6.3
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 12210 0 0 0 603 27 0 0 25 0 1 0 8777716 43622400 9979 1992294400 4194304 7136930 140736675557328 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 10650 9979 393 719 0 9929 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 42600

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14209
/proc/meminfo: memFree=1755488/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=46036 CPUtime=12.68
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 13029 0 0 0 1238 30 0 0 25 0 1 0 8777716 47140864 10798 1992294400 4194304 7136930 140736675557328 18446744073709551615 4414505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 11509 10798 393 719 0 10788 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46036

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14209
/proc/meminfo: memFree=1748172/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=53116 CPUtime=25.48
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 14823 0 0 0 2509 39 0 0 25 0 1 0 8777716 54390784 12592 1992294400 4194304 7136930 140736675557328 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 13279 12592 393 719 0 12558 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53116

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14211
/proc/meminfo: memFree=1734036/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=67184 CPUtime=51.08
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 18309 0 0 0 5051 57 0 0 25 0 1 0 8777716 68796416 16078 1992294400 4194304 7136930 140736675557328 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 16796 16078 393 719 0 16075 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67184

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14211
/proc/meminfo: memFree=1704028/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=97540 CPUtime=102.27
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 25781 0 0 0 10131 96 0 0 25 0 1 0 8777716 99880960 23550 1992294400 4194304 7136930 140736675557328 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 24385 23550 393 719 0 23664 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 97540

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14213
/proc/meminfo: memFree=1656660/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=147476 CPUtime=162.24
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 37687 0 0 0 16064 160 0 0 25 0 1 0 8777716 151015424 35456 1992294400 4194304 7136930 140736675557328 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 36869 35456 393 719 0 36148 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 147476

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14215
/proc/meminfo: memFree=1615988/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=192092 CPUtime=222.23
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 47789 0 0 0 21999 224 0 0 25 0 1 0 8777716 196702208 45558 1992294400 4194304 7136930 140736675557328 18446744073709551615 4780801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 48023 45558 393 719 0 47302 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 192092

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14217
/proc/meminfo: memFree=1538240/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=279360 CPUtime=282.21
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 67256 0 0 0 27941 280 0 0 25 0 1 0 8777716 286064640 65025 1992294400 4194304 7136930 140736675557328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 69840 65025 393 719 0 69119 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 279360

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14219
/proc/meminfo: memFree=1449952/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=382748 CPUtime=342.2
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 89171 0 0 0 33879 341 0 0 25 0 1 0 8777716 391933952 86940 1992294400 4194304 7136930 140736675557328 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 95687 86940 393 719 0 94966 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 382748

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14228
/proc/meminfo: memFree=1357324/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=494472 CPUtime=402.17
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 112364 0 0 0 39817 400 0 0 25 0 1 0 8777716 506339328 110133 1992294400 4194304 7136930 140736675557328 18446744073709551615 4980271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 123618 110133 393 719 0 122897 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 494472

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14230
/proc/meminfo: memFree=1259612/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=607900 CPUtime=462.16
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 136548 0 0 0 45748 468 0 0 25 0 1 0 8777716 622489600 134317 1992294400 4194304 7136930 140736675557328 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 151975 134317 393 719 0 151254 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 607900

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14232
/proc/meminfo: memFree=1163884/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=727616 CPUtime=522.14
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 160623 0 0 0 51682 532 0 0 25 0 1 0 8777716 745078784 158392 1992294400 4194304 7136930 140736675557328 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 181904 158392 393 719 0 181183 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 727616

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14234
/proc/meminfo: memFree=1068652/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=839920 CPUtime=582.12
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 184225 0 0 0 57613 599 0 0 25 0 1 0 8777716 860078080 181994 1992294400 4194304 7136930 140736675557328 18446744073709551615 4227188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 209980 181994 393 719 0 209259 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 839920

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14236
/proc/meminfo: memFree=980116/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=949068 CPUtime=642.11
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 206121 0 0 0 63549 662 0 0 25 0 1 0 8777716 971845632 203890 1992294400 4194304 7136930 140736675557328 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 237267 203890 393 719 0 236546 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 949068

[startup+702.301 s]

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

/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 342935 0 0 0 105094 1105 0 0 25 0 1 0 8777716 1635262464 340704 1992294400 4194304 7136930 140736675557328 18446744073709551615 4408859 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 399234 340704 393 719 0 398513 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1596936

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14248
/proc/meminfo: memFree=356148/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1682508 CPUtime=1121.96
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 361797 0 0 0 111031 1165 0 0 25 0 1 0 8777716 1722888192 359566 1992294400 4194304 7136930 140736675557328 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 420627 359566 393 719 0 419906 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1682508

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14250
/proc/meminfo: memFree=314608/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1729208 CPUtime=1181.94
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 373004 0 0 0 116944 1250 0 0 25 0 1 0 8777716 1770708992 369886 1992294400 4194304 7136930 140736675557328 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 432302 369886 393 719 0 431581 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1729208

[startup+1242.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 14252
/proc/meminfo: memFree=306796/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1737580 CPUtime=1241.92
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 375113 0 0 0 122862 1330 0 0 25 0 1 0 8777716 1779281920 371995 1992294400 4194304 7136930 140736675557328 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 434395 371995 393 719 0 433674 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1737580

[startup+1302.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 14252
/proc/meminfo: memFree=292288/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1751064 CPUtime=1301.9
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 378495 0 0 0 128692 1498 0 0 25 0 1 0 8777716 1793089536 375377 1992294400 4194304 7136930 140736675557328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 437766 375377 393 719 0 437045 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1751064

[startup+1362.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 14254
/proc/meminfo: memFree=276044/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1767324 CPUtime=1361.88
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 382555 0 0 0 134530 1658 0 0 25 0 1 0 8777716 1809739776 379437 1992294400 4194304 7136930 140736675557328 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 441831 379437 393 719 0 441110 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1767324

[startup+1422.31 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 14256
/proc/meminfo: memFree=258064/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1785448 CPUtime=1421.86
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 387051 0 0 0 140403 1783 0 0 25 0 1 0 8777716 1828298752 383933 1992294400 4194304 7136930 140736675557328 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 446362 383933 393 719 0 445641 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1785448

[startup+1482.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 14258
/proc/meminfo: memFree=255956/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1787420 CPUtime=1481.84
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 387562 0 0 0 146341 1843 0 0 25 0 1 0 8777716 1830318080 384444 1992294400 4194304 7136930 140736675557328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 446855 384444 393 719 0 446134 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1787420

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14260
/proc/meminfo: memFree=254220/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1789036 CPUtime=1541.83
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 387963 0 0 0 152252 1931 0 0 25 0 1 0 8777716 1831972864 384845 1992294400 4194304 7136930 140736675557328 18446744073709551615 4976324 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 447259 384845 393 719 0 446538 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1789036

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14260
/proc/meminfo: memFree=253104/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1790192 CPUtime=1601.8
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 388240 0 0 0 158190 1990 0 0 25 0 1 0 8777716 1833156608 385122 1992294400 4194304 7136930 140736675557328 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 447548 385122 393 719 0 446827 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1790192

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14262
/proc/meminfo: memFree=250500/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1792708 CPUtime=1661.79
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 388885 0 0 0 164123 2056 0 0 25 0 1 0 8777716 1835732992 385767 1992294400 4194304 7136930 140736675557328 18446744073709551615 4221231 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 448177 385767 393 719 0 447456 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1792708

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14264
/proc/meminfo: memFree=246036/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1797916 CPUtime=1721.77
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 390157 0 0 0 170058 2119 0 0 25 0 1 0 8777716 1841065984 387039 1992294400 4194304 7136930 140736675557328 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 449479 387039 393 719 0 448758 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1797916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14266
/proc/meminfo: memFree=242192/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1800808 CPUtime=1781.76
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 390886 0 0 0 175984 2192 0 0 25 0 1 0 8777716 1844027392 387768 1992294400 4194304 7136930 140736675557328 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 450202 387768 393 719 0 449481 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1800808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14266
/proc/meminfo: memFree=242192/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1800808 CPUtime=1800.06
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 390891 0 0 0 177794 2212 0 0 25 0 1 0 8777716 1844027392 387773 1992294400 4194304 7136930 140736675557328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14208/statm: 450202 387773 393 719 0 449481 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1800808

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14208

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14266
/proc/meminfo: memFree=242192/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1799920 CPUtime=1800.85
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 390955 0 0 0 177873 2212 0 0 25 0 1 0 8777716 1843118080 387581 1992294400 4194304 7136930 140736675557328 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14208/statm: 449980 387581 398 719 0 449259 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1799920

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14267
/proc/meminfo: memFree=242308/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1799920 CPUtime=1801.65
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 390955 0 0 0 177953 2212 0 0 25 0 1 0 8777716 1843118080 387581 1992294400 4194304 7136930 140736675557328 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14208/statm: 449980 387581 398 719 0 449259 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1799920

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14267
/proc/meminfo: memFree=242308/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=1766668 CPUtime=1802.05
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4202496 390955 0 0 0 177992 2213 0 0 25 0 1 0 8777716 1809068032 379271 1992294400 4194304 7136930 140736675557328 18446744073709551615 4670237 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14208/statm: 441667 379271 398 719 0 440946 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1766668

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14267
/proc/meminfo: memFree=242308/2059040 swapFree=4141108/4192956
[pid=14208] ppid=14206 vsize=0 CPUtime=1802.15
/proc/14208/stat : 14208 (pbscip.linux.x8) R 14206 14208 13584 0 -1 4203524 390955 0 0 0 177994 2221 0 0 25 0 1 0 8777716 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14208/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.77
CPU time (s): 1802.23
CPU user time (s): 1779.94
CPU system time (s): 22.2876
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1800944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.94
system time used= 22.2876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390955
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= 4419

runsolver used 3.14552 second user time and 8.35573 second system time

The end

Launcher Data 

Begin job on node050 at 2010-06-16 09:54:21
IDJOB=2663909
IDBENCH=48282
IDSOLVER=1167
FILE ID=node050/2663909-1276674861
PBS_JOBID= 11172508
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_4.opb
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-2663909-1276674861/watcher-2663909-1276674861 -o /tmp/evaluation-result-2663909-1276674861/solver-2663909-1276674861 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663909-1276674861.opb -t 1800 -m 1800

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

MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe
RANDOM SEED=1993157781

node050.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1798060 kB
Buffers:         58696 kB
Cached:         111560 kB
SwapCached:       7128 kB
Active:         105584 kB
Inactive:        79384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1798060 kB
SwapTotal:     4192956 kB
SwapFree:      4141108 kB
Dirty:            3400 kB
Writeback:           0 kB
AnonPages:       11848 kB
Mapped:          13076 kB
Slab:            54280 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179980 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node050 at 2010-06-16 10:24:24