Trace number 2693019

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.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.33 1800.28

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo
MD5SUM0a3bbeff5fae384bd8f72d98174965d3
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 benchmark385.443
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 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 683
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693019-1277929093.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.14	o 134313
0.09/0.14	c feasible solution found by trivial heuristic, objective value  1.343130e+05
0.09/0.14	c presolving:
0.09/0.14	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.15	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.19/0.21	c    (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21	c presolving (3 rounds):
0.19/0.21	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21	c  2707 implications, 0 cliques
0.19/0.21	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.21	c    2707 constraints of type <indicator>
0.19/0.21	c    2707 constraints of type <linear>
0.19/0.21	c transformed objective value is always integral (scale: 1)
0.19/0.21	c Presolving Time: 0.15
0.19/0.21	c - non default parameters ----------------------------------------------------------------------
0.19/0.21	c # SCIP version 1.2.1.2
0.19/0.21	c 
0.19/0.21	c # frequency for displaying node information lines
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21	c display/freq = 10000
0.19/0.21	c 
0.19/0.21	c # maximal time in seconds to run
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/time = 1799.97
0.19/0.21	c 
0.19/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/memory = 3420
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify inequalities
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/linear/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify knapsacks
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.22	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.39/0.46	c   0.4s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.343130e+05 |    Inf 
16.19/16.27	c  16.0s| 10000 | 10001 |  2968 |   0.3 |  43M|1551 |   0 |5645 |5414 |5645 | 250 | 941 |   0 | 663 | 0.000000e+00 | 1.343130e+05 |    Inf 
30.39/30.45	c  30.1s| 20000 | 19999 |  4948 |   0.2 |  65M|1551 |   0 |5645 |5424 |5645 | 251 |1643 |  10 | 682 | 0.000000e+00 | 1.343130e+05 |    Inf 
44.69/44.71	c  44.2s| 30000 | 29999 |  6717 |   0.2 |  86M|1551 |   0 |5645 |5424 |5645 | 235 |2256 |  10 | 734 | 0.000000e+00 | 1.343130e+05 |    Inf 
58.69/58.76	c  58.1s| 40000 | 39999 |  8340 |   0.2 | 105M|1551 |   0 |5645 |5424 |5645 | 236 |2828 |  10 | 777 | 0.000000e+00 | 1.343130e+05 |    Inf 
73.39/73.40	c  72.6s| 50000 | 49997 | 10440 |   0.2 | 125M|1551 |   0 |5645 |5434 |5645 | 281 |3551 |  20 | 886 | 0.000000e+00 | 1.343130e+05 |    Inf 
79.70/79.73	o 745
79.70/79.73	c *78.8s| 54172 | 40465 | 11810 |   0.2 | 109M|1551 |   - |5645 |5444 |5645 | 242 |3957 |  30 | 929 | 0.000000e+00 | 7.450000e+02 |    Inf 
85.90/85.98	o 625
85.90/85.98	c *85.0s| 57421 | 40991 | 14108 |   0.2 | 109M|1551 |   - |5645 |5494 |5645 | 235 |4746 |  80 | 962 | 0.000000e+00 | 6.250000e+02 |    Inf 
86.29/86.34	o 581
86.29/86.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
86.29/86.34	c *85.4s| 57635 | 39281 | 14219 |   0.2 | 106M|1551 |   - |5645 |5494 |5645 | 230 |4779 |  80 | 963 | 0.000000e+00 | 5.810000e+02 |    Inf 
86.89/86.99	o 569
86.89/86.99	c *86.0s| 57989 | 38786 | 14380 |   0.2 | 106M|1551 |   - |5645 |5494 |5645 | 236 |4824 |  80 | 966 | 0.000000e+00 | 5.690000e+02 |    Inf 
87.00/87.05	o 491
87.00/87.05	c *86.1s| 58010 | 30753 | 14388 |   0.2 |  91M|1551 |   - |5645 |5494 |5645 | 236 |4824 |  80 | 966 | 0.000000e+00 | 4.910000e+02 |    Inf 
88.89/88.97	o 475
88.89/88.97	c *88.0s| 58842 | 29583 | 15265 |   0.3 |  90M|1551 |   - |5645 |5742 |5645 | 220 |5101 | 328 | 975 | 0.000000e+00 | 4.750000e+02 |    Inf 
90.09/90.20	o 461
90.09/90.20	c *89.2s| 59327 | 28483 | 15973 |   0.3 |  88M|1551 |   - |5645 |6024 |5645 | 236 |5326 | 610 | 979 | 0.000000e+00 | 4.610000e+02 |    Inf 
91.20/91.27	o 442
91.20/91.27	c *90.2s| 59720 | 26834 | 16815 |   0.3 |  86M|1551 |   - |5645 |6274 |5645 | 248 |5573 | 860 | 983 | 0.000000e+00 | 4.420000e+02 |    Inf 
91.49/91.54	o 418
91.49/91.54	c *90.5s| 59874 | 24393 | 16826 |   0.3 |  81M|1551 |   - |5645 |6284 |5645 | 225 |5574 | 870 | 983 | 0.000000e+00 | 4.180000e+02 |    Inf 
91.59/91.61	o 399
91.59/91.61	c *90.6s| 59899 | 22369 | 16849 |   0.3 |  77M|1551 |   - |5645 |6291 |5645 | 232 |5581 | 877 | 983 | 0.000000e+00 | 3.990000e+02 |    Inf 
91.79/91.85	c  90.8s| 60000 | 22453 | 16996 |   0.3 |  77M|1551 |   0 |5645 |6331 |5645 | 236 |5617 | 917 | 983 | 0.000000e+00 | 3.990000e+02 |    Inf 
91.89/91.90	o 394
91.89/91.90	c *90.9s| 60028 | 21910 | 16999 |   0.3 |  76M|1551 |   - |5645 |6349 |5645 | 236 |5617 | 935 | 983 | 0.000000e+00 | 3.940000e+02 |    Inf 
91.89/91.98	o 344
91.89/91.98	c *90.9s| 60059 | 15401 | 17001 |   0.3 |  63M|1551 |   - |5645 |6349 |5645 | 236 |5617 | 935 | 983 | 0.000000e+00 | 3.440000e+02 |    Inf 
92.09/92.18	o 341
92.09/92.18	c *91.1s| 60150 | 15086 | 17038 |   0.3 |  63M|1551 |   - |5645 |6362 |5645 | 236 |5627 | 948 | 983 | 0.000000e+00 | 3.410000e+02 |    Inf 
92.09/92.19	o 328
92.09/92.19	c *91.2s| 60151 | 13453 | 17038 |   0.3 |  59M|1551 |   - |5645 |6362 |5645 | 236 |5627 | 948 | 983 | 0.000000e+00 | 3.280000e+02 |    Inf 
92.30/92.36	o 308
92.30/92.36	c *91.3s| 60222 | 11514 | 17061 |   0.3 |  55M|1551 |   - |5645 |6394 |5645 | 241 |5632 | 980 | 983 | 0.000000e+00 | 3.080000e+02 |    Inf 
92.30/92.37	o 301
92.30/92.37	c *91.3s| 60223 | 10842 | 17061 |   0.3 |  54M|1551 |   - |5645 |6394 |5645 | 241 |5632 | 980 | 983 | 0.000000e+00 | 3.010000e+02 |    Inf 
93.70/93.78	o 299
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 *92.7s| 60736 | 11012 | 17518 |   0.3 |  55M|1551 |   - |5645 |7027 |5645 | 241 |5749 |1613 | 988 | 0.000000e+00 | 2.990000e+02 |    Inf 
93.80/93.88	o 268
93.80/93.88	c *92.8s| 60782 |  8670 | 17547 |   0.3 |  49M|1551 |   - |5645 |7035 |5645 | 242 |5758 |1621 | 988 | 0.000000e+00 | 2.680000e+02 |    Inf 
94.50/94.53	o 266
94.50/94.53	c *93.5s| 61012 |  8734 | 17835 |   0.3 |  50M|1551 |   - |5645 |7190 |5645 | 245 |5836 |1776 | 995 | 0.000000e+00 | 2.660000e+02 |    Inf 
97.39/97.48	o 255
97.39/97.48	c *96.4s| 62062 |  8993 | 19659 |   0.3 |  52M|1551 |   - |5645 |7663 |5645 | 213 |6443 |2249 |1022 | 0.000000e+00 | 2.550000e+02 |    Inf 
97.49/97.59	o 247
97.49/97.59	c *96.5s| 62122 |  8604 | 19675 |   0.3 |  52M|1551 |   - |5645 |7663 |5645 | 216 |6446 |2249 |1022 | 0.000000e+00 | 2.470000e+02 |    Inf 
101.60/101.64	o 243
101.60/101.64	c * 100s| 63519 |  9497 | 22886 |   0.4 |  57M|1551 |   - |5645 |8384 |5645 | 227 |7506 |2986 |1077 | 0.000000e+00 | 2.430000e+02 |    Inf 
103.99/104.08	o 238
103.99/104.08	c * 103s| 64289 |  9744 | 24646 |   0.4 |  59M|1551 |   - |5645 |8914 |5645 | 208 |8109 |3609 |1115 | 0.000000e+00 | 2.380000e+02 |    Inf 
104.89/104.97	o 237
104.89/104.97	c * 104s| 64642 |  9962 | 25315 |   0.4 |  60M|1551 |   - |5645 |9071 |5645 | 212 |8299 |3812 |1121 | 0.000000e+00 | 2.370000e+02 |    Inf 
104.99/105.05	o 231
104.99/105.05	c * 104s| 64655 |  9551 | 25385 |   0.4 |  59M|1551 |   - |5645 |9069 |5645 | 241 |8332 |3812 |1122 | 0.000000e+00 | 2.310000e+02 |    Inf 
105.10/105.11	o 228
105.10/105.11	c * 104s| 64669 |  9330 | 25420 |   0.4 |  59M|1551 |   - |5645 |9084 |5645 | 245 |8336 |3828 |1124 | 0.000000e+00 | 2.280000e+02 |    Inf 
105.60/105.61	o 227
105.60/105.61	c * 104s| 64855 |  9446 | 25750 |   0.4 |  59M|1551 |   - |5645 |9080 |5645 | 213 |8421 |3855 |1125 | 0.000000e+00 | 2.270000e+02 |    Inf 
105.60/105.62	o 214
105.60/105.62	c * 104s| 64856 |  8614 | 25750 |   0.4 |  57M|1551 |   - |5645 |9080 |5645 | 213 |8421 |3855 |1125 | 0.000000e+00 | 2.140000e+02 |    Inf 
112.20/112.25	o 211
112.20/112.25	c * 111s| 67208 | 10179 | 30271 |   0.4 |  64M|1551 |   - |5645 |9663 |5645 | 226 |9774 |5543 |1187 | 0.000000e+00 | 2.110000e+02 |    Inf 
112.79/112.88	o 192
112.79/112.88	c * 112s| 67471 |  9011 | 30498 |   0.4 |  60M|1551 |   - |5645 |9374 |5645 | 222 |9814 |5611 |1190 | 0.000000e+00 | 1.920000e+02 |    Inf 
114.99/115.06	o 182
114.99/115.06	c * 114s| 68107 |  8919 | 31907 |   0.5 |  60M|1551 |   - |5645 |9324 |5645 | 238 |  10k|6377 |1208 | 0.000000e+00 | 1.820000e+02 |    Inf 
115.69/115.77	o 168
115.69/115.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
115.69/115.77	c * 114s| 68448 |  8267 | 32264 |   0.5 |  58M|1551 |   - |5645 |9236 |5645 | 225 |  10k|6429 |1220 | 0.000000e+00 | 1.680000e+02 |    Inf 
117.00/117.00	o 159
117.00/117.00	c * 116s| 68724 |  7930 | 33899 |   0.5 |  57M|1551 |   - |5645 |8992 |5645 | 260 |  10k|6690 |1246 | 0.000000e+00 | 1.590000e+02 |    Inf 
118.30/118.36	o 156
118.30/118.36	c * 117s| 69035 |  7951 | 36026 |   0.5 |  57M|1551 |   - |5645 |8181 |5645 | 227 |  11k|6945 |1262 | 0.000000e+00 | 1.560000e+02 |    Inf 
118.30/118.36	o 155
118.30/118.36	c * 117s| 69036 |  7895 | 36026 |   0.5 |  57M|1551 |   - |5645 |8181 |5645 | 227 |  11k|6945 |1262 | 0.000000e+00 | 1.550000e+02 |    Inf 
118.39/118.45	o 151
118.39/118.45	c * 117s| 69054 |  7685 | 36185 |   0.5 |  56M|1551 |   - |5645 |8113 |5645 | 221 |  11k|6946 |1263 | 0.000000e+00 | 1.510000e+02 |    Inf 
118.60/118.65	o 150
118.60/118.65	c * 117s| 69086 |  7651 | 36494 |   0.5 |  57M|1551 |   - |5645 |8031 |5645 | 235 |  11k|6969 |1270 | 0.000000e+00 | 1.500000e+02 |    Inf 
118.60/118.65	o 149
118.60/118.65	c * 117s| 69087 |  7602 | 36494 |   0.5 |  56M|1551 |   - |5645 |8031 |5645 | 235 |  11k|6969 |1270 | 0.000000e+00 | 1.490000e+02 |    Inf 
118.70/118.79	o 146
118.70/118.79	c * 117s| 69133 |  7462 | 36643 |   0.5 |  56M|1551 |   - |5645 |7980 |5645 | 224 |  11k|6970 |1272 | 0.000000e+00 | 1.460000e+02 |    Inf 
118.80/118.84	o 111
118.80/118.84	c * 117s| 69161 |  5586 | 36643 |   0.5 |  46M|1551 |   - |5645 |7980 |5645 | 224 |  11k|6970 |1272 | 0.000000e+00 | 1.110000e+02 |    Inf 
119.59/119.68	o 104
119.59/119.68	c * 118s| 69352 |  5325 | 37563 |   0.5 |  46M|1551 |   - |5645 |7259 |5645 | 211 |  11k|7154 |1285 | 0.000000e+00 | 1.040000e+02 |    Inf 
119.69/119.78	o 101
119.69/119.78	c * 118s| 69386 |  5233 | 37639 |   0.5 |  45M|1551 |   - |5645 |7252 |5645 | 237 |  11k|7154 |1289 | 0.000000e+00 | 1.010000e+02 |    Inf 
121.39/121.43	c   120s| 70000 |  5606 | 38935 |   0.6 |  48M|1551 |   0 |5645 |7369 |5645 | 226 |  12k|7719 |1306 | 0.000000e+00 | 1.010000e+02 |    Inf 
124.70/124.76	o 91
124.70/124.76	c * 123s| 70963 |  5283 | 41516 |   0.6 |  50M|1551 |   - |5645 |8020 |5645 | 228 |  12k|9183 |1340 | 0.000000e+00 | 9.100000e+01 |    Inf 
125.20/125.25	o 81
125.20/125.25	c * 124s| 71056 |  4527 | 42459 |   0.6 |  48M|1551 |   - |5645 |7513 |5645 | 263 |  13k|9241 |1357 | 0.000000e+00 | 8.100000e+01 |    Inf 
125.30/125.32	o 78
125.30/125.32	c * 124s| 71068 |  4432 | 42587 |   0.6 |  48M|1551 |   - |5645 |7194 |5645 | 247 |  13k|9241 |1358 | 0.000000e+00 | 7.800000e+01 |    Inf 
125.30/125.39	o 76
125.30/125.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
125.30/125.39	c * 124s| 71077 |  4309 | 42700 |   0.6 |  48M|1551 |   - |5645 |7085 |5645 | 246 |  13k|9249 |1361 | 0.000000e+00 | 7.600000e+01 |    Inf 
125.40/125.49	o 59
125.40/125.49	c * 124s| 71153 |  3481 | 42700 |   0.6 |  43M|1551 |   - |5645 |7000 |5645 | 246 |  13k|9249 |1361 | 0.000000e+00 | 5.900000e+01 |    Inf 
156.10/156.17	o 55
156.10/156.17	c * 154s| 79729 |  4638 | 81883 |   1.0 |  61M|1551 |   - |5645 |6845 |5645 | 232 |  23k|  18k|1596 | 0.000000e+00 | 5.500000e+01 |    Inf 
156.99/157.06	c   155s| 80000 |  4696 | 83132 |   1.0 |  61M|1551 |   4 |5645 |6406 |5645 | 227 |  23k|  18k|1602 | 0.000000e+00 | 5.500000e+01 |    Inf 
163.39/163.42	o 54
163.39/163.42	c * 161s| 82072 |  5093 | 88308 |   1.1 |  65M|1551 |   - |5645 |6557 |5645 | 213 |  24k|  21k|1616 | 0.000000e+00 | 5.400000e+01 |    Inf 
179.59/179.64	o 43
179.59/179.64	c * 177s| 86817 |  5401 |107506 |   1.2 |  69M|1551 |   - |5645 |6934 |5645 | 224 |  30k|  26k|1770 | 0.000000e+00 | 4.300000e+01 |    Inf 
180.00/180.04	o 25
180.00/180.04	c * 178s| 86945 |  4334 |107905 |   1.2 |  62M|1551 |   - |5645 |6534 |5645 | 223 |  30k|  26k|1778 | 0.000000e+00 | 2.500000e+01 |    Inf 
182.69/182.79	o 16
182.69/182.79	c * 180s| 88085 |  4011 |112212 |   1.3 |  60M|1551 |   - |5645 |5830 |5645 | 271 |  30k|  27k|1810 | 0.000000e+00 | 1.600000e+01 |    Inf 
186.90/186.98	c   184s| 90000 |  4021 |118050 |   1.3 |  61M|1551 |   1 |5645 |5006 |5645 | 213 |  32k|  30k|1867 | 0.000000e+00 | 1.600000e+01 |    Inf 
190.99/191.08	o 13
190.99/191.08	c * 189s| 91985 |  3921 |124031 |   1.3 |  61M|1551 |   - |5645 |5676 |5645 | 220 |  33k|  33k|1938 | 0.000000e+00 | 1.300000e+01 |    Inf 
190.99/191.09	o 10
190.99/191.09	c * 189s| 91986 |  3675 |124031 |   1.3 |  58M|1551 |   - |5645 |5676 |5645 | 220 |  33k|  33k|1938 | 0.000000e+00 | 1.000000e+01 |    Inf 
192.90/192.92	o 8
192.90/192.92	c * 190s| 92852 |  3482 |127071 |   1.4 |  56M|1551 |   - |5645 |5236 |5645 | 218 |  33k|  34k|1950 | 0.000000e+00 | 8.000000e+00 |    Inf 
193.79/193.88	o 2
193.79/193.88	c * 191s| 93283 |  2813 |128921 |   1.4 |  49M|1551 |   - |5645 |4945 |5645 | 218 |  34k|  35k|1955 | 0.000000e+00 | 2.000000e+00 |    Inf 
206.00/206.00	c   203s|100000 |  2761 |155651 |   1.6 |  51M|1551 |   - |5645 |5551 |   0 |   0 |  38k|  43k|2169 | 0.000000e+00 | 2.000000e+00 |    Inf 
223.49/223.57	c   220s|110000 |  2883 |193260 |   1.8 |  54M|1551 |   1 |5645 |9739 |5645 | 249 |  43k|  56k|2430 | 0.000000e+00 | 2.000000e+00 |    Inf 
242.10/242.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
242.10/242.19	c   238s|120000 |  2965 |233752 |   1.9 |  56M|1551 |   - |5645 |  11k|   0 |   0 |  48k|  69k|2669 | 0.000000e+00 | 2.000000e+00 |    Inf 
261.40/261.44	c   257s|130000 |  3160 |273783 |   2.1 |  60M|1551 |   8 |5645 |  14k|5645 | 244 |  51k|  83k|2824 | 0.000000e+00 | 2.000000e+00 |    Inf 
281.20/281.21	c   277s|140000 |  3228 |314600 |   2.2 |  61M|1551 |   1 |5645 |  13k|5645 | 218 |  56k|  97k|2972 | 0.000000e+00 | 2.000000e+00 |    Inf 
301.20/301.28	c   296s|150000 |  3240 |356698 |   2.4 |  62M|1551 |   - |5645 |  11k|   0 |   0 |  59k| 111k|3256 | 0.000000e+00 | 2.000000e+00 |    Inf 
321.90/321.99	c   317s|160000 |  3479 |398281 |   2.5 |  65M|1551 |  20 |5645 |  15k|5645 | 246 |  64k| 126k|3375 | 0.000000e+00 | 2.000000e+00 |    Inf 
343.21/343.29	c   338s|170000 |  3684 |437561 |   2.6 |  69M|1551 |   - |5645 |  19k|   0 |   0 |  68k| 140k|3493 | 0.000000e+00 | 2.000000e+00 |    Inf 
366.80/366.80	c   361s|180000 |  3866 |481009 |   2.7 |  72M|1551 |   - |5645 |  20k|   0 |   0 |  72k| 155k|3615 | 0.000000e+00 | 2.000000e+00 |    Inf 
389.60/389.63	c   383s|190000 |  3878 |526025 |   2.8 |  73M|1551 |   1 |5645 |  16k|5645 | 240 |  76k| 169k|3761 | 0.000000e+00 | 2.000000e+00 |    Inf 
411.20/411.26	c   404s|200000 |  3878 |568612 |   2.8 |  74M|1551 |   - |5645 |  16k|5645 | 249 |  80k| 184k|3883 | 0.000000e+00 | 2.000000e+00 |    Inf 
432.80/432.83	c   426s|210000 |  3954 |610657 |   2.9 |  75M|1551 |   1 |5645 |  18k|5645 | 234 |  85k| 198k|4009 | 0.000000e+00 | 2.000000e+00 |    Inf 
449.11/449.17	o 1
449.11/449.17	c * 442s|217225 |  4109 |643719 |   3.0 |  77M|1551 |   - |5645 |  19k|5645 | 242 |  89k| 208k|4115 | 0.000000e+00 | 1.000000e-00 |    Inf 
455.31/455.38	c   448s|220000 |  4154 |654807 |   3.0 |  78M|1551 |  10 |5645 |  20k|5645 | 247 |  90k| 212k|4132 | 0.000000e+00 | 1.000000e-00 |    Inf 
477.50/477.54	c   470s|230000 |  4136 |694839 |   3.0 |  79M|1551 |   - |5645 |  20k|   0 |   0 |  93k| 226k|4225 | 0.000000e+00 | 1.000000e-00 |    Inf 
499.90/499.98	c   492s|240000 |  4277 |730095 |   3.0 |  81M|1551 |   1 |5645 |  22k|5645 | 222 |  96k| 240k|4300 | 0.000000e+00 | 1.000000e-00 |    Inf 
524.21/524.29	c   516s|250000 |  4436 |760754 |   3.0 |  83M|1551 |   - |5645 |  23k|   0 |   0 |  98k| 254k|4370 | 0.000000e+00 | 1.000000e-00 |    Inf 
548.21/548.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
548.21/548.24	c   539s|260000 |  4569 |792013 |   3.0 |  85M|1551 |   - |5645 |  24k|   0 |   0 | 101k| 269k|4418 | 0.000000e+00 | 1.000000e-00 |    Inf 
573.71/573.72	c   564s|270000 |  4720 |825167 |   3.1 |  87M|1551 |  13 |5645 |  24k|5645 | 236 | 104k| 284k|4503 | 0.000000e+00 | 1.000000e-00 |    Inf 
597.71/597.72	c   588s|280000 |  4936 |858578 |   3.1 |  90M|1551 |   - |5645 |  27k|   0 |   0 | 107k| 299k|4546 | 0.000000e+00 | 1.000000e-00 |    Inf 
623.81/623.80	c   614s|290000 |  5075 |889377 |   3.1 |  92M|1551 |   1 |5645 |  27k|5645 | 237 | 111k| 313k|4609 | 0.000000e+00 | 1.000000e-00 |    Inf 
648.91/648.99	c   639s|300000 |  5168 |923205 |   3.1 |  93M|1551 |  17 |5645 |  25k|5645 | 237 | 113k| 328k|4681 | 0.000000e+00 | 1.000000e-00 |    Inf 
674.41/674.47	c   664s|310000 |  5162 |956863 |   3.1 |  92M|1551 |   1 |5645 |  23k|5645 | 221 | 116k| 343k|4739 | 0.000000e+00 | 1.000000e-00 |    Inf 
699.11/699.18	c   688s|320000 |  5347 |994669 |   3.1 |  95M|1551 |   - |5645 |  26k|   0 |   0 | 119k| 359k|4814 | 0.000000e+00 | 1.000000e-00 |    Inf 
724.52/724.51	c   713s|330000 |  5479 |  1031k|   3.1 |  97M|1551 |   1 |5645 |  25k|5645 | 221 | 121k| 374k|4861 | 0.000000e+00 | 1.000000e-00 |    Inf 
749.02/749.08	c   737s|340000 |  5476 |  1063k|   3.1 |  97M|1551 |   - |5645 |  24k|   0 |   0 | 124k| 389k|4917 | 0.000000e+00 | 1.000000e-00 |    Inf 
773.62/773.60	c   761s|350000 |  5474 |  1098k|   3.1 |  97M|1551 |   1 |5645 |  22k|5645 | 248 | 127k| 404k|5010 | 0.000000e+00 | 1.000000e-00 |    Inf 
796.32/796.40	c   784s|360000 |  5598 |  1137k|   3.2 |  99M|1551 |  21 |5645 |  23k|5645 | 249 | 130k| 419k|5072 | 0.000000e+00 | 1.000000e-00 |    Inf 
820.31/820.30	c   807s|370000 |  5745 |  1176k|   3.2 | 101M|1551 |   1 |5645 |  24k|5645 | 237 | 132k| 434k|5132 | 0.000000e+00 | 1.000000e-00 |    Inf 
845.02/845.02	c   832s|380000 |  5875 |  1216k|   3.2 | 102M|1551 |   1 |5645 |  24k|5645 | 248 | 134k| 450k|5207 | 0.000000e+00 | 1.000000e-00 |    Inf 
869.12/869.12	c   856s|390000 |  6207 |  1256k|   3.2 | 106M|1551 |   - |5645 |  29k|   0 |   0 | 137k| 465k|5256 | 0.000000e+00 | 1.000000e-00 |    Inf 
893.82/893.87	c   880s|400000 |  6272 |  1294k|   3.2 | 107M|1551 |   - |5645 |  26k|   0 |   0 | 140k| 481k|5318 | 0.000000e+00 | 1.000000e-00 |    Inf 
919.22/919.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
919.22/919.22	c   905s|410000 |  6348 |  1331k|   3.2 | 108M|1551 |   - |5645 |  26k|   0 |   0 | 142k| 496k|5387 | 0.000000e+00 | 1.000000e-00 |    Inf 
944.62/944.66	c   930s|420000 |  6388 |  1373k|   3.3 | 109M|1551 |   1 |5645 |  25k|5645 | 244 | 145k| 512k|5437 | 0.000000e+00 | 1.000000e-00 |    Inf 
971.33/971.38	c   956s|430000 |  6568 |  1417k|   3.3 | 110M|1551 |   - |5645 |  26k|   0 |   0 | 148k| 528k|5508 | 0.000000e+00 | 1.000000e-00 |    Inf 
997.42/997.46	c   982s|440000 |  6817 |  1467k|   3.3 | 113M|1551 |   - |5645 |  27k|   0 |   0 | 150k| 543k|5570 | 0.000000e+00 | 1.000000e-00 |    Inf 
1023.32/1023.39	c  1008s|450000 |  6939 |  1512k|   3.4 | 115M|1551 |   - |5645 |  26k|   0 |   0 | 153k| 559k|5637 | 0.000000e+00 | 1.000000e-00 |    Inf 
1049.12/1049.17	c  1033s|460000 |  7037 |  1553k|   3.4 | 117M|1551 |  14 |5645 |  28k|5645 | 254 | 154k| 575k|5691 | 0.000000e+00 | 1.000000e-00 |    Inf 
1075.13/1075.12	c  1059s|470000 |  7034 |  1595k|   3.4 | 116M|1551 |   1 |5645 |  24k|5645 | 237 | 157k| 591k|5761 | 0.000000e+00 | 1.000000e-00 |    Inf 
1099.73/1099.71	c  1083s|480000 |  7008 |  1636k|   3.4 | 116M|1551 |   1 |5645 |  25k|5645 | 249 | 159k| 607k|5807 | 0.000000e+00 | 1.000000e-00 |    Inf 
1124.13/1124.17	c  1107s|490000 |  7037 |  1676k|   3.4 | 118M|1551 |   - |5645 |  25k|   0 |   0 | 161k| 625k|5864 | 0.000000e+00 | 1.000000e-00 |    Inf 
1148.22/1148.23	c  1131s|500000 |  7015 |  1709k|   3.4 | 118M|1551 |  13 |5645 |  24k|5645 | 253 | 164k| 641k|5903 | 0.000000e+00 | 1.000000e-00 |    Inf 
1173.23/1173.23	c  1155s|510000 |  7015 |  1752k|   3.4 | 118M|1551 |   - |5645 |  25k|   0 |   0 | 166k| 657k|5977 | 0.000000e+00 | 1.000000e-00 |    Inf 
1199.03/1199.01	c  1181s|520000 |  6965 |  1791k|   3.4 | 118M|1551 |  15 |5645 |  25k|5645 | 237 | 169k| 673k|6023 | 0.000000e+00 | 1.000000e-00 |    Inf 
1223.92/1223.97	c  1205s|530000 |  6904 |  1832k|   3.5 | 117M|1551 |   - |5645 |  23k|   0 |   0 | 172k| 689k|6090 | 0.000000e+00 | 1.000000e-00 |    Inf 
1248.63/1248.68	c  1230s|540000 |  7017 |  1874k|   3.5 | 119M|1551 |   - |5645 |  24k|   0 |   0 | 174k| 704k|6142 | 0.000000e+00 | 1.000000e-00 |    Inf 
1273.43/1273.46	c  1254s|550000 |  6934 |  1914k|   3.5 | 117M|1551 |  14 |5645 |  20k|5645 | 241 | 176k| 720k|6208 | 0.000000e+00 | 1.000000e-00 |    Inf 
1297.33/1297.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1297.33/1297.37	c  1278s|560000 |  7042 |  1948k|   3.5 | 119M|1551 |   1 |5645 |  23k|5645 | 224 | 179k| 735k|6241 | 0.000000e+00 | 1.000000e-00 |    Inf 
1322.93/1322.94	c  1303s|570000 |  7167 |  1982k|   3.5 | 121M|1551 |   - |5645 |  25k|   0 |   0 | 182k| 750k|6278 | 0.000000e+00 | 1.000000e-00 |    Inf 
1347.63/1347.62	c  1327s|580000 |  7196 |  2014k|   3.5 | 122M|1551 |   1 |5645 |  25k|5645 | 241 | 184k| 764k|6314 | 0.000000e+00 | 1.000000e-00 |    Inf 
1371.93/1371.91	c  1351s|590000 |  7203 |  2045k|   3.5 | 122M|1551 |   - |5645 |  24k|   0 |   0 | 187k| 779k|6376 | 0.000000e+00 | 1.000000e-00 |    Inf 
1396.83/1396.90	c  1376s|600000 |  7243 |  2081k|   3.5 | 123M|1551 |   - |5645 |  24k|   0 |   0 | 189k| 793k|6404 | 0.000000e+00 | 1.000000e-00 |    Inf 
1422.14/1422.19	c  1401s|610000 |  7286 |  2118k|   3.5 | 123M|1551 |   1 |5645 |  22k|5645 | 237 | 192k| 808k|6461 | 0.000000e+00 | 1.000000e-00 |    Inf 
1448.03/1448.04	c  1426s|620000 |  7316 |  2162k|   3.5 | 124M|1551 |   - |5645 |  22k|   0 |   0 | 195k| 822k|6505 | 0.000000e+00 | 1.000000e-00 |    Inf 
1472.64/1472.63	c  1450s|630000 |  7345 |  2201k|   3.5 | 126M|1551 |   7 |5645 |  25k|5645 | 251 | 197k| 837k|6544 | 0.000000e+00 | 1.000000e-00 |    Inf 
1499.94/1499.90	c  1477s|640000 |  7420 |  2242k|   3.5 | 128M|1551 |  15 |5645 |  30k|5645 | 263 | 200k| 851k|6599 | 0.000000e+00 | 1.000000e-00 |    Inf 
1526.74/1526.77	c  1504s|650000 |  7497 |  2281k|   3.5 | 130M|1551 |   - |5645 |  31k|   0 |   0 | 202k| 867k|6637 | 0.000000e+00 | 1.000000e-00 |    Inf 
1554.14/1554.15	c  1531s|660000 |  7434 |  2320k|   3.5 | 127M|1551 |   - |5645 |  23k|   0 |   0 | 205k| 882k|6682 | 0.000000e+00 | 1.000000e-00 |    Inf 
1578.24/1578.21	c  1554s|670000 |  7340 |  2358k|   3.5 | 126M|1551 |  20 |5645 |  23k|5645 | 257 | 208k| 897k|6734 | 0.000000e+00 | 1.000000e-00 |    Inf 
1602.24/1602.28	c  1578s|680000 |  7183 |  2396k|   3.5 | 124M|1551 |   - |5645 |  20k|   0 |   0 | 210k| 912k|6775 | 0.000000e+00 | 1.000000e-00 |    Inf 
1625.04/1625.09	c  1601s|690000 |  6878 |  2433k|   3.5 | 120M|1551 |  10 |5645 |  19k|5645 | 245 | 213k| 928k|6814 | 0.000000e+00 | 1.000000e-00 |    Inf 
1647.34/1647.39	c  1623s|700000 |  6647 |  2469k|   3.5 | 117M|1551 |   9 |5645 |  18k|5645 | 240 | 215k| 943k|7229 | 0.000000e+00 | 1.000000e-00 |    Inf 
1670.64/1670.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1670.64/1670.69	c  1646s|710000 |  6755 |  2507k|   3.5 | 119M|1551 |  25 |5645 |  21k|5645 | 257 | 217k| 958k|7252 | 0.000000e+00 | 1.000000e-00 |    Inf 
1694.14/1694.14	c  1669s|720000 |  6917 |  2544k|   3.5 | 122M|1551 |   - |5645 |  23k|   0 |   0 | 219k| 973k|7252 | 0.000000e+00 | 1.000000e-00 |    Inf 
1718.25/1718.22	c  1692s|730000 |  7011 |  2580k|   3.5 | 122M|1551 |   - |5645 |  21k|   0 |   0 | 221k| 988k|7336 | 0.000000e+00 | 1.000000e-00 |    Inf 
1742.45/1742.41	c  1716s|740000 |  7230 |  2615k|   3.5 | 125M|1551 |   9 |5645 |  24k|5645 | 256 | 223k|1002k|7358 | 0.000000e+00 | 1.000000e-00 |    Inf 
1767.14/1767.17	c  1741s|750000 |  7306 |  2654k|   3.5 | 126M|1551 |  15 |5645 |  22k|5645 | 245 | 226k|1017k|7389 | 0.000000e+00 | 1.000000e-00 |    Inf 
1791.14/1791.15	c  1764s|760000 |  7347 |  2689k|   3.5 | 126M|1551 |   1 |5645 |  22k|5645 | 228 | 228k|1032k|7417 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1772.96
1800.06/1800.00	c Solving Nodes      : 763768
1800.06/1800.00	c Primal Bound       : +1.00000000000000e-00 (276 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.10	s SATISFIABLE
1800.06/1800.10	v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.06/1800.10	v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189 
1800.06/1800.10	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.06/1800.10	v x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.06/1800.10	v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 
1800.06/1800.10	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.06/1800.10	v -x103 -x102 -x101 x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1800.06/1800.10	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.06/1800.10	v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.06/1800.10	v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.06/1800.10	v -x1 
1800.06/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.10	c Solving Time       :    1772.96
1800.06/1800.10	c Original Problem   :
1800.06/1800.10	c   Problem name     : HOME/instance-2693019-1277929093.wbo
1800.06/1800.10	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.10	c   Constraints      : 5415 initial, 5415 maximal
1800.06/1800.10	c Presolved Problem  :
1800.06/1800.10	c   Problem name     : t_HOME/instance-2693019-1277929093.wbo
1800.06/1800.10	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.10	c   Constraints      : 5414 initial, 31771 maximal
1800.06/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.10	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.10	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.10	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.10	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.06/1800.10	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.10	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.06/1800.10	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.10	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.06/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.10	c   integral         :          0          0          0     479293          0         13        437          0          0     759640
1800.06/1800.10	c   indicator        :       2707          0     911589      84209          0        158    2770673          0          0          0
1800.06/1800.10	c   linear           :       2707          6    3890502      98249          0     306433   17832348     228880          0          0
1800.06/1800.10	c   logicor          :          0+         0    1176021          0          0      50986    1435906          0          0          0
1800.06/1800.10	c   countsols        :          0          0          0      71210          0          0          0          0          0          0
1800.06/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.10	c   integral         :      13.27       0.00       0.00      13.27       0.00
1800.06/1800.10	c   indicator        :      22.95       0.01       9.10      13.84       0.00
1800.06/1800.10	c   linear           :     228.28       0.00     221.69       6.59       0.00
1800.06/1800.10	c   logicor          :     292.72       0.00     292.72       0.00       0.00
1800.06/1800.10	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.06/1800.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.10	c   vbounds          :       1.10          2          0          0
1800.06/1800.10	c   rootredcost      :       0.87         57          0       2707
1800.06/1800.10	c   pseudoobj        :     198.10    3896488       4951    1936801
1800.06/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.10	c   propagation      :      22.58     362370     362130    2163070       31.5      18510       22.7          -
1800.06/1800.10	c   infeasible LP    :       3.79       9101       9101      72628       46.8        138       19.3          0
1800.06/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.10	c   pseudo solution  :       0.03        136        136        553       12.6        196        6.0          -
1800.06/1800.10	c   applied globally :          -          -          -    1038447       24.7          -          -          -
1800.06/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.10	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.06/1800.10	c   redcost          :      38.10     481088          0     755259          0          0
1800.06/1800.10	c   impliedbounds    :       0.00          4          0          0          0          0
1800.06/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.10	c   gomory           :       0.00          4          0          0         75          0
1800.06/1800.10	c   strongcg         :       0.00          4          0          0          0          0
1800.06/1800.10	c   cmir             :       0.01          4          0          0          1          0
1800.06/1800.10	c   flowcover        :       0.03          4          0          0          2          0
1800.06/1800.10	c   clique           :       0.01          1          0          0          0          0
1800.06/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.10	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.10	c Pricers            :       Time      Calls       Vars
1800.06/1800.10	c   problem variables:       0.00          0          0
1800.06/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.10	c   relpscost        :      12.88     380189         13        437          0          0     759640
1800.06/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   inference        :      14.39      71153          0          0          0          0     142306
1800.06/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.10	c   LP solutions     :       0.13          -         57
1800.06/1800.10	c   pseudo solutions :       0.00          -          0
1800.06/1800.10	c   feaspump         :       0.00          0          0
1800.06/1800.10	c   intshifting      :       0.02          3          0
1800.06/1800.10	c   oneopt           :       0.63         51          0
1800.06/1800.10	c   guideddiving     :       0.07         41          0
1800.06/1800.10	c   coefdiving       :       0.18        106          0
1800.06/1800.10	c   pscostdiving     :       0.16        106          0
1800.06/1800.10	c   fracdiving       :       0.12        106          0
1800.06/1800.10	c   veclendiving     :       0.14        106          0
1800.06/1800.10	c   linesearchdiving :       0.18        106          0
1800.06/1800.10	c   crossover        :       1.77         43          3
1800.06/1800.10	c   rootsoldiving    :       0.19        103          0
1800.06/1800.10	c   objpscostdiving  :       0.26        104          0
1800.06/1800.10	c   trivial          :       0.09          2          2
1800.06/1800.10	c   simplerounding   :       0.50     380509          0
1800.06/1800.10	c   zirounding       :       0.72       1000          0
1800.06/1800.10	c   rounding         :       2.24       8696          0
1800.06/1800.10	c   shifting         :       0.94       2678          0
1800.06/1800.10	c   twoopt           :       0.00          0          0
1800.06/1800.10	c   fixandinfer      :       0.00          0          0
1800.06/1800.10	c   intdiving        :       0.00          0          0
1800.06/1800.10	c   actconsdiving    :       0.00          0          0
1800.06/1800.10	c   octane           :       0.00          0          0
1800.06/1800.10	c   rens             :       0.02          1          0
1800.06/1800.10	c   rins             :       0.00          0          0
1800.06/1800.10	c   localbranching   :       0.00          0          0
1800.06/1800.10	c   mutation         :       0.00          0          0
1800.06/1800.10	c   dins             :       0.00          0          0
1800.06/1800.10	c   undercover       :       0.00          0          0
1800.06/1800.10	c   nlp              :       0.31          0          0
1800.06/1800.10	c   trysol           :       2.05       3833        214
1800.06/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.10	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.10	c   dual LP          :     419.30     420292    2701000       6.43    6441.69
1800.06/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.10	c   diving/probing LP:       0.17         68       1715      25.22   10088.24
1800.06/1800.10	c   strong branching :       9.90       7421      87607      11.81    8849.19
1800.06/1800.10	c     (at root node) :          -         33       1884      57.09          -
1800.06/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.10	c B&B Tree           :
1800.06/1800.10	c   number of runs   :          1
1800.06/1800.10	c   nodes            :     763768
1800.06/1800.10	c   nodes (total)    :     763768
1800.06/1800.10	c   nodes left       :       7356
1800.06/1800.10	c   max depth        :       1551
1800.06/1800.10	c   max depth (total):       1551
1800.06/1800.10	c   backtracks       :      66493 (8.7%)
1800.06/1800.10	c   delayed cutoffs  :      62285
1800.06/1800.10	c   repropagations   :    1946568 (4004317 domain reductions, 58963 cutoffs)
1800.06/1800.10	c   avg switch length:       6.57
1800.06/1800.10	c   switching time   :     275.50
1800.06/1800.10	c Solution           :
1800.06/1800.10	c   Solutions found  :        276 (58 improvements)
1800.06/1800.10	c   First Solution   : +1.34313000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.06/1800.10	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 217225 nodes, 441.61 seconds, depth 42, found by <relaxation>)
1800.06/1800.10	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.10	c   Gap              :   infinite
1800.06/1800.10	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.10	c   Root Iterations  :        183
1800.25/1800.27	c Time complete: 1800.32.

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-2693019-1277929093/watcher-2693019-1277929093 -o /tmp/evaluation-result-2693019-1277929093/solver-2693019-1277929093 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693019-1277929093.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.20 2.15 2.09 4/178 26892
/proc/meminfo: memFree=31496228/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=11116 CPUtime=0
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 1688 0 0 0 0 0 0 0 25 0 1 0 166501028 11382784 1609 4089446400 4194304 9819077 140733668664752 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26892/statm: 2779 1621 392 1374 0 1400 0

[startup+0.0901851 s]
/proc/loadavg: 2.20 2.15 2.09 4/178 26892
/proc/meminfo: memFree=31496228/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=36404 CPUtime=0.08
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 8123 0 0 0 8 0 0 0 25 0 1 0 166501028 37277696 7689 4089446400 4194304 9819077 140733668664752 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36404

[startup+0.101183 s]
/proc/loadavg: 2.20 2.15 2.09 4/178 26892
/proc/meminfo: memFree=31496228/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=36404 CPUtime=0.09
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 8123 0 0 0 9 0 0 0 25 0 1 0 166501028 37277696 7689 4089446400 4194304 9819077 140733668664752 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.300146 s]
/proc/loadavg: 2.20 2.15 2.09 4/178 26892
/proc/meminfo: memFree=31496228/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=45708 CPUtime=0.29
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 10810 0 0 0 28 1 0 0 25 0 1 0 166501028 46804992 9809 4089446400 4194304 9819077 140733668664752 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 11427 9809 672 1374 0 10048 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45708

