Trace number 2705014

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo
MD5SUMd8302a34385139d2b71dca1f77dee50d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark510.762
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 constraints1802
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 91108
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91107
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 739
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-2705014-1278574752.wbo>
0.00/0.03	c original problem has 3835 variables (2033 bin, 0 int, 1802 impl, 0 cont) and 4510 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.04	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, 148 impls, 9 clqs
0.04/0.08	c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.04/0.09	c (round 3) 53 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.04/0.10	c (round 4) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 148 impls, 9 clqs
0.09/0.10	c (round 5) 122 del vars, 168 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 148 impls, 9 clqs
0.09/0.15	c    (0.1s) probing: 101/1972 (5.1%) - 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  122 deleted vars, 168 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.15	c  3616 implications, 9 cliques
0.09/0.15	c presolved problem has 3713 variables (1972 bin, 0 int, 1741 impl, 0 cont) and 4342 constraints
0.09/0.15	c      55 constraints of type <setppc>
0.09/0.15	c    1741 constraints of type <linear>
0.09/0.15	c    1741 constraints of type <indicator>
0.09/0.15	c     805 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.15	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 |    15 |     - |  14M|   0 |   7 |3713 |4342 |3713 | 860 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    73 |     - |  14M|   0 |  31 |3713 |4342 |3713 | 875 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   120 |     - |  14M|   0 |  16 |3713 |4342 |3713 | 892 |  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   166 |     - |  14M|   0 |  21 |3713 |4342 |3713 | 903 |  43 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.38	c   0.4s|     1 |     0 |   252 |     - |  14M|   0 |  43 |3713 |4342 |3713 | 908 |  48 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.40/0.45	c   0.4s|     1 |     0 |   291 |     - |  14M|   0 |  27 |3713 |4342 |3713 | 919 |  59 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   324 |     - |  14M|   0 |  31 |3713 |4342 |3713 | 927 |  67 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.56	c   0.5s|     1 |     0 |   386 |     - |  14M|   0 |  45 |3713 |4342 |3713 | 928 |  68 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.76	c   0.7s|     1 |     2 |   386 |     - |  14M|   0 |  45 |3713 |4342 |3713 | 928 |  68 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
4.50/4.57	o 87754
4.50/4.57	c y 4.5s|    82 |    81 |  3717 |  41.1 |  15M|  24 |   - |3713 |4342 |   0 |   0 | 305 |   0 | 809 | 0.000000e+00 | 8.775400e+04 |    Inf 
18.30/18.37	c  18.3s| 10000 |  9997 | 15544 |   1.5 |  35M|1203 |   0 |3713 |4349 |3713 | 952 |2414 |   7 |1423 | 0.000000e+00 | 8.775400e+04 |    Inf 
29.60/29.69	c  29.7s| 20000 | 19995 | 17812 |   0.9 |  52M|1203 |   0 |3713 |4350 |3713 |1017 |2839 |   8 |1447 | 0.000000e+00 | 8.775400e+04 |    Inf 
41.49/41.57	c  41.5s| 30000 | 29987 | 22980 |   0.8 |  69M|1203 |   0 |3713 |4358 |3713 | 961 |3582 |  16 |1505 | 0.000000e+00 | 8.775400e+04 |    Inf 
41.99/42.01	o 875
41.99/42.01	c *42.0s| 30420 | 28929 | 22985 |   0.7 |  68M|1203 |   - |3713 |4358 |3713 | 961 |3582 |  16 |1505 | 0.000000e+00 | 8.750000e+02 |    Inf 
53.39/53.47	c  53.4s| 40000 | 38419 | 27734 |   0.7 |  84M|1203 |   0 |3713 |4445 |3713 | 965 |4200 | 103 |1552 | 0.000000e+00 | 8.750000e+02 |    Inf 
65.29/65.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
65.29/65.36	c  65.3s| 50000 | 48413 | 31094 |   0.6 | 100M|1203 |   0 |3713 |4455 |3713 | 991 |4762 | 113 |1574 | 0.000000e+00 | 8.750000e+02 |    Inf 
76.80/76.88	c  76.9s| 60000 | 58411 | 32230 |   0.5 | 117M|1203 |   0 |3713 |4458 |3713 | 966 |4906 | 116 |1578 | 0.000000e+00 | 8.750000e+02 |    Inf 
78.60/78.68	o 795
78.60/78.68	c *78.7s| 61431 | 58531 | 33036 |   0.5 | 117M|1203 |   - |3713 |4458 |3713 | 971 |4979 | 116 |1580 | 0.000000e+00 | 7.950000e+02 |    Inf 
78.70/78.79	o 792
78.70/78.79	c *78.8s| 61511 | 58544 | 33082 |   0.5 | 118M|1203 |   - |3713 |4463 |3713 | 969 |4980 | 121 |1581 | 0.000000e+00 | 7.920000e+02 |    Inf 
89.10/89.11	c  89.1s| 70000 | 67012 | 34543 |   0.5 | 132M|1203 |   0 |3713 |4508 |3713 | 981 |5175 | 167 |1585 | 0.000000e+00 | 7.920000e+02 |    Inf 
98.29/98.30	o 565
98.29/98.30	c *98.3s| 77512 | 68119 | 36202 |   0.5 | 134M|1203 |   - |3713 |4508 |3713 | 966 |5440 | 173 |1588 | 0.000000e+00 | 5.650000e+02 |    Inf 
98.29/98.38	o 528
98.29/98.38	c *98.3s| 77553 | 66460 | 36299 |   0.5 | 131M|1203 |   - |3713 |4519 |3713 | 969 |5446 | 184 |1588 | 0.000000e+00 | 5.280000e+02 |    Inf 
98.59/98.70	o 511
98.59/98.70	c *98.7s| 77764 | 65851 | 36397 |   0.5 | 130M|1203 |   - |3713 |4537 |3713 | 969 |5455 | 202 |1588 | 0.000000e+00 | 5.110000e+02 |    Inf 
99.70/99.71	o 492
99.70/99.71	c *99.7s| 78431 | 65393 | 37291 |   0.5 | 130M|1203 |   - |3713 |4854 |3713 | 993 |5559 | 519 |1593 | 0.000000e+00 | 4.920000e+02 |    Inf 
99.80/99.86	o 459
99.80/99.86	c *99.8s| 78502 | 63803 | 37509 |   0.5 | 128M|1203 |   - |3713 |4900 |3713 | 966 |5600 | 566 |1596 | 0.000000e+00 | 4.590000e+02 |    Inf 
100.10/100.11	o 436
100.10/100.11	c * 100s| 78633 | 62821 | 37777 |   0.5 | 126M|1203 |   - |3713 |5031 |3713 | 966 |5621 | 702 |1596 | 0.000000e+00 | 4.360000e+02 |    Inf 
100.30/100.36	o 403
100.30/100.36	c * 100s| 78783 | 60764 | 37967 |   0.5 | 123M|1203 |   - |3713 |5081 |3713 | 967 |5656 | 754 |1596 | 0.000000e+00 | 4.030000e+02 |    Inf 
100.40/100.44	o 360
100.40/100.44	c * 100s| 78836 | 57024 | 38046 |   0.5 | 117M|1203 |   - |3713 |5102 |3713 | 967 |5657 | 777 |1596 | 0.000000e+00 | 3.600000e+02 |    Inf 
102.30/102.35	c   102s| 80000 | 57932 | 40090 |   0.5 | 120M|1203 |   4 |3713 |5540 |3713 | 957 |5993 |1282 |1599 | 0.000000e+00 | 3.600000e+02 |    Inf 
102.40/102.43	o 335
102.40/102.43	c * 102s| 80055 | 55157 | 40138 |   0.5 | 115M|1203 |   - |3713 |5569 |3713 | 958 |5994 |1311 |1599 | 0.000000e+00 | 3.350000e+02 |    Inf 
103.30/103.38	o 323
103.30/103.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
103.30/103.38	c * 103s| 80513 | 54046 | 42520 |   0.5 | 114M|1203 |   - |3713 |5810 |3713 | 984 |6332 |1576 |1603 | 0.000000e+00 | 3.230000e+02 |    Inf 
103.30/103.38	o 303
103.30/103.38	c * 103s| 80514 | 51764 | 42535 |   0.5 | 110M|1203 |   - |3713 |5810 |3713 | 984 |6332 |1576 |1603 | 0.000000e+00 | 3.030000e+02 |    Inf 
104.19/104.23	o 299
104.19/104.23	c * 104s| 80916 | 51572 | 44520 |   0.5 | 110M|1203 |   - |3713 |6105 |3713 | 974 |6515 |1888 |1607 | 0.000000e+00 | 2.990000e+02 |    Inf 
105.09/105.18	o 296
105.09/105.18	c * 105s| 81397 | 51528 | 46860 |   0.6 | 111M|1203 |   - |3713 |6487 |3713 | 963 |6814 |2300 |1610 | 0.000000e+00 | 2.960000e+02 |    Inf 
107.19/107.26	o 289
107.19/107.26	c * 107s| 82373 | 51287 | 51204 |   0.6 | 112M|1203 |   - |3713 |7080 |3713 |1001 |7470 |3032 |1641 | 0.000000e+00 | 2.890000e+02 |    Inf 
107.19/107.27	o 288
107.19/107.27	c * 107s| 82375 | 51136 | 51267 |   0.6 | 112M|1203 |   - |3713 |7080 |3713 |1001 |7470 |3032 |1641 | 0.000000e+00 | 2.880000e+02 |    Inf 
107.19/107.28	o 277
107.19/107.28	c * 107s| 82376 | 49518 | 51281 |   0.6 | 110M|1203 |   - |3713 |7080 |3713 |1001 |7470 |3032 |1641 | 0.000000e+00 | 2.770000e+02 |    Inf 
110.69/110.73	o 275
110.69/110.73	c * 111s| 83948 | 50033 | 61261 |   0.7 | 113M|1203 |   - |3713 |7806 |3713 |1021 |8495 |4126 |1670 | 0.000000e+00 | 2.750000e+02 |    Inf 
110.69/110.74	o 274
110.69/110.74	c * 111s| 83949 | 49858 | 61261 |   0.7 | 113M|1203 |   - |3713 |7806 |3713 |1021 |8495 |4126 |1670 | 0.000000e+00 | 2.740000e+02 |    Inf 
110.89/110.96	o 248
110.89/110.96	c * 111s| 84029 | 44774 | 62329 |   0.7 | 104M|1203 |   - |3713 |7844 |3713 | 991 |8615 |4183 |1671 | 0.000000e+00 | 2.480000e+02 |    Inf 
113.09/113.19	o 223
113.09/113.19	c * 113s| 85076 | 40061 | 68480 |   0.8 |  97M|1203 |   - |3713 |8469 |3713 | 966 |9189 |5132 |1676 | 0.000000e+00 | 2.230000e+02 |    Inf 
113.30/113.35	o 208
113.30/113.35	c * 113s| 85151 | 36939 | 68636 |   0.8 |  92M|1203 |   - |3713 |8553 |3713 | 972 |9202 |5243 |1676 | 0.000000e+00 | 2.080000e+02 |    Inf 
113.30/113.37	o 205
113.30/113.37	c * 113s| 85155 | 36311 | 68651 |   0.8 |  91M|1203 |   - |3713 |8558 |3713 | 972 |9202 |5248 |1676 | 0.000000e+00 | 2.050000e+02 |    Inf 
113.30/113.38	o 203
113.30/113.38	c * 113s| 85156 | 35883 | 68658 |   0.8 |  90M|1203 |   - |3713 |8558 |3713 | 972 |9202 |5248 |1676 | 0.000000e+00 | 2.030000e+02 |    Inf 
113.89/113.97	o 168
113.89/113.97	c * 114s| 85470 | 28653 | 69335 |   0.8 |  77M|1203 |   - |3713 |8550 |3713 | 963 |9282 |5387 |1676 | 0.000000e+00 | 1.680000e+02 |    Inf 
116.19/116.29	o 161
116.19/116.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
116.19/116.29	c * 116s| 86439 | 27663 | 74553 |   0.9 |  78M|1203 |   - |3713 |8820 |3713 | 952 |9887 |6319 |1679 | 0.000000e+00 | 1.610000e+02 |    Inf 
116.30/116.33	o 152
116.30/116.33	c * 116s| 86450 | 25799 | 74655 |   0.9 |  74M|1203 |   - |3713 |8831 |3713 | 956 |9890 |6332 |1679 | 0.000000e+00 | 1.520000e+02 |    Inf 
116.30/116.34	o 147
116.30/116.34	c * 116s| 86451 | 24358 | 74656 |   0.9 |  71M|1203 |   - |3713 |8829 |3713 | 956 |9890 |6332 |1679 | 0.000000e+00 | 1.470000e+02 |    Inf 
117.50/117.56	o 145
117.50/117.56	c * 118s| 86959 | 24066 | 76600 |   0.9 |  72M|1203 |   - |3713 |8928 |3713 | 945 |  10k|6853 |1680 | 0.000000e+00 | 1.450000e+02 |    Inf 
118.19/118.23	o 139
118.19/118.23	c * 118s| 87240 | 22637 | 77627 |   0.9 |  71M|1203 |   - |3713 |8954 |3713 | 935 |  10k|7176 |1680 | 0.000000e+00 | 1.390000e+02 |    Inf 
118.19/118.24	o 133
118.19/118.24	c * 118s| 87241 | 21131 | 77645 |   0.9 |  68M|1203 |   - |3713 |8954 |3713 | 935 |  10k|7176 |1680 | 0.000000e+00 | 1.330000e+02 |    Inf 
118.90/118.98	o 132
118.90/118.98	c * 119s| 87528 | 20966 | 79246 |   0.9 |  68M|1203 |   - |3713 |8939 |3713 | 966 |  10k|7430 |1681 | 0.000000e+00 | 1.320000e+02 |    Inf 
121.90/121.90	o 127
121.90/121.90	c * 122s| 88653 | 20044 | 84558 |   0.9 |  69M|1203 |   - |3713 |8735 |3713 | 953 |  10k|8769 |1684 | 0.000000e+00 | 1.270000e+02 |    Inf 
121.90/121.99	o 125
121.90/121.99	c * 122s| 88683 | 19548 | 84820 |   1.0 |  69M|1203 |   - |3713 |8718 |3713 | 962 |  10k|8810 |1684 | 0.000000e+00 | 1.250000e+02 |    Inf 
123.30/123.37	o 102
123.30/123.37	c * 123s| 89146 | 14471 | 87478 |   1.0 |  60M|1203 |   - |3713 |8662 |3713 | 959 |  11k|9294 |1684 | 0.000000e+00 | 1.020000e+02 |    Inf 
125.59/125.66	c   126s| 90000 | 14652 | 92166 |   1.0 |  63M|1203 |   - |3713 |8162 |   0 |   0 |  11k|  10k|1685 | 0.000000e+00 | 1.020000e+02 |    Inf 
126.29/126.39	o 91
126.29/126.39	c * 126s| 90281 | 12125 | 93528 |   1.0 |  59M|1203 |   - |3713 |8013 |3713 | 963 |  11k|  10k|1685 | 0.000000e+00 | 9.100000e+01 |    Inf 
126.79/126.81	o 66
126.79/126.81	c * 127s| 90420 |  7459 | 94291 |   1.0 |  50M|1203 |   - |3713 |7728 |3713 | 945 |  11k|  10k|1685 | 0.000000e+00 | 6.600000e+01 |    Inf 
126.79/126.86	o 50
126.79/126.86	c * 127s| 90426 |  3274 | 94397 |   1.0 |  34M|1203 |   - |3713 |7204 |3713 | 941 |  11k|  10k|1685 | 0.000000e+00 | 5.000000e+01 |    Inf 
144.39/144.43	c   144s|100000 |  3292 |131813 |   1.3 |  38M|1203 |   - |3713 |8135 |   0 |   0 |  13k|  21k|1689 | 0.000000e+00 | 5.000000e+01 |    Inf 
162.60/162.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
162.60/162.64	c   163s|110000 |  3328 |167332 |   1.5 |  42M|1203 |   1 |3713 |8669 |3713 | 966 |  16k|  33k|1689 | 0.000000e+00 | 5.000000e+01 |    Inf 
169.80/169.82	o 40
169.80/169.82	c * 170s|113931 |  2858 |178984 |   1.6 |  43M|1203 |   - |3713 |9036 |3713 | 970 |  17k|  38k|1689 | 0.000000e+00 | 4.000000e+01 |    Inf 
169.90/169.91	o 39
169.90/169.91	c * 170s|113978 |  2832 |179092 |   1.6 |  42M|1203 |   - |3713 |8462 |3713 | 971 |  17k|  38k|1689 | 0.000000e+00 | 3.900000e+01 |    Inf 
170.29/170.30	o 33
170.29/170.30	c * 170s|114203 |  2589 |179763 |   1.6 |  41M|1203 |   - |3713 |8126 |3713 | 979 |  17k|  38k|1689 | 0.000000e+00 | 3.300000e+01 |    Inf 
179.80/179.84	c   180s|120000 |  2667 |200079 |   1.7 |  43M|1203 |   - |3713 |8244 |   0 |   0 |  18k|  45k|1689 | 0.000000e+00 | 3.300000e+01 |    Inf 
196.10/196.13	c   196s|130000 |  2888 |233441 |   1.8 |  47M|1203 |   - |3713 |8934 |   0 |   0 |  20k|  58k|1689 | 0.000000e+00 | 3.300000e+01 |    Inf 
212.70/212.74	c   213s|140000 |  2941 |266595 |   1.9 |  51M|1203 |   1 |3713 |9958 |3713 | 956 |  22k|  71k|1689 | 0.000000e+00 | 3.300000e+01 |    Inf 
229.39/229.42	c   229s|150000 |  2865 |304345 |   2.0 |  52M|1203 |   5 |3713 |8413 |3713 | 925 |  24k|  83k|1716 | 0.000000e+00 | 3.300000e+01 |    Inf 
246.80/246.85	c   247s|160000 |  2950 |347362 |   2.2 |  57M|1203 |   1 |3713 |9919 |3713 | 970 |  26k|  95k|1765 | 0.000000e+00 | 3.300000e+01 |    Inf 
264.30/264.31	c   264s|170000 |  2935 |388736 |   2.3 |  59M|1203 |  22 |3713 |8893 |3713 | 973 |  28k| 108k|1855 | 0.000000e+00 | 3.300000e+01 |    Inf 
281.30/281.38	c   281s|180000 |  3076 |424849 |   2.4 |  63M|1203 |   1 |3713 |  10k|3713 | 973 |  30k| 121k|1936 | 0.000000e+00 | 3.300000e+01 |    Inf 
299.00/299.06	c   299s|190000 |  3140 |463268 |   2.4 |  65M|1203 |   - |3713 |8994 |   0 |   0 |  32k| 133k|1990 | 0.000000e+00 | 3.300000e+01 |    Inf 
316.81/316.83	c   317s|200000 |  3148 |502655 |   2.5 |  67M|1203 |   1 |3713 |9941 |3713 | 925 |  34k| 145k|2102 | 0.000000e+00 | 3.300000e+01 |    Inf 
334.31/334.40	c   334s|210000 |  3201 |535640 |   2.5 |  70M|1203 |   3 |3713 |  11k|3713 | 937 |  36k| 158k|2169 | 0.000000e+00 | 3.300000e+01 |    Inf 
352.31/352.36	c   352s|220000 |  3235 |572226 |   2.6 |  73M|1203 |   - |3713 |  12k|   0 |   0 |  38k| 170k|2220 | 0.000000e+00 | 3.300000e+01 |    Inf 
371.20/371.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
371.20/371.20	c   371s|230000 |  3330 |617542 |   2.7 |  76M|1203 |   1 |3713 |  12k|3713 | 958 |  40k| 182k|2333 | 0.000000e+00 | 3.300000e+01 |    Inf 
388.80/388.84	c   389s|240000 |  3573 |656867 |   2.7 |  81M|1203 |   - |3713 |  11k|   0 |   0 |  43k| 195k|2414 | 0.000000e+00 | 3.300000e+01 |    Inf 
407.20/407.28	c   407s|250000 |  3805 |697578 |   2.8 |  86M|1203 |  16 |3713 |  10k|3713 | 941 |  45k| 208k|2532 | 0.000000e+00 | 3.300000e+01 |    Inf 
425.01/425.08	c   425s|260000 |  3961 |742362 |   2.9 |  91M|1203 |   1 |3713 |9756 |3713 | 958 |  47k| 221k|2613 | 0.000000e+00 | 3.300000e+01 |    Inf 
442.91/442.98	c   443s|270000 |  4172 |779895 |   2.9 |  96M|1203 |   1 |3713 |  12k|3713 | 966 |  49k| 234k|2665 | 0.000000e+00 | 3.300000e+01 |    Inf 
456.80/456.87	o 26
456.80/456.87	c * 457s|277519 |  3618 |807173 |   2.9 |  84M|1203 |   - |3713 |  14k|3713 | 945 |  50k| 245k|2705 | 0.000000e+00 | 2.600000e+01 |    Inf 
461.71/461.71	c   462s|280000 |  3685 |820171 |   2.9 |  84M|1203 |   - |3713 |  12k|   0 |   0 |  51k| 248k|2751 | 0.000000e+00 | 2.600000e+01 |    Inf 
480.00/480.03	c   480s|290000 |  3867 |871811 |   3.0 |  88M|1203 |   - |3713 |9243 |   0 |   0 |  54k| 261k|2800 | 0.000000e+00 | 2.600000e+01 |    Inf 
497.21/497.25	c   497s|300000 |  3943 |917174 |   3.1 |  92M|1203 |   - |3713 |  12k|   0 |   0 |  56k| 274k|2930 | 0.000000e+00 | 2.600000e+01 |    Inf 
498.81/498.87	o 24
498.81/498.87	c * 499s|300953 |  3798 |920656 |   3.1 |  88M|1203 |   - |3713 |  12k|3713 | 961 |  56k| 275k|2954 | 0.000000e+00 | 2.400000e+01 |    Inf 
500.81/500.87	o 23
500.81/500.87	c * 501s|302022 |  3748 |924884 |   3.1 |  86M|1203 |   - |3713 |  10k|3713 | 951 |  56k| 277k|2973 | 0.000000e+00 | 2.300000e+01 |    Inf 
514.10/514.12	c   514s|310000 |  3882 |957022 |   3.1 |  89M|1203 |  10 |3713 |  10k|3713 | 944 |  58k| 287k|3021 | 0.000000e+00 | 2.300000e+01 |    Inf 
530.71/530.71	c   531s|320000 |  3896 |997716 |   3.1 |  90M|1203 |   - |3713 |9165 |   0 |   0 |  60k| 300k|3113 | 0.000000e+00 | 2.300000e+01 |    Inf 
547.51/547.54	c   548s|330000 |  4015 |  1044k|   3.2 |  93M|1203 |   1 |3713 |  10k|3713 | 951 |  62k| 312k|3183 | 0.000000e+00 | 2.300000e+01 |    Inf 
565.31/565.31	c   565s|340000 |  4135 |  1097k|   3.2 |  96M|1203 |   - |3713 |  11k|   0 |   0 |  64k| 325k|3259 | 0.000000e+00 | 2.300000e+01 |    Inf 
583.71/583.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
583.71/583.77	c   584s|350000 |  4136 |  1150k|   3.3 |  98M|1203 |   1 |3713 |  12k|3713 | 958 |  66k| 338k|3347 | 0.000000e+00 | 2.300000e+01 |    Inf 
587.21/587.26	o 21
587.21/587.26	c * 587s|352052 |  4092 |  1159k|   3.3 |  97M|1203 |   - |3713 |  13k|3713 | 957 |  66k| 341k|3347 | 0.000000e+00 | 2.100000e+01 |    Inf 
601.40/601.44	c   601s|360000 |  4005 |  1196k|   3.3 |  96M|1203 |   1 |3713 |9246 |3713 | 948 |  68k| 351k|3463 | 0.000000e+00 | 2.100000e+01 |    Inf 
605.41/605.46	o 19
605.41/605.46	c * 605s|362320 |  3835 |  1209k|   3.3 |  90M|1203 |   - |3713 |  10k|3713 | 988 |  68k| 354k|3463 | 0.000000e+00 | 1.900000e+01 |    Inf 
618.71/618.77	c   619s|370000 |  3787 |  1251k|   3.4 |  90M|1203 |   9 |3713 |7741 |3713 | 955 |  70k| 364k|3571 | 0.000000e+00 | 1.900000e+01 |    Inf 
635.21/635.21	c   635s|380000 |  3752 |  1296k|   3.4 |  91M|1203 |  27 |3713 |8698 |3713 | 951 |  72k| 377k|3646 | 0.000000e+00 | 1.900000e+01 |    Inf 
652.32/652.31	c   652s|390000 |  3835 |  1351k|   3.5 |  93M|1203 |   1 |3713 |  10k|3713 | 933 |  74k| 388k|3748 | 0.000000e+00 | 1.900000e+01 |    Inf 
669.61/669.65	c   670s|400000 |  3775 |  1400k|   3.5 |  93M|1203 |   1 |3713 |9778 |3713 | 940 |  77k| 401k|3833 | 0.000000e+00 | 1.900000e+01 |    Inf 
687.61/687.64	c   688s|410000 |  3808 |  1455k|   3.5 |  95M|1203 |  12 |3713 |  12k|3713 | 960 |  79k| 414k|3921 | 0.000000e+00 | 1.900000e+01 |    Inf 
705.31/705.32	c   705s|420000 |  3972 |  1505k|   3.6 |  99M|1203 |  11 |3713 |  14k|3713 | 948 |  81k| 427k|4010 | 0.000000e+00 | 1.900000e+01 |    Inf 
724.41/724.43	c   724s|430000 |  4175 |  1562k|   3.6 | 103M|1203 |   - |3713 |  14k|   0 |   0 |  83k| 441k|4086 | 0.000000e+00 | 1.900000e+01 |    Inf 
742.01/742.05	o 17
742.01/742.05	c * 742s|439433 |  3961 |  1613k|   3.7 | 100M|1203 |   - |3713 |  12k|3713 | 963 |  85k| 454k|4150 | 0.000000e+00 | 1.700000e+01 |    Inf 
743.21/743.21	c   743s|440000 |  3902 |  1617k|   3.7 |  99M|1203 |   - |3713 |  11k|   0 |   0 |  85k| 455k|4150 | 0.000000e+00 | 1.700000e+01 |    Inf 
760.32/760.36	c   760s|450000 |  3940 |  1663k|   3.7 | 100M|1203 |   - |3713 |  15k|   0 |   0 |  87k| 468k|4199 | 0.000000e+00 | 1.700000e+01 |    Inf 
777.82/777.81	c   778s|460000 |  3938 |  1708k|   3.7 | 101M|1203 |   - |3713 |  14k|   0 |   0 |  90k| 482k|4253 | 0.000000e+00 | 1.700000e+01 |    Inf 
795.22/795.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
795.22/795.22	c   795s|470000 |  3995 |  1756k|   3.7 | 103M|1203 |   1 |3713 |  15k|3713 | 949 |  92k| 496k|4323 | 0.000000e+00 | 1.700000e+01 |    Inf 
813.02/813.03	c   813s|480000 |  4039 |  1803k|   3.8 | 104M|1203 |   - |3713 |  15k|   0 |   0 |  95k| 510k|4391 | 0.000000e+00 | 1.700000e+01 |    Inf 
830.91/830.94	c   831s|490000 |  4181 |  1852k|   3.8 | 106M|1203 |   1 |3713 |  17k|3713 | 945 |  98k| 523k|4464 | 0.000000e+00 | 1.700000e+01 |    Inf 
849.23/849.24	c   849s|500000 |  4238 |  1899k|   3.8 | 107M|1203 |  11 |3713 |  15k|3713 | 946 | 100k| 537k|4530 | 0.000000e+00 | 1.700000e+01 |    Inf 
866.83/866.83	c   867s|510000 |  4325 |  1946k|   3.8 | 109M|1203 |   - |3713 |  16k|   0 |   0 | 102k| 550k|4578 | 0.000000e+00 | 1.700000e+01 |    Inf 
885.52/885.51	c   885s|520000 |  4377 |  1991k|   3.8 | 110M|1203 |   - |3713 |  14k|   0 |   0 | 105k| 564k|4625 | 0.000000e+00 | 1.700000e+01 |    Inf 
903.22/903.24	c   903s|530000 |  4472 |  2035k|   3.8 | 112M|1203 |   1 |3713 |  15k|3713 | 963 | 107k| 579k|4661 | 0.000000e+00 | 1.700000e+01 |    Inf 
920.63/920.62	c   921s|540000 |  4510 |  2082k|   3.9 | 113M|1203 |   1 |3713 |  14k|3713 | 943 | 109k| 593k|4715 | 0.000000e+00 | 1.700000e+01 |    Inf 
938.02/938.00	c   938s|550000 |  4579 |  2128k|   3.9 | 115M|1203 |   1 |3713 |  16k|3713 | 953 | 112k| 607k|4757 | 0.000000e+00 | 1.700000e+01 |    Inf 
956.53/956.51	c   956s|560000 |  4615 |  2174k|   3.9 | 117M|1203 |  13 |3713 |  17k|3713 | 965 | 114k| 621k|4802 | 0.000000e+00 | 1.700000e+01 |    Inf 
974.72/974.77	c   975s|570000 |  4632 |  2220k|   3.9 | 118M|1203 |   1 |3713 |  18k|3713 | 937 | 116k| 635k|4861 | 0.000000e+00 | 1.700000e+01 |    Inf 
993.43/993.49	c   993s|580000 |  4706 |  2265k|   3.9 | 120M|1203 |   - |3713 |  21k|   0 |   0 | 118k| 650k|4909 | 0.000000e+00 | 1.700000e+01 |    Inf 
1012.53/1012.57	c  1013s|590000 |  4734 |  2307k|   3.9 | 120M|1203 |   6 |3713 |  20k|3713 | 935 | 120k| 664k|4961 | 0.000000e+00 | 1.700000e+01 |    Inf 
1031.93/1031.93	c  1032s|600000 |  4834 |  2349k|   3.9 | 122M|1203 |  18 |3713 |  22k|3713 | 953 | 122k| 678k|5012 | 0.000000e+00 | 1.700000e+01 |    Inf 
1052.42/1052.42	c  1052s|610000 |  4904 |  2396k|   3.9 | 123M|1203 |   1 |3713 |  21k|3713 | 945 | 125k| 691k|5069 | 0.000000e+00 | 1.700000e+01 |    Inf 
1072.72/1072.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1072.72/1072.76	c  1073s|620000 |  5042 |  2445k|   3.9 | 124M|1203 |   - |3713 |  21k|   0 |   0 | 127k| 705k|5122 | 0.000000e+00 | 1.700000e+01 |    Inf 
1093.52/1093.53	c  1093s|630000 |  5164 |  2496k|   4.0 | 126M|1203 |   - |3713 |  21k|3713 | 943 | 130k| 719k|5177 | 0.000000e+00 | 1.700000e+01 |    Inf 
1113.62/1113.68	c  1114s|640000 |  5377 |  2549k|   4.0 | 128M|1203 |  13 |3713 |  21k|3713 | 956 | 133k| 733k|5231 | 0.000000e+00 | 1.700000e+01 |    Inf 
1125.43/1125.42	o 15
1125.43/1125.42	c *1125s|646070 |  4605 |  2578k|   4.0 | 108M|1203 |   - |3713 |  21k|3713 | 948 | 134k| 742k|5232 | 0.000000e+00 | 1.500000e+01 |    Inf 
1133.03/1133.06	c  1133s|650000 |  4620 |  2596k|   4.0 | 107M|1203 |   - |3713 |  19k|   0 |   0 | 135k| 747k|5286 | 0.000000e+00 | 1.500000e+01 |    Inf 
1151.23/1151.26	c  1151s|660000 |  4690 |  2640k|   4.0 | 108M|1203 |  16 |3713 |  19k|3713 | 936 | 138k| 761k|5325 | 0.000000e+00 | 1.500000e+01 |    Inf 
1170.03/1170.08	c  1170s|670000 |  4734 |  2690k|   4.0 | 109M|1203 |   - |3713 |  19k|   0 |   0 | 140k| 775k|5371 | 0.000000e+00 | 1.500000e+01 |    Inf 
1189.33/1189.37	c  1189s|680000 |  4769 |  2741k|   4.0 | 110M|1203 |   - |3713 |  20k|   0 |   0 | 143k| 790k|5411 | 0.000000e+00 | 1.500000e+01 |    Inf 
1208.03/1208.06	c  1208s|690000 |  4740 |  2789k|   4.0 | 111M|1203 |   - |3713 |  19k|   0 |   0 | 145k| 804k|5455 | 0.000000e+00 | 1.500000e+01 |    Inf 
1227.73/1227.72	c  1228s|700000 |  4695 |  2840k|   4.1 | 111M|1203 |   - |3713 |  19k|   0 |   0 | 148k| 819k|5517 | 0.000000e+00 | 1.500000e+01 |    Inf 
1246.43/1246.44	c  1246s|710000 |  4539 |  2890k|   4.1 | 109M|1203 |   - |3713 |  17k|   0 |   0 | 150k| 834k|5590 | 0.000000e+00 | 1.500000e+01 |    Inf 
1264.03/1264.03	c  1264s|720000 |  4317 |  2938k|   4.1 | 106M|1203 |   - |3713 |  14k|   0 |   0 | 153k| 849k|5663 | 0.000000e+00 | 1.500000e+01 |    Inf 
1281.54/1281.57	c  1282s|730000 |  4263 |  2986k|   4.1 | 107M|1203 |   - |3713 |  16k|   0 |   0 | 156k| 863k|5698 | 0.000000e+00 | 1.500000e+01 |    Inf 
1300.03/1300.00	c  1300s|740000 |  4149 |  3033k|   4.1 | 105M|1203 |   - |3713 |  15k|   0 |   0 | 158k| 877k|5726 | 0.000000e+00 | 1.500000e+01 |    Inf 
1317.93/1317.94	c  1318s|750000 |  4051 |  3084k|   4.1 | 104M|1203 |   - |3713 |  16k|   0 |   0 | 161k| 891k|5772 | 0.000000e+00 | 1.500000e+01 |    Inf 
1335.34/1335.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1335.34/1335.30	c  1335s|760000 |  4016 |  3128k|   4.1 | 104M|1203 |  16 |3713 |  17k|3713 | 946 | 163k| 905k|5827 | 0.000000e+00 | 1.500000e+01 |    Inf 
1353.64/1353.64	c  1354s|770000 |  4069 |  3178k|   4.1 | 106M|1203 |   - |3713 |  18k|   0 |   0 | 165k| 919k|5878 | 0.000000e+00 | 1.500000e+01 |    Inf 
1372.63/1372.61	c  1373s|780000 |  4102 |  3224k|   4.1 | 107M|1203 |   1 |3713 |  18k|3713 | 956 | 168k| 934k|5926 | 0.000000e+00 | 1.500000e+01 |    Inf 
1392.53/1392.59	c  1393s|790000 |  4111 |  3279k|   4.2 | 108M|1203 |   1 |3713 |  20k|3713 | 956 | 170k| 948k|5978 | 0.000000e+00 | 1.500000e+01 |    Inf 
1411.43/1411.40	c  1411s|800000 |  3940 |  3327k|   4.2 | 105M|1203 |   - |3713 |  17k|   0 |   0 | 172k| 962k|6014 | 0.000000e+00 | 1.500000e+01 |    Inf 
1429.74/1429.71	c  1430s|810000 |  3751 |  3372k|   4.2 | 102M|1203 |   - |3713 |  16k|   0 |   0 | 175k| 976k|6418 | 0.000000e+00 | 1.500000e+01 |    Inf 
1447.54/1447.60	c  1448s|820000 |  3533 |  3419k|   4.2 |  97M|1203 |   1 |3713 |  13k|3713 | 930 | 177k| 991k|6480 | 0.000000e+00 | 1.500000e+01 |    Inf 
1465.34/1465.37	c  1465s|830000 |  3257 |  3470k|   4.2 |  92M|1203 |   1 |3713 |  10k|3713 | 950 | 180k|1004k|6509 | 0.000000e+00 | 1.500000e+01 |    Inf 
1483.64/1483.69	c  1484s|840000 |  3246 |  3515k|   4.2 |  93M|1203 |  20 |3713 |  11k|3713 | 925 | 182k|1017k|6536 | 0.000000e+00 | 1.500000e+01 |    Inf 
1503.44/1503.40	c  1503s|850000 |  3365 |  3558k|   4.2 |  96M|1203 |   - |3713 |  14k|   0 |   0 | 184k|1030k|6545 | 0.000000e+00 | 1.500000e+01 |    Inf 
1524.44/1524.45	c  1524s|860000 |  3398 |  3599k|   4.2 |  98M|1203 |   - |3713 |  15k|   0 |   0 | 186k|1043k|6588 | 0.000000e+00 | 1.500000e+01 |    Inf 
1545.55/1545.54	c  1546s|870000 |  3402 |  3645k|   4.2 |  99M|1203 |   - |3713 |  16k|   0 |   0 | 189k|1058k|6627 | 0.000000e+00 | 1.500000e+01 |    Inf 
1566.04/1566.09	c  1566s|880000 |  3034 |  3693k|   4.2 |  90M|1203 |  20 |3713 |  12k|3713 | 943 | 191k|1072k|6662 | 0.000000e+00 | 1.500000e+01 |    Inf 
1587.25/1587.23	c  1587s|890000 |  3042 |  3738k|   4.2 |  92M|1203 |   1 |3713 |  14k|3713 | 945 | 193k|1085k|6712 | 0.000000e+00 | 1.500000e+01 |    Inf 
1607.24/1607.20	c  1607s|900000 |  3015 |  3781k|   4.2 |  92M|1203 |   - |3713 |  15k|   0 |   0 | 195k|1098k|6788 | 0.000000e+00 | 1.500000e+01 |    Inf 
1628.44/1628.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1628.44/1628.42	c  1628s|910000 |  3166 |  3829k|   4.2 |  94M|1203 |   1 |3713 |  17k|3713 | 953 | 197k|1110k|6836 | 0.000000e+00 | 1.500000e+01 |    Inf 
1650.14/1650.10	c  1650s|920000 |  3269 |  3873k|   4.2 |  96M|1203 |   1 |3713 |  18k|3713 | 936 | 199k|1123k|6862 | 0.000000e+00 | 1.500000e+01 |    Inf 
1673.05/1673.04	c  1673s|930000 |  3424 |  3921k|   4.2 |  98M|1203 |  18 |3713 |  19k|3713 | 949 | 202k|1137k|6885 | 0.000000e+00 | 1.500000e+01 |    Inf 
1696.74/1696.72	c  1697s|940000 |  3456 |  3971k|   4.2 |  99M|1203 |   - |3713 |  20k|   0 |   0 | 205k|1150k|6932 | 0.000000e+00 | 1.500000e+01 |    Inf 
1718.74/1718.75	c  1719s|950000 |  3500 |  4018k|   4.2 | 100M|1203 |   - |3713 |  18k|   0 |   0 | 207k|1164k|7002 | 0.000000e+00 | 1.500000e+01 |    Inf 
1740.95/1740.93	c  1741s|960000 |  3435 |  4069k|   4.2 | 100M|1203 |  14 |3713 |  17k|3713 | 949 | 209k|1177k|7028 | 0.000000e+00 | 1.500000e+01 |    Inf 
1763.15/1763.14	c  1763s|970000 |  3382 |  4119k|   4.2 |  99M|1203 |   - |3713 |  16k|   0 |   0 | 211k|1191k|7094 | 0.000000e+00 | 1.500000e+01 |    Inf 
1783.45/1783.40	c  1783s|980000 |  3404 |  4159k|   4.2 | 101M|1203 |   - |3713 |  19k|   0 |   0 | 213k|1205k|7144 | 0.000000e+00 | 1.500000e+01 |    Inf 
1790.04/1790.01	c 
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time (sec) : 1789.98
1790.04/1790.01	c Solving Nodes      : 982877
1790.04/1790.01	c Primal Bound       : +1.50000000000000e+01 (196 solutions)
1790.04/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.01	c Gap                : infinite
1790.04/1790.05	s SATISFIABLE
1790.04/1790.05	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 
1790.04/1790.05	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.04/1790.05	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 
1790.04/1790.05	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.04/1790.05	v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1790.04/1790.05	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 
1790.04/1790.05	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.04/1790.05	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.04/1790.05	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 
1790.04/1790.05	v -x29 -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 
1790.04/1790.05	v x2 -x1 
1790.04/1790.05	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.05	c Solving Time       :    1789.98
1790.04/1790.05	c Original Problem   :
1790.04/1790.05	c   Problem name     : HOME/instance-2705014-1278574752.wbo
1790.04/1790.05	c   Variables        : 3835 (2033 binary, 0 integer, 1802 implicit integer, 0 continuous)
1790.04/1790.05	c   Constraints      : 4510 initial, 4510 maximal
1790.04/1790.05	c Presolved Problem  :
1790.04/1790.05	c   Problem name     : t_HOME/instance-2705014-1278574752.wbo
1790.04/1790.05	c   Variables        : 3713 (1972 binary, 0 integer, 1741 implicit integer, 0 continuous)
1790.04/1790.05	c   Constraints      : 4342 initial, 23339 maximal
1790.04/1790.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.05	c   trivial          :       0.00         61          0          0          0          0          0          0          0
1790.04/1790.05	c   dualfix          :       0.00         61          0          0          0          0          0          0          0
1790.04/1790.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.05	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.04/1790.05	c   setppc           :       0.00          0          0          0          0          0         22          0          0
1790.04/1790.05	c   linear           :       0.05          0          0          0       1810          0         85         67          0
1790.04/1790.05	c   indicator        :       0.00          0          0          0          0          0         61          0          0
1790.04/1790.05	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.05	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.05	c   root node        :          -       3010          -          -       3010          -          -          -          -
1790.04/1790.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.05	c   integral         :          0          0          0     601134          0         37        555          0          0     968844
1790.04/1790.05	c   setppc           :         55          7    5511402     109756          1      14787    1143792          0          0          0
1790.04/1790.05	c   linear           :       1741          7    5510713     115988          1     211338   22197208     214658          0          0
1790.04/1790.05	c   indicator        :       1741          0    5268905     116044          1       2004    7119773          0          0          0
1790.04/1790.05	c   logicor          :        805+         7    1721748      84184          1     202261    3918782          0          0          0
1790.04/1790.05	c   bounddisjunction :          0+         0     491356          0          0         98       4886          0          0          0
1790.04/1790.05	c   countsols        :          0          0          0      84184          1          0          0          0          0          0
1790.04/1790.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.05	c   integral         :      17.95       0.00       0.00      17.95       0.00
1790.04/1790.05	c   setppc           :       9.32       0.00       9.26       0.06       0.00
1790.04/1790.05	c   linear           :     143.86       0.00     140.40       3.46       0.00
1790.04/1790.05	c   indicator        :      78.62       0.02      67.70      10.90       0.00
1790.04/1790.05	c   logicor          :     230.06       0.00     229.34       0.72       0.00
1790.04/1790.05	c   bounddisjunction :       2.45       0.00       2.45       0.00       0.00
1790.04/1790.05	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1790.04/1790.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.05	c   vbounds          :       1.05     106204          0       3283
1790.04/1790.05	c   rootredcost      :       0.79         51          0       1505
1790.04/1790.05	c   pseudoobj        :     162.48    5547032      21074    7364780
1790.04/1790.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.05	c   propagation      :      22.98     449558     449379    2794626       27.3      13859       25.3          -
1790.04/1790.05	c   infeasible LP    :       6.49      23814      23814     197264       43.1        254       22.1          0
1790.04/1790.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.05	c   pseudo solution  :       0.00          1          1          5       27.8          0        0.0          -
1790.04/1790.05	c   applied globally :          -          -          -    1208845       22.1          -          -          -
1790.04/1790.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.05	c   cut pool         :       0.00          6          -          -         18          -    (maximal pool size: 177)
1790.04/1790.05	c   redcost          :      44.56     604782          0     124588          0          0
1790.04/1790.05	c   impliedbounds    :       0.00          7          0          0          0          0
1790.04/1790.05	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.05	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.05	c   gomory           :       0.10          7          0          0       1029          0
1790.04/1790.05	c   strongcg         :       0.07          7          0          0        913          0
1790.04/1790.05	c   cmir             :       0.03          7          0          0          1          0
1790.04/1790.05	c   flowcover        :       0.08          7          0          0          2          0
1790.04/1790.05	c   clique           :       0.00          7          0          0          0          0
1790.04/1790.05	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.05	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.05	c   rapidlearning    :       0.07          1          0          0          0          0
1790.04/1790.05	c Pricers            :       Time      Calls       Vars
1790.04/1790.05	c   problem variables:       0.00          0          0
1790.04/1790.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.05	c   relpscost        :      17.44     484900         37        555          0          0     968844
1790.04/1790.05	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.05	c   inference        :      18.97      84135          0          0          0          0     168599
1790.04/1790.05	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.05	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.05	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.05	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.05	c   LP solutions     :       0.16          -         50
1790.04/1790.05	c   pseudo solutions :       0.00          -          0
1790.04/1790.05	c   intshifting      :       0.01          0          0
1790.04/1790.05	c   feaspump         :       0.02          1          0
1790.04/1790.05	c   oneopt           :       0.42         45          0
1790.04/1790.05	c   crossover        :       2.33         78          0
1790.04/1790.05	c   veclendiving     :       0.31        266          0
1790.04/1790.05	c   linesearchdiving :       0.37        266          0
1790.04/1790.05	c   guideddiving     :       0.32        266          0
1790.04/1790.05	c   pscostdiving     :       0.32        266          0
1790.04/1790.05	c   fracdiving       :       0.31        266          0
1790.04/1790.05	c   coefdiving       :       0.33        267          0
1790.04/1790.05	c   rootsoldiving    :       0.38        245          0
1790.04/1790.05	c   objpscostdiving  :       0.35        246          0
1790.04/1790.05	c   trivial          :       0.00          2          0
1790.04/1790.05	c   simplerounding   :       0.74     485427          0
1790.04/1790.05	c   zirounding       :       0.28       1000          0
1790.04/1790.05	c   rounding         :       1.07       9792          0
1790.04/1790.05	c   shifting         :       0.62       3100          0
1790.04/1790.05	c   twoopt           :       0.00          0          0
1790.04/1790.05	c   fixandinfer      :       0.00          0          0
1790.04/1790.05	c   intdiving        :       0.00          0          0
1790.04/1790.05	c   actconsdiving    :       0.00          0          0
1790.04/1790.05	c   octane           :       0.00          0          0
1790.04/1790.05	c   rens             :       0.03          1          0
1790.04/1790.05	c   rins             :       0.00          0          0
1790.04/1790.05	c   localbranching   :       0.00          0          0
1790.04/1790.05	c   mutation         :       0.00          0          0
1790.04/1790.05	c   dins             :       0.00          0          0
1790.04/1790.05	c   undercover       :       0.00          0          0
1790.04/1790.05	c   nlp              :       0.15          0          0
1790.04/1790.05	c   trysol           :       0.40        495        146
1790.04/1790.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.05	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.05	c   dual LP          :     580.66     542499    4169742       7.69    7181.06
1790.04/1790.05	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.05	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.05	c   diving/probing LP:       0.25        119       2345      19.71    9512.18
1790.04/1790.05	c   strong branching :      14.11       7169     151874      21.18   10759.87
1790.04/1790.05	c     (at root node) :          -         17       2111     124.18          -
1790.04/1790.05	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.05	c B&B Tree           :
1790.04/1790.05	c   number of runs   :          1
1790.04/1790.05	c   nodes            :     982877
1790.04/1790.05	c   nodes (total)    :     982877
1790.04/1790.05	c   nodes left       :       3467
1790.04/1790.05	c   max depth        :       1203
1790.04/1790.05	c   max depth (total):       1203
1790.04/1790.05	c   backtracks       :      77286 (7.9%)
1790.04/1790.05	c   delayed cutoffs  :      67498
1790.04/1790.05	c   repropagations   :    2769872 (8614638 domain reductions, 60991 cutoffs)
1790.04/1790.05	c   avg switch length:       7.13
1790.04/1790.05	c   switching time   :     249.05
1790.04/1790.05	c Solution           :
1790.04/1790.05	c   Solutions found  :        196 (51 improvements)
1790.04/1790.05	c   First Solution   : +8.77540000000000e+04   (in run 1, after 81 nodes, 4.54 seconds, depth 24, found by <trysol>)
1790.04/1790.05	c   Primal Bound     : +1.50000000000000e+01   (in run 1, after 646070 nodes, 1125.38 seconds, depth 51, found by <relaxation>)
1790.04/1790.05	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.05	c   Gap              :   infinite
1790.04/1790.05	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.05	c   Root Iterations  :        386
1790.25/1790.20	c Time complete: 1790.25.

