Trace number 2692309

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) 1800.25 1800.19

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo
MD5SUM24569843aeaad08e546ecaba09eee200
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark148.653
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136614
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136613
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 721
Number of bits of the biggest sum of numbers10
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-2692309-1277925606.wbo>
0.01/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.01/0.03	c problem read
0.01/0.03	c presolving settings loaded
0.09/0.12	o 136613
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.366130e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  2707 implications, 0 cliques
0.09/0.18	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18	c    2707 constraints of type <indicator>
0.09/0.18	c    2707 constraints of type <linear>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.13
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.97
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.1s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    22 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    43 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    65 |     - |  19M|   0 |  19 |5645 |5414 |5645 |  89 |  89 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    85 |     - |  19M|   0 |  30 |5645 |5414 |5645 | 113 | 113 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    98 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 127 | 127 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   106 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.39/0.41	c   0.4s|     1 |     2 |   185 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |  32 | 0.000000e+00 | 1.366130e+05 |    Inf 
30.70/30.79	c  30.5s| 10000 | 10001 | 51833 |   5.2 |  52M|  69 |  14 |5645 |5414 |5645 | 175 |  17k|   0 |1805 | 0.000000e+00 | 1.366130e+05 |    Inf 
57.79/57.87	c  57.3s| 20000 | 20001 |107723 |   5.4 |  76M|  73 |   0 |5645 |5414 |5645 | 190 |  29k|   0 |2055 | 0.000000e+00 | 1.366130e+05 |    Inf 
84.29/84.39	c  83.6s| 30000 | 30001 |159237 |   5.3 |  99M| 365 |   0 |5645 |5414 |5645 | 223 |  38k|   0 |2763 | 0.000000e+00 | 1.366130e+05 |    Inf 
102.19/102.29	c   101s| 40000 | 40001 |165542 |   4.1 | 120M| 365 |   0 |5645 |5414 |5645 | 194 |  40k|   0 |2816 | 0.000000e+00 | 1.366130e+05 |    Inf 
106.50/106.51	o 823
106.50/106.51	c * 106s| 42390 | 40682 |166932 |   3.9 | 121M| 365 |   - |5645 |5420 |5645 | 178 |  41k|   6 |2818 | 0.000000e+00 | 8.230000e+02 |    Inf 
116.29/116.33	o 800
116.29/116.33	c * 115s| 45872 | 43918 |177519 |   3.9 | 131M| 365 |   - |5645 |5522 |5645 | 171 |  46k| 108 |2932 | 0.000000e+00 | 8.000000e+02 |    Inf 
126.99/127.01	o 790
126.99/127.01	c * 126s| 49744 | 47504 |189140 |   3.8 | 141M| 365 |   - |5645 |5952 |5645 | 209 |  50k| 543 |3116 | 0.000000e+00 | 7.900000e+02 |    Inf 
126.99/127.05	o 771
126.99/127.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
126.99/127.05	c * 126s| 49749 | 47286 |189150 |   3.8 | 140M| 365 |   - |5645 |5952 |5645 | 212 |  50k| 543 |3116 | 0.000000e+00 | 7.710000e+02 |    Inf 
127.69/127.73	c   127s| 50000 | 47535 |189714 |   3.8 | 141M| 365 |   0 |5645 |5955 |5645 | 185 |  51k| 547 |3118 | 0.000000e+00 | 7.710000e+02 |    Inf 
127.89/127.95	o 769
127.89/127.95	c * 127s| 50083 | 47592 |189869 |   3.8 | 141M| 365 |   - |5645 |5961 |5645 | 197 |  51k| 554 |3118 | 0.000000e+00 | 7.690000e+02 |    Inf 
139.50/139.59	o 763
139.50/139.59	c * 138s| 54698 | 52070 |203039 |   3.7 | 152M| 365 |   - |5645 |6109 |5645 | 190 |  55k| 709 |3249 | 0.000000e+00 | 7.630000e+02 |    Inf 
142.09/142.11	o 732
142.09/142.11	c * 141s| 55664 | 52520 |204806 |   3.7 | 153M| 365 |   - |5645 |6162 |5645 | 176 |  56k| 766 |3270 | 0.000000e+00 | 7.320000e+02 |    Inf 
142.09/142.14	o 699
142.09/142.14	c * 141s| 55666 | 51929 |204815 |   3.7 | 151M| 365 |   - |5645 |6162 |5645 | 179 |  56k| 766 |3270 | 0.000000e+00 | 6.990000e+02 |    Inf 
142.59/142.61	o 681
142.59/142.61	c * 141s| 55841 | 51691 |205240 |   3.7 | 151M| 365 |   - |5645 |6220 |5645 | 184 |  56k| 825 |3285 | 0.000000e+00 | 6.810000e+02 |    Inf 
142.70/142.77	o 675
142.70/142.77	c * 141s| 55891 | 51596 |205365 |   3.7 | 151M| 365 |   - |5645 |6242 |5645 | 188 |  56k| 847 |3285 | 0.000000e+00 | 6.750000e+02 |    Inf 
154.19/154.23	c   153s| 60000 | 55673 |226345 |   3.8 | 161M| 365 |   0 |5645 |6260 |5645 | 201 |  60k| 938 |3469 | 0.000000e+00 | 6.750000e+02 |    Inf 
175.30/175.33	o 656
175.30/175.33	c * 174s| 67923 | 63010 |264511 |   3.9 | 179M| 365 |   - |5645 |6110 |5645 | 209 |  66k|1029 |3799 | 0.000000e+00 | 6.560000e+02 |    Inf 
181.20/181.28	c   180s| 70000 | 65028 |276523 |   3.9 | 184M| 365 |   0 |5645 |6190 |5645 | 189 |  69k|1208 |3863 | 0.000000e+00 | 6.560000e+02 |    Inf 
193.10/193.15	o 645
193.10/193.15	c * 191s| 74371 | 68889 |295646 |   4.0 | 194M| 365 |   - |5645 |6253 |5645 | 200 |  73k|1502 |4014 | 0.000000e+00 | 6.450000e+02 |    Inf 
202.40/202.40	o 614
202.40/202.40	c * 201s| 77543 | 70715 |311262 |   4.0 | 199M| 365 |   - |5645 |6302 |5645 | 209 |  77k|1743 |4162 | 0.000000e+00 | 6.140000e+02 |    Inf 
206.20/206.21	o 556
206.20/206.21	c * 204s| 78892 | 69020 |318052 |   4.0 | 195M| 365 |   - |5645 |6258 |5645 | 169 |  78k|1800 |4181 | 0.000000e+00 | 5.560000e+02 |    Inf 
206.50/206.53	o 532
206.50/206.53	c * 205s| 78994 | 67651 |318755 |   4.0 | 192M| 365 |   - |5645 |6253 |5645 | 171 |  78k|1800 |4192 | 0.000000e+00 | 5.320000e+02 |    Inf 
208.29/208.34	o 446
208.29/208.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
208.29/208.34	c * 206s| 79647 | 61359 |321846 |   4.0 | 178M| 365 |   - |5645 |6223 |5645 | 155 |  78k|1810 |4208 | 0.000000e+00 | 4.460000e+02 |    Inf 
209.10/209.19	c   207s| 80000 | 61710 |323260 |   4.0 | 179M| 365 |   0 |5645 |6232 |5645 | 174 |  78k|1820 |4218 | 0.000000e+00 | 4.460000e+02 |    Inf 
210.60/210.63	o 423
210.60/210.63	c * 209s| 80442 | 59674 |325041 |   4.0 | 175M| 365 |   - |5645 |6249 |5645 | 178 |  79k|1905 |4274 | 0.000000e+00 | 4.230000e+02 |    Inf 
213.00/213.02	o 416
213.00/213.02	c * 211s| 81172 | 59477 |328135 |   4.0 | 176M| 365 |   - |5645 |6464 |5645 | 198 |  80k|2304 |4303 | 0.000000e+00 | 4.160000e+02 |    Inf 
217.59/217.62	o 395
217.59/217.62	c * 216s| 82643 | 58292 |334127 |   4.0 | 176M| 365 |   - |5645 |6644 |5645 | 168 |  82k|2801 |4311 | 0.000000e+00 | 3.950000e+02 |    Inf 
217.81/217.89	o 379
217.81/217.89	c * 216s| 82732 | 56420 |334317 |   4.0 | 171M| 365 |   - |5645 |6644 |5645 | 178 |  82k|2828 |4311 | 0.000000e+00 | 3.790000e+02 |    Inf 
217.90/217.93	o 361
217.90/217.93	c * 216s| 82738 | 54031 |334321 |   4.0 | 165M| 365 |   - |5645 |6642 |5645 | 178 |  82k|2828 |4311 | 0.000000e+00 | 3.610000e+02 |    Inf 
219.40/219.40	o 358
219.40/219.40	c * 217s| 83218 | 54049 |336301 |   4.0 | 166M| 365 |   - |5645 |6639 |5645 | 244 |  83k|2934 |4314 | 0.000000e+00 | 3.580000e+02 |    Inf 
219.40/219.41	o 352
219.40/219.41	c * 217s| 83219 | 53217 |336301 |   4.0 | 164M| 365 |   - |5645 |6639 |5645 | 244 |  83k|2934 |4314 | 0.000000e+00 | 3.520000e+02 |    Inf 
221.39/221.42	o 339
221.39/221.42	c * 219s| 83790 | 51689 |338941 |   4.0 | 162M| 365 |   - |5645 |6584 |5645 | 181 |  84k|3105 |4339 | 0.000000e+00 | 3.390000e+02 |    Inf 
221.39/221.43	o 323
221.39/221.43	c * 219s| 83791 | 49122 |338941 |   4.0 | 155M| 365 |   - |5645 |6584 |5645 | 181 |  84k|3105 |4339 | 0.000000e+00 | 3.230000e+02 |    Inf 
222.90/222.96	o 321
222.90/222.96	c * 221s| 84234 | 49175 |341094 |   4.0 | 157M| 365 |   - |5645 |6492 |5645 | 214 |  84k|3226 |4370 | 0.000000e+00 | 3.210000e+02 |    Inf 
223.00/223.04	o 313
223.00/223.04	c * 221s| 84248 | 47857 |341196 |   4.0 | 154M| 365 |   - |5645 |6497 |5645 | 192 |  84k|3237 |4370 | 0.000000e+00 | 3.130000e+02 |    Inf 
225.00/225.00	o 312
225.00/225.00	c * 223s| 84852 | 48228 |344220 |   4.1 | 156M| 365 |   - |5645 |6440 |5645 | 185 |  85k|3392 |4389 | 0.000000e+00 | 3.120000e+02 |    Inf 
225.99/226.02	o 299
225.99/226.02	c * 224s| 85148 | 46203 |345526 |   4.1 | 151M| 365 |   - |5645 |6435 |5645 | 169 |  85k|3526 |4398 | 0.000000e+00 | 2.990000e+02 |    Inf 
227.80/227.84	o 276
227.80/227.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
227.80/227.84	c * 226s| 85763 | 42506 |347876 |   4.1 | 142M| 365 |   - |5645 |6423 |5645 | 169 |  86k|3692 |4401 | 0.000000e+00 | 2.760000e+02 |    Inf 
231.10/231.10	o 274
231.10/231.10	c * 229s| 86636 | 42770 |355776 |   4.1 | 145M| 365 |   - |5645 |6313 |5645 | 205 |  87k|4068 |4434 | 0.000000e+00 | 2.740000e+02 |    Inf 
231.10/231.17	o 266
231.10/231.17	c * 229s| 86647 | 41396 |356069 |   4.1 | 141M| 365 |   - |5645 |6305 |5645 | 196 |  87k|4073 |4437 | 0.000000e+00 | 2.660000e+02 |    Inf 
240.00/240.01	o 259
240.00/240.01	c * 238s| 89069 | 41751 |373373 |   4.2 | 148M| 365 |   - |5645 |6452 |5645 | 208 |  91k|5258 |4528 | 0.000000e+00 | 2.590000e+02 |    Inf 
240.10/240.13	o 257
240.10/240.13	c * 238s| 89097 | 41384 |373564 |   4.2 | 147M| 365 |   - |5645 |6448 |5645 | 203 |  91k|5262 |4529 | 0.000000e+00 | 2.570000e+02 |    Inf 
243.70/243.72	c   242s| 90000 | 41932 |378128 |   4.2 | 150M| 365 |   0 |5645 |6484 |5645 | 168 |  92k|5780 |4607 | 0.000000e+00 | 2.570000e+02 |    Inf 
250.60/250.65	o 251
250.60/250.65	c * 248s| 91782 | 41772 |391905 |   4.3 | 154M| 365 |   - |5645 |6204 |5645 | 199 |  96k|6717 |4661 | 0.000000e+00 | 2.510000e+02 |    Inf 
250.71/250.74	o 248
250.71/250.74	c * 248s| 91794 | 41043 |392213 |   4.3 | 152M| 365 |   - |5645 |6202 |5645 | 181 |  96k|6723 |4661 | 0.000000e+00 | 2.480000e+02 |    Inf 
251.40/251.46	o 247
251.40/251.46	c * 249s| 91951 | 40828 |394258 |   4.3 | 152M| 365 |   - |5645 |6217 |5645 | 200 |  96k|6820 |4673 | 0.000000e+00 | 2.470000e+02 |    Inf 
251.40/251.46	o 246
251.40/251.46	c * 249s| 91952 | 40643 |394258 |   4.3 | 152M| 365 |   - |5645 |6217 |5645 | 200 |  96k|6820 |4673 | 0.000000e+00 | 2.460000e+02 |    Inf 
251.60/251.67	o 242
251.60/251.67	c * 249s| 91987 | 39532 |394924 |   4.3 | 149M| 365 |   - |5645 |6215 |5645 | 191 |  96k|6840 |4674 | 0.000000e+00 | 2.420000e+02 |    Inf 
251.60/251.68	o 238
251.60/251.68	c * 249s| 91988 | 38582 |394924 |   4.3 | 147M| 365 |   - |5645 |6215 |5645 | 191 |  96k|6840 |4674 | 0.000000e+00 | 2.380000e+02 |    Inf 
252.10/252.14	o 231
252.10/252.14	c * 250s| 92085 | 37036 |396072 |   4.3 | 144M| 365 |   - |5645 |6242 |5645 | 215 |  97k|6899 |4697 | 0.000000e+00 | 2.310000e+02 |    Inf 
253.39/253.40	o 226
253.39/253.40	c * 251s| 92401 | 36189 |398271 |   4.3 | 142M| 365 |   - |5645 |6271 |5645 | 198 |  97k|7034 |4709 | 0.000000e+00 | 2.260000e+02 |    Inf 
253.80/253.85	o 208
253.80/253.85	c * 252s| 92521 | 31697 |399116 |   4.3 | 129M| 365 |   - |5645 |6286 |5645 | 182 |  97k|7088 |4710 | 0.000000e+00 | 2.080000e+02 |    Inf 
256.70/256.73	o 204
256.70/256.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
256.70/256.73	c * 254s| 93189 | 31137 |405003 |   4.3 | 130M| 365 |   - |5645 |6245 |5645 | 190 |  99k|7509 |4742 | 0.000000e+00 | 2.040000e+02 |    Inf 
256.80/256.80	o 195
256.80/256.80	c * 254s| 93196 | 29086 |405241 |   4.3 | 124M| 365 |   - |5645 |6242 |5645 | 195 |  99k|7512 |4742 | 0.000000e+00 | 1.950000e+02 |    Inf 
257.40/257.49	o 184
257.40/257.49	c * 255s| 93359 | 26477 |406706 |   4.4 | 116M| 365 |   - |5645 |6265 |5645 | 177 |  99k|7603 |4743 | 0.000000e+00 | 1.840000e+02 |    Inf 
257.90/257.90	o 177
257.90/257.90	c * 256s| 93457 | 24999 |407323 |   4.4 | 110M| 365 |   - |5645 |6268 |5645 | 177 |  99k|7665 |4743 | 0.000000e+00 | 1.770000e+02 |    Inf 
258.50/258.57	o 160
258.50/258.57	c * 256s| 93610 | 21106 |408111 |   4.4 |  97M| 365 |   - |5645 |6236 |5645 | 201 |  99k|7749 |4743 | 0.000000e+00 | 1.600000e+02 |    Inf 
259.40/259.47	o 157
259.40/259.47	c * 257s| 93825 | 20540 |409200 |   4.4 |  96M| 365 |   - |5645 |6276 |5645 | 157 | 100k|7877 |4744 | 0.000000e+00 | 1.570000e+02 |    Inf 
259.80/259.80	o 153
259.80/259.80	c * 257s| 93895 | 18578 |409828 |   4.4 |  88M| 365 |   - |5645 |6305 |5645 | 180 | 100k|7923 |4745 | 0.000000e+00 | 1.530000e+02 |    Inf 
259.90/259.92	o 152
259.90/259.92	c * 258s| 93915 | 18444 |410095 |   4.4 |  88M| 365 |   - |5645 |6298 |5645 | 186 | 100k|7930 |4745 | 0.000000e+00 | 1.520000e+02 |    Inf 
260.50/260.50	o 151
260.50/260.50	c * 258s| 94064 | 18284 |410847 |   4.4 |  89M| 365 |   - |5645 |6366 |5645 | 189 | 100k|8020 |4745 | 0.000000e+00 | 1.510000e+02 |    Inf 
260.50/260.53	o 150
260.50/260.53	c * 258s| 94073 | 18123 |410892 |   4.4 |  88M| 365 |   - |5645 |6376 |5645 | 189 | 100k|8030 |4745 | 0.000000e+00 | 1.500000e+02 |    Inf 
261.20/261.29	o 147
261.20/261.29	c * 259s| 94209 | 17589 |412629 |   4.4 |  87M| 365 |   - |5645 |6402 |5645 | 186 | 100k|8106 |4753 | 0.000000e+00 | 1.470000e+02 |    Inf 
262.10/262.12	o 144
262.10/262.12	c * 260s| 94385 | 16778 |414457 |   4.4 |  85M| 365 |   - |5645 |6424 |5645 | 170 | 101k|8190 |4764 | 0.000000e+00 | 1.440000e+02 |    Inf 
263.00/263.01	o 143
263.00/263.01	c * 261s| 94588 | 16803 |416547 |   4.4 |  86M| 365 |   - |5645 |6407 |5645 | 202 | 101k|8295 |4779 | 0.000000e+00 | 1.430000e+02 |    Inf 
263.30/263.35	o 132
263.30/263.35	c * 261s| 94656 | 15036 |417579 |   4.4 |  82M| 365 |   - |5645 |6397 |5645 | 185 | 101k|8320 |4792 | 0.000000e+00 | 1.320000e+02 |    Inf 
264.70/264.79	o 131
264.70/264.79	c * 262s| 95010 | 15029 |420387 |   4.4 |  83M| 365 |   - |5645 |6243 |5645 | 175 | 101k|8471 |4817 | 0.000000e+00 | 1.310000e+02 |    Inf 
265.20/265.27	o 126
265.20/265.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
265.20/265.27	c * 263s| 95089 | 13704 |421409 |   4.4 |  79M| 365 |   - |5645 |6246 |5645 | 202 | 102k|8544 |4822 | 0.000000e+00 | 1.260000e+02 |    Inf 
267.30/267.39	o 118
267.30/267.39	c * 265s| 95603 | 12698 |425605 |   4.5 |  78M| 365 |   - |5645 |6327 |5645 | 195 | 102k|8839 |4828 | 0.000000e+00 | 1.180000e+02 |    Inf 
267.40/267.49	o 111
267.40/267.49	c * 265s| 95615 | 11805 |425851 |   4.5 |  76M| 365 |   - |5645 |6320 |5645 | 177 | 102k|8848 |4828 | 0.000000e+00 | 1.110000e+02 |    Inf 
267.70/267.70	o 108
267.70/267.70	c * 265s| 95645 | 11469 |426387 |   4.5 |  75M| 365 |   - |5645 |6329 |5645 | 158 | 102k|8870 |4828 | 0.000000e+00 | 1.080000e+02 |    Inf 
267.70/267.75	o 103
267.70/267.75	c * 265s| 95648 | 10648 |426534 |   4.5 |  73M| 365 |   - |5645 |6325 |5645 | 171 | 102k|8870 |4828 | 0.000000e+00 | 1.030000e+02 |    Inf 
267.70/267.77	o 87
267.70/267.77	c * 265s| 95649 |  7573 |426537 |   4.5 |  64M| 365 |   - |5645 |6325 |5645 | 171 | 102k|8870 |4828 | 0.000000e+00 | 8.700000e+01 |    Inf 
268.20/268.22	o 72
268.20/268.22	c * 266s| 95756 |  6239 |427106 |   4.5 |  59M| 365 |   - |5645 |5872 |5645 | 188 | 102k|8920 |4829 | 0.000000e+00 | 7.200000e+01 |    Inf 
268.60/268.66	o 67
268.60/268.66	c * 266s| 95862 |  2229 |427659 |   4.5 |  39M| 365 |   - |5645 |5446 |5645 | 181 | 102k|9010 |4832 | 0.000000e+00 | 6.700000e+01 |    Inf 
283.50/283.50	c   281s|100000 |  2695 |446633 |   4.5 |  52M| 365 |  10 |5645 |5849 |5645 | 167 | 106k|  12k|4885 | 0.000000e+00 | 6.700000e+01 |    Inf 
319.01/319.05	c   316s|110000 |  3623 |500945 |   4.6 |  73M| 365 |   - |5645 |7359 |   0 |   0 | 118k|  24k|5025 | 0.000000e+00 | 6.700000e+01 |    Inf 
352.51/352.54	c   349s|120000 |  4190 |542923 |   4.5 |  86M| 365 |   - |5645 |7284 |5645 | 168 | 128k|  36k|5095 | 0.000000e+00 | 6.700000e+01 |    Inf 
387.91/387.95	c   384s|130000 |  4777 |591852 |   4.6 |  99M| 365 |   1 |5645 |8010 |5645 | 156 | 141k|  48k|5194 | 0.000000e+00 | 6.700000e+01 |    Inf 
422.81/422.84	c   419s|140000 |  5312 |639928 |   4.6 | 111M| 365 |   - |5645 |7428 |   0 |   0 | 153k|  62k|5319 | 0.000000e+00 | 6.700000e+01 |    Inf 
455.51/455.58	c   451s|150000 |  5786 |682097 |   4.5 | 121M| 365 |   - |5645 |8224 |   0 |   0 | 163k|  74k|5409 | 0.000000e+00 | 6.700000e+01 |    Inf 
462.11/462.15	o 50
462.11/462.15	c * 458s|152029 |  5416 |689729 |   4.5 | 119M| 365 |   - |5645 |8489 |5645 | 175 | 166k|  77k|5411 | 0.000000e+00 | 5.000000e+01 |    Inf 
472.00/472.06	o 48
472.00/472.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
472.00/472.06	c * 468s|155783 |  5551 |699579 |   4.5 | 121M| 365 |   - |5645 |8560 |5645 | 167 | 167k|  81k|5431 | 0.000000e+00 | 4.800000e+01 |    Inf 
483.01/483.01	c   478s|160000 |  5551 |710295 |   4.4 | 123M| 365 |   - |5645 |6373 |   0 |   0 | 169k|  86k|5457 | 0.000000e+00 | 4.800000e+01 |    Inf 
499.01/499.02	o 42
499.01/499.02	c * 494s|165829 |  5202 |729492 |   4.4 | 122M| 365 |   - |5645 |7040 |5645 | 171 | 172k|  94k|5509 | 0.000000e+00 | 4.200000e+01 |    Inf 
509.91/509.94	c   505s|170000 |  5038 |739032 |   4.3 | 124M| 365 |   - |5645 |6800 |   0 |   0 | 174k| 100k|5543 | 0.000000e+00 | 4.200000e+01 |    Inf 
534.11/534.14	c   529s|180000 |  4933 |760849 |   4.2 | 126M| 365 |   1 |5645 |7542 |5645 | 156 | 177k| 113k|5583 | 0.000000e+00 | 4.200000e+01 |    Inf 
557.51/557.52	c   552s|190000 |  5005 |778849 |   4.1 | 130M| 365 |   1 |5645 |  11k|5645 | 148 | 180k| 125k|5671 | 0.000000e+00 | 4.200000e+01 |    Inf 
581.31/581.31	c   575s|200000 |  4973 |796225 |   4.0 | 131M| 365 |   - |5645 |  10k|   0 |   0 | 184k| 139k|5712 | 0.000000e+00 | 4.200000e+01 |    Inf 
584.91/584.97	o 39
584.91/584.97	c * 579s|201657 |  4898 |800380 |   4.0 | 131M| 365 |   - |5645 |  10k|5645 | 154 | 185k| 141k|5722 | 0.000000e+00 | 3.900000e+01 |    Inf 
585.01/585.03	o 37
585.01/585.03	c * 579s|201669 |  4823 |800411 |   4.0 | 129M| 365 |   - |5645 |  10k|5645 | 154 | 185k| 141k|5722 | 0.000000e+00 | 3.700000e+01 |    Inf 
585.01/585.08	o 32
585.01/585.08	c * 579s|201677 |  4463 |800423 |   4.0 | 123M| 365 |   - |5645 |  10k|5645 | 154 | 185k| 141k|5722 | 0.000000e+00 | 3.200000e+01 |    Inf 
603.51/603.57	c   597s|210000 |  4402 |814353 |   3.9 | 123M| 365 |   - |5645 |7561 |   0 |   0 | 187k| 152k|5749 | 0.000000e+00 | 3.200000e+01 |    Inf 
625.62/625.60	c   619s|220000 |  4460 |836296 |   3.8 | 126M| 365 |   - |5645 |8892 |   0 |   0 | 190k| 164k|5805 | 0.000000e+00 | 3.200000e+01 |    Inf 
637.21/637.24	o 30
637.21/637.24	c * 631s|225759 |  4188 |845313 |   3.7 | 123M| 365 |   - |5645 |  10k|5645 | 175 | 191k| 172k|5821 | 0.000000e+00 | 3.000000e+01 |    Inf 
637.21/637.25	o 24
637.21/637.25	c * 631s|225760 |  4053 |845315 |   3.7 | 118M| 365 |   - |5645 |  10k|5645 | 175 | 191k| 172k|5821 | 0.000000e+00 | 2.400000e+01 |    Inf 
645.51/645.50	c   639s|230000 |  4051 |853175 |   3.7 | 118M| 365 |   - |5645 |  10k|   0 |   0 | 192k| 177k|5831 | 0.000000e+00 | 2.400000e+01 |    Inf 
666.21/666.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
666.21/666.26	c   659s|240000 |  4079 |872890 |   3.6 | 120M| 365 |   - |5645 |  12k|   0 |   0 | 195k| 190k|5870 | 0.000000e+00 | 2.400000e+01 |    Inf 
687.22/687.29	o 18
687.22/687.29	c * 680s|249564 |  3749 |895730 |   3.6 | 111M| 365 |   - |5645 |  14k|5645 | 188 | 198k| 202k|5926 | 0.000000e+00 | 1.800000e+01 |    Inf 
688.21/688.25	c   681s|250000 |  3755 |896687 |   3.6 | 112M| 365 |   1 |5645 |  14k|5645 | 170 | 198k| 203k|5926 | 0.000000e+00 | 1.800000e+01 |    Inf 
704.22/704.28	o 10
704.22/704.28	c * 697s|257907 |  2905 |911773 |   3.5 |  86M| 365 |   - |5645 |9446 |5645 | 161 | 200k| 213k|5969 | 0.000000e+00 | 1.000000e+01 |    Inf 
708.32/708.31	c   701s|260000 |  2819 |916300 |   3.5 |  85M| 365 |   - |5645 |8082 |   0 |   0 | 201k| 216k|5975 | 0.000000e+00 | 1.000000e+01 |    Inf 
726.51/726.59	c   719s|270000 |  2629 |942604 |   3.5 |  84M| 365 |   4 |5645 |9800 |5645 | 163 | 204k| 228k|6034 | 0.000000e+00 | 1.000000e+01 |    Inf 
743.72/743.77	c   736s|280000 |  2655 |958425 |   3.4 |  86M| 365 |  14 |5645 |  12k|5645 | 170 | 206k| 241k|6058 | 0.000000e+00 | 1.000000e+01 |    Inf 
751.11/751.20	o 7
751.11/751.20	c * 743s|284226 |  2418 |965028 |   3.4 |  79M| 365 |   - |5645 |  14k|5645 | 163 | 206k| 247k|6082 | 0.000000e+00 | 7.000000e+00 |    Inf 
761.42/761.49	c   753s|290000 |  2360 |975553 |   3.4 |  78M| 365 |   - |5645 |  11k|   0 |   0 | 207k| 255k|6089 | 0.000000e+00 | 7.000000e+00 |    Inf 
779.32/779.34	c   771s|300000 |  2352 |995525 |   3.3 |  79M| 365 |   1 |5645 |  13k|5645 | 172 | 210k| 269k|6120 | 0.000000e+00 | 7.000000e+00 |    Inf 
797.22/797.20	c   788s|310000 |  2284 |  1016k|   3.3 |  77M| 365 |   5 |5645 |  10k|5645 | 149 | 213k| 283k|6209 | 0.000000e+00 | 7.000000e+00 |    Inf 
813.92/813.98	c   805s|320000 |  2356 |  1036k|   3.2 |  78M| 365 |   - |5645 |  10k|   0 |   0 | 216k| 296k|6257 | 0.000000e+00 | 7.000000e+00 |    Inf 
831.62/831.68	c   822s|330000 |  2543 |  1056k|   3.2 |  81M| 365 |   - |5645 |  15k|   0 |   0 | 219k| 309k|6286 | 0.000000e+00 | 7.000000e+00 |    Inf 
846.82/846.89	o 6
846.82/846.89	c * 837s|338168 |  2473 |  1074k|   3.2 |  79M| 365 |   - |5645 |  13k|5645 | 149 | 222k| 322k|6317 | 0.000000e+00 | 6.000000e+00 |    Inf 
850.23/850.23	c   841s|340000 |  2453 |  1078k|   3.2 |  79M| 365 |   - |5645 |  13k|   0 |   0 | 223k| 325k|6338 | 0.000000e+00 | 6.000000e+00 |    Inf 
867.93/867.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
867.93/867.96	c   858s|350000 |  2371 |  1096k|   3.1 |  78M| 365 |  13 |5645 |  12k|5645 | 162 | 225k| 341k|6356 | 0.000000e+00 | 6.000000e+00 |    Inf 
885.43/885.44	c   875s|360000 |  2344 |  1116k|   3.1 |  78M| 365 |   1 |5645 |  12k|5645 | 149 | 228k| 356k|6395 | 0.000000e+00 | 6.000000e+00 |    Inf 
897.72/897.74	o 4
897.72/897.74	c * 888s|366647 |  2226 |  1132k|   3.1 |  75M| 365 |   - |5645 |  13k|5645 | 159 | 231k| 365k|6422 | 0.000000e+00 | 4.000000e+00 |    Inf 
903.42/903.49	c   893s|370000 |  2224 |  1138k|   3.1 |  75M| 365 |   - |5645 |  13k|   0 |   0 | 232k| 370k|6429 | 0.000000e+00 | 4.000000e+00 |    Inf 
921.73/921.76	c   911s|380000 |  2230 |  1157k|   3.0 |  76M| 365 |   1 |5645 |  14k|5645 | 149 | 235k| 384k|6464 | 0.000000e+00 | 4.000000e+00 |    Inf 
940.12/940.18	c   929s|390000 |  2262 |  1175k|   3.0 |  77M| 365 |   - |5645 |  17k|   0 |   0 | 238k| 397k|6494 | 0.000000e+00 | 4.000000e+00 |    Inf 
959.33/959.35	c   948s|400000 |  2239 |  1193k|   3.0 |  77M| 365 |   1 |5645 |  18k|5645 | 170 | 240k| 411k|6529 | 0.000000e+00 | 4.000000e+00 |    Inf 
979.03/979.02	c   968s|410000 |  2262 |  1215k|   3.0 |  78M| 365 |   1 |5645 |  18k|5645 | 149 | 244k| 425k|6558 | 0.000000e+00 | 4.000000e+00 |    Inf 
998.12/998.16	c   987s|420000 |  2334 |  1232k|   2.9 |  80M| 365 |   1 |5645 |  21k|5645 | 149 | 246k| 438k|6584 | 0.000000e+00 | 4.000000e+00 |    Inf 
1018.83/1018.81	c  1007s|430000 |  2281 |  1250k|   2.9 |  79M| 365 |   - |5645 |  20k|   0 |   0 | 249k| 454k|6616 | 0.000000e+00 | 4.000000e+00 |    Inf 
1037.52/1037.52	c  1026s|440000 |  2303 |  1270k|   2.9 |  79M| 365 |   1 |5645 |  19k|5645 | 149 | 252k| 468k|6642 | 0.000000e+00 | 4.000000e+00 |    Inf 
1041.03/1041.07	o 2
1041.03/1041.07	c *1029s|441949 |  2047 |  1273k|   2.9 |  75M| 365 |   - |5645 |  19k|5645 | 149 | 253k| 471k|6659 | 0.000000e+00 | 2.000000e+00 |    Inf 
1057.13/1057.18	c  1045s|450000 |  2127 |  1291k|   2.9 |  75M| 365 |   5 |5645 |  18k|5645 | 149 | 256k| 481k|6710 | 0.000000e+00 | 2.000000e+00 |    Inf 
1074.53/1074.50	c  1062s|460000 |  2144 |  1308k|   2.8 |  76M| 365 |   1 |5645 |  18k|5645 | 149 | 259k| 498k|6741 | 0.000000e+00 | 2.000000e+00 |    Inf 
1092.93/1092.94	c  1080s|470000 |  2080 |  1327k|   2.8 |  75M| 365 |   - |5645 |  16k|   0 |   0 | 262k| 512k|6776 | 0.000000e+00 | 2.000000e+00 |    Inf 
1111.33/1111.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1111.33/1111.32	c  1098s|480000 |  1955 |  1348k|   2.8 |  73M| 365 |   1 |5645 |  14k|5645 | 149 | 265k| 526k|6809 | 0.000000e+00 | 2.000000e+00 |    Inf 
1128.93/1128.91	c  1116s|490000 |  1911 |  1368k|   2.8 |  72M| 365 |  13 |5645 |  12k|5645 | 161 | 268k| 539k|6883 | 0.000000e+00 | 2.000000e+00 |    Inf 
1148.03/1148.00	c  1135s|500000 |  1908 |  1388k|   2.8 |  73M| 365 |   - |5645 |  14k|   0 |   0 | 271k| 553k|6918 | 0.000000e+00 | 2.000000e+00 |    Inf 
1167.33/1167.31	c  1154s|510000 |  1885 |  1410k|   2.8 |  73M| 365 |   - |5645 |  16k|   0 |   0 | 274k| 568k|6950 | 0.000000e+00 | 2.000000e+00 |    Inf 
1185.03/1185.06	c  1171s|520000 |  1899 |  1430k|   2.8 |  73M| 365 |   - |5645 |  16k|   0 |   0 | 277k| 582k|6967 | 0.000000e+00 | 2.000000e+00 |    Inf 
1203.13/1203.13	c  1189s|530000 |  1849 |  1450k|   2.7 |  74M| 365 |   - |5645 |  21k|   0 |   0 | 280k| 597k|6994 | 0.000000e+00 | 2.000000e+00 |    Inf 
1223.43/1223.44	c  1209s|540000 |  1869 |  1467k|   2.7 |  74M| 365 |   - |5645 |  19k|   0 |   0 | 283k| 610k|7025 | 0.000000e+00 | 2.000000e+00 |    Inf 
1242.14/1242.18	c  1228s|550000 |  1923 |  1487k|   2.7 |  76M| 365 |   1 |5645 |  23k|5645 | 149 | 286k| 624k|7056 | 0.000000e+00 | 2.000000e+00 |    Inf 
1262.54/1262.51	c  1248s|560000 |  1899 |  1509k|   2.7 |  75M| 365 |  21 |5645 |  19k|5645 | 169 | 291k| 638k|7096 | 0.000000e+00 | 2.000000e+00 |    Inf 
1281.64/1281.68	c  1267s|570000 |  1982 |  1531k|   2.7 |  78M| 365 |   - |5645 |  24k|   0 |   0 | 297k| 652k|7122 | 0.000000e+00 | 2.000000e+00 |    Inf 
1300.83/1300.81	c  1286s|580000 |  1920 |  1554k|   2.7 |  76M| 365 |   - |5645 |  22k|   0 |   0 | 302k| 668k|7152 | 0.000000e+00 | 2.000000e+00 |    Inf 
1319.04/1319.09	c  1304s|590000 |  1844 |  1573k|   2.7 |  75M| 365 |   - |5645 |  19k|   0 |   0 | 305k| 682k|7174 | 0.000000e+00 | 2.000000e+00 |    Inf 
1337.04/1337.08	c  1322s|600000 |  1840 |  1590k|   2.7 |  76M| 365 |   1 |5645 |  22k|5645 | 149 | 307k| 697k|7206 | 0.000000e+00 | 2.000000e+00 |    Inf 
1357.35/1357.38	c  1342s|610000 |  1787 |  1607k|   2.6 |  75M| 365 |   - |5645 |  22k|   0 |   0 | 309k| 711k|7227 | 0.000000e+00 | 2.000000e+00 |    Inf 
1377.54/1377.55	c  1362s|620000 |  1836 |  1627k|   2.6 |  75M| 365 |   - |5645 |  21k|   0 |   0 | 312k| 725k|7277 | 0.000000e+00 | 2.000000e+00 |    Inf 
1398.23/1398.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1398.23/1398.20	c  1382s|630000 |  1850 |  1644k|   2.6 |  76M| 365 |   4 |5645 |  23k|5645 | 149 | 315k| 739k|7297 | 0.000000e+00 | 2.000000e+00 |    Inf 
1419.44/1419.45	c  1403s|640000 |  1894 |  1664k|   2.6 |  76M| 365 |   - |5645 |  22k|   0 |   0 | 318k| 753k|7310 | 0.000000e+00 | 2.000000e+00 |    Inf 
1438.85/1438.81	c  1422s|650000 |  2056 |  1683k|   2.6 |  80M| 365 |   - |5645 |  29k|   0 |   0 | 321k| 768k|7343 | 0.000000e+00 | 2.000000e+00 |    Inf 
1461.04/1461.04	c  1444s|660000 |  2208 |  1699k|   2.6 |  85M| 365 |   1 |5645 |  38k|5645 | 149 | 324k| 784k|7372 | 0.000000e+00 | 2.000000e+00 |    Inf 
1482.64/1482.70	c  1466s|670000 |  2165 |  1721k|   2.6 |  81M| 365 |   1 |5645 |  26k|5645 | 167 | 330k| 802k|7406 | 0.000000e+00 | 2.000000e+00 |    Inf 
1503.54/1503.50	c  1486s|680000 |  2156 |  1738k|   2.6 |  82M| 365 |   1 |5645 |  27k|5645 | 149 | 334k| 817k|7416 | 0.000000e+00 | 2.000000e+00 |    Inf 
1523.94/1523.91	c  1506s|690000 |  2176 |  1760k|   2.6 |  82M| 365 |   1 |5645 |  28k|5645 | 149 | 339k| 836k|7450 | 0.000000e+00 | 2.000000e+00 |    Inf 
1544.24/1544.25	c  1526s|700000 |  2209 |  1780k|   2.5 |  85M| 365 |   4 |5645 |  31k|5645 | 149 | 344k| 853k|7483 | 0.000000e+00 | 2.000000e+00 |    Inf 
1565.55/1565.52	c  1548s|710000 |  2236 |  1802k|   2.5 |  84M| 365 |   1 |5645 |  28k|5645 | 149 | 349k| 870k|7514 | 0.000000e+00 | 2.000000e+00 |    Inf 
1586.04/1586.07	c  1568s|720000 |  2283 |  1824k|   2.5 |  84M| 365 |   - |5645 |  29k|   0 |   0 | 352k| 888k|7539 | 0.000000e+00 | 2.000000e+00 |    Inf 
1606.54/1606.57	c  1588s|730000 |  2225 |  1843k|   2.5 |  83M| 365 |   - |5645 |  26k|   0 |   0 | 355k| 904k|7562 | 0.000000e+00 | 2.000000e+00 |    Inf 
1627.95/1627.91	c  1609s|740000 |  2197 |  1860k|   2.5 |  83M| 365 |   5 |5645 |  27k|5645 | 163 | 357k| 919k|7599 | 0.000000e+00 | 2.000000e+00 |    Inf 
1650.54/1650.57	c  1632s|750000 |  2134 |  1879k|   2.5 |  83M| 365 |   2 |5645 |  27k|5645 | 165 | 360k| 935k|7612 | 0.000000e+00 | 2.000000e+00 |    Inf 
1673.65/1673.61	c  1654s|760000 |  2118 |  1895k|   2.5 |  84M| 365 |   - |5645 |  30k|   0 |   0 | 362k| 949k|7639 | 0.000000e+00 | 2.000000e+00 |    Inf 
1697.75/1697.70	c  1678s|770000 |  2099 |  1912k|   2.5 |  84M| 365 |   - |5645 |  31k|   0 |   0 | 365k| 965k|7673 | 0.000000e+00 | 2.000000e+00 |    Inf 
1722.65/1722.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1722.65/1722.60	c  1703s|780000 |  2062 |  1931k|   2.5 |  83M| 365 |   1 |5645 |  29k|5645 | 179 | 368k| 979k|7679 | 0.000000e+00 | 2.000000e+00 |    Inf 
1745.15/1745.14	c  1725s|790000 |  1995 |  1947k|   2.5 |  82M| 365 |   - |5645 |  27k|   0 |   0 | 369k| 995k|7714 | 0.000000e+00 | 2.000000e+00 |    Inf 
1767.65/1767.70	c  1748s|800000 |  1988 |  1966k|   2.5 |  81M| 365 |   1 |5645 |  24k|5645 | 160 | 372k|1009k|7746 | 0.000000e+00 | 2.000000e+00 |    Inf 
1789.25/1789.25	c  1769s|810000 |  1987 |  1984k|   2.4 |  83M| 365 |   1 |5645 |  28k|5645 | 162 | 374k|1025k|7754 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1779.61
1800.06/1800.00	c Solving Nodes      : 814708
1800.06/1800.00	c Primal Bound       : +2.00000000000000e+00 (241 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.08	s SATISFIABLE
1800.06/1800.08	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.06/1800.08	v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189 
1800.06/1800.08	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.06/1800.08	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.06/1800.08	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 
1800.06/1800.08	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.06/1800.08	v -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 
1800.06/1800.08	v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.06/1800.08	v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 
1800.06/1800.08	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 
1800.06/1800.08	v -x1 
1800.06/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.08	c Solving Time       :    1779.61
1800.06/1800.08	c Original Problem   :
1800.06/1800.08	c   Problem name     : HOME/instance-2692309-1277925606.wbo
1800.06/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.06/1800.08	c Presolved Problem  :
1800.06/1800.08	c   Problem name     : t_HOME/instance-2692309-1277925606.wbo
1800.06/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.08	c   Constraints      : 5414 initial, 38840 maximal
1800.06/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.08	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.06/1800.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.08	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.06/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.08	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.08	c   root node        :          -       2681          -          -       5362          -          -          -          -
1800.06/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.08	c   integral         :          0          0          0     527259          0          1        122          0          0     797218
1800.06/1800.08	c   indicator        :       2707          0    4771026     127966          0       1166   13283565          0          0          0
1800.06/1800.08	c   linear           :       2707          6    4864634     128338          0     274594   17975529     375804          0          0
1800.06/1800.08	c   logicor          :          0+         0    1276426          0          0      76631    1689801          0          0          0
1800.06/1800.08	c   bounddisjunction :          0+         0      19982          0          0          0         64          0          0          0
1800.06/1800.08	c   countsols        :          0          0          0      82439          0          0          0          0          0          0
1800.06/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.08	c   integral         :      15.38       0.00       0.00      15.38       0.00
1800.06/1800.08	c   indicator        :      68.87       0.02      42.56      26.29       0.00
1800.06/1800.08	c   linear           :     216.47       0.01     199.32      17.14       0.00
1800.06/1800.08	c   logicor          :     175.93       0.00     175.93       0.00       0.00
1800.06/1800.08	c   bounddisjunction :       0.06       0.00       0.06       0.00       0.00
1800.06/1800.08	c   countsols        :       0.03       0.00       0.00       0.03       0.00
1800.06/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.08	c   vbounds          :       1.06          2          0          0
1800.06/1800.08	c   rootredcost      :       1.03         80          0       2681
1800.06/1800.08	c   pseudoobj        :     257.52    4894025      27608    8862146
1800.06/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.08	c   propagation      :      28.03     378833     378733    2499220       37.0      20853       22.1          -
1800.06/1800.08	c   infeasible LP    :       0.97       3041       3041      24908       43.3         49       18.6          0
1800.06/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.08	c   pseudo solution  :       0.14        567        567       2217       14.4        215        8.1          -
1800.06/1800.08	c   applied globally :          -          -          -    1031976       27.4          -          -          -
1800.06/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.08	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 86)
1800.06/1800.08	c   redcost          :      49.50     537353          0    4195447          0          0
1800.06/1800.08	c   impliedbounds    :       0.00          4          0          0          0          0
1800.06/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.08	c   gomory           :       0.01          4          0          0         86          0
1800.06/1800.08	c   strongcg         :       0.00          4          0          0          0          0
1800.06/1800.08	c   cmir             :       0.02          4          0          0          0          0
1800.06/1800.08	c   flowcover        :       0.03          4          0          0          0          0
1800.06/1800.08	c   clique           :       0.00          1          0          0          0          0
1800.06/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.08	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.08	c Pricers            :       Time      Calls       Vars
1800.06/1800.08	c   problem variables:       0.00          0          0
1800.06/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.08	c   relpscost        :      14.96     398714          1        122          0          0     797218
1800.06/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   inference        :      21.18      82359          0          0          0          0     164718
1800.06/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.08	c   LP solutions     :       0.27          -         80
1800.06/1800.08	c   pseudo solutions :       0.00          -          0
1800.06/1800.08	c   feaspump         :       0.01          0          0
1800.06/1800.08	c   intshifting      :       0.02          4          0
1800.06/1800.08	c   oneopt           :       0.64         74          0
1800.06/1800.08	c   crossover        :       3.28        115          0
1800.06/1800.08	c   guideddiving     :       1.78        939          0
1800.06/1800.08	c   coefdiving       :       2.83       1773          0
1800.06/1800.08	c   pscostdiving     :       2.76       1773          0
1800.06/1800.08	c   fracdiving       :       2.64       1773          0
1800.06/1800.08	c   veclendiving     :       2.57       1773          0
1800.06/1800.08	c   linesearchdiving :       2.83       1774          0
1800.06/1800.08	c   objpscostdiving  :       2.84       1770          0
1800.06/1800.08	c   rootsoldiving    :       3.05       1770          0
1800.06/1800.08	c   trivial          :       0.08          2          2
1800.06/1800.08	c   simplerounding   :       0.85     401793          0
1800.06/1800.08	c   zirounding       :       0.36       1000          0
1800.06/1800.08	c   rounding         :       3.90       8893          0
1800.06/1800.08	c   shifting         :       2.31       2802          0
1800.06/1800.08	c   twoopt           :       0.00          0          0
1800.06/1800.08	c   fixandinfer      :       0.00          0          0
1800.06/1800.08	c   intdiving        :       0.00          0          0
1800.06/1800.08	c   actconsdiving    :       0.00          0          0
1800.06/1800.08	c   octane           :       0.00          0          0
1800.06/1800.08	c   rens             :       0.03          1          0
1800.06/1800.08	c   rins             :       0.00          0          0
1800.06/1800.08	c   localbranching   :       0.00          0          0
1800.06/1800.08	c   mutation         :       0.00          0          0
1800.06/1800.08	c   dins             :       0.00          0          0
1800.06/1800.08	c   undercover       :       0.00          0          0
1800.06/1800.08	c   nlp              :       0.25          0          0
1800.06/1800.08	c   trysol           :       3.69      10728        159
1800.06/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.08	c   dual LP          :     409.65     460438    1992025       4.33    4862.75
1800.06/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.08	c   diving/probing LP:       0.21        143       2182      15.26   10390.48
1800.06/1800.08	c   strong branching :      12.70       7780      67059       8.62    5280.24
1800.06/1800.08	c     (at root node) :          -         32       1061      33.16          -
1800.06/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.08	c B&B Tree           :
1800.06/1800.08	c   number of runs   :          1
1800.06/1800.08	c   nodes            :     814708
1800.06/1800.08	c   nodes (total)    :     814708
1800.06/1800.08	c   nodes left       :       1990
1800.06/1800.08	c   max depth        :        365
1800.06/1800.08	c   max depth (total):        365
1800.06/1800.08	c   backtracks       :      56390 (6.9%)
1800.06/1800.08	c   delayed cutoffs  :      53684
1800.06/1800.08	c   repropagations   :    2610445 (6610164 domain reductions, 49947 cutoffs)
1800.06/1800.08	c   avg switch length:       8.03
1800.06/1800.08	c   switching time   :     239.06
1800.06/1800.08	c Solution           :
1800.06/1800.08	c   Solutions found  :        241 (81 improvements)
1800.06/1800.08	c   First Solution   : +1.36613000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.06/1800.08	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 441949 nodes, 1029.13 seconds, depth 52, found by <relaxation>)
1800.06/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.08	c   Gap              :   infinite
1800.06/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.08	c   Root Iterations  :        106
1800.16/1800.18	c Time complete: 1800.24.