[startup+0.700073 s]
/proc/loadavg: 2.20 2.15 2.09 4/178 26892
/proc/meminfo: memFree=31496228/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=45892 CPUtime=0.69
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 25287 0 0 0 65 4 0 0 25 0 1 0 166501028 46993408 9943 4089446400 4194304 9819077 140733668664752 18446744073709551615 6589136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 11473 9943 697 1374 0 10094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45892

[startup+1.50099 s]
/proc/loadavg: 2.19 2.14 2.09 3/179 26893
/proc/meminfo: memFree=31458028/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=47552 CPUtime=1.49
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 44164 0 0 0 142 7 0 0 25 0 1 0 166501028 48693248 10198 4089446400 4194304 9819077 140733668664752 18446744073709551615 6628180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 11888 10198 699 1374 0 10509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47552

[startup+3.10069 s]
/proc/loadavg: 2.19 2.14 2.09 3/179 26894
/proc/meminfo: memFree=31454308/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=50924 CPUtime=3.09
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 54355 0 0 0 300 9 0 0 25 0 1 0 166501028 52146176 11213 4089446400 4194304 9819077 140733668664752 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 12731 11213 700 1374 0 11352 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50924

[startup+6.30005 s]
/proc/loadavg: 2.17 2.14 2.09 3/179 26894
/proc/meminfo: memFree=31452572/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=57204 CPUtime=6.29
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 70805 0 0 0 616 13 0 0 25 0 1 0 166501028 58576896 12781 4089446400 4194304 9819077 140733668664752 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 14301 12781 700 1374 0 12922 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57204