Verifier Data 

OK	15

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705014-1278574752/watcher-2705014-1278574752 -o /tmp/evaluation-result-2705014-1278574752/solver-2705014-1278574752 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705014-1278574752.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: 1.86 1.97 1.67 2/173 23057
/proc/meminfo: memFree=29444268/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=12340 CPUtime=0
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 1938 0 0 0 0 0 0 0 25 0 1 0 25688122 12636160 1856 4089446400 4194304 10345943 140734176058576 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23057/statm: 3085 1860 429 1502 0 1578 0

[startup+0.050191 s]
/proc/loadavg: 1.86 1.97 1.67 2/173 23057
/proc/meminfo: memFree=29444268/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=31716 CPUtime=0.04
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 6942 0 0 0 4 0 0 0 25 0 1 0 25688122 32477184 6506 4089446400 4194304 10345943 140734176058576 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 7929 6506 529 1502 0 6422 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 31716

[startup+0.101164 s]
/proc/loadavg: 1.86 1.97 1.67 2/173 23057
/proc/meminfo: memFree=29444268/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=33948 CPUtime=0.09
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 7514 0 0 0 9 0 0 0 25 0 1 0 25688122 34762752 7078 4089446400 4194304 10345943 140734176058576 18446744073709551615 9134704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 8487 7078 550 1502 0 6980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33948

