Trace number 2705059

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.32 1790.27

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900563250--soft-0-100-0.wbo
MD5SUMcf1e130a7c7d84197ef06427870fc4d7
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark208.79
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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-2705059-1278578334.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.11	o 135279
0.09/0.11	c feasible solution found by trivial heuristic, objective value  1.352790e+05
0.09/0.11	c presolving:
0.09/0.12	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.12	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.17	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (3 rounds):
0.09/0.17	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17	c  5391 implications, 0 cliques
0.09/0.17	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.17	c    2707 constraints of type <linear>
0.09/0.17	c    2707 constraints of type <indicator>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.12
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.3
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1789.98
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17	c # [type: int, range: [1,2], default: 1]
0.09/0.17	c timing/clocktype = 2
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/indicator/addCouplingCons = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.18	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.18	c t 0.1s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   101 |     - |  19M|   0 |  35 |5645 |5414 |5645 | 120 | 120 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   133 |     - |  19M|   0 |  38 |5645 |5414 |5645 | 150 | 150 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   184 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.352790e+05 |    Inf 
0.49/0.51	c   0.5s|     1 |     2 |   184 |     - |  20M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |  32 | 0.000000e+00 | 1.352790e+05 |    Inf 
15.40/15.42	o 358
15.40/15.42	c *15.4s|  7507 |  6515 |  5638 |   0.7 |  41M|2497 |   - |5645 |5515 |5645 | 204 |1438 | 101 | 682 | 0.000000e+00 | 3.580000e+02 |    Inf 
19.00/19.06	c  19.0s| 10000 |  9008 |  5857 |   0.6 |  46M|2497 |   0 |5645 |5515 |5645 | 198 |1489 | 101 | 686 | 0.000000e+00 | 3.580000e+02 |    Inf 
25.09/25.15	o 357
25.09/25.15	c *25.1s| 13000 | 11857 |  7156 |   0.5 |  54M|2497 |   - |5645 |5855 |5645 | 203 |1898 | 441 | 717 | 0.000000e+00 | 3.570000e+02 |    Inf 
27.19/27.24	o 344
27.19/27.24	c *27.2s| 13881 | 12407 |  7763 |   0.5 |  56M|2497 |   - |5645 |6038 |5645 | 207 |2077 | 624 | 720 | 0.000000e+00 | 3.440000e+02 |    Inf 
34.40/34.43	o 318
34.40/34.43	c *34.4s| 16577 | 14093 | 10845 |   0.6 |  65M|2497 |   - |5645 |6989 |5645 | 211 |2942 |1575 | 763 | 0.000000e+00 | 3.180000e+02 |    Inf 
34.40/34.43	o 309
34.40/34.43	c *34.4s| 16578 | 13894 | 10854 |   0.6 |  64M|2497 |   - |5645 |6989 |5645 | 211 |2942 |1575 | 763 | 0.000000e+00 | 3.090000e+02 |    Inf 
37.89/37.99	o 300
37.89/37.99	c *38.0s| 17845 | 14718 | 13023 |   0.7 |  68M|2497 |   - |5645 |7330 |5645 | 213 |3464 |1916 | 803 | 0.000000e+00 | 3.000000e+02 |    Inf 
37.99/38.00	o 281
37.99/38.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
37.99/38.00	c *38.0s| 17846 | 14223 | 13023 |   0.7 |  66M|2497 |   - |5645 |7330 |5645 | 213 |3464 |1916 | 803 | 0.000000e+00 | 2.810000e+02 |    Inf 
38.69/38.72	o 266
38.69/38.72	c *38.7s| 18112 | 13983 | 13232 |   0.7 |  65M|2497 |   - |5645 |7411 |5645 | 218 |3526 |1997 | 811 | 0.000000e+00 | 2.660000e+02 |    Inf 
42.19/42.26	o 260
42.19/42.26	c *42.2s| 19337 | 14770 | 15162 |   0.8 |  69M|2497 |   - |5645 |7844 |5645 | 196 |3977 |2434 | 876 | 0.000000e+00 | 2.600000e+02 |    Inf 
42.29/42.31	o 210
42.29/42.31	c *42.3s| 19346 | 12442 | 15164 |   0.8 |  60M|2497 |   - |5645 |7852 |5645 | 196 |3977 |2442 | 876 | 0.000000e+00 | 2.100000e+02 |    Inf 
42.29/42.33	o 199
42.29/42.33	c *42.3s| 19347 | 11884 | 15164 |   0.8 |  59M|2497 |   - |5645 |7852 |5645 | 196 |3977 |2442 | 876 | 0.000000e+00 | 1.990000e+02 |    Inf 
44.39/44.40	c  44.4s| 20000 | 12420 | 16216 |   0.8 |  61M|2497 |   0 |5645 |8121 |5645 | 202 |4263 |2721 | 912 | 0.000000e+00 | 1.990000e+02 |    Inf 
57.20/57.28	o 196
57.20/57.28	c *57.2s| 24085 | 15193 | 25455 |   1.0 |  76M|2497 |   - |5645 |9655 |5645 | 203 |6459 |4744 |1046 | 0.000000e+00 | 1.960000e+02 |    Inf 
76.79/76.87	c  76.8s| 30000 | 19465 | 42410 |   1.4 | 103M|2497 |   - |5645 |  10k|   0 |   0 |  10k|7638 |1308 | 0.000000e+00 | 1.960000e+02 |    Inf 
91.09/91.18	o 185
91.09/91.18	c *91.2s| 34578 | 21893 | 52020 |   1.5 | 116M|2497 |   - |5645 |  10k|5645 | 259 |  13k|9704 |1371 | 0.000000e+00 | 1.850000e+02 |    Inf 
91.19/91.24	o 183
91.19/91.24	c *91.2s| 34653 | 21699 | 52024 |   1.5 | 116M|2497 |   - |5645 |  10k|5645 | 259 |  13k|9704 |1371 | 0.000000e+00 | 1.830000e+02 |    Inf 
91.40/91.48	o 169
91.40/91.48	c *91.4s| 34721 | 20299 | 52297 |   1.5 | 111M|2497 |   - |5645 |  10k|5645 | 236 |  13k|9730 |1372 | 0.000000e+00 | 1.690000e+02 |    Inf 
92.00/92.01	o 163
92.00/92.01	c *92.0s| 34852 | 19705 | 52885 |   1.5 | 110M|2497 |   - |5645 |  10k|5645 | 229 |  13k|9820 |1375 | 0.000000e+00 | 1.630000e+02 |    Inf 
93.09/93.19	o 162
93.09/93.19	c *93.2s| 35123 | 19762 | 54036 |   1.5 | 111M|2497 |   - |5645 |  10k|5645 | 231 |  13k|9975 |1383 | 0.000000e+00 | 1.620000e+02 |    Inf 
93.19/93.21	o 157
93.19/93.21	c *93.2s| 35132 | 19100 | 54069 |   1.5 | 108M|2497 |   - |5645 |  10k|5645 | 232 |  13k|9983 |1383 | 0.000000e+00 | 1.570000e+02 |    Inf 
93.19/93.22	o 147
93.19/93.22	c *93.2s| 35133 | 17936 | 54069 |   1.5 | 102M|2497 |   - |5645 |  10k|5645 | 232 |  13k|9983 |1383 | 0.000000e+00 | 1.470000e+02 |    Inf 
93.39/93.47	o 145
93.39/93.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
93.39/93.47	c *93.4s| 35204 | 17791 | 54377 |   1.5 | 101M|2497 |   - |5645 |  10k|5645 | 217 |  13k|  10k|1388 | 0.000000e+00 | 1.450000e+02 |    Inf 
96.99/97.09	o 143
96.99/97.09	c *97.1s| 36243 | 18282 | 57308 |   1.6 | 104M|2497 |   - |5645 |  10k|5645 | 215 |  14k|  10k|1407 | 0.000000e+00 | 1.430000e+02 |    Inf 
104.39/104.46	o 133
104.39/104.46	c * 104s| 38262 | 18454 | 62735 |   1.6 | 106M|2497 |   - |5645 |  10k|5645 | 222 |  15k|  11k|1430 | 0.000000e+00 | 1.330000e+02 |    Inf 
105.40/105.44	o 127
105.40/105.44	c * 105s| 38519 | 17916 | 63620 |   1.6 | 103M|2497 |   - |5645 |9833 |5645 | 213 |  16k|  11k|1433 | 0.000000e+00 | 1.270000e+02 |    Inf 
110.70/110.75	c   111s| 40000 | 18840 | 68096 |   1.7 | 109M|2497 |   0 |5645 |9153 |5645 | 212 |  17k|  12k|1465 | 0.000000e+00 | 1.270000e+02 |    Inf 
114.19/114.23	o 126
114.19/114.23	c * 114s| 41160 | 19600 | 70974 |   1.7 | 113M|2497 |   - |5645 |9064 |5645 | 263 |  17k|  13k|1492 | 0.000000e+00 | 1.260000e+02 |    Inf 
126.50/126.57	o 123
126.50/126.57	c * 127s| 44827 | 21778 | 80114 |   1.8 | 125M|2497 |   - |5645 |9500 |5645 | 243 |  20k|  15k|1593 | 0.000000e+00 | 1.230000e+02 |    Inf 
127.80/127.81	o 114
127.80/127.81	c * 128s| 45331 | 20884 | 81049 |   1.8 | 117M|2497 |   - |5645 |9338 |5645 | 251 |  20k|  15k|1616 | 0.000000e+00 | 1.140000e+02 |    Inf 
127.80/127.82	o 104
127.80/127.82	c * 128s| 45332 | 19142 | 81049 |   1.8 | 109M|2497 |   - |5645 |9338 |5645 | 251 |  20k|  15k|1616 | 0.000000e+00 | 1.040000e+02 |    Inf 
143.90/143.99	c   144s| 50000 | 22051 | 92862 |   1.9 | 131M|2497 |   0 |5645 |8383 |5645 | 238 |  23k|  18k|1739 | 0.000000e+00 | 1.040000e+02 |    Inf 
146.09/146.15	o 92
146.09/146.15	c * 146s| 50697 | 19376 | 93905 |   1.8 | 121M|2497 |   - |5645 |8337 |5645 | 212 |  24k|  18k|1748 | 0.000000e+00 | 9.200000e+01 |    Inf 
179.40/179.49	c   179s| 60000 | 24311 |122523 |   2.0 | 163M|2497 |   0 |5645 |8001 |5645 | 220 |  32k|  25k|2041 | 0.000000e+00 | 9.200000e+01 |    Inf 
215.70/215.77	c   216s| 70000 | 29817 |155661 |   2.2 | 212M|2497 |   0 |5645 |7715 |5645 | 220 |  42k|  33k|2337 | 0.000000e+00 | 9.200000e+01 |    Inf 
215.70/215.79	o 87
215.70/215.79	c * 216s| 70001 | 28506 |155673 |   2.2 | 207M|2497 |   - |5645 |7715 |5645 | 220 |  42k|  33k|2337 | 0.000000e+00 | 8.700000e+01 |    Inf 
252.00/252.02	c   252s| 80000 | 33810 |186473 |   2.3 | 249M|2497 |   0 |5645 |7160 |5645 | 221 |  51k|  40k|2569 | 0.000000e+00 | 8.700000e+01 |    Inf 
286.90/286.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
286.90/286.91	c   287s| 90000 | 39117 |214759 |   2.4 | 294M|2497 |   5 |5645 |6902 |5645 | 191 |  60k|  48k|2796 | 0.000000e+00 | 8.700000e+01 |    Inf 
298.40/298.46	o 86
298.40/298.46	c * 298s| 92924 | 40175 |225110 |   2.4 | 307M|2497 |   - |5645 |6551 |5645 | 192 |  63k|  51k|2863 | 0.000000e+00 | 8.600000e+01 |    Inf 
298.40/298.49	o 85
298.40/298.49	c * 298s| 92926 | 39830 |225132 |   2.4 | 305M|2497 |   - |5645 |6479 |5645 | 192 |  63k|  51k|2863 | 0.000000e+00 | 8.500000e+01 |    Inf 
323.20/323.28	c   323s|100000 | 43472 |242682 |   2.4 | 331M|2497 |   0 |5645 |6887 |5645 | 196 |  68k|  56k|2961 | 0.000000e+00 | 8.500000e+01 |    Inf 
359.30/359.36	c   359s|110000 | 48303 |271161 |   2.5 | 373M|2497 |   - |5645 |6950 |   0 |   0 |  77k|  64k|3144 | 0.000000e+00 | 8.500000e+01 |    Inf 
377.80/377.88	o 84
377.80/377.88	c * 378s|114959 | 50550 |287448 |   2.5 | 392M|2497 |   - |5645 |6958 |5645 | 216 |  82k|  68k|3225 | 0.000000e+00 | 8.400000e+01 |    Inf 
377.80/377.89	o 83
377.80/377.89	c * 378s|114960 | 50303 |287448 |   2.5 | 391M|2497 |   - |5645 |6958 |5645 | 216 |  82k|  68k|3225 | 0.000000e+00 | 8.300000e+01 |    Inf 
383.00/383.07	o 78
383.00/383.07	c * 383s|116695 | 49374 |290568 |   2.5 | 388M|2497 |   - |5645 |6790 |5645 | 217 |  83k|  69k|3257 | 0.000000e+00 | 7.800000e+01 |    Inf 
383.20/383.20	o 57
383.20/383.20	c * 383s|116734 | 42436 |290569 |   2.5 | 345M|2497 |   - |5645 |6602 |5645 | 217 |  83k|  69k|3257 | 0.000000e+00 | 5.700000e+01 |    Inf 
383.20/383.21	o 56
383.20/383.21	c * 383s|116735 | 42303 |290569 |   2.5 | 343M|2497 |   - |5645 |6602 |5645 | 217 |  83k|  69k|3257 | 0.000000e+00 | 5.600000e+01 |    Inf 
393.91/393.92	c   394s|120000 | 42810 |303881 |   2.5 | 350M|2497 |   0 |5645 |5928 |5645 | 211 |  86k|  73k|3364 | 0.000000e+00 | 5.600000e+01 |    Inf 
398.70/398.78	o 53
398.70/398.78	c * 399s|121380 | 42441 |311022 |   2.6 | 348M|2497 |   - |5645 |6102 |5645 | 212 |  89k|  75k|3423 | 0.000000e+00 | 5.300000e+01 |    Inf 
398.70/398.78	o 52
398.70/398.78	c * 399s|121381 | 42193 |311022 |   2.6 | 347M|2497 |   - |5645 |6102 |5645 | 212 |  89k|  75k|3423 | 0.000000e+00 | 5.200000e+01 |    Inf 
409.40/409.47	o 42
409.40/409.47	c * 409s|124671 | 38948 |327047 |   2.6 | 323M|2497 |   - |5645 |6469 |5645 | 227 |  93k|  79k|3494 | 0.000000e+00 | 4.200000e+01 |    Inf 
421.41/421.42	o 28
421.41/421.42	c * 421s|128726 | 33154 |345378 |   2.7 | 265M|2497 |   - |5645 |6852 |5645 | 254 |  98k|  84k|3638 | 0.000000e+00 | 2.800000e+01 |    Inf 
421.41/421.43	o 25
421.41/421.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
421.41/421.43	c * 421s|128727 | 32362 |345378 |   2.7 | 257M|2497 |   - |5645 |6852 |5645 | 254 |  98k|  84k|3638 | 0.000000e+00 | 2.500000e+01 |    Inf 
424.20/424.21	c   424s|130000 | 32336 |350866 |   2.7 | 257M|2497 |   8 |5645 |5906 |5645 | 202 |  99k|  86k|3684 | 0.000000e+00 | 2.500000e+01 |    Inf 
436.41/436.46	o 18
436.41/436.46	c * 436s|135295 | 28339 |375778 |   2.8 | 226M|2497 |   - |5645 |6354 |5645 | 238 | 104k|  94k|3837 | 0.000000e+00 | 1.800000e+01 |    Inf 
446.20/446.27	c   446s|140000 | 27099 |397460 |   2.8 | 224M|2497 |   - |5645 |6324 |   0 |   0 | 108k| 101k|3989 | 0.000000e+00 | 1.800000e+01 |    Inf 
452.80/452.85	o 15
452.80/452.85	c * 453s|143435 | 25194 |410667 |   2.9 | 208M|2497 |   - |5645 |8007 |5645 | 247 | 110k| 105k|4038 | 0.000000e+00 | 1.500000e+01 |    Inf 
464.90/464.92	c   465s|150000 | 24478 |435186 |   2.9 | 206M|2497 |   - |5645 |7359 |   0 |   0 | 114k| 114k|4146 | 0.000000e+00 | 1.500000e+01 |    Inf 
483.91/483.91	c   484s|160000 | 24014 |478006 |   3.0 | 207M|2497 |   - |5645 |  10k|   0 |   0 | 122k| 127k|4299 | 0.000000e+00 | 1.500000e+01 |    Inf 
495.61/495.62	o 14
495.61/495.62	c * 496s|166004 | 23736 |500504 |   3.0 | 204M|2497 |   - |5645 |  10k|5645 | 211 | 126k| 135k|4355 | 0.000000e+00 | 1.400000e+01 |    Inf 
503.61/503.68	c   504s|170000 | 23650 |517570 |   3.0 | 204M|2497 |   - |5645 |  10k|   0 |   0 | 130k| 141k|4429 | 0.000000e+00 | 1.400000e+01 |    Inf 
515.10/515.16	o 8
515.10/515.16	c * 515s|175919 | 20802 |541755 |   3.1 | 177M|2497 |   - |5645 |9207 |5645 | 244 | 133k| 148k|4551 | 0.000000e+00 | 8.000000e+00 |    Inf 
522.81/522.86	c   523s|180000 | 20757 |562384 |   3.1 | 177M|2497 |   - |5645 |8531 |   0 |   0 | 137k| 154k|4645 | 0.000000e+00 | 8.000000e+00 |    Inf 
541.90/541.97	c   542s|190000 | 20822 |607486 |   3.2 | 179M|2497 |   1 |5645 |9941 |5645 | 225 | 143k| 167k|4780 | 0.000000e+00 | 8.000000e+00 |    Inf 
560.71/560.79	c   561s|200000 | 20213 |655612 |   3.3 | 178M|2497 |  12 |5645 |  11k|5645 | 264 | 150k| 180k|4926 | 0.000000e+00 | 8.000000e+00 |    Inf 
565.52/565.55	o 6
565.52/565.55	c * 566s|202447 | 19723 |666825 |   3.3 | 175M|2497 |   - |5645 |  12k|5645 | 263 | 152k| 184k|4958 | 0.000000e+00 | 6.000000e+00 |    Inf 
567.31/567.31	o 4
567.31/567.31	c * 567s|203295 | 19094 |670465 |   3.3 | 170M|2497 |   - |5645 |  10k|5645 | 268 | 152k| 185k|4967 | 0.000000e+00 | 4.000000e+00 |    Inf 
580.31/580.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
580.31/580.30	c   580s|210000 | 19079 |707427 |   3.4 | 171M|2497 |   - |5645 |  12k|   0 |   0 | 157k| 194k|5070 | 0.000000e+00 | 4.000000e+00 |    Inf 
600.11/600.12	c   600s|220000 | 19126 |763807 |   3.5 | 172M|2497 |   8 |5645 |  13k|5645 | 263 | 163k| 208k|5180 | 0.000000e+00 | 4.000000e+00 |    Inf 
620.52/620.52	c   620s|230000 | 19062 |823090 |   3.6 | 173M|2497 |  17 |5645 |  14k|5645 | 266 | 169k| 223k|5311 | 0.000000e+00 | 4.000000e+00 |    Inf 
639.31/639.35	c   639s|240000 | 18518 |872400 |   3.6 | 169M|2497 |   - |5645 |  10k|   0 |   0 | 175k| 237k|5525 | 0.000000e+00 | 4.000000e+00 |    Inf 
657.91/657.92	c   658s|250000 | 18307 |918877 |   3.7 | 169M|2497 |  17 |5645 |  12k|5645 | 253 | 183k| 251k|5637 | 0.000000e+00 | 4.000000e+00 |    Inf 
677.32/677.31	c   677s|260000 | 17862 |966393 |   3.7 | 167M|2497 |   - |5645 |  10k|   0 |   0 | 190k| 264k|5745 | 0.000000e+00 | 4.000000e+00 |    Inf 
696.01/696.08	c   696s|270000 | 17974 |  1017k|   3.8 | 169M|2497 |   1 |5645 |  13k|5645 | 249 | 198k| 277k|5871 | 0.000000e+00 | 4.000000e+00 |    Inf 
698.41/698.44	o 3
698.41/698.44	c * 698s|271257 | 17781 |  1022k|   3.8 | 167M|2497 |   - |5645 |  12k|5645 | 233 | 199k| 279k|5884 | 0.000000e+00 | 3.000000e+00 |    Inf 
715.41/715.46	c   715s|280000 | 17708 |  1070k|   3.8 | 167M|2497 |  14 |5645 |  11k|5645 | 207 | 207k| 291k|5973 | 0.000000e+00 | 3.000000e+00 |    Inf 
733.82/733.87	c   734s|290000 | 16957 |  1121k|   3.9 | 163M|2497 |   1 |5645 |9371 |5645 | 220 | 215k| 304k|6103 | 0.000000e+00 | 3.000000e+00 |    Inf 
752.21/752.21	c   752s|300000 | 16936 |  1179k|   3.9 | 164M|2497 |   1 |5645 |  10k|5645 | 197 | 225k| 318k|6220 | 0.000000e+00 | 3.000000e+00 |    Inf 
771.32/771.35	c   771s|310000 | 17024 |  1225k|   4.0 | 166M|2497 |   - |5645 |  13k|   0 |   0 | 233k| 331k|6296 | 0.000000e+00 | 3.000000e+00 |    Inf 
790.02/790.05	c   790s|320000 | 17146 |  1272k|   4.0 | 168M|2497 |   - |5645 |  13k|   0 |   0 | 242k| 345k|6386 | 0.000000e+00 | 3.000000e+00 |    Inf 
809.42/809.40	c   809s|330000 | 17284 |  1321k|   4.0 | 170M|2497 |   6 |5645 |  14k|5645 | 226 | 250k| 359k|6478 | 0.000000e+00 | 3.000000e+00 |    Inf 
828.82/828.83	c   829s|340000 | 17302 |  1364k|   4.0 | 171M|2497 |   1 |5645 |  14k|5645 | 215 | 256k| 373k|6533 | 0.000000e+00 | 3.000000e+00 |    Inf 
848.42/848.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
848.42/848.50	c   848s|350000 | 17310 |  1415k|   4.0 | 173M|2497 |   - |5645 |  15k|   0 |   0 | 264k| 387k|6624 | 0.000000e+00 | 3.000000e+00 |    Inf 
864.52/864.52	o 2
864.52/864.52	c * 864s|357883 | 16722 |  1455k|   4.1 | 169M|2497 |   - |5645 |  15k|5645 | 252 | 271k| 399k|6686 | 0.000000e+00 | 2.000000e+00 |    Inf 
868.52/868.57	c   869s|360000 | 16716 |  1465k|   4.1 | 169M|2497 |   6 |5645 |  15k|5645 | 226 | 272k| 402k|6699 | 0.000000e+00 | 2.000000e+00 |    Inf 
887.92/887.91	c   888s|370000 | 16641 |  1515k|   4.1 | 169M|2497 |  17 |5645 |  13k|5645 | 216 | 280k| 417k|6790 | 0.000000e+00 | 2.000000e+00 |    Inf 
906.42/906.45	c   906s|380000 | 16668 |  1565k|   4.1 | 169M|2497 |   6 |5645 |  14k|5645 | 225 | 288k| 432k|6864 | 0.000000e+00 | 2.000000e+00 |    Inf 
924.42/924.40	c   924s|390000 | 15794 |  1610k|   4.1 | 163M|2497 |   - |5645 |  11k|   0 |   0 | 295k| 447k|7035 | 0.000000e+00 | 2.000000e+00 |    Inf 
942.72/942.79	c   943s|400000 | 14383 |  1664k|   4.2 | 156M|2497 |   1 |5645 |  12k|5645 | 233 | 304k| 461k|7149 | 0.000000e+00 | 2.000000e+00 |    Inf 
960.92/960.92	c   961s|410000 | 14206 |  1711k|   4.2 | 156M|2497 |   1 |5645 |  15k|5645 | 237 | 312k| 475k|7235 | 0.000000e+00 | 2.000000e+00 |    Inf 
980.02/980.01	c   980s|420000 | 14174 |  1759k|   4.2 | 157M|2497 |   1 |5645 |  17k|5645 | 280 | 319k| 489k|7311 | 0.000000e+00 | 2.000000e+00 |    Inf 
1000.62/1000.60	c  1001s|430000 | 14153 |  1810k|   4.2 | 158M|2497 |   1 |5645 |  20k|5645 | 238 | 327k| 503k|7371 | 0.000000e+00 | 2.000000e+00 |    Inf 
1021.72/1021.71	c  1022s|440000 | 13591 |  1862k|   4.2 | 153M|2497 |  10 |5645 |  14k|5645 | 212 | 336k| 516k|7475 | 0.000000e+00 | 2.000000e+00 |    Inf 
1041.62/1041.60	c  1042s|450000 | 13586 |  1915k|   4.3 | 154M|2497 |   1 |5645 |  14k|5645 | 254 | 343k| 530k|7562 | 0.000000e+00 | 2.000000e+00 |    Inf 
1061.12/1061.10	c  1061s|460000 | 13649 |  1968k|   4.3 | 156M|2497 |   1 |5645 |  17k|5645 | 251 | 351k| 543k|7616 | 0.000000e+00 | 2.000000e+00 |    Inf 
1082.63/1082.63	c  1083s|470000 | 13722 |  2033k|   4.3 | 157M|2497 |   - |5645 |  18k|   0 |   0 | 361k| 558k|7710 | 0.000000e+00 | 2.000000e+00 |    Inf 
1103.53/1103.56	c  1104s|480000 | 13672 |  2096k|   4.4 | 158M|2497 |  16 |5645 |  19k|5645 | 241 | 369k| 573k|7783 | 0.000000e+00 | 2.000000e+00 |    Inf 
1124.43/1124.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1124.43/1124.48	c  1124s|490000 | 13683 |  2150k|   4.4 | 157M|2497 |  19 |5645 |  17k|5645 | 240 | 376k| 586k|7876 | 0.000000e+00 | 2.000000e+00 |    Inf 
1148.32/1148.35	c  1148s|500000 | 13724 |  2220k|   4.4 | 160M|2497 |   - |5645 |  21k|   0 |   0 | 385k| 600k|7946 | 0.000000e+00 | 2.000000e+00 |    Inf 
1171.83/1171.87	c  1172s|510000 | 13614 |  2285k|   4.5 | 158M|2497 |   3 |5645 |  21k|5645 | 232 | 394k| 614k|8047 | 0.000000e+00 | 2.000000e+00 |    Inf 
1193.92/1193.97	c  1194s|520000 | 13724 |  2349k|   4.5 | 160M|2497 |   - |5645 |  22k|   0 |   0 | 402k| 628k|8124 | 0.000000e+00 | 2.000000e+00 |    Inf 
1216.93/1216.97	c  1217s|530000 | 13721 |  2414k|   4.6 | 161M|2497 |  13 |5645 |  25k|5645 | 266 | 410k| 642k|8211 | 0.000000e+00 | 2.000000e+00 |    Inf 
1231.03/1231.02	o 1
1231.03/1231.02	c *1231s|535849 | 12418 |  2455k|   4.6 | 151M|2497 |   - |5645 |  27k|5645 | 276 | 415k| 650k|8259 | 0.000000e+00 | 1.000000e+00 |    Inf 
1240.23/1240.25	c  1240s|540000 | 12299 |  2475k|   4.6 | 148M|2497 |   - |5645 |  20k|   0 |   0 | 418k| 656k|8320 | 0.000000e+00 | 1.000000e+00 |    Inf 
1260.13/1260.16	c  1260s|550000 | 12466 |  2518k|   4.6 | 150M|2497 |   - |5645 |  20k|   0 |   0 | 423k| 670k|8364 | 0.000000e+00 | 1.000000e+00 |    Inf 
1279.93/1279.93	c  1280s|560000 | 12487 |  2563k|   4.6 | 151M|2497 |   1 |5645 |  21k|5645 | 223 | 428k| 686k|8402 | 0.000000e+00 | 1.000000e+00 |    Inf 
1299.33/1299.36	c  1299s|570000 | 12729 |  2602k|   4.6 | 153M|2497 |   1 |5645 |  21k|5645 | 216 | 433k| 700k|8460 | 0.000000e+00 | 1.000000e+00 |    Inf 
1319.23/1319.21	c  1319s|580000 | 13146 |  2650k|   4.6 | 156M|2497 |   - |5645 |  22k|   0 |   0 | 438k| 714k|8507 | 0.000000e+00 | 1.000000e+00 |    Inf 
1339.93/1339.92	c  1340s|590000 | 13347 |  2698k|   4.6 | 158M|2497 |   - |5645 |  21k|   0 |   0 | 443k| 728k|8550 | 0.000000e+00 | 1.000000e+00 |    Inf 
1360.13/1360.15	c  1360s|600000 | 13484 |  2743k|   4.6 | 160M|2497 |   - |5645 |  20k|   0 |   0 | 450k| 743k|8595 | 0.000000e+00 | 1.000000e+00 |    Inf 
1380.83/1380.85	c  1381s|610000 | 13684 |  2781k|   4.6 | 162M|2497 |   - |5645 |  20k|   0 |   0 | 455k| 757k|8637 | 0.000000e+00 | 1.000000e+00 |    Inf 
1401.63/1401.60	c  1402s|620000 | 13754 |  2824k|   4.6 | 164M|2497 |   1 |5645 |  21k|5645 | 254 | 460k| 772k|8675 | 0.000000e+00 | 1.000000e+00 |    Inf 
1421.93/1421.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1421.93/1421.90	c  1422s|630000 | 13827 |  2867k|   4.6 | 166M|2497 |   1 |5645 |  22k|5645 | 243 | 466k| 787k|8724 | 0.000000e+00 | 1.000000e+00 |    Inf 
1442.53/1442.52	c  1442s|640000 | 13912 |  2909k|   4.5 | 167M|2497 |  14 |5645 |  21k|5645 | 233 | 472k| 802k|8757 | 0.000000e+00 | 1.000000e+00 |    Inf 
1463.64/1463.64	c  1464s|650000 | 13925 |  2953k|   4.5 | 168M|2497 |   1 |5645 |  21k|5645 | 222 | 477k| 817k|8803 | 0.000000e+00 | 1.000000e+00 |    Inf 
1484.44/1484.40	c  1484s|660000 | 14102 |  2998k|   4.5 | 171M|2497 |   - |5645 |  22k|   0 |   0 | 482k| 831k|8847 | 0.000000e+00 | 1.000000e+00 |    Inf 
1506.05/1506.00	c  1506s|670000 | 14148 |  3043k|   4.5 | 172M|2497 |   - |5645 |  22k|   0 |   0 | 488k| 846k|8889 | 0.000000e+00 | 1.000000e+00 |    Inf 
1527.64/1527.66	c  1528s|680000 | 14293 |  3093k|   4.5 | 174M|2497 |   - |5645 |  22k|   0 |   0 | 494k| 861k|8946 | 0.000000e+00 | 1.000000e+00 |    Inf 
1548.84/1548.81	c  1549s|690000 | 14267 |  3141k|   4.6 | 175M|2497 |   - |5645 |  22k|   0 |   0 | 499k| 876k|8987 | 0.000000e+00 | 1.000000e+00 |    Inf 
1569.64/1569.69	c  1570s|700000 | 14331 |  3181k|   4.5 | 176M|2497 |   - |5645 |  21k|   0 |   0 | 504k| 890k|9017 | 0.000000e+00 | 1.000000e+00 |    Inf 
1590.54/1590.59	c  1591s|710000 | 14321 |  3224k|   4.5 | 177M|2497 |   1 |5645 |  22k|5645 | 236 | 509k| 905k|9062 | 0.000000e+00 | 1.000000e+00 |    Inf 
1612.14/1612.10	c  1612s|720000 | 14343 |  3268k|   4.5 | 178M|2497 |  13 |5645 |  21k|5645 | 236 | 514k| 920k|9104 | 0.000000e+00 | 1.000000e+00 |    Inf 
1633.44/1633.43	c  1633s|730000 | 14390 |  3308k|   4.5 | 179M|2497 |   - |5645 |  21k|   0 |   0 | 518k| 935k|9150 | 0.000000e+00 | 1.000000e+00 |    Inf 
1654.84/1654.89	c  1655s|740000 | 14496 |  3355k|   4.5 | 181M|2497 |   - |5645 |  22k|   0 |   0 | 524k| 950k|9199 | 0.000000e+00 | 1.000000e+00 |    Inf 
1676.64/1676.64	c  1677s|750000 | 14594 |  3395k|   4.5 | 182M|2497 |   9 |5645 |  22k|5645 | 255 | 530k| 964k|9237 | 0.000000e+00 | 1.000000e+00 |    Inf 
1698.45/1698.42	c  1698s|760000 | 14570 |  3444k|   4.5 | 183M|2497 |   1 |5645 |  21k|5645 | 226 | 536k| 979k|9284 | 0.000000e+00 | 1.000000e+00 |    Inf 
1719.65/1719.61	c  1720s|770000 | 14603 |  3487k|   4.5 | 184M|2497 |   1 |5645 |  23k|5645 | 228 | 542k| 994k|9324 | 0.000000e+00 | 1.000000e+00 |    Inf 
1741.24/1741.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1741.24/1741.29	c  1741s|780000 | 14524 |  3535k|   4.5 | 184M|2497 |   5 |5645 |  22k|5645 | 248 | 548k|1010k|9368 | 0.000000e+00 | 1.000000e+00 |    Inf 
1762.35/1762.31	c  1762s|790000 | 14601 |  3576k|   4.5 | 185M|2497 |   - |5645 |  22k|   0 |   0 | 553k|1024k|9394 | 0.000000e+00 | 1.000000e+00 |    Inf 
1783.84/1783.85	c  1784s|800000 | 14474 |  3618k|   4.5 | 183M|2497 |  23 |5645 |  22k|5645 | 261 | 557k|1039k|9424 | 0.000000e+00 | 1.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      : 802968
1790.04/1790.01	c Primal Bound       : +1.00000000000000e+00 (232 solutions)
1790.04/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.01	c Gap                : infinite
1790.04/1790.06	s SATISFIABLE
1790.04/1790.06	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.06	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.06	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.06	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.06	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1790.04/1790.06	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1790.04/1790.06	v -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1790.04/1790.06	v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1790.04/1790.06	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1790.04/1790.06	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.06	v -x1 
1790.04/1790.06	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.06	c Solving Time       :    1789.98
1790.04/1790.06	c Original Problem   :
1790.04/1790.06	c   Problem name     : HOME/instance-2705059-1278578334.wbo
1790.04/1790.06	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.04/1790.06	c   Constraints      : 5415 initial, 5415 maximal
1790.04/1790.06	c Presolved Problem  :
1790.04/1790.06	c   Problem name     : t_HOME/instance-2705059-1278578334.wbo
1790.04/1790.06	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.04/1790.06	c   Constraints      : 5414 initial, 27182 maximal
1790.04/1790.06	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.06	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.06	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.06	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.06	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.06	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.06	c   probing          :       0.03          0          0          0          0          0          0          0          0
1790.04/1790.06	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1790.04/1790.06	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.06	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.06	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.06	c   root node        :          -       5414          -          -       5414          -          -          -          -
1790.04/1790.06	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.06	c   integral         :          0          0          0     553863          0         18        866          0          0     775164
1790.04/1790.06	c   linear           :       2707          6    4413915     164758          1     285468   18108433     558755          0          0
1790.04/1790.06	c   indicator        :       2707          0    2597977     148042          0       1254   13004243          0          0          0
1790.04/1790.06	c   logicor          :          0+         0    1322644          0          0      59332    1512738          0          0          0
1790.04/1790.06	c   bounddisjunction :          0+         0     486337          0          0        139      10170          0          0          0
1790.04/1790.06	c   countsols        :          0          0          0      84002          1          0          0          0          0          0
1790.04/1790.06	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.06	c   integral         :      14.71       0.00       0.00      14.71       0.00
1790.04/1790.06	c   linear           :     209.91       0.00     193.49      16.41       0.00
1790.04/1790.06	c   indicator        :      85.35       0.01      59.85      25.49       0.00
1790.04/1790.06	c   logicor          :     189.65       0.00     189.65       0.00       0.00
1790.04/1790.06	c   bounddisjunction :       5.09       0.00       5.09       0.00       0.00
1790.04/1790.06	c   countsols        :       0.02       0.00       0.00       0.02       0.00
1790.04/1790.06	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.06	c   vbounds          :       1.09      97409          9      20963
1790.04/1790.06	c   rootredcost      :       0.66         50          0       2707
1790.04/1790.06	c   pseudoobj        :     179.47    4436530      21399   11835078
1790.04/1790.06	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.06	c   propagation      :      24.58     366338     366306    2353660       30.3      12699       25.2          -
1790.04/1790.06	c   infeasible LP    :       7.25      22044      22044     185215       40.5        310       18.0          0
1790.04/1790.06	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.06	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.06	c   pseudo solution  :       0.00          3          3         16       15.6          0        0.0          -
1790.04/1790.06	c   applied globally :          -          -          -    1044075       24.6          -          -          -
1790.04/1790.06	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.06	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.06	c   cut pool         :       0.00          3          -          -          1          -    (maximal pool size: 73)
1790.04/1790.06	c   redcost          :      57.38     562594          0    1395017          0          0
1790.04/1790.06	c   impliedbounds    :       0.00          4          0          0          0          0
1790.04/1790.06	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.06	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.06	c   gomory           :       0.01          4          0          0        230          0
1790.04/1790.06	c   strongcg         :       0.01          4          0          0        215          0
1790.04/1790.06	c   cmir             :       0.01          4          0          0          0          0
1790.04/1790.06	c   flowcover        :       0.02          4          0          0          0          0
1790.04/1790.06	c   clique           :       0.00          1          0          0          0          0
1790.04/1790.06	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.06	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.06	c   rapidlearning    :       0.17          1          0          0          0          0
1790.04/1790.06	c Pricers            :       Time      Calls       Vars
1790.04/1790.06	c   problem variables:       0.00          0          0
1790.04/1790.06	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.06	c   relpscost        :      14.32     388308         18        866          0          0     775164
1790.04/1790.06	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.06	c   inference        :      45.87      83953          0          0          0          0     168245
1790.04/1790.06	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.06	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.06	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.06	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.06	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.06	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.06	c   LP solutions     :       0.20          -         50
1790.04/1790.06	c   pseudo solutions :       0.00          -          0
1790.04/1790.06	c   feaspump         :       0.01          0          0
1790.04/1790.06	c   intshifting      :       0.01          0          0
1790.04/1790.06	c   oneopt           :       0.42         40          0
1790.04/1790.06	c   guideddiving     :       0.08         25          0
1790.04/1790.06	c   fracdiving       :       0.13         74          0
1790.04/1790.06	c   pscostdiving     :       0.14         74          0
1790.04/1790.06	c   veclendiving     :       0.13         75          0
1790.04/1790.06	c   linesearchdiving :       0.13         75          0
1790.04/1790.06	c   coefdiving       :       0.21         75          0
1790.04/1790.06	c   objpscostdiving  :       0.13         68          0
1790.04/1790.06	c   rootsoldiving    :       0.15         68          0
1790.04/1790.06	c   crossover        :       3.03         77          5
1790.04/1790.06	c   trivial          :       0.07          2          2
1790.04/1790.06	c   simplerounding   :       0.78     389874          0
1790.04/1790.06	c   zirounding       :       0.62       1000          0
1790.04/1790.06	c   rounding         :       1.39       8722          0
1790.04/1790.06	c   shifting         :       0.74       2703          0
1790.04/1790.06	c   twoopt           :       0.00          0          0
1790.04/1790.06	c   fixandinfer      :       0.00          0          0
1790.04/1790.06	c   intdiving        :       0.00          0          0
1790.04/1790.06	c   actconsdiving    :       0.00          0          0
1790.04/1790.06	c   octane           :       0.00          0          0
1790.04/1790.06	c   rens             :       0.03          1          0
1790.04/1790.06	c   rins             :       0.00          0          0
1790.04/1790.06	c   localbranching   :       0.00          0          0
1790.04/1790.06	c   mutation         :       0.00          0          0
1790.04/1790.06	c   dins             :       0.00          0          0
1790.04/1790.06	c   undercover       :       0.00          0          0
1790.04/1790.06	c   nlp              :       0.16          0          0
1790.04/1790.06	c   trysol           :       0.51        549        175
1790.04/1790.06	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.06	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.06	c   dual LP          :     496.91     506598    3627585       7.16    7300.23
1790.04/1790.06	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.06	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.06	c   diving/probing LP:       0.17        160       1231       7.69    7257.53
1790.04/1790.06	c   strong branching :      11.39       9445      99974      10.58    8774.68
1790.04/1790.06	c     (at root node) :          -         32       1047      32.72          -
1790.04/1790.06	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.06	c B&B Tree           :
1790.04/1790.06	c   number of runs   :          1
1790.04/1790.06	c   nodes            :     802968
1790.04/1790.06	c   nodes (total)    :     802968
1790.04/1790.06	c   nodes left       :      14494
1790.04/1790.06	c   max depth        :       2497
1790.04/1790.06	c   max depth (total):       2497
1790.04/1790.06	c   backtracks       :      75258 (9.4%)
1790.04/1790.06	c   delayed cutoffs  :      72638
1790.04/1790.06	c   repropagations   :    2025405 (8060926 domain reductions, 58222 cutoffs)
1790.04/1790.06	c   avg switch length:       6.69
1790.04/1790.06	c   switching time   :     239.00
1790.04/1790.06	c Solution           :
1790.04/1790.06	c   Solutions found  :        232 (51 improvements)
1790.04/1790.06	c   First Solution   : +1.35279000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1790.04/1790.06	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 535849 nodes, 1230.98 seconds, depth 41, found by <relaxation>)
1790.04/1790.06	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.06	c   Gap              :   infinite
1790.04/1790.06	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.06	c   Root Iterations  :        184
1790.24/1790.26	c Time complete: 1790.31.

