Trace number 2694022

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.11 1800.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-66-100-0.wbo
MD5SUM038e2d59f80e30c95ef1e3e4582a8837
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.091985
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 1243
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-2694022-1277900224.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.3s| 10000 |  7024 |     0 |   0.0 |6591k| 141 |   - | 253 |3960 |   0 |   0 |   0 |6904 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.27	c   3.1s| 20000 | 13210 |     0 |   0.0 |  10M| 141 |   - | 253 |3831 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
5.89/5.99	c   5.7s| 30000 | 17874 |     0 |   0.0 |  15M| 141 |   - | 253 |6884 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
9.49/9.56	c   9.2s| 40000 | 21240 |     0 |   0.0 |  20M| 141 |   - | 253 |  10k|   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
14.09/14.18	c  13.7s| 50000 | 22762 |     0 |   0.0 |  25M| 141 |   - | 253 |  15k|   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
16.40/16.42	c  15.8s| 60000 | 29713 |     0 |   0.0 |  25M| 141 |   - | 253 |2815 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
17.69/17.72	c  17.0s| 70000 | 37544 |     0 |   0.0 |  29M| 141 |   - | 253 |2834 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
19.19/19.23	c  18.4s| 80000 | 44827 |     0 |   0.0 |  33M| 141 |   - | 253 |3980 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
21.19/21.27	c  20.4s| 90000 | 50938 |     0 |   0.0 |  37M| 141 |   - | 253 |5422 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
25.79/25.80	c  24.8s|100000 | 52349 |     0 |   0.0 |  42M| 141 |   - | 253 |9314 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
32.29/32.33	c  31.2s|110000 | 51941 |     0 |   0.0 |  46M| 141 |   - | 253 |  15k|   0 |   0 |   0 | 104k|   0 | 0.000000e+00 |      --      |    Inf 
40.99/41.02	c  39.8s|120000 | 50246 |     0 |   0.0 |  48M| 141 |   - | 253 |  20k|   0 |   0 |   0 | 124k|   0 | 0.000000e+00 |      --      |    Inf 
51.60/51.64	c  50.3s|130000 | 47251 |     0 |   0.0 |  50M| 141 |   - | 253 |  27k|   0 |   0 |   0 | 144k|   0 | 0.000000e+00 |      --      |    Inf 
56.19/56.28	c  54.8s|140000 | 53136 |     0 |   0.0 |  46M| 141 |   - | 253 |6815 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
58.30/58.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
58.30/58.36	c  56.8s|150000 | 60013 |     0 |   0.0 |  50M| 141 |   - | 253 |5341 |   0 |   0 |   0 | 153k|   0 | 0.000000e+00 |      --      |    Inf 
60.40/60.46	c  58.8s|160000 | 66687 |     0 |   0.0 |  54M| 141 |   - | 253 |5709 |   0 |   0 |   0 | 157k|   0 | 0.000000e+00 |      --      |    Inf 
62.60/62.68	c  60.9s|170000 | 73157 |     0 |   0.0 |  58M| 141 |   - | 253 |6222 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 |      --      |    Inf 
64.99/65.04	c  63.2s|180000 | 79394 |     0 |   0.0 |  61M| 141 |   - | 253 |5968 |   0 |   0 |   0 | 166k|   0 | 0.000000e+00 |      --      |    Inf 
67.39/67.41	c  65.5s|190000 | 85520 |     0 |   0.0 |  65M| 141 |   - | 253 |6087 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
69.89/69.93	c  67.9s|200000 | 91439 |     0 |   0.0 |  69M| 141 |   - | 253 |6185 |   0 |   0 |   0 | 175k|   0 | 0.000000e+00 |      --      |    Inf 
72.79/72.82	c  70.7s|210000 | 97036 |     0 |   0.0 |  73M| 141 |   - | 253 |6711 |   0 |   0 |   0 | 181k|   0 | 0.000000e+00 |      --      |    Inf 
75.79/75.90	c  73.7s|220000 |102401 |     0 |   0.0 |  77M| 141 |   - | 253 |7315 |   0 |   0 |   0 | 186k|   0 | 0.000000e+00 |      --      |    Inf 
78.99/79.09	c  76.7s|230000 |107690 |     0 |   0.0 |  81M| 141 |   - | 253 |7917 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 |      --      |    Inf 
82.40/82.47	c  80.0s|240000 |112737 |     0 |   0.0 |  85M| 141 |   - | 253 |8709 |   0 |   0 |   0 | 198k|   0 | 0.000000e+00 |      --      |    Inf 
85.99/86.08	c  83.5s|250000 |117560 |     0 |   0.0 |  89M| 141 |   - | 253 |9264 |   0 |   0 |   0 | 205k|   0 | 0.000000e+00 |      --      |    Inf 
89.89/89.96	c  87.3s|260000 |121969 |     0 |   0.0 |  93M| 141 |   - | 253 |9675 |   0 |   0 |   0 | 212k|   0 | 0.000000e+00 |      --      |    Inf 
93.99/94.08	c  91.3s|270000 |125969 |     0 |   0.0 |  97M| 141 |   - | 253 |  10k|   0 |   0 |   0 | 219k|   0 | 0.000000e+00 |      --      |    Inf 
98.49/98.56	c  95.6s|280000 |129416 |     0 |   0.0 | 101M| 141 |   - | 253 |  10k|   0 |   0 |   0 | 227k|   0 | 0.000000e+00 |      --      |    Inf 
103.39/103.49	c   100s|290000 |132263 |     0 |   0.0 | 104M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 236k|   0 | 0.000000e+00 |      --      |    Inf 
108.59/108.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
108.59/108.63	c   105s|300000 |134562 |     0 |   0.0 | 108M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 246k|   0 | 0.000000e+00 |      --      |    Inf 
117.59/117.64	c   114s|310000 |132176 |     0 |   0.0 | 108M| 141 |   - | 253 |  15k|   0 |   0 |   0 | 265k|   0 | 0.000000e+00 |      --      |    Inf 
131.19/131.29	c   128s|320000 |126968 |     0 |   0.0 | 101M| 141 |   - | 253 |  22k|   0 |   0 |   0 | 286k|   0 | 0.000000e+00 |      --      |    Inf 
136.69/136.70	c   133s|330000 |131958 |     0 |   0.0 | 100M| 141 |   - | 253 |8366 |   0 |   0 |   0 | 292k|   0 | 0.000000e+00 |      --      |    Inf 
140.59/140.62	c   137s|340000 |136622 |     0 |   0.0 | 103M| 141 |   - | 253 |8136 |   0 |   0 |   0 | 298k|   0 | 0.000000e+00 |      --      |    Inf 
144.59/144.66	c   141s|350000 |141090 |     0 |   0.0 | 106M| 141 |   - | 253 |8897 |   0 |   0 |   0 | 305k|   0 | 0.000000e+00 |      --      |    Inf 
148.80/148.87	c   145s|360000 |145497 |     0 |   0.0 | 108M| 141 |   - | 253 |9684 |   0 |   0 |   0 | 311k|   0 | 0.000000e+00 |      --      |    Inf 
151.49/151.56	o 204
151.49/151.56	c * 148s|366187 |148005 |     0 |   0.0 | 110M| 141 |   - | 253 |  10k|   0 |   0 |   0 | 315k|   0 | 0.000000e+00 | 2.040000e+02 |    Inf 
153.09/153.18	c   149s|370000 |149777 |     0 |   0.0 | 111M| 141 |   - | 253 |9759 |   0 |   0 |   0 | 317k|   0 | 0.000000e+00 | 2.040000e+02 |    Inf 
157.69/157.79	c   154s|380000 |153722 |     0 |   0.0 | 114M| 141 |   - | 253 |  10k|   0 |   0 |   0 | 324k|   0 | 0.000000e+00 | 2.040000e+02 |    Inf 
162.39/162.47	c   158s|390000 |157465 |     0 |   0.0 | 117M| 141 |   - | 253 |  10k|   0 |   0 |   0 | 331k|   0 | 0.000000e+00 | 2.040000e+02 |    Inf 
166.80/166.88	c   162s|400000 |161743 |     0 |   0.0 | 120M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 337k|   0 | 0.000000e+00 | 2.040000e+02 |    Inf 
171.39/171.44	c   167s|410000 |165879 |     0 |   0.0 | 122M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 344k|   0 | 0.000000e+00 | 2.040000e+02 |    Inf 
176.00/176.02	c   171s|420000 |169963 |     0 |   0.0 | 126M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 351k|   0 | 1.000000e+00 | 2.040000e+02 |  Large 
176.99/177.10	o 72
176.99/177.10	c * 172s|422584 |156984 |     0 |   0.0 | 117M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 352k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
181.10/181.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
181.10/181.18	c   176s|430000 |159041 |     0 |   0.0 | 121M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 359k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
186.89/187.00	c   182s|440000 |161709 |     0 |   0.0 | 125M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 369k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
192.89/192.98	c   188s|450000 |164204 |     0 |   0.0 | 129M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 379k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
199.09/199.14	c   194s|460000 |166554 |     0 |   0.0 | 134M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 390k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
205.39/205.48	c   200s|470000 |168564 |     0 |   0.0 | 138M| 141 |   - | 253 |  12k|   0 |   0 |   0 | 401k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
212.09/212.11	c   207s|480000 |170161 |     0 |   0.0 | 141M| 141 |   - | 253 |  13k|   0 |   0 |   0 | 412k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
218.49/218.51	c   213s|490000 |172178 |     0 |   0.0 | 145M| 141 |   - | 253 |  13k|   0 |   0 |   0 | 422k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
225.00/225.03	c   219s|500000 |174113 |     0 |   0.0 | 149M| 141 |   - | 253 |  13k|   0 |   0 |   0 | 433k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
231.69/231.72	c   226s|510000 |176068 |     0 |   0.0 | 153M| 141 |   - | 253 |  14k|   0 |   0 |   0 | 444k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
238.50/238.56	c   233s|520000 |178101 |     0 |   0.0 | 157M| 141 |   - | 253 |  15k|   0 |   0 |   0 | 454k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
246.09/246.16	c   240s|530000 |179251 |     0 |   0.0 | 160M| 141 |   - | 253 |  16k|   0 |   0 |   0 | 466k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
253.50/253.53	c   247s|540000 |181094 |     0 |   0.0 | 164M| 141 |   - | 253 |  17k|   0 |   0 |   0 | 477k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
261.70/261.77	c   255s|550000 |182023 |     0 |   0.0 | 168M| 141 |   - | 253 |  18k|   0 |   0 |   0 | 489k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
270.39/270.49	c   264s|560000 |183020 |     0 |   0.0 | 172M| 141 |   - | 253 |  19k|   0 |   0 |   0 | 501k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
279.59/279.65	c   273s|570000 |183614 |     0 |   0.0 | 174M| 141 |   - | 253 |  20k|   0 |   0 |   0 | 513k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
289.69/289.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
289.69/289.72	c   283s|580000 |183576 |     0 |   0.0 | 177M| 141 |   - | 253 |  20k|   0 |   0 |   0 | 526k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
300.39/300.47	c   294s|590000 |182909 |     0 |   0.0 | 180M| 141 |   - | 253 |  21k|   0 |   0 |   0 | 540k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
312.19/312.21	c   305s|600000 |181467 |     0 |   0.0 | 181M| 141 |   - | 253 |  22k|   0 |   0 |   0 | 554k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
324.30/324.34	c   317s|610000 |179845 |     0 |   0.0 | 180M| 141 |   - | 253 |  16k|   0 |   0 |   0 | 569k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
333.99/334.04	c   327s|620000 |180570 |     0 |   0.0 | 183M| 141 |   - | 253 |  15k|   0 |   0 |   0 | 583k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
344.30/344.37	c   337s|630000 |181000 |     0 |   0.0 | 186M| 141 |   - | 253 |  19k|   0 |   0 |   0 | 597k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
355.99/356.04	c   348s|640000 |181188 |     0 |   0.0 | 190M| 141 |   - | 253 |  21k|   0 |   0 |   0 | 611k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
368.90/368.91	c   361s|650000 |181193 |     0 |   0.0 | 193M| 141 |   - | 253 |  24k|   0 |   0 |   0 | 625k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
382.59/382.69	c   375s|660000 |181060 |     0 |   0.0 | 195M| 141 |   - | 253 |  25k|   0 |   0 |   0 | 639k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
396.89/396.97	c   389s|670000 |181156 |     0 |   0.0 | 198M| 141 |   - | 253 |  27k|   0 |   0 |   0 | 653k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
413.29/413.34	c   405s|680000 |180396 |     0 |   0.0 | 200M| 141 |   - | 253 |  28k|   0 |   0 |   0 | 668k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
429.69/429.71	c   421s|690000 |179811 |     0 |   0.0 | 203M| 141 |   - | 253 |  29k|   0 |   0 |   0 | 682k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
446.39/446.41	c   438s|700000 |179218 |     0 |   0.0 | 204M| 141 |   - | 253 |  28k|   0 |   0 |   0 | 697k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
463.40/463.49	c   455s|710000 |178188 |     0 |   0.0 | 206M| 141 |   - | 253 |  28k|   0 |   0 |   0 | 712k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
479.99/480.06	c   471s|720000 |177200 |     0 |   0.0 | 207M| 141 |   - | 253 |  28k|   0 |   0 |   0 | 727k|   0 | 1.000000e+00 | 7.200000e+01 |7100.00%
490.99/491.03	o 23
490.99/491.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
490.99/491.03	c * 482s|726855 |121147 |     0 |   0.0 | 154M| 141 |   - | 253 |  27k|   0 |   0 |   0 | 738k|   0 | 1.000000e+00 | 2.300000e+01 |2200.00%
501.20/501.23	c   492s|730000 |117669 |     0 |   0.0 | 153M| 141 |   - | 253 |  19k|   0 |   0 |   0 | 749k|   0 | 1.000000e+00 | 2.300000e+01 |2200.00%
525.10/525.10	c   516s|740000 |105179 |     0 |   0.0 | 148M| 141 |   - | 253 |  19k|   0 |   0 |   0 | 780k|   0 | 1.000000e+00 | 2.300000e+01 |2200.00%
550.49/550.58	c   541s|750000 | 89221 |     0 |   0.0 | 136M| 141 |   - | 253 |  21k|   0 |   0 |   0 | 813k|   0 | 1.000000e+00 | 2.300000e+01 |2200.00%
583.40/583.40	c   574s|760000 | 63193 |     0 |   0.0 | 106M| 141 |   - | 253 |  21k|   0 |   0 |   0 | 850k|   0 | 1.000000e+00 | 2.300000e+01 |2200.00%
626.80/626.90	c   617s|770000 | 42292 |     0 |   0.0 |  91M| 141 |   - | 253 |  31k|   0 |   0 |   0 | 891k|   0 | 1.000000e+00 | 2.300000e+01 |2200.00%
670.10/670.13	c   660s|780000 | 16135 |     0 |   0.0 |  35M| 141 |   - | 253 |  27k|   0 |   0 |   0 | 924k|   0 | 1.000000e+00 | 2.300000e+01 |2200.00%
675.90/675.95	c   666s|790000 | 21299 |     0 |   0.0 |  32M| 141 |   - | 253 |  10k|   0 |   0 |   0 | 933k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
685.40/685.43	c   675s|800000 | 17843 |     0 |   0.0 |  29M| 141 |   - | 253 |  12k|   0 |   0 |   0 | 952k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
689.50/689.60	c   679s|810000 | 23299 |     0 |   0.0 |  32M| 141 |   - | 253 |  10k|   0 |   0 |   0 | 960k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
694.80/694.83	c   684s|820000 | 27464 |     0 |   0.0 |  36M| 141 |   - | 253 |  14k|   0 |   0 |   0 | 970k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
704.60/704.64	c   694s|830000 | 26396 |     0 |   0.0 |  36M| 141 |   - | 253 |  11k|   0 |   0 |   0 | 988k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
710.40/710.44	c   699s|840000 | 29755 |     0 |   0.0 |  39M| 141 |   - | 253 |  15k|   0 |   0 |   0 |1000k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
718.00/718.00	c   707s|850000 | 32776 |     0 |   0.0 |  44M| 141 |   - | 253 |  18k|   0 |   0 |   0 |1013k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
728.21/728.23	c   717s|860000 | 34139 |     0 |   0.0 |  47M| 141 |   - | 253 |  21k|   0 |   0 |   0 |1028k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
741.50/741.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
741.50/741.58	c   730s|870000 | 33517 |     0 |   0.0 |  50M| 141 |   - | 253 |  24k|   0 |   0 |   0 |1046k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
758.90/759.00	c   747s|880000 | 30763 |     0 |   0.0 |  52M| 141 |   - | 253 |  28k|   0 |   0 |   0 |1067k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
771.71/771.72	c   760s|890000 | 30183 |     0 |   0.0 |  48M| 141 |   - | 253 |  17k|   0 |   0 |   0 |1084k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
785.90/785.94	c   774s|900000 | 28434 |     0 |   0.0 |  51M| 141 |   - | 253 |  23k|   0 |   0 |   0 |1104k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
807.90/807.95	c   796s|910000 | 23076 |     0 |   0.0 |  50M| 141 |   - | 253 |  28k|   0 |   0 |   0 |1127k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
832.20/832.28	c   820s|920000 | 17584 |     0 |   0.0 |  41M| 141 |   - | 253 |  25k|   0 |   0 |   0 |1150k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
837.31/837.32	c   825s|930000 | 23353 |     0 |   0.0 |  41M| 141 |   - | 253 |  11k|   0 |   0 |   0 |1158k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
850.60/850.60	c   838s|940000 | 17354 |     0 |   0.0 |  30M| 141 |   - | 253 |  18k|   0 |   0 |   0 |1181k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
855.81/855.80	c   843s|950000 | 23156 |     0 |   0.0 |  31M| 141 |   - | 253 |  12k|   0 |   0 |   0 |1190k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
862.60/862.65	c   850s|960000 | 26405 |     0 |   0.0 |  34M| 141 |   - | 253 |  14k|   0 |   0 |   0 |1203k|   0 | 6.000000e+00 | 2.300000e+01 | 283.33%
871.00/871.07	c   858s|970000 | 28348 |     0 |   0.0 |  37M| 141 |   - | 253 |  16k|   0 |   0 |   0 |1218k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
878.40/878.44	c   866s|980000 | 31469 |     0 |   0.0 |  39M| 141 |   - | 253 |  11k|   0 |   0 |   0 |1230k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
884.80/884.80	c   872s|990000 | 34631 |     0 |   0.0 |  44M| 141 |   - | 253 |  15k|   0 |   0 |   0 |1244k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
895.50/895.50	c   882s|  1000k| 35441 |     0 |   0.0 |  48M| 141 |   - | 253 |  21k|   0 |   0 |   0 |1262k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
909.61/909.67	c   896s|  1010k| 35634 |     0 |   0.0 |  52M| 141 |   - | 253 |  26k|   0 |   0 |   0 |1281k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
925.80/925.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
925.80/925.84	c   912s|  1020k| 35966 |     0 |   0.0 |  56M| 141 |   - | 253 |  30k|   0 |   0 |   0 |1300k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
945.00/945.06	c   931s|  1030k| 35466 |     0 |   0.0 |  57M| 141 |   - | 253 |  33k|   0 |   0 |   0 |1319k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
962.40/962.42	c   949s|  1040k| 36254 |     0 |   0.0 |  56M| 141 |   - | 253 |  23k|   0 |   0 |   0 |1336k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
972.61/972.69	c   959s|  1050k| 37688 |     0 |   0.0 |  58M| 141 |   - | 253 |  18k|   0 |   0 |   0 |1352k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
980.11/980.14	c   966s|  1060k| 40510 |     0 |   0.0 |  61M| 141 |   - | 253 |  15k|   0 |   0 |   0 |1365k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
997.11/997.17	c   983s|  1070k| 37063 |     0 |   0.0 |  62M| 141 |   - | 253 |  27k|   0 |   0 |   0 |1389k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1023.11/1023.17	c  1009s|  1080k| 32784 |     0 |   0.0 |  61M| 141 |   - | 253 |  35k|   0 |   0 |   0 |1414k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1058.40/1058.42	c  1044s|  1090k| 27728 |     0 |   0.0 |  56M| 141 |   - | 253 |  36k|   0 |   0 |   0 |1439k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1078.91/1078.96	c  1064s|  1100k| 26845 |     0 |   0.0 |  54M| 141 |   - | 253 |  27k|   0 |   0 |   0 |1458k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1093.31/1093.31	c  1078s|  1110k| 28694 |     0 |   0.0 |  55M| 141 |   - | 253 |  24k|   0 |   0 |   0 |1473k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1104.21/1104.24	c  1088s|  1120k| 31174 |     0 |   0.0 |  57M| 141 |   - | 253 |  21k|   0 |   0 |   0 |1487k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1126.11/1126.13	c  1110s|  1130k| 24874 |     0 |   0.0 |  48M| 141 |   - | 253 |  31k|   0 |   0 |   0 |1512k|   0 | 9.000000e+00 | 2.300000e+01 | 155.56%
1150.61/1150.66	c  1134s|  1140k| 21413 |     0 |   0.0 |  44M| 141 |   - | 253 |  34k|   0 |   0 |   0 |1535k|   0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1167.12/1167.10	c  1150s|  1150k| 23423 |     0 |   0.0 |  46M| 141 |   - | 253 |  30k|   0 |   0 |   0 |1551k|   0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1190.31/1190.38	c  1172s|  1160k| 21007 |     0 |   0.0 |  47M| 141 |   - | 253 |  35k|   0 |   0 |   0 |1573k|   0 | 1.000000e+01 | 2.300000e+01 | 130.00%
1213.00/1213.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1213.00/1213.05	c  1195s|  1170k| 18576 |     0 |   0.0 |  43M| 141 |   - | 253 |  34k|   0 |   0 |   0 |1593k|   0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1245.01/1245.07	c  1226s|  1180k| 13979 |     0 |   0.0 |  42M| 141 |   - | 253 |  43k|   0 |   0 |   0 |1617k|   0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1263.61/1263.67	c  1244s|  1190k| 15772 |     0 |   0.0 |  36M| 141 |   - | 253 |  16k|   0 |   0 |   0 |1630k|   0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1275.01/1275.05	c  1255s|  1200k| 12040 |     0 |   0.0 |  28M| 141 |   - | 253 |  17k|   0 |   0 |   0 |1649k|   0 | 1.100000e+01 | 2.300000e+01 | 109.09%
1282.01/1282.08	c  1262s|  1210k| 15633 |     0 |   0.0 |  30M| 141 |   - | 253 |  16k|   0 |   0 |   0 |1660k|   0 | 1.200000e+01 | 2.300000e+01 |  91.67%
1290.01/1290.08	c  1270s|  1220k| 18174 |     0 |   0.0 |  31M| 141 |   - | 253 |  13k|   0 |   0 |   0 |1673k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1295.51/1295.51	c  1275s|  1230k| 21376 |     0 |   0.0 |  33M| 141 |   - | 253 |  12k|   0 |   0 |   0 |1683k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1303.21/1303.22	c  1282s|  1240k| 22818 |     0 |   0.0 |  35M| 141 |   - | 253 |  17k|   0 |   0 |   0 |1699k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1316.51/1316.56	c  1295s|  1250k| 21552 |     0 |   0.0 |  39M| 141 |   - | 253 |  27k|   0 |   0 |   0 |1719k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1327.31/1327.34	c  1305s|  1260k| 25415 |     0 |   0.0 |  40M| 141 |   - | 253 |  24k|   0 |   0 |   0 |1730k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1340.21/1340.29	c  1318s|  1270k| 26936 |     0 |   0.0 |  42M| 141 |   - | 253 |  23k|   0 |   0 |   0 |1745k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1348.51/1348.56	c  1326s|  1280k| 31358 |     0 |   0.0 |  45M| 141 |   - | 253 |  19k|   0 |   0 |   0 |1754k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1358.61/1358.64	c  1335s|  1290k| 32376 |     0 |   0.0 |  49M| 141 |   - | 253 |  21k|   0 |   0 |   0 |1768k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1377.71/1377.75	c  1354s|  1300k| 28349 |     0 |   0.0 |  48M| 141 |   - | 253 |  30k|   0 |   0 |   0 |1793k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1395.01/1395.00	c  1371s|  1310k| 29063 |     0 |   0.0 |  47M| 141 |   - | 253 |  31k|   0 |   0 |   0 |1809k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1411.11/1411.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1411.11/1411.12	c  1387s|  1320k| 31204 |     0 |   0.0 |  50M| 141 |   - | 253 |  30k|   0 |   0 |   0 |1824k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1434.11/1434.19	c  1409s|  1330k| 29137 |     0 |   0.0 |  50M| 141 |   - | 253 |  33k|   0 |   0 |   0 |1845k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1451.51/1451.55	c  1426s|  1340k| 30450 |     0 |   0.0 |  52M| 141 |   - | 253 |  31k|   0 |   0 |   0 |1859k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1470.01/1470.09	c  1444s|  1350k| 30040 |     0 |   0.0 |  53M| 141 |   - | 253 |  33k|   0 |   0 |   0 |1876k|   0 | 1.400000e+01 | 2.300000e+01 |  64.29%
1493.21/1493.27	c  1467s|  1360k| 26665 |     0 |   0.0 |  50M| 141 |   - | 253 |  35k|   0 |   0 |   0 |1896k|   0 | 1.500000e+01 | 2.300000e+01 |  53.33%
1522.21/1522.27	c  1496s|  1370k| 24001 |     0 |   0.0 |  51M| 141 |   - | 253 |  39k|   0 |   0 |   0 |1918k|   0 | 1.500000e+01 | 2.300000e+01 |  53.33%
1555.21/1555.27	c  1528s|  1380k| 20036 |     0 |   0.0 |  50M| 141 |   - | 253 |  42k|   0 |   0 |   0 |1939k|   0 | 1.500000e+01 | 2.300000e+01 |  53.33%
1587.02/1587.09	c  1559s|  1390k| 16901 |     0 |   0.0 |  48M| 141 |   - | 253 |  42k|   0 |   0 |   0 |1960k|   0 | 1.500000e+01 | 2.300000e+01 |  53.33%
1623.81/1623.85	c  1596s|  1400k|  9794 |     0 |   0.0 |  38M| 141 |   - | 253 |  41k|   0 |   0 |   0 |1983k|   0 | 1.500000e+01 | 2.300000e+01 |  53.33%
1648.92/1648.90	c  1620s|  1410k|  8425 |     0 |   0.0 |  29M| 141 |   - | 253 |  31k|   0 |   0 |   0 |1998k|   0 | 1.500000e+01 | 2.300000e+01 |  53.33%
1659.72/1659.78	c  1631s|  1420k| 12667 |     0 |   0.0 |  28M| 141 |   - | 253 |  30k|   0 |   0 |   0 |2008k|   0 | 1.900000e+01 | 2.300000e+01 |  21.05%
1675.51/1675.52	c  1646s|  1430k| 14058 |     0 |   0.0 |  31M| 141 |   - | 253 |  34k|   0 |   0 |   0 |2024k|   0 | 1.900000e+01 | 2.300000e+01 |  21.05%
1691.82/1691.83	c  1662s|  1440k| 15172 |     0 |   0.0 |  32M| 141 |   - | 253 |  31k|   0 |   0 |   0 |2039k|   0 | 1.900000e+01 | 2.300000e+01 |  21.05%
1710.32/1710.32	c  1680s|  1450k| 15277 |     0 |   0.0 |  36M| 141 |   - | 253 |  35k|   0 |   0 |   0 |2058k|   0 | 1.900000e+01 | 2.300000e+01 |  21.05%
1734.82/1734.88	c  1704s|  1460k| 13420 |     0 |   0.0 |  39M| 141 |   - | 253 |  42k|   0 |   0 |   0 |2080k|   0 | 1.900000e+01 | 2.300000e+01 |  21.05%
1758.12/1758.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1758.12/1758.11	c  1727s|  1470k| 12047 |     0 |   0.0 |  35M| 141 |   - | 253 |  34k|   0 |   0 |   0 |2100k|   0 | 1.900000e+01 | 2.300000e+01 |  21.05%
1792.32/1792.34	c  1761s|  1480k|  5727 |     0 |   0.0 |  32M| 141 |   - | 253 |  44k|   0 |   0 |   0 |2127k|   0 | 1.900000e+01 | 2.300000e+01 |  21.05%
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00	c 
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time (sec) : 1768.18
1800.02/1800.00	c Solving Nodes      : 1486482
1800.02/1800.00	c Primal Bound       : +2.30000000000000e+01 (3 solutions)
1800.02/1800.00	c Dual Bound         : +1.90000000000000e+01
1800.02/1800.00	c Gap                : 21.05 %
1800.02/1800.00	s SATISFIABLE
1800.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/1800.00	v x4 -x3 -x2 -x1 
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time       :    1768.18
1800.02/1800.00	c Original Problem   :
1800.02/1800.00	c   Problem name     : HOME/instance-2694022-1277900224.wbo
1800.02/1800.00	c   Variables        : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.02/1800.00	c   Constraints      : 144 initial, 144 maximal
1800.02/1800.00	c Presolved Problem  :
1800.02/1800.00	c   Problem name     : t_HOME/instance-2694022-1277900224.wbo
1800.02/1800.00	c   Variables        : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
1800.02/1800.00	c   Constraints      : 130 initial, 46268 maximal
1800.02/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.00	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   linear           :       0.00          0          0          0         42          0         14          0          0
1800.02/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.00	c   indicator        :         42          0    4424538          0     906507       3166     447265          0          0          0
1800.02/1800.00	c   knapsack         :          1          0    4797793          0     976551     108948   18828143          0          0          0
1800.02/1800.00	c   setppc           :         39          0    4688824          0     976535     505097    5707603          0          0          0
1800.02/1800.00	c   linear           :         42          0    4183747          0     976551     116487    4078997          0          0          0
1800.02/1800.00	c   logicor          :          6+         0    2119861          0     975601      26352    1008518          0          0          0
1800.02/1800.00	c   bounddisjunction :          0+         0      86895          0          0          0       2263          0          0          0
1800.02/1800.00	c   countsols        :          0          0          0          0     976553          0          0          0          0          0
1800.02/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.00	c   indicator        :       2.38       0.00       1.52       0.00       0.86
1800.02/1800.00	c   knapsack         :     165.35       0.00     162.68       0.00       2.67
1800.02/1800.00	c   setppc           :      36.67       0.00      32.91       0.00       3.76
1800.02/1800.00	c   linear           :      37.28       0.00      36.86       0.00       0.42
1800.02/1800.00	c   logicor          :     778.47       0.00     777.82       0.00       0.65
1800.02/1800.00	c   bounddisjunction :       0.13       0.00       0.13       0.00       0.00
1800.02/1800.00	c   countsols        :       0.19       0.00       0.00       0.00       0.19
1800.02/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.00	c   vbounds          :       0.87          2          0          0
1800.02/1800.00	c   rootredcost      :       0.81          0          0          0
1800.02/1800.00	c   pseudoobj        :       7.02    4802526       1765     346990
1800.02/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.00	c   propagation      :      24.31     758649     758611    3909016       20.6     115076       13.1          -
1800.02/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   pseudo solution  :       0.00         13         13         39       13.6          6       19.5          -
1800.02/1800.00	c   applied globally :          -          -          -    2113359       15.7          -          -          -
1800.02/1800.00	c   applied locally  :          -          -          -      18899       35.9          -          -          -
1800.02/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.00	c Pricers            :       Time      Calls       Vars
1800.02/1800.00	c   problem variables:       0.00          0          0
1800.02/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   inference        :       7.73     976550          0          0          0          0    1953100
1800.02/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.00	c   LP solutions     :       0.00          -          0
1800.02/1800.00	c   pseudo solutions :       0.13          -          3
1800.02/1800.00	c   oneopt           :       0.45          0          0
1800.02/1800.00	c   trivial          :       0.00          2          0
1800.02/1800.00	c   simplerounding   :       0.00          0          0
1800.02/1800.00	c   zirounding       :       0.00          0          0
1800.02/1800.00	c   rounding         :       0.00          0          0
1800.02/1800.00	c   shifting         :       0.00          0          0
1800.02/1800.00	c   intshifting      :       0.00          0          0
1800.02/1800.00	c   twoopt           :       0.00          0          0
1800.02/1800.00	c   fixandinfer      :       0.00          0          0
1800.02/1800.00	c   feaspump         :       0.00          0          0
1800.02/1800.00	c   coefdiving       :       0.00          0          0
1800.02/1800.00	c   pscostdiving     :       0.00          0          0
1800.02/1800.00	c   fracdiving       :       0.00          0          0
1800.02/1800.00	c   veclendiving     :       0.00          0          0
1800.02/1800.00	c   intdiving        :       0.00          0          0
1800.02/1800.00	c   actconsdiving    :       0.00          0          0
1800.02/1800.00	c   objpscostdiving  :       0.00          0          0
1800.02/1800.00	c   rootsoldiving    :       0.00          0          0
1800.02/1800.00	c   linesearchdiving :       0.00          0          0
1800.02/1800.00	c   guideddiving     :       0.00          0          0
1800.02/1800.00	c   octane           :       0.00          0          0
1800.02/1800.00	c   rens             :       0.00          0          0
1800.02/1800.00	c   rins             :       0.00          0          0
1800.02/1800.00	c   localbranching   :       0.00          0          0
1800.02/1800.00	c   mutation         :       0.00          0          0
1800.02/1800.00	c   crossover        :       0.00          0          0
1800.02/1800.00	c   dins             :       0.00          0          0
1800.02/1800.00	c   undercover       :       0.00          0          0
1800.02/1800.00	c   nlp              :       0.24          0          0
1800.02/1800.00	c   trysol           :       0.25          1          0
1800.02/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.00	c B&B Tree           :
1800.02/1800.00	c   number of runs   :          1
1800.02/1800.00	c   nodes            :    1486482
1800.02/1800.00	c   nodes (total)    :    1486482
1800.02/1800.00	c   nodes left       :       9783
1800.02/1800.00	c   max depth        :        141
1800.02/1800.00	c   max depth (total):        141
1800.02/1800.00	c   backtracks       :     556069 (37.4%)
1800.02/1800.00	c   delayed cutoffs  :     386883
1800.02/1800.00	c   repropagations   :    1764043 (8905893 domain reductions, 251899 cutoffs)
1800.02/1800.00	c   avg switch length:      21.03
1800.02/1800.00	c   switching time   :     532.53
1800.02/1800.00	c Solution           :
1800.02/1800.00	c   Solutions found  :          3 (3 improvements)
1800.02/1800.00	c   First Solution   : +2.04000000000000e+02   (in run 1, after 366187 nodes, 147.58 seconds, depth 60, found by <relaxation>)
1800.02/1800.00	c   Primal Bound     : +2.30000000000000e+01   (in run 1, after 726855 nodes, 481.97 seconds, depth 59, found by <relaxation>)
1800.02/1800.00	c   Dual Bound       : +1.90000000000000e+01
1800.02/1800.00	c   Gap              :      21.05 %
1800.02/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.00	c   Root Iterations  :          0
1800.02/1800.08	c Time complete: 1800.1.

