Trace number 2693862

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverMSAT (TO) 1800.53 1800.49

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
MD5SUM8b066002eb3185cd3fd0fbc9dbe06f59
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark58
Best CPU time to get the best result obtained on this benchmark0.187971
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints42
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1838
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1837
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1255
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2693862-1277896082.wbo>
0.00/0.00	c original problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 144 constraints
0.00/0.00	c problem read
0.00/0.00	c presolving settings loaded
0.00/0.00	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.00/0.00	c presolving:
0.00/0.00	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01	c (round 2) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 impls, 39 clqs
0.00/0.01	c (round 3) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 48 impls, 39 clqs
0.00/0.02	c    (0.0s) probing: 101/211 (47.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02	c presolving (4 rounds):
0.00/0.02	c  0 deleted vars, 14 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  48 implications, 39 cliques
0.00/0.02	c presolved problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 130 constraints
0.00/0.02	c      42 constraints of type <indicator>
0.00/0.02	c       1 constraints of type <knapsack>
0.00/0.02	c      39 constraints of type <setppc>
0.00/0.02	c      42 constraints of type <linear>
0.00/0.02	c       6 constraints of type <logicor>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1800
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 3420
0.00/0.02	c 
0.00/0.02	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02	c lp/solvefreq = -1
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     2 |     0 |     - | 941k|   0 |   - | 253 | 130 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.29/1.37	c   1.1s| 10000 |  7022 |     0 |   0.0 |6596k| 141 |   - | 253 |3659 |   0 |   0 |   0 |6424 |   0 | 0.000000e+00 |      --      |    Inf 
3.49/3.50	c   3.0s| 20000 | 12649 |     0 |   0.0 |  11M| 141 |   - | 253 |5196 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
6.89/6.90	c   6.2s| 30000 | 16941 |     0 |   0.0 |  17M| 141 |   - | 253 |  10k|   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
11.59/11.63	c  10.8s| 40000 | 20172 |     0 |   0.0 |  22M| 141 |   - | 253 |  13k|   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
17.59/17.65	c  16.7s| 50000 | 21517 |     0 |   0.0 |  27M| 141 |   - | 253 |  19k|   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
20.49/20.56	c  19.5s| 60000 | 28392 |     0 |   0.0 |  26M| 141 |   - | 253 |4283 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
22.69/22.71	c  21.5s| 70000 | 34941 |     0 |   0.0 |  31M| 141 |   - | 253 |5814 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
27.89/27.90	c  26.6s| 80000 | 36963 |     0 |   0.0 |  36M| 141 |   - | 253 |  11k|   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
35.99/36.04	c  34.6s| 90000 | 36895 |     0 |   0.0 |  41M| 141 |   - | 253 |  19k|   0 |   0 |   0 |  98k|   0 | 0.000000e+00 |      --      |    Inf 
46.90/46.96	c  45.4s|100000 | 36078 |     0 |   0.0 |  44M| 141 |   - | 253 |  25k|   0 |   0 |   0 | 117k|   0 | 0.000000e+00 |      --      |    Inf 
60.19/60.24	c  58.6s|110000 | 34325 |     0 |   0.0 |  47M| 141 |   - | 253 |  32k|   0 |   0 |   0 | 136k|   0 | 0.000000e+00 |      --      |    Inf 
70.49/70.53	c  68.7s|120000 | 36945 |     0 |   0.0 |  41M| 141 |   - | 253 |9516 |   0 |   0 |   0 | 146k|   0 | 0.000000e+00 |      --      |    Inf 
73.79/73.82	c  71.9s|130000 | 42577 |     0 |   0.0 |  45M| 141 |   - | 253 |7120 |   0 |   0 |   0 | 151k|   0 | 0.000000e+00 |      --      |    Inf 
77.09/77.12	c  75.1s|140000 | 48035 |     0 |   0.0 |  49M| 141 |   - | 253 |7967 |   0 |   0 |   0 | 157k|   0 | 0.000000e+00 |      --      |    Inf 
80.79/80.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
80.79/80.82	c  78.7s|150000 | 53159 |     0 |   0.0 |  53M| 141 |   - | 253 |9207 |   0 |   0 |   0 | 163k|   0 | 0.000000e+00 |      --      |    Inf 
85.29/85.35	c  83.0s|160000 | 57289 |     0 |   0.0 |  57M| 141 |   - | 253 |  10k|   0 |   0 |   0 | 171k|   0 | 0.000000e+00 |      --      |    Inf 
90.40/90.42	c  88.0s|170000 | 60841 |     0 |   0.0 |  62M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 180k|   0 | 0.000000e+00 |      --      |    Inf 
90.59/90.68	o 591
90.59/90.68	c *88.3s|170479 | 60967 |     0 |   0.0 |  62M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 181k|   0 | 0.000000e+00 | 5.910000e+02 |    Inf 
93.10/93.17	o 365
93.10/93.17	c *90.7s|174944 | 62324 |     0 |   0.0 |  64M| 141 |   - | 253 |  12k|   0 |   0 |   0 | 185k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
96.09/96.17	c  93.6s|180000 | 63717 |     0 |   0.0 |  66M| 141 |   - | 253 |  12k|   0 |   0 |   0 | 190k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
102.49/102.54	c  99.9s|190000 | 66152 |     0 |   0.0 |  70M| 141 |   - | 253 |  17k|   0 |   0 |   0 | 202k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
116.69/116.72	c   114s|200000 | 61677 |     0 |   0.0 |  68M| 141 |   - | 253 |  22k|   0 |   0 |   0 | 226k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
134.49/134.58	c   132s|210000 | 57718 |     0 |   0.0 |  60M| 141 |   - | 253 |  20k|   0 |   0 |   0 | 246k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
141.40/141.42	c   138s|220000 | 61385 |     0 |   0.0 |  60M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 254k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
147.19/147.29	c   144s|230000 | 64557 |     0 |   0.0 |  63M| 141 |   - | 253 |  12k|   0 |   0 |   0 | 263k|   0 | 0.000000e+00 | 3.650000e+02 |    Inf 
149.89/149.92	o 347
149.89/149.92	c * 147s|234466 | 66022 |     0 |   0.0 |  65M| 141 |   - | 253 |  13k|   0 |   0 |   0 | 267k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
153.50/153.56	c   150s|240000 | 67538 |     0 |   0.0 |  67M| 141 |   - | 253 |  14k|   0 |   0 |   0 | 272k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
160.40/160.43	c   157s|250000 | 70403 |     0 |   0.0 |  70M| 141 |   - | 253 |  16k|   0 |   0 |   0 | 281k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
168.10/168.10	c   165s|260000 | 72858 |     0 |   0.0 |  73M| 141 |   - | 253 |  17k|   0 |   0 |   0 | 291k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
176.39/176.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
176.39/176.44	c   173s|270000 | 74985 |     0 |   0.0 |  76M| 141 |   - | 253 |  18k|   0 |   0 |   0 | 301k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
185.30/185.31	c   181s|280000 | 77072 |     0 |   0.0 |  79M| 141 |   - | 253 |  20k|   0 |   0 |   0 | 311k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
194.79/194.84	c   191s|290000 | 78937 |     0 |   0.0 |  81M| 141 |   - | 253 |  21k|   0 |   0 |   0 | 321k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
204.99/205.00	c   201s|300000 | 80674 |     0 |   0.0 |  83M| 141 |   - | 253 |  22k|   0 |   0 |   0 | 332k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
215.60/215.63	c   211s|310000 | 82292 |     0 |   0.0 |  85M| 141 |   - | 253 |  23k|   0 |   0 |   0 | 344k|   0 | 0.000000e+00 | 3.470000e+02 |    Inf 
226.90/226.90	c   223s|320000 | 83648 |     0 |   0.0 |  87M| 141 |   - | 253 |  25k|   0 |   0 |   0 | 356k|   0 | 1.000000e+00 | 3.470000e+02 |  Large 
239.10/239.11	c   235s|330000 | 84577 |     0 |   0.0 |  90M| 141 |   - | 253 |  29k|   0 |   0 |   0 | 369k|   0 | 1.000000e+00 | 3.470000e+02 |  Large 
253.30/253.36	c   249s|340000 | 84343 |     0 |   0.0 |  93M| 141 |   - | 253 |  33k|   0 |   0 |   0 | 384k|   0 | 1.000000e+00 | 3.470000e+02 |  Large 
263.29/263.30	o 343
263.29/263.30	c * 259s|346615 | 85173 |     0 |   0.0 |  92M| 141 |   - | 253 |  24k|   0 |   0 |   0 | 392k|   0 | 1.000000e+00 | 3.430000e+02 |  Large 
267.90/267.90	c   263s|350000 | 85367 |     0 |   0.0 |  92M| 141 |   - | 253 |  23k|   0 |   0 |   0 | 395k|   0 | 1.000000e+00 | 3.430000e+02 |  Large 
280.50/280.57	c   276s|360000 | 86326 |     0 |   0.0 |  95M| 141 |   - | 253 |  23k|   0 |   0 |   0 | 406k|   0 | 1.000000e+00 | 3.430000e+02 |  Large 
293.70/293.75	c   289s|370000 | 86951 |     0 |   0.0 |  98M| 141 |   - | 253 |  26k|   0 |   0 |   0 | 417k|   0 | 1.000000e+00 | 3.430000e+02 |  Large 
303.10/303.13	o 258
303.10/303.13	c * 298s|376663 | 87455 |     0 |   0.0 | 100M| 141 |   - | 253 |  28k|   0 |   0 |   0 | 425k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
308.10/308.13	c   303s|380000 | 87589 |     0 |   0.0 | 101M| 141 |   - | 253 |  29k|   0 |   0 |   0 | 429k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
324.00/324.04	c   319s|390000 | 87817 |     0 |   0.0 | 103M| 141 |   - | 253 |  31k|   0 |   0 |   0 | 441k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
341.60/341.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
341.60/341.61	c   336s|400000 | 87734 |     0 |   0.0 | 106M| 141 |   - | 253 |  34k|   0 |   0 |   0 | 453k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
359.40/359.40	c   354s|410000 | 87962 |     0 |   0.0 | 108M| 141 |   - | 253 |  35k|   0 |   0 |   0 | 465k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
378.31/378.30	c   373s|420000 | 88035 |     0 |   0.0 | 110M| 141 |   - | 253 |  37k|   0 |   0 |   0 | 477k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
398.10/398.17	c   392s|430000 | 87858 |     0 |   0.0 | 111M| 141 |   - | 253 |  38k|   0 |   0 |   0 | 489k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
419.20/419.24	c   413s|440000 | 87249 |     0 |   0.0 | 113M| 141 |   - | 253 |  41k|   0 |   0 |   0 | 503k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
443.40/443.43	c   437s|450000 | 85761 |     0 |   0.0 | 114M| 141 |   - | 253 |  44k|   0 |   0 |   0 | 517k|   0 | 1.000000e+00 | 2.580000e+02 |  Large 
466.31/466.37	o 183
466.31/466.37	c * 460s|458152 | 83760 |     0 |   0.0 | 114M| 141 |   - | 253 |  47k|   0 |   0 |   0 | 530k|   0 | 1.000000e+00 | 1.830000e+02 |  Large 
471.51/471.54	c   465s|460000 | 83346 |     0 |   0.0 | 114M| 141 |   - | 253 |  48k|   0 |   0 |   0 | 533k|   0 | 1.000000e+00 | 1.830000e+02 |  Large 
501.70/501.78	c   495s|470000 | 80990 |     0 |   0.0 | 111M| 141 |   - | 253 |  43k|   0 |   0 |   0 | 548k|   0 | 1.000000e+00 | 1.830000e+02 |  Large 
528.40/528.47	c   522s|480000 | 79311 |     0 |   0.0 | 111M| 141 |   - | 253 |  45k|   0 |   0 |   0 | 561k|   0 | 1.000000e+00 | 1.830000e+02 |  Large 
546.10/546.10	o 161
546.10/546.10	c * 539s|486374 | 77841 |     0 |   0.0 | 110M| 141 |   - | 253 |  47k|   0 |   0 |   0 | 570k|   0 | 1.000000e+00 | 1.610000e+02 |  Large 
556.90/556.92	c   550s|490000 | 76856 |     0 |   0.0 | 110M| 141 |   - | 253 |  48k|   0 |   0 |   0 | 575k|   0 | 1.000000e+00 | 1.610000e+02 |  Large 
574.10/574.16	o 119
574.10/574.16	c * 567s|495724 | 74023 |     0 |   0.0 | 108M| 141 |   - | 253 |  51k|   0 |   0 |   0 | 584k|   0 | 1.000000e+00 | 1.190000e+02 |  Large 
588.30/588.30	c   581s|500000 | 72609 |     0 |   0.0 | 107M| 141 |   - | 253 |  52k|   0 |   0 |   0 | 590k|   0 | 1.000000e+00 | 1.190000e+02 |  Large 
625.91/625.97	c   619s|510000 | 67389 |     0 |   0.0 | 104M| 141 |   - | 253 |  57k|   0 |   0 |   0 | 607k|   0 | 1.000000e+00 | 1.190000e+02 |  Large 
659.60/659.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
659.60/659.69	c   652s|520000 | 63590 |     0 |   0.0 |  98M| 141 |   - | 253 |  51k|   0 |   0 |   0 | 621k|   0 | 1.000000e+00 | 1.190000e+02 |  Large 
679.40/679.43	c   672s|530000 | 65439 |     0 |   0.0 |  89M| 141 |   - | 253 |  24k|   0 |   0 |   0 | 630k|   0 | 1.000000e+00 | 1.190000e+02 |  Large 
688.51/688.60	c   681s|540000 | 67383 |     0 |   0.0 |  88M| 141 |   - | 253 |  13k|   0 |   0 |   0 | 640k|   0 | 1.000000e+00 | 1.190000e+02 |  Large 
690.81/690.83	o 71
690.81/690.83	c * 683s|542611 | 55298 |     0 |   0.0 |  75M| 141 |   - | 253 |  14k|   0 |   0 |   0 | 643k|   0 | 1.000000e+00 | 7.100000e+01 |7000.00%
699.91/699.90	c   692s|550000 | 52625 |     0 |   0.0 |  73M| 141 |   - | 253 |  18k|   0 |   0 |   0 | 655k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
704.71/704.75	c   697s|560000 | 58776 |     0 |   0.0 |  76M| 141 |   - | 253 |  13k|   0 |   0 |   0 | 663k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
711.41/711.41	c   704s|570000 | 62622 |     0 |   0.0 |  82M| 141 |   - | 253 |  19k|   0 |   0 |   0 | 674k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
721.21/721.25	c   713s|580000 | 64187 |     0 |   0.0 |  87M| 141 |   - | 253 |  23k|   0 |   0 |   0 | 687k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
736.01/736.02	c   728s|590000 | 60924 |     0 |   0.0 |  84M| 141 |   - | 253 |  20k|   0 |   0 |   0 | 704k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
744.21/744.26	c   736s|600000 | 64748 |     0 |   0.0 |  88M| 141 |   - | 253 |  20k|   0 |   0 |   0 | 716k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
755.21/755.29	c   747s|610000 | 67350 |     0 |   0.0 |  93M| 141 |   - | 253 |  26k|   0 |   0 |   0 | 731k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
770.51/770.58	c   762s|620000 | 68595 |     0 |   0.0 |  97M| 141 |   - | 253 |  30k|   0 |   0 |   0 | 747k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
788.41/788.46	c   780s|630000 | 68896 |     0 |   0.0 | 101M| 141 |   - | 253 |  35k|   0 |   0 |   0 | 764k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
809.71/809.77	c   801s|640000 | 67630 |     0 |   0.0 | 104M| 141 |   - | 253 |  41k|   0 |   0 |   0 | 782k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
837.12/837.17	c   828s|650000 | 63980 |     0 |   0.0 |  98M| 141 |   - | 253 |  31k|   0 |   0 |   0 | 801k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
849.61/849.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
849.61/849.66	c   841s|660000 | 65809 |     0 |   0.0 |  98M| 141 |   - | 253 |  21k|   0 |   0 |   0 | 817k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
871.51/871.53	c   862s|670000 | 62853 |     0 |   0.0 | 101M| 141 |   - | 253 |  30k|   0 |   0 |   0 | 840k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
903.02/903.00	c   894s|680000 | 57150 |     0 |   0.0 | 100M| 141 |   - | 253 |  40k|   0 |   0 |   0 | 864k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
937.91/937.97	c   928s|690000 | 51102 |     0 |   0.0 |  87M| 141 |   - | 253 |  30k|   0 |   0 |   0 | 886k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
941.41/941.41	c   932s|700000 | 58763 |     0 |   0.0 |  84M| 141 |   - | 253 |6799 |   0 |   0 |   0 | 889k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
945.31/945.34	c   936s|710000 | 63810 |     0 |   0.0 |  88M| 141 |   - | 253 |7689 |   0 |   0 |   0 | 896k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
958.51/958.58	c   949s|720000 | 58378 |     0 |   0.0 |  77M| 141 |   - | 253 |  15k|   0 |   0 |   0 | 918k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
961.81/961.83	c   952s|730000 | 65391 |     0 |   0.0 |  78M| 141 |   - | 253 |6285 |   0 |   0 |   0 | 922k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
964.81/964.81	c   955s|740000 | 72008 |     0 |   0.0 |  82M| 141 |   - | 253 |7319 |   0 |   0 |   0 | 927k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
968.21/968.25	c   958s|750000 | 78133 |     0 |   0.0 |  86M| 141 |   - | 253 |9013 |   0 |   0 |   0 | 933k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
972.31/972.31	c   962s|760000 | 83788 |     0 |   0.0 |  89M| 141 |   - | 253 |9942 |   0 |   0 |   0 | 939k|   0 | 6.000000e+00 | 7.100000e+01 |1083.33%
976.82/976.88	c   966s|770000 | 88933 |     0 |   0.0 |  93M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 946k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
982.31/982.35	c   972s|780000 | 93145 |     0 |   0.0 |  98M| 141 |   - | 253 |  12k|   0 |   0 |   0 | 954k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
989.22/989.29	c   978s|790000 | 96295 |     0 |   0.0 | 102M| 141 |   - | 253 |  15k|   0 |   0 |   0 | 964k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
998.21/998.25	c   987s|800000 | 97774 |     0 |   0.0 | 106M| 141 |   - | 253 |  16k|   0 |   0 |   0 | 976k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1002.21/1002.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1002.21/1002.25	c   991s|810000 |104312 |     0 |   0.0 | 108M| 141 |   - | 253 |7895 |   0 |   0 |   0 | 981k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1006.12/1006.12	c   995s|820000 |109703 |     0 |   0.0 | 112M| 141 |   - | 253 |7241 |   0 |   0 |   0 | 987k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1009.82/1009.87	c   999s|830000 |115098 |     0 |   0.0 | 117M| 141 |   - | 253 |8114 |   0 |   0 |   0 | 994k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1014.61/1014.67	c  1003s|840000 |119352 |     0 |   0.0 | 121M| 141 |   - | 253 |  10k|   0 |   0 |   0 |1001k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1020.51/1020.57	c  1009s|850000 |123001 |     0 |   0.0 | 126M| 141 |   - | 253 |  12k|   0 |   0 |   0 |1010k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1027.21/1027.30	c  1016s|860000 |126237 |     0 |   0.0 | 131M| 141 |   - | 253 |  14k|   0 |   0 |   0 |1019k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1035.12/1035.15	c  1023s|870000 |129029 |     0 |   0.0 | 135M| 141 |   - | 253 |  15k|   0 |   0 |   0 |1029k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1043.31/1043.37	c  1031s|880000 |131821 |     0 |   0.0 | 140M| 141 |   - | 253 |  16k|   0 |   0 |   0 |1039k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1052.22/1052.29	c  1040s|890000 |134178 |     0 |   0.0 | 144M| 141 |   - | 253 |  17k|   0 |   0 |   0 |1050k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1061.72/1061.78	c  1050s|900000 |136296 |     0 |   0.0 | 148M| 141 |   - | 253 |  17k|   0 |   0 |   0 |1061k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1072.12/1072.14	c  1060s|910000 |137820 |     0 |   0.0 | 152M| 141 |   - | 253 |  18k|   0 |   0 |   0 |1073k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1083.21/1083.28	c  1071s|920000 |138813 |     0 |   0.0 | 155M| 141 |   - | 253 |  19k|   0 |   0 |   0 |1086k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1094.92/1094.94	c  1082s|930000 |139512 |     0 |   0.0 | 159M| 141 |   - | 253 |  20k|   0 |   0 |   0 |1099k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1107.31/1107.31	c  1095s|940000 |140184 |     0 |   0.0 | 162M| 141 |   - | 253 |  22k|   0 |   0 |   0 |1112k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1121.32/1121.39	c  1109s|950000 |139924 |     0 |   0.0 | 165M| 141 |   - | 253 |  25k|   0 |   0 |   0 |1126k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1138.82/1138.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1138.82/1138.80	c  1126s|960000 |137753 |     0 |   0.0 | 167M| 141 |   - | 253 |  31k|   0 |   0 |   0 |1143k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1151.62/1151.68	c  1138s|970000 |140422 |     0 |   0.0 | 165M| 141 |   - | 253 |  13k|   0 |   0 |   0 |1152k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1158.12/1158.10	c  1145s|980000 |144467 |     0 |   0.0 | 169M| 141 |   - | 253 |  11k|   0 |   0 |   0 |1161k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1164.51/1164.59	c  1151s|990000 |147778 |     0 |   0.0 | 173M| 141 |   - | 253 |  13k|   0 |   0 |   0 |1171k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1171.91/1171.93	c  1158s|  1000k|150574 |     0 |   0.0 | 178M| 141 |   - | 253 |  17k|   0 |   0 |   0 |1181k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1178.51/1178.57	c  1165s|  1010k|155346 |     0 |   0.0 | 180M| 141 |   - | 253 |  11k|   0 |   0 |   0 |1189k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1183.82/1183.86	c  1170s|  1020k|159765 |     0 |   0.0 | 185M| 141 |   - | 253 |  11k|   0 |   0 |   0 |1197k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1190.92/1190.97	c  1177s|  1030k|162662 |     0 |   0.0 | 189M| 141 |   - | 253 |  14k|   0 |   0 |   0 |1208k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1201.52/1201.54	c  1188s|  1040k|163470 |     0 |   0.0 | 193M| 141 |   - | 253 |  17k|   0 |   0 |   0 |1221k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1214.72/1214.72	c  1201s|  1050k|163356 |     0 |   0.0 | 197M| 141 |   - | 253 |  21k|   0 |   0 |   0 |1234k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1229.83/1229.80	c  1215s|  1060k|162971 |     0 |   0.0 | 200M| 141 |   - | 253 |  24k|   0 |   0 |   0 |1248k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1246.32/1246.39	c  1232s|  1070k|162473 |     0 |   0.0 | 203M| 141 |   - | 253 |  27k|   0 |   0 |   0 |1263k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1264.72/1264.73	c  1250s|  1080k|162058 |     0 |   0.0 | 206M| 141 |   - | 253 |  31k|   0 |   0 |   0 |1277k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1286.92/1286.98	c  1272s|  1090k|160572 |     0 |   0.0 | 208M| 141 |   - | 253 |  34k|   0 |   0 |   0 |1293k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1310.92/1310.91	c  1296s|  1100k|158673 |     0 |   0.0 | 209M| 141 |   - | 253 |  36k|   0 |   0 |   0 |1309k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1337.02/1337.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1337.02/1337.08	c  1322s|  1110k|156324 |     0 |   0.0 | 210M| 141 |   - | 253 |  39k|   0 |   0 |   0 |1326k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1366.92/1366.95	c  1352s|  1120k|152776 |     0 |   0.0 | 209M| 141 |   - | 253 |  40k|   0 |   0 |   0 |1344k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1399.72/1399.78	c  1384s|  1130k|147946 |     0 |   0.0 | 206M| 141 |   - | 253 |  42k|   0 |   0 |   0 |1363k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1429.22/1429.25	c  1414s|  1140k|145286 |     0 |   0.0 | 200M| 141 |   - | 253 |  26k|   0 |   0 |   0 |1379k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1444.13/1444.17	c  1428s|  1150k|145809 |     0 |   0.0 | 201M| 141 |   - | 253 |  20k|   0 |   0 |   0 |1392k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1458.02/1458.04	c  1442s|  1160k|146243 |     0 |   0.0 | 204M| 141 |   - | 253 |  22k|   0 |   0 |   0 |1406k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1472.43/1472.46	c  1456s|  1170k|146795 |     0 |   0.0 | 207M| 141 |   - | 253 |  25k|   0 |   0 |   0 |1419k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1487.62/1487.68	c  1472s|  1180k|147230 |     0 |   0.0 | 210M| 141 |   - | 253 |  29k|   0 |   0 |   0 |1433k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1504.92/1504.91	c  1489s|  1190k|147002 |     0 |   0.0 | 213M| 141 |   - | 253 |  36k|   0 |   0 |   0 |1447k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1514.13/1514.10	c  1498s|  1200k|153939 |     0 |   0.0 | 213M| 141 |   - | 253 |  20k|   0 |   0 |   0 |1453k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1519.92/1519.93	c  1503s|  1210k|160188 |     0 |   0.0 | 216M| 141 |   - | 253 |  15k|   0 |   0 |   0 |1459k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1528.43/1528.42	c  1512s|  1220k|163251 |     0 |   0.0 | 220M| 141 |   - | 253 |  17k|   0 |   0 |   0 |1469k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1540.82/1540.87	c  1524s|  1230k|162987 |     0 |   0.0 | 223M| 141 |   - | 253 |  22k|   0 |   0 |   0 |1482k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1560.63/1560.62	c  1544s|  1240k|159995 |     0 |   0.0 | 224M| 141 |   - | 253 |  26k|   0 |   0 |   0 |1499k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1586.13/1586.18	c  1569s|  1250k|155328 |     0 |   0.0 | 222M| 141 |   - | 253 |  32k|   0 |   0 |   0 |1518k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1616.94/1616.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1616.94/1616.95	c  1600s|  1260k|150254 |     0 |   0.0 | 219M| 141 |   - | 253 |  40k|   0 |   0 |   0 |1537k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1656.33/1656.34	c  1639s|  1270k|142183 |     0 |   0.0 | 211M| 141 |   - | 253 |  48k|   0 |   0 |   0 |1558k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1689.33/1689.39	c  1672s|  1280k|138932 |     0 |   0.0 | 205M| 141 |   - | 253 |  31k|   0 |   0 |   0 |1575k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1713.33/1713.38	c  1696s|  1290k|136942 |     0 |   0.0 | 205M| 141 |   - | 253 |  35k|   0 |   0 |   0 |1592k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1737.94/1737.98	c  1720s|  1300k|135482 |     0 |   0.0 | 205M| 141 |   - | 253 |  39k|   0 |   0 |   0 |1608k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1765.03/1765.07	c  1747s|  1310k|133360 |     0 |   0.0 | 206M| 141 |   - | 253 |  46k|   0 |   0 |   0 |1624k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1781.43/1781.41	c  1763s|  1320k|138296 |     0 |   0.0 | 207M| 141 |   - | 253 |  36k|   0 |   0 |   0 |1633k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1793.63/1793.60	c  1775s|  1330k|143312 |     0 |   0.0 | 208M| 141 |   - | 253 |  24k|   0 |   0 |   0 |1641k|   0 | 9.000000e+00 | 7.100000e+01 | 688.89%
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1781.51
1800.04/1800.00	c Solving Nodes      : 1335652
1800.04/1800.00	c Primal Bound       : +7.10000000000000e+01 (9 solutions)
1800.04/1800.00	c Dual Bound         : +9.00000000000000e+00
1800.04/1800.00	c Gap                : 688.89 %
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 
1800.04/1800.00	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 
1800.04/1800.00	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 
1800.04/1800.00	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 
1800.04/1800.00	v -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 
1800.04/1800.00	v x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 
1800.04/1800.00	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
1800.04/1800.00	v -x4 x3 -x2 -x1 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time       :    1781.51
1800.04/1800.00	c Original Problem   :
1800.04/1800.00	c   Problem name     : HOME/instance-2693862-1277896082.wbo
1800.04/1800.00	c   Variables        : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.04/1800.00	c   Constraints      : 144 initial, 144 maximal
1800.04/1800.00	c Presolved Problem  :
1800.04/1800.00	c   Problem name     : t_HOME/instance-2693862-1277896082.wbo
1800.04/1800.00	c   Variables        : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.04/1800.00	c   Constraints      : 130 initial, 59559 maximal
1800.04/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.00	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   linear           :       0.00          0          0          0         42          0         14          0          0
1800.04/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   indicator        :         42          0    3786516          0     814291       6649     909519          0          0          0
1800.04/1800.00	c   knapsack         :          1          0    4134761          0     881547      99424   18859272          0          0          0
1800.04/1800.00	c   setppc           :         39          0    4035305          0     881543     409922    4742795          0          0          0
1800.04/1800.00	c   linear           :         42          0    3625390          0     881543     114799    2899864          0          0          0
1800.04/1800.00	c   logicor          :          6+         0    1871058          0     878103      28233     804901          0          0          0
1800.04/1800.00	c   bounddisjunction :          0+         0     131115          0          0          1       2590          0          0          0
1800.04/1800.00	c   countsols        :          0          0          0          0     881552          0          0          0          0          0
1800.04/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c   indicator        :       4.62       0.00       3.09       0.00       1.53
1800.04/1800.00	c   knapsack         :     159.12       0.00     156.92       0.00       2.20
1800.04/1800.00	c   setppc           :      35.76       0.00      31.30       0.00       4.46
1800.04/1800.00	c   linear           :      35.57       0.00      35.07       0.00       0.50
1800.04/1800.00	c   logicor          :     778.77       0.00     778.18       0.00       0.59
1800.04/1800.00	c   bounddisjunction :       0.13       0.00       0.13       0.00       0.00
1800.04/1800.00	c   countsols        :       0.17       0.00       0.00       0.00       0.17
1800.04/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.00	c   vbounds          :       0.96          2          0          0
1800.04/1800.00	c   rootredcost      :       1.08          0          0          0
1800.04/1800.00	c   pseudoobj        :       8.58    4143658       2423     740575
1800.04/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.00	c   propagation      :      23.10     654802     654649    3361021       20.2     101556       13.6          -
1800.04/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   pseudo solution  :       0.00         69         69        336       19.6          6       14.3          -
1800.04/1800.00	c   applied globally :          -          -          -    1633238       16.0          -          -          -
1800.04/1800.00	c   applied locally  :          -          -          -      13048       35.4          -          -          -
1800.04/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.00	c Pricers            :       Time      Calls       Vars
1800.04/1800.00	c   problem variables:       0.00          0          0
1800.04/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   inference        :       8.14     881543          0          0          0          0    1763086
1800.04/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.00	c   LP solutions     :       0.00          -          0
1800.04/1800.00	c   pseudo solutions :       0.04          -          9
1800.04/1800.00	c   oneopt           :       0.54          0          0
1800.04/1800.00	c   trivial          :       0.00          2          0
1800.04/1800.00	c   simplerounding   :       0.00          0          0
1800.04/1800.00	c   zirounding       :       0.00          0          0
1800.04/1800.00	c   rounding         :       0.00          0          0
1800.04/1800.00	c   shifting         :       0.00          0          0
1800.04/1800.00	c   intshifting      :       0.00          0          0
1800.04/1800.00	c   twoopt           :       0.00          0          0
1800.04/1800.00	c   fixandinfer      :       0.00          0          0
1800.04/1800.00	c   feaspump         :       0.00          0          0
1800.04/1800.00	c   coefdiving       :       0.00          0          0
1800.04/1800.00	c   pscostdiving     :       0.00          0          0
1800.04/1800.00	c   fracdiving       :       0.00          0          0
1800.04/1800.00	c   veclendiving     :       0.00          0          0
1800.04/1800.00	c   intdiving        :       0.00          0          0
1800.04/1800.00	c   actconsdiving    :       0.00          0          0
1800.04/1800.00	c   objpscostdiving  :       0.00          0          0
1800.04/1800.00	c   rootsoldiving    :       0.00          0          0
1800.04/1800.00	c   linesearchdiving :       0.00          0          0
1800.04/1800.00	c   guideddiving     :       0.00          0          0
1800.04/1800.00	c   octane           :       0.00          0          0
1800.04/1800.00	c   rens             :       0.00          0          0
1800.04/1800.00	c   rins             :       0.00          0          0
1800.04/1800.00	c   localbranching   :       0.00          0          0
1800.04/1800.00	c   mutation         :       0.00          0          0
1800.04/1800.00	c   crossover        :       0.00          0          0
1800.04/1800.00	c   dins             :       0.00          0          0
1800.04/1800.00	c   undercover       :       0.00          0          0
1800.04/1800.00	c   nlp              :       0.36          0          0
1800.04/1800.00	c   trysol           :       0.30          1          0
1800.04/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.00	c B&B Tree           :
1800.04/1800.00	c   number of runs   :          1
1800.04/1800.00	c   nodes            :    1335652
1800.04/1800.00	c   nodes (total)    :    1335652
1800.04/1800.00	c   nodes left       :     145579
1800.04/1800.00	c   max depth        :        141
1800.04/1800.00	c   max depth (total):        141
1800.04/1800.00	c   backtracks       :     459005 (34.4%)
1800.04/1800.00	c   delayed cutoffs  :     267943
1800.04/1800.00	c   repropagations   :    1418441 (7771455 domain reductions, 207420 cutoffs)
1800.04/1800.00	c   avg switch length:      19.81
1800.04/1800.00	c   switching time   :     541.05
1800.04/1800.00	c Solution           :
1800.04/1800.00	c   Solutions found  :          9 (9 improvements)
1800.04/1800.00	c   First Solution   : +5.91000000000000e+02   (in run 1, after 170479 nodes, 88.27 seconds, depth 64, found by <relaxation>)
1800.04/1800.00	c   Primal Bound     : +7.10000000000000e+01   (in run 1, after 542611 nodes, 683.24 seconds, depth 58, found by <relaxation>)
1800.04/1800.00	c   Dual Bound       : +9.00000000000000e+00
1800.04/1800.00	c   Gap              :     688.89 %
1800.04/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.00	c   Root Iterations  :          0
1800.43/1800.49	c Time complete: 1800.53.

Verifier Data 

OK	70

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 11628
/proc/meminfo: memFree=31349712/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=8124 CPUtime=0
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 1538 0 0 0 0 0 0 0 22 0 1 0 130904747 8318976 1461 4089446400 4194304 7136930 140737352790240 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11628/statm: 2031 1461 275 719 0 1310 0

[startup+0.081206 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 11628
/proc/meminfo: memFree=31349712/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=12704 CPUtime=0.07
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 4695 0 0 0 5 2 0 0 18 0 1 0 130904747 13008896 2466 4089446400 4194304 7136930 140737352790240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11628/statm: 3176 2466 403 719 0 2455 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12704

[startup+0.100202 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 11628
/proc/meminfo: memFree=31349712/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=12840 CPUtime=0.09
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 4725 0 0 0 6 3 0 0 18 0 1 0 130904747 13148160 2496 4089446400 4194304 7136930 140737352790240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11628/statm: 3210 2496 403 719 0 2489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12840

[startup+0.300179 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 11628
/proc/meminfo: memFree=31349712/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=14456 CPUtime=0.29
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 5144 0 0 0 22 7 0 0 18 0 1 0 130904747 14802944 2915 4089446400 4194304 7136930 140737352790240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11628/statm: 3614 2915 403 719 0 2893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14456

[startup+0.700108 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 11628
/proc/meminfo: memFree=31349712/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=17176 CPUtime=0.69
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 5834 0 0 0 54 15 0 0 18 0 1 0 130904747 17588224 3605 4089446400 4194304 7136930 140737352790240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11628/statm: 4294 3605 403 719 0 3573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17176

[startup+1.50097 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11629
/proc/meminfo: memFree=31334948/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=20772 CPUtime=1.49
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 6750 0 0 0 123 26 0 0 19 0 1 0 130904747 21270528 4521 4089446400 4194304 7136930 140737352790240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11628/statm: 5193 4521 403 719 0 4472 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20772

[startup+3.10069 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11629
/proc/meminfo: memFree=31330856/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=25764 CPUtime=3.09
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 7993 0 0 0 261 48 0 0 25 0 1 0 130904747 26382336 5764 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11628/statm: 6441 5764 403 719 0 5720 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25764

[startup+6.30112 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11629
/proc/meminfo: memFree=31321720/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=32288 CPUtime=6.29
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 9666 0 0 0 561 68 0 0 25 0 1 0 130904747 33062912 7437 4089446400 4194304 7136930 140737352790240 18446744073709551615 5000286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 8072 7437 403 719 0 7351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32288

[startup+12.701 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11629
/proc/meminfo: memFree=31311932/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=41324 CPUtime=12.7
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 11902 0 0 0 1185 85 0 0 25 0 1 0 130904747 42315776 9673 4089446400 4194304 7136930 140737352790240 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 10331 9673 403 719 0 9610 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 41324

[startup+25.5008 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 11630
/proc/meminfo: memFree=31293256/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=58316 CPUtime=25.49
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 16208 0 0 0 2425 124 0 0 25 0 1 0 130904747 59715584 13952 4089446400 4194304 7136930 140737352790240 18446744073709551615 4219854 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 14579 13952 403 719 0 13858 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58316

[startup+51.1003 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 11631
/proc/meminfo: memFree=31279560/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=69484 CPUtime=51.09
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 18901 0 0 0 4950 159 0 0 25 0 1 0 130904747 71151616 16645 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 17371 16645 403 719 0 16650 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69484

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11633
/proc/meminfo: memFree=31238484/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=108552 CPUtime=102.3
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 28136 0 0 0 9964 266 0 0 25 0 1 0 130904747 111157248 25880 4089446400 4194304 7136930 140737352790240 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 27138 25880 403 719 0 26417 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 108552

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11633
/proc/meminfo: memFree=31229524/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=113300 CPUtime=162.3
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 29367 0 0 0 15883 347 0 0 25 0 1 0 130904747 116019200 27111 4089446400 4194304 7136930 140737352790240 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 28325 27111 403 719 0 27604 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 113300

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11635
/proc/meminfo: memFree=31214848/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=127336 CPUtime=222.29
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 32859 0 0 0 21804 425 0 0 25 0 1 0 130904747 130392064 30603 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 31834 30603 403 719 0 31113 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 127336

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11637
/proc/meminfo: memFree=31177480/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=140104 CPUtime=282.29
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 35999 0 0 0 27742 487 0 0 25 0 1 0 130904747 143466496 33743 4089446400 4194304 7136930 140737352790240 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 35026 33743 404 719 0 34305 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 140104

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11639
/proc/meminfo: memFree=31159704/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=150660 CPUtime=342.3
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 38479 0 0 0 33689 541 0 0 25 0 1 0 130904747 154275840 36223 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 37665 36223 404 719 0 36944 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 150660

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11641
/proc/meminfo: memFree=31147272/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=157244 CPUtime=402.3
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 40091 0 0 0 39641 589 0 0 25 0 1 0 130904747 161017856 37835 4089446400 4194304 7136930 140737352790240 18446744073709551615 5953128 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 39311 37835 404 719 0 38590 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 157244

[startup+462.301 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 11641
/proc/meminfo: memFree=31139552/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=163880 CPUtime=462.3
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 41686 0 0 0 45605 625 0 0 25 0 1 0 130904747 167813120 39430 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 40970 39430 404 719 0 40249 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 163880

[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 11643
/proc/meminfo: memFree=31137536/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=165112 CPUtime=522.3
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 42096 0 0 0 51573 657 0 0 25 0 1 0 130904747 169074688 39840 4089446400 4194304 7136930 140737352790240 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 41278 39840 404 719 0 40557 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 165112

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11645
/proc/meminfo: memFree=31136136/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=166644 CPUtime=582.3
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 42366 0 0 0 57540 690 0 0 25 0 1 0 130904747 170643456 40110 4089446400 4194304 7136930 140737352790240 18446744073709551615 4209090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 41661 40110 406 719 0 40940 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 166644

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11647
/proc/meminfo: memFree=31130008/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=168924 CPUtime=642.31
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 42852 0 0 0 63511 720 0 0 25 0 1 0 130904747 172978176 40596 4089446400 4194304 7136930 140737352790240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 42231 40596 406 719 0 41510 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 168924

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11655
/proc/meminfo: memFree=31115696/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=173480 CPUtime=942.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 43964 0 0 0 93257 975 0 0 25 0 1 0 130904747 177643520 41708 4089446400 4194304 7136930 140737352790240 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 43370 41708 406 719 0 42649 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 173480

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 11657
/proc/meminfo: memFree=31111812/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=177112 CPUtime=1002.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 44939 0 0 0 99125 1107 0 0 25 0 1 0 130904747 181362688 42683 4089446400 4194304 7136930 140737352790240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 44278 42683 406 719 0 43557 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 177112

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/177 11657
/proc/meminfo: memFree=31080148/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=209224 CPUtime=1062.31
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 53049 0 0 0 105011 1220 0 0 25 0 1 0 130904747 214245376 50793 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 52306 50793 406 719 0 51585 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 209224

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11659
/proc/meminfo: memFree=31059904/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=228080 CPUtime=1122.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 57795 0 0 0 110941 1291 0 0 25 0 1 0 130904747 233553920 55539 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 57020 55539 406 719 0 56299 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 228080

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11661
/proc/meminfo: memFree=31040400/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=246804 CPUtime=1182.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 62522 0 0 0 116854 1378 0 0 25 0 1 0 130904747 252727296 60266 4089446400 4194304 7136930 140737352790240 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 61701 60266 406 719 0 60980 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 246804

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11663
/proc/meminfo: memFree=31014440/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=262092 CPUtime=1242.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 66399 0 0 0 122786 1446 0 0 25 0 1 0 130904747 268382208 64143 4089446400 4194304 7136930 140737352790240 18446744073709551615 4660265 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 65523 64143 406 719 0 64802 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 262092

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11665
/proc/meminfo: memFree=31002120/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=268748 CPUtime=1302.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 68091 0 0 0 128742 1490 0 0 25 0 1 0 130904747 275197952 65835 4089446400 4194304 7136930 140737352790240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 67187 65835 406 719 0 66466 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 268748

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11665
/proc/meminfo: memFree=30992408/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=275324 CPUtime=1362.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 69749 0 0 0 134709 1523 0 0 25 0 1 0 130904747 281931776 67493 4089446400 4194304 7136930 140737352790240 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 68831 67493 406 719 0 68110 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 275324

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11667
/proc/meminfo: memFree=30991008/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=275324 CPUtime=1422.33
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 69782 0 0 0 140677 1556 0 0 25 0 1 0 130904747 281931776 67526 4089446400 4194304 7136930 140737352790240 18446744073709551615 4431706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 68831 67526 406 719 0 68110 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 275324

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11671
/proc/meminfo: memFree=30988368/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=277436 CPUtime=1482.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 70289 0 0 0 146619 1613 0 0 25 0 1 0 130904747 284094464 68033 4089446400 4194304 7136930 140737352790240 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 69359 68033 406 719 0 68638 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 277436

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11674
/proc/meminfo: memFree=30975688/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=290296 CPUtime=1542.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 73524 0 0 0 152549 1683 0 0 25 0 1 0 130904747 297263104 71268 4089446400 4194304 7136930 140737352790240 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 72574 71268 406 719 0 71853 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 290296

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11676
/proc/meminfo: memFree=30972912/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=292980 CPUtime=1602.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 74199 0 0 0 158509 1723 0 0 25 0 1 0 130904747 300011520 71943 4089446400 4194304 7136930 140737352790240 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 73245 71943 406 719 0 72524 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 292980

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11676
/proc/meminfo: memFree=30971260/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=294564 CPUtime=1662.32
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 74579 0 0 0 164478 1754 0 0 25 0 1 0 130904747 301633536 72323 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999678 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 73641 72323 406 719 0 72920 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 294564

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11678
/proc/meminfo: memFree=30970724/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=295664 CPUtime=1722.33
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 74658 0 0 0 170444 1789 0 0 25 0 1 0 130904747 302759936 72402 4089446400 4194304 7136930 140737352790240 18446744073709551615 4409194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 73916 72402 406 719 0 73195 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 295664

[startup+1782.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 11756
/proc/meminfo: memFree=31090024/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=295664 CPUtime=1782.33
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 74659 0 0 0 176406 1827 0 0 25 0 1 0 130904747 302759936 72403 4089446400 4194304 7136930 140737352790240 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11628/statm: 73916 72403 406 719 0 73195 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 295664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11756
/proc/meminfo: memFree=31050348/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=295664 CPUtime=1800.04
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 74663 0 0 0 178151 1853 0 0 25 0 1 0 130904747 302759936 72407 4089446400 4194304 7136930 140737352790240 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11628/statm: 73916 72407 406 719 0 73195 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 295664

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

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

[startup+1800.2 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11756
/proc/meminfo: memFree=31050348/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=295664 CPUtime=1800.23
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 74668 0 0 0 178170 1853 0 0 25 0 1 0 130904747 302759936 72412 4089446400 4194304 7136930 140737352790240 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11628/statm: 73916 72412 411 719 0 73195 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 295664

[startup+1800.4 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11756
/proc/meminfo: memFree=31050348/32951132 swapFree=67111528/67111528
[pid=11628] ppid=11626 vsize=295664 CPUtime=1800.43
/proc/11628/stat : 11628 (pbscip.linux.x8) R 11626 11628 9700 0 -1 4202496 74668 0 0 0 178190 1853 0 0 25 0 1 0 130904747 302759936 72412 4089446400 4194304 7136930 140737352790240 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11628/statm: 73916 72412 411 719 0 73195 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 295664

Child status: 0
Real time (s): 1800.49
CPU time (s): 1800.53
CPU user time (s): 1781.99
CPU system time (s): 18.5442
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 295664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.99
system time used= 18.5442
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74675
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= 4
involuntary context switches= 21011

runsolver used 2.51862 second user time and 5.69013 second system time

The end

Launcher Data 

Begin job on node131 at 2010-06-30 13:08:02
IDJOB=2693862
IDBENCH=78771
IDSOLVER=1206
FILE ID=node131/2693862-1277896082
PBS_JOBID= 11197091
Free space on /tmp= 74136 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693862-1277896082/watcher-2693862-1277896082 -o /tmp/evaluation-result-2693862-1277896082/solver-2693862-1277896082 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693862-1277896082.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8b066002eb3185cd3fd0fbc9dbe06f59
RANDOM SEED=1464989192

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31350240 kB
Buffers:        181836 kB
Cached:        1136420 kB
SwapCached:          0 kB
Active:         658008 kB
Inactive:       799388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31350240 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3136 kB
Writeback:           0 kB
AnonPages:      138640 kB
Mapped:          16320 kB
Slab:            79516 kB
PageTables:       4556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   279856 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74132 MiB
End job on node131 at 2010-06-30 13:38:04