Trace number 2692320

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.26 1800.21

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo
MD5SUMdb6ee27e0a2875f2e81d96fef92170ce
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 benchmark137.819
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 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 765
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-2692320-1277926140.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.12	o 135640
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.356400e+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.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.12
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.98
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	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.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    22 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    43 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.356400e+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.356400e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    85 |     - |  19M|   0 |  30 |5645 |5414 |5645 | 113 | 113 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    98 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 127 | 127 |   0 |   0 | 0.000000e+00 | 1.356400e+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.356400e+05 |    Inf 
0.39/0.41	c   0.3s|     1 |     2 |   185 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |  32 | 0.000000e+00 | 1.356400e+05 |    Inf 
32.09/32.16	c  31.8s| 10000 | 10001 | 57485 |   5.7 |  51M|  79 |   0 |5645 |5414 |5645 | 207 |  13k|   0 |1760 | 0.000000e+00 | 1.356400e+05 |    Inf 
54.08/54.18	c  53.6s| 20000 | 20001 | 77725 |   3.9 |  73M| 195 |   0 |5645 |5414 |5645 | 187 |  20k|   0 |1776 | 0.000000e+00 | 1.356400e+05 |    Inf 
75.29/75.35	c  74.6s| 30000 | 30001 | 98049 |   3.3 |  95M| 195 |   0 |5645 |5414 |5645 | 187 |  24k|   0 |1776 | 0.000000e+00 | 1.356400e+05 |    Inf 
96.99/97.08	c  96.2s| 40000 | 40001 |121081 |   3.0 | 116M| 195 |   0 |5645 |5414 |5645 | 171 |  29k|   0 |1891 | 0.000000e+00 | 1.356400e+05 |    Inf 
118.99/119.02	c   118s| 50000 | 50001 |142689 |   2.9 | 138M| 195 |   0 |5645 |5414 |5645 | 158 |  33k|   0 |2079 | 0.000000e+00 | 1.356400e+05 |    Inf 
140.39/140.41	c   139s| 60000 | 59999 |159631 |   2.7 | 159M| 195 |   0 |5645 |5424 |5645 | 180 |  37k|  10 |2215 | 0.000000e+00 | 1.356400e+05 |    Inf 
162.40/162.42	c   161s| 70000 | 69999 |181085 |   2.6 | 180M| 195 |   0 |5645 |5424 |5645 | 158 |  41k|  10 |2425 | 0.000000e+00 | 1.356400e+05 |    Inf 
184.60/184.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
184.60/184.63	c   183s| 80000 | 79997 |205242 |   2.6 | 202M| 195 |   0 |5645 |5434 |5645 | 159 |  46k|  20 |2585 | 0.000000e+00 | 1.356400e+05 |    Inf 
206.59/206.64	c   205s| 90000 | 89997 |227703 |   2.5 | 223M| 195 |   0 |5645 |5434 |5645 | 159 |  50k|  20 |2730 | 0.000000e+00 | 1.356400e+05 |    Inf 
228.60/228.60	c   227s|100000 | 99997 |250208 |   2.5 | 244M| 195 |   0 |5645 |5434 |5645 | 165 |  55k|  20 |2918 | 0.000000e+00 | 1.356400e+05 |    Inf 
250.59/250.64	c   249s|110000 |109997 |272998 |   2.5 | 265M| 195 |   0 |5645 |5434 |5645 | 149 |  59k|  20 |3059 | 0.000000e+00 | 1.356400e+05 |    Inf 
272.09/272.11	c   270s|120000 |119997 |293338 |   2.4 | 287M| 195 |   0 |5645 |5431 |5645 | 185 |  63k|  20 |3171 | 0.000000e+00 | 1.356400e+05 |    Inf 
293.60/293.66	c   291s|130000 |129995 |313660 |   2.4 | 308M| 195 |   0 |5645 |5440 |5645 | 203 |  67k|  30 |3288 | 0.000000e+00 | 1.356400e+05 |    Inf 
314.80/314.88	c   312s|140000 |139993 |336188 |   2.4 | 329M| 253 |   0 |5645 |5449 |5645 | 198 |  71k|  39 |3438 | 0.000000e+00 | 1.356400e+05 |    Inf 
335.20/335.26	c   333s|150000 |149993 |350160 |   2.3 | 351M| 253 |   0 |5645 |5446 |5645 | 167 |  74k|  39 |3526 | 0.000000e+00 | 1.356400e+05 |    Inf 
356.20/356.26	c   353s|160000 |159993 |365985 |   2.3 | 372M| 253 |   0 |5645 |5445 |5645 | 177 |  76k|  39 |3643 | 0.000000e+00 | 1.356400e+05 |    Inf 
377.31/377.33	c   374s|170000 |169993 |382851 |   2.3 | 393M| 253 |   0 |5645 |5445 |5645 | 173 |  79k|  39 |3697 | 0.000000e+00 | 1.356400e+05 |    Inf 
398.00/398.08	c   395s|180000 |179993 |399063 |   2.2 | 413M| 253 |   0 |5645 |5441 |5645 | 187 |  83k|  39 |3805 | 0.000000e+00 | 1.356400e+05 |    Inf 
418.80/418.86	c   416s|190000 |189993 |414530 |   2.2 | 434M| 253 |   0 |5645 |5440 |5645 | 162 |  86k|  39 |3931 | 0.000000e+00 | 1.356400e+05 |    Inf 
439.90/439.94	c   436s|200000 |199993 |431016 |   2.2 | 455M| 253 |   0 |5645 |5439 |5645 | 190 |  89k|  39 |4132 | 0.000000e+00 | 1.356400e+05 |    Inf 
460.50/460.51	c   457s|210000 |209991 |444352 |   2.1 | 476M| 253 |   0 |5645 |5449 |5645 | 183 |  92k|  49 |4220 | 0.000000e+00 | 1.356400e+05 |    Inf 
480.40/480.49	c   477s|220000 |219991 |456572 |   2.1 | 496M| 253 |   0 |5645 |5447 |5645 | 165 |  94k|  49 |4269 | 0.000000e+00 | 1.356400e+05 |    Inf 
500.20/500.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
500.20/500.27	c   496s|230000 |229991 |467942 |   2.0 | 517M| 253 |   0 |5645 |5447 |5645 | 204 |  96k|  49 |4358 | 0.000000e+00 | 1.356400e+05 |    Inf 
520.11/520.18	c   516s|240000 |239991 |479632 |   2.0 | 538M| 253 |   0 |5645 |5446 |5645 | 162 |  98k|  49 |4432 | 0.000000e+00 | 1.356400e+05 |    Inf 
536.90/536.92	o 775
536.90/536.92	c * 533s|248215 |241500 |489078 |   2.0 | 542M| 253 |   - |5645 |5436 |5645 | 172 | 100k|  49 |4517 | 0.000000e+00 | 7.750000e+02 |    Inf 
542.11/542.15	c   538s|250000 |243280 |497037 |   2.0 | 547M| 253 |   0 |5645 |5458 |5645 | 161 | 101k|  71 |4578 | 0.000000e+00 | 7.750000e+02 |    Inf 
571.70/571.76	c   567s|260000 |253251 |536664 |   2.1 | 571M| 253 |   0 |5645 |5518 |5645 | 195 | 109k| 134 |4778 | 0.000000e+00 | 7.750000e+02 |    Inf 
601.91/601.96	c   597s|270000 |263199 |580830 |   2.2 | 595M| 253 |   0 |5645 |5592 |5645 | 169 | 118k| 275 |4995 | 0.000000e+00 | 7.750000e+02 |    Inf 
631.21/631.28	c   626s|280000 |273195 |621407 |   2.2 | 618M| 253 |   0 |5645 |5495 |5645 | 187 | 126k| 290 |5131 | 0.000000e+00 | 7.750000e+02 |    Inf 
661.91/661.99	c   657s|290000 |283189 |668890 |   2.3 | 642M| 253 |   0 |5645 |5467 |5645 | 164 | 136k| 307 |5290 | 0.000000e+00 | 7.750000e+02 |    Inf 
694.51/694.55	c   689s|300000 |293187 |720288 |   2.4 | 666M| 253 |   0 |5645 |5454 |5645 | 151 | 146k| 317 |5463 | 0.000000e+00 | 7.750000e+02 |    Inf 
725.01/725.02	c   719s|310000 |303167 |764387 |   2.5 | 691M| 343 |   0 |5645 |5477 |5645 | 163 | 154k| 370 |5660 | 0.000000e+00 | 7.750000e+02 |    Inf 
731.11/731.16	o 774
731.11/731.16	c * 725s|311965 |305080 |774506 |   2.5 | 696M| 343 |   - |5645 |5470 |5645 | 210 | 155k| 378 |5733 | 0.000000e+00 | 7.740000e+02 |    Inf 
742.31/742.32	o 769
742.31/742.32	c * 737s|315594 |308446 |790396 |   2.5 | 705M| 343 |   - |5645 |5472 |5645 | 174 | 158k| 400 |5778 | 0.000000e+00 | 7.690000e+02 |    Inf 
754.12/754.10	c   748s|320000 |312852 |802167 |   2.5 | 715M| 343 |   0 |5645 |5450 |5645 | 206 | 161k| 400 |5835 | 0.000000e+00 | 7.690000e+02 |    Inf 
783.72/783.73	c   778s|330000 |322834 |844346 |   2.6 | 740M| 343 |   0 |5645 |5456 |5645 | 170 | 169k| 456 |5976 | 0.000000e+00 | 7.690000e+02 |    Inf 
788.02/788.00	o 327
788.02/788.00	c * 782s|331635 |205882 |848860 |   2.6 | 512M| 343 |   - |5645 |5451 |5645 | 164 | 170k| 456 |5979 | 0.000000e+00 | 3.270000e+02 |    Inf 
789.41/789.49	o 323
789.41/789.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
789.41/789.49	c * 783s|331957 |203502 |851180 |   2.6 | 508M| 343 |   - |5645 |5661 |5645 | 215 | 171k| 675 |5992 | 0.000000e+00 | 3.230000e+02 |    Inf 
792.31/792.30	o 322
792.31/792.30	c * 786s|332672 |203401 |855708 |   2.6 | 510M| 343 |   - |5645 |6065 |5645 | 188 | 171k|1104 |6084 | 0.000000e+00 | 3.220000e+02 |    Inf 
794.72/794.76	o 316
794.72/794.76	c * 789s|333364 |199988 |858479 |   2.6 | 505M| 343 |   - |5645 |6466 |5645 | 160 | 172k|1582 |6085 | 0.000000e+00 | 3.160000e+02 |    Inf 
796.22/796.20	o 315
796.22/796.20	c * 790s|333753 |199625 |860448 |   2.6 | 506M| 343 |   - |5645 |6391 |5645 | 179 | 172k|1653 |6087 | 0.000000e+00 | 3.150000e+02 |    Inf 
796.32/796.34	o 303
796.32/796.34	c * 790s|333778 |191355 |860612 |   2.6 | 489M| 343 |   - |5645 |6384 |5645 | 161 | 172k|1658 |6087 | 0.000000e+00 | 3.030000e+02 |    Inf 
796.32/796.35	o 299
796.32/796.35	c * 790s|333779 |188624 |860612 |   2.6 | 483M| 343 |   - |5645 |6384 |5645 | 161 | 172k|1658 |6087 | 0.000000e+00 | 2.990000e+02 |    Inf 
797.61/797.67	o 295
797.61/797.67	c * 791s|334069 |186265 |863216 |   2.6 | 479M| 343 |   - |5645 |6287 |5645 | 174 | 173k|1751 |6094 | 0.000000e+00 | 2.950000e+02 |    Inf 
797.61/797.69	o 291
797.61/797.69	c * 792s|334070 |183064 |863216 |   2.6 | 472M| 343 |   - |5645 |6287 |5645 | 174 | 173k|1751 |6094 | 0.000000e+00 | 2.910000e+02 |    Inf 
798.21/798.29	o 288
798.21/798.29	c * 792s|334187 |180672 |864550 |   2.6 | 468M| 343 |   - |5645 |6284 |5645 | 165 | 173k|1820 |6096 | 0.000000e+00 | 2.880000e+02 |    Inf 
799.32/799.31	o 287
799.32/799.31	c * 793s|334423 |179864 |866290 |   2.6 | 467M| 343 |   - |5645 |6347 |5645 | 184 | 173k|1982 |6113 | 0.000000e+00 | 2.870000e+02 |    Inf 
799.42/799.41	o 281
799.42/799.41	c * 793s|334439 |174770 |866430 |   2.6 | 456M| 343 |   - |5645 |6349 |5645 | 161 | 173k|1991 |6113 | 0.000000e+00 | 2.810000e+02 |    Inf 
799.72/799.73	o 280
799.72/799.73	c * 794s|334485 |173931 |866938 |   2.6 | 455M| 343 |   - |5645 |6341 |5645 | 194 | 173k|2011 |6115 | 0.000000e+00 | 2.800000e+02 |    Inf 
799.72/799.76	o 271
799.72/799.76	c * 794s|334487 |166892 |866943 |   2.6 | 440M| 343 |   - |5645 |6341 |5645 | 194 | 173k|2011 |6115 | 0.000000e+00 | 2.710000e+02 |    Inf 
800.21/800.23	o 266
800.21/800.23	c * 794s|334584 |162636 |867849 |   2.6 | 432M| 343 |   - |5645 |6327 |5645 | 190 | 173k|2032 |6115 | 0.000000e+00 | 2.660000e+02 |    Inf 
800.21/800.29	o 265
800.21/800.29	c * 794s|334590 |161946 |868019 |   2.6 | 431M| 343 |   - |5645 |6321 |5645 | 174 | 173k|2035 |6115 | 0.000000e+00 | 2.650000e+02 |    Inf 
800.41/800.46	o 253
800.41/800.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
800.41/800.46	c * 794s|334613 |150606 |868268 |   2.6 | 406M| 343 |   - |5645 |6318 |5645 | 195 | 174k|2049 |6117 | 0.000000e+00 | 2.530000e+02 |    Inf 
800.52/800.58	o 241
800.52/800.58	c * 794s|334630 |139380 |868438 |   2.6 | 380M| 343 |   - |5645 |6311 |5645 | 175 | 174k|2052 |6117 | 0.000000e+00 | 2.410000e+02 |    Inf 
800.82/800.89	o 233
800.82/800.89	c * 795s|334689 |131253 |868984 |   2.6 | 365M| 343 |   - |5645 |6319 |5645 | 197 | 174k|2090 |6121 | 0.000000e+00 | 2.330000e+02 |    Inf 
800.91/800.92	o 222
800.91/800.92	c * 795s|334690 |119664 |868984 |   2.6 | 339M| 343 |   - |5645 |6319 |5645 | 197 | 174k|2090 |6121 | 0.000000e+00 | 2.220000e+02 |    Inf 
801.11/801.15	o 216
801.11/801.15	c * 795s|334731 |113827 |869362 |   2.6 | 327M| 343 |   - |5645 |6308 |5645 | 205 | 174k|2108 |6123 | 0.000000e+00 | 2.160000e+02 |    Inf 
801.41/801.40	o 212
801.41/801.40	c * 795s|334783 |110443 |869810 |   2.6 | 320M| 343 |   - |5645 |6312 |5645 | 181 | 174k|2131 |6126 | 0.000000e+00 | 2.120000e+02 |    Inf 
801.61/801.65	o 200
801.61/801.65	c * 795s|334828 | 98779 |870239 |   2.6 | 295M| 343 |   - |5645 |6332 |5645 | 207 | 174k|2175 |6128 | 0.000000e+00 | 2.000000e+02 |    Inf 
802.92/803.00	o 192
802.92/803.00	c * 797s|335133 | 91079 |872584 |   2.6 | 280M| 343 |   - |5645 |6429 |5645 | 178 | 174k|2381 |6140 | 0.000000e+00 | 1.920000e+02 |    Inf 
803.02/803.09	o 191
803.02/803.09	c * 797s|335141 | 86021 |872799 |   2.6 | 265M| 343 |   - |5645 |6421 |5645 | 184 | 175k|2385 |6141 | 0.000000e+00 | 1.910000e+02 |    Inf 
803.21/803.28	o 182
803.21/803.28	c * 797s|335171 | 78708 |873236 |   2.6 | 250M| 343 |   - |5645 |6423 |5645 | 182 | 175k|2405 |6141 | 0.000000e+00 | 1.820000e+02 |    Inf 
804.41/804.41	o 181
804.41/804.41	c * 798s|335412 | 78152 |875282 |   2.6 | 251M| 343 |   - |5645 |6377 |5645 | 177 | 175k|2523 |6174 | 0.000000e+00 | 1.810000e+02 |    Inf 
804.51/804.51	o 174
804.51/804.51	c * 798s|335425 | 71003 |875470 |   2.6 | 236M| 343 |   - |5645 |6370 |5645 | 183 | 175k|2527 |6176 | 0.000000e+00 | 1.740000e+02 |    Inf 
804.61/804.68	o 168
804.61/804.68	c * 798s|335455 | 64989 |875795 |   2.6 | 222M| 343 |   - |5645 |6375 |5645 | 188 | 175k|2551 |6177 | 0.000000e+00 | 1.680000e+02 |    Inf 
804.81/804.83	o 162
804.81/804.83	c * 799s|335476 | 60048 |876130 |   2.6 | 211M| 343 |   - |5645 |6365 |5645 | 193 | 175k|2555 |6177 | 0.000000e+00 | 1.620000e+02 |    Inf 
804.81/804.86	o 154
804.81/804.86	c * 799s|335477 | 48189 |876130 |   2.6 | 179M| 343 |   - |5645 |6365 |5645 | 193 | 175k|2555 |6177 | 0.000000e+00 | 1.540000e+02 |    Inf 
806.32/806.34	o 151
806.32/806.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
806.32/806.34	c * 800s|335730 | 46814 |878622 |   2.6 | 178M| 343 |   - |5645 |6439 |5645 | 166 | 176k|2813 |6197 | 0.000000e+00 | 1.510000e+02 |    Inf 
807.02/807.00	o 147
807.02/807.00	c * 801s|335830 | 44257 |879500 |   2.6 | 171M| 343 |   - |5645 |6486 |5645 | 158 | 176k|2923 |6208 | 0.000000e+00 | 1.470000e+02 |    Inf 
807.02/807.05	o 145
807.02/807.05	c * 801s|335837 | 43404 |879555 |   2.6 | 168M| 343 |   - |5645 |6478 |5645 | 169 | 176k|2923 |6209 | 0.000000e+00 | 1.450000e+02 |    Inf 
807.62/807.64	o 144
807.62/807.64	c * 801s|335945 | 42960 |880320 |   2.6 | 169M| 343 |   - |5645 |6515 |5645 | 162 | 176k|3028 |6217 | 0.000000e+00 | 1.440000e+02 |    Inf 
808.02/808.09	o 142
808.02/808.09	c * 802s|336008 | 40957 |881122 |   2.6 | 165M| 343 |   - |5645 |6542 |5645 | 159 | 176k|3110 |6225 | 0.000000e+00 | 1.420000e+02 |    Inf 
808.12/808.17	o 140
808.12/808.17	c * 802s|336015 | 39183 |881192 |   2.6 | 159M| 343 |   - |5645 |6535 |5645 | 150 | 176k|3112 |6225 | 0.000000e+00 | 1.400000e+02 |    Inf 
808.12/808.18	o 136
808.12/808.18	c * 802s|336016 | 35805 |881192 |   2.6 | 152M| 343 |   - |5645 |6535 |5645 | 150 | 176k|3112 |6225 | 0.000000e+00 | 1.360000e+02 |    Inf 
808.81/808.83	o 132
808.81/808.83	c * 803s|336131 | 33400 |882131 |   2.6 | 147M| 343 |   - |5645 |6539 |5645 | 170 | 177k|3194 |6233 | 0.000000e+00 | 1.320000e+02 |    Inf 
808.91/808.94	o 126
808.91/808.94	c * 803s|336140 | 29218 |882299 |   2.6 | 136M| 343 |   - |5645 |6533 |5645 | 158 | 177k|3208 |6233 | 0.000000e+00 | 1.260000e+02 |    Inf 
809.22/809.29	o 119
809.22/809.29	c * 803s|336192 | 27047 |882811 |   2.6 | 131M| 343 |   - |5645 |6513 |5645 | 186 | 177k|3252 |6236 | 0.000000e+00 | 1.190000e+02 |    Inf 
809.32/809.30	o 115
809.32/809.30	c * 803s|336193 | 24702 |882811 |   2.6 | 125M| 343 |   - |5645 |6513 |5645 | 186 | 177k|3252 |6236 | 0.000000e+00 | 1.150000e+02 |    Inf 
809.32/809.39	o 111
809.32/809.39	c * 803s|336205 | 21720 |882911 |   2.6 | 118M| 343 |   - |5645 |6488 |5645 | 152 | 177k|3258 |6236 | 0.000000e+00 | 1.110000e+02 |    Inf 
809.41/809.48	o 108
809.41/809.48	c * 803s|336212 | 20172 |882982 |   2.6 | 108M| 343 |   - |5645 |6481 |5645 | 150 | 177k|3260 |6236 | 0.000000e+00 | 1.080000e+02 |    Inf 
809.41/809.49	o 104
809.41/809.49	c * 803s|336213 | 17929 |882982 |   2.6 | 103M| 343 |   - |5645 |6481 |5645 | 150 | 177k|3260 |6236 | 0.000000e+00 | 1.040000e+02 |    Inf 
809.91/809.93	o 97
809.91/809.93	c * 804s|336258 | 15638 |883702 |   2.6 |  98M| 343 |   - |5645 |6424 |5645 | 168 | 177k|3297 |6255 | 0.000000e+00 | 9.700000e+01 |    Inf 
812.42/812.49	o 84
812.42/812.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
812.42/812.49	c * 806s|336663 | 11062 |886087 |   2.6 |  85M| 343 |   - |5645 |6270 |5645 | 160 | 177k|3606 |6267 | 0.000000e+00 | 8.400000e+01 |    Inf 
813.61/813.62	o 82
813.61/813.62	c * 807s|336880 | 10899 |886874 |   2.6 |  85M| 343 |   - |5645 |6040 |5645 | 165 | 177k|3785 |6280 | 0.000000e+00 | 8.200000e+01 |    Inf 
813.61/813.64	o 80
813.61/813.64	c * 807s|336881 |  8949 |886925 |   2.6 |  74M| 343 |   - |5645 |6040 |5645 | 163 | 177k|3785 |6280 | 0.000000e+00 | 8.000000e+01 |    Inf 
813.71/813.79	o 78
813.71/813.79	c * 807s|336901 |  3247 |887110 |   2.6 |  42M| 343 |   - |5645 |5905 |5645 | 166 | 177k|3793 |6280 | 0.000000e+00 | 7.800000e+01 |    Inf 
819.22/819.29	o 77
819.22/819.29	c * 813s|337965 |  3339 |894241 |   2.6 |  49M| 343 |   - |5645 |6086 |5645 | 172 | 179k|5202 |6358 | 0.000000e+00 | 7.700000e+01 |    Inf 
819.71/819.75	o 70
819.71/819.75	c * 813s|338017 |  3130 |894816 |   2.6 |  50M| 343 |   - |5645 |6079 |5645 | 200 | 179k|5334 |6369 | 0.000000e+00 | 7.000000e+01 |    Inf 
827.82/827.81	c   821s|340000 |  3102 |905134 |   2.7 |  58M| 343 |   4 |5645 |5962 |5645 | 143 | 182k|8184 |6452 | 0.000000e+00 | 7.000000e+01 |    Inf 
830.62/830.65	o 66
830.62/830.65	c * 824s|340828 |  3002 |908472 |   2.7 |  59M| 343 |   - |5645 |6367 |5645 | 163 | 183k|9351 |6481 | 0.000000e+00 | 6.600000e+01 |    Inf 
864.52/864.56	c   858s|350000 |  3934 |944725 |   2.7 |  78M| 343 |   7 |5645 |7580 |5645 | 196 | 191k|  19k|7081 | 0.000000e+00 | 6.600000e+01 |    Inf 
898.11/898.17	o 63
898.11/898.17	c * 891s|358701 |  4599 |990481 |   2.8 |  97M| 343 |   - |5645 |8363 |5645 | 176 | 202k|  31k|7107 | 0.000000e+00 | 6.300000e+01 |    Inf 
903.21/903.21	c   896s|360000 |  4725 |996966 |   2.8 | 100M| 343 |  11 |5645 |7332 |5645 | 166 | 204k|  32k|7110 | 0.000000e+00 | 6.300000e+01 |    Inf 
921.22/921.22	o 59
921.22/921.22	c * 914s|365024 |  4991 |  1014k|   2.8 | 106M| 343 |   - |5645 |8640 |5645 | 158 | 208k|  39k|7141 | 0.000000e+00 | 5.900000e+01 |    Inf 
923.21/923.22	o 52
923.21/923.22	c * 916s|365576 |  4812 |  1016k|   2.8 | 105M| 343 |   - |5645 |8179 |5645 | 184 | 209k|  40k|7144 | 0.000000e+00 | 5.200000e+01 |    Inf 
930.41/930.44	o 48
930.41/930.44	c * 923s|367242 |  4705 |  1025k|   2.8 | 106M| 343 |   - |5645 |7660 |5645 | 148 | 212k|  42k|7163 | 0.000000e+00 | 4.800000e+01 |    Inf 
933.42/933.44	o 44
933.42/933.44	c * 926s|368141 |  4682 |  1028k|   2.8 | 105M| 343 |   - |5645 |7411 |5645 | 155 | 213k|  43k|7165 | 0.000000e+00 | 4.400000e+01 |    Inf 
936.52/936.56	o 39
936.52/936.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
936.52/936.56	c * 929s|369188 |  4532 |  1031k|   2.8 | 104M| 343 |   - |5645 |8126 |5645 | 164 | 213k|  45k|7165 | 0.000000e+00 | 3.900000e+01 |    Inf 
936.91/936.91	o 38
936.91/936.91	c * 929s|369299 |  4440 |  1032k|   2.8 | 102M| 343 |   - |5645 |8040 |5645 | 157 | 213k|  45k|7165 | 0.000000e+00 | 3.800000e+01 |    Inf 
937.22/937.21	o 36
937.22/937.21	c * 930s|369403 |  4280 |  1032k|   2.8 |  99M| 343 |   - |5645 |7861 |5645 | 147 | 214k|  45k|7165 | 0.000000e+00 | 3.600000e+01 |    Inf 
937.22/937.26	o 19
937.22/937.26	c * 930s|369406 |  3366 |  1032k|   2.8 |  81M| 343 |   - |5645 |7730 |5645 | 150 | 214k|  45k|7165 | 0.000000e+00 | 1.900000e+01 |    Inf 
938.52/938.53	o 15
938.52/938.53	c * 931s|369986 |  3238 |  1033k|   2.8 |  79M| 343 |   - |5645 |5656 |5645 | 143 | 214k|  46k|7178 | 0.000000e+00 | 1.500000e+01 |    Inf 
938.52/938.59	c   931s|370000 |  3237 |  1033k|   2.8 |  79M| 343 |   - |5645 |5349 |   0 |   0 | 214k|  46k|7178 | 0.000000e+00 | 1.500000e+01 |    Inf 
941.11/941.18	o 12
941.11/941.18	c * 933s|371130 |  2781 |  1037k|   2.8 |  74M| 343 |   - |5645 |5047 |5645 | 160 | 215k|  47k|7188 | 0.000000e+00 | 1.200000e+01 |    Inf 
942.11/942.18	o 2
942.11/942.18	c * 934s|371637 |  1622 |  1039k|   2.8 |  56M| 343 |   - |5645 |5028 |5645 | 172 | 215k|  48k|7200 | 0.000000e+00 | 2.000000e+00 |    Inf 
956.01/956.09	c   948s|380000 |  1249 |  1060k|   2.8 |  54M| 343 |   - |5645 |7273 |5645 | 182 | 218k|  58k|7279 | 0.000000e+00 | 2.000000e+00 |    Inf 
973.62/973.67	c   965s|390000 |  1237 |  1086k|   2.8 |  55M| 343 |   - |5645 |8272 |   0 |   0 | 224k|  71k|7322 | 0.000000e+00 | 2.000000e+00 |    Inf 
991.92/991.92	c   983s|400000 |  1262 |  1113k|   2.8 |  57M| 343 |   - |5645 |  11k|   0 |   0 | 229k|  84k|7360 | 0.000000e+00 | 2.000000e+00 |    Inf 
1009.73/1009.76	c  1001s|410000 |  1294 |  1131k|   2.8 |  58M| 343 |  10 |5645 |  12k|5645 | 159 | 232k|  97k|7387 | 0.000000e+00 | 2.000000e+00 |    Inf 
1031.73/1031.75	c  1023s|420000 |  1366 |  1165k|   2.8 |  61M| 343 |   1 |5645 |  18k|5645 | 165 | 240k| 110k|7434 | 0.000000e+00 | 2.000000e+00 |    Inf 
1056.32/1056.38	c  1047s|430000 |  1390 |  1204k|   2.8 |  62M| 343 |   1 |5645 |  18k|5645 | 176 | 251k| 122k|7485 | 0.000000e+00 | 2.000000e+00 |    Inf 
1077.62/1077.66	c  1068s|440000 |  1389 |  1227k|   2.8 |  62M| 343 |   - |5645 |  20k|   0 |   0 | 253k| 135k|7522 | 0.000000e+00 | 2.000000e+00 |    Inf 
1099.22/1099.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1099.22/1099.21	c  1090s|450000 |  1405 |  1246k|   2.8 |  64M| 343 |   - |5645 |  24k|   0 |   0 | 255k| 147k|7550 | 0.000000e+00 | 2.000000e+00 |    Inf 
1121.62/1121.65	c  1112s|460000 |  1415 |  1260k|   2.7 |  67M| 343 |   1 |5645 |  30k|5645 | 178 | 256k| 160k|7569 | 0.000000e+00 | 2.000000e+00 |    Inf 
1147.72/1147.79	c  1138s|470000 |  1432 |  1291k|   2.7 |  67M| 343 |   - |5645 |  28k|   0 |   0 | 261k| 173k|7614 | 0.000000e+00 | 2.000000e+00 |    Inf 
1172.82/1172.87	c  1163s|480000 |  1455 |  1311k|   2.7 |  68M| 343 |   1 |5645 |  28k|5645 | 166 | 264k| 186k|7644 | 0.000000e+00 | 2.000000e+00 |    Inf 
1202.03/1202.09	c  1192s|490000 |  1505 |  1334k|   2.7 |  69M| 343 |   1 |5645 |  31k|5645 | 164 | 267k| 198k|7664 | 0.000000e+00 | 2.000000e+00 |    Inf 
1232.43/1232.41	c  1222s|500000 |  1524 |  1355k|   2.7 |  72M| 343 |  18 |5645 |  36k|5645 | 189 | 269k| 211k|7671 | 0.000000e+00 | 2.000000e+00 |    Inf 
1262.23/1262.22	c  1251s|510000 |  1542 |  1373k|   2.7 |  72M| 343 |   - |5645 |  34k|   0 |   0 | 270k| 224k|7711 | 0.000000e+00 | 2.000000e+00 |    Inf 
1291.44/1291.45	c  1280s|520000 |  1618 |  1398k|   2.7 |  74M| 343 |   - |5645 |  37k|   0 |   0 | 276k| 237k|7732 | 0.000000e+00 | 2.000000e+00 |    Inf 
1331.73/1331.79	c  1320s|530000 |  1762 |  1444k|   2.7 |  77M| 343 |   5 |5645 |  41k|5645 | 174 | 290k| 251k|7775 | 0.000000e+00 | 2.000000e+00 |    Inf 
1367.03/1367.08	c  1355s|540000 |  1663 |  1475k|   2.7 |  76M| 343 |   1 |5645 |  39k|5645 | 153 | 296k| 264k|7815 | 0.000000e+00 | 2.000000e+00 |    Inf 
1403.03/1403.03	c  1391s|550000 |  1753 |  1506k|   2.7 |  78M| 343 |   - |5645 |  42k|   0 |   0 | 303k| 277k|7857 | 0.000000e+00 | 2.000000e+00 |    Inf 
1442.13/1442.17	c  1430s|560000 |  1832 |  1542k|   2.8 |  79M| 343 |   - |5645 |  41k|   0 |   0 | 312k| 290k|7897 | 0.000000e+00 | 2.000000e+00 |    Inf 
1485.04/1485.09	c  1473s|570000 |  1936 |  1592k|   2.8 |  81M| 343 |   - |5645 |  44k|   0 |   0 | 325k| 303k|7955 | 0.000000e+00 | 2.000000e+00 |    Inf 
1521.14/1521.10	c  1508s|580000 |  1937 |  1620k|   2.8 |  81M| 343 |   5 |5645 |  43k|5645 | 171 | 329k| 317k|7989 | 0.000000e+00 | 2.000000e+00 |    Inf 
1564.03/1564.09	c  1551s|590000 |  2007 |  1663k|   2.8 |  84M| 343 |  20 |5645 |  47k|5645 | 181 | 342k| 331k|8044 | 0.000000e+00 | 2.000000e+00 |    Inf 
1608.94/1608.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1608.94/1608.90	c  1596s|600000 |  1993 |  1706k|   2.8 |  84M| 343 |  12 |5645 |  48k|5645 | 179 | 354k| 345k|8089 | 0.000000e+00 | 2.000000e+00 |    Inf 
1649.54/1649.57	c  1636s|610000 |  1857 |  1743k|   2.9 |  81M| 343 |   - |5645 |  41k|   0 |   0 | 363k| 359k|8129 | 0.000000e+00 | 2.000000e+00 |    Inf 
1689.24/1689.22	c  1675s|620000 |  1872 |  1789k|   2.9 |  82M| 343 |  13 |5645 |  43k|5645 | 193 | 373k| 372k|8179 | 0.000000e+00 | 2.000000e+00 |    Inf 
1729.35/1729.31	c  1715s|630000 |  1809 |  1831k|   2.9 |  81M| 343 |  10 |5645 |  43k|5645 | 203 | 383k| 386k|8215 | 0.000000e+00 | 2.000000e+00 |    Inf 
1770.35/1770.38	c  1756s|640000 |  1770 |  1870k|   2.9 |  80M| 343 |   - |5645 |  39k|   0 |   0 | 392k| 400k|8258 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1785.44
1800.05/1800.00	c Solving Nodes      : 649255
1800.05/1800.00	c Primal Bound       : +2.00000000000000e+00 (289 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.07	s SATISFIABLE
1800.05/1800.07	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.05/1800.07	v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 
1800.05/1800.07	v -x188 -x187 -x186 x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.05/1800.07	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 
1800.05/1800.07	v -x146 x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.05/1800.07	v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1800.05/1800.07	v -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.05/1800.07	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 -x54 
1800.05/1800.07	v -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.05/1800.07	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.05/1800.07	v -x1 
1800.05/1800.07	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.07	c Solving Time       :    1785.44
1800.05/1800.07	c Original Problem   :
1800.05/1800.07	c   Problem name     : HOME/instance-2692320-1277926140.wbo
1800.05/1800.07	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07	c   Constraints      : 5415 initial, 5415 maximal
1800.05/1800.07	c Presolved Problem  :
1800.05/1800.07	c   Problem name     : t_HOME/instance-2692320-1277926140.wbo
1800.05/1800.07	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.07	c   Constraints      : 5414 initial, 49874 maximal
1800.05/1800.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.07	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.07	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.07	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.07	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.07	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.07	c   linear           :       0.01          0          0          0       2707          0          1          0          0
1800.05/1800.07	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.07	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.07	c   root node        :          -       2680          -          -       5360          -          -          -          -
1800.05/1800.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.07	c   integral         :          0          0          0     581202          0          1         92          0          0     370088
1800.05/1800.07	c   indicator        :       2707          0    2440783     395988          0        276    5747206          0          0          0
1800.05/1800.07	c   linear           :       2707          6    2453786     393130          0     126369    9311523     397408          0          0
1800.05/1800.07	c   logicor          :          0+         0     569435          0          0      25175     555051          0          0          0
1800.05/1800.07	c   bounddisjunction :          0+         0       6066          0          0          0        215          0          0          0
1800.05/1800.07	c   countsols        :          0          0          0     321573          0          0          0          0          0          0
1800.05/1800.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.07	c   integral         :      15.69       0.00       0.00      15.69       0.00
1800.05/1800.07	c   indicator        :     129.48       0.00      30.55      98.93       0.00
1800.05/1800.07	c   linear           :     163.53       0.01     123.25      40.27       0.00
1800.05/1800.07	c   logicor          :     220.12       0.00     220.12       0.00       0.00
1800.05/1800.07	c   bounddisjunction :       0.03       0.00       0.03       0.00       0.00
1800.05/1800.07	c   countsols        :       0.05       0.00       0.00       0.05       0.00
1800.05/1800.07	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.07	c   vbounds          :       0.55          2          0          0
1800.05/1800.07	c   rootredcost      :       0.56         68          0       2680
1800.05/1800.07	c   pseudoobj        :     130.96    2467668      10259    3864609
1800.05/1800.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.07	c   propagation      :       9.90     161803     161528     993898       28.6       7951       18.2          -
1800.05/1800.07	c   infeasible LP    :       1.91       4859       4859      37486       43.2         77       16.5          0
1800.05/1800.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.07	c   pseudo solution  :       0.07        194        194        776       16.2        102        7.2          -
1800.05/1800.07	c   applied globally :          -          -          -     412894       22.2          -          -          -
1800.05/1800.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.07	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 86)
1800.05/1800.07	c   redcost          :      58.01     583454          0    1539047          0          0
1800.05/1800.07	c   impliedbounds    :       0.00          4          0          0          0          0
1800.05/1800.07	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.07	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.07	c   gomory           :       0.00          4          0          0         86          0
1800.05/1800.07	c   strongcg         :       0.00          4          0          0          0          0
1800.05/1800.07	c   cmir             :       0.02          4          0          0          0          0
1800.05/1800.07	c   flowcover        :       0.01          4          0          0          0          0
1800.05/1800.07	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.07	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.07	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.07	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.07	c Pricers            :       Time      Calls       Vars
1800.05/1800.07	c   problem variables:       0.00          0          0
1800.05/1800.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.07	c   relpscost        :      15.31     185125          1         92          0          0     370088
1800.05/1800.07	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   inference        :      97.96     321505          0          0          0          0     643010
1800.05/1800.07	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.07	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.07	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.07	c   LP solutions     :       0.80          -         68
1800.05/1800.07	c   pseudo solutions :       0.00          -          0
1800.05/1800.07	c   feaspump         :       0.01          0          0
1800.05/1800.07	c   oneopt           :       0.59         60          0
1800.05/1800.07	c   intshifting      :       0.04          8          0
1800.05/1800.07	c   crossover        :       1.82         56          0
1800.05/1800.07	c   guideddiving     :       4.12       2316          0
1800.05/1800.07	c   pscostdiving     :       7.81       4746          0
1800.05/1800.07	c   fracdiving       :       7.54       4746          0
1800.05/1800.07	c   linesearchdiving :       7.59       4746          0
1800.05/1800.07	c   coefdiving       :       7.63       4747          0
1800.05/1800.07	c   veclendiving     :       7.22       4747          0
1800.05/1800.07	c   rootsoldiving    :       7.95       4741          0
1800.05/1800.07	c   objpscostdiving  :       7.41       4743          0
1800.05/1800.07	c   trivial          :       0.08          2          2
1800.05/1800.07	c   simplerounding   :       0.54     185946          0
1800.05/1800.07	c   zirounding       :       0.45       1000          0
1800.05/1800.07	c   rounding         :       3.27       6020          0
1800.05/1800.07	c   shifting         :       1.80       1884          0
1800.05/1800.07	c   twoopt           :       0.00          0          0
1800.05/1800.07	c   fixandinfer      :       0.00          0          0
1800.05/1800.07	c   intdiving        :       0.00          0          0
1800.05/1800.07	c   actconsdiving    :       0.00          0          0
1800.05/1800.07	c   octane           :       0.00          0          0
1800.05/1800.07	c   rens             :       0.02          1          0
1800.05/1800.07	c   rins             :       0.00          0          0
1800.05/1800.07	c   localbranching   :       0.00          0          0
1800.05/1800.07	c   mutation         :       0.00          0          0
1800.05/1800.07	c   dins             :       0.00          0          0
1800.05/1800.07	c   undercover       :       0.00          0          0
1800.05/1800.07	c   nlp              :       0.22          0          0
1800.05/1800.07	c   trysol           :       2.49      10278        219
1800.05/1800.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.07	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.07	c   dual LP          :     401.53     286780    1891777       6.60    4711.42
1800.05/1800.07	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.07	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.07	c   diving/probing LP:       0.26        175       1980      11.31    7615.38
1800.05/1800.07	c   strong branching :      13.80       8292      78247       9.44    5670.07
1800.05/1800.07	c     (at root node) :          -         32       1061      33.16          -
1800.05/1800.07	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.07	c B&B Tree           :
1800.05/1800.07	c   number of runs   :          1
1800.05/1800.07	c   nodes            :     649255
1800.05/1800.07	c   nodes (total)    :     649255
1800.05/1800.07	c   nodes left       :       1745
1800.05/1800.07	c   max depth        :        343
1800.05/1800.07	c   max depth (total):        343
1800.05/1800.07	c   backtracks       :      33114 (5.1%)
1800.05/1800.07	c   delayed cutoffs  :      26349
1800.05/1800.07	c   repropagations   :    1025753 (3169792 domain reductions, 24486 cutoffs)
1800.05/1800.07	c   avg switch length:       4.99
1800.05/1800.07	c   switching time   :     198.11
1800.05/1800.07	c Solution           :
1800.05/1800.07	c   Solutions found  :        289 (69 improvements)
1800.05/1800.07	c   First Solution   : +1.35640000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.07	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 371637 nodes, 934.44 seconds, depth 38, found by <relaxation>)
1800.05/1800.07	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.07	c   Gap              :   infinite
1800.05/1800.07	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.07	c   Root Iterations  :        106
1800.24/1800.20	c Time complete: 1800.25.

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-2692320-1277926140/watcher-2692320-1277926140 -o /tmp/evaluation-result-2692320-1277926140/solver-2692320-1277926140 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692320-1277926140.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.07 2.39 2.36 3/196 19217
/proc/meminfo: memFree=30920876/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=9408 CPUtime=0
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 1649 0 0 0 0 0 0 0 25 0 1 0 133909481 9633792 1568 4089446400 4194304 8223781 140735654607280 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19217/statm: 2352 1568 369 984 0 1365 0