[startup+12.7009 s]
/proc/loadavg: 2.16 2.14 2.09 3/179 26894
/proc/meminfo: memFree=31438148/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=66808 CPUtime=12.69
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 80202 0 0 0 1250 19 0 0 25 0 1 0 166501028 68411392 15492 4089446400 4194304 9819077 140733668664752 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 16702 15492 700 1374 0 15323 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66808

[startup+25.5006 s]
/proc/loadavg: 2.13 2.13 2.09 3/179 26894
/proc/meminfo: memFree=31421104/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=86140 CPUtime=25.5
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 91082 0 0 0 2518 32 0 0 25 0 1 0 166501028 88207360 19841 4089446400 4194304 9819077 140733668664752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 21535 19841 700 1374 0 20156 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 86140

[startup+51.1009 s]
/proc/loadavg: 2.08 2.12 2.08 3/179 26895
/proc/meminfo: memFree=31385108/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=122868 CPUtime=51.09
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 112604 0 0 0 5052 57 0 0 25 0 1 0 166501028 125816832 29191 4089446400 4194304 9819077 140733668664752 18446744073709551615 6519532 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 30717 29191 704 1374 0 29338 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 122868

[startup+102.306 s]
/proc/loadavg: 2.03 2.10 2.08 3/179 26896
/proc/meminfo: memFree=31326908/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=178608 CPUtime=102.3
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 234655 0 0 0 10115 115 0 0 25 0 1 0 166501028 182894592 43149 4089446400 4194304 9819077 140733668664752 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 44652 43149 705 1374 0 43273 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 178608