[startup+0.301127 s]
/proc/loadavg: 1.86 1.97 1.67 2/173 23057
/proc/meminfo: memFree=29444268/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=42048 CPUtime=0.29
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 14462 0 0 0 28 1 0 0 25 0 1 0 25688122 43057152 9009 4089446400 4194304 10345943 140734176058576 18446744073709551615 5852502 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 10512 9009 747 1502 0 9005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42048

[startup+0.701024 s]
/proc/loadavg: 1.86 1.97 1.67 2/173 23057
/proc/meminfo: memFree=29444268/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=52084 CPUtime=0.69
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 20598 0 0 0 67 2 0 0 25 0 1 0 25688122 53334016 11079 4089446400 4194304 10345943 140734176058576 18446744073709551615 6520285 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 13021 11079 767 1502 0 11514 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52084

[startup+1.50088 s]
/proc/loadavg: 1.86 1.97 1.67 2/174 23058
/proc/meminfo: memFree=29402480/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=52084 CPUtime=1.49
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 20719 0 0 0 146 3 0 0 25 0 1 0 25688122 53334016 11200 4089446400 4194304 10345943 140734176058576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 13021 11200 768 1502 0 11514 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52084

[startup+3.10061 s]
/proc/loadavg: 1.79 1.95 1.67 2/174 23058
/proc/meminfo: memFree=29401364/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=52104 CPUtime=3.09
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 21190 0 0 0 304 5 0 0 25 0 1 0 25688122 53354496 11164 4089446400 4194304 10345943 140734176058576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 13026 11164 769 1502 0 11519 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52104

