Trace number 2693043

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.3 1800.27

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
MD5SUMaacdee42f12f02195344334122667810
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 benchmark203.379
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 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
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-2693043-1277930097.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.12	o 135640
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.356400e+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.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.12
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.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.1s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.19/0.20	c   0.1s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.356400e+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.356400e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.39/0.41	c   0.3s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.356400e+05 |    Inf 
15.99/16.04	c  15.6s| 10000 | 10001 |  5466 |   0.5 |  46M|1685 |   0 |5645 |5414 |5645 | 232 |1943 |   0 | 721 | 0.000000e+00 | 1.356400e+05 |    Inf 
29.09/29.12	c  28.3s| 20000 | 20001 |  7289 |   0.4 |  66M|1685 |   0 |5645 |5414 |5645 | 228 |2590 |   0 | 769 | 0.000000e+00 | 1.356400e+05 |    Inf 
42.49/42.56	c  41.4s| 30000 | 30001 |  9365 |   0.3 |  86M|1685 |   0 |5645 |5414 |5645 | 220 |3266 |   0 | 856 | 0.000000e+00 | 1.356400e+05 |    Inf 
55.49/55.58	c  54.1s| 40000 | 40001 | 10561 |   0.3 | 105M|1685 |   0 |5645 |5414 |5645 | 224 |3650 |   0 | 888 | 0.000000e+00 | 1.356400e+05 |    Inf 
65.59/65.62	o 718
65.59/65.62	c *63.8s| 48310 | 44970 | 11750 |   0.2 | 116M|2461 |   - |5645 |5414 |5645 | 248 |4103 |   0 | 907 | 0.000000e+00 | 7.180000e+02 |    Inf 
66.60/66.64	o 696
66.60/66.64	c *64.8s| 48889 | 45201 | 12544 |   0.3 | 116M|2461 |   - |5645 |5414 |5645 | 254 |4289 |   0 | 952 | 0.000000e+00 | 6.960000e+02 |    Inf 
66.60/66.68	o 691
66.60/66.68	c *64.8s| 48901 | 45118 | 12557 |   0.3 | 116M|2461 |   - |5645 |5414 |5645 | 254 |4289 |   0 | 952 | 0.000000e+00 | 6.910000e+02 |    Inf 
68.59/68.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
68.59/68.69	c  66.8s| 50000 | 46205 | 13749 |   0.3 | 118M|2461 |   0 |5645 |5469 |5645 | 207 |4630 |  55 | 994 | 0.000000e+00 | 6.910000e+02 |    Inf 
75.09/75.11	o 613
75.09/75.11	c *73.0s| 54203 | 49117 | 15728 |   0.3 | 124M|2461 |   - |5645 |5498 |5645 | 258 |5292 |  84 |1052 | 0.000000e+00 | 6.130000e+02 |    Inf 
75.59/75.60	o 553
75.59/75.60	c *73.5s| 54497 | 47746 | 15964 |   0.3 | 122M|2461 |   - |5645 |5533 |5645 | 253 |5341 | 119 |1052 | 0.000000e+00 | 5.530000e+02 |    Inf 
77.49/77.51	o 448
77.49/77.51	c *75.4s| 55522 | 43391 | 17271 |   0.3 | 114M|2461 |   - |5645 |5772 |5645 | 222 |5756 | 358 |1071 | 0.000000e+00 | 4.480000e+02 |    Inf 
77.69/77.76	o 416
77.69/77.76	c *75.6s| 55626 | 40734 | 17510 |   0.3 | 110M|2461 |   - |5645 |5833 |5645 | 238 |5820 | 419 |1071 | 0.000000e+00 | 4.160000e+02 |    Inf 
79.69/79.74	o 389
79.69/79.74	c *77.5s| 56454 | 39184 | 19229 |   0.3 | 108M|2461 |   - |5645 |6453 |5645 | 223 |6369 |1039 |1103 | 0.000000e+00 | 3.890000e+02 |    Inf 
82.10/82.10	o 384
82.10/82.10	c *79.8s| 57519 | 39662 | 20612 |   0.4 | 110M|2461 |   - |5645 |6982 |5645 | 237 |6922 |1568 |1110 | 0.000000e+00 | 3.840000e+02 |    Inf 
86.69/86.77	o 374
86.69/86.77	c *84.3s| 59444 | 40285 | 23488 |   0.4 | 114M|2461 |   - |5645 |8278 |5645 | 224 |7830 |2864 |1154 | 0.000000e+00 | 3.740000e+02 |    Inf 
87.80/87.88	o 356
87.80/87.88	c *85.4s| 59931 | 39290 | 24374 |   0.4 | 112M|2461 |   - |5645 |8501 |5645 | 252 |8107 |3093 |1158 | 0.000000e+00 | 3.560000e+02 |    Inf 
87.99/88.07	c  85.6s| 60000 | 39348 | 24596 |   0.4 | 112M|2461 |   0 |5645 |8557 |5645 | 241 |8185 |3151 |1161 | 0.000000e+00 | 3.560000e+02 |    Inf 
89.49/89.53	o 353
89.49/89.53	c *87.0s| 60562 | 39520 | 25616 |   0.4 | 114M|2461 |   - |5645 |9089 |5645 | 265 |8480 |3709 |1172 | 0.000000e+00 | 3.530000e+02 |    Inf 
89.60/89.61	o 313
89.60/89.61	c *87.1s| 60582 | 35950 | 25740 |   0.4 | 106M|2461 |   - |5645 |9095 |5645 | 267 |8492 |3717 |1172 | 0.000000e+00 | 3.130000e+02 |    Inf 
90.09/90.16	o 267
90.09/90.16	c *87.7s| 60854 | 30444 | 25933 |   0.4 |  94M|2461 |   - |5645 |9125 |5645 | 231 |8555 |3762 |1174 | 0.000000e+00 | 2.670000e+02 |    Inf 
91.59/91.62	o 257
91.59/91.62	c *89.1s| 61386 | 29429 | 27239 |   0.4 |  93M|2461 |   - |5645 |9321 |5645 | 282 |8931 |4053 |1204 | 0.000000e+00 | 2.570000e+02 |    Inf 
92.19/92.29	o 255
92.19/92.29	c *89.7s| 61587 | 29327 | 28022 |   0.5 |  93M|2461 |   - |5645 |9389 |5645 | 265 |9127 |4173 |1218 | 0.000000e+00 | 2.550000e+02 |    Inf 
93.29/93.35	o 247
93.29/93.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
93.29/93.35	c *90.7s| 61997 | 28424 | 28687 |   0.5 |  92M|2461 |   - |5645 |9542 |5645 | 252 |9335 |4408 |1218 | 0.000000e+00 | 2.470000e+02 |    Inf 
95.79/95.86	o 242
95.79/95.86	c *93.2s| 62834 | 28265 | 31233 |   0.5 |  93M|2461 |   - |5645 |9667 |5645 | 274 |  10k|4956 |1259 | 0.000000e+00 | 2.420000e+02 |    Inf 
95.89/95.91	o 239
95.89/95.91	c *93.2s| 62854 | 27822 | 31251 |   0.5 |  92M|2461 |   - |5645 |9666 |5645 | 276 |  10k|4956 |1259 | 0.000000e+00 | 2.390000e+02 |    Inf 
95.89/95.92	o 230
95.89/95.92	c *93.2s| 62855 | 26381 | 31252 |   0.5 |  89M|2461 |   - |5645 |9666 |5645 | 276 |  10k|4956 |1259 | 0.000000e+00 | 2.300000e+02 |    Inf 
96.99/97.05	o 209
96.99/97.05	c *94.3s| 63354 | 23780 | 32082 |   0.5 |  84M|2461 |   - |5645 |9659 |5645 | 210 |  10k|5102 |1274 | 0.000000e+00 | 2.090000e+02 |    Inf 
98.60/98.64	o 206
98.60/98.64	c *95.9s| 63880 | 23686 | 33603 |   0.5 |  85M|2461 |   - |5645 |9532 |5645 | 254 |  10k|5483 |1298 | 0.000000e+00 | 2.060000e+02 |    Inf 
98.79/98.85	o 199
98.79/98.85	c *96.1s| 63949 | 22676 | 33895 |   0.5 |  83M|2461 |   - |5645 |9530 |5645 | 286 |  10k|5499 |1303 | 0.000000e+00 | 1.990000e+02 |    Inf 
99.20/99.25	o 192
99.20/99.25	c *96.5s| 64022 | 21693 | 34538 |   0.5 |  81M|2461 |   - |5645 |9488 |5645 | 233 |  11k|5562 |1317 | 0.000000e+00 | 1.920000e+02 |    Inf 
101.89/101.94	o 191
101.89/101.94	c *99.1s| 64954 | 22239 | 37262 |   0.6 |  84M|2461 |   - |5645 |9102 |5645 | 219 |  12k|6096 |1351 | 0.000000e+00 | 1.910000e+02 |    Inf 
102.20/102.23	o 183
102.20/102.23	c *99.4s| 65022 | 20834 | 37741 |   0.6 |  82M|2461 |   - |5645 |9053 |5645 | 231 |  12k|6187 |1353 | 0.000000e+00 | 1.830000e+02 |    Inf 
103.79/103.87	o 177
103.79/103.87	c * 101s| 65628 | 20156 | 39155 |   0.6 |  81M|2461 |   - |5645 |8984 |5645 | 240 |  12k|6613 |1360 | 0.000000e+00 | 1.770000e+02 |    Inf 
103.79/103.88	o 170
103.79/103.88	c * 101s| 65629 | 18970 | 39155 |   0.6 |  78M|2461 |   - |5645 |8983 |5645 | 240 |  12k|6613 |1360 | 0.000000e+00 | 1.700000e+02 |    Inf 
104.00/104.00	o 162
104.00/104.00	c * 101s| 65675 | 17811 | 39381 |   0.6 |  74M|2461 |   - |5645 |8971 |5645 | 219 |  12k|6613 |1363 | 0.000000e+00 | 1.620000e+02 |    Inf 
104.00/104.02	o 151
104.00/104.02	c * 101s| 65680 | 16084 | 39384 |   0.6 |  69M|2461 |   - |5645 |8971 |5645 | 219 |  12k|6613 |1363 | 0.000000e+00 | 1.510000e+02 |    Inf 
104.00/104.03	o 138
104.00/104.03	c * 101s| 65681 | 14009 | 39384 |   0.6 |  65M|2461 |   - |5645 |8971 |5645 | 219 |  12k|6613 |1363 | 0.000000e+00 | 1.380000e+02 |    Inf 
104.09/104.16	o 134
104.09/104.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
104.09/104.16	c * 101s| 65719 | 13433 | 39580 |   0.6 |  64M|2461 |   - |5645 |8949 |5645 | 239 |  12k|6620 |1364 | 0.000000e+00 | 1.340000e+02 |    Inf 
104.19/104.22	o 122
104.19/104.22	c * 101s| 65773 | 11603 | 39584 |   0.6 |  60M|2461 |   - |5645 |8949 |5645 | 239 |  12k|6620 |1364 | 0.000000e+00 | 1.220000e+02 |    Inf 
104.30/104.34	o 121
104.30/104.34	c * 101s| 65803 | 11488 | 39789 |   0.6 |  60M|2461 |   - |5645 |8936 |5645 | 236 |  12k|6633 |1367 | 0.000000e+00 | 1.210000e+02 |    Inf 
104.30/104.36	o 120
104.30/104.36	c * 101s| 65816 | 11335 | 39791 |   0.6 |  60M|2461 |   - |5645 |8935 |5645 | 236 |  12k|6633 |1367 | 0.000000e+00 | 1.200000e+02 |    Inf 
104.30/104.37	o 109
104.30/104.37	c * 101s| 65817 |  9842 | 39791 |   0.6 |  55M|2461 |   - |5645 |8935 |5645 | 236 |  12k|6633 |1367 | 0.000000e+00 | 1.090000e+02 |    Inf 
104.49/104.54	o 107
104.49/104.54	c * 102s| 65866 |  9617 | 40124 |   0.6 |  55M|2461 |   - |5645 |8824 |5645 | 223 |  12k|6652 |1371 | 0.000000e+00 | 1.070000e+02 |    Inf 
104.60/104.61	o 100
104.60/104.61	c * 102s| 65876 |  8551 | 40287 |   0.6 |  53M|2461 |   - |5645 |8787 |5645 | 208 |  12k|6655 |1373 | 0.000000e+00 | 1.000000e+02 |    Inf 
104.89/104.99	o 99
104.89/104.99	c * 102s| 65938 |  8451 | 41078 |   0.6 |  54M|2461 |   - |5645 |8591 |5645 | 226 |  13k|6710 |1403 | 0.000000e+00 | 9.900000e+01 |    Inf 
107.30/107.35	o 96
107.30/107.35	c * 104s| 66546 |  8002 | 44835 |   0.7 |  56M|2461 |   - |5645 |7634 |5645 | 228 |  14k|7224 |1463 | 0.000000e+00 | 9.600000e+01 |    Inf 
107.49/107.53	o 94
107.49/107.53	c * 105s| 66586 |  7773 | 45177 |   0.7 |  56M|2461 |   - |5645 |7398 |5645 | 208 |  14k|7247 |1467 | 0.000000e+00 | 9.400000e+01 |    Inf 
111.50/111.60	o 93
111.50/111.60	c * 108s| 67573 |  8051 | 51091 |   0.8 |  62M|2461 |   - |5645 |6560 |5645 | 226 |  16k|8111 |1525 | 0.000000e+00 | 9.300000e+01 |    Inf 
111.59/111.63	o 92
111.59/111.63	c * 108s| 67575 |  7918 | 51098 |   0.8 |  62M|2461 |   - |5645 |6523 |5645 | 226 |  16k|8111 |1526 | 0.000000e+00 | 9.200000e+01 |    Inf 
111.59/111.69	o 87
111.59/111.69	c * 109s| 67585 |  7320 | 51128 |   0.8 |  60M|2461 |   - |5645 |6497 |5645 | 230 |  16k|8127 |1530 | 0.000000e+00 | 8.700000e+01 |    Inf 
112.90/112.90	o 83
112.90/112.90	c * 110s| 67843 |  6952 | 53643 |   0.8 |  60M|2461 |   - |5645 |6472 |5645 | 216 |  16k|8461 |1545 | 0.000000e+00 | 8.300000e+01 |    Inf 
116.29/116.34	o 81
116.29/116.34	c * 113s| 68618 |  6909 | 59933 |   0.9 |  63M|2461 |   - |5645 |5964 |5645 | 264 |  18k|9203 |1606 | 0.000000e+00 | 8.100000e+01 |    Inf 
116.29/116.34	o 78
116.29/116.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
116.29/116.34	c * 113s| 68619 |  6219 | 59933 |   0.9 |  56M|2461 |   - |5645 |5964 |5645 | 264 |  18k|9203 |1606 | 0.000000e+00 | 7.800000e+01 |    Inf 
121.29/121.37	c   118s| 70000 |  6670 | 69594 |   1.0 |  62M|2461 |   - |5645 |6239 |5645 | 210 |  20k|  10k|1637 | 0.000000e+00 | 7.800000e+01 |    Inf 
122.19/122.20	o 75
122.19/122.20	c * 119s| 70254 |  6446 | 70427 |   1.0 |  63M|2461 |   - |5645 |6241 |5645 | 195 |  21k|  10k|1639 | 0.000000e+00 | 7.500000e+01 |    Inf 
127.99/128.01	o 71
127.99/128.01	c * 124s| 71734 |  6535 | 78605 |   1.1 |  67M|2461 |   - |5645 |6358 |5645 | 239 |  23k|  12k|1664 | 0.000000e+00 | 7.100000e+01 |    Inf 
128.50/128.52	o 45
128.50/128.52	c * 125s| 71844 |  4246 | 79420 |   1.1 |  58M|2461 |   - |5645 |6240 |5645 | 246 |  23k|  12k|1666 | 0.000000e+00 | 4.500000e+01 |    Inf 
128.79/128.82	o 43
128.79/128.82	c * 125s| 71954 |  4158 | 79659 |   1.1 |  57M|2461 |   - |5645 |5586 |5645 | 222 |  23k|  12k|1666 | 0.000000e+00 | 4.300000e+01 |    Inf 
151.99/152.00	c   148s| 80000 |  5123 |111038 |   1.4 |  71M|2461 |   7 |5645 |7400 |5645 | 206 |  31k|  22k|1792 | 0.000000e+00 | 4.300000e+01 |    Inf 
157.39/157.40	o 28
157.39/157.40	c * 153s| 81990 |  3919 |116517 |   1.4 |  62M|2461 |   - |5645 |7061 |5645 | 224 |  33k|  25k|1862 | 0.000000e+00 | 2.800000e+01 |    Inf 
159.50/159.56	o 27
159.50/159.56	c * 155s| 82852 |  3875 |119565 |   1.4 |  62M|2461 |   - |5645 |6087 |5645 | 216 |  34k|  26k|1883 | 0.000000e+00 | 2.700000e+01 |    Inf 
161.40/161.49	o 20
161.40/161.49	c * 157s| 83739 |  3510 |122468 |   1.5 |  60M|2461 |   - |5645 |6132 |5645 | 235 |  34k|  27k|1906 | 0.000000e+00 | 2.000000e+01 |    Inf 
174.09/174.11	c   169s| 90000 |  3580 |141647 |   1.6 |  63M|2461 |   - |5645 |6559 |   0 |   0 |  37k|  36k|2094 | 0.000000e+00 | 2.000000e+01 |    Inf 
184.09/184.16	o 16
184.09/184.16	c * 179s| 95127 |  3515 |156251 |   1.6 |  64M|2461 |   - |5645 |8428 |5645 | 224 |  40k|  42k|2173 | 0.000000e+00 | 1.600000e+01 |    Inf 
193.79/193.85	c   188s|100000 |  3565 |172874 |   1.7 |  65M|2461 |   1 |5645 |7479 |5645 | 211 |  43k|  49k|2299 | 0.000000e+00 | 1.600000e+01 |    Inf 
202.79/202.87	o 15
202.79/202.87	c * 197s|104768 |  3597 |187426 |   1.8 |  67M|2461 |   - |5645 |8414 |5645 | 236 |  45k|  56k|2404 | 0.000000e+00 | 1.500000e+01 |    Inf 
212.80/212.89	c   206s|110000 |  3697 |204604 |   1.9 |  68M|2461 |   1 |5645 |8628 |5645 | 194 |  47k|  63k|2549 | 0.000000e+00 | 1.500000e+01 |    Inf 
229.49/229.52	o 9
229.49/229.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
229.49/229.52	c * 222s|118702 |  3350 |236015 |   2.0 |  65M|2461 |   - |5645 |  12k|5645 | 228 |  53k|  74k|2667 | 0.000000e+00 | 9.000000e+00 |    Inf 
231.90/231.99	c   225s|120000 |  3366 |240665 |   2.0 |  65M|2461 |   1 |5645 |9671 |5645 | 209 |  53k|  76k|2709 | 0.000000e+00 | 9.000000e+00 |    Inf 
250.80/250.89	c   243s|130000 |  3487 |278538 |   2.1 |  67M|2461 |   8 |5645 |  12k|5645 | 225 |  59k|  88k|2891 | 0.000000e+00 | 9.000000e+00 |    Inf 
265.50/265.57	o 7
265.50/265.57	c * 257s|137499 |  3409 |307183 |   2.2 |  67M|2461 |   - |5645 |  13k|5645 | 240 |  63k|  98k|3069 | 0.000000e+00 | 7.000000e+00 |    Inf 
266.39/266.41	o 6
266.39/266.41	c * 258s|137920 |  3317 |308692 |   2.2 |  66M|2461 |   - |5645 |  13k|5645 | 243 |  63k|  99k|3088 | 0.000000e+00 | 6.000000e+00 |    Inf 
270.60/270.65	c   262s|140000 |  3365 |317554 |   2.3 |  66M|2461 |   - |5645 |  10k|   0 |   0 |  64k| 101k|3169 | 0.000000e+00 | 6.000000e+00 |    Inf 
288.89/288.99	c   280s|150000 |  3516 |356716 |   2.4 |  68M|2461 |   - |5645 |  11k|   0 |   0 |  69k| 114k|3314 | 0.000000e+00 | 6.000000e+00 |    Inf 
307.60/307.60	c   297s|160000 |  3735 |395626 |   2.5 |  72M|2461 |   - |5645 |  13k|   0 |   0 |  73k| 128k|3443 | 0.000000e+00 | 6.000000e+00 |    Inf 
308.70/308.74	o 3
308.70/308.74	c * 299s|160576 |  3306 |397939 |   2.5 |  67M|2461 |   - |5645 |  12k|5645 | 256 |  73k| 128k|3465 | 0.000000e+00 | 3.000000e+00 |    Inf 
325.60/325.60	c   315s|170000 |  3216 |437035 |   2.6 |  66M|2461 |   - |5645 |8905 |   0 |   0 |  77k| 141k|3716 | 0.000000e+00 | 3.000000e+00 |    Inf 
342.80/342.89	c   331s|180000 |  3289 |474153 |   2.6 |  69M|2461 |   1 |5645 |  13k|5645 | 238 |  81k| 155k|3863 | 0.000000e+00 | 3.000000e+00 |    Inf 
362.40/362.45	c   350s|190000 |  3385 |513727 |   2.7 |  72M|2461 |   1 |5645 |  17k|5645 | 222 |  86k| 168k|3986 | 0.000000e+00 | 3.000000e+00 |    Inf 
382.10/382.10	c   369s|200000 |  3539 |550402 |   2.8 |  75M|2461 |  21 |5645 |  21k|5645 | 247 |  90k| 181k|4114 | 0.000000e+00 | 3.000000e+00 |    Inf 
385.10/385.17	o 1
385.10/385.17	c * 372s|201489 |  3449 |556003 |   2.8 |  73M|2461 |   - |5645 |  20k|5645 | 252 |  90k| 183k|4114 | 0.000000e+00 | 1.000000e-00 |    Inf 
402.70/402.79	c   389s|210000 |  3387 |587108 |   2.8 |  73M|2461 |   - |5645 |  17k|   0 |   0 |  93k| 195k|4242 | 0.000000e+00 | 1.000000e-00 |    Inf 
422.20/422.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
422.20/422.24	c   408s|220000 |  3354 |622880 |   2.8 |  72M|2461 |   9 |5645 |  15k|5645 | 202 |  97k| 209k|4433 | 0.000000e+00 | 1.000000e-00 |    Inf 
442.10/442.11	c   428s|230000 |  3467 |656845 |   2.9 |  74M|2461 |   - |5645 |  17k|   0 |   0 | 101k| 223k|4506 | 0.000000e+00 | 1.000000e-00 |    Inf 
462.80/462.80	c   448s|240000 |  3480 |696646 |   2.9 |  75M|2461 |  17 |5645 |  17k|5645 | 197 | 106k| 237k|4616 | 0.000000e+00 | 1.000000e-00 |    Inf 
482.91/482.91	c   467s|250000 |  3392 |736544 |   2.9 |  74M|2461 |  16 |5645 |  16k|5645 | 205 | 111k| 252k|4732 | 0.000000e+00 | 1.000000e-00 |    Inf 
501.10/501.19	c   485s|260000 |  3412 |773864 |   3.0 |  74M|2461 |   1 |5645 |  15k|5645 | 221 | 114k| 266k|4890 | 0.000000e+00 | 1.000000e-00 |    Inf 
519.51/519.59	c   503s|270000 |  3497 |812426 |   3.0 |  74M|2461 |   1 |5645 |  13k|5645 | 193 | 119k| 280k|5044 | 0.000000e+00 | 1.000000e-00 |    Inf 
537.91/537.91	c   520s|280000 |  3584 |849649 |   3.0 |  76M|2461 |   - |5645 |  14k|   0 |   0 | 125k| 293k|5111 | 0.000000e+00 | 1.000000e-00 |    Inf 
556.61/556.61	c   539s|290000 |  3858 |885227 |   3.1 |  79M|2461 |   - |5645 |  16k|   0 |   0 | 130k| 306k|5230 | 0.000000e+00 | 1.000000e-00 |    Inf 
576.01/576.09	c   557s|300000 |  4128 |920330 |   3.1 |  82M|2461 |   - |5645 |  18k|   0 |   0 | 137k| 319k|5323 | 0.000000e+00 | 1.000000e-00 |    Inf 
595.30/595.30	c   576s|310000 |  4214 |955039 |   3.1 |  83M|2461 |   - |5645 |  18k|   0 |   0 | 142k| 333k|5398 | 0.000000e+00 | 1.000000e-00 |    Inf 
616.70/616.75	c   597s|320000 |  4494 |  1001k|   3.1 |  86M|2461 |   - |5645 |  19k|   0 |   0 | 150k| 347k|5508 | 0.000000e+00 | 1.000000e-00 |    Inf 
637.50/637.56	c   617s|330000 |  4567 |  1042k|   3.2 |  87M|2461 |   1 |5645 |  17k|5645 | 236 | 156k| 361k|5591 | 0.000000e+00 | 1.000000e-00 |    Inf 
657.61/657.62	c   636s|340000 |  4590 |  1079k|   3.2 |  88M|2461 |   - |5645 |  18k|   0 |   0 | 161k| 375k|5687 | 0.000000e+00 | 1.000000e-00 |    Inf 
677.40/677.41	c   655s|350000 |  4593 |  1116k|   3.2 |  89M|2461 |   - |5645 |  19k|   0 |   0 | 167k| 389k|5757 | 0.000000e+00 | 1.000000e-00 |    Inf 
697.80/697.86	c   675s|360000 |  4548 |  1153k|   3.2 |  90M|2461 |   - |5645 |  20k|   0 |   0 | 173k| 403k|5817 | 0.000000e+00 | 1.000000e-00 |    Inf 
719.51/719.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
719.51/719.59	c   696s|370000 |  4546 |  1193k|   3.2 |  90M|2461 |   - |5645 |  20k|   0 |   0 | 179k| 416k|5896 | 0.000000e+00 | 1.000000e-00 |    Inf 
740.71/740.72	c   716s|380000 |  4570 |  1236k|   3.3 |  91M|2461 |   - |5645 |  21k|   0 |   0 | 184k| 430k|5974 | 0.000000e+00 | 1.000000e-00 |    Inf 
762.01/762.06	c   737s|390000 |  4517 |  1276k|   3.3 |  92M|2461 |   - |5645 |  22k|   0 |   0 | 189k| 444k|6037 | 0.000000e+00 | 1.000000e-00 |    Inf 
784.51/784.58	c   759s|400000 |  4600 |  1320k|   3.3 |  93M|2461 |  13 |5645 |  22k|5645 | 232 | 195k| 459k|6149 | 0.000000e+00 | 1.000000e-00 |    Inf 
807.01/807.08	c   781s|410000 |  4701 |  1360k|   3.3 |  94M|2461 |  16 |5645 |  22k|5645 | 232 | 199k| 472k|6217 | 0.000000e+00 | 1.000000e-00 |    Inf 
829.21/829.24	c   802s|420000 |  4678 |  1404k|   3.3 |  95M|2461 |   1 |5645 |  22k|5645 | 246 | 205k| 487k|6280 | 0.000000e+00 | 1.000000e-00 |    Inf 
849.91/849.94	c   822s|430000 |  4642 |  1441k|   3.4 |  94M|2461 |   1 |5645 |  22k|5645 | 210 | 210k| 502k|6337 | 0.000000e+00 | 1.000000e-00 |    Inf 
870.71/870.77	c   842s|440000 |  4737 |  1476k|   3.4 |  95M|2461 |   1 |5645 |  21k|5645 | 209 | 215k| 516k|6413 | 0.000000e+00 | 1.000000e-00 |    Inf 
892.61/892.67	c   863s|450000 |  4800 |  1514k|   3.4 |  96M|2461 |   1 |5645 |  22k|5645 | 237 | 221k| 529k|6498 | 0.000000e+00 | 1.000000e-00 |    Inf 
914.22/914.27	c   884s|460000 |  4806 |  1554k|   3.4 |  97M|2461 |   1 |5645 |  20k|5645 | 250 | 226k| 544k|6546 | 0.000000e+00 | 1.000000e-00 |    Inf 
935.02/935.08	c   904s|470000 |  4776 |  1591k|   3.4 |  97M|2461 |   6 |5645 |  21k|5645 | 236 | 231k| 557k|6618 | 0.000000e+00 | 1.000000e-00 |    Inf 
955.61/955.65	c   924s|480000 |  4853 |  1627k|   3.4 |  98M|2461 |   - |5645 |  22k|   0 |   0 | 236k| 571k|6658 | 0.000000e+00 | 1.000000e-00 |    Inf 
976.62/976.64	c   945s|490000 |  4763 |  1666k|   3.4 |  97M|2461 |   - |5645 |  21k|   0 |   0 | 240k| 586k|6724 | 0.000000e+00 | 1.000000e-00 |    Inf 
997.21/997.23	c   965s|500000 |  4668 |  1703k|   3.4 |  96M|2461 |   1 |5645 |  19k|5645 | 250 | 245k| 600k|6789 | 0.000000e+00 | 1.000000e-00 |    Inf 
1017.81/1017.82	c   984s|510000 |  4553 |  1740k|   3.4 |  95M|2461 |   - |5645 |  18k|   0 |   0 | 250k| 614k|6854 | 0.000000e+00 | 1.000000e-00 |    Inf 
1040.11/1040.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1040.11/1040.18	c  1006s|520000 |  4541 |  1785k|   3.4 |  95M|2461 |   1 |5645 |  19k|5645 | 227 | 258k| 628k|6918 | 0.000000e+00 | 1.000000e-00 |    Inf 
1061.62/1061.65	c  1027s|530000 |  4404 |  1823k|   3.4 |  94M|2461 |   - |5645 |  19k|5645 | 201 | 264k| 642k|6992 | 0.000000e+00 | 1.000000e-00 |    Inf 
1083.72/1083.71	c  1048s|540000 |  4386 |  1864k|   3.5 |  94M|2461 |   1 |5645 |  19k|5645 | 229 | 269k| 655k|7051 | 0.000000e+00 | 1.000000e-00 |    Inf 
1104.71/1104.72	c  1069s|550000 |  4334 |  1906k|   3.5 |  94M|2461 |  10 |5645 |  18k|5645 | 223 | 273k| 670k|7106 | 0.000000e+00 | 1.000000e-00 |    Inf 
1127.71/1127.72	c  1091s|560000 |  4207 |  1945k|   3.5 |  93M|2461 |   1 |5645 |  19k|5645 | 217 | 278k| 683k|7163 | 0.000000e+00 | 1.000000e-00 |    Inf 
1152.20/1152.21	c  1115s|570000 |  4140 |  1983k|   3.5 |  92M|2461 |   - |5645 |  20k|   0 |   0 | 284k| 698k|7220 | 0.000000e+00 | 1.000000e-00 |    Inf 
1175.11/1175.13	c  1138s|580000 |  3935 |  2020k|   3.5 |  88M|2461 |   1 |5645 |  13k|5645 | 192 | 289k| 712k|7600 | 0.000000e+00 | 1.000000e-00 |    Inf 
1195.91/1195.92	c  1158s|590000 |  4006 |  2054k|   3.5 |  89M|2461 |   1 |5645 |  15k|5645 | 220 | 294k| 725k|7665 | 0.000000e+00 | 1.000000e-00 |    Inf 
1218.21/1218.23	c  1180s|600000 |  4035 |  2089k|   3.5 |  89M|2461 |  18 |5645 |  15k|5645 | 215 | 299k| 739k|7674 | 0.000000e+00 | 1.000000e-00 |    Inf 
1240.81/1240.89	c  1203s|610000 |  4104 |  2126k|   3.5 |  90M|2461 |   1 |5645 |  15k|5645 | 197 | 304k| 752k|7824 | 0.000000e+00 | 1.000000e-00 |    Inf 
1264.31/1264.34	c  1226s|620000 |  4330 |  2173k|   3.5 |  92M|2461 |   6 |5645 |  15k|5645 | 214 | 309k| 766k|7850 | 0.000000e+00 | 1.000000e-00 |    Inf 
1288.12/1288.11	c  1249s|630000 |  4865 |  2226k|   3.5 |  97M|2461 |   1 |5645 |  20k|5645 | 214 | 313k| 780k|7923 | 0.000000e+00 | 1.000000e-00 |    Inf 
1314.11/1314.12	c  1275s|640000 |  5353 |  2290k|   3.6 | 101M|2461 |   1 |5645 |  18k|5645 | 214 | 319k| 794k|7998 | 0.000000e+00 | 1.000000e-00 |    Inf 
1338.91/1338.92	c  1299s|650000 |  5535 |  2341k|   3.6 | 102M|2461 |   1 |5645 |  18k|5645 | 228 | 323k| 809k|8075 | 0.000000e+00 | 1.000000e-00 |    Inf 
1362.92/1362.92	c  1323s|660000 |  5644 |  2389k|   3.6 | 104M|2461 |  14 |5645 |  18k|5645 | 214 | 328k| 824k|8144 | 0.000000e+00 | 1.000000e-00 |    Inf 
1386.71/1386.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1386.71/1386.76	c  1346s|670000 |  5694 |  2436k|   3.6 | 105M|2461 |   7 |5645 |  19k|5645 | 214 | 331k| 839k|8204 | 0.000000e+00 | 1.000000e-00 |    Inf 
1410.32/1410.33	c  1370s|680000 |  5884 |  2485k|   3.7 | 107M|2461 |   - |5645 |  18k|   0 |   0 | 335k| 853k|8259 | 0.000000e+00 | 1.000000e-00 |    Inf 
1433.82/1433.86	c  1393s|690000 |  5936 |  2531k|   3.7 | 108M|2461 |  17 |5645 |  17k|5645 | 214 | 339k| 868k|8316 | 0.000000e+00 | 1.000000e-00 |    Inf 
1458.11/1458.19	c  1417s|700000 |  6086 |  2576k|   3.7 | 109M|2461 |   8 |5645 |  17k|5645 | 224 | 343k| 882k|8377 | 0.000000e+00 | 1.000000e-00 |    Inf 
1482.51/1482.57	c  1441s|710000 |  6186 |  2616k|   3.7 | 111M|2461 |   - |5645 |  18k|   0 |   0 | 347k| 896k|8432 | 0.000000e+00 | 1.000000e-00 |    Inf 
1506.62/1506.60	c  1465s|720000 |  6198 |  2658k|   3.7 | 112M|2461 |   - |5645 |  19k|   0 |   0 | 350k| 911k|8488 | 0.000000e+00 | 1.000000e-00 |    Inf 
1531.42/1531.44	c  1489s|730000 |  6188 |  2701k|   3.7 | 112M|2461 |  17 |5645 |  17k|5645 | 211 | 355k| 925k|8542 | 0.000000e+00 | 1.000000e-00 |    Inf 
1555.81/1555.89	c  1513s|740000 |  6197 |  2742k|   3.7 | 114M|2461 |   1 |5645 |  20k|5645 | 238 | 358k| 939k|8587 | 0.000000e+00 | 1.000000e-00 |    Inf 
1580.82/1580.89	c  1538s|750000 |  6176 |  2787k|   3.7 | 114M|2461 |   - |5645 |  19k|   0 |   0 | 362k| 953k|8633 | 0.000000e+00 | 1.000000e-00 |    Inf 
1605.02/1605.07	c  1562s|760000 |  6185 |  2829k|   3.7 | 115M|2461 |  20 |5645 |  20k|5645 | 229 | 366k| 968k|8678 | 0.000000e+00 | 1.000000e-00 |    Inf 
1629.32/1629.35	c  1586s|770000 |  6096 |  2871k|   3.7 | 115M|2461 |   - |5645 |  19k|   0 |   0 | 369k| 984k|8720 | 0.000000e+00 | 1.000000e-00 |    Inf 
1652.92/1652.91	c  1609s|780000 |  6191 |  2910k|   3.7 | 116M|2461 |  14 |5645 |  21k|5645 | 249 | 372k| 998k|8777 | 0.000000e+00 | 1.000000e-00 |    Inf 
1677.12/1677.14	c  1633s|790000 |  6261 |  2948k|   3.7 | 117M|2461 |   - |5645 |  21k|   0 |   0 | 375k|1013k|8829 | 0.000000e+00 | 1.000000e-00 |    Inf 
1702.42/1702.43	c  1658s|800000 |  6237 |  2984k|   3.7 | 117M|2461 |   - |5645 |  20k|   0 |   0 | 378k|1027k|8871 | 0.000000e+00 | 1.000000e-00 |    Inf 
1726.92/1726.94	c  1682s|810000 |  6193 |  3038k|   3.8 | 117M|2461 |   - |5645 |  18k|   0 |   0 | 382k|1043k|8930 | 0.000000e+00 | 1.000000e-00 |    Inf 
1751.13/1751.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1751.13/1751.16	c  1706s|820000 |  6225 |  3089k|   3.8 | 118M|2461 |   - |5645 |  18k|   0 |   0 | 386k|1058k|8986 | 0.000000e+00 | 1.000000e-00 |    Inf 
1775.23/1775.28	c  1729s|830000 |  6188 |  3135k|   3.8 | 118M|2461 |  21 |5645 |  18k|5645 | 214 | 389k|1073k|9027 | 0.000000e+00 | 1.000000e-00 |    Inf 
1797.62/1797.68	c  1751s|840000 |  6143 |  3182k|   3.8 | 119M|2461 |   1 |5645 |  19k|5645 | 214 | 394k|1088k|9070 | 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) : 1753.69
1800.03/1800.00	c Solving Nodes      : 840927
1800.03/1800.00	c Primal Bound       : +1.00000000000000e-00 (311 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       :    1753.69
1800.03/1800.08	c Original Problem   :
1800.03/1800.08	c   Problem name     : HOME/instance-2693043-1277930097.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-2693043-1277930097.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, 24253 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.01          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     530893          0          9        662          0          0     839174
1800.03/1800.08	c   indicator        :       2707          0     861236      82072          0        169    2904663          0          0          0
1800.03/1800.08	c   linear           :       2707          6    4514337     110042          0     312429   18755206     394378          0          0
1800.03/1800.08	c   logicor          :          0+         0    1280763          0          0      80966    1618621          0          0          0
1800.03/1800.08	c   bounddisjunction :          0+         0       1542          0          0          0         21          0          0          0
1800.03/1800.08	c   countsols        :          0          0          0      67653          0          0          0          0          0          0
1800.03/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.08	c   integral         :      14.10       0.00       0.00      14.10       0.00
1800.03/1800.08	c   indicator        :      21.18       0.00       8.72      12.46       0.00
1800.03/1800.08	c   linear           :     241.08       0.01     232.95       8.12       0.00
1800.03/1800.08	c   logicor          :     245.45       0.00     245.45       0.00       0.00
1800.03/1800.08	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.08	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.08	c   vbounds          :       0.42          2          0          0
1800.03/1800.08	c   rootredcost      :       0.36         61          0       2707
1800.03/1800.08	c   pseudoobj        :     215.94    4522043       6762    1970766
1800.03/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.08	c   propagation      :      24.27     400157     400051    2381207       31.9      19299       23.4          -
1800.03/1800.08	c   infeasible LP    :       4.60      11522      11522      86388       41.0        178       23.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.04        131        131        633       15.4        180        5.8          -
1800.03/1800.08	c   applied globally :          -          -          -    1090128       25.2          -          -          -
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          -          -          2          -    (maximal pool size: 74)
1800.03/1800.08	c   redcost          :      38.34     533063          0     849721          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         75          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          1          0
1800.03/1800.08	c   flowcover        :       0.02          4          0          0          2          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        :      13.84     420127          9        662          0          0     839174
1800.03/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   inference        :      11.97      67592          0          0          0          0     135184
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.16          -         61
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.46         56          0
1800.03/1800.08	c   intshifting      :       0.02          6          0
1800.03/1800.08	c   guideddiving     :       0.07         22          0
1800.03/1800.08	c   fracdiving       :       0.20        103          0
1800.03/1800.08	c   veclendiving     :       0.12        103          0
1800.03/1800.08	c   linesearchdiving :       0.23        103          0
1800.03/1800.08	c   pscostdiving     :       0.10        104          0
1800.03/1800.08	c   coefdiving       :       0.16        104          0
1800.03/1800.08	c   objpscostdiving  :       0.11        103          0
1800.03/1800.08	c   rootsoldiving    :       0.18        103          0
1800.03/1800.08	c   crossover        :       2.18         85          4
1800.03/1800.08	c   trivial          :       0.09          2          2
1800.03/1800.08	c   simplerounding   :       0.57     420767          0
1800.03/1800.08	c   zirounding       :       0.48       1000          0
1800.03/1800.08	c   rounding         :       1.87       9125          0
1800.03/1800.08	c   shifting         :       1.16       2795          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.06          0          0
1800.03/1800.08	c   trysol           :       2.04       3699        244
1800.03/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.08	c   dual LP          :     451.52     478068    3184140       6.66    7052.05
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.13         67       2222      33.16   17092.31
1800.03/1800.08	c   strong branching :      10.83       9083      99659      10.97    9202.12
1800.03/1800.08	c     (at root node) :          -         33       1884      57.09          -
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            :     840927
1800.03/1800.08	c   nodes (total)    :     840927
1800.03/1800.08	c   nodes left       :       6133
1800.03/1800.08	c   max depth        :       2461
1800.03/1800.08	c   max depth (total):       2461
1800.03/1800.08	c   backtracks       :      66770 (7.9%)
1800.03/1800.08	c   delayed cutoffs  :      61964
1800.03/1800.08	c   repropagations   :    2427507 (4100756 domain reductions, 58293 cutoffs)
1800.03/1800.08	c   avg switch length:       7.25
1800.03/1800.08	c   switching time   :     258.47
1800.03/1800.08	c Solution           :
1800.03/1800.08	c   Solutions found  :        311 (62 improvements)
1800.03/1800.08	c   First Solution   : +1.35640000000000e+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 201489 nodes, 372.25 seconds, depth 40, 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  :        183
1800.23/1800.27	c Time complete: 1800.29.

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-2693043-1277930097/watcher-2693043-1277930097 -o /tmp/evaluation-result-2693043-1277930097/solver-2693043-1277930097 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693043-1277930097.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: 1.92 1.98 1.99 3/196 28108
/proc/meminfo: memFree=31072544/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=10972 CPUtime=0
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 1665 0 0 0 0 0 0 0 22 0 1 0 166649227 11235328 1587 4089446400 4194304 9819077 140733947918640 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28108/statm: 2743 1589 392 1374 0 1364 0

[startup+0.0884999 s]
/proc/loadavg: 1.92 1.98 1.99 3/196 28108
/proc/meminfo: memFree=31072544/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=36404 CPUtime=0.07
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 8122 0 0 0 7 0 0 0 22 0 1 0 166649227 37277696 7689 4089446400 4194304 9819077 140733947918640 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 36404

[startup+0.100473 s]
/proc/loadavg: 1.92 1.98 1.99 3/196 28108
/proc/meminfo: memFree=31072544/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=36404 CPUtime=0.09
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 8122 0 0 0 9 0 0 0 22 0 1 0 166649227 37277696 7689 4089446400 4194304 9819077 140733947918640 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.300457 s]
/proc/loadavg: 1.92 1.98 1.99 3/196 28108
/proc/meminfo: memFree=31072544/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=52228 CPUtime=0.29
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 12356 0 0 0 26 3 0 0 18 0 1 0 166649227 53481472 11325 4089446400 4194304 9819077 140733947918640 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 13057 11360 673 1374 0 11678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52228