[startup+162.301 s]
/proc/loadavg: 2.01 2.08 2.07 3/179 26898
/proc/meminfo: memFree=31239816/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=270472 CPUtime=162.29
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 429028 0 0 0 16028 201 0 0 25 0 1 0 166501028 276963328 65118 4089446400 4194304 9819077 140733668664752 18446744073709551615 6163721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 67618 65118 709 1374 0 66239 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 270472

[startup+222.301 s]
/proc/loadavg: 2.00 2.06 2.07 3/179 26899
/proc/meminfo: memFree=31218700/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=291912 CPUtime=222.3
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 666447 0 0 0 21896 334 0 0 25 0 1 0 166501028 298917888 70185 4089446400 4194304 9819077 140733668664752 18446744073709551615 6162025 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 72978 70185 723 1374 0 71599 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 291912

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.06 3/179 26901
/proc/meminfo: memFree=31211600/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=298804 CPUtime=282.3
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 829042 0 0 0 27781 449 0 0 25 0 1 0 166501028 305975296 71893 4089446400 4194304 9819077 140733668664752 18446744073709551615 6671123 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 74701 71893 738 1374 0 73322 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 298804

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.06 3/179 26903
/proc/meminfo: memFree=31204612/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=305924 CPUtime=342.3
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 973666 0 0 0 33667 563 0 0 25 0 1 0 166501028 313266176 73679 4089446400 4194304 9819077 140733668664752 18446744073709551615 6513088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 76481 73679 738 1374 0 75102 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 305924

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/179 26904
/proc/meminfo: memFree=31200496/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=309936 CPUtime=402.3
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 1115205 0 0 0 39563 667 0 0 25 0 1 0 166501028 317374464 74647 4089446400 4194304 9819077 140733668664752 18446744073709551615 4981237 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 77484 74647 738 1374 0 76105 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 309936

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/179 26906
/proc/meminfo: memFree=31196616/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=313228 CPUtime=462.31
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 1271057 0 0 0 45455 776 0 0 25 0 1 0 166501028 320745472 75453 4089446400 4194304 9819077 140733668664752 18446744073709551615 6589138 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 78307 75453 738 1374 0 76928 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 313228

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/179 26907
/proc/meminfo: memFree=31191500/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=319028 CPUtime=522.3
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 1382527 0 0 0 51361 869 0 0 25 0 1 0 166501028 326684672 76930 4089446400 4194304 9819077 140733668664752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 79757 76930 738 1374 0 78378 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 319028

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 26909
/proc/meminfo: memFree=31186752/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=323732 CPUtime=582.31
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 1474356 0 0 0 57280 951 0 0 25 0 1 0 166501028 331501568 78122 4089446400 4194304 9819077 140733668664752 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 80933 78122 738 1374 0 79554 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 323732

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 26911
/proc/meminfo: memFree=31183504/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=326556 CPUtime=642.32
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 1558783 0 0 0 63196 1036 0 0 25 0 1 0 166501028 334393344 78869 4089446400 4194304 9819077 140733668664752 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 81639 78869 738 1374 0 80260 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 326556

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 26945
/proc/meminfo: memFree=31131072/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=340316 CPUtime=882.32
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 1949971 0 0 0 86854 1378 0 0 25 0 1 0 166501028 348483584 82044 4089446400 4194304 9819077 140733668664752 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 85079 82044 738 1374 0 83700 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 340316

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26947
/proc/meminfo: memFree=31062752/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=343076 CPUtime=942.32
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2042423 0 0 0 92772 1460 0 0 25 0 1 0 166501028 351309824 82759 4089446400 4194304 9819077 140733668664752 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 85769 82759 738 1374 0 84390 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 343076

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26948
/proc/meminfo: memFree=30992288/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=347848 CPUtime=1002.32
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2147619 0 0 0 98688 1544 0 0 25 0 1 0 166501028 356196352 83954 4089446400 4194304 9819077 140733668664752 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 86962 83954 738 1374 0 85583 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 347848

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26950
/proc/meminfo: memFree=30924172/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=351616 CPUtime=1062.32
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2240400 0 0 0 104606 1626 0 0 25 0 1 0 166501028 360054784 84939 4089446400 4194304 9819077 140733668664752 18446744073709551615 4983026 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 87904 84939 738 1374 0 86525 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 351616

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26951
/proc/meminfo: memFree=30839676/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=353712 CPUtime=1122.32
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2330038 0 0 0 110527 1705 0 0 25 0 1 0 166501028 362201088 85456 4089446400 4194304 9819077 140733668664752 18446744073709551615 6162025 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 88428 85456 738 1374 0 87049 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 353712

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 26953
/proc/meminfo: memFree=30750340/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=354408 CPUtime=1182.33
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2425579 0 0 0 116434 1799 0 0 25 0 1 0 166501028 362913792 85656 4089446400 4194304 9819077 140733668664752 18446744073709551615 6567584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 88602 85656 738 1374 0 87223 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 354408

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26955
/proc/meminfo: memFree=30696736/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=355724 CPUtime=1242.32
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2524780 0 0 0 122348 1884 0 0 25 0 1 0 166501028 364261376 85981 4089446400 4194304 9819077 140733668664752 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 88931 85981 738 1374 0 87552 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 355724

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26956
/proc/meminfo: memFree=30652540/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=356612 CPUtime=1302.33
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2619788 0 0 0 128258 1975 0 0 25 0 1 0 166501028 365170688 86216 4089446400 4194304 9819077 140733668664752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 89153 86216 738 1374 0 87774 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 356612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26958
/proc/meminfo: memFree=30650128/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=360904 CPUtime=1362.33
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2713502 0 0 0 134170 2063 0 0 25 0 1 0 166501028 369565696 87300 4089446400 4194304 9819077 140733668664752 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 90226 87300 738 1374 0 88847 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 360904

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 26959
/proc/meminfo: memFree=30659892/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=361576 CPUtime=1422.34
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2802224 0 0 0 140084 2150 0 0 25 0 1 0 166501028 370253824 87477 4089446400 4194304 9819077 140733668664752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 90394 87477 738 1374 0 89015 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 361576

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26961
/proc/meminfo: memFree=30657364/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=363336 CPUtime=1482.34
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2901944 0 0 0 145998 2236 0 0 25 0 1 0 166501028 372056064 87861 4089446400 4194304 9819077 140733668664752 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 90834 87861 738 1374 0 89455 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 363336

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26963
/proc/meminfo: memFree=30653588/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=366452 CPUtime=1542.34
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 2990717 0 0 0 151918 2316 0 0 25 0 1 0 166501028 375246848 88654 4089446400 4194304 9819077 140733668664752 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 91613 88654 738 1374 0 90234 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 366452

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26964
/proc/meminfo: memFree=30652064/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=366456 CPUtime=1602.34
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 3086065 0 0 0 157827 2407 0 0 25 0 1 0 166501028 375250944 88662 4089446400 4194304 9819077 140733668664752 18446744073709551615 6513072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 91614 88662 738 1374 0 90235 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 366456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26966
/proc/meminfo: memFree=30650992/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=365596 CPUtime=1662.34
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 3205538 0 0 0 163731 2503 0 0 25 0 1 0 166501028 374370304 88704 4089446400 4194304 9819077 140733668664752 18446744073709551615 8655320 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 91399 88704 738 1374 0 90020 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 365596

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26967
/proc/meminfo: memFree=30650704/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=366784 CPUtime=1722.34
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 3296369 0 0 0 169639 2595 0 0 25 0 1 0 166501028 375586816 88748 4089446400 4194304 9819077 140733668664752 18446744073709551615 7301991 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 91696 88748 738 1374 0 90317 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 366784

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26969
/proc/meminfo: memFree=30649052/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=367288 CPUtime=1782.35
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 3382567 0 0 0 175555 2680 0 0 25 0 1 0 166501028 376102912 88862 4089446400 4194304 9819077 140733668664752 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 91822 88862 738 1374 0 90443 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 367288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26969
/proc/meminfo: memFree=30648908/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=367284 CPUtime=1800.06
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 3409011 0 0 0 177299 2707 0 0 25 0 1 0 166501028 376098816 88862 4089446400 4194304 9819077 140733668664752 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26892/statm: 91821 88862 738 1374 0 90442 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 367284

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

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