[startup+0.0745039 s]
/proc/loadavg: 2.07 2.39 2.36 3/196 19217
/proc/meminfo: memFree=30920876/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=35144 CPUtime=0.07
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 8089 0 0 0 6 1 0 0 25 0 1 0 133909481 35987456 7644 4089446400 4194304 8223781 140735654607280 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19217/statm: 8786 7644 422 984 0 7799 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 35144

[startup+0.100507 s]
/proc/loadavg: 2.07 2.39 2.36 3/196 19217
/proc/meminfo: memFree=30920876/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=35144 CPUtime=0.09
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 8089 0 0 0 8 1 0 0 25 0 1 0 133909481 35987456 7644 4089446400 4194304 8223781 140735654607280 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19217/statm: 8786 7644 422 984 0 7799 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35144

[startup+0.300381 s]
/proc/loadavg: 2.07 2.39 2.36 3/196 19217
/proc/meminfo: memFree=30920876/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=50696 CPUtime=0.29
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 12606 0 0 0 26 3 0 0 25 0 1 0 133909481 51912704 11558 4089446400 4194304 8223781 140735654607280 18446744073709551615 6206490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19217/statm: 12674 11558 564 984 0 11687 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50696

[startup+0.700306 s]
/proc/loadavg: 2.07 2.39 2.36 3/196 19217
/proc/meminfo: memFree=30920876/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=43084 CPUtime=0.69
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 15656 0 0 0 63 6 0 0 25 0 1 0 133909481 44118016 9710 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19217/statm: 10771 9710 575 984 0 9784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43084