[startup+0.700382 s]
/proc/loadavg: 1.92 1.98 1.99 3/196 28108
/proc/meminfo: memFree=31072544/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=47096 CPUtime=0.69
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 27842 0 0 0 64 5 0 0 18 0 1 0 166649227 48226304 9981 4089446400 4194304 9819077 140733947918640 18446744073709551615 8875210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 11774 9981 697 1374 0 10395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47096

[startup+1.50025 s]
/proc/loadavg: 1.92 1.98 1.99 3/197 28109
/proc/meminfo: memFree=31035624/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=47640 CPUtime=1.49
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 43425 0 0 0 140 9 0 0 19 0 1 0 166649227 48783360 10230 4089446400 4194304 9819077 140733947918640 18446744073709551615 6003169 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 11910 10230 699 1374 0 10531 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47640

[startup+3.10096 s]
/proc/loadavg: 1.92 1.98 1.99 3/197 28109
/proc/meminfo: memFree=31033144/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=51544 CPUtime=3.09
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 63178 0 0 0 295 14 0 0 24 0 1 0 166649227 52781056 11268 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 12886 11268 700 1374 0 11507 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51544

[startup+6.3004 s]
/proc/loadavg: 1.93 1.98 1.99 3/197 28109
/proc/meminfo: memFree=31026572/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=60028 CPUtime=6.29
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 79562 0 0 0 605 24 0 0 25 0 1 0 166649227 61468672 13143 4089446400 4194304 9819077 140733947918640 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 15007 13143 700 1374 0 13628 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60028

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/197 28109
/proc/meminfo: memFree=31012532/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=69828 CPUtime=12.69
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 94587 0 0 0 1231 38 0 0 25 0 1 0 166649227 71503872 16058 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 17457 16058 700 1374 0 16078 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69828