[startup+1800.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26969
/proc/meminfo: memFree=30648908/32950928 swapFree=67111528/67111528
[pid=26892] ppid=26890 vsize=330420 CPUtime=1800.25
/proc/26892/stat : 26892 (pbscip.linux.x8) R 26890 26892 26671 0 -1 4202496 3409013 0 0 0 177318 2707 0 0 18 0 1 0 166501028 338350080 79648 4089446400 4194304 9819077 140733668664752 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26892/statm: 82605 79648 739 1374 0 81226 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 330420

Child status: 0
Real time (s): 1800.28
CPU time (s): 1800.33
CPU user time (s): 1773.25
CPU system time (s): 27.0849
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 368608

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

runsolver used 3.02554 second user time and 5.9061 second system time

The end

Launcher Data 

Begin job on node116 at 2010-06-30 22:18:13
IDJOB=2693019
IDBENCH=79294
IDSOLVER=1205
FILE ID=node116/2693019-1277929093
PBS_JOBID= 11197401
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 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.1900582300--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-2693019-1277929093/watcher-2693019-1277929093 -o /tmp/evaluation-result-2693019-1277929093/solver-2693019-1277929093 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693019-1277929093.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0a3bbeff5fae384bd8f72d98174965d3
RANDOM SEED=1533554605

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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:     32950928 kB
MemFree:      31496756 kB
Buffers:        212956 kB
Cached:        1010352 kB
SwapCached:          0 kB
Active:         577936 kB
Inactive:       732560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31496756 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6308 kB
Writeback:           0 kB
AnonPages:       87400 kB
Mapped:          15628 kB
Slab:            79668 kB
PageTables:       5144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   235984 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= 74200 MiB
End job on node116 at 2010-06-30 22:48:15