Trace number 2692351

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.24 1800.2

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
MD5SUMe3f6753fad3114c64a2e1439cb62c0aa
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 benchmark84.5321
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 137946
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137945
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 741
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: SoPlex 1.4.2] [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-2692351-1277927555.wbo>
0.01/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.01/0.03	c problem read
0.01/0.03	c presolving settings loaded
0.09/0.12	o 137945
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.379450e+05
0.09/0.12	c presolving:
0.09/0.13	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.14	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.09/0.18	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  2707 implications, 0 cliques
0.09/0.18	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18	c    2707 constraints of type <indicator>
0.09/0.18	c    2707 constraints of type <linear>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.13
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.97
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.19/0.20	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.20	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    22 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    43 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    65 |     - |  19M|   0 |  19 |5645 |5414 |5645 |  89 |  89 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    85 |     - |  19M|   0 |  30 |5645 |5414 |5645 | 113 | 113 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    98 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 127 | 127 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   106 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     2 |   185 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |  32 | 0.000000e+00 | 1.379450e+05 |    Inf 
29.29/29.32	c  29.0s| 10000 | 10001 | 42927 |   4.3 |  52M|  79 |   0 |5645 |5414 |5645 | 189 |  14k|   0 |1802 | 0.000000e+00 | 1.379450e+05 |    Inf 
55.00/55.01	c  54.5s| 20000 | 20001 | 96782 |   4.8 |  75M| 101 |   0 |5645 |5414 |5645 | 197 |  23k|   0 |1906 | 0.000000e+00 | 1.379450e+05 |    Inf 
78.39/78.44	c  77.7s| 30000 | 30001 |132809 |   4.4 |  98M| 107 |   8 |5645 |5414 |5645 | 304 |  30k|   0 |2387 | 0.000000e+00 | 1.379450e+05 |    Inf 
100.09/100.15	c  99.2s| 40000 | 40001 |151639 |   3.8 | 121M| 129 |   0 |5645 |5414 |5645 | 250 |  37k|   0 |2632 | 0.000000e+00 | 1.379450e+05 |    Inf 
121.10/121.11	c   120s| 50000 | 50001 |169726 |   3.4 | 143M| 149 |   0 |5645 |5414 |5645 | 287 |  44k|   0 |2831 | 0.000000e+00 | 1.379450e+05 |    Inf 
142.09/142.15	c   141s| 60000 | 60001 |189495 |   3.2 | 165M| 157 |   4 |5645 |5414 |5645 | 200 |  48k|   0 |3040 | 0.000000e+00 | 1.379450e+05 |    Inf 
163.50/163.54	c   162s| 70000 | 70001 |215329 |   3.1 | 187M| 157 |  11 |5645 |5414 |5645 | 195 |  53k|   0 |3267 | 0.000000e+00 | 1.379450e+05 |    Inf 
185.80/185.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
185.80/185.81	c   184s| 80000 | 79995 |247826 |   3.1 | 209M| 157 |   0 |5645 |5437 |5645 | 215 |  57k|  23 |3551 | 0.000000e+00 | 1.379450e+05 |    Inf 
191.40/191.48	o 285
191.40/191.48	c * 190s| 82552 | 29416 |254836 |   3.1 | 103M| 157 |   - |5645 |5437 |5645 | 170 |  58k|  23 |3643 | 0.000000e+00 | 2.850000e+02 |    Inf 
195.99/196.04	o 283
195.99/196.04	c * 194s| 83673 | 30057 |264472 |   3.2 | 108M| 157 |   - |5645 |5551 |5645 | 187 |  60k| 137 |3703 | 0.000000e+00 | 2.830000e+02 |    Inf 
197.50/197.56	o 281
197.50/197.56	c * 196s| 84059 | 30016 |267236 |   3.2 | 108M| 157 |   - |5645 |5616 |5645 | 187 |  61k| 202 |3756 | 0.000000e+00 | 2.810000e+02 |    Inf 
200.79/200.85	o 275
200.79/200.85	c * 199s| 85003 | 29932 |271911 |   3.2 | 110M| 157 |   - |5645 |5772 |5645 | 210 |  62k| 358 |3782 | 0.000000e+00 | 2.750000e+02 |    Inf 
200.79/200.86	o 270
200.79/200.86	c * 199s| 85004 | 29143 |271911 |   3.2 | 108M| 157 |   - |5645 |5772 |5645 | 210 |  62k| 358 |3782 | 0.000000e+00 | 2.700000e+02 |    Inf 
201.30/201.38	o 262
201.30/201.38	c * 200s| 85135 | 27942 |272739 |   3.2 | 106M| 157 |   - |5645 |5809 |5645 | 179 |  62k| 395 |3783 | 0.000000e+00 | 2.620000e+02 |    Inf 
201.39/201.45	o 254
201.39/201.45	c * 200s| 85151 | 26693 |272819 |   3.2 | 103M| 157 |   - |5645 |5812 |5645 | 185 |  62k| 398 |3783 | 0.000000e+00 | 2.540000e+02 |    Inf 
201.39/201.47	o 247
201.39/201.47	c * 200s| 85152 | 25536 |272831 |   3.2 | 100M| 157 |   - |5645 |5812 |5645 | 185 |  62k| 398 |3783 | 0.000000e+00 | 2.470000e+02 |    Inf 
204.40/204.43	o 241
204.40/204.43	c * 203s| 85822 | 25005 |279585 |   3.3 | 101M| 157 |   - |5645 |5954 |5645 | 215 |  64k| 551 |3828 | 0.000000e+00 | 2.410000e+02 |    Inf 
204.70/204.75	o 235
204.70/204.75	c * 203s| 85892 | 23970 |280323 |   3.3 |  99M| 157 |   - |5645 |5970 |5645 | 157 |  64k| 567 |3835 | 0.000000e+00 | 2.350000e+02 |    Inf 
205.50/205.53	o 233
205.50/205.53	c * 204s| 86054 | 23769 |282587 |   3.3 | 100M| 157 |   - |5645 |5988 |5645 | 159 |  64k| 586 |3855 | 0.000000e+00 | 2.330000e+02 |    Inf 
205.70/205.77	o 230
205.70/205.77	c * 204s| 86102 | 23343 |282969 |   3.3 |  99M| 157 |   - |5645 |6005 |5645 | 185 |  65k| 603 |3862 | 0.000000e+00 | 2.300000e+02 |    Inf 
206.49/206.50	o 228
206.49/206.50	c * 205s| 86235 | 23015 |285354 |   3.3 | 100M| 157 |   - |5645 |6029 |5645 | 205 |  65k| 630 |3878 | 0.000000e+00 | 2.280000e+02 |    Inf 
206.70/206.77	o 218
206.70/206.77	c * 205s| 86289 | 21265 |286049 |   3.3 |  94M| 157 |   - |5645 |6035 |5645 | 188 |  65k| 636 |3881 | 0.000000e+00 | 2.180000e+02 |    Inf 
207.30/207.39	o 216
207.30/207.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
207.30/207.39	c * 206s| 86391 | 21058 |288184 |   3.3 |  95M| 157 |   - |5645 |6076 |5645 | 206 |  65k| 679 |3893 | 0.000000e+00 | 2.160000e+02 |    Inf 
207.90/207.96	o 210
207.90/207.96	c * 206s| 86518 | 20222 |289275 |   3.3 |  94M| 157 |   - |5645 |6116 |5645 | 159 |  66k| 720 |3899 | 0.000000e+00 | 2.100000e+02 |    Inf 
209.20/209.21	o 208
209.20/209.21	c * 207s| 86767 | 20170 |293356 |   3.4 |  95M| 157 |   - |5645 |6148 |5645 | 198 |  66k| 755 |3902 | 0.000000e+00 | 2.080000e+02 |    Inf 
209.40/209.40	o 207
209.40/209.40	c * 208s| 86808 | 20034 |293612 |   3.4 |  95M| 157 |   - |5645 |6151 |5645 | 181 |  66k| 759 |3903 | 0.000000e+00 | 2.070000e+02 |    Inf 
209.69/209.70	o 203
209.69/209.70	c * 208s| 86869 | 19497 |294294 |   3.4 |  94M| 157 |   - |5645 |6178 |5645 | 210 |  66k| 786 |3904 | 0.000000e+00 | 2.030000e+02 |    Inf 
209.69/209.78	o 198
209.69/209.78	c * 208s| 86879 | 18719 |294500 |   3.4 |  92M| 157 |   - |5645 |6178 |5645 | 200 |  66k| 786 |3905 | 0.000000e+00 | 1.980000e+02 |    Inf 
209.79/209.85	o 190
209.79/209.85	c * 208s| 86892 | 17640 |294696 |   3.4 |  88M| 157 |   - |5645 |6178 |5645 | 188 |  66k| 786 |3905 | 0.000000e+00 | 1.900000e+02 |    Inf 
210.10/210.18	o 178
210.10/210.18	c * 208s| 86976 | 14986 |295278 |   3.4 |  80M| 157 |   - |5645 |6219 |5645 | 176 |  66k| 827 |3912 | 0.000000e+00 | 1.780000e+02 |    Inf 
210.49/210.56	o 173
210.49/210.56	c * 209s| 87069 | 14505 |295988 |   3.4 |  79M| 157 |   - |5645 |6237 |5645 | 165 |  67k| 846 |3917 | 0.000000e+00 | 1.730000e+02 |    Inf 
210.69/210.77	o 169
210.69/210.77	c * 209s| 87102 | 13885 |296379 |   3.4 |  77M| 157 |   - |5645 |6248 |5645 | 170 |  67k| 858 |3927 | 0.000000e+00 | 1.690000e+02 |    Inf 
211.40/211.48	o 165
211.40/211.48	c * 210s| 87228 | 13378 |298160 |   3.4 |  76M| 157 |   - |5645 |6257 |5645 | 162 |  67k| 868 |3957 | 0.000000e+00 | 1.650000e+02 |    Inf 
213.79/213.86	o 163
213.79/213.86	c * 212s| 87702 | 12792 |302500 |   3.4 |  78M| 157 |   - |5645 |6404 |5645 | 228 |  68k|1021 |4019 | 0.000000e+00 | 1.630000e+02 |    Inf 
214.40/214.47	o 141
214.40/214.47	c * 213s| 87816 |  8882 |303649 |   3.5 |  66M| 157 |   - |5645 |6475 |5645 | 171 |  69k|1098 |4019 | 0.000000e+00 | 1.410000e+02 |    Inf 
214.50/214.54	o 140
214.50/214.54	c * 213s| 87821 |  8366 |303850 |   3.5 |  65M| 157 |   - |5645 |6475 |5645 | 187 |  69k|1098 |4023 | 0.000000e+00 | 1.400000e+02 |    Inf 
214.69/214.79	o 136
214.69/214.79	c * 213s| 87878 |  7743 |304259 |   3.5 |  64M| 157 |   - |5645 |6489 |5645 | 175 |  69k|1118 |4024 | 0.000000e+00 | 1.360000e+02 |    Inf 
214.69/214.79	o 135
214.69/214.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
214.69/214.79	c * 213s| 87879 |  7669 |304259 |   3.5 |  63M| 157 |   - |5645 |6489 |5645 | 175 |  69k|1118 |4024 | 0.000000e+00 | 1.350000e+02 |    Inf 
215.10/215.16	o 124
215.10/215.16	c * 213s| 87957 |  6072 |304817 |   3.5 |  59M| 157 |   - |5645 |6502 |5645 | 176 |  69k|1137 |4026 | 0.000000e+00 | 1.240000e+02 |    Inf 
215.30/215.36	o 123
215.30/215.36	c * 213s| 87999 |  6043 |305031 |   3.5 |  59M| 157 |   - |5645 |6524 |5645 | 164 |  69k|1168 |4027 | 0.000000e+00 | 1.230000e+02 |    Inf 
215.40/215.44	o 121
215.40/215.44	c * 214s| 88013 |  5880 |305137 |   3.5 |  59M| 157 |   - |5645 |6528 |5645 | 166 |  69k|1172 |4027 | 0.000000e+00 | 1.210000e+02 |    Inf 
215.40/215.46	o 119
215.40/215.46	c * 214s| 88015 |  5786 |305179 |   3.5 |  58M| 157 |   - |5645 |6528 |5645 | 167 |  69k|1172 |4027 | 0.000000e+00 | 1.190000e+02 |    Inf 
215.60/215.63	o 118
215.60/215.63	c * 214s| 88044 |  5744 |305481 |   3.5 |  59M| 157 |   - |5645 |6537 |5645 | 155 |  69k|1189 |4027 | 0.000000e+00 | 1.180000e+02 |    Inf 
215.60/215.63	o 113
215.60/215.63	c * 214s| 88045 |  5499 |305481 |   3.5 |  58M| 157 |   - |5645 |6537 |5645 | 155 |  69k|1189 |4027 | 0.000000e+00 | 1.130000e+02 |    Inf 
215.69/215.79	o 112
215.69/215.79	c * 214s| 88071 |  5412 |305780 |   3.5 |  58M| 157 |   - |5645 |6537 |5645 | 174 |  69k|1197 |4027 | 0.000000e+00 | 1.120000e+02 |    Inf 
215.79/215.80	o 107
215.79/215.80	c * 214s| 88072 |  5297 |305780 |   3.5 |  57M| 157 |   - |5645 |6537 |5645 | 174 |  69k|1197 |4027 | 0.000000e+00 | 1.070000e+02 |    Inf 
215.79/215.86	o 104
215.79/215.86	c * 214s| 88083 |  5187 |305864 |   3.5 |  57M| 157 |   - |5645 |6540 |5645 | 158 |  69k|1201 |4027 | 0.000000e+00 | 1.040000e+02 |    Inf 
215.89/215.93	o 102
215.89/215.93	c * 214s| 88092 |  5049 |305895 |   3.5 |  57M| 157 |   - |5645 |6538 |5645 | 179 |  69k|1205 |4027 | 0.000000e+00 | 1.020000e+02 |    Inf 
215.89/215.95	o 91
215.89/215.95	c * 214s| 88098 |  4028 |305896 |   3.5 |  54M| 157 |   - |5645 |6538 |5645 | 179 |  69k|1205 |4027 | 0.000000e+00 | 9.100000e+01 |    Inf 
216.19/216.21	o 86
216.19/216.21	c * 214s| 88152 |  3573 |306384 |   3.5 |  51M| 157 |   - |5645 |6305 |5645 | 198 |  69k|1258 |4028 | 0.000000e+00 | 8.600000e+01 |    Inf 
216.40/216.42	o 84
216.40/216.42	c * 215s| 88181 |  1083 |306706 |   3.5 |  35M| 157 |   - |5645 |6164 |5645 | 145 |  69k|1278 |4028 | 0.000000e+00 | 8.400000e+01 |    Inf 
223.10/223.16	c   221s| 90000 |  1295 |314047 |   3.5 |  40M| 157 |   - |5645 |6392 |   0 |   0 |  71k|2975 |4058 | 0.000000e+00 | 8.400000e+01 |    Inf 
224.20/224.23	o 79
224.20/224.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
224.20/224.23	c * 222s| 90289 |  1262 |314700 |   3.5 |  40M| 157 |   - |5645 |6457 |5645 | 169 |  72k|3232 |4062 | 0.000000e+00 | 7.900000e+01 |    Inf 
261.30/261.37	c   259s|100000 |  2330 |353997 |   3.5 |  64M| 157 |   3 |5645 |8295 |5645 | 175 |  85k|  14k|4153 | 0.000000e+00 | 7.900000e+01 |    Inf 
280.70/280.70	o 67
280.70/280.70	c * 278s|104487 |  2605 |376059 |   3.6 |  74M| 157 |   - |5645 |8337 |5645 | 186 |  94k|  19k|4226 | 0.000000e+00 | 6.700000e+01 |    Inf 
297.10/297.10	c   294s|110000 |  2795 |390216 |   3.5 |  78M| 157 |   1 |5645 |8400 |5645 | 145 |  99k|  25k|4256 | 0.000000e+00 | 6.700000e+01 |    Inf 
320.90/320.95	o 66
320.90/320.95	c * 318s|118201 |  2953 |410252 |   3.5 |  83M| 157 |   - |5645 |9640 |5645 | 145 | 106k|  36k|4290 | 0.000000e+00 | 6.600000e+01 |    Inf 
324.40/324.49	o 54
324.40/324.49	c * 321s|119217 |  2879 |412690 |   3.5 |  82M| 157 |   - |5645 |9996 |5645 | 177 | 107k|  38k|4291 | 0.000000e+00 | 5.400000e+01 |    Inf 
326.90/326.95	c   324s|120000 |  2881 |414407 |   3.5 |  82M| 157 |   1 |5645 |7479 |5645 | 145 | 107k|  39k|4305 | 0.000000e+00 | 5.400000e+01 |    Inf 
330.60/330.63	o 51
330.60/330.63	c * 327s|121272 |  2910 |416677 |   3.4 |  83M| 157 |   - |5645 |8432 |5645 | 156 | 107k|  41k|4310 | 0.000000e+00 | 5.100000e+01 |    Inf 
336.10/336.13	o 49
336.10/336.13	c * 333s|123092 |  2926 |421346 |   3.4 |  84M| 157 |   - |5645 |7498 |5645 | 157 | 109k|  43k|4319 | 0.000000e+00 | 4.900000e+01 |    Inf 
344.80/344.81	o 46
344.80/344.81	c * 341s|126135 |  2909 |430103 |   3.4 |  85M| 157 |   - |5645 |6835 |5645 | 157 | 111k|  47k|4370 | 0.000000e+00 | 4.600000e+01 |    Inf 
349.40/349.49	o 34
349.40/349.49	c * 346s|128075 |  2763 |433221 |   3.4 |  84M| 157 |   - |5645 |7230 |5645 | 152 | 112k|  50k|4401 | 0.000000e+00 | 3.400000e+01 |    Inf 
354.10/354.16	c   351s|130000 |  2699 |438004 |   3.4 |  85M| 157 |   - |5645 |6637 |   0 |   0 | 113k|  52k|4461 | 0.000000e+00 | 3.400000e+01 |    Inf 
360.90/360.94	o 30
360.90/360.94	c * 357s|132866 |  2720 |446597 |   3.4 |  85M| 157 |   - |5645 |7640 |5645 | 161 | 115k|  56k|4464 | 0.000000e+00 | 3.000000e+01 |    Inf 
361.20/361.28	o 22
361.20/361.28	c * 358s|133030 |  2539 |446855 |   3.4 |  79M| 157 |   - |5645 |7485 |5645 | 171 | 115k|  56k|4464 | 0.000000e+00 | 2.200000e+01 |    Inf 
364.30/364.32	o 21
364.30/364.32	c * 361s|134453 |  2424 |449852 |   3.3 |  78M| 157 |   - |5645 |6476 |5645 | 160 | 115k|  58k|4513 | 0.000000e+00 | 2.100000e+01 |    Inf 
365.00/365.02	o 17
365.00/365.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
365.00/365.02	c * 361s|134793 |  2332 |450613 |   3.3 |  75M| 157 |   - |5645 |6806 |5645 | 153 | 116k|  59k|4513 | 0.000000e+00 | 1.700000e+01 |    Inf 
374.80/374.88	c   371s|140000 |  2194 |461964 |   3.3 |  75M| 157 |   1 |5645 |6953 |5645 | 145 | 117k|  65k|4591 | 0.000000e+00 | 1.700000e+01 |    Inf 
383.10/383.19	o 16
383.10/383.19	c * 379s|144486 |  2166 |472255 |   3.3 |  76M| 157 |   - |5645 |9060 |5645 | 158 | 119k|  71k|4631 | 0.000000e+00 | 1.600000e+01 |    Inf 
394.40/394.43	c   390s|150000 |  2056 |489703 |   3.3 |  75M| 157 |  15 |5645 |7014 |5645 | 178 | 124k|  78k|4699 | 0.000000e+00 | 1.600000e+01 |    Inf 
411.90/411.90	o 15
411.90/411.90	c * 408s|158397 |  2138 |520313 |   3.3 |  76M| 157 |   - |5645 |9328 |5645 | 171 | 133k|  91k|4772 | 0.000000e+00 | 1.500000e+01 |    Inf 
415.00/415.05	c   411s|160000 |  2137 |524287 |   3.3 |  77M| 157 |   - |5645 |9700 |   0 |   0 | 134k|  93k|4775 | 0.000000e+00 | 1.500000e+01 |    Inf 
428.40/428.43	o 11
428.40/428.43	c * 424s|166499 |  1957 |544103 |   3.3 |  72M| 157 |   - |5645 |9203 |5645 | 150 | 139k| 102k|4874 | 0.000000e+00 | 1.100000e+01 |    Inf 
435.01/435.08	c   430s|170000 |  2038 |551882 |   3.2 |  73M| 157 |   - |5645 |9599 |   0 |   0 | 140k| 106k|4889 | 0.000000e+00 | 1.100000e+01 |    Inf 
454.00/454.01	c   449s|180000 |  2117 |576355 |   3.2 |  75M| 157 |  17 |5645 |  11k|5645 | 161 | 145k| 119k|4953 | 0.000000e+00 | 1.100000e+01 |    Inf 
461.60/461.64	o 7
461.60/461.64	c * 457s|183971 |  1498 |584954 |   3.2 |  57M| 157 |   - |5645 |  11k|5645 | 176 | 146k| 124k|4976 | 0.000000e+00 | 7.000000e+00 |    Inf 
474.51/474.57	c   469s|190000 |  1536 |607387 |   3.2 |  58M| 157 |  20 |5645 |  11k|5645 | 174 | 152k| 133k|5017 | 0.000000e+00 | 7.000000e+00 |    Inf 
477.30/477.37	o 6
477.30/477.37	c * 472s|191375 |  1405 |611930 |   3.2 |  55M| 157 |   - |5645 |  11k|5645 | 175 | 153k| 135k|5044 | 0.000000e+00 | 6.000000e+00 |    Inf 
492.61/492.63	c   487s|200000 |  1402 |629067 |   3.1 |  56M| 157 |  10 |5645 |  13k|5645 | 169 | 156k| 146k|5085 | 0.000000e+00 | 6.000000e+00 |    Inf 
511.81/511.81	c   506s|210000 |  1427 |648477 |   3.1 |  57M| 157 |   - |5645 |  14k|   0 |   0 | 159k| 159k|5117 | 0.000000e+00 | 6.000000e+00 |    Inf 
533.41/533.47	c   527s|220000 |  1509 |664631 |   3.0 |  60M| 157 |   - |5645 |  18k|   0 |   0 | 161k| 171k|5156 | 0.000000e+00 | 6.000000e+00 |    Inf 
555.61/555.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
555.61/555.68	c   549s|230000 |  1515 |681623 |   3.0 |  61M| 157 |   - |5645 |  18k|   0 |   0 | 164k| 184k|5194 | 0.000000e+00 | 6.000000e+00 |    Inf 
576.90/576.99	c   570s|240000 |  1414 |700819 |   2.9 |  59M| 157 |   - |5645 |  14k|   0 |   0 | 167k| 198k|5248 | 0.000000e+00 | 6.000000e+00 |    Inf 
591.10/591.14	o 4
591.10/591.14	c * 584s|247302 |  1292 |713921 |   2.9 |  57M| 157 |   - |5645 |  17k|5645 | 176 | 169k| 208k|5271 | 0.000000e+00 | 4.000000e+00 |    Inf 
596.71/596.74	c   590s|250000 |  1244 |719593 |   2.9 |  55M| 157 |  19 |5645 |  12k|5645 | 177 | 170k| 212k|5286 | 0.000000e+00 | 4.000000e+00 |    Inf 
615.91/615.97	c   609s|260000 |  1256 |739506 |   2.8 |  56M| 157 |   1 |5645 |  13k|5645 | 160 | 173k| 225k|5327 | 0.000000e+00 | 4.000000e+00 |    Inf 
635.91/635.93	c   629s|270000 |  1326 |759378 |   2.8 |  57M| 157 |   - |5645 |  16k|   0 |   0 | 176k| 239k|5367 | 0.000000e+00 | 4.000000e+00 |    Inf 
651.30/651.33	o 2
651.30/651.33	c * 644s|277615 |  1203 |772180 |   2.8 |  55M| 157 |   - |5645 |  15k|5645 | 145 | 178k| 249k|5426 | 0.000000e+00 | 2.000000e+00 |    Inf 
656.50/656.54	c   649s|280000 |  1243 |779507 |   2.8 |  55M| 157 |   1 |5645 |  12k|5645 | 145 | 180k| 253k|5465 | 0.000000e+00 | 2.000000e+00 |    Inf 
666.01/666.08	o 1
666.01/666.08	c * 658s|284520 |  1332 |797012 |   2.8 |  56M| 157 |   - |5645 |  15k|5645 | 145 | 186k| 259k|5493 | 0.000000e+00 | 1.000000e+00 |    Inf 
677.20/677.28	c   669s|290000 |  1221 |814502 |   2.8 |  55M| 157 |   1 |5645 |  13k|5645 | 190 | 192k| 267k|5551 | 0.000000e+00 | 1.000000e+00 |    Inf 
697.01/697.01	c   689s|300000 |  1193 |835071 |   2.8 |  56M| 157 |   1 |5645 |  14k|5645 | 168 | 194k| 281k|5594 | 0.000000e+00 | 1.000000e+00 |    Inf 
716.31/716.39	c   708s|310000 |  1196 |851772 |   2.7 |  57M| 157 |   - |5645 |  18k|   0 |   0 | 196k| 295k|5621 | 0.000000e+00 | 1.000000e+00 |    Inf 
739.01/739.08	c   730s|320000 |  1191 |869871 |   2.7 |  57M| 157 |   - |5645 |  17k|   0 |   0 | 199k| 308k|5672 | 0.000000e+00 | 1.000000e+00 |    Inf 
758.81/758.82	c   750s|330000 |  1106 |893212 |   2.7 |  55M| 157 |   - |5645 |  13k|   0 |   0 | 202k| 321k|5793 | 0.000000e+00 | 1.000000e+00 |    Inf 
780.41/780.49	c   772s|340000 |  1170 |923740 |   2.7 |  57M| 157 |   - |5645 |  15k|   0 |   0 | 208k| 334k|5832 | 0.000000e+00 | 1.000000e+00 |    Inf 
804.61/804.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
804.61/804.69	c   795s|350000 |  1272 |958784 |   2.7 |  59M| 157 |  23 |5645 |  20k|5645 | 169 | 215k| 347k|5912 | 0.000000e+00 | 1.000000e+00 |    Inf 
832.11/832.11	c   823s|360000 |  1350 |  1001k|   2.8 |  61M| 157 |   - |5645 |  22k|   0 |   0 | 226k| 361k|5984 | 0.000000e+00 | 1.000000e+00 |    Inf 
862.01/862.09	c   852s|370000 |  1378 |  1051k|   2.8 |  63M| 157 |   - |5645 |  26k|   0 |   0 | 241k| 375k|6058 | 0.000000e+00 | 1.000000e+00 |    Inf 
893.51/893.56	c   884s|380000 |  1528 |  1105k|   2.9 |  66M| 157 |   - |5645 |  29k|   0 |   0 | 255k| 389k|6165 | 0.000000e+00 | 1.000000e+00 |    Inf 
926.81/926.88	c   917s|390000 |  1609 |  1155k|   3.0 |  67M| 157 |  19 |5645 |  31k|5645 | 193 | 270k| 403k|6234 | 0.000000e+00 | 1.000000e+00 |    Inf 
959.91/959.97	c   950s|400000 |  1731 |  1205k|   3.0 |  68M| 157 |   - |5645 |  31k|   0 |   0 | 284k| 418k|6302 | 0.000000e+00 | 1.000000e+00 |    Inf 
994.42/994.49	c   984s|410000 |  1971 |  1260k|   3.1 |  71M| 157 |   - |5645 |  33k|5645 | 218 | 301k| 432k|6394 | 0.000000e+00 | 1.000000e+00 |    Inf 
1029.81/1029.89	c  1019s|420000 |  1968 |  1314k|   3.1 |  72M| 157 |  27 |5645 |  34k|5645 | 192 | 317k| 446k|6461 | 0.000000e+00 | 1.000000e+00 |    Inf 
1065.82/1065.85	c  1055s|430000 |  1886 |  1371k|   3.2 |  72M| 157 |   1 |5645 |  35k|5645 | 196 | 332k| 461k|6553 | 0.000000e+00 | 1.000000e+00 |    Inf 
1100.02/1100.05	c  1089s|440000 |  1817 |  1417k|   3.2 |  73M| 157 |  12 |5645 |  35k|5645 | 186 | 345k| 476k|6608 | 0.000000e+00 | 1.000000e+00 |    Inf 
1134.91/1134.93	c  1123s|450000 |  1661 |  1468k|   3.3 |  70M| 157 |  10 |5645 |  33k|5645 | 205 | 357k| 491k|6681 | 0.000000e+00 | 1.000000e+00 |    Inf 
1165.52/1165.54	c  1154s|460000 |  1509 |  1509k|   3.3 |  67M| 157 |   - |5645 |  27k|   0 |   0 | 365k| 505k|6730 | 0.000000e+00 | 1.000000e+00 |    Inf 
1193.52/1193.53	c  1181s|470000 |  1408 |  1542k|   3.3 |  66M| 157 |  17 |5645 |  25k|5645 | 186 | 371k| 519k|6800 | 0.000000e+00 | 1.000000e+00 |    Inf 
1226.52/1226.52	c  1214s|480000 |  1397 |  1600k|   3.3 |  67M| 157 |   - |5645 |  27k|   0 |   0 | 386k| 533k|6885 | 0.000000e+00 | 1.000000e+00 |    Inf 
1258.72/1258.77	c  1246s|490000 |  1424 |  1649k|   3.4 |  68M| 157 |  10 |5645 |  30k|5645 | 179 | 399k| 547k|6952 | 0.000000e+00 | 1.000000e+00 |    Inf 
1291.02/1291.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1291.02/1291.05	c  1278s|500000 |  1363 |  1689k|   3.4 |  68M| 157 |   - |5645 |  32k|   0 |   0 | 407k| 561k|6999 | 0.000000e+00 | 1.000000e+00 |    Inf 
1317.52/1317.58	c  1305s|510000 |  1346 |  1712k|   3.4 |  69M| 157 |   - |5645 |  34k|   0 |   0 | 410k| 575k|7029 | 0.000000e+00 | 1.000000e+00 |    Inf 
1345.23/1345.25	c  1332s|520000 |  1311 |  1735k|   3.3 |  67M| 157 |   7 |5645 |  31k|5645 | 193 | 413k| 589k|7066 | 0.000000e+00 | 1.000000e+00 |    Inf 
1379.62/1379.68	c  1366s|530000 |  1265 |  1781k|   3.4 |  67M| 157 |   - |5645 |  30k|   0 |   0 | 425k| 603k|7122 | 0.000000e+00 | 1.000000e+00 |    Inf 
1406.43/1406.42	c  1393s|540000 |  1170 |  1806k|   3.3 |  63M| 157 |  10 |5645 |  24k|5645 | 206 | 428k| 616k|7147 | 0.000000e+00 | 1.000000e+00 |    Inf 
1428.32/1428.36	c  1415s|550000 |  1108 |  1829k|   3.3 |  61M| 157 |   - |5645 |  19k|   0 |   0 | 432k| 629k|7358 | 0.000000e+00 | 1.000000e+00 |    Inf 
1451.33/1451.32	c  1437s|560000 |  1124 |  1849k|   3.3 |  63M| 157 |   6 |5645 |  25k|5645 | 154 | 436k| 642k|7358 | 0.000000e+00 | 1.000000e+00 |    Inf 
1476.13/1476.17	c  1462s|570000 |  1082 |  1869k|   3.3 |  62M| 157 |   1 |5645 |  21k|5645 | 191 | 439k| 655k|7792 | 0.000000e+00 | 1.000000e+00 |    Inf 
1498.93/1498.92	c  1484s|580000 |  1042 |  1897k|   3.3 |  62M| 157 |   - |5645 |  22k|   0 |   0 | 446k| 668k|7816 | 0.000000e+00 | 1.000000e+00 |    Inf 
1522.03/1522.02	c  1507s|590000 |  1031 |  1922k|   3.3 |  62M| 157 |   8 |5645 |  22k|5645 | 185 | 450k| 681k|7837 | 0.000000e+00 | 1.000000e+00 |    Inf 
1551.72/1551.75	c  1537s|600000 |  1117 |  1966k|   3.3 |  65M| 157 |   - |5645 |  29k|   0 |   0 | 461k| 694k|7888 | 0.000000e+00 | 1.000000e+00 |    Inf 
1582.52/1582.58	c  1567s|610000 |   970 |  2003k|   3.3 |  63M| 157 |   - |5645 |  26k|   0 |   0 | 470k| 708k|7901 | 0.000000e+00 | 1.000000e+00 |    Inf 
1607.42/1607.42	c  1592s|620000 |   986 |  2023k|   3.3 |  65M| 157 |   - |5645 |  30k|   0 |   0 | 473k| 721k|7927 | 0.000000e+00 | 1.000000e+00 |    Inf 
1629.83/1629.83	c  1614s|630000 |  1043 |  2042k|   3.2 |  66M| 157 |   1 |5645 |  31k|5645 | 176 | 476k| 735k|7951 | 0.000000e+00 | 1.000000e+00 |    Inf 
1655.92/1655.94	c  1640s|640000 |   978 |  2061k|   3.2 |  65M| 157 |   1 |5645 |  31k|5645 | 170 | 478k| 749k|7958 | 0.000000e+00 | 1.000000e+00 |    Inf 
1681.43/1681.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1681.43/1681.46	c  1665s|650000 |   929 |  2079k|   3.2 |  65M| 157 |   - |5645 |  31k|   0 |   0 | 481k| 762k|8006 | 0.000000e+00 | 1.000000e+00 |    Inf 
1710.83/1710.85	c  1695s|660000 |   869 |  2110k|   3.2 |  64M| 157 |   1 |5645 |  29k|5645 | 149 | 486k| 775k|8043 | 0.000000e+00 | 1.000000e+00 |    Inf 
1738.73/1738.71	c  1722s|670000 |   895 |  2129k|   3.2 |  65M| 157 |   1 |5645 |  32k|5645 | 149 | 489k| 787k|8068 | 0.000000e+00 | 1.000000e+00 |    Inf 
1764.34/1764.37	c  1747s|680000 |   941 |  2142k|   3.2 |  67M| 157 |   - |5645 |  38k|   0 |   0 | 490k| 799k|8080 | 0.000000e+00 | 1.000000e+00 |    Inf 
1793.84/1793.87	c  1776s|690000 |   900 |  2163k|   3.1 |  66M| 157 |   - |5645 |  34k|   0 |   0 | 495k| 812k|8113 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1782.04
1800.03/1800.00	c Solving Nodes      : 692049
1800.03/1800.00	c Primal Bound       : +1.00000000000000e+00 (301 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.08	s SATISFIABLE
1800.03/1800.08	v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.03/1800.08	v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.03/1800.08	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 
1800.03/1800.08	v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.03/1800.08	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 
1800.03/1800.08	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.03/1800.08	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.03/1800.08	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.03/1800.08	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.03/1800.08	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.03/1800.08	v -x1 
1800.03/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.08	c Solving Time       :    1782.04
1800.03/1800.08	c Original Problem   :
1800.03/1800.08	c   Problem name     : HOME/instance-2692351-1277927555.wbo
1800.03/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.03/1800.08	c Presolved Problem  :
1800.03/1800.08	c   Problem name     : t_HOME/instance-2692351-1277927555.wbo
1800.03/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08	c   Constraints      : 5414 initial, 40957 maximal
1800.03/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.03/1800.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   linear           :       0.03          0          0          0       2707          0          1          0          0
1800.03/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.03/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.08	c   integral         :          0          0          0     476246          0          0        187          0          0     673812
1800.03/1800.08	c   indicator        :       2707          0    1529230     104477          0        405    7256856          0          0          0
1800.03/1800.08	c   linear           :       2707          6    3822590     137629          0     245938   16237055     496238          0          0
1800.03/1800.08	c   logicor          :          0+         0    1041280          0          0      52641    1166363          0          0          0
1800.03/1800.08	c   bounddisjunction :          0+         0      22608          0          0          1         92          0          0          0
1800.03/1800.08	c   countsols        :          0          0          0      79505          0          0          0          0          0          0
1800.03/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.08	c   integral         :      16.42       0.00       0.00      16.42       0.00
1800.03/1800.08	c   indicator        :      42.22       0.00      21.48      20.74       0.00
1800.03/1800.08	c   linear           :     197.54       0.01     184.49      13.04       0.00
1800.03/1800.08	c   logicor          :     270.94       0.00     270.94       0.00       0.00
1800.03/1800.08	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.03/1800.08	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.03/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.08	c   vbounds          :       0.96          2          0          0
1800.03/1800.08	c   rootredcost      :       1.01         63          0       2707
1800.03/1800.08	c   pseudoobj        :     206.29    3840065      15353    5369303
1800.03/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.08	c   propagation      :      21.50     313933     313886    2059547       30.7      12402       21.9          -
1800.03/1800.08	c   infeasible LP    :       3.92      10398      10398      81618       45.3        143       21.0          0
1800.03/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   pseudo solution  :       0.03        200        200        710       15.5         56       12.3          -
1800.03/1800.08	c   applied globally :          -          -          -     814716       23.4          -          -          -
1800.03/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.08	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 86)
1800.03/1800.08	c   redcost          :      40.25     481487          0    1742204          0          0
1800.03/1800.08	c   impliedbounds    :       0.00          4          0          0          0          0
1800.03/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.08	c   gomory           :       0.00          4          0          0         86          0
1800.03/1800.08	c   strongcg         :       0.00          4          0          0          0          0
1800.03/1800.08	c   cmir             :       0.02          4          0          0          0          0
1800.03/1800.08	c   flowcover        :       0.03          4          0          0          0          0
1800.03/1800.08	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.08	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.08	c Pricers            :       Time      Calls       Vars
1800.03/1800.08	c   problem variables:       0.00          0          0
1800.03/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.08	c   relpscost        :      16.07     337067          0        187          0          0     673812
1800.03/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   inference        :      20.43      79442          0          0          0          0     158884
1800.03/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.08	c   LP solutions     :       0.23          -         63
1800.03/1800.08	c   pseudo solutions :       0.00          -          0
1800.03/1800.08	c   feaspump         :       0.00          0          0
1800.03/1800.08	c   oneopt           :       0.59         58          0
1800.03/1800.08	c   intshifting      :       0.07          9          0
1800.03/1800.08	c   crossover        :       2.05         68          0
1800.03/1800.08	c   guideddiving     :       0.90        286          0
1800.03/1800.08	c   veclendiving     :       2.56       1664          0
1800.03/1800.08	c   linesearchdiving :       2.33       1664          0
1800.03/1800.08	c   pscostdiving     :       2.82       1664          0
1800.03/1800.08	c   fracdiving       :       2.66       1664          0
1800.03/1800.08	c   coefdiving       :       2.63       1665          0
1800.03/1800.08	c   rootsoldiving    :       3.29       1650          0
1800.03/1800.08	c   objpscostdiving  :       2.51       1651          0
1800.03/1800.08	c   trivial          :       0.08          2          2
1800.03/1800.08	c   simplerounding   :       0.74     338465          0
1800.03/1800.08	c   zirounding       :       0.22       1000          0
1800.03/1800.08	c   rounding         :       2.92       8115          0
1800.03/1800.08	c   shifting         :       1.51       2547          0
1800.03/1800.08	c   twoopt           :       0.00          0          0
1800.03/1800.08	c   fixandinfer      :       0.00          0          0
1800.03/1800.08	c   intdiving        :       0.00          0          0
1800.03/1800.08	c   actconsdiving    :       0.00          0          0
1800.03/1800.08	c   octane           :       0.00          0          0
1800.03/1800.08	c   rens             :       0.03          1          0
1800.03/1800.08	c   rins             :       0.00          0          0
1800.03/1800.08	c   localbranching   :       0.00          0          0
1800.03/1800.08	c   mutation         :       0.00          0          0
1800.03/1800.08	c   dins             :       0.00          0          0
1800.03/1800.08	c   undercover       :       0.00          0          0
1800.03/1800.08	c   nlp              :       0.26          0          0
1800.03/1800.08	c   trysol           :       2.88       6036        236
1800.03/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.08	c   primal LP        :       0.01          0          0       0.00       0.00
1800.03/1800.08	c   dual LP          :     391.93     415417    2164713       5.21    5523.21
1800.03/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.08	c   diving/probing LP:       0.75        593       2575       4.34    3433.33
1800.03/1800.08	c   strong branching :      13.40       8113      70590       8.70    5267.91
1800.03/1800.08	c     (at root node) :          -         32       1061      33.16          -
1800.03/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.08	c B&B Tree           :
1800.03/1800.08	c   number of runs   :          1
1800.03/1800.08	c   nodes            :     692049
1800.03/1800.08	c   nodes (total)    :     692049
1800.03/1800.08	c   nodes left       :        882
1800.03/1800.08	c   max depth        :        157
1800.03/1800.08	c   max depth (total):        157
1800.03/1800.08	c   backtracks       :      58618 (8.5%)
1800.03/1800.08	c   delayed cutoffs  :      51366
1800.03/1800.08	c   repropagations   :    1876361 (4698771 domain reductions, 49034 cutoffs)
1800.03/1800.08	c   avg switch length:       6.94
1800.03/1800.08	c   switching time   :     268.89
1800.03/1800.08	c Solution           :
1800.03/1800.08	c   Solutions found  :        301 (64 improvements)
1800.03/1800.08	c   First Solution   : +1.37945000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.08	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 284520 nodes, 658.33 seconds, depth 78, found by <relaxation>)
1800.03/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.08	c   Gap              :   infinite
1800.03/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.08	c   Root Iterations  :        106
1800.23/1800.20	c Time complete: 1800.23.

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-2692351-1277927555/watcher-2692351-1277927555 -o /tmp/evaluation-result-2692351-1277927555/solver-2692351-1277927555 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692351-1277927555.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.00 2.04 2.02 4/178 14809
/proc/meminfo: memFree=31074628/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=9744 CPUtime=0
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 1732 0 0 0 0 0 0 0 25 0 1 0 134053516 9977856 1651 4089446400 4194304 8223781 140737074678720 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14809/statm: 2436 1651 369 984 0 1449 0