[startup+1.50021 s]
/proc/loadavg: 2.06 2.39 2.36 3/197 19218
/proc/meminfo: memFree=30883296/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=43136 CPUtime=1.49
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 15742 0 0 0 139 10 0 0 25 0 1 0 133909481 44171264 9796 4089446400 4194304 8223781 140735654607280 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19217/statm: 10784 9796 578 984 0 9797 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43136

[startup+3.10093 s]
/proc/loadavg: 2.06 2.39 2.36 3/197 19218
/proc/meminfo: memFree=30882552/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=48604 CPUtime=3.08
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 22035 0 0 0 296 12 0 0 25 0 1 0 133909481 49770496 11010 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 12151 11010 581 984 0 11164 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48604

[startup+6.30034 s]
/proc/loadavg: 2.06 2.39 2.36 3/197 19218
/proc/meminfo: memFree=30874496/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=52876 CPUtime=6.29
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 28204 0 0 0 614 15 0 0 25 0 1 0 133909481 54145024 12075 4089446400 4194304 8223781 140735654607280 18446744073709551615 6482896 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 13219 12075 581 984 0 12232 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52876

[startup+12.7012 s]
/proc/loadavg: 2.05 2.37 2.35 3/197 19218
/proc/meminfo: memFree=30868680/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=59108 CPUtime=12.69
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 39907 0 0 0 1249 20 0 0 25 0 1 0 133909481 60526592 13631 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 14777 13631 581 984 0 13790 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59108

