Trace number 2705527

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.25 1790.21

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo
MD5SUM6f14288bb7c1e317bfd5e53473571ca7
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 benchmark33.2679
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 constraints1839
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 91769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91768
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 719
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705527-1278572955.wbo>
0.00/0.03	c original problem has 3909 variables (2070 bin, 0 int, 1839 impl, 0 cont) and 4547 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.00/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.05/0.08	c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.05/0.09	c (round 3) 47 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.09/0.10	c (round 4) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 126 impls, 9 clqs
0.09/0.11	c (round 5) 138 del vars, 191 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 126 impls, 9 clqs
0.09/0.15	c    (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  138 deleted vars, 191 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.15	c  3652 implications, 9 cliques
0.09/0.15	c presolved problem has 3771 variables (2001 bin, 0 int, 1770 impl, 0 cont) and 4356 constraints
0.09/0.15	c      33 constraints of type <setppc>
0.09/0.15	c    1770 constraints of type <linear>
0.09/0.15	c    1770 constraints of type <indicator>
0.09/0.15	c     783 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.11
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.3
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1789.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15	c # [type: int, range: [1,2], default: 1]
0.09/0.15	c timing/clocktype = 2
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/indicator/addCouplingCons = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.16	c 
0.09/0.16	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.16	c   0.1s|     1 |     0 |    10 |     - |  14M|   0 |   6 |3771 |4356 |3771 | 816 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    58 |     - |  14M|   0 |  28 |3771 |4356 |3771 | 832 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.29	c   0.3s|     1 |     0 |    86 |     - |  14M|   0 |  37 |3771 |4356 |3771 | 854 |  38 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   114 |     - |  14M|   0 |  43 |3771 |4356 |3771 | 862 |  46 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.39	c   0.4s|     1 |     0 |   148 |     - |  15M|   0 |  42 |3771 |4356 |3771 | 874 |  58 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   258 |     - |  15M|   0 |  37 |3771 |4356 |3771 | 878 |  62 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.52	c   0.5s|     1 |     0 |   547 |     - |  15M|   0 |  37 |3771 |4356 |3771 | 890 |  74 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.70/0.77	c   0.7s|     1 |     2 |   547 |     - |  15M|   0 |  37 |3771 |4356 |3771 | 890 |  74 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
3.40/3.47	o 88064
3.40/3.47	c y 3.4s|    31 |    30 |  2949 |  80.1 |  15M|  16 |   - |3771 |4356 |   0 |   0 | 176 |   0 | 362 | 0.000000e+00 | 8.806400e+04 |    Inf 
19.99/20.06	c  20.0s| 10000 |  9997 | 18462 |   1.8 |  35M| 823 |   0 |3771 |4360 |3771 | 945 |2613 |   4 |1409 | 0.000000e+00 | 8.806400e+04 |    Inf 
25.79/25.85	o 863
25.79/25.85	c *25.8s| 15100 | 13738 | 20368 |   1.3 |  43M|1583 |   - |3771 |4360 |3771 | 931 |2940 |   4 |1426 | 0.000000e+00 | 8.630000e+02 |    Inf 
31.19/31.20	o 848
31.19/31.20	c *31.2s| 19188 | 17723 | 22612 |   1.1 |  51M|1583 |   - |3771 |4454 |3771 | 940 |3269 |  98 |1440 | 0.000000e+00 | 8.480000e+02 |    Inf 
32.29/32.34	c  32.3s| 20000 | 18536 | 23011 |   1.1 |  52M|1583 |   0 |3771 |4482 |3771 | 948 |3317 | 126 |1441 | 0.000000e+00 | 8.480000e+02 |    Inf 
43.89/43.98	o 548
43.89/43.98	c *44.0s| 29070 | 21376 | 25557 |   0.9 |  58M|1583 |   - |3771 |4678 |3771 | 926 |3758 | 327 |1446 | 0.000000e+00 | 5.480000e+02 |    Inf 
45.29/45.34	o 535
45.29/45.34	c *45.3s| 29930 | 21754 | 26282 |   0.9 |  59M|1583 |   - |3771 |4869 |3771 | 932 |3914 | 522 |1446 | 0.000000e+00 | 5.350000e+02 |    Inf 
45.39/45.44	o 532
45.39/45.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.39/45.44	c *45.4s| 29995 | 21697 | 26316 |   0.9 |  59M|1583 |   - |3771 |4869 |3771 | 931 |3918 | 522 |1446 | 0.000000e+00 | 5.320000e+02 |    Inf 
45.39/45.47	c  45.4s| 30000 | 21700 | 26369 |   0.9 |  59M|1583 |   0 |3771 |4869 |3771 | 934 |3923 | 525 |1446 | 0.000000e+00 | 5.320000e+02 |    Inf 
46.39/46.47	o 509
46.39/46.47	c *46.4s| 30530 | 21130 | 27058 |   0.9 |  59M|1583 |   - |3771 |5174 |3771 | 924 |4075 | 860 |1448 | 0.000000e+00 | 5.090000e+02 |    Inf 
46.79/46.85	o 507
46.79/46.85	c *46.8s| 30701 | 21177 | 27653 |   0.9 |  60M|1583 |   - |3771 |5286 |3771 | 923 |4168 | 984 |1457 | 0.000000e+00 | 5.070000e+02 |    Inf 
46.89/46.94	o 471
46.89/46.94	c *46.9s| 30731 | 19734 | 27695 |   0.9 |  57M|1583 |   - |3771 |5342 |3771 | 923 |4168 |1043 |1457 | 0.000000e+00 | 4.710000e+02 |    Inf 
47.19/47.29	o 449
47.19/47.29	c *47.3s| 30882 | 18894 | 28604 |   0.9 |  56M|1583 |   - |3771 |5384 |3771 | 937 |4281 |1101 |1459 | 0.000000e+00 | 4.490000e+02 |    Inf 
48.79/48.80	o 445
48.79/48.80	c *48.8s| 32259 | 19979 | 29434 |   0.9 |  59M|1583 |   - |3771 |5456 |3771 | 927 |4403 |1220 |1460 | 0.000000e+00 | 4.450000e+02 |    Inf 
48.79/48.85	o 421
48.79/48.85	c *48.8s| 32280 | 18288 | 29461 |   0.9 |  55M|1583 |   - |3771 |5456 |3771 | 928 |4404 |1220 |1460 | 0.000000e+00 | 4.210000e+02 |    Inf 
48.79/48.89	o 353
48.79/48.89	c *48.9s| 32304 | 15511 | 29481 |   0.9 |  49M|1583 |   - |3771 |5455 |3771 | 928 |4404 |1220 |1460 | 0.000000e+00 | 3.530000e+02 |    Inf 
51.99/52.08	o 351
51.99/52.08	c *52.1s| 33635 | 16285 | 41324 |   1.2 |  53M|1583 |   - |3771 |6305 |3771 | 960 |5765 |2236 |1516 | 0.000000e+00 | 3.510000e+02 |    Inf 
51.99/52.09	o 345
51.99/52.09	c *52.1s| 33636 | 16114 | 41331 |   1.2 |  52M|1583 |   - |3771 |6305 |3771 | 960 |5765 |2236 |1516 | 0.000000e+00 | 3.450000e+02 |    Inf 
52.60/52.65	o 331
52.60/52.65	c *52.6s| 33870 | 15769 | 43397 |   1.3 |  52M|1583 |   - |3771 |6384 |3771 | 941 |6016 |2363 |1539 | 0.000000e+00 | 3.310000e+02 |    Inf 
53.09/53.16	o 315
53.09/53.16	c *53.1s| 34336 | 15560 | 44075 |   1.3 |  52M|1583 |   - |3771 |6477 |3771 | 936 |6137 |2461 |1545 | 0.000000e+00 | 3.150000e+02 |    Inf 
53.39/53.46	o 314
53.39/53.46	c *53.4s| 34487 | 15625 | 44901 |   1.3 |  52M|1583 |   - |3771 |6504 |3771 | 938 |6283 |2522 |1547 | 0.000000e+00 | 3.140000e+02 |    Inf 
53.59/53.67	o 308
53.59/53.67	c *53.6s| 34647 | 15444 | 45187 |   1.3 |  52M|1583 |   - |3771 |6498 |3771 | 937 |6342 |2526 |1550 | 0.000000e+00 | 3.080000e+02 |    Inf 
54.10/54.10	o 306
54.10/54.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
54.10/54.10	c *54.1s| 34860 | 15491 | 45917 |   1.3 |  52M|1583 |   - |3771 |6559 |3771 | 950 |6439 |2643 |1555 | 0.000000e+00 | 3.060000e+02 |    Inf 
55.69/55.77	o 299
55.69/55.77	c *55.7s| 35804 | 15833 | 48895 |   1.4 |  54M|1583 |   - |3771 |6986 |3771 | 956 |6835 |3158 |1563 | 0.000000e+00 | 2.990000e+02 |    Inf 
56.09/56.14	o 284
56.09/56.14	c *56.1s| 35961 | 15029 | 50300 |   1.4 |  53M|1583 |   - |3771 |7014 |3771 | 947 |7042 |3220 |1565 | 0.000000e+00 | 2.840000e+02 |    Inf 
56.60/56.63	o 273
56.60/56.63	c *56.6s| 36179 | 14472 | 51247 |   1.4 |  52M|1583 |   - |3771 |7065 |3771 | 946 |7129 |3312 |1566 | 0.000000e+00 | 2.730000e+02 |    Inf 
58.99/59.01	o 266
58.99/59.01	c *59.0s| 37208 | 14655 | 56764 |   1.5 |  54M|1583 |   - |3771 |7383 |3771 | 938 |8090 |4014 |1575 | 0.000000e+00 | 2.660000e+02 |    Inf 
61.89/61.91	o 242
61.89/61.91	c *61.9s| 38359 | 13577 | 64761 |   1.7 |  53M|1583 |   - |3771 |7716 |3771 | 958 |9349 |4795 |1579 | 0.000000e+00 | 2.420000e+02 |    Inf 
61.89/61.92	o 236
61.89/61.92	c *61.9s| 38362 | 13105 | 64807 |   1.7 |  52M|1583 |   - |3771 |7720 |3771 | 958 |9349 |4799 |1579 | 0.000000e+00 | 2.360000e+02 |    Inf 
62.10/62.15	o 229
62.10/62.15	c *62.1s| 38439 | 12619 | 65897 |   1.7 |  52M|1583 |   - |3771 |7698 |3771 | 956 |9488 |4828 |1579 | 0.000000e+00 | 2.290000e+02 |    Inf 
63.29/63.35	o 220
63.29/63.35	c *63.3s| 38934 | 12183 | 68538 |   1.7 |  52M|1583 |   - |3771 |7927 |3771 | 971 |9772 |5233 |1618 | 0.000000e+00 | 2.200000e+02 |    Inf 
63.29/63.36	o 212
63.29/63.36	c *63.3s| 38935 | 11602 | 68538 |   1.7 |  50M|1583 |   - |3771 |7927 |3771 | 971 |9772 |5233 |1618 | 0.000000e+00 | 2.120000e+02 |    Inf 
65.20/65.27	o 203
65.20/65.27	c *65.2s| 39725 | 11195 | 71218 |   1.8 |  50M|1583 |   - |3771 |8068 |3771 | 923 |  10k|5822 |1632 | 0.000000e+00 | 2.030000e+02 |    Inf 
66.10/66.19	c  66.2s| 40000 | 11338 | 74743 |   1.9 |  50M|1583 |  30 |3771 |7976 |3771 | 905 |  10k|5997 |1637 | 0.000000e+00 | 2.030000e+02 |    Inf 
66.59/66.63	o 182
66.59/66.63	c *66.6s| 40132 |  9763 | 76551 |   1.9 |  46M|1583 |   - |3771 |7967 |3771 | 904 |  10k|6083 |1642 | 0.000000e+00 | 1.820000e+02 |    Inf 
67.69/67.71	o 175
67.69/67.71	c *67.7s| 40464 |  9013 | 81161 |   2.0 |  45M|1583 |   - |3771 |7886 |3771 | 927 |  11k|6298 |1642 | 0.000000e+00 | 1.750000e+02 |    Inf 
67.89/67.99	o 153
67.89/67.99	c *68.0s| 40642 |  7608 | 81887 |   2.0 |  42M|1583 |   - |3771 |7866 |3771 | 990 |  11k|6315 |1645 | 0.000000e+00 | 1.530000e+02 |    Inf 
68.19/68.29	o 150
68.19/68.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
68.19/68.29	c *68.3s| 40750 |  7377 | 83033 |   2.0 |  42M|1583 |   - |3771 |7823 |3771 | 912 |  11k|6388 |1646 | 0.000000e+00 | 1.500000e+02 |    Inf 
68.99/69.03	o 148
68.99/69.03	c *69.0s| 41035 |  7388 | 85082 |   2.1 |  43M|1583 |   - |3771 |7925 |3771 | 901 |  11k|6703 |1646 | 0.000000e+00 | 1.480000e+02 |    Inf 
68.99/69.04	o 138
68.99/69.04	c *69.0s| 41036 |  6796 | 85113 |   2.1 |  41M|1583 |   - |3771 |7925 |3771 | 901 |  11k|6703 |1646 | 0.000000e+00 | 1.380000e+02 |    Inf 
69.69/69.79	o 136
69.69/69.79	c *69.8s| 41325 |  6639 | 87469 |   2.1 |  41M|1583 |   - |3771 |7812 |3771 | 979 |  12k|6899 |1646 | 0.000000e+00 | 1.360000e+02 |    Inf 
69.79/69.80	o 130
69.79/69.80	c *69.8s| 41326 |  6385 | 87481 |   2.1 |  41M|1583 |   - |3771 |7812 |3771 | 979 |  12k|6899 |1646 | 0.000000e+00 | 1.300000e+02 |    Inf 
69.99/70.01	o 122
69.99/70.01	c *70.0s| 41378 |  5777 | 88430 |   2.1 |  38M|1583 |   - |3771 |7791 |3771 | 929 |  12k|6943 |1646 | 0.000000e+00 | 1.220000e+02 |    Inf 
70.29/70.34	o 116
70.29/70.34	c *70.3s| 41461 |  5508 | 90542 |   2.2 |  38M|1583 |   - |3771 |7759 |3771 | 965 |  12k|6975 |1646 | 0.000000e+00 | 1.160000e+02 |    Inf 
70.80/70.87	o 113
70.80/70.87	c *70.8s| 41708 |  5505 | 92135 |   2.2 |  39M|1583 |   - |3771 |7752 |3771 | 893 |  12k|7044 |1646 | 0.000000e+00 | 1.130000e+02 |    Inf 
70.90/70.99	o 112
70.90/70.99	c *71.0s| 41747 |  5138 | 92639 |   2.2 |  38M|1583 |   - |3771 |7765 |3771 | 953 |  12k|7074 |1646 | 0.000000e+00 | 1.120000e+02 |    Inf 
71.09/71.13	o 99
71.09/71.13	c *71.1s| 41857 |  4459 | 92830 |   2.2 |  36M|1583 |   - |3771 |7778 |3771 | 958 |  12k|7092 |1646 | 0.000000e+00 | 9.900000e+01 |    Inf 
71.29/71.39	o 96
71.29/71.39	c *71.4s| 41942 |  4285 | 93429 |   2.2 |  36M|1583 |   - |3771 |7743 |3771 | 958 |  12k|7156 |1646 | 0.000000e+00 | 9.600000e+01 |    Inf 
71.40/71.49	o 87
71.40/71.49	c *71.5s| 42010 |  3810 | 93583 |   2.2 |  35M|1583 |   - |3771 |7657 |3771 | 966 |  12k|7158 |1646 | 0.000000e+00 | 8.700000e+01 |    Inf 
71.50/71.57	o 85
71.50/71.57	c *71.5s| 42043 |  3759 | 93697 |   2.2 |  35M|1583 |   - |3771 |7430 |3771 | 964 |  12k|7168 |1646 | 0.000000e+00 | 8.500000e+01 |    Inf 
71.59/71.63	o 81
71.59/71.63	c *71.6s| 42081 |  3605 | 93802 |   2.2 |  34M|1583 |   - |3771 |7379 |3771 | 956 |  12k|7175 |1646 | 0.000000e+00 | 8.100000e+01 |    Inf 
71.89/71.91	o 80
71.89/71.91	c *71.9s| 42172 |  3626 | 94630 |   2.2 |  35M|1583 |   - |3771 |7345 |3771 | 954 |  12k|7281 |1646 | 0.000000e+00 | 8.000000e+01 |    Inf 
71.89/71.97	o 77
71.89/71.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
71.89/71.97	c *71.9s| 42199 |  3549 | 94741 |   2.2 |  35M|1583 |   - |3771 |7313 |3771 | 956 |  12k|7292 |1646 | 0.000000e+00 | 7.700000e+01 |    Inf 
72.29/72.38	o 71
72.29/72.38	c *72.4s| 42333 |  3369 | 95491 |   2.2 |  35M|1583 |   - |3771 |7229 |3771 | 963 |  12k|7433 |1646 | 0.000000e+00 | 7.100000e+01 |    Inf 
72.49/72.53	o 61
72.49/72.53	c *72.5s| 42373 |  3009 | 95737 |   2.2 |  34M|1583 |   - |3771 |7080 |3771 | 929 |  12k|7465 |1646 | 0.000000e+00 | 6.100000e+01 |    Inf 
72.59/72.61	o 55
72.59/72.61	c *72.6s| 42386 |  2853 | 96127 |   2.3 |  33M|1583 |   - |3771 |6654 |3771 | 893 |  12k|7471 |1646 | 0.000000e+00 | 5.500000e+01 |    Inf 
72.59/72.67	o 49
72.59/72.67	c *72.6s| 42398 |  2687 | 96405 |   2.3 |  32M|1583 |   - |3771 |6476 |3771 | 923 |  12k|7486 |1646 | 0.000000e+00 | 4.900000e+01 |    Inf 
72.79/72.89	o 45
72.79/72.89	c *72.9s| 42470 |  1562 | 97371 |   2.3 |  28M|1583 |   - |3771 |6334 |3771 | 912 |  12k|7562 |1646 | 0.000000e+00 | 4.500000e+01 |    Inf 
87.29/87.36	c  87.3s| 50000 |  1768 |141694 |   2.8 |  33M|1583 |   1 |3771 |7673 |3771 | 882 |  15k|  16k|1646 | 0.000000e+00 | 4.500000e+01 |    Inf 
105.69/105.70	c   106s| 60000 |  2001 |191566 |   3.2 |  39M|1583 |   - |3771 |8538 |   0 |   0 |  19k|  28k|1646 | 0.000000e+00 | 4.500000e+01 |    Inf 
124.09/124.16	c   124s| 70000 |  2126 |235768 |   3.4 |  42M|1583 |   - |3771 |8843 |   0 |   0 |  22k|  41k|1646 | 0.000000e+00 | 4.500000e+01 |    Inf 
142.59/142.66	c   143s| 80000 |  2372 |279658 |   3.5 |  46M|1583 |   - |3771 |8665 |   0 |   0 |  26k|  55k|1646 | 0.000000e+00 | 4.500000e+01 |    Inf 
161.39/161.45	c   161s| 90000 |  2528 |326849 |   3.6 |  50M|1583 |  16 |3771 |9897 |3771 | 908 |  30k|  67k|1673 | 0.000000e+00 | 4.500000e+01 |    Inf 
180.70/180.70	c   181s|100000 |  2619 |367474 |   3.7 |  54M|1583 |  10 |3771 |9657 |3771 | 893 |  33k|  80k|1752 | 0.000000e+00 | 4.500000e+01 |    Inf 
200.29/200.35	c   200s|110000 |  2860 |409515 |   3.7 |  58M|1583 |  17 |3771 |  11k|3771 | 896 |  36k|  92k|1845 | 0.000000e+00 | 4.500000e+01 |    Inf 
220.40/220.47	c   220s|120000 |  2972 |452827 |   3.8 |  61M|1583 |   1 |3771 |  11k|3771 | 917 |  38k| 104k|1953 | 0.000000e+00 | 4.500000e+01 |    Inf 
239.99/240.08	c   240s|130000 |  3051 |493314 |   3.8 |  64M|1583 |   - |3771 |  11k|   0 |   0 |  41k| 117k|2015 | 0.000000e+00 | 4.500000e+01 |    Inf 
251.39/251.45	o 35
251.39/251.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
251.39/251.45	c * 251s|135525 |  2996 |518095 |   3.8 |  65M|1583 |   - |3771 |  11k|3771 | 908 |  43k| 124k|2078 | 0.000000e+00 | 3.500000e+01 |    Inf 
259.50/259.57	c   260s|140000 |  3037 |534999 |   3.8 |  66M|1583 |  11 |3771 |  10k|3771 | 916 |  44k| 130k|2116 | 0.000000e+00 | 3.500000e+01 |    Inf 
261.20/261.25	o 21
261.20/261.25	c * 261s|140909 |  2672 |538791 |   3.8 |  59M|1583 |   - |3771 |  11k|3771 | 896 |  44k| 131k|2118 | 0.000000e+00 | 2.100000e+01 |    Inf 
276.70/276.77	c   277s|150000 |  2741 |586987 |   3.9 |  61M|1583 |  17 |3771 |8332 |3771 | 890 |  47k| 143k|2200 | 0.000000e+00 | 2.100000e+01 |    Inf 
293.80/293.85	c   294s|160000 |  2750 |640337 |   4.0 |  62M|1583 |  16 |3771 |7930 |3771 | 897 |  49k| 156k|2317 | 0.000000e+00 | 2.100000e+01 |    Inf 
306.10/306.18	o 13
306.10/306.18	c * 306s|167313 |  2424 |676966 |   4.0 |  58M|1583 |   - |3771 |9203 |3771 | 900 |  51k| 165k|2385 | 0.000000e+00 | 1.300000e+01 |    Inf 
310.60/310.62	c   311s|170000 |  2481 |692559 |   4.1 |  58M|1583 |  21 |3771 |7664 |3771 | 899 |  52k| 168k|2465 | 0.000000e+00 | 1.300000e+01 |    Inf 
326.50/326.53	c   327s|180000 |  2594 |746812 |   4.1 |  61M|1583 |  21 |3771 |  10k|3771 | 899 |  54k| 181k|2547 | 0.000000e+00 | 1.300000e+01 |    Inf 
342.90/342.99	c   343s|190000 |  2759 |796832 |   4.2 |  65M|1583 |   7 |3771 |  12k|3771 | 896 |  57k| 195k|2662 | 0.000000e+00 | 1.300000e+01 |    Inf 
359.50/359.52	c   359s|200000 |  2865 |848982 |   4.2 |  67M|1583 |   - |3771 |  11k|   0 |   0 |  59k| 207k|2769 | 0.000000e+00 | 1.300000e+01 |    Inf 
376.11/376.16	c   376s|210000 |  3031 |896688 |   4.3 |  70M|1583 |   - |3771 |  13k|   0 |   0 |  62k| 219k|2852 | 0.000000e+00 | 1.300000e+01 |    Inf 
393.71/393.77	c   394s|220000 |  3141 |939773 |   4.3 |  72M|1583 |   1 |3771 |  14k|3771 | 882 |  64k| 232k|2953 | 0.000000e+00 | 1.300000e+01 |    Inf 
412.00/412.03	c   412s|230000 |  3404 |992007 |   4.3 |  76M|1583 |  15 |3771 |  16k|3771 | 892 |  67k| 244k|3033 | 0.000000e+00 | 1.300000e+01 |    Inf 
430.40/430.42	c   430s|240000 |  3552 |  1042k|   4.3 |  78M|1583 |  23 |3771 |  14k|3771 | 882 |  70k| 257k|3143 | 0.000000e+00 | 1.300000e+01 |    Inf 
448.20/448.23	c   448s|250000 |  3568 |  1092k|   4.4 |  80M|1583 |   1 |3771 |  11k|3771 | 882 |  72k| 270k|3214 | 0.000000e+00 | 1.300000e+01 |    Inf 
464.81/464.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
464.81/464.88	c   465s|260000 |  3506 |  1142k|   4.4 |  81M|1583 |  10 |3771 |  10k|3771 | 892 |  74k| 283k|3323 | 0.000000e+00 | 1.300000e+01 |    Inf 
481.81/481.83	c   482s|270000 |  3569 |  1202k|   4.5 |  83M|1583 |   - |3771 |  13k|   0 |   0 |  77k| 296k|3453 | 0.000000e+00 | 1.300000e+01 |    Inf 
499.60/499.63	c   500s|280000 |  3615 |  1262k|   4.5 |  84M|1583 |   1 |3771 |  14k|3771 | 894 |  79k| 309k|3541 | 0.000000e+00 | 1.300000e+01 |    Inf 
517.20/517.23	c   517s|290000 |  3832 |  1318k|   4.5 |  87M|1583 |  15 |3771 |  15k|3771 | 919 |  81k| 323k|3617 | 0.000000e+00 | 1.300000e+01 |    Inf 
535.30/535.37	c   535s|300000 |  3787 |  1377k|   4.6 |  87M|1583 |   - |3771 |  13k|   0 |   0 |  83k| 337k|3758 | 0.000000e+00 | 1.300000e+01 |    Inf 
553.70/553.80	c   554s|310000 |  3731 |  1443k|   4.7 |  88M|1583 |   1 |3771 |  15k|3771 | 903 |  88k| 350k|3860 | 0.000000e+00 | 1.300000e+01 |    Inf 
572.20/572.21	c   572s|320000 |  3693 |  1502k|   4.7 |  88M|1583 |  17 |3771 |  13k|3771 | 912 |  91k| 364k|3974 | 0.000000e+00 | 1.300000e+01 |    Inf 
589.10/589.18	c   589s|330000 |  3534 |  1555k|   4.7 |  87M|1583 |   - |3771 |  11k|   0 |   0 |  94k| 377k|4054 | 0.000000e+00 | 1.300000e+01 |    Inf 
605.81/605.89	c   606s|340000 |  3624 |  1606k|   4.7 |  89M|1583 |   - |3771 |  15k|   0 |   0 |  96k| 390k|4115 | 0.000000e+00 | 1.300000e+01 |    Inf 
623.40/623.40	c   623s|350000 |  3674 |  1657k|   4.7 |  91M|1583 |   - |3771 |  15k|   0 |   0 |  99k| 404k|4187 | 0.000000e+00 | 1.300000e+01 |    Inf 
641.01/641.09	c   641s|360000 |  3718 |  1709k|   4.7 |  93M|1583 |  20 |3771 |  17k|3771 | 903 | 101k| 417k|4272 | 0.000000e+00 | 1.300000e+01 |    Inf 
649.02/649.04	o 5
649.02/649.04	c * 649s|364276 |  2427 |  1732k|   4.8 |  66M|1583 |   - |3771 |  15k|3771 | 923 | 102k| 422k|4346 | 0.000000e+00 | 5.000000e+00 |    Inf 
659.51/659.54	c   660s|370000 |  2509 |  1770k|   4.8 |  67M|1583 |  18 |3771 |  17k|3771 | 906 | 103k| 430k|4367 | 0.000000e+00 | 5.000000e+00 |    Inf 
677.61/677.69	c   678s|380000 |  2545 |  1831k|   4.8 |  68M|1583 |   - |3771 |  16k|   0 |   0 | 106k| 443k|4470 | 0.000000e+00 | 5.000000e+00 |    Inf 
694.70/694.79	c   695s|390000 |  2691 |  1886k|   4.8 |  69M|1583 |  21 |3771 |  16k|3771 | 914 | 109k| 457k|4562 | 0.000000e+00 | 5.000000e+00 |    Inf 
712.01/712.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
712.01/712.05	c   712s|400000 |  2713 |  1938k|   4.8 |  70M|1583 |   - |3771 |  16k|   0 |   0 | 111k| 471k|4630 | 0.000000e+00 | 5.000000e+00 |    Inf 
729.61/729.65	c   730s|410000 |  2786 |  1992k|   4.9 |  72M|1583 |  12 |3771 |  18k|3771 | 911 | 113k| 485k|4705 | 0.000000e+00 | 5.000000e+00 |    Inf 
748.81/748.84	c   749s|420000 |  2888 |  2050k|   4.9 |  74M|1583 |   1 |3771 |  22k|3771 | 894 | 115k| 499k|4780 | 0.000000e+00 | 5.000000e+00 |    Inf 
769.41/769.43	c   769s|430000 |  2973 |  2105k|   4.9 |  77M|1583 |   - |3771 |  25k|   0 |   0 | 117k| 513k|4848 | 0.000000e+00 | 5.000000e+00 |    Inf 
790.71/790.76	c   791s|440000 |  3041 |  2160k|   4.9 |  78M|1583 |   - |3771 |  26k|   0 |   0 | 119k| 527k|4913 | 0.000000e+00 | 5.000000e+00 |    Inf 
810.31/810.30	c   810s|450000 |  3005 |  2219k|   4.9 |  76M|1583 |   - |3771 |  19k|   0 |   0 | 122k| 541k|4996 | 0.000000e+00 | 5.000000e+00 |    Inf 
828.32/828.33	c   828s|460000 |  3096 |  2276k|   4.9 |  77M|1583 |   - |3771 |  18k|   0 |   0 | 124k| 554k|5061 | 0.000000e+00 | 5.000000e+00 |    Inf 
843.51/843.60	o 4
843.51/843.60	c * 844s|468670 |  2868 |  2321k|   5.0 |  75M|1583 |   - |3771 |  21k|3771 | 942 | 125k| 566k|5103 | 0.000000e+00 | 4.000000e+00 |    Inf 
846.11/846.18	c   846s|470000 |  2853 |  2329k|   5.0 |  74M|1583 |   - |3771 |  16k|   0 |   0 | 125k| 568k|5129 | 0.000000e+00 | 4.000000e+00 |    Inf 
863.11/863.14	c   863s|480000 |  2606 |  2383k|   5.0 |  70M|1583 |   1 |3771 |  11k|3771 | 928 | 127k| 582k|5246 | 0.000000e+00 | 4.000000e+00 |    Inf 
879.82/879.80	c   880s|490000 |  2618 |  2437k|   5.0 |  72M|1583 |   - |3771 |  15k|   0 |   0 | 129k| 597k|5303 | 0.000000e+00 | 4.000000e+00 |    Inf 
897.52/897.59	c   898s|500000 |  2645 |  2493k|   5.0 |  74M|1583 |  13 |3771 |  19k|3771 | 919 | 131k| 610k|5372 | 0.000000e+00 | 4.000000e+00 |    Inf 
916.61/916.68	c   917s|510000 |  2702 |  2543k|   5.0 |  75M|1583 |   5 |3771 |  21k|3771 | 910 | 133k| 625k|5438 | 0.000000e+00 | 4.000000e+00 |    Inf 
936.91/936.93	c   937s|520000 |  2681 |  2600k|   5.0 |  75M|1583 |   - |3771 |  20k|   0 |   0 | 136k| 640k|5518 | 0.000000e+00 | 4.000000e+00 |    Inf 
956.41/956.49	c   956s|530000 |  2748 |  2656k|   5.0 |  78M|1583 |  15 |3771 |  25k|3771 | 926 | 137k| 654k|5570 | 0.000000e+00 | 4.000000e+00 |    Inf 
977.32/977.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
977.32/977.34	c   977s|540000 |  2798 |  2712k|   5.0 |  80M|1583 |  11 |3771 |  27k|3771 | 924 | 139k| 669k|5619 | 0.000000e+00 | 4.000000e+00 |    Inf 
1000.21/1000.28	c  1000s|550000 |  2808 |  2770k|   5.0 |  79M|1583 |  11 |3771 |  24k|3771 | 910 | 141k| 684k|5680 | 0.000000e+00 | 4.000000e+00 |    Inf 
1019.52/1019.54	c  1020s|560000 |  2828 |  2827k|   5.0 |  77M|1583 |   1 |3771 |  18k|3771 | 915 | 143k| 698k|5880 | 0.000000e+00 | 4.000000e+00 |    Inf 
1038.21/1038.24	c  1038s|570000 |  2889 |  2878k|   5.0 |  79M|1583 |  14 |3771 |  21k|3771 | 905 | 146k| 710k|5905 | 0.000000e+00 | 4.000000e+00 |    Inf 
1059.32/1059.37	c  1059s|580000 |  2887 |  2925k|   5.0 |  79M|1583 |   - |3771 |  17k|   0 |   0 | 148k| 723k|5975 | 0.000000e+00 | 4.000000e+00 |    Inf 
1077.02/1077.09	c  1077s|590000 |  2974 |  2983k|   5.1 |  79M|1583 |   - |3771 |  14k|   0 |   0 | 150k| 736k|6038 | 0.000000e+00 | 4.000000e+00 |    Inf 
1095.52/1095.52	c  1095s|600000 |  3078 |  3041k|   5.1 |  81M|1583 |   - |3771 |  17k|   0 |   0 | 153k| 750k|6104 | 0.000000e+00 | 4.000000e+00 |    Inf 
1115.02/1115.02	c  1115s|610000 |  3179 |  3103k|   5.1 |  83M|1583 |   - |3771 |  15k|   0 |   0 | 156k| 763k|6165 | 0.000000e+00 | 4.000000e+00 |    Inf 
1133.22/1133.23	c  1133s|620000 |  3105 |  3161k|   5.1 |  82M|1583 |   1 |3771 |  12k|3771 | 909 | 158k| 778k|6222 | 0.000000e+00 | 4.000000e+00 |    Inf 
1150.32/1150.39	c  1150s|630000 |  3048 |  3215k|   5.1 |  82M|1583 |   - |3771 |  11k|   0 |   0 | 160k| 791k|6296 | 0.000000e+00 | 4.000000e+00 |    Inf 
1168.22/1168.25	c  1168s|640000 |  3168 |  3272k|   5.1 |  85M|1583 |  16 |3771 |  15k|3771 | 906 | 163k| 803k|6355 | 0.000000e+00 | 4.000000e+00 |    Inf 
1186.62/1186.65	c  1187s|650000 |  3092 |  3322k|   5.1 |  84M|1583 |   - |3771 |  14k|   0 |   0 | 165k| 817k|6435 | 0.000000e+00 | 4.000000e+00 |    Inf 
1204.72/1204.79	c  1205s|660000 |  3154 |  3375k|   5.1 |  86M|1583 |  14 |3771 |  15k|3771 | 899 | 168k| 830k|6462 | 0.000000e+00 | 4.000000e+00 |    Inf 
1223.92/1223.99	c  1224s|670000 |  3282 |  3432k|   5.1 |  89M|1583 |   1 |3771 |  20k|3771 | 890 | 171k| 844k|6495 | 0.000000e+00 | 4.000000e+00 |    Inf 
1244.42/1244.45	c  1244s|680000 |  3378 |  3488k|   5.1 |  91M|1583 |   1 |3771 |  24k|3771 | 923 | 173k| 857k|6550 | 0.000000e+00 | 4.000000e+00 |    Inf 
1266.83/1266.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1266.83/1266.87	c  1267s|690000 |  3456 |  3554k|   5.2 |  93M|1583 |   - |3771 |  24k|3771 | 912 | 176k| 871k|6625 | 0.000000e+00 | 4.000000e+00 |    Inf 
1289.22/1289.27	c  1289s|700000 |  3688 |  3613k|   5.2 |  96M|1583 |  10 |3771 |  29k|3771 | 896 | 179k| 884k|6676 | 0.000000e+00 | 4.000000e+00 |    Inf 
1312.12/1312.12	c  1312s|710000 |  3779 |  3671k|   5.2 |  97M|1583 |   1 |3771 |  26k|3771 | 891 | 182k| 898k|6750 | 0.000000e+00 | 4.000000e+00 |    Inf 
1333.92/1333.98	c  1334s|720000 |  3788 |  3728k|   5.2 |  98M|1583 |  20 |3771 |  27k|3771 | 906 | 185k| 912k|6790 | 0.000000e+00 | 4.000000e+00 |    Inf 
1356.73/1356.73	c  1357s|730000 |  4044 |  3784k|   5.2 | 100M|1583 |   - |3771 |  27k|   0 |   0 | 188k| 925k|6841 | 0.000000e+00 | 4.000000e+00 |    Inf 
1378.53/1378.51	c  1378s|740000 |  4218 |  3835k|   5.2 | 103M|1583 |   - |3771 |  31k|   0 |   0 | 191k| 939k|6893 | 0.000000e+00 | 4.000000e+00 |    Inf 
1401.13/1401.17	c  1401s|750000 |  4351 |  3888k|   5.2 | 104M|1583 |  15 |3771 |  31k|3771 | 894 | 195k| 953k|6938 | 0.000000e+00 | 4.000000e+00 |    Inf 
1424.33/1424.31	c  1424s|760000 |  4481 |  3942k|   5.2 | 106M|1583 |   - |3771 |  32k|3771 | 913 | 198k| 967k|6998 | 0.000000e+00 | 4.000000e+00 |    Inf 
1447.83/1447.82	c  1448s|770000 |  4659 |  3998k|   5.2 | 108M|1583 |  23 |3771 |  33k|3771 | 882 | 201k| 980k|7032 | 0.000000e+00 | 4.000000e+00 |    Inf 
1473.33/1473.35	c  1473s|780000 |  4772 |  4055k|   5.2 | 110M|1583 |  12 |3771 |  35k|3771 | 896 | 204k| 994k|7063 | 0.000000e+00 | 4.000000e+00 |    Inf 
1499.83/1499.88	c  1500s|790000 |  4859 |  4116k|   5.2 | 112M|1583 |  15 |3771 |  37k|3771 | 926 | 207k|1008k|7130 | 0.000000e+00 | 4.000000e+00 |    Inf 
1525.23/1525.24	c  1525s|800000 |  4922 |  4173k|   5.2 | 112M|1583 |  15 |3771 |  35k|3771 | 892 | 210k|1022k|7187 | 0.000000e+00 | 4.000000e+00 |    Inf 
1550.53/1550.55	c  1551s|810000 |  5021 |  4230k|   5.2 | 113M|1583 |   - |3771 |  31k|3771 | 889 | 213k|1036k|7243 | 0.000000e+00 | 4.000000e+00 |    Inf 
1573.32/1573.31	c  1573s|820000 |  5148 |  4278k|   5.2 | 114M|1583 |   - |3771 |  33k|   0 |   0 | 216k|1050k|7268 | 0.000000e+00 | 4.000000e+00 |    Inf 
1596.73/1596.75	c  1597s|830000 |  5337 |  4333k|   5.2 | 115M|1583 |   1 |3771 |  32k|3771 | 922 | 219k|1064k|7314 | 0.000000e+00 | 4.000000e+00 |    Inf 
1621.73/1621.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1621.73/1621.77	c  1622s|840000 |  5559 |  4396k|   5.2 | 118M|1583 |   1 |3771 |  33k|3771 | 895 | 222k|1079k|7374 | 0.000000e+00 | 4.000000e+00 |    Inf 
1646.63/1646.60	c  1647s|850000 |  5637 |  4454k|   5.2 | 120M|1583 |   1 |3771 |  36k|3771 | 911 | 226k|1093k|7425 | 0.000000e+00 | 4.000000e+00 |    Inf 
1671.63/1671.67	c  1672s|860000 |  5716 |  4516k|   5.3 | 120M|1583 |   - |3771 |  32k|   0 |   0 | 229k|1107k|7468 | 0.000000e+00 | 4.000000e+00 |    Inf 
1695.64/1695.65	c  1696s|870000 |  5779 |  4576k|   5.3 | 121M|1583 |  24 |3771 |  33k|3771 | 895 | 232k|1121k|7490 | 0.000000e+00 | 4.000000e+00 |    Inf 
1720.33/1720.35	c  1720s|880000 |  5814 |  4635k|   5.3 | 121M|1583 |   9 |3771 |  30k|3771 | 882 | 236k|1135k|7549 | 0.000000e+00 | 4.000000e+00 |    Inf 
1745.23/1745.28	c  1745s|890000 |  5947 |  4701k|   5.3 | 124M|1583 |   1 |3771 |  33k|3771 | 900 | 240k|1148k|7602 | 0.000000e+00 | 4.000000e+00 |    Inf 
1769.84/1769.82	c  1770s|900000 |  6020 |  4766k|   5.3 | 125M|1583 |  10 |3771 |  34k|3771 | 904 | 243k|1162k|7662 | 0.000000e+00 | 4.000000e+00 |    Inf 
1790.03/1790.01	c 
1790.03/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.01	c Solving Time (sec) : 1789.98
1790.03/1790.01	c Solving Nodes      : 907908
1790.03/1790.01	c Primal Bound       : +4.00000000000000e+00 (173 solutions)
1790.03/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.01	c Gap                : infinite
1790.03/1790.04	s SATISFIABLE
1790.03/1790.04	v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1790.03/1790.04	v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.03/1790.04	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 
1790.03/1790.04	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.03/1790.04	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 
1790.03/1790.04	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1790.03/1790.04	v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1790.03/1790.04	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 
1790.03/1790.04	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 
1790.03/1790.04	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 
1790.03/1790.04	v -x1 
1790.03/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.04	c Solving Time       :    1789.98
1790.03/1790.04	c Original Problem   :
1790.03/1790.04	c   Problem name     : HOME/instance-2705527-1278572955.wbo
1790.03/1790.04	c   Variables        : 3909 (2070 binary, 0 integer, 1839 implicit integer, 0 continuous)
1790.03/1790.04	c   Constraints      : 4547 initial, 4547 maximal
1790.03/1790.04	c Presolved Problem  :
1790.03/1790.04	c   Problem name     : t_HOME/instance-2705527-1278572955.wbo
1790.03/1790.04	c   Variables        : 3771 (2001 binary, 0 integer, 1770 implicit integer, 0 continuous)
1790.03/1790.04	c   Constraints      : 4356 initial, 38555 maximal
1790.03/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.03/1790.04	c   trivial          :       0.00         69          0          0          0          0          0          0          0
1790.03/1790.04	c   dualfix          :       0.00         69          0          0          0          0          0          0          0
1790.03/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.03/1790.04	c   setppc           :       0.00          0          0          0          0          0         17          0          0
1790.03/1790.04	c   linear           :       0.06          0          0          0       1861          0        105         91          0
1790.03/1790.04	c   indicator        :       0.00          0          0          0          0          0         69          0          0
1790.03/1790.04	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.04	c   root node        :          -       3444          -          -       3444          -          -          -          -
1790.03/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.04	c   integral         :          0          0          0     543387          0         45        673          0          0     947382
1790.03/1790.04	c   setppc           :         33          6    4653216      62384          1      22664    1400051          0          0          0
1790.03/1790.04	c   linear           :       1770          6    4639741      67388          1     237163   19714199     245762          0          0
1790.03/1790.04	c   indicator        :       1770          0    4388875      69060          1       1224    3683448          0          0          0
1790.03/1790.04	c   logicor          :        783+         6    1638713      36994          1     153781    3901576          0          0          0
1790.03/1790.04	c   bounddisjunction :          0+         0     295685          0          0        120       2109          0          0          0
1790.03/1790.04	c   countsols        :          0          0          0      36994          1          0          0          0          0          0
1790.03/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.03/1790.04	c   integral         :      20.47       0.00       0.00      20.47       0.00
1790.03/1790.04	c   setppc           :      11.55       0.00      11.50       0.05       0.00
1790.03/1790.04	c   linear           :     144.08       0.00     141.36       2.72       0.00
1790.03/1790.04	c   indicator        :      38.52       0.02      33.29       5.21       0.00
1790.03/1790.04	c   logicor          :     296.11       0.00     295.79       0.33       0.00
1790.03/1790.04	c   bounddisjunction :       2.57       0.00       2.57       0.00       0.00
1790.03/1790.04	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1790.03/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.03/1790.04	c   vbounds          :       0.76      27033          0       2084
1790.03/1790.04	c   rootredcost      :       0.68         59          0       1722
1790.03/1790.04	c   pseudoobj        :     128.60    4676218      11981    3772740
1790.03/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.03/1790.04	c   propagation      :      21.13     425709     425468    2551726       27.8      12409       26.7          -
1790.03/1790.04	c   infeasible LP    :       8.96      33605      33605     262066       44.4        357       19.8          0
1790.03/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.03/1790.04	c   applied globally :          -          -          -    1174329       23.2          -          -          -
1790.03/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.03/1790.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.03/1790.04	c   cut pool         :       0.00          5          -          -         24          -    (maximal pool size: 333)
1790.03/1790.04	c   redcost          :      37.76     547380          0     137099          0          0
1790.03/1790.04	c   impliedbounds    :       0.00          6          0          0          0          0
1790.03/1790.04	c   intobj           :       0.00          0          0          0          0          0
1790.03/1790.04	c   cgmip            :       0.00          0          0          0          0          0
1790.03/1790.04	c   gomory           :       0.08          6          0          0       1493          0
1790.03/1790.04	c   strongcg         :       0.07          6          0          0       1526          0
1790.03/1790.04	c   cmir             :       0.02          6          0          0          1          0
1790.03/1790.04	c   flowcover        :       0.05          6          0          0          2          0
1790.03/1790.04	c   clique           :       0.00          6          0          0          0          0
1790.03/1790.04	c   zerohalf         :       0.00          0          0          0          0          0
1790.03/1790.04	c   mcf              :       0.00          1          0          0          0          0
1790.03/1790.04	c   rapidlearning    :       0.07          1          0          0          0          0
1790.03/1790.04	c Pricers            :       Time      Calls       Vars
1790.03/1790.04	c   problem variables:       0.00          0          0
1790.03/1790.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.04	c   relpscost        :      20.04     474243         45        673          0          0     947382
1790.03/1790.04	c   pscost           :       0.00          0          0          0          0          0          0
1790.03/1790.04	c   inference        :       9.17      36937          0          0          0          0      74323
1790.03/1790.04	c   mostinf          :       0.00          0          0          0          0          0          0
1790.03/1790.04	c   leastinf         :       0.00          0          0          0          0          0          0
1790.03/1790.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.03/1790.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.03/1790.04	c   random           :       0.00          0          0          0          0          0          0
1790.03/1790.04	c Primal Heuristics  :       Time      Calls      Found
1790.03/1790.04	c   LP solutions     :       0.10          -         58
1790.03/1790.04	c   pseudo solutions :       0.00          -          0
1790.03/1790.04	c   intshifting      :       0.01          0          0
1790.03/1790.04	c   feaspump         :       0.02          1          0
1790.03/1790.04	c   oneopt           :       0.48         55          0
1790.03/1790.04	c   fracdiving       :       0.23        153          0
1790.03/1790.04	c   linesearchdiving :       0.20        153          0
1790.03/1790.04	c   veclendiving     :       0.21        153          0
1790.03/1790.04	c   guideddiving     :       0.22        153          0
1790.03/1790.04	c   crossover        :       1.72         51          0
1790.03/1790.04	c   coefdiving       :       0.28        154          0
1790.03/1790.04	c   pscostdiving     :       0.20        154          0
1790.03/1790.04	c   objpscostdiving  :       0.18        141          0
1790.03/1790.04	c   rootsoldiving    :       0.20        141          0
1790.03/1790.04	c   trivial          :       0.00          2          0
1790.03/1790.04	c   simplerounding   :       0.71     474649          0
1790.03/1790.04	c   zirounding       :       0.34       1000          0
1790.03/1790.04	c   rounding         :       0.96       9669          0
1790.03/1790.04	c   shifting         :       0.70       3008          0
1790.03/1790.04	c   twoopt           :       0.00          0          0
1790.03/1790.04	c   fixandinfer      :       0.00          0          0
1790.03/1790.04	c   intdiving        :       0.00          0          0
1790.03/1790.04	c   actconsdiving    :       0.00          0          0
1790.03/1790.04	c   octane           :       0.00          0          0
1790.03/1790.04	c   rens             :       0.02          1          0
1790.03/1790.04	c   rins             :       0.00          0          0
1790.03/1790.04	c   localbranching   :       0.00          0          0
1790.03/1790.04	c   mutation         :       0.00          0          0
1790.03/1790.04	c   dins             :       0.00          0          0
1790.03/1790.04	c   undercover       :       0.00          0          0
1790.03/1790.04	c   nlp              :       0.14          0          0
1790.03/1790.04	c   trysol           :       0.35        318        115
1790.03/1790.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.03/1790.04	c   primal LP        :       0.00          0          0       0.00          -
1790.03/1790.04	c   dual LP          :     573.17     540702    4813366       8.90    8397.80
1790.03/1790.04	c   lex dual LP      :       0.00          0          0       0.00          -
1790.03/1790.04	c   barrier LP       :       0.00          0          0       0.00          -
1790.03/1790.04	c   diving/probing LP:       0.32        203       3227      15.90   10172.88
1790.03/1790.04	c   strong branching :      15.97       7693     171913      22.35   10767.52
1790.03/1790.04	c     (at root node) :          -         17       2753     161.94          -
1790.03/1790.04	c   conflict analysis:       0.00          0          0       0.00          -
1790.03/1790.04	c B&B Tree           :
1790.03/1790.04	c   number of runs   :          1
1790.03/1790.04	c   nodes            :     907908
1790.03/1790.04	c   nodes (total)    :     907908
1790.03/1790.04	c   nodes left       :       6072
1790.03/1790.04	c   max depth        :       1583
1790.03/1790.04	c   max depth (total):       1583
1790.03/1790.04	c   backtracks       :      83096 (9.2%)
1790.03/1790.04	c   delayed cutoffs  :      68349
1790.03/1790.04	c   repropagations   :    2248141 (5747094 domain reductions, 63278 cutoffs)
1790.03/1790.04	c   avg switch length:       6.36
1790.03/1790.04	c   switching time   :     274.53
1790.03/1790.04	c Solution           :
1790.03/1790.04	c   Solutions found  :        173 (59 improvements)
1790.03/1790.04	c   First Solution   : +8.80640000000000e+04   (in run 1, after 30 nodes, 3.43 seconds, depth 17, found by <trysol>)
1790.03/1790.04	c   Primal Bound     : +4.00000000000000e+00   (in run 1, after 468670 nodes, 843.57 seconds, depth 54, found by <relaxation>)
1790.03/1790.04	c   Dual Bound       : +0.00000000000000e+00
1790.03/1790.04	c   Gap              :   infinite
1790.03/1790.04	c   Root Dual Bound  : +0.00000000000000e+00
1790.03/1790.04	c   Root Iterations  :        547
1790.24/1790.20	c Time complete: 1790.25.

Verifier Data 

OK	4

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.14 0.03 0.01 4/178 23358
/proc/meminfo: memFree=29248272/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=12540 CPUtime=0
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 1974 0 0 0 0 0 0 0 18 0 1 0 25509610 12840960 1892 4089446400 4194304 10345943 140733349210672 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23358/statm: 3135 1892 429 1502 0 1628 0

[startup+0.0550429 s]
/proc/loadavg: 0.14 0.03 0.01 4/178 23358
/proc/meminfo: memFree=29248272/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=33408 CPUtime=0.05
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 7355 0 0 0 5 0 0 0 18 0 1 0 25509610 34209792 6919 4089446400 4194304 10345943 140733349210672 18446744073709551615 9192112 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 8352 6919 531 1502 0 6845 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 33408

[startup+0.101032 s]
/proc/loadavg: 0.14 0.03 0.01 4/178 23358
/proc/meminfo: memFree=29248272/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=34436 CPUtime=0.09
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 7637 0 0 0 9 0 0 0 18 0 1 0 25509610 35262464 7201 4089446400 4194304 10345943 140733349210672 18446744073709551615 4288158 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 8609 7201 550 1502 0 7102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34436

[startup+0.301049 s]
/proc/loadavg: 0.14 0.03 0.01 4/178 23358
/proc/meminfo: memFree=29248272/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=40876 CPUtime=0.29
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 14210 0 0 0 27 2 0 0 18 0 1 0 25509610 41857024 8766 4089446400 4194304 10345943 140733349210672 18446744073709551615 6132976 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 10219 8766 748 1502 0 8712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40876

[startup+0.700974 s]
/proc/loadavg: 0.14 0.03 0.01 4/178 23358
/proc/meminfo: memFree=29248272/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=46264 CPUtime=0.7
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 19181 0 0 0 67 3 0 0 18 0 1 0 25509610 47374336 9712 4089446400 4194304 10345943 140733349210672 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 11566 9712 762 1502 0 10059 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 46264

[startup+1.50084 s]
/proc/loadavg: 0.14 0.03 0.01 3/179 23359
/proc/meminfo: memFree=29211064/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=46264 CPUtime=1.49
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 19353 0 0 0 146 3 0 0 20 0 1 0 25509610 47374336 9884 4089446400 4194304 10345943 140733349210672 18446744073709551615 7509128 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 11566 9884 767 1502 0 10059 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46264

[startup+3.10055 s]
/proc/loadavg: 0.14 0.03 0.01 3/179 23359
/proc/meminfo: memFree=29211028/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=46464 CPUtime=3.09
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 19568 0 0 0 305 4 0 0 25 0 1 0 25509610 47579136 9814 4089446400 4194304 10345943 140733349210672 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 11616 9814 767 1502 0 10109 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46464

[startup+6.30099 s]
/proc/loadavg: 0.37 0.08 0.02 3/179 23359
/proc/meminfo: memFree=29210532/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=46692 CPUtime=6.29
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 22402 0 0 0 622 7 0 0 25 0 1 0 25509610 47812608 9875 4089446400 4194304 10345943 140733349210672 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 11673 9875 768 1502 0 10166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46692

[startup+12.7009 s]
/proc/loadavg: 0.50 0.11 0.03 3/179 23359
/proc/meminfo: memFree=29197456/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=55800 CPUtime=12.69
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 43650 0 0 0 1256 13 0 0 25 0 1 0 25509610 57139200 12301 4089446400 4194304 10345943 140733349210672 18446744073709551615 4796465 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 13950 12301 769 1502 0 12443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55800

[startup+25.5006 s]
/proc/loadavg: 0.83 0.20 0.07 3/179 23360
/proc/meminfo: memFree=29150472/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=79852 CPUtime=25.49
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 57452 0 0 0 2533 16 0 0 25 0 1 0 25509610 81768448 18168 4089446400 4194304 10345943 140733349210672 18446744073709551615 6119510 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 19963 18168 774 1502 0 18456 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79852

[startup+51.1011 s]
/proc/loadavg: 1.30 0.36 0.12 3/179 23360
/proc/meminfo: memFree=29104116/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=108984 CPUtime=51.09
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 122555 0 0 0 5079 30 0 0 25 0 1 0 25509610 111599616 25671 4089446400 4194304 10345943 140733349210672 18446744073709551615 8160436 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 27246 25671 774 1502 0 25739 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 108984

[startup+102.306 s]
/proc/loadavg: 1.69 0.61 0.22 3/179 23362
/proc/meminfo: memFree=29036696/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=171284 CPUtime=102.29
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 196185 0 0 0 10173 56 0 0 25 0 1 0 25509610 175394816 40994 4089446400 4194304 10345943 140733349210672 18446744073709551615 4217108 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 42821 40994 786 1502 0 41314 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 171284

[startup+162.301 s]
/proc/loadavg: 1.89 0.86 0.33 3/179 23363
/proc/meminfo: memFree=29007752/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=196812 CPUtime=162.3
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 206421 0 0 0 16157 73 0 0 25 0 1 0 25509610 201535488 46988 4089446400 4194304 10345943 140733349210672 18446744073709551615 6802981 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 49203 46988 786 1502 0 47696 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 196812

[startup+222.301 s]
/proc/loadavg: 1.96 1.07 0.43 3/179 23365
/proc/meminfo: memFree=28985876/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=220408 CPUtime=222.3
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 216790 0 0 0 22140 90 0 0 25 0 1 0 25509610 225697792 52354 4089446400 4194304 10345943 140733349210672 18446744073709551615 4469728 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 55102 52354 786 1502 0 53595 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 220408

[startup+282.301 s]
/proc/loadavg: 1.98 1.23 0.52 3/179 23366
/proc/meminfo: memFree=28973544/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=231492 CPUtime=282.29
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 248941 0 0 0 28117 112 0 0 25 0 1 0 25509610 237047808 55131 4089446400 4194304 10345943 140733349210672 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 57873 55131 787 1502 0 56366 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 231492

[startup+342.301 s]
/proc/loadavg: 2.03 1.39 0.62 3/179 23368
/proc/meminfo: memFree=28961716/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=244224 CPUtime=342.3
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 283617 0 0 0 34092 138 0 0 25 0 1 0 25509610 250085376 58019 4089446400 4194304 10345943 140733349210672 18446744073709551615 5086844 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 61056 58019 787 1502 0 59549 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 244224

[startup+402.3 s]
/proc/loadavg: 2.01 1.49 0.70 3/179 23370
/proc/meminfo: memFree=28949152/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=253712 CPUtime=402.3
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 292983 0 0 0 40073 157 0 0 25 0 1 0 25509610 259801088 60446 4089446400 4194304 10345943 140733349210672 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 63428 60446 787 1502 0 61921 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 253712

[startup+462.301 s]
/proc/loadavg: 2.00 1.58 0.78 3/179 23371
/proc/meminfo: memFree=28936432/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=264616 CPUtime=462.3
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 298133 0 0 0 46054 176 0 0 25 0 1 0 25509610 270966784 63074 4089446400 4194304 10345943 140733349210672 18446744073709551615 6802931 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 66154 63074 799 1502 0 64647 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 264616

[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.85 3/179 23373
/proc/meminfo: memFree=28928208/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=272508 CPUtime=522.3
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 307260 0 0 0 52033 197 0 0 25 0 1 0 25509610 279048192 64712 4089446400 4194304 10345943 140733349210672 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 68127 64712 798 1502 0 66620 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 272508

[startup+582.301 s]
/proc/loadavg: 2.00 1.72 0.92 3/179 23377
/proc/meminfo: memFree=28921900/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=276228 CPUtime=582.3
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 313082 0 0 0 58011 219 0 0 25 0 1 0 25509610 282857472 65637 4089446400 4194304 10345943 140733349210672 18446744073709551615 6714879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 69057 65637 798 1502 0 67550 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 276228

[startup+642.3 s]
/proc/loadavg: 2.00 1.77 0.99 3/179 23379
/proc/meminfo: memFree=28916860/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=280492 CPUtime=642.31
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 316035 0 0 0 63994 237 0 0 25 0 1 0 25509610 287223808 66789 4089446400 4194304 10345943 140733349210672 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 70123 66789 798 1502 0 68616 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 280492

[startup+702.301 s]

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

/proc/meminfo: memFree=28899924/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=292336 CPUtime=1062.32
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 381537 0 0 0 105863 369 0 0 25 0 1 0 25509610 299352064 69685 4089446400 4194304 10345943 140733349210672 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 73084 69685 801 1502 0 71577 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 292336

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/179 23392
/proc/meminfo: memFree=28898504/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=293576 CPUtime=1122.32
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 384994 0 0 0 111843 389 0 0 25 0 1 0 25509610 300621824 69916 4089446400 4194304 10345943 140733349210672 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 73394 69916 801 1502 0 71887 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 293576

[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.42 3/179 23393
/proc/meminfo: memFree=28896212/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=296660 CPUtime=1182.32
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 387992 0 0 0 117824 408 0 0 25 0 1 0 25509610 303779840 70537 4089446400 4194304 10345943 140733349210672 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 74165 70537 801 1502 0 72658 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 296660

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/179 23395
/proc/meminfo: memFree=28891708/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=299772 CPUtime=1242.32
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 391776 0 0 0 123805 427 0 0 25 0 1 0 25509610 306966528 71379 4089446400 4194304 10345943 140733349210672 18446744073709551615 6003207 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 74943 71379 801 1502 0 73436 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 299772

[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/179 23397
/proc/meminfo: memFree=28885584/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=305640 CPUtime=1302.32
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 393436 0 0 0 129788 444 0 0 25 0 1 0 25509610 312975360 72859 4089446400 4194304 10345943 140733349210672 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 76410 72859 801 1502 0 74903 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 305640

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 23398
/proc/meminfo: memFree=28881716/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=309112 CPUtime=1362.33
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 394609 0 0 0 135774 459 0 0 25 0 1 0 25509610 316530688 73894 4089446400 4194304 10345943 140733349210672 18446744073709551615 5085385 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 77278 73894 801 1502 0 75771 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 309112

[startup+1422.31 s]
/proc/loadavg: 2.08 1.99 1.55 3/179 23400
/proc/meminfo: memFree=28877336/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=314620 CPUtime=1422.33
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 396114 0 0 0 141760 473 0 0 25 0 1 0 25509610 322170880 74930 4089446400 4194304 10345943 140733349210672 18446744073709551615 5614764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 78655 74930 801 1502 0 77148 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 314620

[startup+1482.3 s]
/proc/loadavg: 2.03 1.99 1.57 3/179 23401
/proc/meminfo: memFree=28871972/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=317360 CPUtime=1482.33
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 397926 0 0 0 147745 488 0 0 25 0 1 0 25509610 324976640 75882 4089446400 4194304 10345943 140733349210672 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 79340 75882 801 1502 0 77833 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 317360

[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.59 3/179 23403
/proc/meminfo: memFree=28868092/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=322992 CPUtime=1542.32
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 399262 0 0 0 153731 501 0 0 25 0 1 0 25509610 330743808 76886 4089446400 4194304 10345943 140733349210672 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 80748 76886 801 1502 0 79241 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 322992

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/179 23405
/proc/meminfo: memFree=28863080/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=325696 CPUtime=1602.33
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 400691 0 0 0 159716 517 0 0 25 0 1 0 25509610 333512704 77923 4089446400 4194304 10345943 140733349210672 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 81424 77923 801 1502 0 79917 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 325696

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/179 23406
/proc/meminfo: memFree=28857452/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=330556 CPUtime=1662.34
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 402080 0 0 0 165701 533 0 0 25 0 1 0 25509610 338489344 78941 4089446400 4194304 10345943 140733349210672 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 82639 78941 801 1502 0 81132 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 330556

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/179 23408
/proc/meminfo: memFree=28854072/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=332832 CPUtime=1722.33
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 407179 0 0 0 171686 547 0 0 25 0 1 0 25509610 340819968 79595 4089446400 4194304 10345943 140733349210672 18446744073709551615 6068911 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 83208 79595 801 1502 0 81701 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 332832

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/179 23409
/proc/meminfo: memFree=28850052/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=334840 CPUtime=1782.33
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 407811 0 0 0 177669 564 0 0 25 0 1 0 25509610 342876160 80225 4089446400 4194304 10345943 140733349210672 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 83710 80225 801 1502 0 82203 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 334840

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

[startup+1785.5 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 23409
/proc/meminfo: memFree=28849928/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=335320 CPUtime=1785.53
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 407853 0 0 0 177988 565 0 0 25 0 1 0 25509610 343367680 80206 4089446400 4194304 10345943 140733349210672 18446744073709551615 4706422 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 83830 80206 801 1502 0 82323 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 335320

[startup+1788.7 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 23409
/proc/meminfo: memFree=28849064/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=336964 CPUtime=1788.73
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 407948 0 0 0 178308 565 0 0 25 0 1 0 25509610 345051136 80301 4089446400 4194304 10345943 140733349210672 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 84241 80301 801 1502 0 82734 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 336964

[startup+1789.5 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 23409
/proc/meminfo: memFree=28849064/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=336964 CPUtime=1789.53
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 407968 0 0 0 178387 566 0 0 25 0 1 0 25509610 345051136 80321 4089446400 4194304 10345943 140733349210672 18446744073709551615 4968402 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 84241 80321 801 1502 0 82734 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 336964

[startup+1789.9 s]
/proc/loadavg: 2.00 1.99 1.68 2/174 23426
/proc/meminfo: memFree=28975212/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=336964 CPUtime=1789.93
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 407970 0 0 0 178427 566 0 0 25 0 1 0 25509610 345051136 80323 4089446400 4194304 10345943 140733349210672 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23358/statm: 84241 80323 801 1502 0 82734 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 336964

[startup+1790.1 s]
/proc/loadavg: 2.00 1.99 1.68 2/174 23426
/proc/meminfo: memFree=28975212/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=336964 CPUtime=1790.13
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 407972 0 0 0 178447 566 0 0 25 0 1 0 25509610 345051136 80325 4089446400 4194304 10345943 140733349210672 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23358/statm: 84241 80325 802 1502 0 82734 0
Current children cumulated CPU time (s) 1790.13
Current children cumulated vsize (KiB) 336964

[startup+1790.2 s]
/proc/loadavg: 2.00 1.99 1.68 2/174 23426
/proc/meminfo: memFree=28975212/32950940 swapFree=67111528/67111528
[pid=23358] ppid=23356 vsize=320568 CPUtime=1790.24
/proc/23358/stat : 23358 (pbscip.linux.x8) R 23356 23358 23222 0 -1 4202496 407972 0 0 0 178457 567 0 0 25 0 1 0 25509610 328261632 56005 4089446400 4194304 10345943 140733349210672 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23358/statm: 80142 56005 802 1502 0 78635 0
Current children cumulated CPU time (s) 1790.24
Current children cumulated vsize (KiB) 320568

Child status: 0
Real time (s): 1790.21
CPU time (s): 1790.25
CPU user time (s): 1784.57
CPU system time (s): 5.68114
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 336964

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

runsolver used 2.49362 second user time and 5.67614 second system time

The end

Launcher Data 

Begin job on node117 at 2010-07-08 09:09:15
IDJOB=2705527
IDBENCH=78906
IDSOLVER=1214
FILE ID=node117/2705527-1278572955
PBS_JOBID= 11240219
Free space on /tmp= 73520 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705527-1278572955/watcher-2705527-1278572955 -o /tmp/evaluation-result-2705527-1278572955/solver-2705527-1278572955 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705527-1278572955.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6f14288bb7c1e317bfd5e53473571ca7
RANDOM SEED=970932403

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      29248676 kB
Buffers:        164272 kB
Cached:        3263872 kB
SwapCached:          0 kB
Active:        1543676 kB
Inactive:      1980720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      29248676 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25832 kB
Writeback:           0 kB
AnonPages:       95700 kB
Mapped:          17552 kB
Slab:           114356 kB
PageTables:       4768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   244348 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= 73520 MiB
End job on node117 at 2010-07-08 09:39:06