Trace number 2699972

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1802.12 1802.07

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
MD5SUMa9c1b78c2cafd61259a4392acdb09fa2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark101
Best CPU time to get the best result obtained on this benchmark1.3028
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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: SoPlex 1.4.2] [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-2699972-1278533864.wbo>
0.00/0.01	c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03	c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06	c    (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (3 rounds):
0.00/0.06	c  100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  1050 implications, 0 cliques
0.00/0.06	c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06	c     850 constraints of type <indicator>
0.00/0.06	c     850 constraints of type <linear>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.04
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.2
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1799.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 3420
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.06	o 420925
0.00/0.06	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.06	c t 0.0s|     1 |     0 |     0 |     - |6130k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |     0 |     - |6527k|   0 |   0 |1800 |1700 |1800 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |    42 |     - |6570k|   0 |   3 |1800 |1700 |1800 |  73 |  73 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.00/0.07	c   0.1s|     1 |     0 |   136 |     - |6623k|   0 |  59 |1800 |1700 |1800 | 121 | 121 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.07/0.08	c   0.1s|     1 |     0 |   205 |     - |6761k|   0 |  83 |1800 |1700 |1800 | 176 | 176 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |   233 |     - |6812k|   0 |  85 |1800 |1700 |1800 | 188 | 188 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |   235 |     - |6838k|   0 |  85 |1800 |1700 |1800 | 190 | 190 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     2 |   382 |     - |6890k|   0 |  85 |1800 |1700 |1800 | 190 | 190 |   0 |  33 | 0.000000e+00 | 4.209250e+05 |    Inf 
11.39/11.49	c  11.2s| 10000 | 10001 | 84051 |   8.4 |  19M|  81 |   0 |1800 |1700 |1800 | 272 |  19k|   0 | 791 | 0.000000e+00 | 4.209250e+05 |    Inf 
20.69/20.79	c  20.3s| 20000 | 20001 |148649 |   7.4 |  30M|  81 |   0 |1800 |1700 |1800 | 283 |  37k|   0 | 902 | 0.000000e+00 | 4.209250e+05 |    Inf 
29.79/29.89	c  29.2s| 30000 | 30001 |205248 |   6.8 |  40M|  93 |  21 |1800 |1700 |1800 | 242 |  53k|   0 |1089 | 0.000000e+00 | 4.209250e+05 |    Inf 
38.90/38.95	c  38.1s| 40000 | 40001 |261180 |   6.5 |  50M|  97 |   0 |1800 |1700 |1800 | 268 |  67k|   0 |1263 | 0.000000e+00 | 4.209250e+05 |    Inf 
47.89/47.96	c  46.9s| 50000 | 50001 |317859 |   6.4 |  60M|  97 |  24 |1800 |1700 |1800 | 231 |  81k|   0 |1440 | 0.000000e+00 | 4.209250e+05 |    Inf 
56.80/56.85	c  55.6s| 60000 | 60001 |368265 |   6.1 |  70M|  97 |   0 |1800 |1700 |1800 | 292 |  96k|   0 |1636 | 0.000000e+00 | 4.209250e+05 |    Inf 
65.69/65.72	c  64.3s| 70000 | 70001 |417817 |   6.0 |  81M|  97 |  10 |1800 |1700 |1800 | 230 | 110k|   0 |1756 | 0.000000e+00 | 4.209250e+05 |    Inf 
74.49/74.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
74.49/74.55	c  73.0s| 80000 | 80001 |464941 |   5.8 |  91M|  97 |  31 |1800 |1700 |1800 | 235 | 125k|   0 |1918 | 0.000000e+00 | 4.209250e+05 |    Inf 
83.29/83.39	c  81.6s| 90000 | 90001 |511402 |   5.7 | 101M|  97 |   0 |1800 |1700 |1800 | 282 | 139k|   0 |2055 | 0.000000e+00 | 4.209250e+05 |    Inf 
92.09/92.15	c  90.2s|100000 |100001 |557120 |   5.6 | 111M|  97 |   0 |1800 |1700 |1800 | 270 | 154k|   0 |2195 | 0.000000e+00 | 4.209250e+05 |    Inf 
100.80/100.89	c  98.8s|110000 |110001 |601149 |   5.5 | 121M|  97 |   0 |1800 |1700 |1800 | 274 | 168k|   0 |2335 | 0.000000e+00 | 4.209250e+05 |    Inf 
109.59/109.67	c   107s|120000 |120001 |646110 |   5.4 | 131M|  97 |  15 |1800 |1700 |1800 | 239 | 181k|   0 |2476 | 0.000000e+00 | 4.209250e+05 |    Inf 
118.50/118.53	c   116s|130000 |130001 |699300 |   5.4 | 141M|  97 |  16 |1800 |1700 |1800 | 253 | 195k|   0 |2580 | 0.000000e+00 | 4.209250e+05 |    Inf 
126.79/126.89	c   124s|140000 |140001 |733759 |   5.2 | 151M|  97 |   8 |1800 |1700 |1800 | 248 | 206k|   0 |2649 | 0.000000e+00 | 4.209250e+05 |    Inf 
135.39/135.41	c   133s|150000 |150001 |771938 |   5.1 | 162M| 133 |   0 |1800 |1700 |1800 | 276 | 218k|   0 |2759 | 0.000000e+00 | 4.209250e+05 |    Inf 
143.40/143.42	c   141s|160000 |160001 |802893 |   5.0 | 172M| 133 |   0 |1800 |1700 |1800 | 238 | 228k|   0 |2804 | 0.000000e+00 | 4.209250e+05 |    Inf 
151.39/151.41	c   148s|170000 |170001 |832128 |   4.9 | 182M| 133 |   0 |1800 |1700 |1800 | 249 | 238k|   0 |2869 | 0.000000e+00 | 4.209250e+05 |    Inf 
159.40/159.40	c   156s|180000 |180001 |860316 |   4.8 | 192M| 133 |   0 |1800 |1700 |1800 | 269 | 247k|   0 |2930 | 0.000000e+00 | 4.209250e+05 |    Inf 
167.30/167.34	c   164s|190000 |190001 |886882 |   4.7 | 202M| 133 |   0 |1800 |1700 |1800 | 293 | 256k|   0 |2960 | 0.000000e+00 | 4.209250e+05 |    Inf 
175.29/175.36	c   172s|200000 |200001 |915495 |   4.6 | 212M| 133 |  30 |1800 |1700 |1800 | 221 | 265k|   0 |3043 | 0.000000e+00 | 4.209250e+05 |    Inf 
183.30/183.39	c   180s|210000 |210001 |943643 |   4.5 | 222M| 133 |   0 |1800 |1700 |1800 | 257 | 274k|   0 |3092 | 0.000000e+00 | 4.209250e+05 |    Inf 
191.30/191.39	c   188s|220000 |220001 |971872 |   4.4 | 232M| 133 |   0 |1800 |1700 |1800 | 258 | 283k|   0 |3155 | 0.000000e+00 | 4.209250e+05 |    Inf 
199.40/199.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
199.40/199.45	c   196s|230000 |230001 |  1000k|   4.3 | 242M| 133 |   0 |1800 |1700 |1800 | 242 | 291k|   0 |3212 | 0.000000e+00 | 4.209250e+05 |    Inf 
207.29/207.39	c   203s|240000 |240001 |  1027k|   4.3 | 252M| 133 |   0 |1800 |1700 |1800 | 309 | 300k|   0 |3253 | 0.000000e+00 | 4.209250e+05 |    Inf 
215.19/215.28	c   211s|250000 |250001 |  1051k|   4.2 | 262M| 133 |  23 |1800 |1700 |1800 | 236 | 307k|   0 |3300 | 0.000000e+00 | 4.209250e+05 |    Inf 
223.30/223.32	c   219s|260000 |260001 |  1079k|   4.2 | 272M| 133 |   0 |1800 |1700 |1800 | 265 | 316k|   0 |3357 | 0.000000e+00 | 4.209250e+05 |    Inf 
231.10/231.19	c   227s|270000 |270001 |  1102k|   4.1 | 282M| 133 |  12 |1800 |1700 |1800 | 294 | 323k|   0 |3386 | 0.000000e+00 | 4.209250e+05 |    Inf 
239.10/239.14	c   234s|280000 |280001 |  1129k|   4.0 | 292M| 133 |   0 |1800 |1700 |1800 | 268 | 330k|   0 |3438 | 0.000000e+00 | 4.209250e+05 |    Inf 
246.90/246.98	c   242s|290000 |290001 |  1152k|   4.0 | 302M| 133 |   0 |1800 |1700 |1800 | 238 | 338k|   0 |3469 | 0.000000e+00 | 4.209250e+05 |    Inf 
254.89/254.98	c   250s|300000 |300001 |  1180k|   3.9 | 312M| 133 |   0 |1800 |1700 |1800 | 292 | 346k|   0 |3507 | 0.000000e+00 | 4.209250e+05 |    Inf 
262.90/262.94	c   258s|310000 |310001 |  1206k|   3.9 | 322M| 133 |   0 |1800 |1700 |1800 | 278 | 354k|   0 |3554 | 0.000000e+00 | 4.209250e+05 |    Inf 
270.79/270.84	c   266s|320000 |320001 |  1231k|   3.8 | 333M| 133 |   0 |1800 |1700 |1800 | 270 | 361k|   0 |3584 | 0.000000e+00 | 4.209250e+05 |    Inf 
278.60/278.60	c   273s|330000 |330001 |  1252k|   3.8 | 343M| 133 |   0 |1800 |1700 |1800 | 287 | 368k|   0 |3606 | 0.000000e+00 | 4.209250e+05 |    Inf 
286.39/286.42	c   281s|340000 |340001 |  1273k|   3.7 | 353M| 133 |   0 |1800 |1700 |1800 | 248 | 374k|   0 |3641 | 0.000000e+00 | 4.209250e+05 |    Inf 
294.40/294.49	c   289s|350000 |350001 |  1303k|   3.7 | 363M| 133 |   6 |1800 |1700 |1800 | 269 | 383k|   0 |3696 | 0.000000e+00 | 4.209250e+05 |    Inf 
302.29/302.36	c   296s|360000 |360001 |  1327k|   3.7 | 373M| 133 |   0 |1800 |1700 |1800 | 283 | 391k|   0 |3731 | 0.000000e+00 | 4.209250e+05 |    Inf 
310.40/310.40	c   304s|370000 |370001 |  1357k|   3.7 | 383M| 133 |   0 |1800 |1700 |1800 | 237 | 400k|   0 |3764 | 0.000000e+00 | 4.209250e+05 |    Inf 
318.19/318.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
318.19/318.27	c   312s|380000 |380001 |  1380k|   3.6 | 393M| 133 |  11 |1800 |1700 |1800 | 238 | 407k|   0 |3807 | 0.000000e+00 | 4.209250e+05 |    Inf 
326.10/326.12	c   320s|390000 |390001 |  1404k|   3.6 | 403M| 133 |   0 |1800 |1700 |1800 | 242 | 415k|   0 |3849 | 0.000000e+00 | 4.209250e+05 |    Inf 
333.90/333.90	c   327s|400000 |400001 |  1425k|   3.6 | 413M| 133 |   7 |1800 |1700 |1800 | 225 | 421k|   0 |3876 | 0.000000e+00 | 4.209250e+05 |    Inf 
341.70/341.71	c   335s|410000 |410001 |  1446k|   3.5 | 423M| 133 |   0 |1800 |1700 |1800 | 292 | 428k|   0 |3897 | 0.000000e+00 | 4.209250e+05 |    Inf 
349.60/349.67	c   343s|420000 |420001 |  1474k|   3.5 | 433M| 145 |   5 |1800 |1700 |1800 | 240 | 436k|   0 |3919 | 0.000000e+00 | 4.209250e+05 |    Inf 
357.20/357.21	c   350s|430000 |430001 |  1488k|   3.5 | 443M| 145 |   0 |1800 |1700 |1800 | 245 | 440k|   0 |3939 | 0.000000e+00 | 4.209250e+05 |    Inf 
364.70/364.75	c   358s|440000 |440001 |  1504k|   3.4 | 453M| 145 |   0 |1800 |1700 |1800 | 271 | 444k|   0 |3957 | 0.000000e+00 | 4.209250e+05 |    Inf 
372.50/372.54	c   365s|450000 |450001 |  1531k|   3.4 | 463M| 145 |   0 |1800 |1700 |1800 | 284 | 453k|   0 |3979 | 0.000000e+00 | 4.209250e+05 |    Inf 
380.20/380.27	c   373s|460000 |460001 |  1553k|   3.4 | 473M| 145 |   7 |1800 |1700 |1800 | 250 | 460k|   0 |4007 | 0.000000e+00 | 4.209250e+05 |    Inf 
388.00/388.04	c   380s|470000 |470001 |  1578k|   3.4 | 483M| 145 |   6 |1800 |1700 |1800 | 271 | 467k|   0 |4050 | 0.000000e+00 | 4.209250e+05 |    Inf 
395.71/395.73	c   388s|480000 |480001 |  1600k|   3.3 | 493M| 145 |  21 |1800 |1700 |1800 | 259 | 473k|   0 |4069 | 0.000000e+00 | 4.209250e+05 |    Inf 
403.30/403.37	c   395s|490000 |490001 |  1618k|   3.3 | 503M| 145 |   0 |1800 |1700 |1800 | 259 | 479k|   0 |4092 | 0.000000e+00 | 4.209250e+05 |    Inf 
410.90/410.92	c   403s|500000 |500001 |  1636k|   3.3 | 513M| 145 |   0 |1800 |1700 |1800 | 267 | 484k|   0 |4112 | 0.000000e+00 | 4.209250e+05 |    Inf 
418.80/418.84	c   411s|510000 |510001 |  1661k|   3.3 | 523M| 145 |   0 |1800 |1700 |1800 | 256 | 493k|   0 |4152 | 0.000000e+00 | 4.209250e+05 |    Inf 
426.40/426.41	c   418s|520000 |520001 |  1678k|   3.2 | 533M| 145 |   0 |1800 |1700 |1800 | 292 | 498k|   0 |4168 | 0.000000e+00 | 4.209250e+05 |    Inf 
434.10/434.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
434.10/434.11	c   426s|530000 |530001 |  1699k|   3.2 | 543M| 145 |   0 |1800 |1700 |1800 | 284 | 504k|   0 |4193 | 0.000000e+00 | 4.209250e+05 |    Inf 
441.91/441.95	c   433s|540000 |540001 |  1724k|   3.2 | 553M| 145 |   0 |1800 |1700 |1800 | 277 | 512k|   0 |4222 | 0.000000e+00 | 4.209250e+05 |    Inf 
449.60/449.60	c   441s|550000 |550001 |  1744k|   3.2 | 563M| 145 |   0 |1800 |1700 |1800 | 297 | 518k|   0 |4248 | 0.000000e+00 | 4.209250e+05 |    Inf 
456.80/456.85	c   448s|560000 |560001 |  1760k|   3.1 | 573M| 381 |   0 |1800 |1700 |1800 | 249 | 522k|   0 |4269 | 0.000000e+00 | 4.209250e+05 |    Inf 
463.60/463.66	c   455s|570000 |569999 |  1770k|   3.1 | 583M| 381 |   0 |1800 |1702 |1800 | 278 | 525k|   2 |4270 | 0.000000e+00 | 4.209250e+05 |    Inf 
470.40/470.41	c   461s|580000 |579999 |  1777k|   3.1 | 593M| 381 |   0 |1800 |1702 |1800 | 299 | 527k|   2 |4287 | 0.000000e+00 | 4.209250e+05 |    Inf 
477.10/477.18	c   468s|590000 |589997 |  1785k|   3.0 | 603M| 381 |   0 |1800 |1704 |1800 | 267 | 529k|   4 |4299 | 0.000000e+00 | 4.209250e+05 |    Inf 
484.01/484.03	c   475s|600000 |599997 |  1795k|   3.0 | 613M| 381 |   0 |1800 |1704 |1800 | 311 | 532k|   4 |4301 | 0.000000e+00 | 4.209250e+05 |    Inf 
490.90/490.93	c   481s|610000 |609997 |  1807k|   3.0 | 622M| 381 |   0 |1800 |1704 |1800 | 299 | 536k|   4 |4324 | 0.000000e+00 | 4.209250e+05 |    Inf 
497.80/497.81	c   488s|620000 |619997 |  1817k|   2.9 | 632M| 381 |   0 |1800 |1704 |1800 | 287 | 539k|   4 |4324 | 0.000000e+00 | 4.209250e+05 |    Inf 
504.51/504.59	c   495s|630000 |629997 |  1826k|   2.9 | 642M| 381 |   0 |1800 |1704 |1800 | 268 | 541k|   4 |4348 | 0.000000e+00 | 4.209250e+05 |    Inf 
511.40/511.48	c   501s|640000 |639995 |  1837k|   2.9 | 652M| 381 |   0 |1800 |1706 |1800 | 292 | 544k|   6 |4349 | 0.000000e+00 | 4.209250e+05 |    Inf 
518.30/518.38	c   508s|650000 |649995 |  1848k|   2.8 | 662M| 381 |   0 |1800 |1706 |1800 | 276 | 548k|   6 |4373 | 0.000000e+00 | 4.209250e+05 |    Inf 
525.11/525.16	c   515s|660000 |659995 |  1857k|   2.8 | 672M| 381 |   0 |1800 |1706 |1800 | 251 | 550k|   6 |4373 | 0.000000e+00 | 4.209250e+05 |    Inf 
532.00/532.08	c   522s|670000 |669993 |  1869k|   2.8 | 682M| 381 |   0 |1800 |1708 |1800 | 285 | 553k|   8 |4397 | 0.000000e+00 | 4.209250e+05 |    Inf 
538.81/538.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
538.81/538.90	c   528s|680000 |679993 |  1879k|   2.8 | 692M| 381 |   0 |1800 |1708 |1800 | 292 | 556k|   8 |4399 | 0.000000e+00 | 4.209250e+05 |    Inf 
545.70/545.73	c   535s|690000 |689993 |  1890k|   2.7 | 701M| 381 |   0 |1800 |1708 |1800 | 269 | 559k|   8 |4414 | 0.000000e+00 | 4.209250e+05 |    Inf 
552.51/552.52	c   542s|700000 |699993 |  1900k|   2.7 | 711M| 381 |   0 |1800 |1708 |1800 | 275 | 562k|   8 |4424 | 0.000000e+00 | 4.209250e+05 |    Inf 
559.40/559.46	c   549s|710000 |709993 |  1912k|   2.7 | 721M| 381 |   0 |1800 |1708 |1800 | 266 | 566k|   8 |4444 | 0.000000e+00 | 4.209250e+05 |    Inf 
566.21/566.27	c   555s|720000 |719993 |  1921k|   2.7 | 731M| 381 |   0 |1800 |1708 |1800 | 257 | 569k|   8 |4448 | 0.000000e+00 | 4.209250e+05 |    Inf 
573.01/573.02	c   562s|730000 |729991 |  1928k|   2.6 | 741M| 381 |   0 |1800 |1711 |1800 | 275 | 572k|  11 |4463 | 0.000000e+00 | 4.209250e+05 |    Inf 
579.71/579.77	c   568s|740000 |739991 |  1936k|   2.6 | 751M| 381 |   0 |1800 |1711 |1800 | 265 | 574k|  11 |4472 | 0.000000e+00 | 4.209250e+05 |    Inf 
586.61/586.66	c   575s|750000 |749991 |  1947k|   2.6 | 761M| 381 |   0 |1800 |1711 |1800 | 276 | 577k|  11 |4473 | 0.000000e+00 | 4.209250e+05 |    Inf 
593.41/593.48	c   582s|760000 |759989 |  1957k|   2.6 | 771M| 381 |   0 |1800 |1714 |1800 | 291 | 580k|  14 |4497 | 0.000000e+00 | 4.209250e+05 |    Inf 
600.10/600.15	c   588s|770000 |769989 |  1963k|   2.6 | 780M| 381 |   0 |1800 |1714 |1800 | 273 | 582k|  14 |4497 | 0.000000e+00 | 4.209250e+05 |    Inf 
606.91/606.98	c   595s|780000 |779987 |  1973k|   2.5 | 790M| 381 |  11 |1800 |1715 |1800 | 265 | 585k|  16 |4515 | 0.000000e+00 | 4.209250e+05 |    Inf 
613.71/613.74	c   602s|790000 |789987 |  1981k|   2.5 | 800M| 381 |   0 |1800 |1715 |1800 | 258 | 587k|  16 |4522 | 0.000000e+00 | 4.209250e+05 |    Inf 
620.50/620.56	c   609s|800000 |799987 |  1991k|   2.5 | 810M| 381 |   0 |1800 |1715 |1800 | 280 | 590k|  16 |4522 | 0.000000e+00 | 4.209250e+05 |    Inf 
627.11/627.18	c   615s|810000 |809987 |  1996k|   2.5 | 820M| 381 |   0 |1800 |1715 |1800 | 269 | 592k|  16 |4539 | 0.000000e+00 | 4.209250e+05 |    Inf 
633.91/633.94	c   622s|820000 |819987 |  2005k|   2.4 | 830M| 381 |   0 |1800 |1715 |1800 | 249 | 594k|  16 |4544 | 0.000000e+00 | 4.209250e+05 |    Inf 
640.71/640.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
640.71/640.77	c   628s|830000 |829987 |  2016k|   2.4 | 840M| 381 |   0 |1800 |1715 |1800 | 290 | 597k|  16 |4563 | 0.000000e+00 | 4.209250e+05 |    Inf 
647.41/647.49	c   635s|840000 |839987 |  2024k|   2.4 | 849M| 381 |   0 |1800 |1715 |1800 | 252 | 600k|  16 |4566 | 0.000000e+00 | 4.209250e+05 |    Inf 
654.21/654.23	c   642s|850000 |849987 |  2032k|   2.4 | 859M| 381 |   0 |1800 |1715 |1800 | 265 | 602k|  16 |4570 | 0.000000e+00 | 4.209250e+05 |    Inf 
661.11/661.14	c   648s|860000 |859987 |  2044k|   2.4 | 869M| 381 |   0 |1800 |1715 |1800 | 310 | 605k|  16 |4593 | 0.000000e+00 | 4.209250e+05 |    Inf 
667.81/667.88	c   655s|870000 |869987 |  2052k|   2.4 | 879M| 381 |   0 |1800 |1714 |1800 | 259 | 608k|  16 |4593 | 0.000000e+00 | 4.209250e+05 |    Inf 
674.61/674.63	c   662s|880000 |879987 |  2060k|   2.3 | 889M| 381 |   0 |1800 |1714 |1800 | 263 | 610k|  16 |4620 | 0.000000e+00 | 4.209250e+05 |    Inf 
681.50/681.51	c   668s|890000 |889987 |  2072k|   2.3 | 899M| 381 |   0 |1800 |1714 |1800 | 285 | 614k|  16 |4624 | 0.000000e+00 | 4.209250e+05 |    Inf 
688.31/688.39	c   675s|900000 |899985 |  2082k|   2.3 | 909M| 381 |   0 |1800 |1719 |1800 | 296 | 616k|  21 |4640 | 0.000000e+00 | 4.209250e+05 |    Inf 
695.11/695.13	c   682s|910000 |909985 |  2088k|   2.3 | 918M| 381 |   0 |1800 |1719 |1800 | 277 | 618k|  21 |4652 | 0.000000e+00 | 4.209250e+05 |    Inf 
701.90/701.97	c   688s|920000 |919985 |  2099k|   2.3 | 928M| 381 |   0 |1800 |1719 |1800 | 300 | 621k|  21 |4652 | 0.000000e+00 | 4.209250e+05 |    Inf 
708.71/708.79	c   695s|930000 |929985 |  2108k|   2.3 | 938M| 381 |   0 |1800 |1718 |1800 | 272 | 624k|  21 |4673 | 0.000000e+00 | 4.209250e+05 |    Inf 
715.60/715.68	c   702s|940000 |939985 |  2119k|   2.3 | 948M| 381 |   0 |1800 |1718 |1800 | 259 | 627k|  21 |4673 | 0.000000e+00 | 4.209250e+05 |    Inf 
720.42/720.50	o 12325
720.42/720.50	c * 707s|946720 |710098 |  2125k|   2.2 | 731M| 381 |   - |1800 |1718 |1800 | 288 | 629k|  21 |4682 | 0.000000e+00 | 1.232500e+04 |    Inf 
723.40/723.41	c   709s|950000 |713354 |  2137k|   2.2 | 734M| 381 |  11 |1800 |1771 |1800 | 249 | 633k|  74 |4698 | 0.000000e+00 | 1.232500e+04 |    Inf 
731.71/731.77	c   718s|960000 |723228 |  2169k|   2.3 | 744M| 381 |  11 |1800 |2089 |1800 | 281 | 642k| 576 |4730 | 0.000000e+00 | 1.232500e+04 |    Inf 
739.81/739.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
739.81/739.86	c   726s|970000 |733025 |  2198k|   2.3 | 754M| 381 |   0 |1800 |2273 |1800 | 251 | 650k|1363 |4748 | 0.000000e+00 | 1.232500e+04 |    Inf 
748.01/748.05	c   734s|980000 |742748 |  2231k|   2.3 | 764M| 381 |   0 |1800 |2446 |1800 | 249 | 660k|2432 |4769 | 0.000000e+00 | 1.232500e+04 |    Inf 
756.21/756.29	c   742s|990000 |752449 |  2264k|   2.3 | 774M| 381 |   0 |1800 |2768 |1800 | 266 | 670k|3750 |4797 | 0.000000e+00 | 1.232500e+04 |    Inf 
764.52/764.55	c   750s|  1000k|762187 |  2295k|   2.3 | 784M| 381 |  15 |1800 |2524 |1800 | 232 | 680k|4863 |4819 | 0.000000e+00 | 1.232500e+04 |    Inf 
769.01/769.00	o 12309
769.01/769.00	c * 754s|  1005k|766508 |  2312k|   2.3 | 789M| 381 |   - |1800 |2603 |1800 | 265 | 684k|5618 |4830 | 0.000000e+00 | 1.230900e+04 |    Inf 
772.81/772.83	c   758s|  1010k|770936 |  2326k|   2.3 | 794M| 381 |   0 |1800 |2744 |1800 | 237 | 688k|6366 |4849 | 0.000000e+00 | 1.230900e+04 |    Inf 
781.31/781.34	c   766s|  1020k|780551 |  2364k|   2.3 | 804M| 381 |   0 |1800 |2778 |1800 | 239 | 700k|7956 |4878 | 0.000000e+00 | 1.230900e+04 |    Inf 
789.61/789.60	c   774s|  1030k|790255 |  2394k|   2.3 | 814M| 381 |   0 |1800 |2544 |1800 | 286 | 709k|9251 |4903 | 0.000000e+00 | 1.230900e+04 |    Inf 
794.81/794.82	o 12202
794.81/794.82	c * 780s|  1036k|790513 |  2411k|   2.3 | 815M| 381 |   - |1800 |2640 |1800 | 247 | 714k|9927 |4917 | 0.000000e+00 | 1.220200e+04 |    Inf 
797.81/797.83	c   782s|  1040k|793976 |  2422k|   2.3 | 819M| 381 |   0 |1800 |2691 |1800 | 268 | 717k|  10k|4919 | 0.000000e+00 | 1.220200e+04 |    Inf 
804.61/804.67	o 12138
804.61/804.67	c * 789s|  1048k|798383 |  2445k|   2.3 | 823M| 381 |   - |1800 |2623 |1800 | 275 | 724k|  11k|4934 | 0.000000e+00 | 1.213800e+04 |    Inf 
805.91/805.99	c   790s|  1050k|800032 |  2447k|   2.3 | 825M| 381 |   0 |1800 |2624 |1800 | 236 | 725k|  11k|4943 | 0.000000e+00 | 1.213800e+04 |    Inf 
814.21/814.26	c   799s|  1060k|809693 |  2478k|   2.3 | 835M| 381 |   0 |1800 |2749 |1800 | 265 | 735k|  12k|4965 | 0.000000e+00 | 1.213800e+04 |    Inf 
822.42/822.42	c   807s|  1070k|819352 |  2510k|   2.3 | 845M| 381 |   5 |1800 |3056 |1800 | 272 | 744k|  14k|4982 | 0.000000e+00 | 1.213800e+04 |    Inf 
830.61/830.64	c   815s|  1080k|829000 |  2542k|   2.4 | 855M| 381 |   7 |1800 |2723 |1800 | 200 | 753k|  15k|5009 | 0.000000e+00 | 1.213800e+04 |    Inf 
838.71/838.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
838.71/838.75	c   823s|  1090k|838747 |  2566k|   2.4 | 865M| 381 |  27 |1800 |2557 |1800 | 240 | 761k|  17k|5021 | 0.000000e+00 | 1.213800e+04 |    Inf 
847.02/847.04	c   831s|  1100k|848377 |  2597k|   2.4 | 876M| 381 |   0 |1800 |2816 |1800 | 267 | 770k|  18k|5038 | 0.000000e+00 | 1.213800e+04 |    Inf 
855.12/855.19	c   839s|  1110k|858098 |  2623k|   2.4 | 885M| 381 |   0 |1800 |2699 |1800 | 245 | 778k|  19k|5060 | 0.000000e+00 | 1.213800e+04 |    Inf 
863.42/863.43	c   847s|  1120k|867728 |  2651k|   2.4 | 896M| 381 |   0 |1800 |2732 |1800 | 230 | 786k|  21k|5073 | 0.000000e+00 | 1.213800e+04 |    Inf 
871.61/871.64	c   855s|  1130k|877388 |  2681k|   2.4 | 906M| 381 |   3 |1800 |2825 |1800 | 290 | 794k|  22k|5088 | 0.000000e+00 | 1.213800e+04 |    Inf 
878.82/878.84	o 11988
878.82/878.84	c * 862s|  1138k|877199 |  2710k|   2.4 | 906M| 381 |   - |1800 |2698 |1800 | 240 | 803k|  24k|5106 | 0.000000e+00 | 1.198800e+04 |    Inf 
880.02/880.01	c   863s|  1140k|878561 |  2713k|   2.4 | 908M| 381 |   0 |1800 |2685 |1800 | 254 | 804k|  24k|5106 | 0.000000e+00 | 1.198800e+04 |    Inf 
888.31/888.34	c   871s|  1150k|888183 |  2746k|   2.4 | 918M| 381 |  12 |1800 |2636 |1800 | 222 | 813k|  25k|5122 | 0.000000e+00 | 1.198800e+04 |    Inf 
890.71/890.74	o 11944
890.71/890.74	c * 874s|  1152k|888340 |  2756k|   2.4 | 918M| 381 |   - |1800 |2735 |1800 | 277 | 816k|  26k|5136 | 0.000000e+00 | 1.194400e+04 |    Inf 
896.72/896.73	c   879s|  1160k|895149 |  2779k|   2.4 | 925M| 381 |   0 |1800 |3075 |1800 | 253 | 823k|  27k|5149 | 0.000000e+00 | 1.194400e+04 |    Inf 
905.11/905.17	c   888s|  1170k|904656 |  2818k|   2.4 | 936M| 381 |   0 |1800 |2844 |1800 | 259 | 834k|  29k|5169 | 0.000000e+00 | 1.194400e+04 |    Inf 
913.51/913.52	c   896s|  1180k|914169 |  2853k|   2.4 | 946M| 381 |   4 |1800 |2929 |1800 | 246 | 845k|  31k|5187 | 0.000000e+00 | 1.194400e+04 |    Inf 
921.61/921.61	c   904s|  1190k|923801 |  2881k|   2.4 | 956M| 381 |   0 |1800 |2844 |1800 | 286 | 854k|  33k|5200 | 0.000000e+00 | 1.194400e+04 |    Inf 
929.91/929.92	c   912s|  1200k|933411 |  2915k|   2.4 | 967M| 381 |   0 |1800 |2878 |1800 | 287 | 863k|  34k|5224 | 0.000000e+00 | 1.194400e+04 |    Inf 
938.42/938.40	c   920s|  1210k|942952 |  2952k|   2.4 | 977M| 381 |   0 |1800 |2905 |1800 | 264 | 874k|  37k|5249 | 0.000000e+00 | 1.194400e+04 |    Inf 
946.71/946.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
946.71/946.70	c   929s|  1220k|952541 |  2985k|   2.4 | 987M| 381 |   0 |1800 |3089 |1800 | 254 | 883k|  38k|5261 | 0.000000e+00 | 1.194400e+04 |    Inf 
955.11/955.19	c   937s|  1230k|962088 |  3021k|   2.5 | 997M| 381 |  22 |1800 |2998 |1800 | 235 | 893k|  40k|5286 | 0.000000e+00 | 1.194400e+04 |    Inf 
963.52/963.51	c   945s|  1240k|971723 |  3051k|   2.5 |1007M| 381 |   4 |1800 |2828 |1800 | 249 | 902k|  42k|5302 | 0.000000e+00 | 1.194400e+04 |    Inf 
971.81/971.85	c   953s|  1250k|981321 |  3085k|   2.5 |1018M| 381 |   0 |1800 |2806 |1800 | 268 | 913k|  43k|5326 | 0.000000e+00 | 1.194400e+04 |    Inf 
980.02/980.10	c   961s|  1260k|990958 |  3116k|   2.5 |1028M| 381 |   0 |1800 |2962 |1800 | 273 | 922k|  45k|5338 | 0.000000e+00 | 1.194400e+04 |    Inf 
988.51/988.55	c   970s|  1270k|  1000k|  3149k|   2.5 |1038M| 381 |  26 |1800 |3247 |1800 | 284 | 933k|  47k|5360 | 0.000000e+00 | 1.194400e+04 |    Inf 
996.82/996.85	c   978s|  1280k|  1010k|  3180k|   2.5 |1048M| 381 |   5 |1800 |2843 |1800 | 265 | 942k|  49k|5379 | 0.000000e+00 | 1.194400e+04 |    Inf 
1003.62/1003.69	o 11934
1003.62/1003.69	c * 984s|  1288k|  1017k|  3208k|   2.5 |1056M| 381 |   - |1800 |3036 |1800 | 273 | 950k|  50k|5394 | 0.000000e+00 | 1.193400e+04 |    Inf 
1005.22/1005.29	c   986s|  1290k|  1019k|  3214k|   2.5 |1058M| 381 |   0 |1800 |2889 |1800 | 242 | 952k|  51k|5394 | 0.000000e+00 | 1.193400e+04 |    Inf 
1013.51/1013.59	c   994s|  1300k|  1028k|  3246k|   2.5 |1068M| 381 |   0 |1800 |2876 |1800 | 257 | 961k|  52k|5423 | 0.000000e+00 | 1.193400e+04 |    Inf 
1021.71/1021.76	c  1002s|  1310k|  1038k|  3276k|   2.5 |1078M| 381 |   5 |1800 |2819 |1800 | 253 | 970k|  54k|5435 | 0.000000e+00 | 1.193400e+04 |    Inf 
1030.11/1030.18	c  1010s|  1320k|  1047k|  3311k|   2.5 |1089M| 381 |   0 |1800 |2906 |1800 | 237 | 980k|  56k|5455 | 0.000000e+00 | 1.193400e+04 |    Inf 
1038.02/1038.00	o 11691
1038.02/1038.00	c *1018s|  1329k|  1041k|  3340k|   2.5 |1084M| 381 |   - |1800 |2958 |1800 | 252 | 989k|  58k|5471 | 0.000000e+00 | 1.169100e+04 |    Inf 
1038.51/1038.51	c  1019s|  1330k|  1042k|  3342k|   2.5 |1085M| 381 |   0 |1800 |2995 |1800 | 258 | 989k|  58k|5473 | 0.000000e+00 | 1.169100e+04 |    Inf 
1042.62/1042.62	o 11681
1042.62/1042.62	c *1023s|  1334k|  1046k|  3357k|   2.5 |1089M| 381 |   - |1800 |2990 |1800 | 254 | 994k|  59k|5487 | 0.000000e+00 | 1.168100e+04 |    Inf 
1047.32/1047.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1047.32/1047.34	c  1027s|  1340k|  1051k|  3384k|   2.5 |1094M| 381 |   8 |1800 |2852 |1800 | 258 | 999k|  60k|5501 | 0.000000e+00 | 1.168100e+04 |    Inf 
1055.82/1055.82	c  1036s|  1350k|  1060k|  3420k|   2.5 |1104M| 381 |   0 |1800 |2843 |1800 | 236 |1009k|  62k|5518 | 0.000000e+00 | 1.168100e+04 |    Inf 
1064.22/1064.24	c  1044s|  1360k|  1070k|  3454k|   2.5 |1114M| 381 |  15 |1800 |2944 |1800 | 270 |1018k|  64k|5537 | 0.000000e+00 | 1.168100e+04 |    Inf 
1072.42/1072.47	c  1052s|  1370k|  1079k|  3485k|   2.5 |1124M| 381 |   7 |1800 |2840 |1800 | 223 |1026k|  66k|5551 | 0.000000e+00 | 1.168100e+04 |    Inf 
1080.82/1080.88	c  1060s|  1380k|  1089k|  3519k|   2.6 |1135M| 381 |  16 |1800 |2975 |1800 | 274 |1035k|  68k|5568 | 0.000000e+00 | 1.168100e+04 |    Inf 
1089.02/1089.09	c  1068s|  1390k|  1099k|  3546k|   2.6 |1145M| 381 |   0 |1800 |3019 |1800 | 276 |1043k|  69k|5590 | 0.000000e+00 | 1.168100e+04 |    Inf 
1097.22/1097.28	c  1076s|  1400k|  1108k|  3573k|   2.6 |1155M| 381 |   0 |1800 |2837 |1800 | 246 |1050k|  70k|5605 | 0.000000e+00 | 1.168100e+04 |    Inf 
1105.43/1105.42	c  1084s|  1410k|  1118k|  3598k|   2.6 |1165M| 381 |   0 |1800 |2902 |1800 | 236 |1057k|  72k|5621 | 0.000000e+00 | 1.168100e+04 |    Inf 
1113.62/1113.63	c  1092s|  1420k|  1128k|  3625k|   2.6 |1175M| 381 |   0 |1800 |3107 |1800 | 256 |1065k|  74k|5638 | 0.000000e+00 | 1.168100e+04 |    Inf 
1121.62/1121.67	c  1100s|  1430k|  1137k|  3651k|   2.6 |1185M| 381 |   0 |1800 |3145 |1800 | 254 |1073k|  76k|5649 | 0.000000e+00 | 1.168100e+04 |    Inf 
1129.82/1129.89	c  1108s|  1440k|  1146k|  3681k|   2.6 |1195M| 381 |   0 |1800 |3198 |1800 | 243 |1082k|  78k|5660 | 0.000000e+00 | 1.168100e+04 |    Inf 
1138.02/1138.04	c  1116s|  1450k|  1156k|  3706k|   2.6 |1206M| 381 |   0 |1800 |3131 |1800 | 275 |1090k|  80k|5676 | 0.000000e+00 | 1.168100e+04 |    Inf 
1141.61/1141.62	o 11575
1141.61/1141.62	c *1120s|  1454k|  1153k|  3719k|   2.6 |1203M| 381 |   - |1800 |2895 |1800 | 251 |1093k|  81k|5688 | 0.000000e+00 | 1.157500e+04 |    Inf 
1143.41/1143.44	o 11488
1143.41/1143.44	c *1121s|  1456k|  1149k|  3723k|   2.6 |1199M| 381 |   - |1800 |3158 |1800 | 261 |1094k|  81k|5691 | 0.000000e+00 | 1.148800e+04 |    Inf 
1143.41/1143.46	o 11392
1143.41/1143.46	c *1121s|  1456k|  1143k|  3723k|   2.6 |1193M| 381 |   - |1800 |3157 |1800 | 261 |1094k|  81k|5691 | 0.000000e+00 | 1.139200e+04 |    Inf 
1146.42/1146.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1146.42/1146.44	c  1124s|  1460k|  1147k|  3732k|   2.6 |1196M| 381 |   0 |1800 |2910 |1800 | 259 |1096k|  82k|5691 | 0.000000e+00 | 1.139200e+04 |    Inf 
1146.82/1146.82	o 11255
1146.82/1146.82	c *1125s|  1460k|  1137k|  3732k|   2.6 |1185M| 381 |   - |1800 |2903 |1800 | 250 |1096k|  82k|5691 | 0.000000e+00 | 1.125500e+04 |    Inf 
1146.82/1146.86	o 11116
1146.82/1146.86	c *1125s|  1460k|  1127k|  3732k|   2.6 |1173M| 381 |   - |1800 |2902 |1800 | 250 |1096k|  82k|5691 | 0.000000e+00 | 1.111600e+04 |    Inf 
1154.82/1154.87	c  1133s|  1470k|  1136k|  3762k|   2.6 |1183M| 381 |   0 |1800 |3340 |1800 | 268 |1105k|  84k|5710 | 0.000000e+00 | 1.111600e+04 |    Inf 
1155.32/1155.33	o 11051
1155.32/1155.33	c *1133s|  1470k|  1131k|  3762k|   2.6 |1177M| 381 |   - |1800 |3276 |1800 | 248 |1105k|  84k|5710 | 0.000000e+00 | 1.105100e+04 |    Inf 
1163.22/1163.27	c  1141s|  1480k|  1140k|  3791k|   2.6 |1187M| 381 |   5 |1800 |3129 |1800 | 259 |1114k|  86k|5725 | 0.000000e+00 | 1.105100e+04 |    Inf 
1169.12/1169.18	o 10857
1169.12/1169.18	c *1147s|  1486k|  1130k|  3814k|   2.6 |1172M| 381 |   - |1800 |3202 |1800 | 241 |1120k|  88k|5741 | 0.000000e+00 | 1.085700e+04 |    Inf 
1171.72/1171.78	c  1149s|  1490k|  1133k|  3823k|   2.6 |1175M| 381 |   0 |1800 |3320 |1800 | 259 |1123k|  89k|5746 | 0.000000e+00 | 1.085700e+04 |    Inf 
1178.62/1178.61	o 10810
1178.62/1178.61	c *1156s|  1498k|  1137k|  3839k|   2.6 |1178M| 381 |   - |1800 |2888 |1800 | 257 |1127k|  90k|5755 | 0.000000e+00 | 1.081000e+04 |    Inf 
1179.82/1179.89	c  1157s|  1500k|  1138k|  3845k|   2.6 |1180M| 381 |   0 |1800 |3093 |1800 | 239 |1129k|  90k|5756 | 0.000000e+00 | 1.081000e+04 |    Inf 
1187.72/1187.74	c  1165s|  1510k|  1148k|  3861k|   2.6 |1190M| 381 |   0 |1800 |3108 |1800 | 281 |1134k|  91k|5765 | 0.000000e+00 | 1.081000e+04 |    Inf 
1195.92/1195.94	c  1173s|  1520k|  1158k|  3887k|   2.6 |1200M| 381 |   0 |1800 |3050 |1800 | 260 |1141k|  93k|5776 | 0.000000e+00 | 1.081000e+04 |    Inf 
1203.62/1203.68	c  1181s|  1530k|  1168k|  3903k|   2.6 |1210M| 381 |   0 |1800 |3040 |1800 | 266 |1145k|  94k|5782 | 0.000000e+00 | 1.081000e+04 |    Inf 
1211.72/1211.71	c  1188s|  1540k|  1177k|  3926k|   2.5 |1220M| 381 |   0 |1800 |3102 |1800 | 241 |1151k|  95k|5796 | 0.000000e+00 | 1.081000e+04 |    Inf 
1219.93/1219.95	c  1196s|  1550k|  1187k|  3955k|   2.6 |1230M| 381 |  24 |1800 |3438 |1800 | 269 |1158k|  97k|5810 | 0.000000e+00 | 1.081000e+04 |    Inf 
1228.22/1228.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1228.22/1228.22	c  1205s|  1560k|  1196k|  3985k|   2.6 |1240M| 381 |   0 |1800 |3082 |1800 | 244 |1167k|  99k|5820 | 0.000000e+00 | 1.081000e+04 |    Inf 
1231.42/1231.44	o 10803
1231.42/1231.44	c *1208s|  1563k|  1199k|  3995k|   2.6 |1244M| 381 |   - |1800 |3164 |1800 | 249 |1170k| 100k|5829 | 0.000000e+00 | 1.080300e+04 |    Inf 
1236.42/1236.48	c  1213s|  1570k|  1205k|  4015k|   2.6 |1250M| 381 |   0 |1800 |3361 |1800 | 269 |1175k| 101k|5831 | 0.000000e+00 | 1.080300e+04 |    Inf 
1244.42/1244.48	c  1221s|  1580k|  1215k|  4036k|   2.6 |1260M| 381 |   0 |1800 |3194 |1800 | 281 |1181k| 103k|5841 | 0.000000e+00 | 1.080300e+04 |    Inf 
1252.72/1252.73	c  1229s|  1590k|  1224k|  4065k|   2.6 |1271M| 381 |   0 |1800 |3476 |1800 | 290 |1190k| 105k|5860 | 0.000000e+00 | 1.080300e+04 |    Inf 
1261.22/1261.23	c  1237s|  1600k|  1233k|  4098k|   2.6 |1281M| 381 |  14 |1800 |3250 |1800 | 256 |1200k| 108k|5873 | 0.000000e+00 | 1.080300e+04 |    Inf 
1264.12/1264.11	o 10798
1264.12/1264.11	c *1240s|  1603k|  1236k|  4108k|   2.6 |1284M| 381 |   - |1800 |3238 |1800 | 273 |1203k| 109k|5877 | 0.000000e+00 | 1.079800e+04 |    Inf 
1269.53/1269.52	c  1245s|  1610k|  1242k|  4129k|   2.6 |1291M| 381 |   5 |1800 |3329 |1800 | 236 |1209k| 111k|5883 | 0.000000e+00 | 1.079800e+04 |    Inf 
1277.32/1277.30	c  1253s|  1620k|  1252k|  4148k|   2.6 |1301M| 381 |   0 |1800 |3023 |1800 | 232 |1214k| 112k|5894 | 0.000000e+00 | 1.079800e+04 |    Inf 
1285.32/1285.39	c  1261s|  1630k|  1262k|  4172k|   2.6 |1311M| 381 |   0 |1800 |2941 |1800 | 273 |1221k| 113k|5907 | 0.000000e+00 | 1.079800e+04 |    Inf 
1293.52/1293.58	c  1269s|  1640k|  1271k|  4202k|   2.6 |1321M| 381 |  24 |1800 |3071 |1800 | 254 |1229k| 115k|5925 | 0.000000e+00 | 1.079800e+04 |    Inf 
1301.33/1301.32	c  1276s|  1650k|  1281k|  4217k|   2.6 |1331M| 381 |   0 |1800 |3001 |1800 | 257 |1234k| 116k|5935 | 0.000000e+00 | 1.079800e+04 |    Inf 
1309.42/1309.46	c  1284s|  1660k|  1290k|  4244k|   2.6 |1341M| 381 |  13 |1800 |3255 |1800 | 256 |1242k| 118k|5943 | 0.000000e+00 | 1.079800e+04 |    Inf 
1317.12/1317.14	o 10656
1317.12/1317.14	c *1292s|  1669k|  1286k|  4270k|   2.6 |1334M| 381 |   - |1800 |3321 |1800 | 270 |1249k| 120k|5951 | 0.000000e+00 | 1.065600e+04 |    Inf 
1317.62/1317.69	c  1292s|  1670k|  1287k|  4272k|   2.6 |1335M| 381 |   0 |1800 |3332 |1800 | 239 |1250k| 120k|5956 | 0.000000e+00 | 1.065600e+04 |    Inf 
1325.93/1325.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1325.93/1325.93	c  1300s|  1680k|  1296k|  4299k|   2.6 |1345M| 381 |   0 |1800 |3452 |1800 | 242 |1258k| 123k|5969 | 0.000000e+00 | 1.065600e+04 |    Inf 
1334.23/1334.20	c  1309s|  1690k|  1306k|  4329k|   2.6 |1355M| 381 |  17 |1800 |3437 |1800 | 255 |1267k| 125k|5978 | 0.000000e+00 | 1.065600e+04 |    Inf 
1342.42/1342.46	c  1317s|  1700k|  1315k|  4356k|   2.6 |1366M| 381 |   0 |1800 |3622 |1800 | 234 |1276k| 127k|5990 | 0.000000e+00 | 1.065600e+04 |    Inf 
1350.73/1350.75	c  1325s|  1710k|  1325k|  4384k|   2.6 |1376M| 381 |  12 |1800 |3456 |1800 | 290 |1284k| 129k|6005 | 0.000000e+00 | 1.065600e+04 |    Inf 
1358.93/1358.93	c  1333s|  1720k|  1334k|  4411k|   2.6 |1386M| 381 |  10 |1800 |3202 |1800 | 249 |1292k| 131k|6019 | 0.000000e+00 | 1.065600e+04 |    Inf 
1366.93/1366.94	c  1341s|  1730k|  1344k|  4434k|   2.6 |1396M| 381 |   4 |1800 |3262 |1800 | 230 |1299k| 133k|6030 | 0.000000e+00 | 1.065600e+04 |    Inf 
1375.03/1375.02	c  1349s|  1740k|  1353k|  4458k|   2.6 |1407M| 381 |   0 |1800 |3232 |1800 | 243 |1306k| 135k|6042 | 0.000000e+00 | 1.065600e+04 |    Inf 
1383.22/1383.21	c  1357s|  1750k|  1362k|  4487k|   2.6 |1417M| 381 |   0 |1800 |3606 |1800 | 251 |1314k| 137k|6054 | 0.000000e+00 | 1.065600e+04 |    Inf 
1390.02/1390.09	c  1363s|  1760k|  1372k|  4490k|   2.6 |1427M| 381 |   0 |1800 |3439 |1800 | 257 |1315k| 137k|6060 | 0.000000e+00 | 1.065600e+04 |    Inf 
1397.12/1397.18	c  1370s|  1770k|  1382k|  4495k|   2.5 |1436M| 381 |   0 |1800 |3437 |1800 | 249 |1316k| 138k|6062 | 0.000000e+00 | 1.065600e+04 |    Inf 
1404.02/1404.09	c  1377s|  1780k|  1392k|  4500k|   2.5 |1446M| 381 |   0 |1800 |3434 |1800 | 254 |1317k| 138k|6063 | 0.000000e+00 | 1.065600e+04 |    Inf 
1410.63/1410.64	c  1384s|  1790k|  1402k|  4501k|   2.5 |1455M| 381 |   0 |1800 |3383 |1800 | 263 |1318k| 138k|6063 | 0.000000e+00 | 1.065600e+04 |    Inf 
1417.52/1417.54	c  1390s|  1800k|  1412k|  4507k|   2.5 |1465M| 381 |   0 |1800 |3418 |1800 | 260 |1319k| 138k|6063 | 0.000000e+00 | 1.065600e+04 |    Inf 
1425.02/1425.07	c  1398s|  1810k|  1422k|  4516k|   2.5 |1475M| 381 |   0 |1800 |3201 |1800 | 232 |1322k| 139k|6072 | 0.000000e+00 | 1.065600e+04 |    Inf 
1433.02/1433.04	c  1406s|  1820k|  1432k|  4537k|   2.5 |1485M| 381 |   0 |1800 |3080 |1800 | 238 |1328k| 140k|6078 | 0.000000e+00 | 1.065600e+04 |    Inf 
1436.32/1436.30	o 10640
1436.32/1436.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1436.32/1436.30	c *1409s|  1824k|  1434k|  4545k|   2.5 |1487M| 381 |   - |1800 |3193 |1800 | 280 |1330k| 141k|6085 | 0.000000e+00 | 1.064000e+04 |    Inf 
1441.23/1441.26	c  1414s|  1830k|  1439k|  4563k|   2.5 |1493M| 381 |   0 |1800 |3565 |1800 | 257 |1336k| 143k|6093 | 0.000000e+00 | 1.064000e+04 |    Inf 
1449.33/1449.39	c  1422s|  1840k|  1449k|  4588k|   2.5 |1504M| 381 |   0 |1800 |3082 |1800 | 300 |1344k| 145k|6107 | 0.000000e+00 | 1.064000e+04 |    Inf 
1457.23/1457.25	c  1429s|  1850k|  1459k|  4606k|   2.5 |1513M| 381 |   0 |1800 |3077 |1800 | 297 |1349k| 146k|6110 | 0.000000e+00 | 1.064000e+04 |    Inf 
1465.42/1465.43	c  1437s|  1860k|  1468k|  4633k|   2.5 |1524M| 381 |   2 |1800 |2906 |1800 | 272 |1355k| 147k|6121 | 0.000000e+00 | 1.064000e+04 |    Inf 
1473.52/1473.54	c  1445s|  1870k|  1478k|  4658k|   2.5 |1534M| 381 |   0 |1800 |3280 |1800 | 241 |1362k| 149k|6132 | 0.000000e+00 | 1.064000e+04 |    Inf 
1482.33/1482.39	c  1454s|  1880k|  1487k|  4695k|   2.5 |1545M| 381 |  19 |1800 |3506 |1800 | 282 |1368k| 151k|6152 | 0.000000e+00 | 1.064000e+04 |    Inf 
1490.62/1490.64	o 10536
1490.62/1490.64	c *1462s|  1889k|  1487k|  4723k|   2.5 |1542M| 381 |   - |1800 |3195 |1800 | 256 |1375k| 153k|6170 | 0.000000e+00 | 1.053600e+04 |    Inf 
1490.72/1490.71	c  1462s|  1890k|  1487k|  4723k|   2.5 |1542M| 381 |  21 |1800 |3157 |1800 | 253 |1376k| 153k|6170 | 0.000000e+00 | 1.053600e+04 |    Inf 
1498.52/1498.52	c  1470s|  1900k|  1496k|  4741k|   2.5 |1552M| 381 |   0 |1800 |3215 |1800 | 250 |1379k| 154k|6172 | 0.000000e+00 | 1.053600e+04 |    Inf 
1505.63/1505.69	c  1477s|  1910k|  1506k|  4751k|   2.5 |1562M| 381 |   0 |1800 |3403 |1800 | 250 |1381k| 154k|6178 | 0.000000e+00 | 1.053600e+04 |    Inf 
1513.03/1513.09	c  1484s|  1920k|  1516k|  4763k|   2.5 |1572M| 381 |   0 |1800 |3294 |1800 | 245 |1385k| 155k|6178 | 0.000000e+00 | 1.053600e+04 |    Inf 
1520.63/1520.61	c  1492s|  1930k|  1526k|  4777k|   2.5 |1582M| 381 |   0 |1800 |3126 |1800 | 271 |1388k| 155k|6187 | 0.000000e+00 | 1.053600e+04 |    Inf 
1527.13/1527.18	c  1498s|  1940k|  1536k|  4778k|   2.5 |1591M| 381 |   0 |1800 |3064 |1800 | 263 |1388k| 155k|6187 | 0.000000e+00 | 1.053600e+04 |    Inf 
1534.43/1534.43	c  1505s|  1950k|  1546k|  4787k|   2.5 |1601M| 381 |   0 |1800 |3386 |1800 | 245 |1391k| 156k|6190 | 0.000000e+00 | 1.053600e+04 |    Inf 
1542.63/1542.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1542.63/1542.68	c  1513s|  1960k|  1555k|  4814k|   2.5 |1612M| 381 |   0 |1800 |3528 |1800 | 256 |1398k| 158k|6201 | 0.000000e+00 | 1.053600e+04 |    Inf 
1550.53/1550.51	c  1521s|  1970k|  1565k|  4830k|   2.5 |1622M| 381 |   3 |1800 |3270 |1800 | 217 |1403k| 159k|6203 | 0.000000e+00 | 1.053600e+04 |    Inf 
1558.53/1558.57	c  1529s|  1980k|  1574k|  4854k|   2.5 |1632M| 381 |   0 |1800 |3223 |1800 | 253 |1409k| 161k|6210 | 0.000000e+00 | 1.053600e+04 |    Inf 
1565.93/1565.96	c  1536s|  1990k|  1584k|  4867k|   2.4 |1642M| 381 |   0 |1800 |3265 |1800 | 260 |1413k| 162k|6220 | 0.000000e+00 | 1.053600e+04 |    Inf 
1573.13/1573.13	c  1543s|  2000k|  1594k|  4875k|   2.4 |1651M| 381 |   0 |1800 |3223 |1800 | 260 |1415k| 163k|6220 | 0.000000e+00 | 1.053600e+04 |    Inf 
1581.12/1581.13	c  1551s|  2010k|  1603k|  4897k|   2.4 |1661M| 381 |   0 |1800 |3124 |1800 | 279 |1422k| 164k|6228 | 0.000000e+00 | 1.053600e+04 |    Inf 
1589.23/1589.28	c  1559s|  2020k|  1613k|  4922k|   2.4 |1671M| 381 |   0 |1800 |3196 |1800 | 261 |1428k| 166k|6238 | 0.000000e+00 | 1.053600e+04 |    Inf 
1596.53/1596.53	c  1566s|  2030k|  1623k|  4935k|   2.4 |1681M| 381 |   0 |1800 |3301 |1800 | 262 |1432k| 167k|6245 | 0.000000e+00 | 1.053600e+04 |    Inf 
1604.63/1604.61	c  1574s|  2040k|  1632k|  4959k|   2.4 |1691M| 381 |   0 |1800 |3212 |1800 | 255 |1438k| 169k|6256 | 0.000000e+00 | 1.053600e+04 |    Inf 
1611.72/1611.71	c  1581s|  2050k|  1642k|  4969k|   2.4 |1701M| 381 |   0 |1800 |3376 |1800 | 235 |1441k| 170k|6258 | 0.000000e+00 | 1.053600e+04 |    Inf 
1619.83/1619.80	c  1589s|  2060k|  1652k|  4995k|   2.4 |1712M| 381 |   7 |1800 |3365 |1800 | 237 |1449k| 172k|6266 | 0.000000e+00 | 1.053600e+04 |    Inf 
1627.53/1627.58	c  1596s|  2070k|  1661k|  5015k|   2.4 |1722M| 381 |   0 |1800 |3450 |1800 | 255 |1455k| 174k|6274 | 0.000000e+00 | 1.053600e+04 |    Inf 
1635.53/1635.51	c  1604s|  2080k|  1671k|  5036k|   2.4 |1732M| 381 |   0 |1800 |3210 |1800 | 235 |1461k| 175k|6285 | 0.000000e+00 | 1.053600e+04 |    Inf 
1640.14/1640.14	o 10429
1640.14/1640.14	c *1609s|  2085k|  1666k|  5050k|   2.4 |1725M| 381 |   - |1800 |3385 |1800 | 248 |1466k| 176k|6291 | 0.000000e+00 | 1.042900e+04 |    Inf 
1641.93/1641.93	o 10346
1641.93/1641.93	c *1611s|  2087k|  1659k|  5056k|   2.4 |1718M| 381 |   - |1800 |3346 |1800 | 265 |1467k| 177k|6294 | 0.000000e+00 | 1.034600e+04 |    Inf 
1643.83/1643.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1643.83/1643.84	c  1612s|  2090k|  1662k|  5063k|   2.4 |1720M| 381 |   0 |1800 |3552 |1800 | 276 |1469k| 178k|6294 | 0.000000e+00 | 1.034600e+04 |    Inf 
1651.23/1651.28	c  1620s|  2100k|  1671k|  5077k|   2.4 |1730M| 381 |   0 |1800 |3265 |1800 | 271 |1473k| 179k|6302 | 0.000000e+00 | 1.034600e+04 |    Inf 
1658.73/1658.78	c  1627s|  2110k|  1681k|  5089k|   2.4 |1740M| 381 |   0 |1800 |3408 |1800 | 225 |1477k| 180k|6305 | 0.000000e+00 | 1.034600e+04 |    Inf 
1659.83/1659.86	o 10254
1659.83/1659.86	c *1628s|  2111k|  1673k|  5094k|   2.4 |1731M| 381 |   - |1800 |3522 |1800 | 231 |1479k| 180k|6305 | 0.000000e+00 | 1.025400e+04 |    Inf 
1666.93/1666.96	c  1635s|  2120k|  1681k|  5114k|   2.4 |1740M| 381 |   0 |1800 |3183 |1800 | 253 |1485k| 182k|6313 | 0.000000e+00 | 1.025400e+04 |    Inf 
1674.73/1674.76	c  1643s|  2130k|  1691k|  5132k|   2.4 |1750M| 381 |   0 |1800 |3400 |1800 | 273 |1490k| 183k|6321 | 0.000000e+00 | 1.025400e+04 |    Inf 
1682.64/1682.64	c  1651s|  2140k|  1700k|  5149k|   2.4 |1760M| 381 |   0 |1800 |3283 |1800 | 260 |1495k| 185k|6329 | 0.000000e+00 | 1.025400e+04 |    Inf 
1684.23/1684.21	o 10237
1684.23/1684.21	c *1652s|  2141k|  1700k|  5153k|   2.4 |1760M| 381 |   - |1800 |3394 |1800 | 255 |1496k| 185k|6329 | 0.000000e+00 | 1.023700e+04 |    Inf 
1684.23/1684.24	o 10231
1684.23/1684.24	c *1652s|  2141k|  1700k|  5153k|   2.4 |1760M| 381 |   - |1800 |3394 |1800 | 255 |1496k| 185k|6329 | 0.000000e+00 | 1.023100e+04 |    Inf 
1690.33/1690.35	o 10123
1690.33/1690.35	c *1658s|  2149k|  1696k|  5170k|   2.4 |1755M| 381 |   - |1800 |3291 |1800 | 234 |1502k| 187k|6337 | 0.000000e+00 | 1.012300e+04 |    Inf 
1690.83/1690.83	c  1659s|  2150k|  1696k|  5172k|   2.4 |1756M| 381 |   0 |1800 |3197 |1800 | 257 |1502k| 187k|6337 | 0.000000e+00 | 1.012300e+04 |    Inf 
1698.73/1698.77	c  1666s|  2160k|  1706k|  5191k|   2.4 |1766M| 381 |   0 |1800 |3271 |1800 | 286 |1508k| 188k|6343 | 0.000000e+00 | 1.012300e+04 |    Inf 
1706.33/1706.31	c  1674s|  2170k|  1715k|  5207k|   2.4 |1776M| 381 |   0 |1800 |3241 |1800 | 243 |1512k| 190k|6352 | 0.000000e+00 | 1.012300e+04 |    Inf 
1714.33/1714.38	c  1682s|  2180k|  1725k|  5232k|   2.4 |1786M| 381 |   0 |1800 |3349 |1800 | 255 |1519k| 192k|6363 | 0.000000e+00 | 1.012300e+04 |    Inf 
1717.93/1717.98	o 10047
1717.93/1717.98	c *1685s|  2184k|  1721k|  5242k|   2.4 |1781M| 381 |   - |1800 |3281 |1800 | 254 |1522k| 193k|6369 | 0.000000e+00 | 1.004700e+04 |    Inf 
1718.03/1718.02	o 9969
1718.03/1718.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1718.03/1718.02	c *1685s|  2184k|  1713k|  5242k|   2.4 |1771M| 381 |   - |1800 |3279 |1800 | 254 |1522k| 193k|6369 | 0.000000e+00 | 9.969000e+03 |    Inf 
1722.63/1722.63	c  1690s|  2190k|  1718k|  5258k|   2.4 |1777M| 381 |   0 |1800 |3307 |1800 | 252 |1526k| 194k|6373 | 0.000000e+00 | 9.969000e+03 |    Inf 
1730.73/1730.71	c  1698s|  2200k|  1727k|  5282k|   2.4 |1787M| 381 |   0 |1800 |3756 |1800 | 269 |1534k| 197k|6382 | 0.000000e+00 | 9.969000e+03 |    Inf 
1738.04/1738.09	c  1705s|  2210k|  1737k|  5294k|   2.4 |1797M| 381 |   0 |1800 |3373 |1800 | 254 |1537k| 198k|6390 | 0.000000e+00 | 9.969000e+03 |    Inf 
1746.03/1746.06	c  1713s|  2220k|  1747k|  5313k|   2.4 |1807M| 381 |   0 |1800 |3380 |1800 | 261 |1543k| 199k|6392 | 0.000000e+00 | 9.969000e+03 |    Inf 
1753.93/1753.91	c  1720s|  2230k|  1756k|  5334k|   2.4 |1817M| 381 |   - |1800 |3567 |   0 |   0 |1549k| 201k|6397 | 0.000000e+00 | 9.969000e+03 |    Inf 
1753.93/1753.96	o 9967
1753.93/1753.96	c *1721s|  2230k|  1756k|  5334k|   2.4 |1817M| 381 |   - |1800 |3586 |1800 | 268 |1549k| 201k|6397 | 0.000000e+00 | 9.967000e+03 |    Inf 
1761.93/1761.98	c  1728s|  2240k|  1765k|  5355k|   2.4 |1827M| 381 |   0 |1800 |3467 |1800 | 264 |1554k| 203k|6409 | 0.000000e+00 | 9.967000e+03 |    Inf 
1770.03/1770.02	c  1736s|  2250k|  1775k|  5377k|   2.4 |1837M| 381 |   0 |1800 |3341 |1800 | 259 |1560k| 205k|6415 | 0.000000e+00 | 9.967000e+03 |    Inf 
1778.13/1778.16	c  1744s|  2260k|  1784k|  5403k|   2.4 |1847M| 381 |  44 |1800 |3500 |1800 | 226 |1568k| 207k|6423 | 0.000000e+00 | 9.967000e+03 |    Inf 
1780.13/1780.12	o 9855
1780.13/1780.12	c *1746s|  2262k|  1774k|  5409k|   2.4 |1834M| 381 |   - |1800 |3579 |1800 | 244 |1570k| 208k|6425 | 0.000000e+00 | 9.855000e+03 |    Inf 
1786.23/1786.29	c  1752s|  2270k|  1781k|  5425k|   2.4 |1842M| 381 |   0 |1800 |3510 |1800 | 249 |1575k| 210k|6431 | 0.000000e+00 | 9.855000e+03 |    Inf 
1794.14/1794.19	c  1760s|  2280k|  1791k|  5445k|   2.4 |1852M| 381 |   0 |1800 |3639 |1800 | 247 |1581k| 212k|6439 | 0.000000e+00 | 9.855000e+03 |    Inf 
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) : 1765.69
1800.04/1800.00	c Solving Nodes      : 2287867
1800.04/1800.00	c Primal Bound       : +9.85500000000000e+03 (132 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/1800.01	v x200 -x199 -x198 x197 x196 -x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 -x182 x181 x180 -x179 -x178 
1800.04/1800.01	v x177 -x176 x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 
1800.04/1800.01	v -x154 x153 x152 -x151 x150 -x149 -x148 x147 x146 -x145 x144 -x143 -x142 x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132 
1800.04/1800.01	v x131 x130 -x129 -x128 x127 -x126 x125 x124 -x123 x122 -x121 -x120 x119 x118 -x117 -x116 x115 -x114 x113 x112 -x111 -x110 x109 
1800.04/1800.01	v x108 -x107 x106 -x105 -x104 x103 x102 -x101 x100 -x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 x86 -x85 x84 
1800.04/1800.01	v -x83 -x82 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 x56 
1800.04/1800.01	v -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 x30 -x29 x28 
1800.04/1800.01	v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 x4 -x3 -x2 x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1765.69
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2699972-1278533864.wbo
1800.04/1800.01	c   Variables        : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1800.01	c   Constraints      : 1801 initial, 1801 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2699972-1278533864.wbo
1800.04/1800.01	c   Variables        : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1800.01	c   Constraints      : 1700 initial, 3994 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.02          0        100          0        850          0        101          0          0
1800.04/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0    2549419          0          0          0          0          0    1166756
1800.04/1800.01	c   indicator        :        850          0    3336524    1966041          0        897    6003136          0          0          0
1800.04/1800.01	c   linear           :        850          6    3335092    1965635          0       4915    1272766    1584175          0          0
1800.04/1800.01	c   logicor          :          0+         0    1086862          0          0        141     621240          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0    1681053          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      10.73       0.00       0.00      10.73       0.00
1800.04/1800.01	c   indicator        :     142.47       0.03      35.54     106.90       0.00
1800.04/1800.01	c   linear           :      39.38       0.00      20.36      19.02       0.00
1800.04/1800.01	c   logicor          :       7.55       0.00       7.55       0.00       0.00
1800.04/1800.01	c   countsols        :       0.42       0.00       0.00       0.42       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.82          2          0          0
1800.04/1800.01	c   rootredcost      :       0.88         32          0          0
1800.04/1800.01	c   pseudoobj        :      57.72    3360618      24294    3835425
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       1.89      29350      29349     234768       37.8      17108        4.3          -
1800.04/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.02         92         92        814       34.6         86        4.9          -
1800.04/1800.01	c   applied globally :          -          -          -     213107       34.0          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 26)
1800.04/1800.01	c   redcost          :      90.37    2556415          0     864612          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          5          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.01          5          0          0         28          0
1800.04/1800.01	c   strongcg         :       0.01          5          0          0          0          0
1800.04/1800.01	c   cmir             :       0.01          5          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.02          5          0          0          0          0
1800.04/1800.01	c   clique           :       0.00          1          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :       9.62     583378          0          0          0          0    1166756
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :     116.03    1681021          0          0          0          0    3362042
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       1.05          -         32
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   feaspump         :       0.02          0          0
1800.04/1800.01	c   oneopt           :       1.23         29          0
1800.04/1800.01	c   intshifting      :       0.07         32          0
1800.04/1800.01	c   crossover        :       2.00        105          0
1800.04/1800.01	c   veclendiving     :      18.71      34146          0
1800.04/1800.01	c   guideddiving     :      17.43      34146          0
1800.04/1800.01	c   coefdiving       :      18.16      34146          0
1800.04/1800.01	c   pscostdiving     :      17.85      34146          0
1800.04/1800.01	c   fracdiving       :      17.92      34146          0
1800.04/1800.01	c   linesearchdiving :      17.44      34147          0
1800.04/1800.01	c   objpscostdiving  :      19.10      34050          0
1800.04/1800.01	c   rootsoldiving    :      18.60      34050          0
1800.04/1800.01	c   trivial          :       0.01          2          1
1800.04/1800.01	c   simplerounding   :       1.38     583928          0
1800.04/1800.01	c   zirounding       :       0.50       1000          0
1800.04/1800.01	c   rounding         :       1.06      10712          0
1800.04/1800.01	c   shifting         :       1.88       3384          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.01          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.61          0          0
1800.04/1800.01	c   trysol           :       1.15      38646         99
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :     695.12     974561    5448100       5.59    7837.64
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       0.71       1651       5642       3.42    7946.48
1800.04/1800.01	c   strong branching :       5.69       6440      69887      10.85   12282.43
1800.04/1800.01	c     (at root node) :          -         33       1847      55.97          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :    2287867
1800.04/1800.01	c   nodes (total)    :    2287867
1800.04/1800.01	c   nodes left       :    1798869
1800.04/1800.01	c   max depth        :        381
1800.04/1800.01	c   max depth (total):        381
1800.04/1800.01	c   backtracks       :      44214 (1.9%)
1800.04/1800.01	c   delayed cutoffs  :       6816
1800.04/1800.01	c   repropagations   :      34705 (1949774 domain reductions, 6813 cutoffs)
1800.04/1800.01	c   avg switch length:       2.62
1800.04/1800.01	c   switching time   :      80.83
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        132 (33 improvements)
1800.04/1800.01	c   First Solution   : +4.20925000000000e+05   (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01	c   Primal Bound     : +9.85500000000000e+03   (in run 1, after 2262367 nodes, 1746.13 seconds, depth 75, found by <relaxation>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :        235

Verifier Data 

OK	9855

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699972-1278533864/watcher-2699972-1278533864 -o /tmp/evaluation-result-2699972-1278533864/solver-2699972-1278533864 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699972-1278533864.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: 0.67 0.20 0.07 4/178 20119
/proc/meminfo: memFree=29483856/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=9412 CPUtime=0
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 1649 0 0 0 0 0 0 0 25 0 1 0 21599350 9637888 1569 4089446400 4194304 8223781 140737475894448 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/20119/statm: 2353 1577 369 984 0 1366 0

[startup+0.0794759 s]
/proc/loadavg: 0.67 0.20 0.07 4/178 20119
/proc/meminfo: memFree=29483856/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=23184 CPUtime=0.07
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 6099 0 0 0 7 0 0 0 25 0 1 0 21599350 23740416 4873 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 5796 4873 563 984 0 4809 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23184

[startup+0.100475 s]
/proc/loadavg: 0.67 0.20 0.07 4/178 20119
/proc/meminfo: memFree=29483856/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=23636 CPUtime=0.09
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 6217 0 0 0 9 0 0 0 25 0 1 0 21599350 24203264 4991 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 5909 4991 564 984 0 4922 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23636

[startup+0.300455 s]
/proc/loadavg: 0.67 0.20 0.07 4/178 20119
/proc/meminfo: memFree=29483856/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=23884 CPUtime=0.29
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 9379 0 0 0 27 2 0 0 25 0 1 0 21599350 24457216 5085 4089446400 4194304 8223781 140737475894448 18446744073709551615 6591942 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 5971 5085 578 984 0 4984 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23884

[startup+0.700366 s]
/proc/loadavg: 0.67 0.20 0.07 4/178 20119
/proc/meminfo: memFree=29483856/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=23884 CPUtime=0.69
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 9379 0 0 0 67 2 0 0 25 0 1 0 21599350 24457216 5085 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 5971 5085 578 984 0 4984 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23884

[startup+1.50023 s]
/proc/loadavg: 0.67 0.20 0.07 3/179 20120
/proc/meminfo: memFree=29464752/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=24428 CPUtime=1.49
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 9482 0 0 0 144 5 0 0 25 0 1 0 21599350 25014272 5188 4089446400 4194304 8223781 140737475894448 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 6107 5188 580 984 0 5120 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24428

[startup+3.10095 s]
/proc/loadavg: 0.67 0.20 0.07 3/179 20120
/proc/meminfo: memFree=29462892/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=28768 CPUtime=3.09
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 16781 0 0 0 300 9 0 0 25 0 1 0 21599350 29458432 6241 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 7192 6241 582 984 0 6205 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28768

[startup+6.30039 s]
/proc/loadavg: 0.78 0.23 0.08 3/179 20120
/proc/meminfo: memFree=29458804/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=32656 CPUtime=6.29
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 23995 0 0 0 612 17 0 0 25 0 1 0 21599350 33439744 7218 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 8164 7218 582 984 0 7177 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32656

[startup+12.7003 s]
/proc/loadavg: 0.88 0.26 0.09 3/179 20120
/proc/meminfo: memFree=29450456/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=40628 CPUtime=12.69
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 29132 0 0 0 1239 30 0 0 25 0 1 0 21599350 41603072 9240 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 10157 9240 582 984 0 9170 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40628

[startup+25.501 s]
/proc/loadavg: 1.06 0.33 0.11 3/179 20193
/proc/meminfo: memFree=29729496/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=54476 CPUtime=25.5
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 35753 0 0 0 2492 58 0 0 25 0 1 0 21599350 55783424 12753 4089446400 4194304 8223781 140737475894448 18446744073709551615 6455710 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 13619 12753 582 984 0 12632 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 54476

[startup+51.1005 s]
/proc/loadavg: 1.38 0.46 0.16 3/179 20194
/proc/meminfo: memFree=29699476/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=85328 CPUtime=51.09
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 49810 0 0 0 4997 112 0 0 25 0 1 0 21599350 87375872 20574 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 21332 20574 582 984 0 20345 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85328

[startup+102.307 s]
/proc/loadavg: 1.73 0.70 0.25 3/179 20225
/proc/meminfo: memFree=29522372/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=145536 CPUtime=102.3
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 67702 0 0 0 10017 213 0 0 25 0 1 0 21599350 149028864 35343 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 36384 35343 582 984 0 35397 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 145536

[startup+162.301 s]
/proc/loadavg: 1.90 0.93 0.36 3/179 20227
/proc/meminfo: memFree=29363956/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=216700 CPUtime=162.29
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 85771 0 0 0 15906 323 0 0 25 0 1 0 21599350 221900800 53411 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 54175 53411 582 984 0 53188 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 216700

[startup+222.3 s]
/proc/loadavg: 1.96 1.12 0.46 3/179 20229
/proc/meminfo: memFree=29214716/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=294108 CPUtime=222.3
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 107502 0 0 0 21792 438 0 0 25 0 1 0 21599350 301166592 72030 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 73527 72030 582 984 0 72540 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 294108

[startup+282.301 s]
/proc/loadavg: 1.98 1.28 0.55 3/179 20231
/proc/meminfo: memFree=29081604/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=371680 CPUtime=282.29
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 127192 0 0 0 27679 550 0 0 25 0 1 0 21599350 380600320 91720 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 92920 91720 582 984 0 91933 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 371680

[startup+342.3 s]
/proc/loadavg: 1.99 1.41 0.64 3/179 20232
/proc/meminfo: memFree=28964608/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=446244 CPUtime=342.3
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 149267 0 0 0 33560 670 0 0 25 0 1 0 21599350 456953856 110675 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 111561 110675 582 984 0 110574 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 446244

[startup+402.301 s]
/proc/loadavg: 1.99 1.51 0.72 3/179 20233
/proc/meminfo: memFree=28853812/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=530568 CPUtime=402.3
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 168592 0 0 0 39445 785 0 0 25 0 1 0 21599350 543301632 130000 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 132642 130000 582 984 0 131655 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 530568

[startup+462.3 s]
/proc/loadavg: 1.99 1.60 0.80 3/179 20235
/proc/meminfo: memFree=28732108/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=609200 CPUtime=462.31
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 188562 0 0 0 45327 904 0 0 25 0 1 0 21599350 623820800 149970 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 152300 149970 586 984 0 151313 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 609200

[startup+522.301 s]
/proc/loadavg: 1.99 1.67 0.87 3/179 20237
/proc/meminfo: memFree=28620328/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=694020 CPUtime=522.3
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 210092 0 0 0 51210 1020 0 0 25 0 1 0 21599350 710676480 171500 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 173505 171500 586 984 0 172518 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 694020

[startup+582.3 s]
/proc/loadavg: 1.99 1.73 0.94 3/179 20239
/proc/meminfo: memFree=28504072/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=779728 CPUtime=582.3
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 231871 0 0 0 57097 1133 0 0 25 0 1 0 21599350 798441472 193279 4089446400 4194304 8223781 140737475894448 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 194932 193279 586 984 0 193945 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 779728

[startup+642.301 s]
/proc/loadavg: 1.99 1.77 1.00 3/179 20240
/proc/meminfo: memFree=28381508/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=865968 CPUtime=642.31
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 256902 0 0 0 62987 1244 0 0 25 0 1 0 21599350 886751232 215195 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 216492 215195 586 984 0 215505 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 865968

[startup+702.3 s]

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

/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 431349 0 0 0 98302 1929 0 0 25 0 1 0 21599350 1158172672 277816 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 282757 277816 588 984 0 281770 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1131028

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/179 20251
/proc/meminfo: memFree=27876908/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1190452 CPUtime=1062.31
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 477598 0 0 0 104183 2048 0 0 25 0 1 0 21599350 1219022848 292797 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 297613 292797 588 984 0 296626 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1190452

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/179 20253
/proc/meminfo: memFree=27779136/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1261484 CPUtime=1122.32
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 497518 0 0 0 110068 2164 0 0 25 0 1 0 21599350 1291759616 310712 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 315371 310712 588 984 0 314384 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1261484

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.43 3/179 20255
/proc/meminfo: memFree=27727612/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1290604 CPUtime=1182.32
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 562573 0 0 0 115952 2280 0 0 25 0 1 0 21599350 1321578496 318008 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 322651 318008 588 984 0 321664 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1290604

[startup+1242.3 s]
/proc/loadavg: 2.06 1.98 1.47 3/179 20256
/proc/meminfo: memFree=27653280/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1347440 CPUtime=1242.32
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 592953 0 0 0 121845 2387 0 0 25 0 1 0 21599350 1379778560 332353 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 336860 332353 589 984 0 335873 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1347440

[startup+1302.3 s]
/proc/loadavg: 2.02 1.98 1.50 3/179 20257
/proc/meminfo: memFree=27564204/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1415780 CPUtime=1302.32
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 620133 0 0 0 127728 2504 0 0 25 0 1 0 21599350 1449758720 349636 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 353945 349636 590 984 0 352958 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1415780

[startup+1362.3 s]
/proc/loadavg: 2.01 1.98 1.52 3/179 20259
/proc/meminfo: memFree=27484672/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1476596 CPUtime=1362.32
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 648442 0 0 0 133610 2622 0 0 25 0 1 0 21599350 1512034304 364968 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 369149 364968 592 984 0 368162 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1476596

[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.55 3/179 20261
/proc/meminfo: memFree=27384788/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1551732 CPUtime=1422.33
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 670525 0 0 0 139504 2729 0 0 25 0 1 0 21599350 1588973568 384036 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 387933 384036 590 984 0 386946 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1551732

[startup+1482.3 s]
/proc/loadavg: 2.08 1.99 1.58 3/179 20263
/proc/meminfo: memFree=27295328/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1622144 CPUtime=1482.33
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 702310 0 0 0 145393 2840 0 0 25 0 1 0 21599350 1661075456 401777 4089446400 4194304 8223781 140737475894448 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 405536 401777 592 984 0 404549 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1622144

[startup+1542.3 s]
/proc/loadavg: 2.03 1.99 1.60 3/179 20264
/proc/meminfo: memFree=27209088/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1685860 CPUtime=1542.32
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 738272 0 0 0 151283 2949 0 0 25 0 1 0 21599350 1726320640 417849 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 421465 417849 592 984 0 420478 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1685860

[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.63 3/179 20265
/proc/meminfo: memFree=27111568/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1761132 CPUtime=1602.33
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 758161 0 0 0 157171 3062 0 0 25 0 1 0 21599350 1803399168 436747 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 440283 436747 591 984 0 439296 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1761132

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/179 20267
/proc/meminfo: memFree=27032152/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1815792 CPUtime=1662.33
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 795525 0 0 0 163057 3176 0 0 25 0 1 0 21599350 1859371008 450363 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 453948 450363 591 984 0 452961 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1815792

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/179 20269
/proc/meminfo: memFree=26958460/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1865628 CPUtime=1722.34
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 853595 0 0 0 168946 3288 0 0 25 0 1 0 21599350 1910403072 462818 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 466407 462818 594 984 0 465420 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1865628

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 20271
/proc/meminfo: memFree=26877700/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1924016 CPUtime=1782.33
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 885064 0 0 0 174831 3402 0 0 25 0 1 0 21599350 1970192384 477523 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 481004 477523 595 984 0 480017 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1924016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.01 1.69 3/179 20271
/proc/meminfo: memFree=26859336/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1938696 CPUtime=1800.04
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 894656 0 0 0 176570 3434 0 0 25 0 1 0 21599350 1985224704 481172 4089446400 4194304 8223781 140737475894448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/20119/statm: 484674 481172 595 984 0 483687 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1938696

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20119

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

[startup+1801.4 s]
/proc/loadavg: 2.06 2.01 1.69 3/180 20272
/proc/meminfo: memFree=26859328/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1938696 CPUtime=1801.43
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 894658 0 0 0 176709 3434 0 0 19 0 1 0 21599350 1985224704 481174 4089446400 4194304 8223781 140737475894448 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/20119/statm: 484674 481174 597 984 0 483687 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1938696

[startup+1801.81 s]
/proc/loadavg: 2.06 2.01 1.69 3/180 20272
/proc/meminfo: memFree=26858956/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1938696 CPUtime=1801.84
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 894658 0 0 0 176750 3434 0 0 20 0 1 0 21599350 1985224704 481174 4089446400 4194304 8223781 140737475894448 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/20119/statm: 484674 481174 597 984 0 483687 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1938696

[startup+1802 s]
/proc/loadavg: 2.06 2.01 1.69 3/180 20272
/proc/meminfo: memFree=26858956/32951124 swapFree=67111528/67111528
[pid=20119] ppid=20117 vsize=1938696 CPUtime=1802.03
/proc/20119/stat : 20119 (pbscip.linux.x8) R 20117 20119 19722 0 -1 4202496 894658 0 0 0 176769 3434 0 0 21 0 1 0 21599350 1985224704 481174 4089446400 4194304 8223781 140737475894448 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/20119/statm: 484674 481174 597 984 0 483687 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1938696

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.12
CPU user time (s): 1767.7
CPU system time (s): 34.4108
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1938696

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

runsolver used 2.92256 second user time and 6.88895 second system time

The end

Launcher Data 

Begin job on node144 at 2010-07-07 22:17:44
IDJOB=2699972
IDBENCH=79389
IDSOLVER=1204
FILE ID=node144/2699972-1278533864
PBS_JOBID= 11239189
Free space on /tmp= 73736 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh14_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699972-1278533864/watcher-2699972-1278533864 -o /tmp/evaluation-result-2699972-1278533864/solver-2699972-1278533864 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699972-1278533864.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2
RANDOM SEED=345539729

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29484136 kB
Buffers:        145044 kB
Cached:        2800364 kB
SwapCached:          0 kB
Active:        1100824 kB
Inactive:      2205380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29484136 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4992 kB
Writeback:           0 kB
AnonPages:      360852 kB
Mapped:          16876 kB
Slab:            96588 kB
PageTables:       5268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   507852 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= 73736 MiB
End job on node144 at 2010-07-07 22:47:46