[startup+25.5009 s]
/proc/loadavg: 2.04 2.36 2.35 3/197 19218
/proc/meminfo: memFree=30855920/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=71788 CPUtime=25.49
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 48223 0 0 0 2518 31 0 0 25 0 1 0 133909481 73510912 16797 4089446400 4194304 8223781 140735654607280 18446744073709551615 4415305 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 17947 16797 581 984 0 16960 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71788

[startup+51.1012 s]
/proc/loadavg: 2.03 2.33 2.34 3/197 19219
/proc/meminfo: memFree=30831888/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=96516 CPUtime=51.09
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 59484 0 0 0 5059 50 0 0 25 0 1 0 133909481 98832384 23025 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 24129 23025 581 984 0 23142 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96516

[startup+102.307 s]
/proc/loadavg: 2.01 2.27 2.32 3/197 19221
/proc/meminfo: memFree=30776896/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=149420 CPUtime=102.3
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 77855 0 0 0 10143 87 0 0 25 0 1 0 133909481 153006080 36309 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 37355 36309 581 984 0 36368 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 149420

[startup+162.301 s]
/proc/loadavg: 2.00 2.22 2.29 3/197 19225
/proc/meminfo: memFree=30713724/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=212604 CPUtime=162.3
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 98266 0 0 0 16097 133 0 0 25 0 1 0 133909481 217706496 51663 4089446400 4194304 8223781 140735654607280 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 53151 51663 586 984 0 52164 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 212604