[startup+0.0155879 s]
/proc/loadavg: 2.00 2.04 2.02 4/178 14809
/proc/meminfo: memFree=31074628/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=12436 CPUtime=0.01
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 2423 0 0 0 1 0 0 0 25 0 1 0 134053516 12734464 2342 4089446400 4194304 8223781 140737074678720 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14809/statm: 3109 2342 369 984 0 2122 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12436

[startup+0.100562 s]
/proc/loadavg: 2.00 2.04 2.02 4/178 14809
/proc/meminfo: memFree=31074628/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=35144 CPUtime=0.09
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 8090 0 0 0 9 0 0 0 25 0 1 0 134053516 35987456 7645 4089446400 4194304 8223781 140737074678720 18446744073709551615 4241136 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 8786 7645 422 984 0 7799 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35144

[startup+0.300529 s]
/proc/loadavg: 2.00 2.04 2.02 4/178 14809
/proc/meminfo: memFree=31074628/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=59036 CPUtime=0.29
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 14632 0 0 0 28 1 0 0 18 0 1 0 134053516 60452864 13574 4089446400 4194304 8223781 140737074678720 18446744073709551615 4561380 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 14759 13574 564 984 0 13772 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59036

[startup+0.700459 s]
/proc/loadavg: 2.00 2.04 2.02 4/178 14809
/proc/meminfo: memFree=31074628/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=43084 CPUtime=0.69
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 15657 0 0 0 68 1 0 0 18 0 1 0 134053516 44118016 9711 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 10771 9711 575 984 0 9784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43084