[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.99 3/197 28109
/proc/meminfo: memFree=30994020/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=88756 CPUtime=25.49
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 106575 0 0 0 2476 73 0 0 25 0 1 0 166649227 90886144 20852 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 22189 20852 700 1374 0 20810 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88756

[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.99 3/197 28110
/proc/meminfo: memFree=30957596/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=125772 CPUtime=51.1
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 126395 0 0 0 4972 138 0 0 25 0 1 0 166649227 128790528 29883 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 31443 29883 700 1374 0 30064 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 125772

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/197 28111
/proc/meminfo: memFree=30897140/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=185832 CPUtime=102.3
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 327490 0 0 0 9948 282 0 0 25 0 1 0 166649227 190291968 44915 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 46458 44915 705 1374 0 45079 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 185832

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28113
/proc/meminfo: memFree=30799004/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=289412 CPUtime=162.3
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 573484 0 0 0 15754 476 0 0 25 0 1 0 166649227 296357888 69338 4089446400 4194304 9819077 140733947918640 18446744073709551615 6590521 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 72353 69338 717 1374 0 70974 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 289412

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28115
/proc/meminfo: memFree=30772292/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=308072 CPUtime=222.29
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 808256 0 0 0 21524 705 0 0 25 0 1 0 166649227 315465728 73840 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 77018 73840 725 1374 0 75639 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 308072

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28117
/proc/meminfo: memFree=30725752/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=314948 CPUtime=282.3
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 1027418 0 0 0 27310 920 0 0 25 0 1 0 166649227 322506752 75501 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 78737 75501 725 1374 0 77358 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 314948

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28118
/proc/meminfo: memFree=30672892/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=317652 CPUtime=342.3
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 1247704 0 0 0 33091 1139 0 0 25 0 1 0 166649227 325275648 76211 4089446400 4194304 9819077 140733947918640 18446744073709551615 4640638 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 79413 76211 725 1374 0 78034 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 317652

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28122
/proc/meminfo: memFree=30621328/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=323556 CPUtime=402.3
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 1415764 0 0 0 38891 1339 0 0 25 0 1 0 166649227 331321344 77696 4089446400 4194304 9819077 140733947918640 18446744073709551615 6589174 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 80889 77696 725 1374 0 79510 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 323556

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28124
/proc/meminfo: memFree=30571568/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=324604 CPUtime=462.3
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 1546506 0 0 0 44723 1507 0 0 25 0 1 0 166649227 332394496 77966 4089446400 4194304 9819077 140733947918640 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 81151 77966 725 1374 0 79772 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 324604

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28126
/proc/meminfo: memFree=30523272/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=325472 CPUtime=522.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 1686559 0 0 0 50529 1702 0 0 25 0 1 0 166649227 333283328 78196 4089446400 4194304 9819077 140733947918640 18446744073709551615 6669943 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 81368 78196 725 1374 0 79989 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 325472

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28128
/proc/meminfo: memFree=30476980/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=330712 CPUtime=582.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 1806698 0 0 0 56353 1878 0 0 25 0 1 0 166649227 338649088 79423 4089446400 4194304 9819077 140733947918640 18446744073709551615 4999754 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 82678 79423 725 1374 0 81299 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 330712

[startup+642.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 28129
/proc/meminfo: memFree=30461064/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=336556 CPUtime=642.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 1934260 0 0 0 62151 2080 0 0 25 0 1 0 166649227 344633344 80869 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 84139 80869 725 1374 0 82760 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 336556

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.47 2.19 2.07 3/197 28136
/proc/meminfo: memFree=30359436/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=345068 CPUtime=882.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 2389273 0 0 0 85332 2899 0 0 25 0 1 0 166649227 353349632 82938 4089446400 4194304 9819077 140733947918640 18446744073709551615 6667864 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 86267 82938 725 1374 0 84888 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 345068

[startup+942.301 s]
/proc/loadavg: 2.49 2.25 2.09 3/197 28137
/proc/meminfo: memFree=30313864/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=346704 CPUtime=942.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 2499243 0 0 0 91136 3095 0 0 25 0 1 0 166649227 355024896 83337 4089446400 4194304 9819077 140733947918640 18446744073709551615 7302659 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 86676 83337 725 1374 0 85297 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 346704

[startup+1002.3 s]
/proc/loadavg: 2.61 2.31 2.12 3/197 28138
/proc/meminfo: memFree=30269740/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=348200 CPUtime=1002.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 2610914 0 0 0 96942 3289 0 0 25 0 1 0 166649227 356556800 83885 4089446400 4194304 9819077 140733947918640 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 87222 83888 725 1374 0 85843 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 348200

[startup+1062.3 s]
/proc/loadavg: 2.54 2.35 2.15 3/197 28140
/proc/meminfo: memFree=30214648/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=349260 CPUtime=1062.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 2705521 0 0 0 102758 3473 0 0 25 0 1 0 166649227 357642240 83955 4089446400 4194304 9819077 140733947918640 18446744073709551615 6589128 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/28108/statm: 87315 83955 725 1374 0 85936 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 349260

[startup+1122.3 s]
/proc/loadavg: 2.45 2.37 2.17 4/200 28211
/proc/meminfo: memFree=31035628/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=349344 CPUtime=1122.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 2802209 0 0 0 108579 3652 0 0 25 0 1 0 166649227 357728256 83976 4089446400 4194304 9819077 140733947918640 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 87336 83976 725 1374 0 85957 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 349344

[startup+1182.3 s]
/proc/loadavg: 2.79 2.49 2.22 4/200 28215
/proc/meminfo: memFree=31018084/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=349484 CPUtime=1182.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 2907189 0 0 0 114492 3739 0 0 25 0 1 0 166649227 357871616 84012 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 87371 84012 725 1374 0 85992 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 349484

[startup+1242.3 s]
/proc/loadavg: 3.22 2.64 2.29 4/200 28218
/proc/meminfo: memFree=31001884/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=349484 CPUtime=1242.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 2994848 0 0 0 120405 3826 0 0 25 0 1 0 166649227 357871616 84012 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 87371 84012 725 1374 0 85992 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 349484

[startup+1302.3 s]
/proc/loadavg: 3.11 2.72 2.33 4/200 28219
/proc/meminfo: memFree=30981736/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=350456 CPUtime=1302.32
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3099960 0 0 0 126321 3911 0 0 25 0 1 0 166649227 358866944 84231 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 87614 84231 725 1374 0 86235 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 350456

[startup+1362.3 s]
/proc/loadavg: 2.96 2.75 2.37 4/200 28221
/proc/meminfo: memFree=30970512/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=351776 CPUtime=1362.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3204780 0 0 0 132235 3996 0 0 25 0 1 0 166649227 360218624 84621 4089446400 4194304 9819077 140733947918640 18446744073709551615 4923902 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 87944 84621 725 1374 0 86565 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 351776

[startup+1422.31 s]
/proc/loadavg: 2.91 2.78 2.40 4/200 28223
/proc/meminfo: memFree=30953720/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=355956 CPUtime=1422.32
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3308399 0 0 0 138146 4086 0 0 25 0 1 0 166649227 364498944 85659 4089446400 4194304 9819077 140733947918640 18446744073709551615 5001215 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 88989 85659 725 1374 0 87610 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 355956

[startup+1482.3 s]
/proc/loadavg: 2.92 2.80 2.43 4/200 28227
/proc/meminfo: memFree=30937280/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=357716 CPUtime=1482.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3406498 0 0 0 144055 4176 0 0 25 0 1 0 166649227 366301184 86149 4089446400 4194304 9819077 140733947918640 18446744073709551615 6023835 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 89429 86149 725 1374 0 88050 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 357716

[startup+1542.3 s]
/proc/loadavg: 2.88 2.80 2.45 3/200 28228
/proc/meminfo: memFree=30926116/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=359624 CPUtime=1542.32
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3499745 0 0 0 149976 4256 0 0 25 0 1 0 166649227 368254976 86663 4089446400 4194304 9819077 140733947918640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 89906 86663 725 1374 0 88527 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 359624

[startup+1602.3 s]
/proc/loadavg: 2.82 2.81 2.47 3/200 28238
/proc/meminfo: memFree=30915380/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=362248 CPUtime=1602.31
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3595800 0 0 0 155889 4342 0 0 25 0 1 0 166649227 370941952 87327 4089446400 4194304 9819077 140733947918640 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 90562 87327 725 1374 0 89183 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 362248

[startup+1662.3 s]
/proc/loadavg: 2.68 2.78 2.48 4/200 28240
/proc/meminfo: memFree=30909728/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=363480 CPUtime=1662.32
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3690550 0 0 0 161806 4426 0 0 25 0 1 0 166649227 372203520 87643 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 90870 87643 725 1374 0 89491 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 363480

[startup+1722.3 s]
/proc/loadavg: 2.66 2.75 2.49 3/200 28242
/proc/meminfo: memFree=30899244/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=366216 CPUtime=1722.33
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3789849 0 0 0 167719 4514 0 0 25 0 1 0 166649227 375005184 88259 4089446400 4194304 9819077 140733947918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 91554 88259 725 1374 0 90175 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 366216

[startup+1782.3 s]
/proc/loadavg: 2.82 2.77 2.50 3/200 28244
/proc/meminfo: memFree=30890984/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=369268 CPUtime=1782.32
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3899364 0 0 0 173626 4606 0 0 25 0 1 0 166649227 378130432 88883 4089446400 4194304 9819077 140733947918640 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 92317 88883 725 1374 0 90938 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 369268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.80 2.77 2.51 3/200 28244
/proc/meminfo: memFree=30889352/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=369244 CPUtime=1800.03
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3931172 0 0 0 175372 4631 0 0 25 0 1 0 166649227 378105856 88886 4089446400 4194304 9819077 140733947918640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28108/statm: 92311 88886 725 1374 0 90932 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 369244

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.80 2.77 2.51 3/200 28244
/proc/meminfo: memFree=30889352/32951124 swapFree=67111528/67111528
[pid=28108] ppid=28106 vsize=348768 CPUtime=1800.23
/proc/28108/stat : 28108 (pbscip.linux.x8) R 28106 28108 27867 0 -1 4202496 3931190 0 0 0 175392 4631 0 0 18 0 1 0 166649227 357138432 83767 4089446400 4194304 9819077 140733947918640 18446744073709551615 6179984 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28108/statm: 87192 83767 726 1374 0 85813 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 348768

Child status: 0
Real time (s): 1800.27
CPU time (s): 1800.3
CPU user time (s): 1753.98
CPU system time (s): 46.327
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 369680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.98
system time used= 46.327
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3931194
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= 4
involuntary context switches= 1447

runsolver used 2.46162 second user time and 5.79812 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 22:34:57
IDJOB=2693043
IDBENCH=79303
IDSOLVER=1205
FILE ID=node119/2693043-1277930097
PBS_JOBID= 11197419
Free space on /tmp= 74212 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.1900545610--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-2693043-1277930097/watcher-2693043-1277930097 -o /tmp/evaluation-result-2693043-1277930097/solver-2693043-1277930097 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693043-1277930097.wbo -t 1800 -m 3800

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

MD5SUM BENCH= aacdee42f12f02195344334122667810
RANDOM SEED=1080130337

node119.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.802
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.60
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.802
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.802
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.802
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.802
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.73
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.802
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.802
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.802
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:      31073320 kB
Buffers:        215740 kB
Cached:         958124 kB
SwapCached:          0 kB
Active:        1077224 kB
Inactive:       655048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31073320 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6264 kB
Writeback:           0 kB
AnonPages:      558436 kB
Mapped:          20300 kB
Slab:            80024 kB
PageTables:       5800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1655056 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= 74204 MiB
End job on node119 at 2010-06-30 23:04:59