[startup+222.301 s]
/proc/loadavg: 2.00 2.18 2.27 3/197 19227
/proc/meminfo: memFree=30655312/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=270656 CPUtime=222.3
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 112910 0 0 0 22049 181 0 0 25 0 1 0 133909481 277151744 66302 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 67664 66302 586 984 0 66677 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 270656

[startup+282.301 s]
/proc/loadavg: 2.09 2.18 2.27 3/197 19229
/proc/meminfo: memFree=30599332/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=327088 CPUtime=282.29
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 132198 0 0 0 28002 227 0 0 25 0 1 0 133909481 334938112 80538 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 81772 80538 586 984 0 80785 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 327088

[startup+342.301 s]
/proc/loadavg: 2.03 2.15 2.25 3/179 19258
/proc/meminfo: memFree=30608272/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=389428 CPUtime=342.3
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 147894 0 0 0 33955 275 0 0 25 0 1 0 133909481 398774272 96232 4089446400 4194304 8223781 140735654607280 18446744073709551615 6445090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 97357 96232 586 984 0 96370 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 389428

[startup+402.301 s]
/proc/loadavg: 2.01 2.12 2.23 3/179 19260
/proc/meminfo: memFree=30487848/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=445032 CPUtime=402.3
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 161943 0 0 0 39911 319 0 0 25 0 1 0 133909481 455712768 110247 4089446400 4194304 8223781 140735654607280 18446744073709551615 6003053 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 111258 110247 586 984 0 110271 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 445032