Verifier Data 

OK	1

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 10523
/proc/meminfo: memFree=27081688/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=12336 CPUtime=0
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 1939 0 0 0 0 0 0 0 23 0 1 0 26046155 12632064 1857 4089446400 4194304 10345943 140735529396288 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10523/statm: 3128 1862 429 1502 0 1621 0

[startup+0.10663 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 10523
/proc/meminfo: memFree=27081688/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=38020 CPUtime=0.09
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 8449 0 0 0 9 0 0 0 23 0 1 0 26046155 38932480 8013 4089446400 4194304 10345943 140735529396288 18446744073709551615 4246677 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 9505 8013 509 1502 0 7998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38020

[startup+0.200603 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 10523
/proc/meminfo: memFree=27081688/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=61992 CPUtime=0.19
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 14489 0 0 0 18 1 0 0 23 0 1 0 26046155 63479808 14054 4089446400 4194304 10345943 140735529396288 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 15498 14059 628 1502 0 13991 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 61992

[startup+0.300594 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 10523
/proc/meminfo: memFree=27081688/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=70104 CPUtime=0.29
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 16227 0 0 0 26 3 0 0 23 0 1 0 26046155 71786496 15791 4089446400 4194304 10345943 140735529396288 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 17526 15791 632 1502 0 16019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70104

[startup+0.70051 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 10523
/proc/meminfo: memFree=27081688/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=65264 CPUtime=0.69
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 16893 0 0 0 66 3 0 0 25 0 1 0 26046155 66830336 15052 4089446400 4194304 10345943 140735529396288 18446744073709551615 6777408 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 16316 15052 751 1502 0 14809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65264

[startup+1.50037 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10524
/proc/meminfo: memFree=27022532/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=65264 CPUtime=1.49
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 16895 0 0 0 145 4 0 0 25 0 1 0 26046155 66830336 15054 4089446400 4194304 10345943 140735529396288 18446744073709551615 6003021 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 16316 15054 753 1502 0 14809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65264

[startup+3.10109 s]
/proc/loadavg: 2.01 2.02 1.97 4/183 10524
/proc/meminfo: memFree=27022632/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=65264 CPUtime=3.09
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 16897 0 0 0 305 4 0 0 25 0 1 0 26046155 66830336 15056 4089446400 4194304 10345943 140735529396288 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 16316 15056 754 1502 0 14809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65264

[startup+6.30049 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10525
/proc/meminfo: memFree=27021036/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=65264 CPUtime=6.29
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 19297 0 0 0 624 5 0 0 25 0 1 0 26046155 66830336 15083 4089446400 4194304 10345943 140735529396288 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 16316 15083 754 1502 0 14809 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65264

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 10525
/proc/meminfo: memFree=27009416/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=77376 CPUtime=12.69
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 22701 0 0 0 1263 6 0 0 25 0 1 0 26046155 79233024 17878 4089446400 4194304 10345943 140735529396288 18446744073709551615 4749673 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 19344 17878 761 1502 0 17837 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77376

[startup+25.501 s]
/proc/loadavg: 1.93 2.00 1.97 3/183 10553
/proc/meminfo: memFree=28211780/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=97092 CPUtime=25.49
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 30164 0 0 0 2541 8 0 0 25 0 1 0 26046155 99422208 22942 4089446400 4194304 10345943 140735529396288 18446744073709551615 6119400 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 24273 22942 761 1502 0 22766 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97092

[startup+51.1003 s]
/proc/loadavg: 1.95 2.00 1.97 3/183 10554
/proc/meminfo: memFree=28175128/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=133752 CPUtime=51.09
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 62678 0 0 0 5094 15 0 0 25 0 1 0 26046155 136962048 31694 4089446400 4194304 10345943 140735529396288 18446744073709551615 4729198 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 33438 31694 762 1502 0 31931 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 133752

[startup+102.301 s]
/proc/loadavg: 1.98 2.00 1.97 3/183 10555
/proc/meminfo: memFree=28033216/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=234452 CPUtime=102.3
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 130211 0 0 0 10199 31 0 0 25 0 1 0 26046155 240078848 56311 4089446400 4194304 10345943 140735529396288 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 58613 56311 762 1502 0 57106 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 234452

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.97 3/183 10557
/proc/meminfo: memFree=27891816/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=345364 CPUtime=162.3
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 193953 0 0 0 16182 48 0 0 25 0 1 0 26046155 353652736 82290 4089446400 4194304 10345943 140735529396288 18446744073709551615 9107500 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 86341 82290 763 1502 0 84834 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 345364

[startup+222.306 s]
/proc/loadavg: 2.05 2.01 1.97 3/183 10558
/proc/meminfo: memFree=27735664/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=468948 CPUtime=222.3
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 236244 0 0 0 22165 65 0 0 25 0 1 0 26046155 480202752 110543 4089446400 4194304 10345943 140735529396288 18446744073709551615 4715236 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 117237 110543 767 1502 0 115730 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 468948

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 10560
/proc/meminfo: memFree=27598360/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=586628 CPUtime=282.3
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 270304 0 0 0 28150 80 0 0 25 0 1 0 26046155 600707072 136556 4089446400 4194304 10345943 140735529396288 18446744073709551615 8933723 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 146657 136556 767 1502 0 145150 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 586628

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/183 10562
/proc/meminfo: memFree=27473572/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=686680 CPUtime=342.31
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 311043 0 0 0 34138 93 0 0 25 0 1 0 26046155 703160320 158582 4089446400 4194304 10345943 140735529396288 18446744073709551615 6120248 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 171670 158582 767 1502 0 170163 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 686680

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/183 10563
/proc/meminfo: memFree=27360564/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=775268 CPUtime=402.3
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 358352 0 0 0 40122 108 0 0 25 0 1 0 26046155 793874432 178291 4089446400 4194304 10345943 140735529396288 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 193817 178291 770 1502 0 192310 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 775268

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/183 10565
/proc/meminfo: memFree=27301360/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=796644 CPUtime=462.3
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 419656 0 0 0 46099 131 0 0 25 0 1 0 26046155 815763456 183185 4089446400 4194304 10345943 140735529396288 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 199161 183185 775 1502 0 197654 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 796644

[startup+522.301 s]
/proc/loadavg: 2.07 2.03 1.99 3/183 10566
/proc/meminfo: memFree=27260772/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=800104 CPUtime=522.3
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 450202 0 0 0 52074 156 0 0 25 0 1 0 26046155 819306496 184173 4089446400 4194304 10345943 140735529396288 18446744073709551615 6519518 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 200026 184173 775 1502 0 198519 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 800104

[startup+582.301 s]
/proc/loadavg: 2.02 2.02 1.99 3/183 10568
/proc/meminfo: memFree=27226736/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=801972 CPUtime=582.31
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 483897 0 0 0 58049 182 0 0 25 0 1 0 26046155 821219328 184770 4089446400 4194304 10345943 140735529396288 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 200493 184770 784 1502 0 198986 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 801972

[startup+642.301 s]
/proc/loadavg: 2.01 2.02 1.99 3/183 10570
/proc/meminfo: memFree=27190360/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=804580 CPUtime=642.31
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 490612 0 0 0 64025 206 0 0 25 0 1 0 26046155 823889920 185392 4089446400 4194304 10345943 140735529396288 18446744073709551615 6119525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 201145 185392 796 1502 0 199638 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 804580

[startup+702.301 s]

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

/proc/meminfo: memFree=26993464/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=808744 CPUtime=1002.32
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 539208 0 0 0 99899 333 0 0 25 0 1 0 26046155 828153856 186343 4089446400 4194304 10345943 140735529396288 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 202186 186343 796 1502 0 200679 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 808744

[startup+1062.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 10581
/proc/meminfo: memFree=26960692/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=809068 CPUtime=1062.32
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 543531 0 0 0 105879 353 0 0 25 0 1 0 26046155 828485632 186663 4089446400 4194304 10345943 140735529396288 18446744073709551615 5085445 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 202267 186663 796 1502 0 200760 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 809068

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 10582
/proc/meminfo: memFree=26928184/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=810008 CPUtime=1122.32
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 543684 0 0 0 111857 375 0 0 25 0 1 0 26046155 829448192 186816 4089446400 4194304 10345943 140735529396288 18446744073709551615 6108026 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 202502 186816 796 1502 0 200995 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 810008

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 10584
/proc/meminfo: memFree=26895660/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=811288 CPUtime=1182.33
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 543877 0 0 0 117835 398 0 0 25 0 1 0 26046155 830758912 187009 4089446400 4194304 10345943 140735529396288 18446744073709551615 6869058 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 202822 187009 796 1502 0 201315 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 811288

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10586
/proc/meminfo: memFree=26859900/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=811868 CPUtime=1242.33
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 557741 0 0 0 123813 420 0 0 25 0 1 0 26046155 831352832 187246 4089446400 4194304 10345943 140735529396288 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 202967 187246 796 1502 0 201460 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 811868

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10587
/proc/meminfo: memFree=26829360/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=812552 CPUtime=1302.33
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 569793 0 0 0 129793 440 0 0 25 0 1 0 26046155 832053248 187264 4089446400 4194304 10345943 140735529396288 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 203138 187264 798 1502 0 201631 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 812552

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10598
/proc/meminfo: memFree=26798484/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=812384 CPUtime=1362.33
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 571600 0 0 0 135773 460 0 0 25 0 1 0 26046155 831881216 187264 4089446400 4194304 10345943 140735529396288 18446744073709551615 6322962 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 203096 187264 798 1502 0 201589 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 812384

[startup+1422.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 10599
/proc/meminfo: memFree=26767628/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=812996 CPUtime=1422.34
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 571773 0 0 0 141757 477 0 0 25 0 1 0 26046155 832507904 187437 4089446400 4194304 10345943 140735529396288 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 203249 187437 798 1502 0 201742 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 812996

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 10601
/proc/meminfo: memFree=26731260/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=816520 CPUtime=1482.34
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 576856 0 0 0 147738 496 0 0 25 0 1 0 26046155 836116480 188359 4089446400 4194304 10345943 140735529396288 18446744073709551615 6307510 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 204130 188359 798 1502 0 202623 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 816520

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 5/183 10603
/proc/meminfo: memFree=26697496/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=818656 CPUtime=1542.35
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 577282 0 0 0 153722 513 0 0 25 0 1 0 26046155 838303744 188785 4089446400 4194304 10345943 140735529396288 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 204664 188785 798 1502 0 203157 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 818656

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10604
/proc/meminfo: memFree=26663612/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=819780 CPUtime=1602.34
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 577590 0 0 0 159704 530 0 0 25 0 1 0 26046155 839454720 189093 4089446400 4194304 10345943 140735529396288 18446744073709551615 4220226 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 204945 189093 798 1502 0 203438 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 819780

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10606
/proc/meminfo: memFree=26630336/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=821948 CPUtime=1662.34
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 582296 0 0 0 165685 549 0 0 25 0 1 0 26046155 841674752 189708 4089446400 4194304 10345943 140735529396288 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 205487 189708 798 1502 0 203980 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 821948

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 10607
/proc/meminfo: memFree=26593712/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=827424 CPUtime=1722.35
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 583440 0 0 0 171669 566 0 0 25 0 1 0 26046155 847282176 190851 4089446400 4194304 10345943 140735529396288 18446744073709551615 5085418 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 206856 190851 798 1502 0 205349 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 827424

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 10609
/proc/meminfo: memFree=26560320/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=827644 CPUtime=1782.34
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 583739 0 0 0 177652 582 0 0 25 0 1 0 26046155 847507456 191150 4089446400 4194304 10345943 140735529396288 18446744073709551615 6119529 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 206911 191150 798 1502 0 205404 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 827644

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

[startup+1785.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 10609
/proc/meminfo: memFree=26557220/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=827644 CPUtime=1785.65
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 583741 0 0 0 177982 583 0 0 25 0 1 0 26046155 847507456 191152 4089446400 4194304 10345943 140735529396288 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 206911 191152 798 1502 0 205404 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 827644

[startup+1788.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 10609
/proc/meminfo: memFree=26555484/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=827644 CPUtime=1788.84
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 583750 0 0 0 178301 583 0 0 25 0 1 0 26046155 847507456 191161 4089446400 4194304 10345943 140735529396288 18446744073709551615 4220138 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 206911 191161 798 1502 0 205404 0
Current children cumulated CPU time (s) 1788.84
Current children cumulated vsize (KiB) 827644

[startup+1789.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 10609
/proc/meminfo: memFree=26555484/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=827644 CPUtime=1789.65
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 583750 0 0 0 178381 584 0 0 25 0 1 0 26046155 847507456 191161 4089446400 4194304 10345943 140735529396288 18446744073709551615 4995726 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 206911 191161 798 1502 0 205404 0
Current children cumulated CPU time (s) 1789.65
Current children cumulated vsize (KiB) 827644

[startup+1790 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 10609
/proc/meminfo: memFree=26554612/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=827644 CPUtime=1790.04
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 583750 0 0 0 178420 584 0 0 25 0 1 0 26046155 847507456 191161 4089446400 4194304 10345943 140735529396288 18446744073709551615 4968223 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10523/statm: 206911 191161 798 1502 0 205404 0
Current children cumulated CPU time (s) 1790.04
Current children cumulated vsize (KiB) 827644

[startup+1790.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 10609
/proc/meminfo: memFree=26554612/32951124 swapFree=67111528/67111528
[pid=10523] ppid=10521 vsize=827644 CPUtime=1790.24
/proc/10523/stat : 10523 (pbscip.linux.x8) R 10521 10523 10040 0 -1 4202496 583751 0 0 0 178440 584 0 0 18 0 1 0 26046155 847507456 191162 4089446400 4194304 10345943 140735529396288 18446744073709551615 4448785 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10523/statm: 206911 191162 799 1502 0 205404 0
Current children cumulated CPU time (s) 1790.24
Current children cumulated vsize (KiB) 827644

Child status: 0
Real time (s): 1790.27
CPU time (s): 1790.32
CPU user time (s): 1784.45
CPU system time (s): 5.87311
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 828544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.45
system time used= 5.87311
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3497

runsolver used 3.62545 second user time and 6.06108 second system time

The end

Launcher Data 

Begin job on node133 at 2010-07-08 10:38:54
IDJOB=2705059
IDBENCH=79281
IDSOLVER=1214
FILE ID=node133/2705059-1278578334
PBS_JOBID= 11240188
Free space on /tmp= 73640 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250--soft-0-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-2705059-1278578334/watcher-2705059-1278578334 -o /tmp/evaluation-result-2705059-1278578334/solver-2705059-1278578334 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705059-1278578334.wbo -t 1800 -m 3800

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

MD5SUM BENCH= cf1e130a7c7d84197ef06427870fc4d7
RANDOM SEED=471054735

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.67
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.844
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:      27082588 kB
Buffers:        170188 kB
Cached:        4172796 kB
SwapCached:          0 kB
Active:        2551712 kB
Inactive:      3145684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27082588 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12800 kB
Writeback:           0 kB
AnonPages:     1354548 kB
Mapped:          17328 kB
Slab:           105444 kB
PageTables:       7336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1512096 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73628 MiB
End job on node133 at 2010-07-08 11:08:45