Trace number 2705597

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.23 1790.18

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-33-100-0.wbo
MD5SUMeba88192ede2bf17faa7af9ad7b0465e
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 benchmark181.673
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 constraints1816
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 92461
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92460
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 815
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-2705597-1278572958.wbo>
0.00/0.03	c original problem has 3863 variables (2047 bin, 0 int, 1816 impl, 0 cont) and 4524 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, 142 impls, 6 clqs
0.00/0.08	c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.00/0.09	c (round 3) 53 del vars, 176 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.00/0.10	c (round 4) 144 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 142 impls, 6 clqs
0.09/0.10	c (round 5) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 142 impls, 6 clqs
0.09/0.11	c (round 6) 146 del vars, 200 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 142 impls, 6 clqs
0.09/0.15	c    (0.1s) probing: 101/1974 (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 (7 rounds):
0.09/0.15	c  146 deleted vars, 200 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.15	c  3611 implications, 6 cliques
0.09/0.15	c presolved problem has 3717 variables (1974 bin, 0 int, 1743 impl, 0 cont) and 4324 constraints
0.09/0.15	c      41 constraints of type <setppc>
0.09/0.15	c    1743 constraints of type <linear>
0.09/0.15	c    1743 constraints of type <indicator>
0.09/0.15	c     797 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 |    22 |     - |  14M|   0 |  13 |3717 |4324 |3717 | 838 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    66 |     - |  14M|   0 |  33 |3717 |4324 |3717 | 861 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |    91 |     - |  14M|   0 |  32 |3717 |4324 |3717 | 881 |  43 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   130 |     - |  14M|   0 |  28 |3717 |4324 |3717 | 889 |  51 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.41	c   0.4s|     1 |     0 |   195 |     - |  14M|   0 |  54 |3717 |4324 |3717 | 901 |  63 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.48	c   0.5s|     1 |     0 |   264 |     - |  15M|   0 |  47 |3717 |4324 |3717 | 909 |  71 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.55	c   0.5s|     1 |     0 |   287 |     - |  15M|   0 |  49 |3717 |4324 |3717 | 912 |  74 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.84	c   0.8s|     1 |     2 |   287 |     - |  15M|   0 |  49 |3717 |4324 |3717 | 912 |  74 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
3.30/3.31	o 88690
3.30/3.31	c y 3.3s|    65 |    64 |  2346 |  32.2 |  15M|  22 |   - |3717 |4324 |   0 |   0 | 225 |   0 | 588 | 0.000000e+00 | 8.869000e+04 |    Inf 
18.39/18.42	c  18.4s| 10000 |  9975 | 12971 |   1.3 |  37M| 561 |   0 |3717 |4338 |3717 | 941 |2201 |  14 |1264 | 0.000000e+00 | 8.869000e+04 |    Inf 
30.59/30.65	c  30.6s| 20000 | 19971 | 15831 |   0.8 |  54M| 561 |   0 |3717 |4343 |3717 | 931 |2804 |  19 |1302 | 0.000000e+00 | 8.869000e+04 |    Inf 
43.09/43.10	c  43.1s| 30000 | 29967 | 19692 |   0.6 |  70M| 561 |   0 |3717 |4347 |3717 | 950 |3445 |  25 |1348 | 0.000000e+00 | 8.869000e+04 |    Inf 
55.70/55.74	c  55.7s| 40000 | 39961 | 23767 |   0.6 |  87M| 561 |   0 |3717 |4351 |3717 | 977 |4107 |  29 |1442 | 0.000000e+00 | 8.869000e+04 |    Inf 
68.59/68.69	c  68.7s| 50000 | 49955 | 29010 |   0.6 | 103M| 561 |   0 |3717 |4355 |3717 | 954 |4983 |  34 |1490 | 0.000000e+00 | 8.869000e+04 |    Inf 
81.40/81.44	c  81.4s| 60000 | 59955 | 32412 |   0.5 | 120M| 561 |   0 |3717 |4354 |3717 | 991 |5435 |  34 |1519 | 0.000000e+00 | 8.869000e+04 |    Inf 
93.70/93.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
93.70/93.78	c  93.8s| 70000 | 69955 | 35241 |   0.5 | 136M| 561 |   0 |3717 |4351 |3717 | 951 |5838 |  34 |1538 | 0.000000e+00 | 8.869000e+04 |    Inf 
105.89/105.92	c   106s| 80000 | 79913 | 37423 |   0.5 | 153M| 561 |   0 |3717 |4372 |3717 | 949 |6214 |  56 |1547 | 0.000000e+00 | 8.869000e+04 |    Inf 
117.90/117.99	c   118s| 90000 | 89911 | 39185 |   0.4 | 169M| 561 |   0 |3717 |4374 |3717 | 952 |6581 |  58 |1552 | 0.000000e+00 | 8.869000e+04 |    Inf 
122.59/122.66	o 641
122.59/122.66	c * 123s| 93926 | 76627 | 40031 |   0.4 | 148M| 773 |   - |3717 |4378 |3717 | 953 |6760 |  63 |1556 | 0.000000e+00 | 6.410000e+02 |    Inf 
124.90/124.99	o 572
124.90/124.99	c * 125s| 95528 | 71501 | 40767 |   0.4 | 142M| 773 |   - |3717 |4492 |3717 | 948 |6895 | 177 |1557 | 0.000000e+00 | 5.720000e+02 |    Inf 
125.59/125.61	o 541
125.59/125.61	c * 126s| 95920 | 67783 | 41190 |   0.4 | 136M| 773 |   - |3717 |4536 |3717 | 952 |6970 | 222 |1558 | 0.000000e+00 | 5.410000e+02 |    Inf 
126.50/126.53	o 510
126.50/126.53	c * 127s| 96487 | 63770 | 42049 |   0.4 | 130M| 773 |   - |3717 |4657 |3717 | 952 |7137 | 345 |1564 | 0.000000e+00 | 5.100000e+02 |    Inf 
129.70/129.78	o 477
129.70/129.78	c * 130s| 98120 | 60128 | 46433 |   0.5 | 127M| 773 |   - |3717 |5747 |3717 | 962 |7941 |1499 |1581 | 0.000000e+00 | 4.770000e+02 |    Inf 
132.49/132.50	o 470
132.49/132.50	c * 132s| 99485 | 60014 | 50707 |   0.5 | 128M| 773 |   - |3717 |6440 |3717 | 957 |8775 |2304 |1591 | 0.000000e+00 | 4.700000e+02 |    Inf 
132.49/132.57	o 464
132.49/132.57	c * 133s| 99527 | 59127 | 50777 |   0.5 | 127M| 773 |   - |3717 |6452 |3717 | 952 |8779 |2317 |1591 | 0.000000e+00 | 4.640000e+02 |    Inf 
133.59/133.60	c   134s|100000 | 59376 | 53836 |   0.5 | 128M| 773 |   9 |3717 |6811 |3717 | 945 |9115 |2762 |1600 | 0.000000e+00 | 4.640000e+02 |    Inf 
138.40/138.40	o 451
138.40/138.40	c * 138s|102359 | 59038 | 65769 |   0.6 | 130M| 773 |   - |3717 |7900 |3717 | 947 |  10k|4148 |1647 | 0.000000e+00 | 4.510000e+02 |    Inf 
138.60/138.69	o 433
138.60/138.69	c * 139s|102543 | 56195 | 65900 |   0.6 | 125M| 773 |   - |3717 |7904 |3717 | 954 |  10k|4160 |1647 | 0.000000e+00 | 4.330000e+02 |    Inf 
138.79/138.83	o 375
138.79/138.83	c * 139s|102616 | 46064 | 66116 |   0.6 | 107M| 773 |   - |3717 |7975 |3717 | 959 |  10k|4238 |1649 | 0.000000e+00 | 3.750000e+02 |    Inf 
138.99/139.02	o 365
138.99/139.02	c * 139s|102711 | 44433 | 66232 |   0.6 | 104M| 773 |   - |3717 |8039 |3717 | 956 |  10k|4309 |1649 | 0.000000e+00 | 3.650000e+02 |    Inf 
139.09/139.12	o 350
139.09/139.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
139.09/139.12	c * 139s|102756 | 42019 | 66334 |   0.6 | 100M| 773 |   - |3717 |8082 |3717 | 948 |  10k|4354 |1649 | 0.000000e+00 | 3.500000e+02 |    Inf 
142.19/142.26	o 344
142.19/142.26	c * 142s|104162 | 41975 | 72857 |   0.7 | 102M| 773 |   - |3717 |8807 |3717 | 949 |  11k|5494 |1667 | 0.000000e+00 | 3.440000e+02 |    Inf 
147.90/147.99	o 289
147.90/147.99	c * 148s|106308 | 33738 | 89534 |   0.8 |  91M| 773 |   - |3717 |9247 |3717 | 941 |  14k|7320 |1694 | 0.000000e+00 | 2.890000e+02 |    Inf 
149.79/149.83	o 259
149.79/149.83	c * 150s|107002 | 28884 | 93642 |   0.9 |  84M| 773 |   - |3717 |9310 |3717 | 941 |  14k|7846 |1696 | 0.000000e+00 | 2.590000e+02 |    Inf 
156.29/156.38	o 256
156.29/156.38	c * 156s|109628 | 29239 |106986 |   1.0 |  88M| 773 |   - |3717 |8389 |3717 | 956 |  16k|9958 |1701 | 0.000000e+00 | 2.560000e+02 |    Inf 
156.39/156.47	o 244
156.39/156.47	c * 156s|109683 | 27372 |107004 |   1.0 |  83M| 773 |   - |3717 |8403 |3717 | 955 |  16k|9973 |1701 | 0.000000e+00 | 2.440000e+02 |    Inf 
157.31/157.34	c   157s|110000 | 27487 |109030 |   1.0 |  84M| 773 |  16 |3717 |8092 |3717 | 936 |  16k|  10k|1701 | 0.000000e+00 | 2.440000e+02 |    Inf 
180.99/181.09	c   181s|120000 | 30899 |160395 |   1.3 | 104M| 773 |   - |3717 |5984 |   0 |   0 |  22k|  18k|1711 | 0.000000e+00 | 2.440000e+02 |    Inf 
203.10/203.14	c   203s|130000 | 34252 |202676 |   1.6 | 124M| 773 |   9 |3717 |5631 |3717 | 922 |  27k|  26k|1713 | 0.000000e+00 | 2.440000e+02 |    Inf 
210.80/210.82	o 204
210.80/210.82	c * 211s|133251 | 28210 |217731 |   1.6 | 114M| 773 |   - |3717 |6521 |3717 | 946 |  29k|  29k|1727 | 0.000000e+00 | 2.040000e+02 |    Inf 
226.50/226.58	c   227s|140000 | 29889 |248068 |   1.8 | 126M| 773 |   0 |3717 |5758 |3717 | 936 |  32k|  35k|1784 | 0.000000e+00 | 2.040000e+02 |    Inf 
227.90/227.98	o 203
227.90/227.98	c * 228s|140600 | 29910 |250493 |   1.8 | 127M| 773 |   - |3717 |5710 |3717 | 947 |  32k|  35k|1793 | 0.000000e+00 | 2.030000e+02 |    Inf 
228.00/228.02	o 201
228.00/228.02	c * 228s|140628 | 29611 |250566 |   1.8 | 127M| 773 |   - |3717 |5715 |3717 | 957 |  32k|  35k|1793 | 0.000000e+00 | 2.010000e+02 |    Inf 
228.00/228.03	o 199
228.00/228.03	c * 228s|140629 | 29248 |250567 |   1.8 | 125M| 773 |   - |3717 |5715 |3717 | 957 |  32k|  35k|1793 | 0.000000e+00 | 1.990000e+02 |    Inf 
237.51/237.58	o 192
237.51/237.58	c * 238s|144744 | 28946 |268354 |   1.9 | 128M| 773 |   - |3717 |6036 |3717 | 943 |  34k|  39k|1828 | 0.000000e+00 | 1.920000e+02 |    Inf 
242.09/242.12	o 144
242.09/242.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
242.09/242.12	c * 242s|146758 | 21391 |277254 |   1.9 |  95M| 773 |   - |3717 |5758 |3717 | 946 |  35k|  40k|1847 | 0.000000e+00 | 1.440000e+02 |    Inf 
242.09/242.13	o 135
242.09/242.13	c * 242s|146759 | 19624 |277254 |   1.9 |  87M| 773 |   - |3717 |5758 |3717 | 946 |  35k|  40k|1847 | 0.000000e+00 | 1.350000e+02 |    Inf 
243.40/243.46	o 99
243.40/243.46	c * 243s|147304 | 14043 |280214 |   1.9 |  64M| 773 |   - |3717 |5658 |3717 | 948 |  35k|  41k|1848 | 0.000000e+00 | 9.900000e+01 |    Inf 
244.60/244.63	o 91
244.60/244.63	c * 245s|147907 | 12536 |281562 |   1.9 |  60M| 773 |   - |3717 |5728 |3717 | 940 |  35k|  41k|1848 | 0.000000e+00 | 9.100000e+01 |    Inf 
249.80/249.86	c   250s|150000 | 12612 |291919 |   1.9 |  64M| 773 |  13 |3717 |5424 |3717 | 923 |  35k|  43k|1892 | 0.000000e+00 | 9.100000e+01 |    Inf 
250.20/250.29	o 84
250.20/250.29	c * 250s|150167 | 11367 |293268 |   2.0 |  61M| 773 |   - |3717 |5359 |3717 | 989 |  36k|  43k|1897 | 0.000000e+00 | 8.400000e+01 |    Inf 
250.49/250.56	o 76
250.49/250.56	c * 251s|150228 | 10358 |294839 |   2.0 |  59M| 773 |   - |3717 |5163 |3717 | 979 |  36k|  43k|1898 | 0.000000e+00 | 7.600000e+01 |    Inf 
250.59/250.65	o 71
250.59/250.65	c * 251s|150241 |  6331 |295151 |   2.0 |  45M| 773 |   - |3717 |4980 |3717 | 924 |  36k|  43k|1898 | 0.000000e+00 | 7.100000e+01 |    Inf 
271.60/271.64	c   272s|160000 |  6398 |335873 |   2.1 |  53M| 773 |   1 |3717 |6484 |3717 | 935 |  38k|  55k|1988 | 0.000000e+00 | 7.100000e+01 |    Inf 
293.20/293.24	c   293s|170000 |  6479 |372237 |   2.2 |  58M| 773 |  14 |3717 |6561 |3717 | 954 |  41k|  66k|2077 | 0.000000e+00 | 7.100000e+01 |    Inf 
314.20/314.24	c   314s|180000 |  6697 |407550 |   2.3 |  63M| 773 |   - |3717 |5997 |   0 |   0 |  44k|  77k|2135 | 0.000000e+00 | 7.100000e+01 |    Inf 
336.80/336.83	c   337s|190000 |  6835 |452062 |   2.4 |  69M| 773 |   - |3717 |6877 |   0 |   0 |  48k|  89k|2266 | 0.000000e+00 | 7.100000e+01 |    Inf 
361.10/361.13	c   361s|200000 |  7246 |511193 |   2.6 |  79M| 773 |   - |3717 |9117 |   0 |   0 |  56k| 102k|2390 | 0.000000e+00 | 7.100000e+01 |    Inf 
384.60/384.66	c   385s|210000 |  7508 |560192 |   2.7 |  86M| 773 |   1 |3717 |  10k|3717 | 953 |  61k| 116k|2506 | 0.000000e+00 | 7.100000e+01 |    Inf 
386.61/386.69	o 58
386.61/386.69	c * 387s|210769 |  6028 |565546 |   2.7 |  78M| 773 |   - |3717 |9563 |3717 | 938 |  61k| 117k|2509 | 0.000000e+00 | 5.800000e+01 |    Inf 
406.20/406.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
406.20/406.26	c   406s|220000 |  6221 |609974 |   2.8 |  82M| 773 |   1 |3717 |9017 |3717 | 953 |  65k| 129k|2612 | 0.000000e+00 | 5.800000e+01 |    Inf 
412.91/412.97	o 49
412.91/412.97	c * 413s|223361 |  5665 |623664 |   2.8 |  81M| 773 |   - |3717 |8480 |3717 | 942 |  66k| 133k|2626 | 0.000000e+00 | 4.900000e+01 |    Inf 
426.30/426.31	c   426s|230000 |  5763 |656061 |   2.9 |  83M| 773 |   - |3717 |7204 |   0 |   0 |  69k| 141k|2679 | 0.000000e+00 | 4.900000e+01 |    Inf 
446.90/446.99	c   447s|240000 |  6096 |700351 |   2.9 |  89M| 773 |   - |3717 |  10k|   0 |   0 |  72k| 154k|2797 | 0.000000e+00 | 4.900000e+01 |    Inf 
454.11/454.12	o 42
454.11/454.12	c * 454s|243526 |  5577 |712145 |   2.9 |  88M| 773 |   - |3717 |  10k|3717 | 947 |  72k| 159k|2802 | 0.000000e+00 | 4.200000e+01 |    Inf 
466.91/466.93	c   467s|250000 |  5684 |746869 |   3.0 |  89M| 773 |   - |3717 |8291 |   0 |   0 |  74k| 167k|2879 | 0.000000e+00 | 4.200000e+01 |    Inf 
486.21/486.23	c   486s|260000 |  5692 |793113 |   3.0 |  92M| 773 |  19 |3717 |  10k|3717 | 940 |  77k| 181k|2979 | 0.000000e+00 | 4.200000e+01 |    Inf 
505.80/505.82	c   506s|270000 |  5729 |844494 |   3.1 |  95M| 773 |   - |3717 |  12k|   0 |   0 |  80k| 194k|3091 | 0.000000e+00 | 4.200000e+01 |    Inf 
526.21/526.25	c   526s|280000 |  5801 |897468 |   3.2 |  97M| 773 |   7 |3717 |  11k|3717 | 957 |  83k| 206k|3179 | 0.000000e+00 | 4.200000e+01 |    Inf 
546.11/546.14	c   546s|290000 |  5844 |941401 |   3.2 | 100M| 773 |   1 |3717 |  11k|3717 | 907 |  85k| 219k|3252 | 0.000000e+00 | 4.200000e+01 |    Inf 
566.81/566.82	c   567s|300000 |  5983 |991973 |   3.3 | 103M| 773 |   - |3717 |  10k|   0 |   0 |  88k| 232k|3368 | 0.000000e+00 | 4.200000e+01 |    Inf 
586.81/586.83	c   587s|310000 |  6076 |  1032k|   3.3 | 106M| 773 |  19 |3717 |  11k|3717 | 922 |  90k| 244k|3426 | 0.000000e+00 | 4.200000e+01 |    Inf 
606.41/606.49	c   606s|320000 |  6160 |  1073k|   3.4 | 108M| 773 |   9 |3717 |9413 |3717 | 929 |  93k| 256k|3497 | 0.000000e+00 | 4.200000e+01 |    Inf 
626.01/626.06	c   626s|330000 |  6223 |  1114k|   3.4 | 110M| 773 |  27 |3717 |  10k|3717 | 943 |  94k| 268k|3555 | 0.000000e+00 | 4.200000e+01 |    Inf 
645.31/645.31	c   645s|340000 |  6230 |  1153k|   3.4 | 112M| 773 |   6 |3717 |9911 |3717 | 934 |  96k| 281k|3619 | 0.000000e+00 | 4.200000e+01 |    Inf 
664.71/664.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
664.71/664.77	c   665s|350000 |  6320 |  1197k|   3.4 | 114M| 773 |  21 |3717 |8511 |3717 | 941 |  99k| 294k|3691 | 0.000000e+00 | 4.200000e+01 |    Inf 
684.12/684.15	c   684s|360000 |  6402 |  1241k|   3.4 | 117M| 773 |   1 |3717 |9612 |3717 | 945 | 101k| 306k|3763 | 0.000000e+00 | 4.200000e+01 |    Inf 
703.31/703.37	c   703s|370000 |  6487 |  1283k|   3.5 | 120M| 773 |   - |3717 |  10k|   0 |   0 | 103k| 319k|3833 | 0.000000e+00 | 4.200000e+01 |    Inf 
720.71/720.76	o 41
720.71/720.76	c * 721s|378651 |  6580 |  1322k|   3.5 | 124M| 773 |   - |3717 |  10k|3717 | 961 | 104k| 330k|3890 | 0.000000e+00 | 4.100000e+01 |    Inf 
721.31/721.37	o 35
721.31/721.37	c * 721s|378948 |  6090 |  1323k|   3.5 | 117M| 773 |   - |3717 |  10k|3717 | 935 | 104k| 331k|3890 | 0.000000e+00 | 3.500000e+01 |    Inf 
723.31/723.34	c   723s|380000 |  6086 |  1327k|   3.5 | 117M| 773 |  26 |3717 |9800 |3717 | 931 | 104k| 332k|3904 | 0.000000e+00 | 3.500000e+01 |    Inf 
742.11/742.19	c   742s|390000 |  6143 |  1368k|   3.5 | 119M| 773 |   8 |3717 |  10k|3717 | 952 | 106k| 346k|3977 | 0.000000e+00 | 3.500000e+01 |    Inf 
755.41/755.48	o 33
755.41/755.48	c * 755s|397334 |  5933 |  1400k|   3.5 | 117M| 773 |   - |3717 |9135 |3717 | 959 | 107k| 357k|4020 | 0.000000e+00 | 3.300000e+01 |    Inf 
760.02/760.08	c   760s|400000 |  5972 |  1411k|   3.5 | 118M| 773 |   - |3717 |9186 |   0 |   0 | 108k| 360k|4043 | 0.000000e+00 | 3.300000e+01 |    Inf 
777.41/777.43	c   777s|410000 |  6104 |  1451k|   3.5 | 120M| 773 |   - |3717 |8554 |   0 |   0 | 110k| 373k|4107 | 0.000000e+00 | 3.300000e+01 |    Inf 
778.91/778.96	o 30
778.91/778.96	c * 779s|410909 |  5869 |  1454k|   3.5 | 118M| 773 |   - |3717 |8442 |3717 | 934 | 110k| 374k|4117 | 0.000000e+00 | 3.000000e+01 |    Inf 
794.91/794.94	c   795s|420000 |  5877 |  1495k|   3.6 | 119M| 773 |   1 |3717 |8472 |3717 | 933 | 112k| 386k|4171 | 0.000000e+00 | 3.000000e+01 |    Inf 
813.32/813.39	c   813s|430000 |  5840 |  1541k|   3.6 | 120M| 773 |   - |3717 |  10k|   0 |   0 | 113k| 400k|4238 | 0.000000e+00 | 3.000000e+01 |    Inf 
831.52/831.55	c   832s|440000 |  5876 |  1582k|   3.6 | 122M| 773 |   - |3717 |  11k|   0 |   0 | 115k| 413k|4295 | 0.000000e+00 | 3.000000e+01 |    Inf 
850.11/850.11	c   850s|450000 |  5932 |  1623k|   3.6 | 123M| 773 |  17 |3717 |  12k|3717 | 923 | 116k| 426k|4337 | 0.000000e+00 | 3.000000e+01 |    Inf 
869.12/869.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
869.12/869.11	c   869s|460000 |  6031 |  1664k|   3.6 | 126M| 773 |   - |3717 |  13k|   0 |   0 | 117k| 439k|4397 | 0.000000e+00 | 3.000000e+01 |    Inf 
887.42/887.40	c   887s|470000 |  6122 |  1701k|   3.6 | 127M| 773 |   - |3717 |  13k|   0 |   0 | 119k| 452k|4444 | 0.000000e+00 | 3.000000e+01 |    Inf 
906.12/906.19	c   906s|480000 |  6159 |  1742k|   3.6 | 128M| 773 |   - |3717 |  11k|   0 |   0 | 120k| 466k|4531 | 0.000000e+00 | 3.000000e+01 |    Inf 
924.82/924.86	c   925s|490000 |  6219 |  1782k|   3.6 | 130M| 773 |   7 |3717 |  12k|3717 | 940 | 122k| 479k|4586 | 0.000000e+00 | 3.000000e+01 |    Inf 
943.22/943.27	c   943s|500000 |  6265 |  1823k|   3.6 | 132M| 773 |  13 |3717 |  13k|3717 | 937 | 124k| 492k|4643 | 0.000000e+00 | 3.000000e+01 |    Inf 
962.43/962.44	c   962s|510000 |  6309 |  1862k|   3.7 | 133M| 773 |   - |3717 |  14k|   0 |   0 | 126k| 506k|4679 | 0.000000e+00 | 3.000000e+01 |    Inf 
982.23/982.30	c   982s|520000 |  6371 |  1908k|   3.7 | 135M| 773 |   - |3717 |  15k|   0 |   0 | 128k| 520k|4738 | 0.000000e+00 | 3.000000e+01 |    Inf 
1001.62/1001.61	c  1002s|530000 |  6374 |  1951k|   3.7 | 135M| 773 |  17 |3717 |  14k|3717 | 922 | 130k| 535k|4786 | 0.000000e+00 | 3.000000e+01 |    Inf 
1020.42/1020.48	c  1020s|540000 |  6401 |  1994k|   3.7 | 137M| 773 |  17 |3717 |  13k|3717 | 937 | 132k| 548k|4847 | 0.000000e+00 | 3.000000e+01 |    Inf 
1028.42/1028.45	o 24
1028.42/1028.45	c *1028s|544138 |  5930 |  2011k|   3.7 | 130M| 773 |   - |3717 |  14k|3717 | 933 | 132k| 553k|4888 | 0.000000e+00 | 2.400000e+01 |    Inf 
1039.62/1039.67	c  1040s|550000 |  5966 |  2039k|   3.7 | 131M| 773 |   - |3717 |  14k|   0 |   0 | 133k| 562k|4917 | 0.000000e+00 | 2.400000e+01 |    Inf 
1058.92/1058.94	c  1059s|560000 |  6055 |  2083k|   3.7 | 132M| 773 |   - |3717 |  13k|   0 |   0 | 135k| 575k|4964 | 0.000000e+00 | 2.400000e+01 |    Inf 
1076.12/1076.10	o 23
1076.12/1076.10	c *1076s|568829 |  6061 |  2120k|   3.7 | 132M| 773 |   - |3717 |  12k|3717 | 944 | 136k| 586k|5015 | 0.000000e+00 | 2.300000e+01 |    Inf 
1077.12/1077.13	o 21
1077.12/1077.13	c *1077s|569361 |  5825 |  2122k|   3.7 | 128M| 773 |   - |3717 |  12k|3717 | 937 | 136k| 587k|5016 | 0.000000e+00 | 2.100000e+01 |    Inf 
1078.32/1078.31	c  1078s|570000 |  5834 |  2125k|   3.7 | 128M| 773 |   - |3717 |  12k|   0 |   0 | 136k| 588k|5023 | 0.000000e+00 | 2.100000e+01 |    Inf 
1095.53/1095.58	o 16
1095.53/1095.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1095.53/1095.58	c *1096s|579461 |  5183 |  2167k|   3.7 | 116M| 773 |   - |3717 |  11k|3717 | 914 | 138k| 600k|5099 | 0.000000e+00 | 1.600000e+01 |    Inf 
1096.52/1096.58	c  1097s|580000 |  5191 |  2170k|   3.7 | 116M| 773 |   1 |3717 |  10k|3717 | 939 | 138k| 601k|5099 | 0.000000e+00 | 1.600000e+01 |    Inf 
1113.62/1113.65	c  1114s|590000 |  5208 |  2214k|   3.8 | 116M| 773 |  18 |3717 |  11k|3717 | 937 | 140k| 615k|5143 | 0.000000e+00 | 1.600000e+01 |    Inf 
1130.73/1130.74	c  1131s|600000 |  5228 |  2254k|   3.8 | 117M| 773 |   - |3717 |  11k|   0 |   0 | 141k| 628k|5177 | 0.000000e+00 | 1.600000e+01 |    Inf 
1134.52/1134.50	o 10
1134.52/1134.50	c *1134s|602140 |  4068 |  2263k|   3.8 |  92M| 773 |   - |3717 |  10k|3717 | 954 | 141k| 631k|5194 | 0.000000e+00 | 1.000000e+01 |    Inf 
1134.52/1134.51	o 8
1134.52/1134.51	c *1134s|602141 |  3963 |  2263k|   3.8 |  89M| 773 |   - |3717 |  10k|3717 | 954 | 141k| 631k|5194 | 0.000000e+00 | 8.000000e+00 |    Inf 
1147.42/1147.42	c  1147s|610000 |  3979 |  2301k|   3.8 |  90M| 773 |   1 |3717 |  10k|3717 | 914 | 142k| 642k|5231 | 0.000000e+00 | 8.000000e+00 |    Inf 
1164.52/1164.56	c  1165s|620000 |  4067 |  2351k|   3.8 |  91M| 773 |  28 |3717 |  12k|3717 | 934 | 144k| 655k|5284 | 0.000000e+00 | 8.000000e+00 |    Inf 
1183.22/1183.21	c  1183s|630000 |  4185 |  2407k|   3.8 |  93M| 773 |   - |3717 |  12k|   0 |   0 | 147k| 669k|5341 | 0.000000e+00 | 8.000000e+00 |    Inf 
1201.52/1201.54	c  1202s|640000 |  4274 |  2461k|   3.8 |  94M| 773 |   - |3717 |  14k|   0 |   0 | 149k| 683k|5396 | 0.000000e+00 | 8.000000e+00 |    Inf 
1219.53/1219.57	c  1220s|650000 |  4299 |  2513k|   3.9 |  94M| 773 |   7 |3717 |  13k|3717 | 943 | 150k| 698k|5453 | 0.000000e+00 | 8.000000e+00 |    Inf 
1237.73/1237.72	c  1238s|660000 |  4291 |  2568k|   3.9 |  95M| 773 |  21 |3717 |  13k|3717 | 938 | 152k| 713k|5513 | 0.000000e+00 | 8.000000e+00 |    Inf 
1256.13/1256.13	c  1256s|670000 |  4275 |  2622k|   3.9 |  95M| 773 |   - |3717 |  13k|   0 |   0 | 154k| 728k|5576 | 0.000000e+00 | 8.000000e+00 |    Inf 
1274.83/1274.86	c  1275s|680000 |  4248 |  2676k|   3.9 |  94M| 773 |  15 |3717 |  11k|3717 | 914 | 155k| 742k|5678 | 0.000000e+00 | 8.000000e+00 |    Inf 
1292.23/1292.20	c  1292s|690000 |  4362 |  2724k|   3.9 |  96M| 773 |   - |3717 |  13k|   0 |   0 | 157k| 755k|5716 | 0.000000e+00 | 8.000000e+00 |    Inf 
1309.42/1309.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1309.42/1309.45	c  1309s|700000 |  4475 |  2769k|   4.0 |  97M| 773 |   - |3717 |  13k|   0 |   0 | 159k| 769k|5774 | 0.000000e+00 | 8.000000e+00 |    Inf 
1327.23/1327.26	c  1327s|710000 |  4503 |  2820k|   4.0 |  98M| 773 |   - |3717 |  13k|   0 |   0 | 160k| 783k|5833 | 0.000000e+00 | 8.000000e+00 |    Inf 
1345.43/1345.49	c  1345s|720000 |  4591 |  2866k|   4.0 |  99M| 773 |   - |3717 |  15k|   0 |   0 | 162k| 797k|5878 | 0.000000e+00 | 8.000000e+00 |    Inf 
1363.83/1363.84	c  1364s|730000 |  4660 |  2911k|   4.0 | 100M| 773 |   6 |3717 |  15k|3717 | 929 | 164k| 812k|5903 | 0.000000e+00 | 8.000000e+00 |    Inf 
1383.02/1383.05	c  1383s|740000 |  4694 |  2960k|   4.0 | 101M| 773 |   - |3717 |  16k|   0 |   0 | 165k| 827k|5957 | 0.000000e+00 | 8.000000e+00 |    Inf 
1401.53/1401.59	c  1402s|750000 |  4693 |  3007k|   4.0 | 101M| 773 |   - |3717 |  16k|   0 |   0 | 167k| 841k|6027 | 0.000000e+00 | 8.000000e+00 |    Inf 
1420.52/1420.57	c  1421s|760000 |  4661 |  3057k|   4.0 | 101M| 773 |   1 |3717 |  15k|3717 | 926 | 169k| 856k|6073 | 0.000000e+00 | 8.000000e+00 |    Inf 
1439.03/1439.00	c  1439s|770000 |  4694 |  3106k|   4.0 | 102M| 773 |  27 |3717 |  15k|3717 | 941 | 171k| 870k|6105 | 0.000000e+00 | 8.000000e+00 |    Inf 
1457.03/1457.06	c  1457s|780000 |  4719 |  3151k|   4.0 | 103M| 773 |   - |3717 |  17k|   0 |   0 | 172k| 884k|6151 | 0.000000e+00 | 8.000000e+00 |    Inf 
1475.14/1475.16	c  1475s|790000 |  4712 |  3201k|   4.1 | 103M| 773 |   - |3717 |  16k|   0 |   0 | 174k| 899k|6214 | 0.000000e+00 | 8.000000e+00 |    Inf 
1494.23/1494.24	c  1494s|800000 |  4752 |  3255k|   4.1 | 104M| 773 |   - |3717 |  17k|   0 |   0 | 176k| 912k|6271 | 0.000000e+00 | 8.000000e+00 |    Inf 
1512.73/1512.78	c  1513s|810000 |  4852 |  3304k|   4.1 | 105M| 773 |   - |3717 |  17k|   0 |   0 | 178k| 926k|6305 | 0.000000e+00 | 8.000000e+00 |    Inf 
1531.33/1531.38	c  1531s|820000 |  4848 |  3351k|   4.1 | 105M| 773 |   1 |3717 |  16k|3717 | 914 | 180k| 940k|6355 | 0.000000e+00 | 8.000000e+00 |    Inf 
1549.73/1549.75	c  1550s|830000 |  4866 |  3398k|   4.1 | 106M| 773 |  15 |3717 |  17k|3717 | 927 | 181k| 954k|6414 | 0.000000e+00 | 8.000000e+00 |    Inf 
1568.54/1568.59	c  1569s|840000 |  4852 |  3448k|   4.1 | 107M| 773 |   - |3717 |  18k|   0 |   0 | 183k| 968k|6451 | 0.000000e+00 | 8.000000e+00 |    Inf 
1589.03/1589.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1589.03/1589.07	c  1589s|850000 |  4872 |  3502k|   4.1 | 108M| 773 |  27 |3717 |  19k|3717 | 931 | 185k| 982k|6493 | 0.000000e+00 | 8.000000e+00 |    Inf 
1608.63/1608.60	c  1609s|860000 |  4867 |  3551k|   4.1 | 108M| 773 |  17 |3717 |  21k|3717 | 914 | 187k| 997k|6549 | 0.000000e+00 | 8.000000e+00 |    Inf 
1628.74/1628.72	c  1629s|870000 |  4860 |  3599k|   4.1 | 108M| 773 |   1 |3717 |  19k|3717 | 922 | 188k|1010k|6607 | 0.000000e+00 | 8.000000e+00 |    Inf 
1648.74/1648.73	c  1649s|880000 |  4872 |  3645k|   4.1 | 108M| 773 |   - |3717 |  19k|   0 |   0 | 190k|1025k|6640 | 0.000000e+00 | 8.000000e+00 |    Inf 
1668.54/1668.60	c  1669s|890000 |  4919 |  3695k|   4.2 | 108M| 773 |  12 |3717 |  17k|3717 | 931 | 192k|1040k|6677 | 0.000000e+00 | 8.000000e+00 |    Inf 
1687.74/1687.77	c  1688s|900000 |  4904 |  3754k|   4.2 | 109M| 773 |  19 |3717 |  19k|3717 | 949 | 194k|1054k|6736 | 0.000000e+00 | 8.000000e+00 |    Inf 
1707.64/1707.62	c  1708s|910000 |  4949 |  3808k|   4.2 | 109M| 773 |   7 |3717 |  18k|3717 | 936 | 196k|1068k|6802 | 0.000000e+00 | 8.000000e+00 |    Inf 
1726.43/1726.49	c  1726s|920000 |  4923 |  3857k|   4.2 | 109M| 773 |   - |3717 |  18k|   0 |   0 | 198k|1083k|6824 | 0.000000e+00 | 8.000000e+00 |    Inf 
1746.24/1746.24	c  1746s|930000 |  4921 |  3908k|   4.2 | 110M| 773 |  17 |3717 |  19k|3717 | 935 | 199k|1097k|6878 | 0.000000e+00 | 8.000000e+00 |    Inf 
1765.54/1765.59	c  1766s|940000 |  4934 |  3956k|   4.2 | 111M| 773 |  10 |3717 |  21k|3717 | 957 | 201k|1112k|6929 | 0.000000e+00 | 8.000000e+00 |    Inf 
1785.34/1785.34	c  1785s|950000 |  4937 |  4005k|   4.2 | 111M| 773 |   - |3717 |  22k|   0 |   0 | 203k|1126k|6947 | 0.000000e+00 | 8.000000e+00 |    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      : 952291
1790.04/1790.01	c Primal Bound       : +8.00000000000000e+00 (191 solutions)
1790.04/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.01	c Gap                : infinite
1790.04/1790.04	s SATISFIABLE
1790.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1790.04	v -x1 
1790.04/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.04	c Solving Time       :    1789.98
1790.04/1790.04	c Original Problem   :
1790.04/1790.04	c   Problem name     : HOME/instance-2705597-1278572958.wbo
1790.04/1790.04	c   Variables        : 3863 (2047 binary, 0 integer, 1816 implicit integer, 0 continuous)
1790.04/1790.04	c   Constraints      : 4524 initial, 4524 maximal
1790.04/1790.04	c Presolved Problem  :
1790.04/1790.04	c   Problem name     : t_HOME/instance-2705597-1278572958.wbo
1790.04/1790.04	c   Variables        : 3717 (1974 binary, 0 integer, 1743 implicit integer, 0 continuous)
1790.04/1790.04	c   Constraints      : 4324 initial, 22802 maximal
1790.04/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.04	c   trivial          :       0.00         73          0          0          0          0          0          0          0
1790.04/1790.04	c   dualfix          :       0.00         73          0          0          0          0          0          0          0
1790.04/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.04/1790.04	c   setppc           :       0.00          0          0          0          0          0         22          0          0
1790.04/1790.04	c   linear           :       0.06          0          0          0       1836          0        105         87          0
1790.04/1790.04	c   indicator        :       0.00          0          0          0          0          0         73          0          0
1790.04/1790.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   root node        :          -       3254          -          -       3254          -          -          -          -
1790.04/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.04	c   integral         :          0          0          0     592925          0         34        398          0          0     896036
1790.04/1790.04	c   setppc           :         41          6    5563494     138778          1      24156     964224          0          0          0
1790.04/1790.04	c   linear           :       1743          6    5555374     144464          1     146466   21464740     203495          0          0
1790.04/1790.04	c   indicator        :       1743          0    5400422     144524          1       3948   13553995          0          0          0
1790.04/1790.04	c   logicor          :        797+         6    1645286     116025          1     209643    4030652          0          0          0
1790.04/1790.04	c   bounddisjunction :          0+         0     480268          0          0        159      15686          0          0          0
1790.04/1790.04	c   countsols        :          0          0          0     116025          1          0          0          0          0          0
1790.04/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.04	c   integral         :      17.13       0.00       0.00      17.13       0.00
1790.04/1790.04	c   setppc           :       8.75       0.00       8.68       0.07       0.00
1790.04/1790.04	c   linear           :     153.15       0.00     148.04       5.11       0.00
1790.04/1790.04	c   indicator        :     114.20       0.02      97.26      16.92       0.00
1790.04/1790.04	c   logicor          :     201.47       0.00     200.23       1.24       0.00
1790.04/1790.04	c   bounddisjunction :       3.75       0.00       3.75       0.00       0.00
1790.04/1790.04	c   countsols        :       0.02       0.00       0.00       0.02       0.00
1790.04/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.04	c   vbounds          :       1.40     210554          9      13945
1790.04/1790.04	c   rootredcost      :       0.79         43          0       1627
1790.04/1790.04	c   pseudoobj        :     174.61    5627867      48253   13520767
1790.04/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.04	c   propagation      :      25.37     428677     428606    2594354       30.2      14031       27.6          -
1790.04/1790.04	c   infeasible LP    :       2.54       8829       8829      70913       46.0         85       18.5          0
1790.04/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.04	c   applied globally :          -          -          -    1130058       23.2          -          -          -
1790.04/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.04	c   cut pool         :       0.00          5          -          -         15          -    (maximal pool size: 238)
1790.04/1790.04	c   redcost          :      46.31     602413          0     478415          0          0
1790.04/1790.04	c   impliedbounds    :       0.00          6          0          0          0          0
1790.04/1790.04	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.04	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.04	c   gomory           :       0.10          6          0          0       1074          0
1790.04/1790.04	c   strongcg         :       0.09          6          0          0        995          0
1790.04/1790.04	c   cmir             :       0.02          6          0          0          0          0
1790.04/1790.04	c   flowcover        :       0.06          6          0          0          0          0
1790.04/1790.04	c   clique           :       0.00          6          0          0          0          0
1790.04/1790.04	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.04	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.04	c   rapidlearning    :       0.07          1          0          0          0          0
1790.04/1790.04	c Pricers            :       Time      Calls       Vars
1790.04/1790.04	c   problem variables:       0.00          0          0
1790.04/1790.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.04	c   relpscost        :      16.74     448363         34        398          0          0     896036
1790.04/1790.04	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   inference        :      32.90     115984          0          0          0          0     232721
1790.04/1790.04	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.04	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.04	c   LP solutions     :       0.23          -         42
1790.04/1790.04	c   pseudo solutions :       0.00          -          0
1790.04/1790.04	c   intshifting      :       0.00          0          0
1790.04/1790.04	c   feaspump         :       0.01          1          0
1790.04/1790.04	c   oneopt           :       0.43         40          0
1790.04/1790.04	c   crossover        :       2.10         63          0
1790.04/1790.04	c   veclendiving     :       0.50        429          0
1790.04/1790.04	c   guideddiving     :       0.62        429          0
1790.04/1790.04	c   coefdiving       :       0.50        430          0
1790.04/1790.04	c   pscostdiving     :       0.50        430          0
1790.04/1790.04	c   linesearchdiving :       0.50        430          0
1790.04/1790.04	c   fracdiving       :       0.51        430          0
1790.04/1790.04	c   rootsoldiving    :       0.55        420          0
1790.04/1790.04	c   objpscostdiving  :       0.53        421          0
1790.04/1790.04	c   trivial          :       0.00          2          0
1790.04/1790.04	c   simplerounding   :       0.67     450087          0
1790.04/1790.04	c   zirounding       :       0.25       1000          0
1790.04/1790.04	c   rounding         :       1.01       9523          0
1790.04/1790.04	c   shifting         :       0.73       2956          0
1790.04/1790.04	c   twoopt           :       0.00          0          0
1790.04/1790.04	c   fixandinfer      :       0.00          0          0
1790.04/1790.04	c   intdiving        :       0.00          0          0
1790.04/1790.04	c   actconsdiving    :       0.00          0          0
1790.04/1790.04	c   octane           :       0.00          0          0
1790.04/1790.04	c   rens             :       0.03          1          0
1790.04/1790.04	c   rins             :       0.00          0          0
1790.04/1790.04	c   localbranching   :       0.00          0          0
1790.04/1790.04	c   mutation         :       0.00          0          0
1790.04/1790.04	c   dins             :       0.00          0          0
1790.04/1790.04	c   undercover       :       0.00          0          0
1790.04/1790.04	c   nlp              :       0.14          0          0
1790.04/1790.04	c   trysol           :       0.37        647        149
1790.04/1790.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.04	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.04	c   dual LP          :     561.65     493143    4015488       8.14    7149.47
1790.04/1790.04	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.04	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.04	c   diving/probing LP:       0.17         89       1188      13.35    7095.21
1790.04/1790.04	c   strong branching :      13.00       6968     140644      20.18   10819.61
1790.04/1790.04	c     (at root node) :          -         16       3424     214.00          -
1790.04/1790.04	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.04	c B&B Tree           :
1790.04/1790.04	c   number of runs   :          1
1790.04/1790.04	c   nodes            :     952291
1790.04/1790.04	c   nodes (total)    :     952291
1790.04/1790.04	c   nodes left       :       4926
1790.04/1790.04	c   max depth        :        773
1790.04/1790.04	c   max depth (total):        773
1790.04/1790.04	c   backtracks       :      60708 (6.4%)
1790.04/1790.04	c   delayed cutoffs  :      56134
1790.04/1790.04	c   repropagations   :    3038281 (9432432 domain reductions, 53129 cutoffs)
1790.04/1790.04	c   avg switch length:       7.90
1790.04/1790.04	c   switching time   :     233.96
1790.04/1790.04	c Solution           :
1790.04/1790.04	c   Solutions found  :        191 (43 improvements)
1790.04/1790.04	c   First Solution   : +8.86900000000000e+04   (in run 1, after 64 nodes, 3.27 seconds, depth 23, found by <trysol>)
1790.04/1790.04	c   Primal Bound     : +8.00000000000000e+00   (in run 1, after 602141 nodes, 1134.48 seconds, depth 67, found by <relaxation>)
1790.04/1790.04	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.04	c   Gap              :   infinite
1790.04/1790.04	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.04	c   Root Iterations  :        287
1790.14/1790.18	c Time complete: 1790.22.

Verifier Data 

OK	8

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705597-1278572958/watcher-2705597-1278572958 -o /tmp/evaluation-result-2705597-1278572958/solver-2705597-1278572958 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705597-1278572958.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.33 0.08 0.02 4/178 21404
/proc/meminfo: memFree=28978196/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=12340 CPUtime=0
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 1920 0 0 0 0 0 0 0 25 0 1 0 25509692 12636160 1838 4089446400 4194304 10345943 140735751794400 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21404/statm: 3085 1838 429 1502 0 1578 0

[startup+0.00837097 s]
/proc/loadavg: 0.33 0.08 0.02 4/178 21404
/proc/meminfo: memFree=28978196/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=13332 CPUtime=0
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 2183 0 0 0 0 0 0 0 25 0 1 0 25509692 13651968 2101 4089446400 4194304 10345943 140735751794400 18446744073709551615 4507032 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21404/statm: 3333 2101 429 1502 0 1826 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13332

[startup+0.10146 s]
/proc/loadavg: 0.33 0.08 0.02 4/178 21404
/proc/meminfo: memFree=28978196/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=33968 CPUtime=0.09
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 7513 0 0 0 9 0 0 0 25 0 1 0 25509692 34783232 7077 4089446400 4194304 10345943 140735751794400 18446744073709551615 4288140 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 8492 7077 542 1502 0 6985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33968

[startup+0.300421 s]
/proc/loadavg: 0.33 0.08 0.02 4/178 21404
/proc/meminfo: memFree=28978196/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=42084 CPUtime=0.29
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 14430 0 0 0 27 2 0 0 25 0 1 0 25509692 43094016 8977 4089446400 4194304 10345943 140735751794400 18446744073709551615 6197315 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 10521 8977 747 1502 0 9014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42084

[startup+0.700237 s]
/proc/loadavg: 0.33 0.08 0.02 4/178 21404
/proc/meminfo: memFree=28978196/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=54460 CPUtime=0.69
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 21393 0 0 0 66 3 0 0 25 0 1 0 25509692 55767040 11831 4089446400 4194304 10345943 140735751794400 18446744073709551615 6880068 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 13615 11831 777 1502 0 12108 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54460

[startup+1.50014 s]
/proc/loadavg: 0.33 0.08 0.02 3/179 21405
/proc/meminfo: memFree=28934420/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=55032 CPUtime=1.49
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 22261 0 0 0 145 4 0 0 25 0 1 0 25509692 56352768 11741 4089446400 4194304 10345943 140735751794400 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 13758 11741 779 1502 0 12251 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55032

[startup+3.10092 s]
/proc/loadavg: 0.33 0.08 0.02 3/179 21405
/proc/meminfo: memFree=28934676/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=55128 CPUtime=3.09
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 24564 0 0 0 303 6 0 0 25 0 1 0 25509692 56451072 11768 4089446400 4194304 10345943 140735751794400 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 13782 11768 779 1502 0 12275 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55128

[startup+6.3003 s]
/proc/loadavg: 0.46 0.11 0.03 3/179 21405
/proc/meminfo: memFree=28929480/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=60524 CPUtime=6.29
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 37037 0 0 0 620 9 0 0 25 0 1 0 25509692 61976576 13127 4089446400 4194304 10345943 140735751794400 18446744073709551615 4484356 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 15131 13127 783 1502 0 13624 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60524

[startup+12.7002 s]
/proc/loadavg: 0.59 0.14 0.04 3/179 21405
/proc/meminfo: memFree=28916088/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=71660 CPUtime=12.69
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 48727 0 0 0 1257 12 0 0 25 0 1 0 25509692 73379840 16097 4089446400 4194304 10345943 140735751794400 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 17915 16097 783 1502 0 16408 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71660

[startup+25.5009 s]
/proc/loadavg: 0.90 0.23 0.08 3/179 21405
/proc/meminfo: memFree=28891580/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=90984 CPUtime=25.49
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 61296 0 0 0 2534 15 0 0 25 0 1 0 25509692 93167616 20716 4089446400 4194304 10345943 140735751794400 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 22746 20716 786 1502 0 21239 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90984

[startup+51.1004 s]
/proc/loadavg: 1.27 0.37 0.13 3/179 21407
/proc/meminfo: memFree=28856176/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=122300 CPUtime=51.09
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 73639 0 0 0 5089 20 0 0 25 0 1 0 25509692 125235200 28800 4089446400 4194304 10345943 140735751794400 18446744073709551615 6803014 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 30575 28800 786 1502 0 29068 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 122300

[startup+102.306 s]
/proc/loadavg: 1.68 0.62 0.22 3/179 21407
/proc/meminfo: memFree=28784332/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=190652 CPUtime=102.3
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 94484 0 0 0 10202 28 0 0 25 0 1 0 25509692 195227648 45653 4089446400 4194304 10345943 140735751794400 18446744073709551615 6138945 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 47663 45653 786 1502 0 46156 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 190652

[startup+162.3 s]
/proc/loadavg: 1.88 0.87 0.33 3/179 21409
/proc/meminfo: memFree=28696616/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=272520 CPUtime=162.29
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 191693 0 0 0 16176 53 0 0 25 0 1 0 25509692 279060480 66318 4089446400 4194304 10345943 140735751794400 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 68130 66318 787 1502 0 66623 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 272520

[startup+222.301 s]
/proc/loadavg: 1.95 1.07 0.43 3/179 21411
/proc/meminfo: memFree=28605520/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=366336 CPUtime=222.3
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 230802 0 0 0 22157 73 0 0 25 0 1 0 25509692 375128064 87958 4089446400 4194304 10345943 140735751794400 18446744073709551615 4736469 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 91584 87958 787 1502 0 90077 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 366336

[startup+282.301 s]
/proc/loadavg: 1.98 1.24 0.53 3/179 21413
/proc/meminfo: memFree=28539244/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=434056 CPUtime=282.3
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 300021 0 0 0 28134 96 0 0 25 0 1 0 25509692 444473344 103690 4089446400 4194304 10345943 140735751794400 18446744073709551615 6528201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 108514 103690 787 1502 0 107007 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 434056

[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.62 3/179 21415
/proc/meminfo: memFree=28515744/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=457348 CPUtime=342.3
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 310265 0 0 0 34120 110 0 0 25 0 1 0 25509692 468324352 108625 4089446400 4194304 10345943 140735751794400 18446744073709551615 5926416 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 114337 108625 787 1502 0 112830 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 457348

[startup+402.301 s]
/proc/loadavg: 1.99 1.49 0.70 3/179 21415
/proc/meminfo: memFree=28496828/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=477984 CPUtime=402.3
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 329384 0 0 0 40103 127 0 0 25 0 1 0 25509692 489455616 113325 4089446400 4194304 10345943 140735751794400 18446744073709551615 6528242 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 119496 113325 787 1502 0 117989 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 477984

[startup+462.301 s]
/proc/loadavg: 2.03 1.59 0.78 3/179 21417
/proc/meminfo: memFree=28485496/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=487376 CPUtime=462.31
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 350937 0 0 0 46086 145 0 0 25 0 1 0 25509692 499073024 115577 4089446400 4194304 10345943 140735751794400 18446744073709551615 5614764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 121844 115577 799 1502 0 120337 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 487376

[startup+522.301 s]
/proc/loadavg: 2.01 1.66 0.86 3/179 21419
/proc/meminfo: memFree=28472424/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=497596 CPUtime=522.31
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 363465 0 0 0 52069 162 0 0 25 0 1 0 25509692 509538304 117916 4089446400 4194304 10345943 140735751794400 18446744073709551615 6777168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 124399 117916 799 1502 0 122892 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 497596

[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.93 3/179 21424
/proc/meminfo: memFree=28464016/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=503728 CPUtime=582.31
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 371444 0 0 0 58055 176 0 0 25 0 1 0 25509692 515817472 119373 4089446400 4194304 10345943 140735751794400 18446744073709551615 5614724 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 125932 119373 799 1502 0 124425 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 503728

[startup+642.301 s]
/proc/loadavg: 2.00 1.77 0.99 3/179 21426
/proc/meminfo: memFree=28456072/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=511356 CPUtime=642.31
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 375742 0 0 0 64042 189 0 0 25 0 1 0 25509692 523628544 121123 4089446400 4194304 10345943 140735751794400 18446744073709551615 5026443 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 127839 121123 799 1502 0 126332 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 511356

[startup+702.301 s]

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

/proc/meminfo: memFree=28419268/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=546640 CPUtime=1002.32
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 443362 0 0 0 99956 276 0 0 25 0 1 0 25509692 559759360 129663 4089446400 4194304 10345943 140735751794400 18446744073709551615 4214256 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 136660 129663 799 1502 0 135153 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 546640

[startup+1062.3 s]
/proc/loadavg: 2.02 1.94 1.35 3/179 21436
/proc/meminfo: memFree=28414600/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=553392 CPUtime=1062.32
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 461136 0 0 0 105940 292 0 0 25 0 1 0 25509692 566673408 130770 4089446400 4194304 10345943 140735751794400 18446744073709551615 5614724 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 138348 130770 799 1502 0 136841 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 553392

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/179 21438
/proc/meminfo: memFree=28412448/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=554864 CPUtime=1122.32
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 491752 0 0 0 111920 312 0 0 25 0 1 0 25509692 568180736 131311 4089446400 4194304 10345943 140735751794400 18446744073709551615 7546994 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 138716 131311 799 1502 0 137209 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 554864

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/179 21440
/proc/meminfo: memFree=28412148/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=553796 CPUtime=1182.32
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 505547 0 0 0 117902 330 0 0 25 0 1 0 25509692 567087104 131233 4089446400 4194304 10345943 140735751794400 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 138449 131233 799 1502 0 136942 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 553796

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/179 21442
/proc/meminfo: memFree=28409976/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=554232 CPUtime=1242.32
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 506880 0 0 0 123887 345 0 0 25 0 1 0 25509692 567533568 131264 4089446400 4194304 10345943 140735751794400 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 138558 131264 799 1502 0 137051 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 554232

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/179 21442
/proc/meminfo: memFree=28409664/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=554436 CPUtime=1302.34
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 506934 0 0 0 129871 363 0 0 25 0 1 0 25509692 567742464 131318 4089446400 4194304 10345943 140735751794400 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 138609 131318 799 1502 0 137102 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 554436

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 21444
/proc/meminfo: memFree=28408744/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=553572 CPUtime=1362.33
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 508612 0 0 0 135855 378 0 0 25 0 1 0 25509692 566857728 131262 4089446400 4194304 10345943 140735751794400 18446744073709551615 5089523 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 138393 131262 799 1502 0 136886 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 553572

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 21446
/proc/meminfo: memFree=28406712/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=555060 CPUtime=1422.34
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 510565 0 0 0 141840 394 0 0 25 0 1 0 25509692 568381440 131333 4089446400 4194304 10345943 140735751794400 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 138765 131333 799 1502 0 137258 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 555060

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 21448
/proc/meminfo: memFree=28405036/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=555540 CPUtime=1482.33
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 512340 0 0 0 147824 409 0 0 25 0 1 0 25509692 568872960 131661 4089446400 4194304 10345943 140735751794400 18446744073709551615 6119400 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 138885 131661 799 1502 0 137378 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 555540

[startup+1542.3 s]
/proc/loadavg: 2.07 1.99 1.60 3/179 21450
/proc/meminfo: memFree=28401632/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=557552 CPUtime=1542.33
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 515922 0 0 0 153809 424 0 0 25 0 1 0 25509692 570933248 131945 4089446400 4194304 10345943 140735751794400 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 139388 131945 799 1502 0 137881 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 557552

[startup+1602.3 s]
/proc/loadavg: 2.02 1.99 1.62 3/179 21450
/proc/meminfo: memFree=28398480/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=559100 CPUtime=1602.34
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 517991 0 0 0 159797 437 0 0 25 0 1 0 25509692 572518400 132091 4089446400 4194304 10345943 140735751794400 18446744073709551615 6031922 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 139775 132091 799 1502 0 138268 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 559100

[startup+1662.3 s]
/proc/loadavg: 2.01 1.99 1.64 3/179 21452
/proc/meminfo: memFree=28395192/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=560916 CPUtime=1662.33
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 519280 0 0 0 165780 453 0 0 25 0 1 0 25509692 574377984 132505 4089446400 4194304 10345943 140735751794400 18446744073709551615 4216715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 140229 132505 799 1502 0 138722 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 560916

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/179 21454
/proc/meminfo: memFree=28392272/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=559636 CPUtime=1722.34
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 521955 0 0 0 171766 468 0 0 25 0 1 0 25509692 573067264 132570 4089446400 4194304 10345943 140735751794400 18446744073709551615 6715432 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 139909 132570 799 1502 0 138402 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 559636

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 21456
/proc/meminfo: memFree=28389452/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=562420 CPUtime=1782.34
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 522937 0 0 0 177751 483 0 0 25 0 1 0 25509692 575918080 132955 4089446400 4194304 10345943 140735751794400 18446744073709551615 4681485 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 140605 132955 799 1502 0 139098 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 562420

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 21483
/proc/meminfo: memFree=28457148/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=562420 CPUtime=1785.54
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 523063 0 0 0 178071 483 0 0 25 0 1 0 25509692 575918080 133081 4089446400 4194304 10345943 140735751794400 18446744073709551615 6702920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 140605 133081 799 1502 0 139098 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 562420

[startup+1788.7 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 21483
/proc/meminfo: memFree=28436280/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=563424 CPUtime=1788.74
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 523161 0 0 0 178389 485 0 0 25 0 1 0 25509692 576946176 133179 4089446400 4194304 10345943 140735751794400 18446744073709551615 6802983 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 140856 133179 799 1502 0 139349 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 563424

[startup+1789.5 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 21483
/proc/meminfo: memFree=28436280/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=563664 CPUtime=1789.54
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 523188 0 0 0 178469 485 0 0 25 0 1 0 25509692 577191936 133206 4089446400 4194304 10345943 140735751794400 18446744073709551615 6777361 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 140916 133206 799 1502 0 139409 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 563664

[startup+1789.9 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 21483
/proc/meminfo: memFree=28436156/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=563664 CPUtime=1789.94
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 523188 0 0 0 178509 485 0 0 25 0 1 0 25509692 577191936 133206 4089446400 4194304 10345943 140735751794400 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21404/statm: 140916 133206 799 1502 0 139409 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 563664

[startup+1790.1 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 21483
/proc/meminfo: memFree=28436156/32950904 swapFree=67111528/67111528
[pid=21404] ppid=21402 vsize=563664 CPUtime=1790.14
/proc/21404/stat : 21404 (pbscip.linux.x8) R 21402 21404 21187 0 -1 4202496 523192 0 0 0 178529 485 0 0 25 0 1 0 25509692 577191936 133210 4089446400 4194304 10345943 140735751794400 18446744073709551615 6150560 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21404/statm: 140916 133210 800 1502 0 139409 0
Current children cumulated CPU time (s) 1790.14
Current children cumulated vsize (KiB) 563664

Child status: 0
Real time (s): 1790.18
CPU time (s): 1790.23
CPU user time (s): 1785.36
CPU system time (s): 4.87326
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 566236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.36
system time used= 4.87326
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1243

runsolver used 2.6216 second user time and 5.53416 second system time

The end

Launcher Data 

Begin job on node121 at 2010-07-08 09:09:18
IDJOB=2705597
IDBENCH=78941
IDSOLVER=1214
FILE ID=node121/2705597-1278572958
PBS_JOBID= 11240211
Free space on /tmp= 73656 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.1900558106--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-2705597-1278572958/watcher-2705597-1278572958 -o /tmp/evaluation-result-2705597-1278572958/solver-2705597-1278572958 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705597-1278572958.wbo -t 1800 -m 3800

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

MD5SUM BENCH= eba88192ede2bf17faa7af9ad7b0465e
RANDOM SEED=1581053821

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      28978476 kB
Buffers:        148888 kB
Cached:        3565708 kB
SwapCached:          0 kB
Active:        1459312 kB
Inactive:      2352492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      28978476 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25744 kB
Writeback:           0 kB
AnonPages:       96872 kB
Mapped:          17688 kB
Slab:            96596 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   244000 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= 73644 MiB
End job on node121 at 2010-07-08 09:39:08