Trace number 2692965

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.24 1800.18

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.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-2692965-1277926212.wbo>
0.02/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.09/0.13	o 135714
0.09/0.13	c feasible solution found by trivial heuristic, objective value  1.357140e+05
0.09/0.13	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.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.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.97
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.21	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.21	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   167 |     - |  19M|   0 |  39 |5645 |5414 |5645 | 165 | 165 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.39/0.43	c   0.4s|     1 |     2 |   254 |     - |  19M|   0 |  39 |5645 |5414 |5645 | 165 | 165 |   0 |  33 | 0.000000e+00 | 1.357140e+05 |    Inf 
14.99/15.04	c  14.8s| 10000 | 10001 |  2959 |   0.3 |  43M|2403 |   0 |5645 |5414 |5645 | 254 |1010 |   0 | 565 | 0.000000e+00 | 1.357140e+05 |    Inf 
28.19/28.23	c  27.9s| 20000 | 20001 |  3908 |   0.2 |  63M|2403 |   0 |5645 |5414 |5645 | 237 |1338 |   0 | 600 | 0.000000e+00 | 1.357140e+05 |    Inf 
41.59/41.66	c  41.2s| 30000 | 30001 |  5167 |   0.2 |  84M|2403 |   0 |5645 |5414 |5645 | 240 |1743 |   0 | 643 | 0.000000e+00 | 1.357140e+05 |    Inf 
55.09/55.10	c  54.5s| 40000 | 40001 |  6349 |   0.2 | 104M|2403 |   0 |5645 |5414 |5645 | 254 |2039 |   0 | 694 | 0.000000e+00 | 1.357140e+05 |    Inf 
55.20/55.28	o 511
55.20/55.28	c *54.6s| 40137 | 26457 |  6365 |   0.2 |  79M|2403 |   - |5645 |5414 |5645 | 254 |2039 |   0 | 697 | 0.000000e+00 | 5.110000e+02 |    Inf 
70.70/70.71	c  69.9s| 50000 | 36266 | 10454 |   0.2 | 100M|2403 |   0 |5645 |5628 |5645 | 235 |3264 | 214 | 792 | 0.000000e+00 | 5.110000e+02 |    Inf 
71.89/71.95	o 505
71.89/71.95	c *71.2s| 50611 | 36619 | 11009 |   0.2 | 101M|2403 |   - |5645 |5751 |5645 | 232 |3471 | 337 | 800 | 0.000000e+00 | 5.050000e+02 |    Inf 
73.89/73.92	o 462
73.89/73.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
73.89/73.92	c *73.1s| 51583 | 35658 | 11883 |   0.2 | 100M|2403 |   - |5645 |5947 |5645 | 221 |3736 | 533 | 813 | 0.000000e+00 | 4.620000e+02 |    Inf 
77.19/77.21	o 428
77.19/77.21	c *76.3s| 53013 | 34896 | 14090 |   0.3 | 100M|2403 |   - |5645 |6360 |5645 | 218 |4419 | 946 | 854 | 0.000000e+00 | 4.280000e+02 |    Inf 
77.19/77.22	o 400
77.19/77.22	c *76.4s| 53014 | 32879 | 14092 |   0.3 |  96M|2403 |   - |5645 |6360 |5645 | 218 |4419 | 946 | 854 | 0.000000e+00 | 4.000000e+02 |    Inf 
77.29/77.34	o 387
77.29/77.34	c *76.5s| 53061 | 31721 | 14131 |   0.3 |  94M|2403 |   - |5645 |6360 |5645 | 218 |4424 | 946 | 854 | 0.000000e+00 | 3.870000e+02 |    Inf 
77.69/77.70	o 363
77.69/77.70	c *76.8s| 53214 | 29722 | 14317 |   0.3 |  90M|2403 |   - |5645 |6418 |5645 | 224 |4475 |1004 | 868 | 0.000000e+00 | 3.630000e+02 |    Inf 
77.69/77.72	o 326
77.69/77.72	c *76.9s| 53215 | 25919 | 14318 |   0.3 |  82M|2403 |   - |5645 |6418 |5645 | 224 |4475 |1004 | 868 | 0.000000e+00 | 3.260000e+02 |    Inf 
82.19/82.21	o 321
82.19/82.21	c *81.3s| 54813 | 26714 | 17233 |   0.3 |  86M|2403 |   - |5645 |7557 |5645 | 249 |5265 |2144 | 951 | 0.000000e+00 | 3.210000e+02 |    Inf 
82.19/82.28	o 318
82.19/82.28	c *81.3s| 54850 | 26481 | 17233 |   0.3 |  86M|2403 |   - |5645 |7557 |5645 | 249 |5265 |2144 | 951 | 0.000000e+00 | 3.180000e+02 |    Inf 
86.59/86.62	o 277
86.59/86.62	c *85.6s| 56357 | 23388 | 20864 |   0.4 |  82M|2403 |   - |5645 |8349 |5645 | 230 |6389 |2953 |1015 | 0.000000e+00 | 2.770000e+02 |    Inf 
87.09/87.13	o 268
87.09/87.13	c *86.1s| 56642 | 22624 | 21018 |   0.4 |  80M|2403 |   - |5645 |8364 |5645 | 243 |6411 |2969 |1015 | 0.000000e+00 | 2.680000e+02 |    Inf 
87.09/87.14	o 263
87.09/87.14	c *86.1s| 56643 | 22052 | 21018 |   0.4 |  79M|2403 |   - |5645 |8364 |5645 | 243 |6411 |2969 |1015 | 0.000000e+00 | 2.630000e+02 |    Inf 
87.59/87.63	o 257
87.59/87.63	c *86.6s| 56696 | 21483 | 22126 |   0.4 |  79M|2403 |   - |5645 |8389 |5645 | 262 |6834 |3000 |1080 | 0.000000e+00 | 2.570000e+02 |    Inf 
92.79/92.87	o 237
92.79/92.87	c *91.8s| 58720 | 20914 | 26016 |   0.4 |  80M|2403 |   - |5645 |9395 |5645 | 232 |7978 |4144 |1152 | 0.000000e+00 | 2.370000e+02 |    Inf 
93.59/93.69	o 234
93.59/93.69	c *92.6s| 58932 | 20702 | 26474 |   0.4 |  78M|2403 |   - |5645 |9386 |5645 | 225 |8064 |4260 |1156 | 0.000000e+00 | 2.340000e+02 |    Inf 
95.50/95.58	o 227
95.50/95.58	c *94.4s| 59501 | 20303 | 27836 |   0.5 |  79M|2403 |   - |5645 |9683 |5645 | 216 |8403 |4780 |1185 | 0.000000e+00 | 2.270000e+02 |    Inf 
96.09/96.14	o 226
96.09/96.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
96.09/96.14	c *95.0s| 59697 | 20397 | 28548 |   0.5 |  79M|2403 |   - |5645 |9672 |5645 | 239 |8675 |4818 |1200 | 0.000000e+00 | 2.260000e+02 |    Inf 
96.09/96.15	o 223
96.09/96.15	c *95.0s| 59698 | 20027 | 28558 |   0.5 |  78M|2403 |   - |5645 |9670 |5645 | 239 |8675 |4818 |1200 | 0.000000e+00 | 2.230000e+02 |    Inf 
97.09/97.18	c  96.0s| 60000 | 20271 | 29989 |   0.5 |  79M|2403 |   0 |5645 |9705 |5645 | 219 |9179 |4963 |1216 | 0.000000e+00 | 2.230000e+02 |    Inf 
103.19/103.25	o 217
103.19/103.25	c * 102s| 61907 | 21120 | 37082 |   0.6 |  85M|2403 |   - |5645 |  10k|5645 | 238 |  11k|6183 |1276 | 0.000000e+00 | 2.170000e+02 |    Inf 
103.19/103.26	o 178
103.19/103.26	c * 102s| 61908 | 16220 | 37082 |   0.6 |  72M|2403 |   - |5645 |  10k|5645 | 238 |  11k|6183 |1276 | 0.000000e+00 | 1.780000e+02 |    Inf 
107.70/107.79	o 164
107.70/107.79	c * 106s| 63380 | 15486 | 41178 |   0.6 |  73M|2403 |   - |5645 |9848 |5645 | 261 |  12k|7406 |1308 | 0.000000e+00 | 1.640000e+02 |    Inf 
108.00/108.02	o 157
108.00/108.02	c * 107s| 63425 | 14778 | 41536 |   0.7 |  71M|2403 |   - |5645 |9814 |5645 | 241 |  12k|7434 |1314 | 0.000000e+00 | 1.570000e+02 |    Inf 
108.00/108.02	o 151
108.00/108.02	c * 107s| 63426 | 14067 | 41536 |   0.7 |  70M|2403 |   - |5645 |9814 |5645 | 241 |  12k|7434 |1314 | 0.000000e+00 | 1.510000e+02 |    Inf 
108.10/108.10	o 148
108.10/108.10	c * 107s| 63438 | 13749 | 41751 |   0.7 |  69M|2403 |   - |5645 |9797 |5645 | 225 |  12k|7434 |1315 | 0.000000e+00 | 1.480000e+02 |    Inf 
108.10/108.13	o 129
108.10/108.13	c * 107s| 63445 | 11059 | 41761 |   0.7 |  62M|2403 |   - |5645 |9797 |5645 | 225 |  12k|7434 |1315 | 0.000000e+00 | 1.290000e+02 |    Inf 
108.10/108.14	o 123
108.10/108.14	c * 107s| 63446 | 10256 | 41761 |   0.7 |  59M|2403 |   - |5645 |9797 |5645 | 225 |  12k|7434 |1315 | 0.000000e+00 | 1.230000e+02 |    Inf 
116.39/116.47	o 122
116.39/116.47	c * 115s| 65825 | 11661 | 49254 |   0.7 |  71M|2403 |   - |5645 |9527 |5645 | 241 |  14k|9673 |1373 | 0.000000e+00 | 1.220000e+02 |    Inf 
119.00/119.06	o 103
119.00/119.06	c * 118s| 66603 |  9877 | 51188 |   0.8 |  67M|2403 |   - |5645 |9384 |5645 | 250 |  15k|  10k|1391 | 0.000000e+00 | 1.030000e+02 |    Inf 
119.00/119.08	o 96
119.00/119.08	c * 118s| 66604 |  8847 | 51188 |   0.8 |  64M|2403 |   - |5645 |9382 |5645 | 250 |  15k|  10k|1391 | 0.000000e+00 | 9.600000e+01 |    Inf 
119.10/119.17	o 89
119.10/119.17	c * 118s| 66614 |  7807 | 51284 |   0.8 |  60M|2403 |   - |5645 |8868 |5645 | 241 |  15k|  10k|1393 | 0.000000e+00 | 8.900000e+01 |    Inf 
119.20/119.22	o 87
119.20/119.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
119.20/119.22	c * 118s| 66626 |  7629 | 51349 |   0.8 |  60M|2403 |   - |5645 |8626 |5645 | 229 |  15k|  10k|1393 | 0.000000e+00 | 8.700000e+01 |    Inf 
119.90/119.98	o 85
119.90/119.98	c * 118s| 66814 |  7487 | 52721 |   0.8 |  60M|2403 |   - |5645 |8181 |5645 | 218 |  15k|  10k|1410 | 0.000000e+00 | 8.500000e+01 |    Inf 
119.99/120.08	o 84
119.99/120.08	c * 119s| 66835 |  7367 | 52897 |   0.8 |  60M|2403 |   - |5645 |8057 |5645 | 228 |  15k|  10k|1410 | 0.000000e+00 | 8.400000e+01 |    Inf 
120.20/120.20	o 81
120.20/120.20	c * 119s| 66866 |  7087 | 53075 |   0.8 |  59M|2403 |   - |5645 |7951 |5645 | 222 |  15k|  10k|1411 | 0.000000e+00 | 8.100000e+01 |    Inf 
120.20/120.25	o 80
120.20/120.25	c * 119s| 66874 |  6989 | 53076 |   0.8 |  59M|2403 |   - |5645 |7798 |5645 | 222 |  15k|  10k|1411 | 0.000000e+00 | 8.000000e+01 |    Inf 
120.20/120.26	o 77
120.20/120.26	c * 119s| 66875 |  6529 | 53076 |   0.8 |  58M|2403 |   - |5645 |7798 |5645 | 222 |  15k|  10k|1411 | 0.000000e+00 | 7.700000e+01 |    Inf 
120.59/120.62	o 58
120.59/120.62	c * 119s| 66952 |  4616 | 53633 |   0.8 |  50M|2403 |   - |5645 |7480 |5645 | 220 |  15k|  10k|1428 | 0.000000e+00 | 5.800000e+01 |    Inf 
120.70/120.77	o 55
120.70/120.77	c * 119s| 66989 |  4382 | 53880 |   0.8 |  49M|2403 |   - |5645 |6900 |5645 | 249 |  16k|  10k|1435 | 0.000000e+00 | 5.500000e+01 |    Inf 
120.80/120.82	o 48
120.80/120.82	c * 119s| 67004 |  3804 | 53881 |   0.8 |  47M|2403 |   - |5645 |6735 |5645 | 249 |  16k|  10k|1435 | 0.000000e+00 | 4.800000e+01 |    Inf 
120.90/120.92	o 31
120.90/120.92	c * 119s| 67016 |  2309 | 54057 |   0.8 |  41M|2403 |   - |5645 |6459 |5645 | 250 |  16k|  10k|1443 | 0.000000e+00 | 3.100000e+01 |    Inf 
125.89/125.90	o 18
125.89/125.90	c * 124s| 68825 |  1723 | 64504 |   0.9 |  40M|2403 |   - |5645 |6635 |5645 | 237 |  18k|  13k|1582 | 0.000000e+00 | 1.800000e+01 |    Inf 
128.29/128.34	c   127s| 70000 |  1748 | 68107 |   1.0 |  40M|2403 |   - |5645 |5959 |   0 |   0 |  19k|  14k|1615 | 0.000000e+00 | 1.800000e+01 |    Inf 
129.70/129.74	o 17
129.70/129.74	c * 128s| 70692 |  1721 | 70406 |   1.0 |  41M|2403 |   - |5645 |6018 |5645 | 188 |  19k|  15k|1629 | 0.000000e+00 | 1.700000e+01 |    Inf 
140.29/140.33	o 14
140.29/140.33	c * 138s| 76238 |  1834 | 88016 |   1.2 |  43M|2403 |   - |5645 |7387 |5645 | 219 |  22k|  23k|1684 | 0.000000e+00 | 1.400000e+01 |    Inf 
147.30/147.35	o 13
147.30/147.35	c * 145s| 79819 |  1713 |100513 |   1.3 |  44M|2403 |   - |5645 |6299 |5645 | 245 |  24k|  27k|1778 | 0.000000e+00 | 1.300000e+01 |    Inf 
147.69/147.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
147.69/147.71	c   146s| 80000 |  1728 |101190 |   1.3 |  44M|2403 |   - |5645 |6160 |   0 |   0 |  25k|  28k|1785 | 0.000000e+00 | 1.300000e+01 |    Inf 
153.90/154.00	o 9
153.90/154.00	c * 152s| 83308 |  1667 |112119 |   1.3 |  44M|2403 |   - |5645 |6208 |5645 | 224 |  26k|  32k|1887 | 0.000000e+00 | 9.000000e+00 |    Inf 
166.10/166.10	c   164s| 90000 |  1772 |135966 |   1.5 |  46M|2403 |  18 |5645 |9885 |5645 | 223 |  30k|  40k|2028 | 0.000000e+00 | 9.000000e+00 |    Inf 
183.39/183.43	o 8
183.39/183.43	c * 181s| 99136 |  1833 |168772 |   1.7 |  48M|2403 |   - |5645 |  10k|5645 | 258 |  36k|  53k|2256 | 0.000000e+00 | 8.000000e+00 |    Inf 
183.50/183.52	o 4
183.50/183.52	c * 181s| 99176 |  1551 |168828 |   1.7 |  46M|2403 |   - |5645 |  10k|5645 | 239 |  36k|  53k|2256 | 0.000000e+00 | 4.000000e+00 |    Inf 
184.20/184.23	o 2
184.20/184.23	c * 181s| 99482 |  1472 |170371 |   1.7 |  46M|2403 |   - |5645 |  10k|5645 | 226 |  36k|  53k|2281 | 0.000000e+00 | 2.000000e+00 |    Inf 
185.30/185.31	c   182s|100000 |  1479 |173343 |   1.7 |  46M|2403 |   - |5645 |  10k|   0 |   0 |  37k|  54k|2297 | 0.000000e+00 | 2.000000e+00 |    Inf 
203.30/203.35	c   200s|110000 |  1423 |215161 |   2.0 |  46M|2403 |   1 |5645 |9390 |5645 | 225 |  43k|  68k|2558 | 0.000000e+00 | 2.000000e+00 |    Inf 
221.30/221.33	c   218s|120000 |  1170 |256281 |   2.1 |  44M|2403 |  17 |5645 |8441 |5645 | 222 |  48k|  81k|2846 | 0.000000e+00 | 2.000000e+00 |    Inf 
238.90/238.91	c   235s|130000 |  1227 |298877 |   2.3 |  46M|2403 |  15 |5645 |  11k|5645 | 238 |  56k|  95k|3057 | 0.000000e+00 | 2.000000e+00 |    Inf 
257.60/257.65	c   253s|140000 |  1339 |339770 |   2.4 |  48M|2403 |  14 |5645 |  15k|5645 | 215 |  62k| 109k|3205 | 0.000000e+00 | 2.000000e+00 |    Inf 
263.60/263.65	o 1
263.60/263.65	c * 259s|142989 |  1291 |350914 |   2.5 |  48M|2403 |   - |5645 |  16k|5645 | 273 |  63k| 113k|3256 | 0.000000e+00 | 1.000000e-00 |    Inf 
276.40/276.45	c   272s|150000 |  1297 |374712 |   2.5 |  48M|2403 |   - |5645 |  13k|   0 |   0 |  67k| 123k|3355 | 0.000000e+00 | 1.000000e-00 |    Inf 
294.20/294.27	c   289s|160000 |  1272 |409516 |   2.6 |  49M|2403 |   - |5645 |  14k|   0 |   0 |  71k| 137k|3487 | 0.000000e+00 | 1.000000e-00 |    Inf 
312.90/312.90	c   308s|170000 |  1350 |441806 |   2.6 |  51M|2403 |   1 |5645 |  17k|5645 | 226 |  75k| 151k|3573 | 0.000000e+00 | 1.000000e-00 |    Inf 
333.21/333.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
333.21/333.23	c   327s|180000 |  1489 |476397 |   2.6 |  54M|2403 |   - |5645 |  21k|   0 |   0 |  79k| 166k|3676 | 0.000000e+00 | 1.000000e-00 |    Inf 
353.70/353.77	c   348s|190000 |  1499 |507925 |   2.7 |  54M|2403 |   - |5645 |  20k|   0 |   0 |  83k| 182k|3783 | 0.000000e+00 | 1.000000e-00 |    Inf 
374.50/374.52	c   368s|200000 |  1483 |540731 |   2.7 |  54M|2403 |   - |5645 |  18k|   0 |   0 |  87k| 197k|3884 | 0.000000e+00 | 1.000000e-00 |    Inf 
394.70/394.70	c   388s|210000 |  1481 |571649 |   2.7 |  55M|2403 |   7 |5645 |  19k|5645 | 236 |  91k| 211k|3941 | 0.000000e+00 | 1.000000e-00 |    Inf 
414.40/414.46	c   407s|220000 |  1448 |603487 |   2.7 |  54M|2403 |   4 |5645 |  19k|5645 | 228 |  95k| 226k|4044 | 0.000000e+00 | 1.000000e-00 |    Inf 
434.91/434.96	c   428s|230000 |  1391 |635152 |   2.8 |  53M|2403 |   1 |5645 |  15k|5645 | 213 |  99k| 241k|4118 | 0.000000e+00 | 1.000000e-00 |    Inf 
454.40/454.44	c   447s|240000 |  1365 |668739 |   2.8 |  54M|2403 |   - |5645 |  18k|   0 |   0 | 104k| 255k|4216 | 0.000000e+00 | 1.000000e-00 |    Inf 
474.01/474.06	c   466s|250000 |  1328 |705125 |   2.8 |  52M|2403 |   1 |5645 |  14k|5645 | 231 | 107k| 269k|4315 | 0.000000e+00 | 1.000000e-00 |    Inf 
493.50/493.54	c   485s|260000 |  1269 |740467 |   2.8 |  51M|2403 |   - |5645 |  13k|   0 |   0 | 112k| 283k|4614 | 0.000000e+00 | 1.000000e-00 |    Inf 
513.51/513.57	c   505s|270000 |  1275 |784985 |   2.9 |  48M|2403 |   - |5645 |  11k|   0 |   0 | 122k| 296k|5084 | 0.000000e+00 | 1.000000e-00 |    Inf 
533.71/533.76	c   524s|280000 |  1746 |836785 |   3.0 |  53M|2403 |   1 |5645 |  14k|5645 | 197 | 132k| 309k|5150 | 0.000000e+00 | 1.000000e-00 |    Inf 
554.51/554.59	c   545s|290000 |  1995 |887550 |   3.1 |  55M|2403 |   - |5645 |  15k|   0 |   0 | 142k| 323k|5255 | 0.000000e+00 | 1.000000e-00 |    Inf 
574.12/574.20	c   564s|300000 |  2039 |927644 |   3.1 |  56M|2403 |   - |5645 |  14k|   0 |   0 | 150k| 337k|5348 | 0.000000e+00 | 1.000000e-00 |    Inf 
594.51/594.58	c   584s|310000 |  2076 |973566 |   3.1 |  56M|2403 |   - |5645 |  13k|   0 |   0 | 159k| 352k|5433 | 0.000000e+00 | 1.000000e-00 |    Inf 
614.01/614.07	c   603s|320000 |  2151 |  1018k|   3.2 |  58M|2403 |   - |5645 |  13k|   0 |   0 | 168k| 365k|5534 | 0.000000e+00 | 1.000000e-00 |    Inf 
634.51/634.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
634.51/634.53	c   623s|330000 |  2281 |  1069k|   3.2 |  59M|2403 |   7 |5645 |  14k|5645 | 213 | 177k| 379k|5642 | 0.000000e+00 | 1.000000e-00 |    Inf 
655.41/655.49	c   644s|340000 |  2631 |  1128k|   3.3 |  63M|2403 |   - |5645 |  17k|   0 |   0 | 187k| 393k|5755 | 0.000000e+00 | 1.000000e-00 |    Inf 
676.81/676.87	c   665s|350000 |  2662 |  1186k|   3.4 |  64M|2403 |   - |5645 |  16k|   0 |   0 | 195k| 409k|5857 | 0.000000e+00 | 1.000000e-00 |    Inf 
698.31/698.36	c   686s|360000 |  2779 |  1239k|   3.4 |  66M|2403 |  14 |5645 |  17k|5645 | 234 | 203k| 424k|5966 | 0.000000e+00 | 1.000000e-00 |    Inf 
718.51/718.58	c   706s|370000 |  2811 |  1276k|   3.4 |  65M|2403 |   - |5645 |  14k|   0 |   0 | 208k| 438k|6035 | 0.000000e+00 | 1.000000e-00 |    Inf 
738.42/738.45	c   726s|380000 |  2825 |  1321k|   3.5 |  66M|2403 |   - |5645 |  14k|   0 |   0 | 214k| 453k|6111 | 0.000000e+00 | 1.000000e-00 |    Inf 
758.71/758.77	c   746s|390000 |  2745 |  1371k|   3.5 |  66M|2403 |   1 |5645 |  14k|5645 | 241 | 223k| 468k|6199 | 0.000000e+00 | 1.000000e-00 |    Inf 
779.01/779.02	c   766s|400000 |  2788 |  1413k|   3.5 |  67M|2403 |   - |5645 |  14k|   0 |   0 | 229k| 482k|6285 | 0.000000e+00 | 1.000000e-00 |    Inf 
799.32/799.35	c   785s|410000 |  2892 |  1452k|   3.5 |  69M|2403 |   1 |5645 |  16k|5645 | 244 | 234k| 495k|6352 | 0.000000e+00 | 1.000000e-00 |    Inf 
820.11/820.18	c   806s|420000 |  2926 |  1492k|   3.6 |  70M|2403 |   - |5645 |  16k|5645 | 268 | 238k| 510k|6416 | 0.000000e+00 | 1.000000e-00 |    Inf 
840.52/840.58	c   826s|430000 |  2952 |  1536k|   3.6 |  71M|2403 |   1 |5645 |  17k|5645 | 228 | 244k| 525k|6483 | 0.000000e+00 | 1.000000e-00 |    Inf 
861.42/861.49	c   847s|440000 |  2977 |  1585k|   3.6 |  71M|2403 |  17 |5645 |  16k|5645 | 229 | 252k| 540k|6560 | 0.000000e+00 | 1.000000e-00 |    Inf 
883.12/883.11	c   868s|450000 |  3001 |  1624k|   3.6 |  73M|2403 |   - |5645 |  17k|   0 |   0 | 258k| 554k|6627 | 0.000000e+00 | 1.000000e-00 |    Inf 
904.23/904.25	c   889s|460000 |  3014 |  1668k|   3.6 |  72M|2403 |  18 |5645 |  15k|5645 | 221 | 264k| 569k|6696 | 0.000000e+00 | 1.000000e-00 |    Inf 
925.81/925.82	c   910s|470000 |  3016 |  1716k|   3.7 |  73M|2403 |  12 |5645 |  17k|5645 | 233 | 270k| 584k|6792 | 0.000000e+00 | 1.000000e-00 |    Inf 
946.91/946.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
946.91/946.98	c   931s|480000 |  2965 |  1763k|   3.7 |  73M|2403 |   1 |5645 |  17k|5645 | 219 | 278k| 600k|6867 | 0.000000e+00 | 1.000000e-00 |    Inf 
967.62/967.66	c   951s|490000 |  2968 |  1812k|   3.7 |  74M|2403 |   - |5645 |  18k|   0 |   0 | 286k| 615k|6936 | 0.000000e+00 | 1.000000e-00 |    Inf 
989.22/989.22	c   972s|500000 |  2947 |  1863k|   3.7 |  75M|2403 |   - |5645 |  18k|   0 |   0 | 294k| 631k|7004 | 0.000000e+00 | 1.000000e-00 |    Inf 
1010.02/1010.02	c   993s|510000 |  2947 |  1912k|   3.7 |  74M|2403 |   - |5645 |  17k|   0 |   0 | 302k| 646k|7067 | 0.000000e+00 | 1.000000e-00 |    Inf 
1030.63/1030.60	c  1013s|520000 |  2898 |  1958k|   3.8 |  74M|2403 |   - |5645 |  16k|   0 |   0 | 309k| 661k|7140 | 0.000000e+00 | 1.000000e-00 |    Inf 
1051.22/1051.27	c  1033s|530000 |  2859 |  2005k|   3.8 |  75M|2403 |  15 |5645 |  17k|5645 | 255 | 316k| 677k|7211 | 0.000000e+00 | 1.000000e-00 |    Inf 
1072.62/1072.60	c  1054s|540000 |  2836 |  2053k|   3.8 |  74M|2403 |   1 |5645 |  15k|5645 | 203 | 325k| 691k|7289 | 0.000000e+00 | 1.000000e-00 |    Inf 
1094.32/1094.39	c  1075s|550000 |  2901 |  2110k|   3.8 |  76M|2403 |   - |5645 |  16k|   0 |   0 | 335k| 706k|7377 | 0.000000e+00 | 1.000000e-00 |    Inf 
1115.33/1115.35	c  1096s|560000 |  2881 |  2161k|   3.9 |  76M|2403 |   - |5645 |  16k|   0 |   0 | 343k| 721k|7441 | 0.000000e+00 | 1.000000e-00 |    Inf 
1136.13/1136.12	c  1116s|570000 |  2828 |  2203k|   3.9 |  76M|2403 |  19 |5645 |  16k|5645 | 304 | 350k| 736k|7499 | 0.000000e+00 | 1.000000e-00 |    Inf 
1156.33/1156.31	c  1136s|580000 |  2819 |  2241k|   3.9 |  77M|2403 |   1 |5645 |  18k|5645 | 218 | 357k| 751k|7552 | 0.000000e+00 | 1.000000e-00 |    Inf 
1177.43/1177.45	c  1157s|590000 |  2738 |  2288k|   3.9 |  75M|2403 |   1 |5645 |  15k|5645 | 197 | 366k| 766k|7625 | 0.000000e+00 | 1.000000e-00 |    Inf 
1198.13/1198.14	c  1177s|600000 |  2889 |  2325k|   3.9 |  77M|2403 |   - |5645 |  17k|   0 |   0 | 371k| 781k|7679 | 0.000000e+00 | 1.000000e-00 |    Inf 
1219.12/1219.17	c  1198s|610000 |  2860 |  2363k|   3.9 |  77M|2403 |   - |5645 |  17k|   0 |   0 | 376k| 796k|7724 | 0.000000e+00 | 1.000000e-00 |    Inf 
1240.23/1240.23	c  1219s|620000 |  2809 |  2402k|   3.9 |  77M|2403 |   - |5645 |  18k|   0 |   0 | 381k| 811k|7775 | 0.000000e+00 | 1.000000e-00 |    Inf 
1261.23/1261.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1261.23/1261.25	c  1240s|630000 |  2727 |  2443k|   3.9 |  75M|2403 |   1 |5645 |  15k|5645 | 223 | 387k| 826k|7833 | 0.000000e+00 | 1.000000e-00 |    Inf 
1283.32/1283.30	c  1261s|640000 |  2738 |  2490k|   3.9 |  76M|2403 |   - |5645 |  16k|   0 |   0 | 397k| 839k|7892 | 0.000000e+00 | 1.000000e-00 |    Inf 
1304.83/1304.88	c  1282s|650000 |  2657 |  2538k|   3.9 |  76M|2403 |   1 |5645 |  18k|5645 | 257 | 405k| 853k|7954 | 0.000000e+00 | 1.000000e-00 |    Inf 
1326.54/1326.57	c  1304s|660000 |  2410 |  2583k|   3.9 |  72M|2403 |   1 |5645 |  15k|5645 | 197 | 414k| 867k|8013 | 0.000000e+00 | 1.000000e-00 |    Inf 
1348.43/1348.40	c  1325s|670000 |  2434 |  2631k|   3.9 |  72M|2403 |   - |5645 |  15k|   0 |   0 | 423k| 881k|8072 | 0.000000e+00 | 1.000000e-00 |    Inf 
1370.64/1370.65	c  1347s|680000 |  2422 |  2673k|   3.9 |  73M|2403 |   - |5645 |  17k|   0 |   0 | 432k| 895k|8123 | 0.000000e+00 | 1.000000e-00 |    Inf 
1391.44/1391.45	c  1367s|690000 |  2372 |  2712k|   3.9 |  71M|2403 |  14 |5645 |  15k|5645 | 240 | 438k| 909k|8178 | 0.000000e+00 | 1.000000e-00 |    Inf 
1412.34/1412.32	c  1388s|700000 |  2323 |  2757k|   3.9 |  71M|2403 |   1 |5645 |  14k|5645 | 260 | 444k| 923k|8235 | 0.000000e+00 | 1.000000e-00 |    Inf 
1432.54/1432.53	c  1408s|710000 |  2287 |  2800k|   3.9 |  70M|2403 |   9 |5645 |  14k|5645 | 233 | 449k| 938k|8294 | 0.000000e+00 | 1.000000e-00 |    Inf 
1453.44/1453.42	c  1428s|720000 |  2237 |  2844k|   4.0 |  70M|2403 |   1 |5645 |  16k|5645 | 209 | 458k| 952k|8352 | 0.000000e+00 | 1.000000e-00 |    Inf 
1475.04/1475.06	c  1450s|730000 |  2173 |  2887k|   4.0 |  70M|2403 |  29 |5645 |  15k|5645 | 213 | 465k| 967k|8412 | 0.000000e+00 | 1.000000e-00 |    Inf 
1496.43/1496.41	c  1471s|740000 |  2252 |  2938k|   4.0 |  72M|2403 |   1 |5645 |  18k|5645 | 213 | 475k| 981k|8464 | 0.000000e+00 | 1.000000e-00 |    Inf 
1518.44/1518.44	c  1492s|750000 |  2289 |  2994k|   4.0 |  73M|2403 |   1 |5645 |  19k|5645 | 237 | 484k| 996k|8527 | 0.000000e+00 | 1.000000e-00 |    Inf 
1539.84/1539.84	c  1513s|760000 |  2295 |  3040k|   4.0 |  72M|2403 |   - |5645 |  17k|   0 |   0 | 492k|1011k|8573 | 0.000000e+00 | 1.000000e-00 |    Inf 
1561.64/1561.66	c  1535s|770000 |  2276 |  3087k|   4.0 |  74M|2403 |   1 |5645 |  19k|5645 | 206 | 499k|1027k|8614 | 0.000000e+00 | 1.000000e-00 |    Inf 
1583.64/1583.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1583.64/1583.65	c  1556s|780000 |  2244 |  3129k|   4.0 |  73M|2403 |   - |5645 |  17k|   0 |   0 | 507k|1043k|8654 | 0.000000e+00 | 1.000000e-00 |    Inf 
1604.94/1604.99	c  1577s|790000 |  2217 |  3170k|   4.0 |  73M|2403 |   - |5645 |  17k|   0 |   0 | 515k|1057k|8713 | 0.000000e+00 | 1.000000e-00 |    Inf 
1626.54/1626.55	c  1599s|800000 |  2203 |  3211k|   4.0 |  73M|2403 |   1 |5645 |  19k|5645 | 220 | 522k|1071k|8771 | 0.000000e+00 | 1.000000e-00 |    Inf 
1649.24/1649.22	c  1621s|810000 |  2268 |  3262k|   4.0 |  73M|2403 |   6 |5645 |  14k|5645 | 222 | 530k|1086k|8821 | 0.000000e+00 | 1.000000e-00 |    Inf 
1669.94/1669.91	c  1641s|820000 |  2338 |  3302k|   4.0 |  74M|2403 |   1 |5645 |  17k|5645 | 250 | 536k|1100k|8869 | 0.000000e+00 | 1.000000e-00 |    Inf 
1691.44/1691.42	c  1662s|830000 |  2368 |  3339k|   4.0 |  75M|2403 |   - |5645 |  16k|   0 |   0 | 541k|1114k|8888 | 0.000000e+00 | 1.000000e-00 |    Inf 
1713.04/1713.00	c  1684s|840000 |  2260 |  3377k|   4.0 |  73M|2403 |   1 |5645 |  17k|5645 | 220 | 547k|1128k|8934 | 0.000000e+00 | 1.000000e-00 |    Inf 
1734.64/1734.61	c  1705s|850000 |  2279 |  3416k|   4.0 |  75M|2403 |   - |5645 |  19k|   0 |   0 | 552k|1143k|8988 | 0.000000e+00 | 1.000000e-00 |    Inf 
1757.04/1757.02	c  1727s|860000 |  2304 |  3459k|   4.0 |  76M|2403 |   - |5645 |  22k|   0 |   0 | 559k|1157k|9034 | 0.000000e+00 | 1.000000e-00 |    Inf 
1780.34/1780.33	c  1750s|870000 |  2356 |  3509k|   4.0 |  77M|2403 |  12 |5645 |  21k|5645 | 242 | 565k|1172k|9083 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1769.26
1800.05/1800.00	c Solving Nodes      : 878612
1800.05/1800.00	c Primal Bound       : +1.00000000000000e-00 (177 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.08	s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.08	v -x1 
1800.05/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.08	c Solving Time       :    1769.26
1800.05/1800.08	c Original Problem   :
1800.05/1800.08	c   Problem name     : HOME/instance-2692965-1277926212.wbo
1800.05/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.05/1800.08	c Presolved Problem  :
1800.05/1800.08	c   Problem name     : t_HOME/instance-2692965-1277926212.wbo
1800.05/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.08	c   Constraints      : 5414 initial, 22947 maximal
1800.05/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.08	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.08	c   linear           :       0.03          0          0          0       2707          0          1          0          0
1800.05/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.08	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.08	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.05/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.08	c   integral         :          0          0          0     558824          0         20        615          0          0     880690
1800.05/1800.08	c   indicator        :       2707          0     520800      73393          0         92    1553789          0          0          0
1800.05/1800.08	c   linear           :       2707          6    4886679     117577          0     335494   18898849     570604          0          0
1800.05/1800.08	c   logicor          :          0+         0    1397505          0          0      90712    2172314          0          0          0
1800.05/1800.08	c   bounddisjunction :          0+         0      14186          0          0          0          0          0          0          0
1800.05/1800.08	c   countsols        :          0          0          0      63867          0          0          0          0          0          0
1800.05/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.08	c   integral         :      14.29       0.00       0.00      14.29       0.00
1800.05/1800.08	c   indicator        :      19.05       0.00       6.02      13.03       0.00
1800.05/1800.08	c   linear           :     276.44       0.00     265.17      11.27       0.00
1800.05/1800.08	c   logicor          :     212.72       0.00     212.72       0.00       0.00
1800.05/1800.08	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.05/1800.08	c   countsols        :       0.03       0.00       0.00       0.03       0.00
1800.05/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.08	c   vbounds          :       1.12          2          0          0
1800.05/1800.08	c   rootredcost      :       1.07         50          0       2707
1800.05/1800.08	c   pseudoobj        :     228.22    4889589       2384     923681
1800.05/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.08	c   propagation      :      32.69     428590     428517    2891888       39.7      20904       26.4          -
1800.05/1800.08	c   infeasible LP    :       2.87       7442       7442      63360       47.9         87       27.4          0
1800.05/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.08	c   pseudo solution  :       0.02         93         93        407       15.2        220        4.8          -
1800.05/1800.08	c   applied globally :          -          -          -    1186603       29.1          -          -          -
1800.05/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.08	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.05/1800.08	c   redcost          :      40.21     560025          0     561200          0          0
1800.05/1800.08	c   impliedbounds    :       0.00          4          0          0          0          0
1800.05/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.08	c   gomory           :       0.01          4          0          0         75          0
1800.05/1800.08	c   strongcg         :       0.00          4          0          0          0          0
1800.05/1800.08	c   cmir             :       0.01          4          0          0          1          0
1800.05/1800.08	c   flowcover        :       0.02          4          0          0          2          0
1800.05/1800.08	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.08	c   mcf              :       0.01          1          0          0          0          0
1800.05/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.08	c Pricers            :       Time      Calls       Vars
1800.05/1800.08	c   problem variables:       0.00          0          0
1800.05/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.08	c   relpscost        :      13.80     440863         20        615          0          0     880690
1800.05/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.08	c   inference        :      13.59      63817          0          0          0          0     127634
1800.05/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.08	c   LP solutions     :       0.13          -         50
1800.05/1800.08	c   pseudo solutions :       0.00          -          0
1800.05/1800.08	c   feaspump         :       0.00          0          0
1800.05/1800.08	c   oneopt           :       0.54         41          0
1800.05/1800.08	c   intshifting      :       0.03          5          0
1800.05/1800.08	c   guideddiving     :       0.11         43          0
1800.05/1800.08	c   coefdiving       :       0.13         76          0
1800.05/1800.08	c   pscostdiving     :       0.08         76          0
1800.05/1800.08	c   fracdiving       :       0.11         76          0
1800.05/1800.08	c   veclendiving     :       0.12         76          0
1800.05/1800.08	c   linesearchdiving :       0.07         76          0
1800.05/1800.08	c   rootsoldiving    :       0.14         71          0
1800.05/1800.08	c   objpscostdiving  :       0.14         71          0
1800.05/1800.08	c   crossover        :       1.94         58          7
1800.05/1800.08	c   trivial          :       0.07          2          2
1800.05/1800.08	c   simplerounding   :       0.93     441068          0
1800.05/1800.08	c   zirounding       :       0.66       1000          0
1800.05/1800.08	c   rounding         :       2.15       9317          0
1800.05/1800.08	c   shifting         :       1.12       2906          0
1800.05/1800.08	c   twoopt           :       0.00          0          0
1800.05/1800.08	c   fixandinfer      :       0.00          0          0
1800.05/1800.08	c   intdiving        :       0.00          0          0
1800.05/1800.08	c   actconsdiving    :       0.00          0          0
1800.05/1800.08	c   octane           :       0.00          0          0
1800.05/1800.08	c   rens             :       0.02          1          0
1800.05/1800.08	c   rins             :       0.00          0          0
1800.05/1800.08	c   localbranching   :       0.00          0          0
1800.05/1800.08	c   mutation         :       0.00          0          0
1800.05/1800.08	c   dins             :       0.00          0          0
1800.05/1800.08	c   undercover       :       0.00          0          0
1800.05/1800.08	c   nlp              :       0.25          0          0
1800.05/1800.08	c   trysol           :       1.55       2861        118
1800.05/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.08	c   dual LP          :     462.64     504864    3547900       7.03    7668.81
1800.05/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.08	c   diving/probing LP:       0.15         56       1509      26.95   10060.00
1800.05/1800.08	c   strong branching :      10.91       9112     108020      11.85    9901.01
1800.05/1800.08	c     (at root node) :          -         33       2230      67.58          -
1800.05/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.08	c B&B Tree           :
1800.05/1800.08	c   number of runs   :          1
1800.05/1800.08	c   nodes            :     878612
1800.05/1800.08	c   nodes (total)    :     878612
1800.05/1800.08	c   nodes left       :       2216
1800.05/1800.08	c   max depth        :       2403
1800.05/1800.08	c   max depth (total):       2403
1800.05/1800.08	c   backtracks       :      68523 (7.8%)
1800.05/1800.08	c   delayed cutoffs  :      64985
1800.05/1800.08	c   repropagations   :    2701912 (3686223 domain reductions, 61785 cutoffs)
1800.05/1800.08	c   avg switch length:       7.62
1800.05/1800.08	c   switching time   :     239.11
1800.05/1800.08	c Solution           :
1800.05/1800.08	c   Solutions found  :        177 (51 improvements)
1800.05/1800.08	c   First Solution   : +1.35714000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.08	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 142989 nodes, 259.17 seconds, depth 48, found by <relaxation>)
1800.05/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.08	c   Gap              :   infinite
1800.05/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.08	c   Root Iterations  :        167
1800.15/1800.18	c Time complete: 1800.22.

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-2692965-1277926212/watcher-2692965-1277926212 -o /tmp/evaluation-result-2692965-1277926212/solver-2692965-1277926212 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692965-1277926212.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.02 2.00 3/182 14961
/proc/meminfo: memFree=30072068/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=11108 CPUtime=0
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 1693 0 0 0 0 0 0 0 25 0 1 0 133916846 11374592 1615 4089446400 4194304 9819077 140736192111072 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14961/statm: 2777 1620 392 1374 0 1398 0