[startup+462.301 s]
/proc/loadavg: 2.00 2.09 2.21 3/179 19261
/proc/meminfo: memFree=30367524/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=510464 CPUtime=462.3
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 182363 0 0 0 45862 368 0 0 25 0 1 0 133909481 522715136 125640 4089446400 4194304 8223781 140735654607280 18446744073709551615 4561337 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 127616 125640 586 984 0 126629 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 510464

[startup+522.301 s]
/proc/loadavg: 2.07 2.09 2.20 3/179 19263
/proc/meminfo: memFree=30251556/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=572360 CPUtime=522.3
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 197939 0 0 0 51817 413 0 0 25 0 1 0 133909481 586096640 141205 4089446400 4194304 8223781 140735654607280 18446744073709551615 4651565 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 143090 141205 586 984 0 142103 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 572360

[startup+582.301 s]
/proc/loadavg: 2.02 2.07 2.18 3/179 19265
/proc/meminfo: memFree=30154040/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=614612 CPUtime=582.31
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 235617 0 0 0 57770 461 0 0 25 0 1 0 133909481 629362688 151852 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 153653 151852 588 984 0 152666 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 614612

[startup+642.3 s]
/proc/loadavg: 2.01 2.06 2.17 3/179 19266
/proc/meminfo: memFree=30052952/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=662528 CPUtime=642.31
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 252743 0 0 0 63728 503 0 0 25 0 1 0 133909481 678428672 163921 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 165632 163921 588 984 0 164645 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 662528

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.03 2.03 2.13 4/179 19273
/proc/meminfo: memFree=29691564/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=828988 CPUtime=882.32
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 450461 0 0 0 87530 702 0 0 25 0 1 0 133909481 848883712 203580 4089446400 4194304 8223781 140735654607280 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 207247 203580 594 984 0 206260 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 828988

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.12 3/179 19274
/proc/meminfo: memFree=29680860/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=764392 CPUtime=942.32
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 530366 0 0 0 93459 773 0 0 25 0 1 0 133909481 782737408 186360 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 191098 186360 594 984 0 190111 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 764392

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/179 19276
/proc/meminfo: memFree=29740960/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=717232 CPUtime=1002.32
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 558904 0 0 0 99371 861 0 0 25 0 1 0 133909481 734445568 174568 4089446400 4194304 8223781 140735654607280 18446744073709551615 6446886 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 179308 174568 594 984 0 178321 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 717232

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/179 19277
/proc/meminfo: memFree=29744648/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=719792 CPUtime=1062.32
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 564025 0 0 0 105309 923 0 0 25 0 1 0 133909481 737067008 175213 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 179948 175213 594 984 0 178961 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 719792