[startup+6.30102 s]
/proc/loadavg: 1.79 1.95 1.67 3/179 23068
/proc/meminfo: memFree=29364504/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=53540 CPUtime=6.29
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 23940 0 0 0 621 8 0 0 25 0 1 0 25688122 54824960 11730 4089446400 4194304 10345943 140734176058576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 13385 11730 770 1502 0 11878 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53540

[startup+12.7009 s]
/proc/loadavg: 1.82 1.95 1.67 3/179 23068
/proc/meminfo: memFree=29343344/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=67556 CPUtime=12.7
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 44638 0 0 0 1257 13 0 0 25 0 1 0 25688122 69177344 14592 4089446400 4194304 10345943 140734176058576 18446744073709551615 4476309 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 16889 14592 771 1502 0 15382 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 67556

[startup+25.5005 s]
/proc/loadavg: 1.85 1.95 1.67 3/179 23069
/proc/meminfo: memFree=29296004/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=85268 CPUtime=25.5
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 57734 0 0 0 2534 16 0 0 25 0 1 0 25688122 87314432 19526 4089446400 4194304 10345943 140734176058576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 21317 19526 776 1502 0 19810 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 85268

[startup+51.1008 s]
/proc/loadavg: 1.90 1.95 1.68 3/179 23070
/proc/meminfo: memFree=29210344/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=118928 CPUtime=51.09
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 90174 0 0 0 5086 23 0 0 25 0 1 0 25688122 121782272 28030 4089446400 4194304 10345943 140734176058576 18446744073709551615 6702694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 29732 28030 776 1502 0 28225 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118928