[startup+0.027039 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 14961
/proc/meminfo: memFree=30072068/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=17136 CPUtime=0.02
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3205 0 0 0 2 0 0 0 25 0 1 0 133916846 17547264 3126 4089446400 4194304 9819077 140736192111072 18446744073709551615 8677936 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14961/statm: 4284 3126 392 1374 0 2905 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17136

[startup+0.101035 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 14961
/proc/meminfo: memFree=30072068/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=36396 CPUtime=0.09
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 8121 0 0 0 9 0 0 0 25 0 1 0 133916846 37269504 7688 4089446400 4194304 9819077 140736192111072 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 9099 7688 469 1374 0 7720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36396

[startup+0.300981 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 14961
/proc/meminfo: memFree=30072068/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=46212 CPUtime=0.29
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 10977 0 0 0 29 0 0 0 25 0 1 0 133916846 47321088 9950 4089446400 4194304 9819077 140736192111072 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 11810 9960 673 1374 0 10431 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46212

[startup+0.700904 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 14961
/proc/meminfo: memFree=30072068/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=47224 CPUtime=0.69
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 26212 0 0 0 66 3 0 0 25 0 1 0 133916846 48357376 9984 4089446400 4194304 9819077 140736192111072 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 11806 9984 698 1374 0 10427 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47224

[startup+1.50079 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14962
/proc/meminfo: memFree=30033000/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=48848 CPUtime=1.49
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 42021 0 0 0 143 6 0 0 25 0 1 0 133916846 50020352 10342 4089446400 4194304 9819077 140736192111072 18446744073709551615 6712503 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 12212 10342 699 1374 0 10833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48848

[startup+3.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14962
/proc/meminfo: memFree=30026684/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=51120 CPUtime=3.09
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 54055 0 0 0 300 9 0 0 25 0 1 0 133916846 52346880 11548 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 12780 11548 700 1374 0 11401 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51120

[startup+6.30091 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14962
/proc/meminfo: memFree=30018376/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=59332 CPUtime=6.29
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 66396 0 0 0 617 12 0 0 25 0 1 0 133916846 60755968 13256 4089446400 4194304 9819077 140736192111072 18446744073709551615 6593065 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 14833 13256 700 1374 0 13454 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59332

[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14962
/proc/meminfo: memFree=30004228/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=67336 CPUtime=12.69
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 74444 0 0 0 1249 20 0 0 25 0 1 0 133916846 68952064 15337 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 16834 15337 700 1374 0 15455 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67336

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14962
/proc/meminfo: memFree=29969408/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=86208 CPUtime=25.49
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 86171 0 0 0 2518 31 0 0 25 0 1 0 133916846 88276992 19934 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 21552 19934 700 1374 0 20173 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86208

[startup+51.1008 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14963
/proc/meminfo: memFree=29885448/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=125944 CPUtime=51.09
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 110317 0 0 0 5054 55 0 0 25 0 1 0 133916846 128966656 29952 4089446400 4194304 9819077 140736192111072 18446744073709551615 6590517 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 31486 29952 700 1374 0 30107 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 125944

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14968
/proc/meminfo: memFree=29763944/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=168552 CPUtime=102.3
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 288841 0 0 0 10109 121 0 0 25 0 1 0 133916846 172597248 40618 4089446400 4194304 9819077 140736192111072 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 42181 40619 707 1374 0 40802 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 168552

[startup+162.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 14969
/proc/meminfo: memFree=29627792/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=218500 CPUtime=162.3
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 555074 0 0 0 15992 238 0 0 25 0 1 0 133916846 223744000 52647 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 54625 52647 725 1374 0 53246 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 218500

[startup+222.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14971
/proc/meminfo: memFree=29551364/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=221736 CPUtime=222.29
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 777294 0 0 0 21863 366 0 0 25 0 1 0 133916846 227057664 53390 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 55434 53390 725 1374 0 54055 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 221736

[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14973
/proc/meminfo: memFree=29471456/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=222992 CPUtime=282.3
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 955819 0 0 0 27748 482 0 0 25 0 1 0 133916846 228343808 53699 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 55748 53699 725 1374 0 54369 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 222992

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14974
/proc/meminfo: memFree=29385228/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=227788 CPUtime=342.3
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 1087922 0 0 0 33643 587 0 0 25 0 1 0 133916846 233254912 54845 4089446400 4194304 9819077 140736192111072 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 56947 54845 739 1374 0 55568 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 227788

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14976
/proc/meminfo: memFree=29308916/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=229180 CPUtime=402.3
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 1212302 0 0 0 39541 689 0 0 25 0 1 0 133916846 234680320 55200 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 57295 55200 739 1374 0 55916 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 229180

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14977
/proc/meminfo: memFree=29230000/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=229156 CPUtime=462.3
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 1333188 0 0 0 45444 786 0 0 25 0 1 0 133916846 234655744 55303 4089446400 4194304 9819077 140736192111072 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 57422 55306 739 1374 0 56043 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 229156

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14979
/proc/meminfo: memFree=29162752/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=229892 CPUtime=522.31
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 1517951 0 0 0 51327 904 0 0 25 0 1 0 133916846 235409408 55366 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 57473 55366 740 1374 0 56094 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 229892

[startup+582.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 14981
/proc/meminfo: memFree=29085948/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=231764 CPUtime=582.31
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 1653481 0 0 0 57221 1010 0 0 25 0 1 0 133916846 237326336 55811 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 57941 55811 740 1374 0 56562 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 231764

[startup+642.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14982
/proc/meminfo: memFree=28995124/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=236084 CPUtime=642.32
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 1800384 0 0 0 63114 1118 0 0 25 0 1 0 133916846 241750016 56856 4089446400 4194304 9819077 140736192111072 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 59021 56856 740 1374 0 57642 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 236084

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 14989
/proc/meminfo: memFree=28700688/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=245284 CPUtime=882.32
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 2328970 0 0 0 86705 1527 0 0 25 0 1 0 133916846 251170816 59093 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 61321 59093 740 1374 0 59942 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 245284

[startup+942.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 14990
/proc/meminfo: memFree=28606284/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=247896 CPUtime=942.32
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 2429476 0 0 0 92608 1624 0 0 25 0 1 0 133916846 253845504 59687 4089446400 4194304 9819077 140736192111072 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 61974 59687 740 1374 0 60595 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 247896

[startup+1002.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 15020
/proc/meminfo: memFree=31293868/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=248916 CPUtime=1002.32
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 2553537 0 0 0 98507 1725 0 0 25 0 1 0 133916846 254889984 59958 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 62229 59958 740 1374 0 60850 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 248916

[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 15021
/proc/meminfo: memFree=31292360/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=249744 CPUtime=1062.33
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 2682698 0 0 0 104402 1831 0 0 25 0 1 0 133916846 255737856 60108 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 62436 60108 740 1374 0 61057 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 249744

[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 15023
/proc/meminfo: memFree=31290720/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=250640 CPUtime=1122.33
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 2828545 0 0 0 110291 1942 0 0 25 0 1 0 133916846 256655360 60343 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 62660 60343 740 1374 0 61281 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 250640

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 15025
/proc/meminfo: memFree=31290192/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=250904 CPUtime=1182.33
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 2947271 0 0 0 116193 2040 0 0 25 0 1 0 133916846 256925696 60461 4089446400 4194304 9819077 140736192111072 18446744073709551615 4926174 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 62726 60461 740 1374 0 61347 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 250904

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15026
/proc/meminfo: memFree=31288676/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=251900 CPUtime=1242.33
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3056349 0 0 0 122091 2142 0 0 25 0 1 0 133916846 257945600 60717 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 62975 60717 740 1374 0 61596 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 251900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 15028
/proc/meminfo: memFree=31287532/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=252424 CPUtime=1302.34
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3180461 0 0 0 127989 2245 0 0 25 0 1 0 133916846 258482176 60854 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63106 60854 740 1374 0 61727 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 252424

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15029
/proc/meminfo: memFree=31287256/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=252416 CPUtime=1362.33
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3296692 0 0 0 133888 2345 0 0 25 0 1 0 133916846 258473984 60857 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63104 60857 740 1374 0 61725 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 252416

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15031
/proc/meminfo: memFree=31287600/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=252400 CPUtime=1422.34
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3413225 0 0 0 139780 2454 0 0 25 0 1 0 133916846 258457600 60858 4089446400 4194304 9819077 140736192111072 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63100 60858 740 1374 0 61721 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 252400

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15033
/proc/meminfo: memFree=31287432/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=252420 CPUtime=1482.33
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3530738 0 0 0 145678 2555 0 0 25 0 1 0 133916846 258478080 60863 4089446400 4194304 9819077 140736192111072 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63105 60863 740 1374 0 61726 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 252420

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15034
/proc/meminfo: memFree=31286904/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=252972 CPUtime=1542.34
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3656536 0 0 0 151579 2655 0 0 25 0 1 0 133916846 259043328 60988 4089446400 4194304 9819077 140736192111072 18446744073709551615 4923705 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63243 60988 740 1374 0 61864 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 252972

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15036
/proc/meminfo: memFree=31286380/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=252944 CPUtime=1602.34
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3768682 0 0 0 157483 2751 0 0 25 0 1 0 133916846 259014656 61078 4089446400 4194304 9819077 140736192111072 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63279 61078 740 1374 0 61900 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 252944

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15037
/proc/meminfo: memFree=31285984/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=253352 CPUtime=1662.34
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3881543 0 0 0 163387 2847 0 0 25 0 1 0 133916846 259432448 61099 4089446400 4194304 9819077 140736192111072 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63338 61099 740 1374 0 61959 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 253352

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 15039
/proc/meminfo: memFree=31285584/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=253500 CPUtime=1722.35
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 3987425 0 0 0 169283 2952 0 0 25 0 1 0 133916846 259584000 61141 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63375 61141 740 1374 0 61996 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 253500

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 15041
/proc/meminfo: memFree=31284556/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=254244 CPUtime=1782.34
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 4100262 0 0 0 175186 3048 0 0 25 0 1 0 133916846 260345856 61333 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63561 61333 740 1374 0 62182 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 254244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15041
/proc/meminfo: memFree=31284428/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=254364 CPUtime=1800.05
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 4132685 0 0 0 176929 3076 0 0 25 0 1 0 133916846 260468736 61374 4089446400 4194304 9819077 140736192111072 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14961/statm: 63591 61374 740 1374 0 62212 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 254364

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

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

[startup+1800.11 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15041
/proc/meminfo: memFree=31284428/32951124 swapFree=67111528/67111528
[pid=14961] ppid=14959 vsize=254652 CPUtime=1800.15
/proc/14961/stat : 14961 (pbscip.linux.x8) R 14959 14961 13694 0 -1 4202496 4132755 0 0 0 176939 3076 0 0 18 0 1 0 133916846 260763648 61439 4089446400 4194304 9819077 140736192111072 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14961/statm: 63663 61439 741 1374 0 62284 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 254652

Child status: 0
Real time (s): 1800.18
CPU time (s): 1800.24
CPU user time (s): 1769.46
CPU system time (s): 30.7783
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 255640

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

runsolver used 3.64945 second user time and 6.10507 second system time

The end

Launcher Data 

Begin job on node133 at 2010-06-30 21:30:12
IDJOB=2692965
IDBENCH=79267
IDSOLVER=1205
FILE ID=node133/2692965-1277926212
PBS_JOBID= 11197337
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.1900550006--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-2692965-1277926212/watcher-2692965-1277926212 -o /tmp/evaluation-result-2692965-1277926212/solver-2692965-1277926212 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692965-1277926212.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 200f179ceb6a172fc8d81952e96f0c84
RANDOM SEED=2060018677

node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
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.64
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.821
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.821
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.82
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.821
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	: 7296.74
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.821
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.821
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.74
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.821
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.74
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.821
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:      30072604 kB
Buffers:        206896 kB
Cached:         985932 kB
SwapCached:          0 kB
Active:        2072956 kB
Inactive:       660464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30072604 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6268 kB
Writeback:           0 kB
AnonPages:     1540832 kB
Mapped:          16268 kB
Slab:            79888 kB
PageTables:       8136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1703612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node133 at 2010-06-30 22:00:14