[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.09 3/179 19279
/proc/meminfo: memFree=29779688/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=722156 CPUtime=1122.32
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 564608 0 0 0 111246 986 0 0 25 0 1 0 133909481 739487744 175794 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 180539 175794 594 984 0 179552 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 722156

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.08 3/179 19281
/proc/meminfo: memFree=29777428/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=724184 CPUtime=1182.32
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 566847 0 0 0 117191 1041 0 0 25 0 1 0 133909481 741564416 176223 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 181046 176223 594 984 0 180059 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 724184

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/179 19282
/proc/meminfo: memFree=29775768/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=726700 CPUtime=1242.32
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 567469 0 0 0 123142 1090 0 0 25 0 1 0 133909481 744140800 176845 4089446400 4194304 8223781 140735654607280 18446744073709551615 6003327 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 181675 176845 594 984 0 180688 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 726700

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/179 19284
/proc/meminfo: memFree=29773616/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=728656 CPUtime=1302.33
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 567877 0 0 0 129097 1136 0 0 25 0 1 0 133909481 746143744 177253 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 182164 177253 594 984 0 181177 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 728656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 19285
/proc/meminfo: memFree=29774064/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=729868 CPUtime=1362.33
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 568210 0 0 0 135060 1173 0 0 25 0 1 0 133909481 747384832 177586 4089446400 4194304 8223781 140735654607280 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 182467 177586 594 984 0 181480 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 729868

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.07 3/179 19287
/proc/meminfo: memFree=29773528/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=730320 CPUtime=1422.34
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 568297 0 0 0 141016 1218 0 0 25 0 1 0 133909481 747847680 177673 4089446400 4194304 8223781 140735654607280 18446744073709551615 4225857 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 182580 177673 594 984 0 181593 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 730320

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/179 19289
/proc/meminfo: memFree=29772872/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=730736 CPUtime=1482.33
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 568411 0 0 0 146979 1254 0 0 25 0 1 0 133909481 748273664 177783 4089446400 4194304 8223781 140735654607280 18446744073709551615 4431658 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 182684 177783 594 984 0 181697 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 730736

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 19290
/proc/meminfo: memFree=29771108/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=732496 CPUtime=1542.33
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 570652 0 0 0 152939 1294 0 0 25 0 1 0 133909481 750075904 178220 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 183124 178220 594 984 0 182137 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 732496

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 19292
/proc/meminfo: memFree=29767976/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=735148 CPUtime=1602.34
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 571325 0 0 0 158905 1329 0 0 25 0 1 0 133909481 752791552 178893 4089446400 4194304 8223781 140735654607280 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 183787 178893 594 984 0 182800 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 735148

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/179 19293
/proc/meminfo: memFree=29767060/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=735356 CPUtime=1662.34
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 571374 0 0 0 164866 1368 0 0 25 0 1 0 133909481 753004544 178942 4089446400 4194304 8223781 140735654607280 18446744073709551615 4923282 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 183839 178942 594 984 0 182852 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 735356

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/179 19295
/proc/meminfo: memFree=29766640/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=735412 CPUtime=1722.34
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 571390 0 0 0 170829 1405 0 0 25 0 1 0 133909481 753061888 178951 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 183853 178951 594 984 0 182866 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 735412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 19297
/proc/meminfo: memFree=29765352/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=735484 CPUtime=1782.35
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 571444 0 0 0 176791 1444 0 0 25 0 1 0 133909481 753135616 179003 4089446400 4194304 8223781 140735654607280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 183871 179003 594 984 0 182884 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 735484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 19297
/proc/meminfo: memFree=29765340/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=735484 CPUtime=1800.05
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 571444 0 0 0 178546 1459 0 0 25 0 1 0 133909481 753135616 179003 4089446400 4194304 8223781 140735654607280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19217/statm: 183871 179003 594 984 0 182884 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 735484

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 19297
/proc/meminfo: memFree=29765340/32951124 swapFree=67111528/67111528
[pid=19217] ppid=19215 vsize=73984 CPUtime=1800.24
/proc/19217/stat : 19217 (pbscip.linux.x8) R 19215 19217 18726 0 -1 4202496 571468 0 0 0 178563 1461 0 0 25 0 1 0 133909481 75759616 17888 4089446400 4194304 8223781 140735654607280 18446744073709551615 4685027 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19217/statm: 18496 17888 596 984 0 17509 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 73984

Child status: 0
Real time (s): 1800.21
CPU time (s): 1800.26
CPU user time (s): 1785.64
CPU system time (s): 14.6218
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 870464

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

runsolver used 2.94755 second user time and 5.56415 second system time

The end

Launcher Data 

Begin job on node139 at 2010-06-30 21:29:00
IDJOB=2692320
IDBENCH=79266
IDSOLVER=1204
FILE ID=node139/2692320-1277926140
PBS_JOBID= 11197355
Free space on /tmp= 74124 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.1900562192--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-2692320-1277926140/watcher-2692320-1277926140 -o /tmp/evaluation-result-2692320-1277926140/solver-2692320-1277926140 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692320-1277926140.wbo -t 1800 -m 3800

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

MD5SUM BENCH= db6ee27e0a2875f2e81d96fef92170ce
RANDOM SEED=2142206380

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30921528 kB
Buffers:        214492 kB
Cached:        1479212 kB
SwapCached:          0 kB
Active:         867668 kB
Inactive:      1015540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30921528 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4748 kB
Writeback:           0 kB
AnonPages:      189584 kB
Mapped:          20484 kB
Slab:            83912 kB
PageTables:       4884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1653340 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= 74116 MiB
End job on node139 at 2010-06-30 21:59:02