[startup+102.307 s]
/proc/loadavg: 1.96 1.96 1.70 3/179 23071
/proc/meminfo: memFree=29036064/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=188340 CPUtime=102.3
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 152200 0 0 0 10193 37 0 0 25 0 1 0 25688122 192860160 45152 4089446400 4194304 10345943 140734176058576 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 47085 45152 776 1502 0 45578 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 188340

[startup+162.301 s]
/proc/loadavg: 1.98 1.97 1.71 3/179 23072
/proc/meminfo: memFree=28840584/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=265928 CPUtime=162.3
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 240767 0 0 0 16165 65 0 0 25 0 1 0 25688122 272310272 64315 4089446400 4194304 10345943 140734176058576 18446744073709551615 6068911 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 66482 64315 777 1502 0 64975 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 265928

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.73 3/179 23074
/proc/meminfo: memFree=28700776/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=286512 CPUtime=222.3
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 267326 0 0 0 22147 83 0 0 25 0 1 0 25688122 293388288 69005 4089446400 4194304 10345943 140734176058576 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 71628 69005 786 1502 0 70121 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 286512

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 23076
/proc/meminfo: memFree=28562084/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=304420 CPUtime=282.3
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 277045 0 0 0 28129 101 0 0 25 0 1 0 25688122 311726080 73070 4089446400 4194304 10345943 140734176058576 18446744073709551615 6119675 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 76105 73070 786 1502 0 74598 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 304420

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 23078
/proc/meminfo: memFree=28429716/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=316496 CPUtime=342.31
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 283050 0 0 0 34113 118 0 0 25 0 1 0 25688122 324091904 75732 4089446400 4194304 10345943 140734176058576 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 79124 75732 798 1502 0 77617 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 316496

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 23079
/proc/meminfo: memFree=28298576/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=330392 CPUtime=402.31
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 290174 0 0 0 40095 136 0 0 25 0 1 0 25688122 338321408 79329 4089446400 4194304 10345943 140734176058576 18446744073709551615 6802819 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 82598 79329 798 1502 0 81091 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 330392

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 23080
/proc/meminfo: memFree=28160488/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=350264 CPUtime=462.3
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 306546 0 0 0 46078 152 0 0 25 0 1 0 25688122 358670336 83331 4089446400 4194304 10345943 140734176058576 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 87566 83331 798 1502 0 86059 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 350264

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/179 23082
/proc/meminfo: memFree=28034076/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=357924 CPUtime=522.31
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 344287 0 0 0 52055 176 0 0 25 0 1 0 25688122 366514176 85491 4089446400 4194304 10345943 140734176058576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 89481 85491 798 1502 0 87974 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 357924

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.80 3/179 23084
/proc/meminfo: memFree=27903692/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=367940 CPUtime=582.31
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 352293 0 0 0 58036 195 0 0 25 0 1 0 25688122 376770560 87651 4089446400 4194304 10345943 140734176058576 18446744073709551615 4995678 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 91985 87651 798 1502 0 90478 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 367940

