Trace number 2692755

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.21 1800.37

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571761--soft-33-100-0.wbo
MD5SUM91e040f5c30df15d8a8ea402735ab864
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark465.682
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 constraints1848
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 94973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 713
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-2692755-1277901450.wbo>
0.00/0.03	c original problem has 3927 variables (2079 bin, 0 int, 0 impl, 1848 cont) and 4556 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.04/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.04/0.09	c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.10	c (round 3) 46 del vars, 159 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.11	c (round 4) 124 del vars, 193 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.12	c (round 5) 158 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.13	c (round 6) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.18	c    (0.1s) probing: 101/1999 (5.1%) - 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 (7 rounds):
0.09/0.18	c  160 deleted vars, 195 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.18	c  1972 implications, 8 cliques
0.09/0.18	c presolved problem has 3767 variables (1999 bin, 0 int, 0 impl, 1768 cont) and 4361 constraints
0.09/0.18	c    1768 constraints of type <indicator>
0.09/0.18	c       8 constraints of type <setppc>
0.09/0.18	c    1768 constraints of type <linear>
0.09/0.18	c     817 constraints of type <logicor>
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.98
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.18	c 
0.09/0.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.19	c   0.1s|     1 |     0 |    35 |     - |  14M|   0 |  32 |3767 |4361 |3767 | 825 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	o 91089
0.19/0.20	c y 0.2s|     1 |     0 |   174 |     - |  14M|   0 |  32 |3767 |4361 |3767 | 825 |   0 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   241 |     - |  14M|   0 |  41 |3767 |4361 |3767 | 865 |  40 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   300 |     - |  14M|   0 |  49 |3767 |4361 |3767 | 874 |  49 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   320 |     - |  14M|   0 |  49 |3767 |4361 |3767 | 882 |  57 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   332 |     - |  14M|   0 |  53 |3767 |4361 |3767 | 886 |  61 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   342 |     - |  14M|   0 |  57 |3767 |4361 |3767 | 890 |  65 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.49/0.57	c   0.5s|     1 |     0 |   362 |     - |  14M|   0 |  58 |3767 |4361 |3767 | 892 |  67 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.89/0.90	c   0.8s|     1 |     2 |   362 |     - |  15M|   0 |  58 |3767 |4361 |3767 | 892 |  67 |   0 |  33 | 0.000000e+00 | 9.108900e+04 |    Inf 
20.79/20.85	c  20.5s| 10000 |  9963 | 24756 |   2.4 |  38M| 273 |   0 |3767 |4474 |3767 | 920 |1908 | 113 |1466 | 0.000000e+00 | 9.108900e+04 |    Inf 
34.38/34.48	c  34.0s| 20000 | 19959 | 32005 |   1.6 |  55M| 273 |   0 |3767 |4438 |3767 | 900 |2689 | 122 |1508 | 0.000000e+00 | 9.108900e+04 |    Inf 
35.38/35.46	o 684
35.38/35.46	c *35.0s| 20730 | 15573 | 32563 |   1.6 |  48M| 273 |   - |3767 |4434 |3767 | 896 |2725 | 122 |1509 | 0.000000e+00 | 6.840000e+02 |    Inf 
38.79/38.87	o 672
38.79/38.87	c *38.3s| 22065 | 16504 | 40463 |   1.8 |  51M| 273 |   - |3767 |4631 |3767 | 909 |3836 | 374 |1625 | 0.000000e+00 | 6.720000e+02 |    Inf 
44.18/44.28	o 627
44.18/44.28	c *43.7s| 23868 | 16528 | 62419 |   2.6 |  53M| 273 |   - |3767 |5230 |3767 | 907 |5355 |1251 |1680 | 0.000000e+00 | 6.270000e+02 |    Inf 
45.39/45.45	o 591
45.39/45.45	c *44.8s| 24329 | 15514 | 66061 |   2.7 |  51M| 273 |   - |3767 |5538 |3767 | 900 |5784 |1620 |1685 | 0.000000e+00 | 5.910000e+02 |    Inf 
46.29/46.30	o 581
46.29/46.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
46.29/46.30	c *45.6s| 24682 | 15343 | 68523 |   2.8 |  51M| 273 |   - |3767 |5734 |3767 | 926 |6056 |1927 |1690 | 0.000000e+00 | 5.810000e+02 |    Inf 
47.38/47.40	o 536
47.38/47.40	c *46.7s| 25128 | 13849 | 71566 |   2.8 |  49M| 273 |   - |3767 |5916 |3767 | 914 |6537 |2341 |1697 | 0.000000e+00 | 5.360000e+02 |    Inf 
47.78/47.88	o 513
47.78/47.88	c *47.2s| 25337 | 13218 | 72046 |   2.8 |  48M| 273 |   - |3767 |5909 |3767 | 916 |6672 |2369 |1707 | 0.000000e+00 | 5.130000e+02 |    Inf 
48.89/48.94	o 505
48.89/48.94	c *48.2s| 25849 | 13376 | 73471 |   2.8 |  48M| 273 |   - |3767 |5889 |3767 | 912 |7028 |2495 |1709 | 0.000000e+00 | 5.050000e+02 |    Inf 
55.99/56.02	o 470
55.99/56.02	c *55.2s| 28426 | 14230 | 99255 |   3.5 |  52M| 273 |   - |3767 |5307 |3767 | 911 |8632 |3700 |1725 | 0.000000e+00 | 4.700000e+02 |    Inf 
56.28/56.32	o 469
56.28/56.32	c *55.5s| 28509 | 14264 |100671 |   3.5 |  52M| 273 |   - |3767 |5272 |3767 | 913 |8715 |3727 |1725 | 0.000000e+00 | 4.690000e+02 |    Inf 
57.99/58.00	o 442
57.99/58.00	c *57.2s| 29224 | 13701 |105661 |   3.6 |  51M| 273 |   - |3767 |5549 |3767 | 922 |9328 |4362 |1726 | 0.000000e+00 | 4.420000e+02 |    Inf 
59.09/59.13	o 416
59.09/59.13	c *58.3s| 29716 | 13065 |108562 |   3.6 |  50M| 273 |   - |3767 |5787 |3767 | 913 |9979 |4813 |1727 | 0.000000e+00 | 4.160000e+02 |    Inf 
59.09/59.14	o 411
59.09/59.14	c *58.3s| 29717 | 12907 |108562 |   3.6 |  50M| 273 |   - |3767 |5787 |3767 | 913 |9979 |4813 |1727 | 0.000000e+00 | 4.110000e+02 |    Inf 
59.79/59.81	o 406
59.79/59.81	c *58.9s| 29930 | 12926 |110842 |   3.7 |  50M| 273 |   - |3767 |5758 |3767 | 935 |  10k|4852 |1731 | 0.000000e+00 | 4.060000e+02 |    Inf 
59.89/59.99	c  59.1s| 30000 | 12987 |111458 |   3.7 |  51M| 273 |  15 |3767 |5751 |3767 | 912 |  10k|4877 |1732 | 0.000000e+00 | 4.060000e+02 |    Inf 
61.29/61.38	o 402
61.29/61.38	c *60.5s| 30583 | 13352 |115040 |   3.7 |  52M| 273 |   - |3767 |5715 |3767 | 918 |  10k|5039 |1740 | 0.000000e+00 | 4.020000e+02 |    Inf 
61.60/61.64	o 397
61.60/61.64	c *60.7s| 30681 | 13276 |115845 |   3.8 |  52M| 273 |   - |3767 |5718 |3767 | 916 |  10k|5080 |1741 | 0.000000e+00 | 3.970000e+02 |    Inf 
61.60/61.69	o 382
61.60/61.69	c *60.8s| 30697 | 12697 |115982 |   3.8 |  50M| 273 |   - |3767 |5722 |3767 | 916 |  10k|5090 |1741 | 0.000000e+00 | 3.820000e+02 |    Inf 
61.69/61.76	o 381
61.69/61.76	c *60.9s| 30725 | 12685 |116163 |   3.8 |  51M| 273 |   - |3767 |5713 |3767 | 924 |  10k|5093 |1741 | 0.000000e+00 | 3.810000e+02 |    Inf 
62.78/62.88	o 378
62.78/62.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
62.78/62.88	c *62.0s| 31200 | 12972 |118300 |   3.8 |  51M| 273 |   - |3767 |5716 |3767 | 920 |  11k|5226 |1742 | 0.000000e+00 | 3.780000e+02 |    Inf 
63.19/63.25	o 370
63.19/63.25	c *62.3s| 31329 | 12754 |119323 |   3.8 |  51M| 273 |   - |3767 |5709 |3767 | 925 |  11k|5291 |1743 | 0.000000e+00 | 3.700000e+02 |    Inf 
63.39/63.49	o 368
63.39/63.49	c *62.6s| 31421 | 12761 |119857 |   3.8 |  51M| 273 |   - |3767 |5704 |3767 | 913 |  11k|5307 |1743 | 0.000000e+00 | 3.680000e+02 |    Inf 
63.49/63.51	o 367
63.49/63.51	c *62.6s| 31429 | 12728 |119861 |   3.8 |  51M| 273 |   - |3767 |5702 |3767 | 913 |  11k|5307 |1743 | 0.000000e+00 | 3.670000e+02 |    Inf 
63.49/63.53	o 352
63.49/63.53	c *62.6s| 31435 | 12032 |119906 |   3.8 |  49M| 273 |   - |3767 |5702 |3767 | 913 |  11k|5307 |1743 | 0.000000e+00 | 3.520000e+02 |    Inf 
63.59/63.62	o 338
63.59/63.62	c *62.7s| 31459 | 11518 |120058 |   3.8 |  48M| 273 |   - |3767 |5695 |3767 | 920 |  11k|5308 |1743 | 0.000000e+00 | 3.380000e+02 |    Inf 
63.59/63.62	o 332
63.59/63.62	c *62.7s| 31460 | 11272 |120058 |   3.8 |  48M| 273 |   - |3767 |5695 |3767 | 920 |  11k|5308 |1743 | 0.000000e+00 | 3.320000e+02 |    Inf 
63.69/63.79	o 326
63.69/63.79	c *62.9s| 31519 | 11086 |120734 |   3.8 |  47M| 273 |   - |3767 |5672 |3767 | 916 |  11k|5346 |1743 | 0.000000e+00 | 3.260000e+02 |    Inf 
63.69/63.80	o 325
63.69/63.80	c *62.9s| 31520 | 11020 |120737 |   3.8 |  47M| 273 |   - |3767 |5672 |3767 | 916 |  11k|5346 |1743 | 0.000000e+00 | 3.250000e+02 |    Inf 
65.19/65.23	o 311
65.19/65.23	c *64.3s| 32108 | 10862 |123559 |   3.8 |  47M| 273 |   - |3767 |5772 |3767 | 909 |  12k|5716 |1745 | 0.000000e+00 | 3.110000e+02 |    Inf 
65.29/65.35	o 287
65.29/65.35	c *64.4s| 32159 |  9959 |123674 |   3.8 |  45M| 273 |   - |3767 |5810 |3767 | 918 |  12k|5762 |1745 | 0.000000e+00 | 2.870000e+02 |    Inf 
65.39/65.45	o 286
65.39/65.45	c *64.5s| 32192 |  9944 |123898 |   3.8 |  45M| 273 |   - |3767 |5840 |3767 | 907 |  12k|5813 |1745 | 0.000000e+00 | 2.860000e+02 |    Inf 
65.49/65.57	o 284
65.49/65.57	c *64.6s| 32232 |  9888 |124216 |   3.8 |  45M| 273 |   - |3767 |5855 |3767 | 904 |  12k|5864 |1747 | 0.000000e+00 | 2.840000e+02 |    Inf 
65.79/65.89	o 278
65.79/65.89	c *64.9s| 32347 |  9752 |125419 |   3.9 |  45M| 273 |   - |3767 |5858 |3767 | 904 |  12k|5944 |1747 | 0.000000e+00 | 2.780000e+02 |    Inf 
66.49/66.55	o 277
66.49/66.55	c *65.6s| 32617 |  9932 |126873 |   3.9 |  46M| 273 |   - |3767 |5862 |3767 | 916 |  12k|6068 |1747 | 0.000000e+00 | 2.770000e+02 |    Inf 
66.59/66.62	o 276
66.59/66.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
66.59/66.62	c *65.7s| 32637 |  9917 |127069 |   3.9 |  46M| 273 |   - |3767 |5861 |3767 | 920 |  12k|6074 |1747 | 0.000000e+00 | 2.760000e+02 |    Inf 
67.19/67.28	o 253
67.19/67.28	c *66.3s| 32875 |  8923 |128830 |   3.9 |  43M| 273 |   - |3767 |5885 |3767 | 920 |  12k|6324 |1747 | 0.000000e+00 | 2.530000e+02 |    Inf 
67.19/67.29	o 243
67.19/67.29	c *66.3s| 32876 |  8555 |128833 |   3.9 |  43M| 273 |   - |3767 |5883 |3767 | 920 |  12k|6324 |1747 | 0.000000e+00 | 2.430000e+02 |    Inf 
67.78/67.87	o 242
67.78/67.87	c *66.9s| 33064 |  8634 |130803 |   3.9 |  43M| 273 |   - |3767 |5864 |3767 | 913 |  13k|6479 |1748 | 0.000000e+00 | 2.420000e+02 |    Inf 
68.39/68.43	o 231
68.39/68.43	c *67.4s| 33197 |  8320 |133344 |   4.0 |  43M| 273 |   - |3767 |5824 |3767 | 917 |  13k|6580 |1750 | 0.000000e+00 | 2.310000e+02 |    Inf 
68.39/68.47	o 230
68.39/68.47	c *67.5s| 33209 |  8258 |133439 |   4.0 |  43M| 273 |   - |3767 |5809 |3767 | 907 |  13k|6592 |1750 | 0.000000e+00 | 2.300000e+02 |    Inf 
69.49/69.55	o 216
69.49/69.55	c *68.5s| 33604 |  7857 |136920 |   4.1 |  42M| 273 |   - |3767 |5910 |3767 | 912 |  13k|7085 |1750 | 0.000000e+00 | 2.160000e+02 |    Inf 
69.49/69.55	o 215
69.49/69.55	c *68.5s| 33605 |  7824 |136931 |   4.1 |  42M| 273 |   - |3767 |5910 |3767 | 912 |  13k|7085 |1750 | 0.000000e+00 | 2.150000e+02 |    Inf 
69.99/70.08	o 210
69.99/70.08	c *69.1s| 33778 |  7698 |138862 |   4.1 |  42M| 273 |   - |3767 |5901 |3767 | 929 |  13k|7297 |1750 | 0.000000e+00 | 2.100000e+02 |    Inf 
69.99/70.09	o 203
69.99/70.09	c *69.1s| 33779 |  7442 |138862 |   4.1 |  42M| 273 |   - |3767 |5901 |3767 | 929 |  13k|7297 |1750 | 0.000000e+00 | 2.030000e+02 |    Inf 
70.08/70.16	o 200
70.08/70.16	c *69.2s| 33797 |  7393 |139197 |   4.1 |  41M| 273 |   - |3767 |5891 |3767 | 927 |  14k|7304 |1750 | 0.000000e+00 | 2.000000e+02 |    Inf 
70.29/70.38	o 196
70.29/70.38	c *69.4s| 33891 |  7313 |139743 |   4.1 |  42M| 273 |   - |3767 |5928 |3767 | 936 |  14k|7396 |1750 | 0.000000e+00 | 1.960000e+02 |    Inf 
71.89/71.91	o 195
71.89/71.91	c *70.9s| 34464 |  7474 |143660 |   4.2 |  43M| 273 |   - |3767 |5850 |3767 | 937 |  14k|7967 |1750 | 0.000000e+00 | 1.950000e+02 |    Inf 
72.09/72.13	o 190
72.09/72.13	c *71.1s| 34546 |  7306 |144055 |   4.2 |  43M| 273 |   - |3767 |5815 |3767 | 898 |  14k|8038 |1750 | 0.000000e+00 | 1.900000e+02 |    Inf 
72.19/72.26	o 178
72.19/72.26	c *71.2s| 34595 |  6283 |144420 |   4.2 |  40M| 273 |   - |3767 |5851 |3767 | 902 |  14k|8114 |1750 | 0.000000e+00 | 1.780000e+02 |    Inf 
73.29/73.38	o 165
73.29/73.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
73.29/73.38	c *72.3s| 34952 |  5599 |148647 |   4.2 |  39M| 273 |   - |3767 |5953 |3767 | 914 |  15k|8578 |1751 | 0.000000e+00 | 1.650000e+02 |    Inf 
73.49/73.53	o 159
73.49/73.53	c *72.5s| 34989 |  5435 |149417 |   4.3 |  38M| 273 |   - |3767 |5932 |3767 | 922 |  15k|8611 |1751 | 0.000000e+00 | 1.590000e+02 |    Inf 
73.78/73.84	o 143
73.78/73.84	c *72.8s| 35090 |  4926 |150322 |   4.3 |  37M| 273 |   - |3767 |5864 |3767 | 908 |  15k|8691 |1752 | 0.000000e+00 | 1.430000e+02 |    Inf 
73.78/73.88	o 124
73.78/73.88	c *72.8s| 35094 |  4125 |150385 |   4.3 |  35M| 273 |   - |3767 |5838 |3767 | 912 |  15k|8694 |1752 | 0.000000e+00 | 1.240000e+02 |    Inf 
77.29/77.30	o 118
77.29/77.30	c *76.2s| 36141 |  4284 |163577 |   4.5 |  38M| 273 |   - |3767 |5959 |3767 | 908 |  15k|9901 |1753 | 0.000000e+00 | 1.180000e+02 |    Inf 
79.10/79.20	o 97
79.10/79.20	c *78.0s| 36916 |  3774 |167848 |   4.5 |  37M| 273 |   - |3767 |6177 |3767 | 904 |  16k|  10k|1753 | 0.000000e+00 | 9.700000e+01 |    Inf 
79.20/79.28	o 94
79.20/79.28	c *78.1s| 36938 |  2373 |167893 |   4.5 |  33M| 273 |   - |3767 |6045 |3767 | 896 |  16k|  10k|1753 | 0.000000e+00 | 9.400000e+01 |    Inf 
80.49/80.58	o 92
80.49/80.58	c *79.4s| 37460 |  2390 |170781 |   4.5 |  33M| 273 |   - |3767 |5832 |3767 | 900 |  16k|  11k|1753 | 0.000000e+00 | 9.200000e+01 |    Inf 
83.29/83.32	o 85
83.29/83.32	c *82.1s| 38522 |  2312 |176185 |   4.6 |  34M| 273 |   - |3767 |5894 |3767 | 906 |  17k|  12k|1762 | 0.000000e+00 | 8.500000e+01 |    Inf 
84.29/84.38	o 84
84.29/84.38	c *83.2s| 38882 |  2298 |178523 |   4.6 |  35M| 273 |   - |3767 |5548 |3767 | 908 |  17k|  12k|1774 | 0.000000e+00 | 8.400000e+01 |    Inf 
86.79/86.87	o 70
86.79/86.87	c *85.6s| 39865 |  2068 |184287 |   4.6 |  35M| 273 |   - |3767 |5454 |3767 | 910 |  18k|  13k|1788 | 0.000000e+00 | 7.000000e+01 |    Inf 
87.19/87.24	c  86.0s| 40000 |  2064 |185141 |   4.6 |  35M| 273 |   - |3767 |5085 |   0 |   0 |  18k|  14k|1788 | 0.000000e+00 | 7.000000e+01 |    Inf 
88.29/88.36	o 59
88.29/88.36	c *87.0s| 40436 |  1965 |187869 |   4.6 |  35M| 273 |   - |3767 |5245 |3767 | 901 |  18k|  14k|1790 | 0.000000e+00 | 5.900000e+01 |    Inf 
91.78/91.82	o 51
91.78/91.82	c *90.5s| 41672 |  1865 |196054 |   4.7 |  37M| 273 |   - |3767 |5276 |3767 | 911 |  18k|  16k|1841 | 0.000000e+00 | 5.100000e+01 |    Inf 
91.78/91.84	o 46
91.78/91.84	c *90.5s| 41674 |  1702 |196058 |   4.7 |  36M| 273 |   - |3767 |5107 |3767 | 912 |  18k|  16k|1841 | 0.000000e+00 | 4.600000e+01 |    Inf 
91.78/91.84	o 39
91.78/91.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
91.78/91.84	c *90.5s| 41675 |  1628 |196059 |   4.7 |  35M| 273 |   - |3767 |5107 |3767 | 912 |  18k|  16k|1841 | 0.000000e+00 | 3.900000e+01 |    Inf 
96.79/96.88	o 33
96.79/96.88	c *95.4s| 43580 |  1420 |211267 |   4.8 |  36M| 273 |   - |3767 |5269 |3767 | 894 |  19k|  19k|1897 | 0.000000e+00 | 3.300000e+01 |    Inf 
99.59/99.63	o 31
99.59/99.63	c *98.1s| 44931 |  1407 |217344 |   4.8 |  36M| 273 |   - |3767 |5377 |3767 | 903 |  19k|  20k|1909 | 0.000000e+00 | 3.100000e+01 |    Inf 
99.59/99.67	o 26
99.59/99.67	c *98.2s| 44953 |  1334 |217413 |   4.8 |  35M| 273 |   - |3767 |5308 |3767 | 903 |  19k|  20k|1909 | 0.000000e+00 | 2.600000e+01 |    Inf 
106.99/107.05	o 25
106.99/107.05	c * 105s| 48665 |  1234 |235239 |   4.8 |  36M| 273 |   - |3767 |6263 |3767 | 914 |  20k|  25k|1990 | 0.000000e+00 | 2.500000e+01 |    Inf 
109.59/109.63	c   108s| 50000 |  1185 |241074 |   4.8 |  36M| 273 |   9 |3767 |5628 |3767 | 901 |  21k|  27k|1992 | 0.000000e+00 | 2.500000e+01 |    Inf 
115.69/115.75	o 23
115.69/115.75	c * 114s| 53519 |  1236 |253403 |   4.7 |  37M| 273 |   - |3767 |7642 |3767 | 894 |  21k|  33k|2059 | 0.000000e+00 | 2.300000e+01 |    Inf 
127.19/127.22	c   125s| 60000 |  1219 |276845 |   4.6 |  38M| 273 |   - |3767 |7685 |   0 |   0 |  23k|  42k|2159 | 0.000000e+00 | 2.300000e+01 |    Inf 
138.29/138.32	o 20
138.29/138.32	c * 136s| 66861 |  1221 |293681 |   4.4 |  39M| 273 |   - |3767 |8273 |3767 | 897 |  24k|  52k|2233 | 0.000000e+00 | 2.000000e+01 |    Inf 
143.19/143.27	c   141s| 70000 |  1217 |301324 |   4.3 |  40M| 273 |   - |3767 |8604 |   0 |   0 |  24k|  56k|2247 | 0.000000e+00 | 2.000000e+01 |    Inf 
151.89/151.97	o 13
151.89/151.97	c * 150s| 75474 |  1092 |314711 |   4.2 |  39M| 273 |   - |3767 |  11k|3767 | 905 |  25k|  63k|2305 | 0.000000e+00 | 1.300000e+01 |    Inf 
158.69/158.77	c   156s| 80000 |  1125 |325142 |   4.1 |  40M| 273 |   1 |3767 |  11k|3767 | 897 |  25k|  70k|2343 | 0.000000e+00 | 1.300000e+01 |    Inf 
164.09/164.15	o 9
164.09/164.15	c * 162s| 83477 |  1036 |333278 |   4.0 |  38M| 273 |   - |3767 |  10k|3767 | 897 |  26k|  75k|2356 | 0.000000e+00 | 9.000000e+00 |    Inf 
169.79/169.87	o 8
169.79/169.87	c * 167s| 87060 |   976 |345178 |   4.0 |  36M| 273 |   - |3767 |8371 |3767 | 897 |  26k|  80k|2401 | 0.000000e+00 | 8.000000e+00 |    Inf 
169.79/169.88	o 5
169.79/169.88	c * 167s| 87061 |   960 |345179 |   4.0 |  36M| 273 |   - |3767 |8371 |3767 | 897 |  26k|  80k|2401 | 0.000000e+00 | 5.000000e+00 |    Inf 
174.18/174.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
174.18/174.21	c   171s| 90000 |  1015 |354336 |   3.9 |  37M| 273 |   - |3767 |9273 |   0 |   0 |  26k|  83k|2410 | 0.000000e+00 | 5.000000e+00 |    Inf 
189.39/189.46	c   186s|100000 |  1029 |384921 |   3.8 |  38M| 273 |   - |3767 |  10k|   0 |   0 |  28k|  97k|2510 | 0.000000e+00 | 5.000000e+00 |    Inf 
204.89/204.97	c   202s|110000 |   987 |414646 |   3.8 |  37M| 273 |   - |3767 |7814 |   0 |   0 |  29k| 111k|2593 | 0.000000e+00 | 5.000000e+00 |    Inf 
220.10/220.10	c   217s|120000 |   974 |444964 |   3.7 |  38M| 273 |   1 |3767 |  10k|3767 | 907 |  30k| 125k|2689 | 0.000000e+00 | 5.000000e+00 |    Inf 
236.19/236.24	c   232s|130000 |   876 |482522 |   3.7 |  37M| 273 |   - |3767 |9387 |   0 |   0 |  31k| 138k|2870 | 0.000000e+00 | 5.000000e+00 |    Inf 
254.19/254.25	c   250s|140000 |   897 |527280 |   3.8 |  38M| 273 |   5 |3767 |  12k|3767 | 912 |  34k| 152k|3051 | 0.000000e+00 | 5.000000e+00 |    Inf 
273.29/273.30	c   269s|150000 |   840 |577283 |   3.8 |  38M| 273 |  10 |3767 |  13k|3767 | 901 |  39k| 165k|3215 | 0.000000e+00 | 5.000000e+00 |    Inf 
293.50/293.55	c   289s|160000 |   878 |633337 |   4.0 |  40M| 273 |   - |3767 |  17k|   0 |   0 |  44k| 178k|3375 | 0.000000e+00 | 5.000000e+00 |    Inf 
314.00/314.02	c   309s|170000 |   886 |682248 |   4.0 |  41M| 273 |   - |3767 |  21k|   0 |   0 |  49k| 192k|3522 | 0.000000e+00 | 5.000000e+00 |    Inf 
336.29/336.39	c   331s|180000 |   914 |735388 |   4.1 |  44M| 273 |   - |3767 |  25k|3767 | 915 |  53k| 206k|3701 | 0.000000e+00 | 5.000000e+00 |    Inf 
339.69/339.77	o 3
339.69/339.77	c * 335s|181418 |   792 |743370 |   4.1 |  42M| 273 |   - |3767 |  27k|3767 | 901 |  54k| 208k|3705 | 0.000000e+00 | 3.000000e+00 |    Inf 
359.30/359.39	c   354s|190000 |   749 |789889 |   4.2 |  40M| 273 |  12 |3767 |  19k|3767 | 902 |  60k| 220k|3884 | 0.000000e+00 | 3.000000e+00 |    Inf 
380.89/380.95	c   375s|200000 |   820 |836826 |   4.2 |  42M| 273 |   8 |3767 |  24k|3767 | 892 |  65k| 233k|3972 | 0.000000e+00 | 3.000000e+00 |    Inf 
405.20/405.20	c   399s|210000 |   812 |892275 |   4.2 |  44M| 273 |  14 |3767 |  28k|3767 | 894 |  71k| 247k|4098 | 0.000000e+00 | 3.000000e+00 |    Inf 
431.10/431.11	c   425s|220000 |   893 |945179 |   4.3 |  47M| 273 |   - |3767 |  33k|   0 |   0 |  77k| 261k|4238 | 0.000000e+00 | 3.000000e+00 |    Inf 
458.70/458.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
458.70/458.72	c   452s|230000 |   936 |  1003k|   4.4 |  48M| 273 |  27 |3767 |  36k|3767 | 892 |  85k| 275k|4376 | 0.000000e+00 | 3.000000e+00 |    Inf 
486.59/486.68	c   480s|240000 |   997 |  1061k|   4.4 |  51M| 273 |  15 |3767 |  43k|3767 | 904 |  92k| 289k|4496 | 0.000000e+00 | 3.000000e+00 |    Inf 
516.50/516.58	c   509s|250000 |   972 |  1122k|   4.5 |  51M| 273 |   - |3767 |  41k|   0 |   0 |  98k| 304k|4608 | 0.000000e+00 | 3.000000e+00 |    Inf 
546.89/546.91	c   540s|260000 |  1013 |  1179k|   4.5 |  52M| 273 |   - |3767 |  43k|   0 |   0 | 106k| 317k|4731 | 0.000000e+00 | 3.000000e+00 |    Inf 
578.10/578.17	c   571s|270000 |  1014 |  1230k|   4.6 |  52M| 273 |   - |3767 |  44k|3767 | 916 | 111k| 331k|4845 | 0.000000e+00 | 3.000000e+00 |    Inf 
609.10/609.15	c   601s|280000 |  1087 |  1281k|   4.6 |  54M| 273 |   - |3767 |  46k|   0 |   0 | 116k| 344k|4968 | 0.000000e+00 | 3.000000e+00 |    Inf 
642.20/642.30	c   634s|290000 |  1082 |  1341k|   4.6 |  55M| 273 |   - |3767 |  49k|3767 | 900 | 123k| 359k|5065 | 0.000000e+00 | 3.000000e+00 |    Inf 
674.73/674.98	c   666s|300000 |  1062 |  1397k|   4.7 |  57M| 273 |  15 |3767 |  52k|3767 | 905 | 129k| 373k|5181 | 0.000000e+00 | 3.000000e+00 |    Inf 
709.13/709.33	c   700s|310000 |  1169 |  1456k|   4.7 |  59M| 273 |   - |3767 |  56k|   0 |   0 | 134k| 387k|5261 | 0.000000e+00 | 3.000000e+00 |    Inf 
724.93/725.17	o 1
724.93/725.17	c * 716s|314621 |  1126 |  1480k|   4.7 |  59M| 273 |   - |3767 |  56k|3767 | 907 | 135k| 394k|5319 | 0.000000e+00 | 1.000000e+00 |    Inf 
742.23/742.46	c   733s|320000 |  1186 |  1505k|   4.7 |  60M| 273 |   1 |3767 |  57k|3767 | 904 | 138k| 402k|5374 | 0.000000e+00 | 1.000000e+00 |    Inf 
778.23/778.49	c   769s|330000 |  1231 |  1561k|   4.7 |  61M| 273 |  21 |3767 |  56k|3767 | 903 | 145k| 416k|5454 | 0.000000e+00 | 1.000000e+00 |    Inf 
816.13/816.30	c   807s|340000 |  1261 |  1618k|   4.8 |  63M| 273 |  21 |3767 |  60k|3767 | 892 | 151k| 431k|5542 | 0.000000e+00 | 1.000000e+00 |    Inf 
851.83/852.09	c   842s|350000 |  1291 |  1675k|   4.8 |  61M| 273 |  27 |3767 |  54k|3767 | 907 | 156k| 445k|5655 | 0.000000e+00 | 1.000000e+00 |    Inf 
884.93/885.18	c   875s|360000 |  1340 |  1729k|   4.8 |  59M| 273 |   9 |3767 |  47k|3767 | 905 | 163k| 458k|5723 | 0.000000e+00 | 1.000000e+00 |    Inf 
917.33/917.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
917.33/917.54	c   907s|370000 |  1402 |  1775k|   4.8 |  60M| 273 |   - |3767 |  47k|   0 |   0 | 167k| 473k|5800 | 0.000000e+00 | 1.000000e+00 |    Inf 
947.73/947.91	c   937s|380000 |  1454 |  1831k|   4.8 |  63M| 273 |  17 |3767 |  54k|3767 | 892 | 173k| 486k|5886 | 0.000000e+00 | 1.000000e+00 |    Inf 
980.34/980.58	c   969s|390000 |  1396 |  1887k|   4.8 |  61M| 273 |  25 |3767 |  46k|3767 | 892 | 180k| 501k|6007 | 0.000000e+00 | 1.000000e+00 |    Inf 
1007.54/1007.79	c   996s|400000 |  1368 |  1945k|   4.9 |  56M| 273 |   - |3767 |  32k|   0 |   0 | 185k| 514k|6114 | 0.000000e+00 | 1.000000e+00 |    Inf 
1034.04/1034.28	c  1023s|410000 |  1302 |  2003k|   4.9 |  55M| 273 |  18 |3767 |  30k|3767 | 892 | 190k| 528k|6197 | 0.000000e+00 | 1.000000e+00 |    Inf 
1058.43/1058.67	c  1047s|420000 |  1061 |  2053k|   4.9 |  48M| 273 |   - |3767 |  15k|3767 | 909 | 195k| 541k|6636 | 0.000000e+00 | 1.000000e+00 |    Inf 
1079.34/1079.57	c  1067s|430000 |  1012 |  2098k|   4.9 |  48M| 273 |  24 |3767 |  18k|3767 | 894 | 200k| 554k|6671 | 0.000000e+00 | 1.000000e+00 |    Inf 
1100.43/1100.68	c  1088s|440000 |   851 |  2143k|   4.9 |  46M| 273 |   8 |3767 |  19k|3767 | 904 | 202k| 567k|6696 | 0.000000e+00 | 1.000000e+00 |    Inf 
1123.64/1123.82	c  1111s|450000 |   925 |  2200k|   4.9 |  49M| 273 |   - |3767 |  25k|3767 | 902 | 209k| 580k|6758 | 0.000000e+00 | 1.000000e+00 |    Inf 
1147.34/1147.58	c  1135s|460000 |   789 |  2250k|   4.9 |  46M| 273 |   - |3767 |  17k|   0 |   0 | 213k| 593k|6878 | 0.000000e+00 | 1.000000e+00 |    Inf 
1167.34/1167.55	c  1155s|470000 |   565 |  2293k|   4.9 |  43M| 273 |   - |3767 |  16k|   0 |   0 | 216k| 606k|6929 | 0.000000e+00 | 1.000000e+00 |    Inf 
1189.54/1189.77	c  1177s|480000 |   554 |  2335k|   4.9 |  44M| 273 |   4 |3767 |  20k|3767 | 902 | 217k| 620k|6985 | 0.000000e+00 | 1.000000e+00 |    Inf 
1212.14/1212.33	c  1199s|490000 |   548 |  2374k|   4.8 |  45M| 273 |  10 |3767 |  25k|3767 | 902 | 218k| 632k|7061 | 0.000000e+00 | 1.000000e+00 |    Inf 
1235.24/1235.49	c  1222s|500000 |   547 |  2410k|   4.8 |  46M| 273 |   - |3767 |  28k|   0 |   0 | 219k| 645k|7131 | 0.000000e+00 | 1.000000e+00 |    Inf 
1260.64/1260.86	c  1247s|510000 |   583 |  2444k|   4.8 |  49M| 273 |   1 |3767 |  35k|3767 | 902 | 220k| 658k|7151 | 0.000000e+00 | 1.000000e+00 |    Inf 
1290.64/1290.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1290.64/1290.86	c  1277s|520000 |   628 |  2483k|   4.8 |  52M| 273 |   1 |3767 |  40k|3767 | 902 | 221k| 671k|7220 | 0.000000e+00 | 1.000000e+00 |    Inf 
1320.84/1321.06	c  1307s|530000 |   692 |  2520k|   4.8 |  54M| 273 |  12 |3767 |  45k|3767 | 902 | 222k| 684k|7293 | 0.000000e+00 | 1.000000e+00 |    Inf 
1354.35/1354.55	c  1340s|540000 |   706 |  2556k|   4.7 |  56M| 273 |  28 |3767 |  48k|3767 | 902 | 223k| 698k|7314 | 0.000000e+00 | 1.000000e+00 |    Inf 
1389.54/1389.74	c  1375s|550000 |   706 |  2589k|   4.7 |  57M| 273 |   - |3767 |  52k|   0 |   0 | 224k| 711k|7385 | 0.000000e+00 | 1.000000e+00 |    Inf 
1428.52/1428.72	c  1414s|560000 |   734 |  2625k|   4.7 |  59M| 273 |   - |3767 |  55k|   0 |   0 | 225k| 725k|7429 | 0.000000e+00 | 1.000000e+00 |    Inf 
1471.73/1471.93	c  1457s|570000 |   781 |  2662k|   4.7 |  61M| 273 |  19 |3767 |  58k|3767 | 902 | 225k| 738k|7477 | 0.000000e+00 | 1.000000e+00 |    Inf 
1520.12/1520.33	c  1505s|580000 |   868 |  2700k|   4.7 |  63M| 273 |  20 |3767 |  61k|3767 | 902 | 226k| 752k|7553 | 0.000000e+00 | 1.000000e+00 |    Inf 
1570.53/1570.77	c  1555s|590000 |   899 |  2736k|   4.6 |  66M| 273 |  23 |3767 |  66k|3767 | 902 | 227k| 765k|7598 | 0.000000e+00 | 1.000000e+00 |    Inf 
1622.53/1622.77	c  1607s|600000 |   999 |  2773k|   4.6 |  68M| 273 |  14 |3767 |  70k|3767 | 902 | 228k| 778k|7632 | 0.000000e+00 | 1.000000e+00 |    Inf 
1675.93/1676.11	c  1660s|610000 |   987 |  2811k|   4.6 |  69M| 273 |   - |3767 |  72k|   0 |   0 | 229k| 792k|7710 | 0.000000e+00 | 1.000000e+00 |    Inf 
1729.33/1729.58	c  1713s|620000 |   979 |  2844k|   4.6 |  70M| 273 |   - |3767 |  74k|   0 |   0 | 229k| 806k|7748 | 0.000000e+00 | 1.000000e+00 |    Inf 
1786.63/1786.89	c  1770s|630000 |  1015 |  2881k|   4.6 |  71M| 273 |   - |3767 |  73k|   0 |   0 | 230k| 821k|7789 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.20	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.20	c 
1800.04/1800.20	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.20	c Solving Time (sec) : 1783.19
1800.04/1800.20	c Solving Nodes      : 632339
1800.04/1800.20	c Primal Bound       : +1.00000000000000e+00 (238 solutions)
1800.04/1800.20	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.20	c Gap                : infinite
1800.04/1800.24	s SATISFIABLE
1800.04/1800.24	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210 
1800.04/1800.24	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.04/1800.24	v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.24	v -x167 -x166 -x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.04/1800.24	v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 
1800.04/1800.24	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1800.04/1800.24	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.04/1800.24	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.04/1800.24	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.04/1800.24	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.04/1800.24	v -x1 
1800.04/1800.24	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.24	c Solving Time       :    1783.19
1800.04/1800.24	c Original Problem   :
1800.04/1800.24	c   Problem name     : HOME/instance-2692755-1277901450.wbo
1800.04/1800.24	c   Variables        : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.04/1800.24	c   Constraints      : 4556 initial, 4556 maximal
1800.04/1800.24	c Presolved Problem  :
1800.04/1800.24	c   Problem name     : t_HOME/instance-2692755-1277901450.wbo
1800.04/1800.24	c   Variables        : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.04/1800.24	c   Constraints      : 4361 initial, 75612 maximal
1800.04/1800.24	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.24	c   trivial          :       0.00         80          0          0          0          0          0          0          0
1800.04/1800.24	c   dualfix          :       0.00         80          0          0          0          0          0          0          0
1800.04/1800.24	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.24	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.24	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.24	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.24	c   indicator        :       0.00          0          0          0          0          0         80          0          0
1800.04/1800.24	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.24	c   linear           :       0.07          0          0          0       1882          0        115        101          0
1800.04/1800.24	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.24	c   root node        :          -       1768          -          -       3536          -          -          -          -
1800.04/1800.24	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.24	c   integral         :          0          0          0     391407          0         17        479          0          0     665910
1800.04/1800.24	c   indicator        :       1768          0    1445703      46563          0        177    2028079          0          0          0
1800.04/1800.24	c   setppc           :          8          6    3037417      45388          0      21556     976249          0          0          0
1800.04/1800.24	c   linear           :       1768          6    3034490      56701          0     157270   14629013     230863          0          0
1800.04/1800.24	c   logicor          :        817+         6    1242245      29252          0     125018    3171489          0          0          0
1800.04/1800.24	c   countsols        :          0          0          0      29252          0          0          0          0          0          0
1800.04/1800.24	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.24	c   integral         :      21.33       0.00       0.00      21.33       0.00
1800.04/1800.24	c   indicator        :       9.26       0.00       5.30       3.96       0.00
1800.04/1800.24	c   setppc           :      10.16       0.00      10.12       0.04       0.00
1800.04/1800.24	c   linear           :     126.71       0.01     124.54       2.16       0.00
1800.04/1800.24	c   logicor          :     455.13       0.00     454.87       0.26       0.00
1800.04/1800.24	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.24	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.24	c   vbounds          :       0.76          2          0          0
1800.04/1800.24	c   rootredcost      :       0.62         76          0       1768
1800.04/1800.24	c   pseudoobj        :     104.95    3061628       3898    1234174
1800.04/1800.24	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.24	c   propagation      :      15.98     307742     307329    1902651       27.4      11764       21.9          -
1800.04/1800.24	c   infeasible LP    :       5.06      19312      19312     155192       44.3        137       16.9          0
1800.04/1800.24	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.24	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.24	c   pseudo solution  :       0.02        224        224       1182       15.9        148        5.7          -
1800.04/1800.24	c   applied globally :          -          -          -     824387       22.2          -          -          -
1800.04/1800.24	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.24	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.24	c   cut pool         :       0.00          5          -          -         77          -    (maximal pool size: 216)
1800.04/1800.24	c   redcost          :      19.16     393777          0     750686          0          0
1800.04/1800.24	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.24	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.24	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.24	c   gomory           :       0.13          6          0          0        670          0
1800.04/1800.24	c   strongcg         :       0.10          6          0          0        255          0
1800.04/1800.24	c   cmir             :       0.02          6          0          0          0          0
1800.04/1800.24	c   flowcover        :       0.06          6          0          0          0          0
1800.04/1800.24	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.24	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.24	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.24	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.24	c Pricers            :       Time      Calls       Vars
1800.04/1800.24	c   problem variables:       0.00          0          0
1800.04/1800.24	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.24	c   relpscost        :      20.91     333379         17        479          0          0     665910
1800.04/1800.24	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.24	c   inference        :       4.09      29177          0          0          0          0      58354
1800.04/1800.24	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.24	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.24	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.24	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.24	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.24	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.24	c   LP solutions     :       0.10          -         75
1800.04/1800.24	c   pseudo solutions :       0.00          -          0
1800.04/1800.24	c   feaspump         :       0.01          1          0
1800.04/1800.24	c   oneopt           :       0.64         68          0
1800.04/1800.24	c   intshifting      :       0.01          7          0
1800.04/1800.24	c   crossover        :       1.97         78          0
1800.04/1800.24	c   fracdiving       :       0.30        376          0
1800.04/1800.24	c   veclendiving     :       0.40        376          0
1800.04/1800.24	c   linesearchdiving :       0.31        376          0
1800.04/1800.24	c   coefdiving       :       0.47        377          0
1800.04/1800.24	c   guideddiving     :       0.33        377          0
1800.04/1800.24	c   pscostdiving     :       0.42        377          0
1800.04/1800.24	c   objpscostdiving  :       0.44        370          0
1800.04/1800.24	c   rootsoldiving    :       0.41        371          0
1800.04/1800.24	c   trivial          :       0.01          2          0
1800.04/1800.24	c   simplerounding   :       0.69     334028          0
1800.04/1800.24	c   zirounding       :       0.30       1000          0
1800.04/1800.24	c   rounding         :       1.56       8153          0
1800.04/1800.24	c   shifting         :       1.15       2531          0
1800.04/1800.24	c   twoopt           :       0.00          0          0
1800.04/1800.24	c   fixandinfer      :       0.00          0          0
1800.04/1800.24	c   intdiving        :       0.00          0          0
1800.04/1800.24	c   actconsdiving    :       0.00          0          0
1800.04/1800.24	c   octane           :       0.00          0          0
1800.04/1800.24	c   rens             :       0.03          1          0
1800.04/1800.24	c   rins             :       0.00          0          0
1800.04/1800.24	c   localbranching   :       0.00          0          0
1800.04/1800.24	c   mutation         :       0.00          0          0
1800.04/1800.24	c   dins             :       0.00          0          0
1800.04/1800.24	c   undercover       :       0.00          0          0
1800.04/1800.24	c   nlp              :       0.19          0          0
1800.04/1800.24	c   trysol           :       1.29       4425        163
1800.04/1800.24	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.24	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.24	c   dual LP          :     423.59     383677    2887336       7.53    6816.35
1800.04/1800.24	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.24	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.24	c   diving/probing LP:       0.20        107       2482      23.20   12410.00
1800.04/1800.24	c   strong branching :      17.65       7789     117535      15.09    6659.21
1800.04/1800.24	c     (at root node) :          -         33       2860      86.67          -
1800.04/1800.24	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.24	c B&B Tree           :
1800.04/1800.24	c   number of runs   :          1
1800.04/1800.24	c   nodes            :     632339
1800.04/1800.24	c   nodes (total)    :     632339
1800.04/1800.24	c   nodes left       :       1002
1800.04/1800.24	c   max depth        :        273
1800.04/1800.24	c   max depth (total):        273
1800.04/1800.24	c   backtracks       :      69312 (11.0%)
1800.04/1800.24	c   delayed cutoffs  :      59848
1800.04/1800.24	c   repropagations   :    1356770 (4234188 domain reductions, 57249 cutoffs)
1800.04/1800.24	c   avg switch length:       5.60
1800.04/1800.24	c   switching time   :     325.33
1800.04/1800.24	c Solution           :
1800.04/1800.24	c   Solutions found  :        238 (76 improvements)
1800.04/1800.24	c   First Solution   : +9.10890000000000e+04   (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.04/1800.24	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 314621 nodes, 716.12 seconds, depth 45, found by <relaxation>)
1800.04/1800.24	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.24	c   Gap              :   infinite
1800.04/1800.24	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.24	c   Root Iterations  :        362
1800.14/1800.36	c Time complete: 1800.2.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692755-1277901450/watcher-2692755-1277901450 -o /tmp/evaluation-result-2692755-1277901450/solver-2692755-1277901450 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692755-1277901450.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.02 2.00 4/176 12328
/proc/meminfo: memFree=30512464/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=9404 CPUtime=0
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 131441564 9629696 1568 4089446400 4194304 8223781 140737438715392 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12328/statm: 2351 1569 369 984 0 1364 0

