Trace number 2663781

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)6 1802.24 1802.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_3.opb
MD5SUMcdb29f44159b0b72729019e0c0db0b8a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark87.1807
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3090
Sum of products size (including duplicates)6180
Number of different products3090
Sum of products size6180

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.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-2663781-1276657576.opb>
0.00/0.03	c original problem has 3190 variables (3190 bin, 0 int, 0 impl, 0 cont) and 3190 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.03	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.06/0.07	c presolving:
0.29/0.39	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 203798 impls, 0 clqs
0.59/0.65	c    (0.4s) probing: 101/3190 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.65	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.65	c presolving (2 rounds):
0.59/0.65	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.65	c  203798 implications, 0 cliques
0.59/0.65	c presolved problem has 3190 variables (3190 bin, 0 int, 0 impl, 0 cont) and 3190 constraints
0.59/0.65	c    3090 constraints of type <and>
0.59/0.65	c     100 constraints of type <logicor>
0.59/0.65	c transformed objective value is always integral (scale: 1)
0.59/0.65	c Presolving Time: 0.41
0.59/0.65	c - non default parameters ----------------------------------------------------------------------
0.59/0.65	c # SCIP version 1.2.1.2
0.59/0.65	c 
0.59/0.65	c # frequency for displaying node information lines
0.59/0.65	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.65	c display/freq = 10000
0.59/0.65	c 
0.59/0.65	c # maximal time in seconds to run
0.59/0.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65	c limits/time = 1799.97
0.59/0.65	c 
0.59/0.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65	c limits/memory = 1620
0.59/0.65	c 
0.59/0.65	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.65	c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.65	c lp/solvefreq = -1
0.59/0.65	c 
0.59/0.65	c # should presolving try to simplify inequalities
0.59/0.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65	c constraints/linear/simplifyinequalities = TRUE
0.59/0.65	c 
0.59/0.65	c # should presolving try to simplify knapsacks
0.59/0.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.65	c 
0.59/0.65	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.59/0.65	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65	c heuristics/undercover/freq = 0
0.59/0.65	c 
0.59/0.65	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65	c separating/rapidlearning/freq = 0
0.59/0.65	c 
0.59/0.65	c -----------------------------------------------------------------------------------------------
0.59/0.65	c start solving
0.59/0.65	c 
0.59/0.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.66	c   0.4s|     1 |     2 |     0 |     - |  13M|   0 |   - |3190 |3190 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.09/5.18	o 10
5.09/5.18	c * 4.9s|  3302 |  3226 |     0 |   0.0 |  21M|  99 |   - |3190 |3191 |   0 |   0 |   0 |   1 |   0 | 1.000000e+00 | 1.000000e+01 | 900.00%
5.50/5.53	o 9
5.50/5.53	c * 5.2s|  3561 |  3475 |     0 |   0.0 |  21M|  99 |   - |3190 |3191 |   0 |   0 |   0 |   1 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
17.49/17.51	c  17.0s| 10000 |  9910 |     0 |   0.0 |  36M|  99 |   - |3190 |3192 |   0 |   0 |   0 |  12 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
31.48/31.50	c  30.7s| 20000 | 19906 |     0 |   0.0 |  56M|  99 |   - |3190 |3192 |   0 |   0 |   0 |  32 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
43.37/43.43	c  42.4s| 30000 | 29894 |     0 |   0.0 |  77M|  99 |   - |3190 |3210 |   0 |   0 |   0 | 102 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
52.97/53.02	c  51.8s| 40000 | 39886 |     0 |   0.0 |  96M| 102 |   - |3190 |3242 |   0 |   0 |   0 | 152 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
60.66/60.70	o 8
60.66/60.70	c *59.3s| 48108 | 47966 |     0 |   0.0 | 111M| 102 |   - |3190 |3266 |   0 |   0 |   0 | 181 |   0 | 1.000000e+00 | 8.000000e+00 | 700.00%
62.36/62.49	c  61.0s| 50000 | 49850 |     0 |   0.0 | 115M| 102 |   - |3190 |3286 |   0 |   0 |   0 | 223 |   0 | 1.000000e+00 | 8.000000e+00 | 700.00%
68.27/68.34	o 7
68.27/68.34	c *66.7s| 55811 | 55369 |     0 |   0.0 | 127M| 102 |   - |3190 |3668 |   0 |   0 |   0 | 846 |   0 | 1.000000e+00 | 7.000000e+00 | 600.00%
69.07/69.13	o 6
69.07/69.13	c *67.5s| 56270 | 55316 |     0 |   0.0 | 127M| 102 |   - |3190 |3491 |   0 |   0 |   0 | 936 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
75.36/75.42	c  73.7s| 60000 | 58977 |     0 |   0.0 | 135M| 102 |   - |3190 |3548 |   0 |   0 |   0 |1317 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
93.45/93.51	c  91.6s| 70000 | 68834 |     0 |   0.0 | 156M| 102 |   - |3190 |3875 |   0 |   0 |   0 |2032 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
110.85/110.94	c   109s| 80000 | 78751 |     0 |   0.0 | 177M| 102 |   - |3190 |3901 |   0 |   0 |   0 |2421 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
127.64/127.74	c   125s| 90000 | 88668 |     0 |   0.0 | 198M| 102 |   - |3190 |4048 |   0 |   0 |   0 |2794 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
144.34/144.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
144.34/144.43	c   142s|100000 | 98533 |     0 |   0.0 | 219M| 102 |   - |3190 |4317 |   0 |   0 |   0 |3425 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
160.63/160.72	c   158s|110000 |108365 |     0 |   0.0 | 239M| 102 |   - |3190 |4570 |   0 |   0 |   0 |4182 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
176.12/176.26	c   173s|120000 |118252 |     0 |   0.0 | 259M| 103 |   - |3190 |4763 |   0 |   0 |   0 |4702 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
192.02/192.10	c   189s|130000 |128189 |     0 |   0.0 | 279M| 103 |   - |3190 |4835 |   0 |   0 |   0 |5035 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
206.91/207.00	c   203s|140000 |138002 |     0 |   0.0 | 299M| 103 |   - |3190 |5177 |   0 |   0 |   0 |5912 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
221.60/221.78	c   218s|150000 |147908 |     0 |   0.0 | 319M| 103 |   - |3190 |5403 |   0 |   0 |   0 |6344 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
235.80/236.00	c   232s|160000 |157799 |     0 |   0.0 | 339M| 103 |   - |3190 |5560 |   0 |   0 |   0 |6782 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
250.19/250.32	c   246s|170000 |167597 |     0 |   0.0 | 359M| 103 |   - |3190 |5969 |   0 |   0 |   0 |7839 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
263.90/264.09	c   260s|180000 |177472 |     0 |   0.0 | 379M| 103 |   - |3190 |6174 |   0 |   0 |   0 |8435 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
277.58/277.73	c   273s|190000 |187322 |     0 |   0.0 | 399M| 105 |   - |3190 |6388 |   0 |   0 |   0 |9133 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
290.97/291.17	c   286s|200000 |197181 |     0 |   0.0 | 419M| 105 |   - |3190 |6865 |   0 |   0 |   0 |9834 |   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
304.26/304.45	c   299s|210000 |207032 |     0 |   0.0 | 439M| 105 |   - |3190 |7134 |   0 |   0 |   0 |  10k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
316.96/317.16	c   312s|220000 |216902 |     0 |   0.0 | 458M| 105 |   - |3190 |7403 |   0 |   0 |   0 |  11k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
329.86/330.01	c   324s|230000 |226667 |     0 |   0.0 | 478M| 105 |   - |3190 |7926 |   0 |   0 |   0 |  12k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
342.55/342.74	c   337s|240000 |236372 |     0 |   0.0 | 498M| 105 |   - |3190 |8545 |   0 |   0 |   0 |  13k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
355.75/355.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
355.75/355.99	c   350s|250000 |245810 |     0 |   0.0 | 519M| 105 |   - |3190 |  10k|   0 |   0 |   0 |  15k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
369.03/369.22	c   363s|260000 |255115 |     0 |   0.0 | 541M| 105 |   - |3190 |  12k|   0 |   0 |   0 |  18k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
383.04/383.25	c   377s|270000 |264044 |     0 |   0.0 | 564M| 105 |   - |3190 |  15k|   0 |   0 |   0 |  22k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
400.43/400.62	c   394s|280000 |272179 |     0 |   0.0 | 590M| 105 |   - |3190 |  19k|   0 |   0 |   0 |  30k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
420.92/421.16	c   414s|290000 |279889 |     0 |   0.0 | 604M| 105 |   - |3190 |4036 |   0 |   0 |   0 |  41k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
434.92/435.12	c   428s|300000 |289618 |     0 |   0.0 | 626M| 105 |   - |3190 |4222 |   0 |   0 |   0 |  42k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
449.61/449.85	c   442s|310000 |299282 |     0 |   0.0 | 648M| 105 |   - |3190 |4632 |   0 |   0 |   0 |  44k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
463.70/463.94	c   456s|320000 |309042 |     0 |   0.0 | 669M| 105 |   - |3190 |4574 |   0 |   0 |   0 |  45k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
477.11/477.32	c   469s|330000 |318661 |     0 |   0.0 | 692M| 105 |   - |3190 |5166 |   0 |   0 |   0 |  46k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
490.40/490.65	c   482s|340000 |328202 |     0 |   0.0 | 715M| 105 |   - |3190 |5935 |   0 |   0 |   0 |  48k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
503.60/503.87	c   495s|350000 |337749 |     0 |   0.0 | 737M| 105 |   - |3190 |6595 |   0 |   0 |   0 |  51k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
516.38/516.67	c   508s|360000 |347275 |     0 |   0.0 | 760M| 105 |   - |3190 |7618 |   0 |   0 |   0 |  53k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
528.88/529.15	c   520s|370000 |356747 |     0 |   0.0 | 782M| 105 |   - |3190 |8891 |   0 |   0 |   0 |  55k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
541.27/541.52	c   532s|380000 |366288 |     0 |   0.0 | 805M| 105 |   - |3190 |  10k|   0 |   0 |   0 |  57k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
553.87/554.15	c   545s|390000 |375865 |     0 |   0.0 | 827M| 105 |   - |3190 |  10k|   0 |   0 |   0 |  59k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
566.57/566.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
566.57/566.85	c   557s|400000 |385435 |     0 |   0.0 | 848M| 105 |   - |3190 |  11k|   0 |   0 |   0 |  61k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
578.85/579.16	c   569s|410000 |394871 |     0 |   0.0 | 871M| 105 |   - |3190 |  12k|   0 |   0 |   0 |  63k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
591.25/591.55	c   581s|420000 |404250 |     0 |   0.0 | 893M| 105 |   - |3190 |  14k|   0 |   0 |   0 |  66k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
604.35/604.65	c   594s|430000 |413617 |     0 |   0.0 | 916M| 105 |   - |3190 |  15k|   0 |   0 |   0 |  69k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
617.65/617.93	c   607s|440000 |422913 |     0 |   0.0 | 939M| 105 |   - |3190 |  16k|   0 |   0 |   0 |  72k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
630.64/630.97	c   620s|450000 |432291 |     0 |   0.0 | 961M| 105 |   - |3190 |  17k|   0 |   0 |   0 |  74k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
643.33/643.63	c   632s|460000 |441723 |     0 |   0.0 | 983M| 105 |   - |3190 |  17k|   0 |   0 |   0 |  77k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
656.23/656.53	c   645s|470000 |451080 |     0 |   0.0 |1006M| 105 |   - |3190 |  19k|   0 |   0 |   0 |  80k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
669.02/669.30	c   658s|480000 |460412 |     0 |   0.0 |1029M| 105 |   - |3190 |  20k|   0 |   0 |   0 |  83k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
681.91/682.29	c   670s|490000 |469780 |     0 |   0.0 |1051M| 105 |   - |3190 |  20k|   0 |   0 |   0 |  85k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
695.01/695.34	c   683s|500000 |479201 |     0 |   0.0 |1073M| 105 |   - |3190 |  21k|   0 |   0 |   0 |  88k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
708.31/708.63	c   696s|510000 |488519 |     0 |   0.0 |1096M| 105 |   - |3190 |  22k|   0 |   0 |   0 |  91k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
721.20/721.53	c   709s|520000 |497942 |     0 |   0.0 |1117M| 105 |   - |3190 |  22k|   0 |   0 |   0 |  93k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
734.40/734.76	c   722s|530000 |507327 |     0 |   0.0 |1139M| 105 |   - |3190 |  23k|   0 |   0 |   0 |  96k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
747.70/748.01	c   735s|540000 |516692 |     0 |   0.0 |1161M| 105 |   - |3190 |  24k|   0 |   0 |   0 |  98k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
760.68/761.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
760.68/761.08	c   748s|550000 |526095 |     0 |   0.0 |1183M| 105 |   - |3190 |  25k|   0 |   0 |   0 | 101k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
774.18/774.55	c   761s|560000 |535422 |     0 |   0.0 |1205M| 105 |   - |3190 |  25k|   0 |   0 |   0 | 104k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
787.28/787.62	c   774s|570000 |544950 |     0 |   0.0 |1226M| 105 |   - |3190 |  25k|   0 |   0 |   0 | 105k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
800.77/801.10	c   787s|580000 |554277 |     0 |   0.0 |1249M| 105 |   - |3190 |  27k|   0 |   0 |   0 | 108k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
814.17/814.50	c   800s|590000 |563638 |     0 |   0.0 |1272M| 105 |   - |3190 |  28k|   0 |   0 |   0 | 111k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
827.87/828.24	c   813s|600000 |572923 |     0 |   0.0 |1294M| 105 |   - |3190 |  29k|   0 |   0 |   0 | 114k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
841.76/842.15	c   827s|610000 |582209 |     0 |   0.0 |1317M| 105 |   - |3190 |  30k|   0 |   0 |   0 | 117k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
856.05/856.41	c   841s|620000 |591445 |     0 |   0.0 |1339M| 105 |   - |3190 |  31k|   0 |   0 |   0 | 120k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
868.45/868.80	c (node 628793) switching to memory saving mode (mem: 1296.0M/1620.0M)
879.83/880.24	c   865s|630000 |598497 |     0 |   0.0 |1363M| 105 |   - |3190 |  40k|   0 |   0 |   0 | 132k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
975.60/976.01	c   960s|640000 |593827 |     0 |   0.0 |1380M| 105 |   - |3190 |  68k|   0 |   0 |   0 | 190k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1087.86/1088.39	c  1072s|650000 |590403 |     0 |   0.0 |1385M| 105 |   - |3190 |  80k|   0 |   0 |   0 | 240k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1208.91/1209.44	c  1192s|660000 |587377 |     0 |   0.0 |1387M| 105 |   - |3190 |  92k|   0 |   0 |   0 | 288k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1351.55/1352.14	c  1334s|670000 |583989 |     0 |   0.0 |1381M| 106 |   - |3190 |  96k|   0 |   0 |   0 | 335k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1470.12/1470.79	c  1453s|680000 |582445 |     0 |   0.0 |1384M| 106 |   - |3190 | 102k|   0 |   0 |   0 | 377k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1628.65/1629.37	c  1611s|690000 |579158 |     0 |   0.0 |1379M| 106 |   - |3190 | 104k|   0 |   0 |   0 | 422k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1742.51/1743.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1742.51/1743.20	c  1724s|700000 |578208 |     0 |   0.0 |1388M| 106 |   - |3190 | 115k|   0 |   0 |   0 | 461k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1800.09/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.81	c 
1800.09/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.81	c Solving Time (sec) : 1781.38
1800.09/1800.81	c Solving Nodes      : 703783
1800.09/1800.81	c Primal Bound       : +6.00000000000000e+00 (5 solutions)
1800.09/1800.81	c Dual Bound         : +3.00000000000000e+00
1800.09/1800.81	c Gap                : 100.00 %
1800.09/1800.82	s SATISFIABLE
1800.09/1800.82	v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 
1800.09/1800.82	v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 
1800.09/1800.82	v -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 
1800.09/1800.82	v -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1 
1800.09/1800.82	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.82	c Solving Time       :    1781.38
1800.09/1800.82	c Original Problem   :
1800.09/1800.82	c   Problem name     : HOME/instance-2663781-1276657576.opb
1800.09/1800.82	c   Variables        : 3190 (3190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.82	c   Constraints      : 3190 initial, 3190 maximal
1800.09/1800.82	c Presolved Problem  :
1800.09/1800.82	c   Problem name     : t_HOME/instance-2663781-1276657576.opb
1800.09/1800.82	c   Variables        : 3190 (3190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.82	c   Constraints      : 3190 initial, 120111 maximal
1800.09/1800.82	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.82	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.82	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.82	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.82	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.82	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.82	c   probing          :       0.07          0          0          0          0          0          0          0          0
1800.09/1800.82	c   and              :       0.30          0          0          0          0          0          0          0          0
1800.09/1800.82	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.09/1800.82	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.82	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.82	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.82	c   and              :       3090          0    1703371          0     672636       4443   52332316          0          0          0
1800.09/1800.82	c   logicor          :        100+         0     658105          0     672641      67127     157299          0          0          0
1800.09/1800.82	c   countsols        :          0          0          0          0     672641          0          0          0          0          0
1800.09/1800.82	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.82	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.82	c   and              :     297.29       0.00     287.71       0.00       9.58
1800.09/1800.82	c   logicor          :     485.41       0.00     394.88       0.00      90.53
1800.09/1800.82	c   countsols        :       0.46       0.00       0.00       0.00       0.46
1800.09/1800.82	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.82	c   vbounds          :       1.21          2          0          0
1800.09/1800.82	c   rootredcost      :       0.99          0          0          0
1800.09/1800.82	c   pseudoobj        :      57.95    1709413       6235    1046639
1800.09/1800.82	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.82	c   propagation      :      49.21      77805      77805    1389242      100.2        911       95.1          -
1800.09/1800.82	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.82	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.82	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.82	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.82	c   applied globally :          -          -          -     476733       70.7          -          -          -
1800.09/1800.82	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.82	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.82	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.09/1800.82	c   redcost          :       0.00          0          0          0          0          0
1800.09/1800.82	c   impliedbounds    :       0.00          0          0          0          0          0
1800.09/1800.82	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.82	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.82	c   gomory           :       0.00          0          0          0          0          0
1800.09/1800.82	c   strongcg         :       0.00          0          0          0          0          0
1800.09/1800.82	c   cmir             :       0.00          0          0          0          0          0
1800.09/1800.82	c   flowcover        :       0.00          0          0          0          0          0
1800.09/1800.82	c   clique           :       0.00          0          0          0          0          0
1800.09/1800.82	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.82	c   mcf              :       0.00          0          0          0          0          0
1800.09/1800.82	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.82	c Pricers            :       Time      Calls       Vars
1800.09/1800.82	c   problem variables:       0.00          0          0
1800.09/1800.82	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.82	c   relpscost        :       0.00          0          0          0          0          0          0
1800.09/1800.82	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.82	c   inference        :     297.64     672636          0          0          0          0    1345272
1800.09/1800.82	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.82	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.82	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.82	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.82	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.82	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.82	c   LP solutions     :       0.00          -          0
1800.09/1800.82	c   pseudo solutions :       0.04          -          5
1800.09/1800.82	c   oneopt           :       1.14          0          0
1800.09/1800.82	c   trivial          :       0.01          2          0
1800.09/1800.82	c   simplerounding   :       0.00          0          0
1800.09/1800.82	c   zirounding       :       0.00          0          0
1800.09/1800.82	c   rounding         :       0.00          0          0
1800.09/1800.82	c   shifting         :       0.00          0          0
1800.09/1800.82	c   intshifting      :       0.00          0          0
1800.09/1800.82	c   twoopt           :       0.00          0          0
1800.09/1800.82	c   fixandinfer      :       0.00          0          0
1800.09/1800.82	c   feaspump         :       0.00          0          0
1800.09/1800.82	c   coefdiving       :       0.00          0          0
1800.09/1800.82	c   pscostdiving     :       0.00          0          0
1800.09/1800.82	c   fracdiving       :       0.00          0          0
1800.09/1800.82	c   veclendiving     :       0.00          0          0
1800.09/1800.82	c   intdiving        :       0.00          0          0
1800.09/1800.82	c   actconsdiving    :       0.00          0          0
1800.09/1800.82	c   objpscostdiving  :       0.00          0          0
1800.09/1800.82	c   rootsoldiving    :       0.00          0          0
1800.09/1800.82	c   linesearchdiving :       0.00          0          0
1800.09/1800.82	c   guideddiving     :       0.00          0          0
1800.09/1800.82	c   octane           :       0.00          0          0
1800.09/1800.82	c   rens             :       0.00          0          0
1800.09/1800.82	c   rins             :       0.00          0          0
1800.09/1800.82	c   localbranching   :       0.00          0          0
1800.09/1800.82	c   mutation         :       0.00          0          0
1800.09/1800.82	c   crossover        :       0.00          0          0
1800.09/1800.82	c   dins             :       0.00          0          0
1800.09/1800.82	c   undercover       :       0.00          0          0
1800.09/1800.82	c   nlp              :       0.49          0          0
1800.09/1800.82	c   trysol           :       0.33          0          0
1800.09/1800.82	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.82	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.82	c   dual LP          :       0.00          0          0       0.00          -
1800.09/1800.82	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.82	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.82	c   diving/probing LP:       0.00          0          0       0.00          -
1800.09/1800.82	c   strong branching :       0.00          0          0       0.00          -
1800.09/1800.82	c     (at root node) :          -          0          0       0.00          -
1800.09/1800.82	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.82	c B&B Tree           :
1800.09/1800.82	c   number of runs   :          1
1800.09/1800.82	c   nodes            :     703783
1800.09/1800.82	c   nodes (total)    :     703783
1800.09/1800.82	c   nodes left       :     577452
1800.09/1800.82	c   max depth        :        106
1800.09/1800.82	c   max depth (total):        106
1800.09/1800.82	c   backtracks       :      74363 (10.6%)
1800.09/1800.82	c   delayed cutoffs  :      63261
1800.09/1800.82	c   repropagations   :      84880 (20476764 domain reductions, 46663 cutoffs)
1800.09/1800.82	c   avg switch length:       8.54
1800.09/1800.82	c   switching time   :     503.70
1800.09/1800.82	c Solution           :
1800.09/1800.82	c   Solutions found  :          5 (5 improvements)
1800.09/1800.82	c   First Solution   : +1.00000000000000e+01   (in run 1, after 3302 nodes, 4.86 seconds, depth 96, found by <relaxation>)
1800.09/1800.82	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 56270 nodes, 67.50 seconds, depth 93, found by <relaxation>)
1800.09/1800.82	c   Dual Bound       : +3.00000000000000e+00
1800.09/1800.82	c   Gap              :     100.00 %
1800.09/1800.82	c   Root Dual Bound  : +0.00000000000000e+00
1800.09/1800.82	c   Root Iterations  :          0

Verifier Data 

OK	6

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663781-1276657576/watcher-2663781-1276657576 -o /tmp/evaluation-result-2663781-1276657576/solver-2663781-1276657576 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663781-1276657576.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 3/106 8643
/proc/meminfo: memFree=1781816/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=6584 CPUtime=0
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 973 0 0 0 0 0 0 0 20 0 1 0 39413943 6742016 895 1992294400 4194304 7136930 140735975966640 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8643/statm: 1646 905 254 719 0 925 0

[startup+0.071414 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8643
/proc/meminfo: memFree=1781816/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=19344 CPUtime=0.06
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 4442 0 0 0 5 1 0 0 20 0 1 0 39413943 19808256 4010 1992294400 4194304 7136930 140735975966640 18446744073709551615 4560263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 4836 4010 318 719 0 4115 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19344

[startup+0.101418 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8643
/proc/meminfo: memFree=1781816/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=22028 CPUtime=0.09
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 5114 0 0 0 7 2 0 0 20 0 1 0 39413943 22556672 4682 1992294400 4194304 7136930 140735975966640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 5507 4682 328 719 0 4786 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22028

[startup+0.301533 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8643
/proc/meminfo: memFree=1781816/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=31136 CPUtime=0.29
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 7663 0 0 0 21 8 0 0 20 0 1 0 39413943 31883264 6974 1992294400 4194304 7136930 140735975966640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 7784 6974 328 719 0 7063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31136

[startup+0.70153 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8643
/proc/meminfo: memFree=1781816/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=33348 CPUtime=0.69
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 9073 0 0 0 49 20 0 0 18 0 1 0 39413943 34148352 7613 1992294400 4194304 7136930 140735975966640 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 8337 7613 381 719 0 7616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33348

[startup+1.50068 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8644
/proc/meminfo: memFree=1752296/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=34368 CPUtime=1.49
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 9304 0 0 0 128 21 0 0 18 0 1 0 39413943 35192832 7844 1992294400 4194304 7136930 140735975966640 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 8592 7844 381 719 0 7871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34368

[startup+3.10098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8644
/proc/meminfo: memFree=1750560/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=37124 CPUtime=3.09
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 9998 0 0 0 286 23 0 0 21 0 1 0 39413943 38014976 8538 1992294400 4194304 7136930 140735975966640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 9281 8538 386 719 0 8560 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37124

[startup+6.30058 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8644
/proc/meminfo: memFree=1742252/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=45520 CPUtime=6.29
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 12110 0 0 0 598 31 0 0 25 0 1 0 39413943 46612480 10650 1992294400 4194304 7136930 140735975966640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 11380 10650 387 719 0 10659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45520

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8644
/proc/meminfo: memFree=1730844/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=56308 CPUtime=12.69
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 14817 0 0 0 1228 41 0 0 25 0 1 0 39413943 57659392 13357 1992294400 4194304 7136930 140735975966640 18446744073709551615 4642105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 14077 13357 387 719 0 13356 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56308

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8644
/proc/meminfo: memFree=1711996/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=73360 CPUtime=25.48
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 19118 0 0 0 2486 62 0 0 25 0 1 0 39413943 75120640 17658 1992294400 4194304 7136930 140735975966640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 18340 17658 387 719 0 17619 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73360

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8644
/proc/meminfo: memFree=1665372/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=120636 CPUtime=51.08
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 30994 0 0 0 4992 116 0 0 25 0 1 0 39413943 123531264 29534 1992294400 4194304 7136930 140735975966640 18446744073709551615 4436367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 30159 29534 387 719 0 29438 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 120636

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8646
/proc/meminfo: memFree=1585144/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=202356 CPUtime=102.26
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 50998 0 0 0 10025 201 0 0 25 0 1 0 39413943 207212544 49538 1992294400 4194304 7136930 140735975966640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 50589 49538 387 719 0 49868 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 202356

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8648
/proc/meminfo: memFree=1510124/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=276868 CPUtime=162.23
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 69692 0 0 0 15942 281 0 0 25 0 1 0 39413943 283512832 68232 1992294400 4194304 7136930 140735975966640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 69217 68232 387 719 0 68496 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 276868

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8650
/proc/meminfo: memFree=1432376/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=353976 CPUtime=222.2
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 89064 0 0 0 21852 368 0 0 25 0 1 0 39413943 362471424 87604 1992294400 4194304 7136930 140735975966640 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 88494 87604 387 719 0 87773 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 353976

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8650
/proc/meminfo: memFree=1347932/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=437644 CPUtime=282.18
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 109998 0 0 0 27749 469 0 0 25 0 1 0 39413943 448147456 108538 1992294400 4194304 7136930 140735975966640 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 109411 108538 387 719 0 108690 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 437644

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 8652
/proc/meminfo: memFree=1249724/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=539152 CPUtime=342.15
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 134387 0 0 0 33638 577 0 0 25 0 1 0 39413943 552091648 132927 1992294400 4194304 7136930 140735975966640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 134788 132927 387 719 0 134067 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 539152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8654
/proc/meminfo: memFree=1150028/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=642964 CPUtime=402.13
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 159622 0 0 0 39534 679 0 0 25 0 1 0 39413943 658395136 158162 1992294400 4194304 7136930 140735975966640 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 160741 158162 387 719 0 160020 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 642964

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8656
/proc/meminfo: memFree=1059880/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=733460 CPUtime=462.1
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 181696 0 0 0 45443 767 0 0 25 0 1 0 39413943 751063040 180236 1992294400 4194304 7136930 140735975966640 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 183365 180236 387 719 0 182644 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 733460

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8658
/proc/meminfo: memFree=958572/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=840200 CPUtime=522.08
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 207517 0 0 0 51335 873 0 0 25 0 1 0 39413943 860364800 206057 1992294400 4194304 7136930 140735975966640 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 210050 206057 387 719 0 209329 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 840200

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8658
/proc/meminfo: memFree=851064/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=949788 CPUtime=582.06
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 234292 0 0 0 57219 987 0 0 25 0 1 0 39413943 972582912 232832 1992294400 4194304 7136930 140735975966640 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 237447 232832 387 719 0 236726 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 949788

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8660
/proc/meminfo: memFree=748392/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1053664 CPUtime=642.04
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 259587 0 0 0 63111 1093 0 0 25 0 1 0 39413943 1078951936 258127 1992294400 4194304 7136930 140735975966640 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 263416 258127 387 719 0 262695 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1053664

[startup+702.3 s]

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

/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 375907 0 0 0 110556 1628 0 0 25 0 1 0 39413943 1577533440 372103 1992294400 4194304 7136930 140735975966640 18446744073709551615 4625918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 385140 372103 387 719 0 384419 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1540560

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8674
/proc/meminfo: memFree=278060/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1552372 CPUtime=1181.82
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 378883 0 0 0 116526 1656 0 0 25 0 1 0 39413943 1589628928 375079 1992294400 4194304 7136930 140735975966640 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 388093 375079 387 719 0 387372 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1552372

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8676
/proc/meminfo: memFree=274960/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1555556 CPUtime=1241.79
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 379593 0 0 0 122504 1675 0 0 25 0 1 0 39413943 1592889344 375789 1992294400 4194304 7136930 140735975966640 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 388889 375789 387 719 0 388168 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1555556

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8678
/proc/meminfo: memFree=271984/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1559580 CPUtime=1301.77
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 380349 0 0 0 128487 1690 0 0 25 0 1 0 39413943 1597009920 376545 1992294400 4194304 7136930 140735975966640 18446744073709551615 6166290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 389895 376545 387 719 0 389174 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1559580

[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 8680
/proc/meminfo: memFree=268760/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1563172 CPUtime=1361.74
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 381139 0 0 0 134458 1716 0 0 25 0 1 0 39413943 1600688128 377335 1992294400 4194304 7136930 140735975966640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 390793 377335 387 719 0 390072 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1563172

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8682
/proc/meminfo: memFree=261940/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1571276 CPUtime=1421.74
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 382831 0 0 0 140433 1741 0 0 25 0 1 0 39413943 1608986624 379027 1992294400 4194304 7136930 140735975966640 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 392819 379027 387 719 0 392098 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1571276

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 8682
/proc/meminfo: memFree=260948/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1571888 CPUtime=1481.7
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 383066 0 0 0 146407 1763 0 0 25 0 1 0 39413943 1609613312 379262 1992294400 4194304 7136930 140735975966640 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 392972 379262 387 719 0 392251 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1571888

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8684
/proc/meminfo: memFree=258220/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1574956 CPUtime=1541.68
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 383720 0 0 0 152384 1784 0 0 25 0 1 0 39413943 1612754944 379916 1992294400 4194304 7136930 140735975966640 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 393739 379916 387 719 0 393018 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1574956

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8686
/proc/meminfo: memFree=255120/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1580596 CPUtime=1601.66
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 384498 0 0 0 158368 1798 0 0 25 0 1 0 39413943 1618530304 380694 1992294400 4194304 7136930 140735975966640 18446744073709551615 4208866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 395149 380694 387 719 0 394428 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1580596

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8688
/proc/meminfo: memFree=252144/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1583792 CPUtime=1661.63
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 385224 0 0 0 164339 1824 0 0 25 0 1 0 39413943 1621803008 381420 1992294400 4194304 7136930 140735975966640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 395948 381420 387 719 0 395227 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1583792

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8690
/proc/meminfo: memFree=241232/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1594648 CPUtime=1721.61
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 387956 0 0 0 170316 1845 0 0 25 0 1 0 39413943 1632919552 384152 1992294400 4194304 7136930 140735975966640 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 398662 384152 387 719 0 397941 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1594648

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8690
/proc/meminfo: memFree=239992/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1595048 CPUtime=1781.59
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 388200 0 0 0 176296 1863 0 0 25 0 1 0 39413943 1633329152 384396 1992294400 4194304 7136930 140735975966640 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 398762 384396 387 719 0 398041 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1595048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8692
/proc/meminfo: memFree=239620/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1596416 CPUtime=1800.09
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 388311 0 0 0 178140 1869 0 0 25 0 1 0 39413943 1634729984 384507 1992294400 4194304 7136930 140735975966640 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8643/statm: 399104 384507 387 719 0 398383 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1596416

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8643

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 8692
/proc/meminfo: memFree=239620/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1597320 CPUtime=1800.68
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 388565 0 0 0 178199 1869 0 0 18 0 1 0 39413943 1635655680 384761 1992294400 4194304 7136930 140735975966640 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8643/statm: 399330 384761 393 719 0 398609 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 1597320

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8693
/proc/meminfo: memFree=238620/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1597116 CPUtime=1801.48
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 388565 0 0 0 178279 1869 0 0 19 0 1 0 39413943 1635446784 384710 1992294400 4194304 7136930 140735975966640 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8643/statm: 399279 384710 393 719 0 398558 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 1597116

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8693
/proc/meminfo: memFree=238620/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1594724 CPUtime=1801.88
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 388565 0 0 0 178319 1869 0 0 20 0 1 0 39413943 1632997376 384112 1992294400 4194304 7136930 140735975966640 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8643/statm: 398681 384112 393 719 0 397960 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 1594724

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8693
/proc/meminfo: memFree=259452/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=1575776 CPUtime=1802.08
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4202496 388565 0 0 0 178339 1869 0 0 20 0 1 0 39413943 1613594624 379375 1992294400 4194304 7136930 140735975966640 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8643/statm: 393944 379375 393 719 0 393223 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1575776

[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8693
/proc/meminfo: memFree=259452/2059040 swapFree=4140352/4192956
[pid=8643] ppid=8641 vsize=0 CPUtime=1802.18
/proc/8643/stat : 8643 (pbscip.linux.x8) R 8641 8643 7870 0 -1 4203524 388565 0 0 0 178339 1879 0 0 20 0 1 0 39413943 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/8643/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.96
CPU time (s): 1802.24
CPU user time (s): 1783.4
CPU system time (s): 18.8451
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 1597320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.4
system time used= 18.8451
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 6046

runsolver used 2.95755 second user time and 8.5417 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-16 05:06:16
IDJOB=2663781
IDBENCH=48154
IDSOLVER=1167
FILE ID=node019/2663781-1276657576
PBS_JOBID= 11172458
Free space on /tmp= 62416 MiB

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

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

MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a
RANDOM SEED=165343244

node019.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.264
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.52
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.264
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1782220 kB
Buffers:         71916 kB
Cached:         114912 kB
SwapCached:       6068 kB
Active:         105924 kB
Inactive:        94132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1782220 kB
SwapTotal:     4192956 kB
SwapFree:      4140352 kB
Dirty:            3252 kB
Writeback:           0 kB
AnonPages:       11496 kB
Mapped:          13052 kB
Slab:            54876 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182976 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= 62412 MiB
End job on node019 at 2010-06-16 05:36:19