Verifier Data 

OK	22

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 11471
/proc/meminfo: memFree=31453352/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=8268 CPUtime=0
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 131318518 8466432 1468 4089446400 4194304 7136930 140736498226752 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11471/statm: 2066 1469 276 719 0 1345 0

[startup+0.084434 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 11471
/proc/meminfo: memFree=31453352/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=12684 CPUtime=0.07
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 4697 0 0 0 7 0 0 0 25 0 1 0 131318518 12988416 2467 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 3171 2467 403 719 0 2450 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12684

[startup+0.100428 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 11471
/proc/meminfo: memFree=31453352/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=12816 CPUtime=0.09
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 4731 0 0 0 8 1 0 0 25 0 1 0 131318518 13123584 2501 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 3204 2501 403 719 0 2483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12816

[startup+0.300401 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 11471
/proc/meminfo: memFree=31453352/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=14436 CPUtime=0.29
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 5144 0 0 0 27 2 0 0 25 0 1 0 131318518 14782464 2914 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 3609 2914 403 719 0 2888 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14436

[startup+0.700303 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 11471
/proc/meminfo: memFree=31453352/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=16968 CPUtime=0.69
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 5781 0 0 0 65 4 0 0 25 0 1 0 131318518 17375232 3551 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 4242 3551 403 719 0 3521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16968

[startup+1.50121 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 11472
/proc/meminfo: memFree=31438340/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=20624 CPUtime=1.49
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 6727 0 0 0 140 9 0 0 25 0 1 0 131318518 21118976 4497 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 5156 4497 403 719 0 4435 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20624

[startup+3.10093 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 11472
/proc/meminfo: memFree=31433764/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=25528 CPUtime=3.09
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 7942 0 0 0 291 18 0 0 25 0 1 0 131318518 26140672 5712 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 6382 5712 403 719 0 5661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25528

[startup+6.30038 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 11472
/proc/meminfo: memFree=31422976/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=33196 CPUtime=6.29
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 9894 0 0 0 601 28 0 0 25 0 1 0 131318518 33992704 7664 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 8299 7664 403 719 0 7578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33196

[startup+12.7003 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 11472
/proc/meminfo: memFree=31409648/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=42132 CPUtime=12.69
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 12103 0 0 0 1222 47 0 0 25 0 1 0 131318518 43143168 9873 4089446400 4194304 7136930 140736498226752 18446744073709551615 4210097 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 10533 9873 403 719 0 9812 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42132

[startup+25.5012 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 11472
/proc/meminfo: memFree=31377184/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=65712 CPUtime=25.5
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 18095 0 0 0 2454 96 0 0 25 0 1 0 131318518 67289088 15865 4089446400 4194304 7136930 140736498226752 18446744073709551615 4998153 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 16428 15865 403 719 0 15707 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 65712

[startup+51.1008 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 11472
/proc/meminfo: memFree=31357532/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=76200 CPUtime=51.09
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 20635 0 0 0 4977 132 0 0 25 0 1 0 131318518 78028800 18405 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11471/statm: 19050 18405 403 719 0 18329 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76200

[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 11474
/proc/meminfo: memFree=31280596/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=136132 CPUtime=102.29
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 35406 0 0 0 9927 302 0 0 25 0 1 0 131318518 139399168 33176 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 34033 33176 403 719 0 33312 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 136132

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 11476
/proc/meminfo: memFree=31249296/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=159344 CPUtime=162.29
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 41188 0 0 0 15806 423 0 0 25 0 1 0 131318518 163168256 38958 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 39836 38958 403 719 0 39115 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 159344

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 11478
/proc/meminfo: memFree=31205464/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=197416 CPUtime=222.29
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 50786 0 0 0 21669 560 0 0 25 0 1 0 131318518 202153984 48556 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999718 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 49354 48556 406 719 0 48633 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 197416

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 11478
/proc/meminfo: memFree=31171444/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=227040 CPUtime=282.3
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 58250 0 0 0 27570 660 0 0 25 0 1 0 131318518 232488960 56020 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 56760 56020 406 719 0 56039 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 227040

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11480
/proc/meminfo: memFree=31158240/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=239596 CPUtime=342.29
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 61368 0 0 0 33485 744 0 0 25 0 1 0 131318518 245346304 59138 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 59899 59138 406 719 0 59178 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 239596

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11482
/proc/meminfo: memFree=31146920/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=250620 CPUtime=402.29
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 63931 0 0 0 39421 808 0 0 25 0 1 0 131318518 256634880 61701 4089446400 4194304 7136930 140736498226752 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 62655 61701 406 719 0 61934 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 250620

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11484
/proc/meminfo: memFree=31136828/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=259688 CPUtime=462.3
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 66218 0 0 0 45364 866 0 0 25 0 1 0 131318518 265920512 63988 4089446400 4194304 7136930 140736498226752 18446744073709551615 4210120 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 64922 63988 406 719 0 64201 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 259688

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11486
/proc/meminfo: memFree=31132688/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=263864 CPUtime=522.3
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 67257 0 0 0 51309 921 0 0 25 0 1 0 131318518 270196736 65027 4089446400 4194304 7136930 140736498226752 18446744073709551615 4221185 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 65966 65027 406 719 0 65245 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 263864

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11486
/proc/meminfo: memFree=31132276/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=264328 CPUtime=582.3
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 67372 0 0 0 57253 977 0 0 25 0 1 0 131318518 270671872 65142 4089446400 4194304 7136930 140736498226752 18446744073709551615 5000173 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 66082 65142 406 719 0 65361 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 264328

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11488
/proc/meminfo: memFree=31131372/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=265264 CPUtime=642.3
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 67487 0 0 0 63220 1010 0 0 25 0 1 0 131318518 271630336 65257 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 66316 65257 406 719 0 65595 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 265264

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11494
/proc/meminfo: memFree=31130860/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=265104 CPUtime=822.3
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 67750 0 0 0 81022 1208 0 0 25 0 1 0 131318518 271466496 65264 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 66276 65264 406 719 0 65555 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 265104

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11497
/proc/meminfo: memFree=31129780/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=265456 CPUtime=882.3
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 67816 0 0 0 86932 1298 0 0 25 0 1 0 131318518 271826944 65330 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 66364 65330 406 719 0 65643 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 265456

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11499
/proc/meminfo: memFree=31129180/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=265748 CPUtime=942.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 67911 0 0 0 92875 1356 0 0 25 0 1 0 131318518 272125952 65425 4089446400 4194304 7136930 140736498226752 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 66437 65425 406 719 0 65716 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 265748

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11501
/proc/meminfo: memFree=31129644/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=265748 CPUtime=1002.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 67944 0 0 0 98812 1419 0 0 25 0 1 0 131318518 272125952 65458 4089446400 4194304 7136930 140736498226752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11471/statm: 66437 65458 406 719 0 65716 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 265748

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11530
/proc/meminfo: memFree=31271800/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=266488 CPUtime=1062.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68079 0 0 0 104739 1492 0 0 25 0 1 0 131318518 272883712 65593 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 66622 65593 406 719 0 65901 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 266488

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11532
/proc/meminfo: memFree=31255028/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=266488 CPUtime=1122.3
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68079 0 0 0 110582 1648 0 0 25 0 1 0 131318518 272883712 65593 4089446400 4194304 7136930 140736498226752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 66622 65593 406 719 0 65901 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 266488

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11532
/proc/meminfo: memFree=31246796/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=266488 CPUtime=1182.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68101 0 0 0 116458 1773 0 0 25 0 1 0 131318518 272883712 65615 4089446400 4194304 7136930 140736498226752 18446744073709551615 4220958 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 66622 65615 406 719 0 65901 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 266488

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11534
/proc/meminfo: memFree=31244644/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=266488 CPUtime=1242.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68193 0 0 0 122348 1883 0 0 25 0 1 0 131318518 272883712 65707 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 66622 65707 406 719 0 65901 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 266488

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11536
/proc/meminfo: memFree=31242368/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=266228 CPUtime=1302.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68215 0 0 0 128109 2122 0 0 25 0 1 0 131318518 272617472 65664 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 66557 65664 406 719 0 65836 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 266228

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11538
/proc/meminfo: memFree=31240232/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=267856 CPUtime=1362.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68379 0 0 0 133892 2339 0 0 25 0 1 0 131318518 274284544 65828 4089446400 4194304 7136930 140736498226752 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 66964 65828 406 719 0 66243 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 267856

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11540
/proc/meminfo: memFree=31237688/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=268516 CPUtime=1422.32
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68444 0 0 0 139759 2473 0 0 25 0 1 0 131318518 274960384 65893 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 67129 65893 406 719 0 66408 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 268516

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11540
/proc/meminfo: memFree=31236408/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=269512 CPUtime=1482.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68583 0 0 0 145629 2602 0 0 25 0 1 0 131318518 275980288 66032 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 67378 66032 406 719 0 66657 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 269512

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11542
/proc/meminfo: memFree=31232664/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=269512 CPUtime=1542.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68586 0 0 0 151535 2696 0 0 25 0 1 0 131318518 275980288 66035 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 67378 66035 406 719 0 66657 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 269512

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11544
/proc/meminfo: memFree=31228528/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=270940 CPUtime=1602.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68818 0 0 0 157440 2791 0 0 25 0 1 0 131318518 277442560 66267 4089446400 4194304 7136930 140736498226752 18446744073709551615 4208861 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 67735 66267 406 719 0 67014 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 270940

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11546
/proc/meminfo: memFree=31226616/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=271120 CPUtime=1662.31
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68863 0 0 0 163322 2909 0 0 25 0 1 0 131318518 277626880 66312 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 67780 66312 406 719 0 67059 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 271120

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11548
/proc/meminfo: memFree=31223348/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=271756 CPUtime=1722.32
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68944 0 0 0 169184 3048 0 0 25 0 1 0 131318518 278278144 66393 4089446400 4194304 7136930 140736498226752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 67939 66393 406 719 0 67218 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 271756

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11548
/proc/meminfo: memFree=31224088/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=269940 CPUtime=1782.32
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 68976 0 0 0 175081 3151 0 0 25 0 1 0 131318518 276418560 65971 4089446400 4194304 7136930 140736498226752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 67485 65971 406 719 0 66764 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 269940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11550
/proc/meminfo: memFree=31223832/32951124 swapFree=67111528/67111528
[pid=11471] ppid=11469 vsize=269424 CPUtime=1800.02
/proc/11471/stat : 11471 (pbscip.linux.x8) R 11469 11471 10768 0 -1 4202496 69008 0 0 0 176819 3183 0 0 25 0 1 0 131318518 275890176 65874 4089446400 4194304 7136930 140736498226752 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11471/statm: 67356 65874 406 719 0 66635 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 269424

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

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

Child status: 0
Real time (s): 1800.08
CPU time (s): 1800.11
CPU user time (s): 1768.26
CPU system time (s): 31.8442
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 271756

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

runsolver used 2.59061 second user time and 5.62315 second system time

The end

Launcher Data 

Begin job on node130 at 2010-06-30 14:17:04
IDJOB=2694022
IDBENCH=78878
IDSOLVER=1206
FILE ID=node130/2694022-1277900224
PBS_JOBID= 11197193
Free space on /tmp= 74208 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.1110977273--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-2694022-1277900224/watcher-2694022-1277900224 -o /tmp/evaluation-result-2694022-1277900224/solver-2694022-1277900224 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694022-1277900224.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 038e2d59f80e30c95ef1e3e4582a8837
RANDOM SEED=1442774109

node130.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.796
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.59
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.796
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.67
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.796
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.796
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.72
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.796
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.796
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.63
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.796
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.82
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.796
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	: 5237.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31453880 kB
Buffers:        185172 kB
Cached:         966076 kB
SwapCached:          0 kB
Active:         669708 kB
Inactive:       686924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31453880 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3320 kB
Writeback:           0 kB
AnonPages:      205632 kB
Mapped:          16656 kB
Slab:            77784 kB
PageTables:       5656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   351288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node130 at 2010-06-30 14:47:06