[startup+0.051665 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 12328
/proc/meminfo: memFree=30512464/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=29492 CPUtime=0.04
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 6725 0 0 0 4 0 0 0 25 0 1 0 131441564 30199808 6281 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12328/statm: 7373 6281 424 984 0 6386 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29492

[startup+0.100534 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 12328
/proc/meminfo: memFree=30512464/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=29652 CPUtime=0.09
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 7589 0 0 0 9 0 0 0 25 0 1 0 131441564 30363648 6374 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12328/statm: 7413 6374 452 984 0 6426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29652

[startup+0.300499 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 12328
/proc/meminfo: memFree=30512464/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=37296 CPUtime=0.29
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 12473 0 0 0 28 1 0 0 25 0 1 0 131441564 38191104 8406 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12328/statm: 9324 8406 572 984 0 8337 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37296

[startup+0.700431 s]
/proc/loadavg: 2.07 2.02 2.00 4/176 12328
/proc/meminfo: memFree=30512464/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=43000 CPUtime=0.69
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 21179 0 0 0 66 3 0 0 25 0 1 0 131441564 44032000 9784 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12328/statm: 10750 9784 596 984 0 9763 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43000

[startup+1.50029 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12329
/proc/meminfo: memFree=30474760/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=43000 CPUtime=1.49
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 21220 0 0 0 145 4 0 0 25 0 1 0 131441564 44032000 9825 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12328/statm: 10750 9825 598 984 0 9763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43000

[startup+3.10102 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12329
/proc/meminfo: memFree=30474392/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=43172 CPUtime=3.08
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 28429 0 0 0 303 5 0 0 25 0 1 0 131441564 44208128 9918 4089446400 4194304 8223781 140737438715392 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 10793 9918 599 984 0 9806 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43172

[startup+6.30045 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12329
/proc/meminfo: memFree=30471544/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=45624 CPUtime=6.28
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 44884 0 0 0 617 11 0 0 25 0 1 0 131441564 46718976 10531 4089446400 4194304 8223781 140737438715392 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 11406 10531 599 984 0 10419 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 45624

[startup+12.7003 s]
/proc/loadavg: 2.14 2.03 2.01 3/177 12329
/proc/meminfo: memFree=30464216/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=54324 CPUtime=12.69
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 54407 0 0 0 1249 20 0 0 25 0 1 0 131441564 55627776 12497 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 13581 12497 603 984 0 12594 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54324

[startup+25.5011 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 12329
/proc/meminfo: memFree=30447944/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=71064 CPUtime=25.49
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 75189 0 0 0 2514 35 0 0 25 0 1 0 131441564 72769536 16723 4089446400 4194304 8223781 140737438715392 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 17766 16723 603 984 0 16779 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71064

[startup+51.1007 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 12330
/proc/meminfo: memFree=30423540/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=93384 CPUtime=51.09
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 167905 0 0 0 5038 71 0 0 25 0 1 0 131441564 95625216 22263 4089446400 4194304 8223781 140737438715392 18446744073709551615 4903023 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 23346 22263 603 984 0 22359 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93384

[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12331
/proc/meminfo: memFree=30366824/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=147240 CPUtime=102.3
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 323932 0 0 0 10079 151 0 0 25 0 1 0 131441564 150773760 35522 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 36810 35522 603 984 0 35823 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 147240

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12333
/proc/meminfo: memFree=30348684/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=161576 CPUtime=162.29
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 433134 0 0 0 15970 259 0 0 25 0 1 0 131441564 165453824 39040 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 40394 39040 603 984 0 39407 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 161576

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12335
/proc/meminfo: memFree=30343804/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=164068 CPUtime=222.29
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 493583 0 0 0 21875 354 0 0 25 0 1 0 131441564 168005632 39675 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 41017 39675 603 984 0 40030 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 164068

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12336
/proc/meminfo: memFree=30339312/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=164924 CPUtime=282.29
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 503571 0 0 0 27783 446 0 0 25 0 1 0 131441564 168882176 39840 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 41231 39840 603 984 0 40244 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 164924

[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12337
/proc/meminfo: memFree=30329720/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=169616 CPUtime=342.29
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 521051 0 0 0 33706 523 0 0 25 0 1 0 131441564 173686784 41041 4089446400 4194304 8223781 140737438715392 18446744073709551615 4222979 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 42404 41041 603 984 0 41417 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 169616

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12339
/proc/meminfo: memFree=30315056/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=171456 CPUtime=402.29
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 550098 0 0 0 39635 594 0 0 25 0 1 0 131441564 175570944 41456 4089446400 4194304 8223781 140737438715392 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 42864 41456 603 984 0 41877 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 171456

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12341
/proc/meminfo: memFree=30301992/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=176580 CPUtime=462.3
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 553684 0 0 0 45574 656 0 0 25 0 1 0 131441564 180817920 42617 4089446400 4194304 8223781 140737438715392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 44145 42617 603 984 0 43158 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 176580

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12343
/proc/meminfo: memFree=30291796/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=179816 CPUtime=522.29
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 563291 0 0 0 51514 715 0 0 25 0 1 0 131441564 184131584 43449 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 44954 43449 603 984 0 43967 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 179816

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12344
/proc/meminfo: memFree=30277744/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=180880 CPUtime=582.29
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 563964 0 0 0 57463 766 0 0 25 0 1 0 131441564 185221120 43650 4089446400 4194304 8223781 140737438715392 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 45220 43650 603 984 0 44233 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 180880

[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12345
/proc/meminfo: memFree=30265808/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=182516 CPUtime=642.31
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 567792 0 0 0 63414 817 0 0 25 0 1 0 131441564 186896384 44096 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 45629 44096 603 984 0 44642 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 182516

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 12380
/proc/meminfo: memFree=31067728/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=192508 CPUtime=882.13
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 614291 0 0 0 87199 1014 0 0 25 0 1 0 131441564 197128192 46573 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 48127 46573 603 984 0 47140 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 192508

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12381
/proc/meminfo: memFree=31058640/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=193584 CPUtime=942.13
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 619679 0 0 0 93153 1060 0 0 25 0 1 0 131441564 198230016 46762 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 48396 46762 603 984 0 47409 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 193584

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12383
/proc/meminfo: memFree=31052280/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=194580 CPUtime=1002.14
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 620395 0 0 0 99101 1113 0 0 25 0 1 0 131441564 199249920 47017 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 48645 47017 603 984 0 47658 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 194580

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12385
/proc/meminfo: memFree=31046176/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=194992 CPUtime=1062.14
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 624230 0 0 0 105042 1172 0 0 25 0 1 0 131441564 199671808 47121 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 48748 47121 603 984 0 47761 0
Current children cumulated CPU time (s) 1062.14
Current children cumulated vsize (KiB) 194992

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12387
/proc/meminfo: memFree=31042176/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=195040 CPUtime=1122.13
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 624432 0 0 0 110975 1238 0 0 25 0 1 0 131441564 199720960 47138 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 48760 47138 603 984 0 47773 0
Current children cumulated CPU time (s) 1122.13
Current children cumulated vsize (KiB) 195040

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12388
/proc/meminfo: memFree=31040044/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=195764 CPUtime=1182.14
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 624780 0 0 0 116913 1301 0 0 25 0 1 0 131441564 200462336 47093 4089446400 4194304 8223781 140737438715392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 48941 47093 603 984 0 47954 0
Current children cumulated CPU time (s) 1182.14
Current children cumulated vsize (KiB) 195764

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12389
/proc/meminfo: memFree=31039268/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=195764 CPUtime=1242.14
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 624795 0 0 0 122858 1356 0 0 25 0 1 0 131441564 200462336 47107 4089446400 4194304 8223781 140737438715392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 48941 47107 603 984 0 47954 0
Current children cumulated CPU time (s) 1242.14
Current children cumulated vsize (KiB) 195764

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12391
/proc/meminfo: memFree=31038736/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=196024 CPUtime=1302.15
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 632869 0 0 0 128810 1405 0 0 25 0 1 0 131441564 200728576 47171 4089446400 4194304 8223781 140737438715392 18446744073709551615 4924097 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 49006 47171 603 984 0 48019 0
Current children cumulated CPU time (s) 1302.15
Current children cumulated vsize (KiB) 196024

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12393
/proc/meminfo: memFree=31037472/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=197048 CPUtime=1362.15
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 633128 0 0 0 134766 1449 0 0 25 0 1 0 131441564 201777152 47430 4089446400 4194304 8223781 140737438715392 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12328/statm: 49262 47430 603 984 0 48275 0
Current children cumulated CPU time (s) 1362.15
Current children cumulated vsize (KiB) 197048

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12404
/proc/meminfo: memFree=31034536/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=197752 CPUtime=1422.13
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 633361 0 0 0 140727 1486 0 0 25 0 1 0 131441564 202498048 47633 4089446400 4194304 8223781 140737438715392 18446744073709551615 4212431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12328/statm: 49438 47633 603 984 0 48451 0
Current children cumulated CPU time (s) 1422.13
Current children cumulated vsize (KiB) 197752

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=31033896/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=197788 CPUtime=1482.12
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 633421 0 0 0 146691 1521 0 0 25 0 1 0 131441564 202534912 47645 4089446400 4194304 8223781 140737438715392 18446744073709551615 4210335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12328/statm: 49447 47645 603 984 0 48460 0
Current children cumulated CPU time (s) 1482.12
Current children cumulated vsize (KiB) 197788

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12406
/proc/meminfo: memFree=31032008/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=199608 CPUtime=1542.13
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 638084 0 0 0 152655 1558 0 0 25 0 1 0 131441564 204398592 48010 4089446400 4194304 8223781 140737438715392 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12328/statm: 49902 48010 603 984 0 48915 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 199608

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12408
/proc/meminfo: memFree=31029748/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=200416 CPUtime=1602.12
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 641216 0 0 0 158621 1591 0 0 25 0 1 0 131441564 205225984 48171 4089446400 4194304 8223781 140737438715392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12328/statm: 50104 48171 603 984 0 49117 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 200416

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=31025752/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=203616 CPUtime=1662.13
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 643078 0 0 0 164597 1616 0 0 25 0 1 0 131441564 208502784 48996 4089446400 4194304 8223781 140737438715392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12328/statm: 50904 48996 603 984 0 49917 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 203616

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12412
/proc/meminfo: memFree=31022372/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=205844 CPUtime=1722.13
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 644391 0 0 0 170566 1647 0 0 25 0 1 0 131441564 210784256 49433 4089446400 4194304 8223781 140737438715392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12328/statm: 51461 49433 603 984 0 50474 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 205844

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12413
/proc/meminfo: memFree=31021952/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=205884 CPUtime=1782.14
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 645149 0 0 0 176538 1676 0 0 25 0 1 0 131441564 210825216 49448 4089446400 4194304 8223781 140737438715392 18446744073709551615 6446877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12328/statm: 51471 49448 603 984 0 50484 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 205884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12414
/proc/meminfo: memFree=31022064/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=205884 CPUtime=1800.04
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 645161 0 0 0 178321 1683 0 0 25 0 1 0 131441564 210825216 49453 4089446400 4194304 8223781 140737438715392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12328/statm: 51471 49453 603 984 0 50484 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 205884

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

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

[startup+1800.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12414
/proc/meminfo: memFree=31022064/32951132 swapFree=67111528/67111528
[pid=12328] ppid=12326 vsize=187472 CPUtime=1800.14
/proc/12328/stat : 12328 (pbscip.linux.x8) R 12326 12328 11779 0 -1 4202496 645229 0 0 0 178331 1683 0 0 18 0 1 0 131441564 191971328 44868 4089446400 4194304 8223781 140737438715392 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12328/statm: 46868 44868 605 984 0 45881 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 187472

Child status: 0
Real time (s): 1800.37
CPU time (s): 1800.21
CPU user time (s): 1783.36
CPU system time (s): 16.8464
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 205920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.36
system time used= 16.8464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645233
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= 2
involuntary context switches= 6210

runsolver used 2.52861 second user time and 5.70113 second system time

The end

Launcher Data 

Begin job on node131 at 2010-06-30 14:37:30
IDJOB=2692755
IDBENCH=78891
IDSOLVER=1204
FILE ID=node131/2692755-1277901450
PBS_JOBID= 11197184
Free space on /tmp= 74136 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571761--soft-33-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-2692755-1277901450/watcher-2692755-1277901450 -o /tmp/evaluation-result-2692755-1277901450/solver-2692755-1277901450 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692755-1277901450.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 91e040f5c30df15d8a8ea402735ab864
RANDOM SEED=1790972158

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30512868 kB
Buffers:        187548 kB
Cached:        1138500 kB
SwapCached:          0 kB
Active:        1495252 kB
Inactive:       799856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30512868 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4720 kB
Writeback:           0 kB
AnonPages:      969712 kB
Mapped:          16392 kB
Slab:            79940 kB
PageTables:       6580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1136364 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74132 MiB
End job on node131 at 2010-06-30 15:07:32