Verifier Data 

OK	2

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 6384
/proc/meminfo: memFree=31301492/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=9740 CPUtime=0
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 1729 0 0 0 0 0 0 0 25 0 1 0 133988957 9973760 1649 4089446400 4194304 8223781 140735124042512 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6384/statm: 2435 1650 369 984 0 1448 0

[startup+0.0192909 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 6384
/proc/meminfo: memFree=31301492/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=14948 CPUtime=0.01
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 3058 0 0 0 1 0 0 0 25 0 1 0 133988957 15306752 2978 4089446400 4194304 8223781 140735124042512 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6384/statm: 3737 2978 369 984 0 2750 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14948

[startup+0.100274 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 6384
/proc/meminfo: memFree=31301492/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=35140 CPUtime=0.09
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 8088 0 0 0 8 1 0 0 25 0 1 0 133988957 35983360 7644 4089446400 4194304 8223781 140735124042512 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 8785 7644 422 984 0 7798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35140

[startup+0.30024 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 6384
/proc/meminfo: memFree=31301492/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=55996 CPUtime=0.29
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 13885 0 0 0 28 1 0 0 25 0 1 0 133988957 57339904 12828 4089446400 4194304 8223781 140735124042512 18446744073709551615 6207260 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 13999 12828 564 984 0 13012 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55996

[startup+0.700162 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 6384
/proc/meminfo: memFree=31301492/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=43080 CPUtime=0.69
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 15655 0 0 0 67 2 0 0 25 0 1 0 133988957 44113920 9710 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 10770 9710 575 984 0 9783 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43080

[startup+1.50101 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 6385
/proc/meminfo: memFree=31264036/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=44424 CPUtime=1.49
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 15913 0 0 0 146 3 0 0 25 0 1 0 133988957 45490176 9968 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 11106 9968 578 984 0 10119 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44424

[startup+3.10072 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 6385
/proc/meminfo: memFree=31262052/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=50552 CPUtime=3.09
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 21899 0 0 0 304 5 0 0 25 0 1 0 133988957 51765248 11515 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 12638 11515 579 984 0 11651 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50552

[startup+6.30012 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 6385
/proc/meminfo: memFree=31255484/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=53576 CPUtime=6.29
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 27765 0 0 0 622 7 0 0 25 0 1 0 133988957 54861824 12261 4089446400 4194304 8223781 140735124042512 18446744073709551615 4965258 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 13394 12261 579 984 0 12407 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53576

[startup+12.7009 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 6385
/proc/meminfo: memFree=31249204/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=58924 CPUtime=12.69
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 39322 0 0 0 1257 12 0 0 25 0 1 0 133988957 60338176 13624 4089446400 4194304 8223781 140735124042512 18446744073709551615 6020593 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 14731 13624 579 984 0 13744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58924

[startup+25.5006 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 6386
/proc/meminfo: memFree=31236104/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=73108 CPUtime=25.49
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 48118 0 0 0 2524 25 0 0 25 0 1 0 133988957 74862592 17179 4089446400 4194304 8223781 140735124042512 18446744073709551615 4819272 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 18277 17179 579 984 0 17290 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73108

[startup+51.1008 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 6386
/proc/meminfo: memFree=31209520/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=98380 CPUtime=51.09
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 59734 0 0 0 5062 47 0 0 25 0 1 0 133988957 100741120 23528 4089446400 4194304 8223781 140735124042512 18446744073709551615 6020593 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 24595 23528 579 984 0 23608 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98380

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 6388
/proc/meminfo: memFree=31156660/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=150620 CPUtime=102.29
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 78794 0 0 0 10140 89 0 0 25 0 1 0 133988957 154234880 36653 4089446400 4194304 8223781 140735124042512 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 37655 36653 579 984 0 36668 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 150620

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 6389
/proc/meminfo: memFree=31085824/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=204668 CPUtime=162.3
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 190138 0 0 0 16086 144 0 0 25 0 1 0 133988957 209580032 50197 4089446400 4194304 8223781 140735124042512 18446744073709551615 4820045 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 51167 50197 584 984 0 50180 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 204668

[startup+222.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 6391
/proc/meminfo: memFree=31033576/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=259016 CPUtime=222.3
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 277533 0 0 0 22034 196 0 0 25 0 1 0 133988957 265232384 63237 4089446400 4194304 8223781 140735124042512 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 64754 63237 586 984 0 63767 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 259016

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 6393
/proc/meminfo: memFree=30952540/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=342796 CPUtime=282.3
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 386985 0 0 0 27973 257 0 0 25 0 1 0 133988957 351023104 83275 4089446400 4194304 8223781 140735124042512 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 85699 83275 590 984 0 84712 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 342796

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 6394
/proc/meminfo: memFree=30870544/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=411276 CPUtime=342.3
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 409672 0 0 0 33914 316 0 0 25 0 1 0 133988957 421146624 99290 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 102819 99290 590 984 0 101832 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 411276

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 6396
/proc/meminfo: memFree=30827356/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=459516 CPUtime=402.31
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 425740 0 0 0 39851 380 0 0 25 0 1 0 133988957 470544384 110227 4089446400 4194304 8223781 140735124042512 18446744073709551615 6456376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 114879 110227 590 984 0 113892 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 459516

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 6397
/proc/meminfo: memFree=30791728/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=499064 CPUtime=462.3
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 436213 0 0 0 45793 437 0 0 25 0 1 0 133988957 511041536 118871 4089446400 4194304 8223781 140735124042512 18446744073709551615 6372002 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 124766 118871 590 984 0 123779 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 499064

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 6399
/proc/meminfo: memFree=30752372/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=521460 CPUtime=522.31
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 516083 0 0 0 51718 513 0 0 25 0 1 0 133988957 533975040 123685 4089446400 4194304 8223781 140735124042512 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 130365 123685 593 984 0 129378 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 521460

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6431
/proc/meminfo: memFree=31105960/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=537960 CPUtime=582.32
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 530677 0 0 0 57644 588 0 0 25 0 1 0 133988957 550871040 127070 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 134490 127070 593 984 0 133503 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 537960

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6432
/proc/meminfo: memFree=30968520/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=545276 CPUtime=642.31
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 570254 0 0 0 63564 667 0 0 25 0 1 0 133988957 558362624 128478 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 136319 128478 593 984 0 135332 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 545276

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6439
/proc/meminfo: memFree=30927536/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=552464 CPUtime=882.32
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 746511 0 0 0 87234 998 0 0 25 0 1 0 133988957 565723136 130125 4089446400 4194304 8223781 140735124042512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 138116 130125 601 984 0 137129 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 552464

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6440
/proc/meminfo: memFree=30923276/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=551920 CPUtime=942.32
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 783449 0 0 0 93156 1076 0 0 25 0 1 0 133988957 565166080 129974 4089446400 4194304 8223781 140735124042512 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 137980 129974 601 984 0 136993 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 551920

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6442
/proc/meminfo: memFree=30920992/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=553448 CPUtime=1002.32
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 795943 0 0 0 99083 1149 0 0 25 0 1 0 133988957 566730752 130354 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 138362 130354 601 984 0 137375 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 553448

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6443
/proc/meminfo: memFree=30918852/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=553556 CPUtime=1062.33
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 819267 0 0 0 105010 1223 0 0 25 0 1 0 133988957 566841344 130413 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 138389 130413 601 984 0 137402 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 553556

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6445
/proc/meminfo: memFree=30918064/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=553556 CPUtime=1122.32
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 831162 0 0 0 110932 1300 0 0 25 0 1 0 133988957 566841344 130413 4089446400 4194304 8223781 140735124042512 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 138389 130413 601 984 0 137402 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 553556

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6447
/proc/meminfo: memFree=30917636/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=553656 CPUtime=1182.33
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 835695 0 0 0 116858 1375 0 0 25 0 1 0 133988957 566943744 130429 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 138414 130429 601 984 0 137427 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 553656

[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 6448
/proc/meminfo: memFree=30915620/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=553656 CPUtime=1242.34
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 843602 0 0 0 122787 1447 0 0 25 0 1 0 133988957 566943744 130438 4089446400 4194304 8223781 140735124042512 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 138414 130438 601 984 0 137427 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 553656

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 6450
/proc/meminfo: memFree=30911744/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=554380 CPUtime=1302.34
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 843777 0 0 0 128717 1517 0 0 25 0 1 0 133988957 567685120 130613 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 138595 130613 601 984 0 137608 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 554380

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6451
/proc/meminfo: memFree=30910464/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=555924 CPUtime=1362.34
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 844049 0 0 0 134650 1584 0 0 25 0 1 0 133988957 569266176 130885 4089446400 4194304 8223781 140735124042512 18446744073709551615 6456389 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 138981 130885 601 984 0 137994 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 555924

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6453
/proc/meminfo: memFree=30909300/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=556156 CPUtime=1422.34
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 844110 0 0 0 140586 1648 0 0 25 0 1 0 133988957 569503744 130946 4089446400 4194304 8223781 140735124042512 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 139039 130946 601 984 0 138052 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 556156

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6455
/proc/meminfo: memFree=30902696/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=559964 CPUtime=1482.34
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 846787 0 0 0 146525 1709 0 0 25 0 1 0 133988957 573403136 131871 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 139991 131871 601 984 0 139004 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 559964

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6456
/proc/meminfo: memFree=30901788/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=560492 CPUtime=1542.34
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 846914 0 0 0 152459 1775 0 0 25 0 1 0 133988957 573943808 131995 4089446400 4194304 8223781 140735124042512 18446744073709551615 6445090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 140123 131995 601 984 0 139136 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 560492

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6458
/proc/meminfo: memFree=30900880/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=561160 CPUtime=1602.34
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 847078 0 0 0 158396 1838 0 0 25 0 1 0 133988957 574627840 132159 4089446400 4194304 8223781 140735124042512 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 140290 132159 601 984 0 139303 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 561160

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6459
/proc/meminfo: memFree=30900216/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=561160 CPUtime=1662.34
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 847079 0 0 0 164330 1904 0 0 25 0 1 0 133988957 574627840 132160 4089446400 4194304 8223781 140735124042512 18446744073709551615 6002944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 140290 132160 601 984 0 139303 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 561160

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 6461
/proc/meminfo: memFree=30899940/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=561472 CPUtime=1722.35
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 847133 0 0 0 170272 1963 0 0 25 0 1 0 133988957 574947328 132214 4089446400 4194304 8223781 140735124042512 18446744073709551615 4999678 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 140368 132214 601 984 0 139381 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 561472

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6463
/proc/meminfo: memFree=30898788/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=561648 CPUtime=1782.35
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 847174 0 0 0 176211 2024 0 0 25 0 1 0 133988957 575127552 132255 4089446400 4194304 8223781 140735124042512 18446744073709551615 4221316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 140412 132255 601 984 0 139425 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 561648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6463
/proc/meminfo: memFree=30897536/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=561648 CPUtime=1800.06
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 847182 0 0 0 177964 2042 0 0 25 0 1 0 133988957 575127552 132263 4089446400 4194304 8223781 140735124042512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6384/statm: 140412 132263 601 984 0 139425 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 561648

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

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

[startup+1800.11 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6463
/proc/meminfo: memFree=30897536/32951124 swapFree=67111528/67111528
[pid=6384] ppid=6382 vsize=558576 CPUtime=1800.16
/proc/6384/stat : 6384 (pbscip.linux.x8) R 6382 6384 3929 0 -1 4202496 847184 0 0 0 177974 2042 0 0 25 0 1 0 133988957 571981824 131497 4089446400 4194304 8223781 140735124042512 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6384/statm: 139644 131497 603 984 0 138657 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 558576

Child status: 0
Real time (s): 1800.19
CPU time (s): 1800.25
CPU user time (s): 1779.81
CPU system time (s): 20.4419
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 572380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.81
system time used= 20.4419
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 847188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3716

runsolver used 3.14952 second user time and 5.95409 second system time

The end

Launcher Data 

Begin job on node111 at 2010-06-30 21:20:06
IDJOB=2692309
IDBENCH=79261
IDSOLVER=1204
FILE ID=node111/2692309-1277925606
PBS_JOBID= 11197312
Free space on /tmp= 74212 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/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.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-2692309-1277925606/watcher-2692309-1277925606 -o /tmp/evaluation-result-2692309-1277925606/solver-2692309-1277925606 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692309-1277925606.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 24569843aeaad08e546ecaba09eee200
RANDOM SEED=1846588837

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31302144 kB
Buffers:        209944 kB
Cached:         794696 kB
SwapCached:          0 kB
Active:         910160 kB
Inactive:       597116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31302144 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4700 kB
Writeback:           0 kB
AnonPages:      502636 kB
Mapped:          20420 kB
Slab:            77992 kB
PageTables:       5752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1659304 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= 74200 MiB
End job on node111 at 2010-06-30 21:50:09