[startup+1.50032 s]
/proc/loadavg: 2.00 2.04 2.02 3/179 14810
/proc/meminfo: memFree=31034940/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=44420 CPUtime=1.49
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 15840 0 0 0 146 3 0 0 19 0 1 0 134053516 45486080 9894 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 11105 9894 578 984 0 10118 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44420

[startup+3.10103 s]
/proc/loadavg: 2.00 2.04 2.02 3/179 14810
/proc/meminfo: memFree=31029732/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=49552 CPUtime=3.09
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 21750 0 0 0 304 5 0 0 25 0 1 0 134053516 50741248 11411 4089446400 4194304 8223781 140737074678720 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 12388 11411 579 984 0 11401 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49552

[startup+6.30047 s]
/proc/loadavg: 2.00 2.04 2.02 3/179 14811
/proc/meminfo: memFree=31012736/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=55092 CPUtime=6.29
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 27386 0 0 0 622 7 0 0 25 0 1 0 134053516 56414208 12655 4089446400 4194304 8223781 140737074678720 18446744073709551615 6482584 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 13773 12655 579 984 0 12786 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55092

[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.02 3/179 14811
/proc/meminfo: memFree=30981072/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=61300 CPUtime=12.69
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 38336 0 0 0 1256 13 0 0 25 0 1 0 134053516 62771200 14183 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 15325 14183 579 984 0 14338 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61300

[startup+25.5011 s]
/proc/loadavg: 2.00 2.03 2.02 3/179 14812
/proc/meminfo: memFree=30957452/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=73780 CPUtime=25.49
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 46592 0 0 0 2524 25 0 0 25 0 1 0 134053516 75550720 17311 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 18445 17311 579 984 0 17458 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73780

[startup+51.1006 s]
/proc/loadavg: 2.00 2.03 2.02 3/179 14812
/proc/meminfo: memFree=30933248/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=97752 CPUtime=51.09
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 57764 0 0 0 5062 47 0 0 25 0 1 0 134053516 100098048 23362 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 24438 23362 579 984 0 23451 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 97752

[startup+102.307 s]
/proc/loadavg: 2.08 2.05 2.02 3/197 14859
/proc/meminfo: memFree=31242712/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=153996 CPUtime=102.3
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 77473 0 0 0 10138 92 0 0 25 0 1 0 134053516 157691904 37418 4089446400 4194304 8223781 140737074678720 18446744073709551615 6003363 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 38499 37418 579 984 0 37512 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 153996

[startup+162.301 s]
/proc/loadavg: 2.03 2.04 2.02 3/197 14860
/proc/meminfo: memFree=31144444/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=220256 CPUtime=162.3
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 99069 0 0 0 16092 138 0 0 25 0 1 0 134053516 225542144 53494 4089446400 4194304 8223781 140737074678720 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 55064 53494 579 984 0 54077 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 220256

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/197 14861
/proc/meminfo: memFree=31035404/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=303176 CPUtime=222.29
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 163860 0 0 0 22037 192 0 0 25 0 1 0 134053516 310452224 73966 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 75794 73966 588 984 0 74807 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 303176

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.01 3/197 14863
/proc/meminfo: memFree=30914728/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=400756 CPUtime=282.29
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 208626 0 0 0 27972 257 0 0 25 0 1 0 134053516 410374144 97226 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 100189 97226 590 984 0 99202 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 400756

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 14865
/proc/meminfo: memFree=30871036/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=442308 CPUtime=342.3
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 275783 0 0 0 33900 330 0 0 25 0 1 0 134053516 452923392 106969 4089446400 4194304 8223781 140737074678720 18446744073709551615 5918770 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 110577 106969 595 984 0 109590 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 442308

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14867
/proc/meminfo: memFree=30847188/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=457060 CPUtime=402.3
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 370144 0 0 0 39811 419 0 0 25 0 1 0 134053516 468029440 110461 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 114265 110461 595 984 0 113278 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 457060

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14868
/proc/meminfo: memFree=30810324/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=462584 CPUtime=462.31
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 423367 0 0 0 45728 503 0 0 25 0 1 0 134053516 473686016 111825 4089446400 4194304 8223781 140737074678720 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14809/statm: 115646 111825 595 984 0 114659 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 462584

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14878
/proc/meminfo: memFree=30782620/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=462536 CPUtime=522.31
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 461397 0 0 0 51642 589 0 0 25 0 1 0 134053516 473636864 111795 4089446400 4194304 8223781 140737074678720 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 115634 111795 595 984 0 114647 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 462536

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14880
/proc/meminfo: memFree=30747740/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=464376 CPUtime=582.3
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 468198 0 0 0 57569 661 0 0 25 0 1 0 134053516 475521024 112285 4089446400 4194304 8223781 140737074678720 18446744073709551615 6207680 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 116094 112285 593 984 0 115107 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 464376

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/197 14882
/proc/meminfo: memFree=30720772/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=463636 CPUtime=642.31
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 504537 0 0 0 63490 741 0 0 25 0 1 0 134053516 474763264 112105 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 115909 112105 593 984 0 114922 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 463636

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.13 2.14 2.06 3/197 14888
/proc/meminfo: memFree=30596728/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=464000 CPUtime=882.31
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 566749 0 0 0 87249 982 0 0 25 0 1 0 134053516 475136000 112172 4089446400 4194304 8223781 140737074678720 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 116000 112172 601 984 0 115013 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 464000

[startup+942.3 s]
/proc/loadavg: 2.04 2.11 2.05 3/197 14890
/proc/meminfo: memFree=30561344/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=466856 CPUtime=942.31
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 571833 0 0 0 93204 1027 0 0 25 0 1 0 134053516 478060544 112901 4089446400 4194304 8223781 140737074678720 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 116714 112901 601 984 0 115727 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 466856

[startup+1002.3 s]
/proc/loadavg: 2.01 2.09 2.04 3/197 14892
/proc/meminfo: memFree=30521416/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=468096 CPUtime=1002.31
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 572135 0 0 0 99163 1068 0 0 25 0 1 0 134053516 479330304 113202 4089446400 4194304 8223781 140737074678720 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117024 113202 601 984 0 116037 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 468096

[startup+1062.3 s]
/proc/loadavg: 2.00 2.07 2.04 3/197 14893
/proc/meminfo: memFree=30479836/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=469776 CPUtime=1062.32
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 572478 0 0 0 105124 1108 0 0 25 0 1 0 134053516 481050624 113545 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117444 113545 601 984 0 116457 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 469776

[startup+1122.3 s]
/proc/loadavg: 2.00 2.05 2.03 3/197 14894
/proc/meminfo: memFree=30435532/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=470332 CPUtime=1122.32
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 572645 0 0 0 111078 1154 0 0 25 0 1 0 134053516 481619968 113707 4089446400 4194304 8223781 140737074678720 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117583 113707 601 984 0 116596 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 470332

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/197 14896
/proc/meminfo: memFree=30392340/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=470332 CPUtime=1182.32
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 572661 0 0 0 117035 1197 0 0 25 0 1 0 134053516 481619968 113718 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117583 113718 601 984 0 116596 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 470332

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/197 14898
/proc/meminfo: memFree=30348892/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=470468 CPUtime=1242.32
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 572705 0 0 0 122990 1242 0 0 25 0 1 0 134053516 481759232 113761 4089446400 4194304 8223781 140737074678720 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117617 113761 601 984 0 116630 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 470468

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/197 14900
/proc/meminfo: memFree=30299744/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=470736 CPUtime=1302.32
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 574556 0 0 0 128946 1286 0 0 25 0 1 0 134053516 482033664 113804 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117684 113804 601 984 0 116697 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 470736

[startup+1362.3 s]
/proc/loadavg: 2.16 2.08 2.04 3/197 14901
/proc/meminfo: memFree=30277384/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=471556 CPUtime=1362.32
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 574773 0 0 0 134904 1328 0 0 25 0 1 0 134053516 482873344 114021 4089446400 4194304 8223781 140737074678720 18446744073709551615 4644824 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117889 114021 601 984 0 116902 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 471556

[startup+1422.31 s]
/proc/loadavg: 2.06 2.07 2.03 3/197 14902
/proc/meminfo: memFree=30277220/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=471800 CPUtime=1422.33
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 574815 0 0 0 140855 1378 0 0 25 0 1 0 134053516 483123200 114063 4089446400 4194304 8223781 140737074678720 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117950 114063 601 984 0 116963 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 471800

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/197 14904
/proc/meminfo: memFree=30276448/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=472304 CPUtime=1482.32
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 574972 0 0 0 146795 1437 0 0 25 0 1 0 134053516 483639296 114220 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 118076 114220 601 984 0 117089 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 472304

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/197 14906
/proc/meminfo: memFree=30276048/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=472804 CPUtime=1542.33
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 575108 0 0 0 152740 1493 0 0 25 0 1 0 134053516 484151296 114356 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 118201 114356 601 984 0 117214 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 472804

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/197 14908
/proc/meminfo: memFree=30277256/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=470756 CPUtime=1602.33
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 575110 0 0 0 158695 1538 0 0 25 0 1 0 134053516 482054144 113846 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117689 113846 601 984 0 116702 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 470756

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/197 14909
/proc/meminfo: memFree=30277328/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=470756 CPUtime=1662.33
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 575111 0 0 0 164644 1589 0 0 25 0 1 0 134053516 482054144 113847 4089446400 4194304 8223781 140737074678720 18446744073709551615 6439858 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117689 113847 601 984 0 116702 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 470756

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 14910
/proc/meminfo: memFree=30276920/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=471764 CPUtime=1722.33
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 575218 0 0 0 170601 1632 0 0 25 0 1 0 134053516 483086336 113954 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14809/statm: 117941 113954 601 984 0 116954 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 471764

[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/197 14981
/proc/meminfo: memFree=31044484/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=472828 CPUtime=1782.34
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 575485 0 0 0 176478 1756 0 0 25 0 1 0 134053516 484175872 114221 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14809/statm: 118207 114221 601 984 0 117220 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 472828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.04 2.01 3/197 14981
/proc/meminfo: memFree=31044464/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=472828 CPUtime=1800.03
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 575485 0 0 0 178206 1797 0 0 25 0 1 0 134053516 484175872 114221 4089446400 4194304 8223781 140737074678720 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14809/statm: 118207 114221 601 984 0 117220 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 472828

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.08 2.04 2.01 3/197 14981
/proc/meminfo: memFree=31044464/32951124 swapFree=67111528/67111528
[pid=14809] ppid=14807 vsize=44912 CPUtime=1800.23
/proc/14809/stat : 14809 (pbscip.linux.x8) R 14807 14809 14634 0 -1 4202496 575511 0 0 0 178224 1799 0 0 25 0 1 0 134053516 45989888 7187 4089446400 4194304 8223781 140737074678720 18446744073709551615 7453498 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14809/statm: 11228 6675 603 984 0 10241 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 44912

Child status: 0
Real time (s): 1800.2
CPU time (s): 1800.24
CPU user time (s): 1782.24
CPU system time (s): 17.9983
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 483272

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

runsolver used 2.71259 second user time and 5.64314 second system time

The end

Launcher Data 

Begin job on node103 at 2010-06-30 21:52:35
IDJOB=2692351
IDBENCH=79280
IDSOLVER=1204
FILE ID=node103/2692351-1277927555
PBS_JOBID= 11197363
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692351-1277927555/watcher-2692351-1277927555 -o /tmp/evaluation-result-2692351-1277927555/solver-2692351-1277927555 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692351-1277927555.wbo -t 1800 -m 3800

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

MD5SUM BENCH= e3f6753fad3114c64a2e1439cb62c0aa
RANDOM SEED=482561125

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.75
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.817
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.817
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:     32951124 kB
MemFree:      31075156 kB
Buffers:        211556 kB
Cached:         913916 kB
SwapCached:          0 kB
Active:        1073536 kB
Inactive:       659056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31075156 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4724 kB
Writeback:           0 kB
AnonPages:      607004 kB
Mapped:          15080 kB
Slab:            78780 kB
PageTables:       5836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   753532 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= 74208 MiB
End job on node103 at 2010-06-30 22:22:37