[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.81 3/179 23086
/proc/meminfo: memFree=27779728/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=374368 CPUtime=642.32
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 395393 0 0 0 64011 221 0 0 25 0 1 0 25688122 383352832 89148 4089446400 4194304 10345943 140734176058576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 93592 89148 798 1502 0 92085 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 374368

[startup+702.301 s]

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

/proc/meminfo: memFree=26899816/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=408828 CPUtime=1062.32
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 448092 0 0 0 105881 351 0 0 25 0 1 0 25688122 418639872 97110 4089446400 4194304 10345943 140734176058576 18446744073709551615 6551416 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 102207 97110 798 1502 0 100700 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 408828

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 23098
/proc/meminfo: memFree=26772652/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=410460 CPUtime=1122.33
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 453452 0 0 0 111864 369 0 0 25 0 1 0 25688122 420311040 97724 4089446400 4194304 10345943 140734176058576 18446744073709551615 4995152 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 102615 97724 798 1502 0 101108 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 410460

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 23100
/proc/meminfo: memFree=26650324/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=412668 CPUtime=1182.33
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 476595 0 0 0 117845 388 0 0 25 0 1 0 25688122 422572032 98219 4089446400 4194304 10345943 140734176058576 18446744073709551615 6784102 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 103167 98219 798 1502 0 101660 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 412668

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 23102
/proc/meminfo: memFree=26527744/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=414696 CPUtime=1242.33
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 481207 0 0 0 123825 408 0 0 25 0 1 0 25688122 424648704 98551 4089446400 4194304 10345943 140734176058576 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 103674 98551 798 1502 0 102167 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 414696

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 23103
/proc/meminfo: memFree=26400712/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=415508 CPUtime=1302.33
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 482436 0 0 0 129808 425 0 0 25 0 1 0 25688122 425480192 98860 4089446400 4194304 10345943 140734176058576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 103877 98860 798 1502 0 102370 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 415508

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 23113
/proc/meminfo: memFree=26280360/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=416600 CPUtime=1362.33
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 485823 0 0 0 135790 443 0 0 25 0 1 0 25688122 426598400 99090 4089446400 4194304 10345943 140734176058576 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 104150 99090 798 1502 0 102643 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 416600

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.90 3/179 23115
/proc/meminfo: memFree=26153560/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=419096 CPUtime=1422.35
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 487677 0 0 0 141775 460 0 0 25 0 1 0 25688122 429154304 99515 4089446400 4194304 10345943 140734176058576 18446744073709551615 7547120 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23057/statm: 104774 99515 798 1502 0 103267 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 419096

[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/179 23171
/proc/meminfo: memFree=28914444/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=418904 CPUtime=1482.33
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 489531 0 0 0 147759 474 0 0 25 0 1 0 25688122 428957696 99738 4089446400 4194304 10345943 140734176058576 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 104726 99738 798 1502 0 103219 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 418904

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23173
/proc/meminfo: memFree=28910820/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=419908 CPUtime=1542.34
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 491397 0 0 0 153752 482 0 0 25 0 1 0 25688122 429985792 99831 4089446400 4194304 10345943 140734176058576 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 104977 99831 798 1502 0 103470 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 419908

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 23174
/proc/meminfo: memFree=28909416/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=420996 CPUtime=1602.34
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 493288 0 0 0 159742 492 0 0 25 0 1 0 25688122 431099904 99975 4089446400 4194304 10345943 140734176058576 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 105249 99975 798 1502 0 103742 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 420996

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 23175
/proc/meminfo: memFree=28906768/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=420572 CPUtime=1662.35
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 494961 0 0 0 165731 504 0 0 25 0 1 0 25688122 430665728 100033 4089446400 4194304 10345943 140734176058576 18446744073709551615 6557558 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 105143 100033 798 1502 0 103636 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 420572

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23177
/proc/meminfo: memFree=28906228/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=422392 CPUtime=1722.35
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 495981 0 0 0 171722 513 0 0 25 0 1 0 25688122 432529408 100192 4089446400 4194304 10345943 140734176058576 18446744073709551615 7509512 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 105598 100192 798 1502 0 104091 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 422392

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23179
/proc/meminfo: memFree=28898024/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=422944 CPUtime=1782.35
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 496770 0 0 0 177711 524 0 0 25 0 1 0 25688122 433094656 100238 4089446400 4194304 10345943 140734176058576 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 105736 100238 798 1502 0 104229 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 422944

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23179
/proc/meminfo: memFree=28898024/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=422944 CPUtime=1785.54
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 496829 0 0 0 178030 524 0 0 25 0 1 0 25688122 433094656 100297 4089446400 4194304 10345943 140734176058576 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 105736 100297 798 1502 0 104229 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 422944

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23179
/proc/meminfo: memFree=28897652/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=422944 CPUtime=1788.74
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 496893 0 0 0 178349 525 0 0 25 0 1 0 25688122 433094656 100361 4089446400 4194304 10345943 140734176058576 18446744073709551615 9105031 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 105736 100361 798 1502 0 104229 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 422944

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23179
/proc/meminfo: memFree=28897652/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=422944 CPUtime=1789.54
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 496896 0 0 0 178429 525 0 0 25 0 1 0 25688122 433094656 100364 4089446400 4194304 10345943 140734176058576 18446744073709551615 4643394 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 105736 100364 798 1502 0 104229 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 422944

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23179
/proc/meminfo: memFree=28897528/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=422944 CPUtime=1789.94
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 496896 0 0 0 178469 525 0 0 25 0 1 0 25688122 433094656 100364 4089446400 4194304 10345943 140734176058576 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23057/statm: 105736 100364 798 1502 0 104229 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 422944

[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23179
/proc/meminfo: memFree=28897528/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=422944 CPUtime=1790.14
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 496897 0 0 0 178489 525 0 0 18 0 1 0 25688122 433094656 100365 4089446400 4194304 10345943 140734176058576 18446744073709551615 4220170 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23057/statm: 105736 100365 799 1502 0 104229 0
Current children cumulated CPU time (s) 1790.14
Current children cumulated vsize (KiB) 422944

[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23179
/proc/meminfo: memFree=28897528/32951124 swapFree=67111528/67111528
[pid=23057] ppid=23055 vsize=200356 CPUtime=1790.25
/proc/23057/stat : 23057 (pbscip.linux.x8) R 23055 23057 22811 0 -1 4202496 496897 0 0 0 178498 527 0 0 18 0 1 0 25688122 205164544 11971 4089446400 4194304 10345943 140734176058576 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23057/statm: 50089 11971 799 1502 0 48582 0
Current children cumulated CPU time (s) 1790.25
Current children cumulated vsize (KiB) 200356

Child status: 0
Real time (s): 1790.2
CPU time (s): 1790.26
CPU user time (s): 1784.98
CPU system time (s): 5.2772
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 422944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.98
system time used= 5.2772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496900
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= 4
involuntary context switches= 16494

runsolver used 2.83557 second user time and 5.46717 second system time

The end

Launcher Data 

Begin job on node142 at 2010-07-08 09:39:12
IDJOB=2705014
IDBENCH=78994
IDSOLVER=1214
FILE ID=node142/2705014-1278574752
PBS_JOBID= 11240171
Free space on /tmp= 73332 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.1900552735--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-2705014-1278574752/watcher-2705014-1278574752 -o /tmp/evaluation-result-2705014-1278574752/solver-2705014-1278574752 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705014-1278574752.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d8302a34385139d2b71dca1f77dee50d
RANDOM SEED=982638039

node142.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.874
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.74
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.874
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.874
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.874
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.79
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.874
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	: 5311.06
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.874
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.874
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.874
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:     32951124 kB
MemFree:      29444796 kB
Buffers:        155084 kB
Cached:        3119964 kB
SwapCached:          0 kB
Active:         998544 kB
Inactive:      2339212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29444796 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12868 kB
Writeback:           0 kB
AnonPages:       63372 kB
Mapped:          14408 kB
Slab:           104648 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184268 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= 73308 MiB
End job on node142 at 2010-07-08 10:09:02