Trace number 2686944

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.13 1800.74

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12013_5.std.opb
MD5SUM5495138de3d55ac13cf4e73f1acf7a00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark93
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234296
Number of constraints which are clauses233096
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint95
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2686944-1278444816.opb.
0.00/0.00	c Instance file HOME/instance-2686944-1278444816.opb
0.00/0.00	c File size is 7673573 bytes.
1.38/1.47	c Highest Coefficient sum: 512
1.38/1.47	c ============================[ Problem Statistics ]=============================
1.38/1.47	c |                                                                             |
1.38/1.47	c |  Parsing time:          1.44         s                                      |
1.38/1.47	c |  Number Variables:      72842                                               |
1.38/1.47	c |  Number Clauses:        233096                                              |
1.38/1.47	c |  Number Cardinality:    0                                                   |
1.38/1.47	c |  Number PB Constraints: 1200                                                |
98.25/98.39	c ============================[ Search Statistics ]==============================
98.25/98.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
98.25/98.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
98.25/98.39	c ===============================================================================
98.25/98.39	c |         0 |   56857   235598   517946 |    78098        0    nan |  0.000 % |
98.35/98.45	c ===============================================================================
98.35/98.45	c New solution: 300
98.35/98.45	o 300
98.35/98.45	c Elapsed CPU time: 98.2801 s	Remaining CPU time: 81.7199 s
98.35/98.45	c ===============================================================================
98.35/98.45	c |         0 |   56857   235599   518246 |    78533        0    nan |  0.000 % |
98.45/98.51	c |       103 |   56850   235599   518246 |    86386      103     33 | 22.111 % |
98.45/98.57	c ===============================================================================
98.45/98.57	c New solution: 299
98.45/98.57	o 299
98.45/98.57	c Elapsed CPU time: 98.391 s	Remaining CPU time: 81.609 s
98.45/98.57	c ===============================================================================
98.45/98.57	c |       103 |   56736   235600   518546 |    78533      103     33 | 22.111 % |
98.55/98.62	c ===============================================================================
98.55/98.62	c New solution: 298
98.55/98.62	o 298
98.55/98.62	c Elapsed CPU time: 98.447 s	Remaining CPU time: 81.553 s
98.55/98.62	c ===============================================================================
98.55/98.62	c |       104 |   56607   235601   518846 |    78533      104     32 | 22.111 % |
98.55/98.69	c ===============================================================================
98.55/98.69	c New solution: 297
98.55/98.69	o 297
98.55/98.69	c Elapsed CPU time: 98.51 s	Remaining CPU time: 81.49 s
98.55/98.69	c ===============================================================================
98.55/98.69	c |       105 |   56466   235602   519146 |    78534      105     32 | 22.111 % |
98.64/98.76	c |       206 |   56462   235602   519146 |    86387      206     46 | 22.700 % |
98.75/98.81	c ===============================================================================
98.75/98.81	c New solution: 296
98.75/98.81	o 296
98.75/98.81	c Elapsed CPU time: 98.624 s	Remaining CPU time: 81.376 s
98.75/98.81	c ===============================================================================
98.75/98.81	c |       207 |   56307   235603   519446 |    78534      207     46 | 22.700 % |
98.75/98.88	c ===============================================================================
98.75/98.88	c New solution: 295
98.75/98.88	o 295
98.75/98.88	c Elapsed CPU time: 98.694 s	Remaining CPU time: 81.306 s
98.75/98.88	c ===============================================================================
98.75/98.88	c |       216 |   56138   235604   519746 |    78534      216     45 | 22.700 % |
98.85/98.94	c ===============================================================================
98.85/98.94	c New solution: 294
98.85/98.94	o 294
98.85/98.94	c Elapsed CPU time: 98.759 s	Remaining CPU time: 81.241 s
98.85/98.94	c ===============================================================================
98.85/98.94	c |       219 |   55955   235605   520046 |    78535      166     30 | 22.700 % |
98.85/99.00	c ===============================================================================
98.85/99.00	c New solution: 293
98.85/99.00	o 293
98.85/99.00	c Elapsed CPU time: 98.817 s	Remaining CPU time: 81.183 s
98.85/99.00	c ===============================================================================
98.85/99.00	c |       225 |   55758   235606   520346 |    78535      172     31 | 22.700 % |
98.96/99.06	c ===============================================================================
98.96/99.06	c New solution: 292
98.96/99.06	o 292
98.96/99.06	c Elapsed CPU time: 98.879 s	Remaining CPU time: 81.121 s
98.96/99.06	c ===============================================================================
98.96/99.06	c |       227 |   55542   235607   520646 |    78535      174     31 | 22.700 % |
99.05/99.12	c ===============================================================================
99.05/99.12	c New solution: 291
99.05/99.12	o 291
99.05/99.12	c Elapsed CPU time: 98.94 s	Remaining CPU time: 81.06 s
99.05/99.12	c ===============================================================================
99.05/99.12	c |       227 |   55317   235608   520946 |    78536      174     31 | 22.700 % |
99.05/99.19	c ===============================================================================
99.05/99.19	c New solution: 290
99.05/99.19	o 290
99.05/99.19	c Elapsed CPU time: 99.0019 s	Remaining CPU time: 80.9981 s
99.05/99.19	c ===============================================================================
99.05/99.19	c |       227 |   55088   235609   521246 |    78536      174     31 | 22.700 % |
99.15/99.25	c ===============================================================================
99.15/99.25	c New solution: 289
99.15/99.25	o 289
99.15/99.25	c Elapsed CPU time: 99.0659 s	Remaining CPU time: 80.9341 s
99.15/99.25	c ===============================================================================
99.15/99.25	c |       236 |   54846   235610   521546 |    78536      183     31 | 22.700 % |
99.25/99.30	c ===============================================================================
99.25/99.30	c New solution: 288
99.25/99.30	o 288
99.25/99.30	c Elapsed CPU time: 99.1209 s	Remaining CPU time: 80.8791 s
99.25/99.30	c ===============================================================================
99.25/99.30	c |       246 |   54604   235611   521846 |    78537      193     32 | 22.700 % |
99.25/99.36	c ===============================================================================
99.25/99.36	c New solution: 287
99.25/99.36	o 287
99.25/99.36	c Elapsed CPU time: 99.1729 s	Remaining CPU time: 80.8271 s
99.25/99.36	c ===============================================================================
99.25/99.36	c |       259 |   54362   235612   522146 |    78537      206     32 | 22.700 % |
99.35/99.42	c ===============================================================================
99.35/99.42	c New solution: 286
99.35/99.42	o 286
99.35/99.42	c Elapsed CPU time: 99.2319 s	Remaining CPU time: 80.7681 s
99.35/99.42	c ===============================================================================
99.35/99.42	c |       263 |   54120   235613   522446 |    78537      210     32 | 22.700 % |
99.35/99.48	c ===============================================================================
99.35/99.48	c New solution: 285
99.35/99.48	o 285
99.35/99.48	c Elapsed CPU time: 99.2929 s	Remaining CPU time: 80.7071 s
99.35/99.48	c ===============================================================================
99.35/99.48	c |       268 |   53878   235614   522746 |    78538      215     32 | 22.700 % |
99.44/99.55	c ===============================================================================
99.44/99.55	c New solution: 284
99.44/99.55	o 284
99.44/99.55	c Elapsed CPU time: 99.3599 s	Remaining CPU time: 80.6401 s
99.44/99.55	c ===============================================================================
99.44/99.55	c |       271 |   53636   235615   523046 |    78538      143     31 | 22.700 % |
99.54/99.60	c ===============================================================================
99.54/99.60	c New solution: 283
99.54/99.60	o 283
99.54/99.60	c Elapsed CPU time: 99.4179 s	Remaining CPU time: 80.5821 s
99.54/99.60	c ===============================================================================
99.54/99.60	c |       274 |   53394   235616   523346 |    78538      146     31 | 22.700 % |
99.54/99.65	c ===============================================================================
99.54/99.65	c New solution: 282
99.54/99.66	o 282
99.54/99.66	c Elapsed CPU time: 99.4689 s	Remaining CPU time: 80.5311 s
99.54/99.66	c ===============================================================================
99.54/99.66	c |       280 |   53152   235617   523646 |    78539      152     31 | 22.700 % |
99.64/99.71	c ===============================================================================
99.64/99.71	c New solution: 281
99.64/99.71	o 281
99.64/99.71	c Elapsed CPU time: 99.5279 s	Remaining CPU time: 80.4721 s
99.64/99.71	c ===============================================================================
99.64/99.71	c |       282 |   52910   235618   523946 |    78539      154     30 | 22.700 % |
99.64/99.76	c ===============================================================================
99.64/99.76	c New solution: 280
99.64/99.76	o 280
99.64/99.76	c Elapsed CPU time: 99.5759 s	Remaining CPU time: 80.4241 s
99.64/99.76	c ===============================================================================
99.64/99.76	c |       289 |   52668   235619   524246 |    78539      161     30 | 22.700 % |
99.74/99.82	c ===============================================================================
99.74/99.82	c New solution: 279
99.74/99.82	o 279
99.74/99.82	c Elapsed CPU time: 99.6329 s	Remaining CPU time: 80.3671 s
99.74/99.82	c ===============================================================================
99.74/99.82	c |       290 |   52426   235620   524546 |    78540      162     30 | 22.700 % |
99.74/99.88	c ===============================================================================
99.74/99.88	c New solution: 278
99.74/99.88	o 278
99.74/99.88	c Elapsed CPU time: 99.6898 s	Remaining CPU time: 80.3102 s
99.74/99.88	c ===============================================================================
99.74/99.88	c |       292 |   52184   235621   524846 |    78540      164     30 | 22.700 % |
99.84/99.93	c ===============================================================================
99.84/99.93	c New solution: 277
99.84/99.93	o 277
99.84/99.93	c Elapsed CPU time: 99.7448 s	Remaining CPU time: 80.2552 s
99.84/99.93	c ===============================================================================
99.84/99.93	c |       292 |   51942   235622   525146 |    78540      164     30 | 22.700 % |
99.95/100.00	c ===============================================================================
99.95/100.00	c New solution: 276
99.95/100.00	o 276
99.95/100.00	c Elapsed CPU time: 99.8158 s	Remaining CPU time: 80.1842 s
99.95/100.00	c ===============================================================================
99.95/100.00	c |       297 |   51700   235623   525446 |    78541      169     30 | 22.700 % |
99.95/100.06	c ===============================================================================
99.95/100.06	c New solution: 275
99.95/100.06	o 275
99.95/100.06	c Elapsed CPU time: 99.8778 s	Remaining CPU time: 80.1222 s
99.95/100.06	c ===============================================================================
99.95/100.06	c |       298 |   51458   235624   525746 |    78541      134     31 | 22.700 % |
100.05/100.12	c ===============================================================================
100.05/100.12	c New solution: 274
100.05/100.12	o 274
100.05/100.12	c Elapsed CPU time: 99.9348 s	Remaining CPU time: 80.0652 s
100.05/100.12	c ===============================================================================
100.05/100.12	c |       299 |   51216   235625   526046 |    78541      135     30 | 22.700 % |
100.05/100.18	c ===============================================================================
100.05/100.18	c New solution: 273
100.05/100.19	o 273
100.05/100.19	c Elapsed CPU time: 99.9968 s	Remaining CPU time: 80.0032 s
100.05/100.19	c ===============================================================================
100.05/100.19	c |       306 |   50974   235626   526346 |    78542      142     30 | 22.700 % |
100.14/100.24	c ===============================================================================
100.14/100.24	c New solution: 272
100.14/100.24	o 272
100.14/100.24	c Elapsed CPU time: 100.054 s	Remaining CPU time: 79.9462 s
100.14/100.24	c ===============================================================================
100.14/100.24	c |       306 |   50732   235627   526646 |    78542      142     30 | 22.700 % |
100.24/100.30	c ===============================================================================
100.24/100.30	c New solution: 271
100.24/100.30	o 271
100.24/100.30	c Elapsed CPU time: 100.111 s	Remaining CPU time: 79.8892 s
100.24/100.30	c ===============================================================================
100.24/100.30	c |       308 |   50490   235628   526946 |    78542      144     30 | 22.700 % |
100.24/100.36	c ===============================================================================
100.24/100.36	c New solution: 270
100.24/100.36	o 270
100.24/100.36	c Elapsed CPU time: 100.168 s	Remaining CPU time: 79.8322 s
100.24/100.36	c ===============================================================================
100.24/100.36	c |       309 |   50248   235629   527246 |    78543      145     30 | 22.700 % |
100.34/100.41	c ===============================================================================
100.34/100.41	c New solution: 269
100.34/100.41	o 269
100.34/100.41	c Elapsed CPU time: 100.225 s	Remaining CPU time: 79.7752 s
100.34/100.41	c ===============================================================================
100.34/100.41	c |       309 |   50006   235630   527546 |    78543      145     30 | 22.700 % |
100.34/100.47	c ===============================================================================
100.34/100.47	c New solution: 268
100.34/100.47	o 268
100.34/100.47	c Elapsed CPU time: 100.279 s	Remaining CPU time: 79.7212 s
100.34/100.47	c ===============================================================================
100.34/100.47	c |       313 |   49764   235631   527846 |    78543      149     30 | 22.700 % |
100.45/100.52	c ===============================================================================
100.45/100.52	c New solution: 267
100.45/100.52	o 267
100.45/100.52	c Elapsed CPU time: 100.334 s	Remaining CPU time: 79.6663 s
100.45/100.52	c ===============================================================================
100.45/100.52	c |       313 |   49522   235632   528146 |    78544      149     30 | 22.700 % |
100.45/100.58	c ===============================================================================
100.45/100.58	c New solution: 266
100.45/100.58	o 266
100.45/100.58	c Elapsed CPU time: 100.392 s	Remaining CPU time: 79.6083 s
100.45/100.58	c ===============================================================================
100.45/100.58	c |       315 |   49280   235633   528446 |    78544      151     29 | 22.700 % |
100.55/100.64	c ===============================================================================
100.55/100.64	c New solution: 265
100.55/100.64	o 265
100.55/100.64	c Elapsed CPU time: 100.449 s	Remaining CPU time: 79.5513 s
100.55/100.64	c ===============================================================================
100.55/100.64	c |       317 |   49038   235634   528746 |    78544      123     30 | 22.700 % |
100.65/100.70	c ===============================================================================
100.65/100.70	c New solution: 264
100.65/100.70	o 264
100.65/100.70	c Elapsed CPU time: 100.505 s	Remaining CPU time: 79.4953 s
100.65/100.70	c ===============================================================================
100.65/100.70	c |       318 |   48796   235635   529046 |    78545      124     30 | 22.700 % |
100.65/100.75	c ===============================================================================
100.65/100.75	c New solution: 263
100.65/100.75	o 263
100.65/100.75	c Elapsed CPU time: 100.561 s	Remaining CPU time: 79.4393 s
100.65/100.75	c ===============================================================================
100.65/100.75	c |       321 |   48554   235636   529346 |    78545      127     29 | 22.700 % |
100.75/100.81	c ===============================================================================
100.75/100.81	c New solution: 262
100.75/100.81	o 262
100.75/100.81	c Elapsed CPU time: 100.614 s	Remaining CPU time: 79.3863 s
100.75/100.81	c ===============================================================================
100.75/100.81	c |       327 |   48312   235637   529646 |    78545      133     29 | 22.700 % |
100.75/100.86	c ===============================================================================
100.75/100.86	c New solution: 261
100.75/100.86	o 261
100.75/100.86	c Elapsed CPU time: 100.67 s	Remaining CPU time: 79.3303 s
100.75/100.86	c ===============================================================================
100.75/100.86	c |       332 |   48070   235638   529946 |    78546      138     28 | 22.700 % |
100.85/100.92	c ===============================================================================
100.85/100.92	c New solution: 260
100.85/100.92	o 260
100.85/100.92	c Elapsed CPU time: 100.724 s	Remaining CPU time: 79.2763 s
100.85/100.92	c ===============================================================================
100.85/100.92	c |       347 |   47828   235639   530246 |    78546      153     28 | 22.700 % |
100.85/100.98	c ===============================================================================
100.85/100.98	c New solution: 259
100.85/100.98	o 259
100.85/100.98	c Elapsed CPU time: 100.786 s	Remaining CPU time: 79.2143 s
100.85/100.98	c ===============================================================================
100.85/100.98	c |       393 |   47586   235640   530546 |    78546      199     31 | 22.700 % |
100.95/101.03	c ===============================================================================
100.95/101.03	c New solution: 258
100.95/101.03	o 258
100.95/101.03	c Elapsed CPU time: 100.836 s	Remaining CPU time: 79.1643 s
100.95/101.03	c ===============================================================================
100.95/101.03	c |       399 |   47344   235641   530846 |    78547      205     31 | 22.700 % |
100.95/101.09	c ===============================================================================
100.95/101.09	c New solution: 257
100.95/101.09	o 257
100.95/101.09	c Elapsed CPU time: 100.891 s	Remaining CPU time: 79.1093 s
100.95/101.09	c ===============================================================================
100.95/101.09	c |       400 |   47102   235642   531146 |    78547      206     31 | 22.700 % |
101.05/101.14	c ===============================================================================
101.05/101.14	c New solution: 256
101.05/101.14	o 256
101.05/101.14	c Elapsed CPU time: 100.946 s	Remaining CPU time: 79.0543 s
101.05/101.14	c ===============================================================================
101.05/101.14	c |       404 |   46860   235643   531446 |    78547      210     30 | 22.700 % |
101.05/101.19	c ===============================================================================
101.05/101.19	c New solution: 255
101.05/101.19	o 255
101.05/101.19	c Elapsed CPU time: 100.996 s	Remaining CPU time: 79.0044 s
101.05/101.19	c ===============================================================================
101.05/101.19	c |       414 |   46618   235644   531746 |    78548      164     30 | 22.700 % |
101.15/101.25	c ===============================================================================
101.15/101.25	c New solution: 254
101.15/101.25	o 254
101.15/101.25	c Elapsed CPU time: 101.05 s	Remaining CPU time: 78.9504 s
101.15/101.25	c ===============================================================================
101.15/101.25	c |       415 |   46376   235645   532046 |    78548      165     30 | 22.700 % |
101.24/101.30	c ===============================================================================
101.24/101.30	c New solution: 253
101.24/101.30	o 253
101.24/101.30	c Elapsed CPU time: 101.098 s	Remaining CPU time: 78.9024 s
101.24/101.30	c ===============================================================================
101.24/101.30	c |       423 |   46134   235646   532346 |    78548      173     31 | 22.700 % |
101.24/101.35	c ===============================================================================
101.24/101.35	c New solution: 252
101.24/101.35	o 252
101.24/101.35	c Elapsed CPU time: 101.152 s	Remaining CPU time: 78.8484 s
101.24/101.35	c ===============================================================================
101.24/101.35	c |       423 |   45892   235647   532646 |    78549      173     31 | 22.700 % |
101.34/101.41	c ===============================================================================
101.34/101.41	c New solution: 251
101.34/101.41	o 251
101.34/101.41	c Elapsed CPU time: 101.207 s	Remaining CPU time: 78.7934 s
101.34/101.41	c ===============================================================================
101.34/101.41	c |       425 |   45650   235648   532946 |    78549      175     30 | 22.700 % |
101.34/101.46	c ===============================================================================
101.34/101.46	c New solution: 250
101.34/101.46	o 250
101.34/101.46	c Elapsed CPU time: 101.262 s	Remaining CPU time: 78.7384 s
101.34/101.46	c ===============================================================================
101.34/101.46	c |       427 |   45408   235649   533246 |    78549      177     30 | 22.700 % |
101.45/101.50	c ===============================================================================
101.45/101.50	c New solution: 249
101.45/101.50	o 249
101.45/101.50	c Elapsed CPU time: 101.305 s	Remaining CPU time: 78.6954 s
101.45/101.50	c ===============================================================================
101.45/101.50	c |       429 |   45166   235650   533546 |    78550      179     30 | 22.700 % |
101.45/101.55	c ===============================================================================
101.45/101.55	c New solution: 248
101.45/101.55	o 248
101.45/101.55	c Elapsed CPU time: 101.348 s	Remaining CPU time: 78.6524 s
101.45/101.55	c ===============================================================================
101.45/101.55	c |       432 |   44924   235651   533846 |    78550      182     30 | 22.700 % |
101.55/101.60	c ===============================================================================
101.55/101.60	c New solution: 247
101.55/101.60	o 247
101.55/101.60	c Elapsed CPU time: 101.402 s	Remaining CPU time: 78.5984 s
101.55/101.60	c ===============================================================================
101.55/101.60	c |       434 |   44682   235652   534146 |    78550      184     30 | 22.700 % |
101.55/101.65	c ===============================================================================
101.55/101.65	c New solution: 246
101.55/101.65	o 246
101.55/101.65	c Elapsed CPU time: 101.447 s	Remaining CPU time: 78.5534 s
101.55/101.65	c ===============================================================================
101.55/101.65	c |       437 |   44440   235653   534446 |    78551      187     30 | 22.700 % |
101.65/101.70	c ===============================================================================
101.65/101.70	c New solution: 245
101.65/101.70	o 245
101.65/101.70	c Elapsed CPU time: 101.503 s	Remaining CPU time: 78.4974 s
101.65/101.70	c ===============================================================================
101.65/101.70	c |       438 |   44198   235654   534746 |    78551      188     30 | 22.700 % |
101.65/101.76	c ===============================================================================
101.65/101.76	c New solution: 244
101.65/101.76	o 244
101.65/101.76	c Elapsed CPU time: 101.554 s	Remaining CPU time: 78.4464 s
101.65/101.76	c ===============================================================================
101.65/101.76	c |       439 |   43956   235655   535046 |    78551      189     30 | 22.700 % |
101.75/101.81	c ===============================================================================
101.75/101.81	c New solution: 243
101.75/101.81	o 243
101.75/101.81	c Elapsed CPU time: 101.61 s	Remaining CPU time: 78.3904 s
101.75/101.81	c ===============================================================================
101.75/101.81	c |       441 |   43714   235656   535346 |    78552      126     30 | 22.700 % |
101.75/101.87	c ===============================================================================
101.75/101.87	c New solution: 242
101.75/101.87	o 242
101.75/101.87	c Elapsed CPU time: 101.664 s	Remaining CPU time: 78.3365 s
101.75/101.87	c ===============================================================================
101.75/101.87	c |       443 |   43472   235657   535646 |    78552      128     30 | 22.700 % |
101.85/101.92	c ===============================================================================
101.85/101.92	c New solution: 241
101.85/101.92	o 241
101.85/101.92	c Elapsed CPU time: 101.718 s	Remaining CPU time: 78.2825 s
101.85/101.92	c ===============================================================================
101.85/101.92	c |       449 |   43230   235658   535946 |    78552      134     29 | 22.700 % |
101.85/101.97	c ===============================================================================
101.85/101.97	c New solution: 240
101.85/101.97	o 240
101.85/101.97	c Elapsed CPU time: 101.77 s	Remaining CPU time: 78.2305 s
101.85/101.97	c ===============================================================================
101.85/101.97	c |       450 |   42988   235659   536246 |    78553      135     29 | 22.700 % |
101.95/102.02	c ===============================================================================
101.95/102.02	c New solution: 239
101.95/102.02	o 239
101.95/102.02	c Elapsed CPU time: 101.821 s	Remaining CPU time: 78.1795 s
101.95/102.02	c ===============================================================================
101.95/102.02	c |       452 |   42746   235660   536546 |    78553      137     29 | 22.700 % |
101.95/102.08	c ===============================================================================
101.95/102.08	c New solution: 238
101.95/102.08	o 238
101.95/102.08	c Elapsed CPU time: 101.875 s	Remaining CPU time: 78.1255 s
101.95/102.08	c ===============================================================================
101.95/102.08	c |       455 |   42504   235661   536846 |    78553      140     29 | 22.700 % |
102.05/102.13	c ===============================================================================
102.05/102.13	c New solution: 237
102.05/102.13	o 237
102.05/102.13	c Elapsed CPU time: 101.921 s	Remaining CPU time: 78.0795 s
102.05/102.13	c ===============================================================================
102.05/102.13	c |       462 |   42262   235662   537146 |    78554      147     28 | 22.700 % |
102.05/102.18	c |       563 |   42244   235662   537146 |    86409      248     40 | 42.314 % |
102.15/102.23	c ===============================================================================
102.15/102.23	c New solution: 236
102.15/102.23	o 236
102.15/102.23	c Elapsed CPU time: 102.021 s	Remaining CPU time: 77.9785 s
102.15/102.23	c ===============================================================================
102.15/102.23	c |       567 |   42020   235663   537446 |    78554      252     39 | 42.314 % |
102.15/102.28	c ===============================================================================
102.15/102.28	c New solution: 235
102.15/102.28	o 235
102.15/102.28	c Elapsed CPU time: 102.072 s	Remaining CPU time: 77.9275 s
102.15/102.28	c ===============================================================================
102.15/102.28	c |       569 |   41778   235664   537746 |    78554      254     39 | 42.314 % |
102.25/102.33	c ===============================================================================
102.25/102.33	c New solution: 234
102.25/102.33	o 234
102.25/102.33	c Elapsed CPU time: 102.122 s	Remaining CPU time: 77.8775 s
102.25/102.33	c ===============================================================================
102.25/102.33	c |       571 |   41536   235665   538046 |    78555      256     39 | 42.314 % |
102.25/102.38	c ===============================================================================
102.25/102.38	c New solution: 233
102.25/102.38	o 233
102.25/102.38	c Elapsed CPU time: 102.173 s	Remaining CPU time: 77.8265 s
102.25/102.38	c ===============================================================================
102.25/102.38	c |       572 |   41294   235666   538346 |    78555      257     39 | 42.314 % |
102.35/102.43	c ===============================================================================
102.35/102.43	c New solution: 232
102.35/102.43	o 232
102.35/102.43	c Elapsed CPU time: 102.224 s	Remaining CPU time: 77.7755 s
102.35/102.43	c ===============================================================================
102.35/102.43	c |       575 |   41052   235667   538646 |    78555      143     30 | 42.314 % |
102.35/102.48	c ===============================================================================
102.35/102.48	c New solution: 231
102.35/102.48	o 231
102.35/102.48	c Elapsed CPU time: 102.273 s	Remaining CPU time: 77.7265 s
102.35/102.48	c ===============================================================================
102.35/102.48	c |       578 |   40810   235668   538946 |    78556      146     30 | 42.314 % |
102.44/102.53	c ===============================================================================
102.44/102.53	c New solution: 230
102.44/102.53	o 230
102.44/102.53	c Elapsed CPU time: 102.323 s	Remaining CPU time: 77.6766 s
102.44/102.53	c ===============================================================================
102.44/102.53	c |       582 |   40568   235669   539246 |    78556      150     30 | 42.314 % |
102.44/102.58	c ===============================================================================
102.44/102.58	c New solution: 229
102.44/102.58	o 229
102.44/102.58	c Elapsed CPU time: 102.372 s	Remaining CPU time: 77.6276 s
102.44/102.58	c ===============================================================================
102.44/102.58	c |       582 |   40326   235670   539546 |    78556      150     30 | 42.314 % |
102.54/102.63	c ===============================================================================
102.54/102.63	c New solution: 228
102.54/102.63	o 228
102.54/102.63	c Elapsed CPU time: 102.419 s	Remaining CPU time: 77.5806 s
102.54/102.63	c ===============================================================================
102.54/102.63	c |       582 |   40084   235671   539846 |    78557      150     30 | 42.314 % |
102.54/102.67	c ===============================================================================
102.54/102.67	c New solution: 227
102.54/102.67	o 227
102.54/102.67	c Elapsed CPU time: 102.458 s	Remaining CPU time: 77.5416 s
102.54/102.67	c ===============================================================================
102.54/102.67	c |       584 |   39842   235672   540146 |    78557      152     30 | 42.314 % |
102.65/102.72	c ===============================================================================
102.65/102.72	c New solution: 226
102.65/102.72	o 226
102.65/102.72	c Elapsed CPU time: 102.508 s	Remaining CPU time: 77.4916 s
102.65/102.72	c ===============================================================================
102.65/102.72	c |       585 |   39600   235673   540446 |    78557      153     29 | 42.314 % |
102.65/102.77	c ===============================================================================
102.65/102.77	c New solution: 225
102.65/102.77	o 225
102.65/102.77	c Elapsed CPU time: 102.556 s	Remaining CPU time: 77.4436 s
102.65/102.77	c ===============================================================================
102.65/102.77	c |       585 |   39358   235674   540746 |    78558      153     29 | 42.314 % |
102.75/102.81	c ===============================================================================
102.75/102.81	c New solution: 224
102.75/102.81	o 224
102.75/102.81	c Elapsed CPU time: 102.595 s	Remaining CPU time: 77.4046 s
102.75/102.81	c ===============================================================================
102.75/102.81	c |       588 |   39116   235675   541046 |    78558      156     29 | 42.314 % |
102.75/102.85	c ===============================================================================
102.75/102.85	c New solution: 223
102.75/102.85	o 223
102.75/102.85	c Elapsed CPU time: 102.639 s	Remaining CPU time: 77.3606 s
102.75/102.85	c ===============================================================================
102.75/102.85	c |       597 |   38874   235676   541346 |    78558      165     30 | 42.314 % |
102.75/102.89	c ===============================================================================
102.75/102.89	c New solution: 222
102.75/102.89	o 222
102.75/102.89	c Elapsed CPU time: 102.68 s	Remaining CPU time: 77.3196 s
102.75/102.89	c ===============================================================================
102.75/102.89	c |       600 |   38632   235677   541646 |    78559      168     30 | 42.314 % |
102.85/102.94	c ===============================================================================
102.85/102.94	c New solution: 221
102.85/102.94	o 221
102.85/102.94	c Elapsed CPU time: 102.722 s	Remaining CPU time: 77.2776 s
102.85/102.94	c ===============================================================================
102.85/102.94	c |       607 |   38390   235678   541946 |    78559      175     31 | 42.314 % |
102.85/102.99	c ===============================================================================
102.85/102.99	c New solution: 220
102.85/102.99	o 220
102.85/102.99	c Elapsed CPU time: 102.769 s	Remaining CPU time: 77.2306 s
102.85/102.99	c ===============================================================================
102.85/102.99	c |       610 |   38148   235679   542246 |    78559      178     30 | 42.314 % |
102.95/103.03	c ===============================================================================
102.95/103.03	c New solution: 219
102.95/103.03	o 219
102.95/103.03	c Elapsed CPU time: 102.816 s	Remaining CPU time: 77.1836 s
102.95/103.03	c ===============================================================================
102.95/103.03	c |       611 |   37906   235680   542546 |    78560      179     30 | 42.314 % |
102.95/103.08	c ===============================================================================
102.95/103.08	c New solution: 218
102.95/103.08	o 218
102.95/103.08	c Elapsed CPU time: 102.865 s	Remaining CPU time: 77.1346 s
102.95/103.08	c ===============================================================================
102.95/103.08	c |       612 |   37664   235681   542846 |    78560      132     30 | 42.314 % |
103.04/103.12	c ===============================================================================
103.04/103.12	c New solution: 217
103.04/103.12	o 217
103.04/103.12	c Elapsed CPU time: 102.906 s	Remaining CPU time: 77.0936 s
103.04/103.12	c ===============================================================================
103.04/103.12	c |       622 |   37422   235682   543146 |    78560      142     29 | 42.314 % |
103.04/103.17	c ===============================================================================
103.04/103.17	c New solution: 216
103.04/103.17	o 216
103.04/103.17	c Elapsed CPU time: 102.955 s	Remaining CPU time: 77.0447 s
103.04/103.17	c ===============================================================================
103.04/103.17	c |       628 |   37180   235683   543446 |    78561      148     29 | 42.314 % |
103.14/103.23	c ===============================================================================
103.14/103.23	c New solution: 215
103.14/103.23	o 215
103.14/103.23	c Elapsed CPU time: 103.006 s	Remaining CPU time: 76.9937 s
103.14/103.23	c ===============================================================================
103.14/103.23	c |       644 |   36938   235684   543746 |    78561      164     29 | 42.314 % |
103.14/103.27	c ===============================================================================
103.14/103.27	c New solution: 214
103.14/103.27	o 214
103.14/103.27	c Elapsed CPU time: 103.055 s	Remaining CPU time: 76.9447 s
103.14/103.27	c ===============================================================================
103.14/103.27	c |       645 |   36696   235685   544046 |    78561      165     29 | 42.314 % |
103.25/103.32	c ===============================================================================
103.25/103.32	c New solution: 213
103.25/103.32	o 213
103.25/103.32	c Elapsed CPU time: 103.096 s	Remaining CPU time: 76.9037 s
103.25/103.32	c ===============================================================================
103.25/103.32	c |       648 |   36454   235686   544346 |    78562      168     29 | 42.314 % |
103.25/103.37	c ===============================================================================
103.25/103.37	c New solution: 212
103.25/103.37	o 212
103.25/103.37	c Elapsed CPU time: 103.146 s	Remaining CPU time: 76.8537 s
103.25/103.37	c ===============================================================================
103.25/103.37	c |       653 |   36212   235687   544646 |    78562      173     28 | 42.314 % |
103.36/103.41	c ===============================================================================
103.36/103.41	c New solution: 211
103.36/103.41	o 211
103.36/103.41	c Elapsed CPU time: 103.193 s	Remaining CPU time: 76.8067 s
103.36/103.41	c ===============================================================================
103.36/103.41	c |       656 |   35970   235688   544946 |    78562      176     28 | 42.314 % |
103.36/103.46	c ===============================================================================
103.36/103.46	c New solution: 210
103.36/103.46	o 210
103.36/103.46	c Elapsed CPU time: 103.24 s	Remaining CPU time: 76.7597 s
103.36/103.46	c ===============================================================================
103.36/103.46	c |       660 |   35728   235689   545246 |    78563      180     28 | 42.314 % |
103.45/103.51	c ===============================================================================
103.45/103.51	c New solution: 209
103.45/103.51	o 209
103.45/103.51	c Elapsed CPU time: 103.289 s	Remaining CPU time: 76.7107 s
103.45/103.51	c ===============================================================================
103.45/103.51	c |       663 |   35486   235690   545546 |    78563      183     28 | 42.314 % |
103.45/103.55	c ===============================================================================
103.45/103.55	c New solution: 208
103.45/103.55	o 208
103.45/103.55	c Elapsed CPU time: 103.33 s	Remaining CPU time: 76.6697 s
103.45/103.55	c ===============================================================================
103.45/103.55	c |       669 |   35244   235691   545846 |    78563      189     28 | 42.314 % |
103.55/103.60	c ===============================================================================
103.55/103.60	c New solution: 207
103.55/103.60	o 207
103.55/103.60	c Elapsed CPU time: 103.375 s	Remaining CPU time: 76.6247 s
103.55/103.60	c ===============================================================================
103.55/103.60	c |       671 |   35002   235692   546146 |    78564      191     28 | 42.314 % |
103.55/103.65	c ===============================================================================
103.55/103.65	c New solution: 206
103.55/103.65	o 206
103.55/103.65	c Elapsed CPU time: 103.421 s	Remaining CPU time: 76.5787 s
103.55/103.65	c ===============================================================================
103.55/103.65	c |       671 |   34760   235693   546446 |    78564      191     28 | 42.314 % |
103.55/103.69	c ===============================================================================
103.55/103.69	c New solution: 205
103.55/103.69	o 205
103.55/103.69	c Elapsed CPU time: 103.468 s	Remaining CPU time: 76.5317 s
103.55/103.69	c ===============================================================================
103.55/103.69	c |       674 |   34518   235694   546746 |    78564      194     28 | 42.314 % |
103.65/103.74	c ===============================================================================
103.65/103.74	c New solution: 204
103.65/103.74	o 204
103.65/103.74	c Elapsed CPU time: 103.518 s	Remaining CPU time: 76.4817 s
103.65/103.74	c ===============================================================================
103.65/103.74	c |       691 |   34276   235695   547046 |    78565      155     32 | 42.314 % |
103.65/103.79	c ===============================================================================
103.65/103.79	c New solution: 203
103.65/103.79	o 203
103.65/103.79	c Elapsed CPU time: 103.567 s	Remaining CPU time: 76.4327 s
103.65/103.79	c ===============================================================================
103.65/103.79	c |       696 |   34034   235696   547346 |    78565      160     33 | 42.314 % |
103.75/103.84	c ===============================================================================
103.75/103.84	c New solution: 202
103.75/103.84	o 202
103.75/103.84	c Elapsed CPU time: 103.612 s	Remaining CPU time: 76.3878 s
103.75/103.84	c ===============================================================================
103.75/103.84	c |       696 |   33792   235697   547646 |    78565      160     33 | 42.314 % |
103.75/103.89	c ===============================================================================
103.75/103.89	c New solution: 201
103.75/103.89	o 201
103.75/103.89	c Elapsed CPU time: 103.656 s	Remaining CPU time: 76.3438 s
103.75/103.89	c ===============================================================================
103.75/103.89	c |       698 |   33550   235698   547946 |    78566      162     32 | 42.314 % |
103.84/103.93	c ===============================================================================
103.84/103.93	c New solution: 200
103.84/103.93	o 200
103.84/103.93	c Elapsed CPU time: 103.702 s	Remaining CPU time: 76.2978 s
103.84/103.93	c ===============================================================================
103.84/103.93	c |       700 |   33308   235699   548246 |    78566      164     32 | 42.314 % |
103.84/103.98	c ===============================================================================
103.84/103.98	c New solution: 199
103.84/103.98	o 199
103.84/103.98	c Elapsed CPU time: 103.748 s	Remaining CPU time: 76.2518 s
103.84/103.98	c ===============================================================================
103.84/103.98	c |       701 |   33066   235700   548546 |    78566      165     32 | 42.314 % |
103.94/104.01	c ===============================================================================
103.94/104.01	c New solution: 198
103.94/104.01	o 198
103.94/104.01	c Elapsed CPU time: 103.785 s	Remaining CPU time: 76.2148 s
103.94/104.01	c ===============================================================================
103.94/104.01	c |       702 |   32824   235701   548846 |    78567      166     32 | 42.314 % |
103.94/104.06	c ===============================================================================
103.94/104.06	c New solution: 197
103.94/104.06	o 197
103.94/104.06	c Elapsed CPU time: 103.828 s	Remaining CPU time: 76.1718 s
103.94/104.06	c ===============================================================================
103.94/104.06	c |       703 |   32582   235702   549146 |    78567      167     32 | 42.314 % |
104.04/104.10	c ===============================================================================
104.04/104.10	c New solution: 196
104.04/104.10	o 196
104.04/104.10	c Elapsed CPU time: 103.871 s	Remaining CPU time: 76.1288 s
104.04/104.10	c ===============================================================================
104.04/104.10	c |       715 |   32340   235703   549446 |    78567      179     32 | 42.314 % |
104.04/104.15	c ===============================================================================
104.04/104.15	c New solution: 195
104.04/104.15	o 195
104.04/104.15	c Elapsed CPU time: 103.914 s	Remaining CPU time: 76.0858 s
104.04/104.15	c ===============================================================================
104.04/104.15	c |       715 |   32098   235704   549746 |    78568      179     32 | 42.314 % |
104.04/104.19	c ===============================================================================
104.04/104.19	c New solution: 194
104.04/104.19	o 194
104.04/104.19	c Elapsed CPU time: 103.959 s	Remaining CPU time: 76.0408 s
104.04/104.19	c ===============================================================================
104.04/104.19	c |       717 |   31856   235705   550046 |    78568      181     32 | 42.314 % |
104.15/104.24	c ===============================================================================
104.15/104.24	c New solution: 193
104.15/104.24	o 193
104.15/104.24	c Elapsed CPU time: 104.003 s	Remaining CPU time: 75.9968 s
104.15/104.24	c ===============================================================================
104.15/104.24	c |       718 |   31614   235706   550346 |    78568      182     32 | 42.314 % |
104.15/104.28	c ===============================================================================
104.15/104.28	c New solution: 192
104.15/104.28	o 192
104.15/104.28	c Elapsed CPU time: 104.045 s	Remaining CPU time: 75.9548 s
104.15/104.28	c ===============================================================================
104.15/104.28	c |       719 |   31372   235707   550646 |    78569      183     32 | 42.314 % |
104.25/104.32	c ===============================================================================
104.25/104.32	c New solution: 191
104.25/104.32	o 191
104.25/104.32	c Elapsed CPU time: 104.085 s	Remaining CPU time: 75.9148 s
104.25/104.32	c ===============================================================================
104.25/104.32	c |       724 |   31130   235708   550946 |    78569      188     31 | 42.314 % |
104.25/104.37	c |       824 |   31103   235708   550946 |    86426      288     40 | 57.596 % |
104.35/104.44	c ===============================================================================
104.35/104.44	c New solution: 190
104.35/104.44	o 190
104.35/104.44	c Elapsed CPU time: 104.203 s	Remaining CPU time: 75.7968 s
104.35/104.44	c ===============================================================================
104.35/104.44	c |       856 |   30888   235709   551246 |    78569      261     45 | 57.596 % |
104.35/104.48	c ===============================================================================
104.35/104.48	c New solution: 189
104.35/104.48	o 189
104.35/104.48	c Elapsed CPU time: 104.247 s	Remaining CPU time: 75.7528 s
104.35/104.48	c ===============================================================================
104.35/104.48	c |       858 |   30646   235710   551546 |    78570      263     45 | 57.596 % |
104.45/104.53	c ===============================================================================
104.45/104.53	c New solution: 188
104.45/104.53	o 188
104.45/104.53	c Elapsed CPU time: 104.292 s	Remaining CPU time: 75.7079 s
104.45/104.53	c ===============================================================================
104.45/104.53	c |       860 |   30404   235711   551846 |    78570      265     44 | 57.596 % |
104.45/104.57	c ===============================================================================
104.45/104.57	c New solution: 187
104.45/104.57	o 187
104.45/104.57	c Elapsed CPU time: 104.336 s	Remaining CPU time: 75.6639 s
104.45/104.57	c ===============================================================================
104.45/104.57	c |       861 |   30162   235712   552146 |    78570      266     44 | 57.596 % |
104.54/104.61	c ===============================================================================
104.54/104.61	c New solution: 186
104.54/104.61	o 186
104.54/104.61	c Elapsed CPU time: 104.377 s	Remaining CPU time: 75.6229 s
104.54/104.61	c ===============================================================================
104.54/104.61	c |       864 |   29920   235713   552446 |    78571      269     44 | 57.596 % |
104.54/104.65	c ===============================================================================
104.54/104.65	c New solution: 185
104.54/104.65	o 185
104.54/104.65	c Elapsed CPU time: 104.412 s	Remaining CPU time: 75.5879 s
104.54/104.65	c ===============================================================================
104.54/104.65	c |       864 |   29678   235714   552746 |    78571      269     44 | 57.596 % |
104.54/104.70	c ===============================================================================
104.54/104.70	c New solution: 184
104.54/104.70	o 184
104.54/104.70	c Elapsed CPU time: 104.457 s	Remaining CPU time: 75.5429 s
104.54/104.70	c ===============================================================================
104.54/104.70	c |       867 |   29436   235715   553046 |    78571      272     43 | 57.596 % |
104.64/104.74	c ===============================================================================
104.64/104.74	c New solution: 183
104.64/104.74	o 183
104.64/104.74	c Elapsed CPU time: 104.501 s	Remaining CPU time: 75.4989 s
104.64/104.74	c ===============================================================================
104.64/104.74	c |       869 |   29194   235716   553346 |    78572      274     43 | 57.596 % |
104.64/104.78	c ===============================================================================
104.64/104.78	c New solution: 182
104.64/104.78	o 182
104.64/104.78	c Elapsed CPU time: 104.545 s	Remaining CPU time: 75.4549 s
104.64/104.78	c ===============================================================================
104.64/104.78	c |       874 |   28952   235717   553646 |    78572      279     43 | 57.596 % |
104.74/104.83	c ===============================================================================
104.74/104.83	c New solution: 181
104.74/104.83	o 181
104.74/104.83	c Elapsed CPU time: 104.589 s	Remaining CPU time: 75.4109 s
104.74/104.83	c ===============================================================================
104.74/104.83	c |       877 |   28710   235718   553946 |    78572      282     42 | 57.596 % |
104.74/104.88	c ===============================================================================
104.74/104.88	c New solution: 180
104.74/104.88	o 180
104.74/104.88	c Elapsed CPU time: 104.636 s	Remaining CPU time: 75.3639 s
104.74/104.88	c ===============================================================================
104.74/104.88	c |       921 |   28468   235719   554246 |    78573      326     42 | 57.596 % |
104.84/104.92	c ===============================================================================
104.84/104.92	c New solution: 179
104.84/104.92	o 179
104.84/104.92	c Elapsed CPU time: 104.681 s	Remaining CPU time: 75.3189 s
104.84/104.92	c ===============================================================================
104.84/104.92	c |       934 |   28226   235720   554546 |    78573      339     42 | 57.596 % |
104.84/104.96	c ===============================================================================
104.84/104.96	c New solution: 178
104.84/104.96	o 178
104.84/104.96	c Elapsed CPU time: 104.722 s	Remaining CPU time: 75.2779 s
104.84/104.96	c ===============================================================================
104.84/104.96	c |       934 |   27984   235721   554846 |    78573      339     42 | 57.596 % |
104.95/105.01	c ===============================================================================
104.95/105.01	c New solution: 177
104.95/105.01	o 177
104.95/105.01	c Elapsed CPU time: 104.764 s	Remaining CPU time: 75.2359 s
104.95/105.01	c ===============================================================================
104.95/105.01	c |       936 |   27742   235722   555146 |    78574      341     42 | 57.596 % |
104.95/105.05	c ===============================================================================
104.95/105.05	c New solution: 176
104.95/105.05	o 176
104.95/105.05	c Elapsed CPU time: 104.805 s	Remaining CPU time: 75.1949 s
104.95/105.05	c ===============================================================================
104.95/105.05	c |       936 |   27500   235723   555446 |    78574      341     42 | 57.596 % |
104.95/105.09	c ===============================================================================
104.95/105.09	c New solution: 175
104.95/105.09	o 175
104.95/105.09	c Elapsed CPU time: 104.849 s	Remaining CPU time: 75.1509 s
104.95/105.09	c ===============================================================================
104.95/105.09	c |       940 |   27258   235724   555746 |    78574      345     42 | 57.596 % |
105.05/105.13	c ===============================================================================
105.05/105.13	c New solution: 174
105.05/105.13	o 174
105.05/105.13	c Elapsed CPU time: 104.885 s	Remaining CPU time: 75.1149 s
105.05/105.13	c ===============================================================================
105.05/105.13	c |       943 |   27016   235725   556046 |    78575      348     41 | 57.596 % |
105.05/105.17	c ===============================================================================
105.05/105.17	c New solution: 173
105.05/105.17	o 173
105.05/105.17	c Elapsed CPU time: 104.927 s	Remaining CPU time: 75.073 s
105.05/105.17	c ===============================================================================
105.05/105.17	c |       944 |   26774   235726   556346 |    78575      154     27 | 57.596 % |
105.15/105.21	c ===============================================================================
105.15/105.21	c New solution: 172
105.15/105.21	o 172
105.15/105.21	c Elapsed CPU time: 104.972 s	Remaining CPU time: 75.028 s
105.15/105.21	c ===============================================================================
105.15/105.21	c |       951 |   26532   235727   556646 |    78575      161     27 | 57.596 % |
105.15/105.26	c ===============================================================================
105.15/105.26	c New solution: 171
105.15/105.26	o 171
105.15/105.26	c Elapsed CPU time: 105.013 s	Remaining CPU time: 74.987 s
105.15/105.26	c ===============================================================================
105.15/105.26	c |       953 |   26290   235728   556946 |    78576      163     27 | 57.596 % |
105.15/105.29	c ===============================================================================
105.15/105.29	c New solution: 170
105.15/105.29	o 170
105.15/105.29	c Elapsed CPU time: 105.048 s	Remaining CPU time: 74.952 s
105.15/105.29	c ===============================================================================
105.15/105.29	c |       961 |   26048   235729   557246 |    78576      171     27 | 57.596 % |
105.25/105.33	c ===============================================================================
105.25/105.33	c New solution: 169
105.25/105.33	o 169
105.25/105.33	c Elapsed CPU time: 105.088 s	Remaining CPU time: 74.912 s
105.25/105.33	c ===============================================================================
105.25/105.33	c |       962 |   25806   235730   557546 |    78576      172     27 | 57.596 % |
105.25/105.37	c ===============================================================================
105.25/105.37	c New solution: 168
105.25/105.37	o 168
105.25/105.37	c Elapsed CPU time: 105.129 s	Remaining CPU time: 74.871 s
105.25/105.37	c ===============================================================================
105.25/105.37	c |       964 |   25564   235731   557846 |    78577      174     27 | 57.596 % |
105.35/105.41	c ===============================================================================
105.35/105.41	c New solution: 167
105.35/105.41	o 167
105.35/105.41	c Elapsed CPU time: 105.168 s	Remaining CPU time: 74.832 s
105.35/105.41	c ===============================================================================
105.35/105.41	c |       964 |   25322   235732   558146 |    78577      174     27 | 57.596 % |
105.35/105.45	c ===============================================================================
105.35/105.45	c New solution: 166
105.35/105.45	o 166
105.35/105.45	c Elapsed CPU time: 105.207 s	Remaining CPU time: 74.793 s
105.35/105.45	c ===============================================================================
105.35/105.45	c |       968 |   25080   235733   558446 |    78577      178     26 | 57.596 % |
105.35/105.49	c ===============================================================================
105.35/105.49	c New solution: 165
105.35/105.49	o 165
105.35/105.49	c Elapsed CPU time: 105.246 s	Remaining CPU time: 74.754 s
105.35/105.49	c ===============================================================================
105.35/105.49	c |       969 |   24838   235734   558746 |    78578      179     26 | 57.596 % |
105.45/105.54	c ===============================================================================
105.45/105.54	c New solution: 164
105.45/105.54	o 164
105.45/105.54	c Elapsed CPU time: 105.291 s	Remaining CPU time: 74.709 s
105.45/105.54	c ===============================================================================
105.45/105.54	c |       982 |   24596   235735   559046 |    78578      192     26 | 57.596 % |
105.45/105.57	c ===============================================================================
105.45/105.57	c New solution: 163
105.45/105.57	o 163
105.45/105.57	c Elapsed CPU time: 105.326 s	Remaining CPU time: 74.674 s
105.45/105.57	c ===============================================================================
105.45/105.57	c |       986 |   24354   235736   559346 |    78578      196     26 | 57.596 % |
105.55/105.61	c ===============================================================================
105.55/105.61	c New solution: 162
105.55/105.61	o 162
105.55/105.61	c Elapsed CPU time: 105.365 s	Remaining CPU time: 74.635 s
105.55/105.61	c ===============================================================================
105.55/105.61	c |       988 |   24112   235737   559646 |    78579      198     26 | 57.596 % |
105.55/105.65	c ===============================================================================
105.55/105.65	c New solution: 161
105.55/105.65	o 161
105.55/105.65	c Elapsed CPU time: 105.398 s	Remaining CPU time: 74.602 s
105.55/105.65	c ===============================================================================
105.55/105.65	c |       988 |   23870   235738   559946 |    78579      198     26 | 57.596 % |
105.55/105.69	c ===============================================================================
105.55/105.69	c New solution: 160
105.55/105.69	o 160
105.55/105.69	c Elapsed CPU time: 105.437 s	Remaining CPU time: 74.563 s
105.55/105.69	c ===============================================================================
105.55/105.69	c |       990 |   23628   235739   560246 |    78579      200     26 | 57.596 % |
105.64/105.72	c ===============================================================================
105.64/105.72	c New solution: 159
105.64/105.72	o 159
105.64/105.72	c Elapsed CPU time: 105.47 s	Remaining CPU time: 74.53 s
105.64/105.72	c ===============================================================================
105.64/105.72	c |       992 |   23386   235740   560546 |    78580      202     26 | 57.596 % |
105.64/105.75	c ===============================================================================
105.64/105.75	c New solution: 158
105.64/105.75	o 158
105.64/105.75	c Elapsed CPU time: 105.503 s	Remaining CPU time: 74.497 s
105.64/105.75	c ===============================================================================
105.64/105.75	c |       994 |   23144   235741   560846 |    78580      204     26 | 57.596 % |
105.75/105.80	c ===============================================================================
105.75/105.80	c New solution: 157
105.75/105.80	o 157
105.75/105.80	c Elapsed CPU time: 105.551 s	Remaining CPU time: 74.449 s
105.75/105.80	c ===============================================================================
105.75/105.80	c |      1022 |   22902   235742   561146 |    78580      232     30 | 57.596 % |
105.75/105.84	c ===============================================================================
105.75/105.84	c New solution: 156
105.75/105.84	o 156
105.75/105.84	c Elapsed CPU time: 105.588 s	Remaining CPU time: 74.4121 s
105.75/105.84	c ===============================================================================
105.75/105.84	c |      1023 |   22660   235743   561446 |    78581      233     30 | 57.596 % |
105.75/105.88	c ===============================================================================
105.75/105.88	c New solution: 155
105.75/105.88	o 155
105.75/105.88	c Elapsed CPU time: 105.625 s	Remaining CPU time: 74.3751 s
105.75/105.88	c ===============================================================================
105.75/105.88	c |      1024 |   22418   235744   561746 |    78581      234     29 | 57.596 % |
105.85/105.92	c ===============================================================================
105.85/105.92	c New solution: 154
105.85/105.92	o 154
105.85/105.92	c Elapsed CPU time: 105.662 s	Remaining CPU time: 74.3381 s
105.85/105.92	c ===============================================================================
105.85/105.92	c |      1027 |   22176   235745   562046 |    78581      237     29 | 57.596 % |
105.85/105.95	c ===============================================================================
105.85/105.95	c New solution: 153
105.85/105.95	o 153
105.85/105.95	c Elapsed CPU time: 105.697 s	Remaining CPU time: 74.3031 s
105.85/105.95	c ===============================================================================
105.85/105.95	c |      1044 |   21934   235746   562346 |    78582      254     30 | 57.596 % |
105.85/105.99	c ===============================================================================
105.85/105.99	c New solution: 152
105.85/105.99	o 152
105.85/105.99	c Elapsed CPU time: 105.735 s	Remaining CPU time: 74.2651 s
105.85/105.99	c ===============================================================================
105.85/105.99	c |      1060 |   21692   235747   562646 |    78582      156     33 | 57.596 % |
105.95/106.03	c ===============================================================================
105.95/106.03	c New solution: 151
105.95/106.03	o 151
105.95/106.03	c Elapsed CPU time: 105.774 s	Remaining CPU time: 74.2261 s
105.95/106.03	c ===============================================================================
105.95/106.03	c |      1065 |   21450   235748   562946 |    78582      161     32 | 57.596 % |
105.95/106.06	c ===============================================================================
105.95/106.06	c New solution: 150
105.95/106.06	o 150
105.95/106.06	c Elapsed CPU time: 105.805 s	Remaining CPU time: 74.1951 s
105.95/106.06	c ===============================================================================
105.95/106.06	c |      1068 |   21208   235749   563246 |    78583      164     32 | 57.596 % |
106.04/106.10	c ===============================================================================
106.04/106.10	c New solution: 149
106.04/106.10	o 149
106.04/106.10	c Elapsed CPU time: 105.844 s	Remaining CPU time: 74.1561 s
106.04/106.10	c ===============================================================================
106.04/106.10	c |      1071 |   20966   235750   563546 |    78583      167     32 | 57.596 % |
106.04/106.14	c ===============================================================================
106.04/106.14	c New solution: 148
106.04/106.14	o 148
106.04/106.14	c Elapsed CPU time: 105.882 s	Remaining CPU time: 74.1181 s
106.04/106.14	c ===============================================================================
106.04/106.14	c |      1075 |   20724   235751   563846 |    78583      171     32 | 57.596 % |
106.04/106.18	c ===============================================================================
106.04/106.18	c New solution: 147
106.04/106.18	o 147
106.04/106.18	c Elapsed CPU time: 105.918 s	Remaining CPU time: 74.0821 s
106.04/106.18	c ===============================================================================
106.04/106.18	c |      1078 |   20482   235752   564146 |    78584      174     31 | 57.596 % |
106.14/106.21	c ===============================================================================
106.14/106.21	c New solution: 146
106.14/106.21	o 146
106.14/106.21	c Elapsed CPU time: 105.954 s	Remaining CPU time: 74.0461 s
106.14/106.21	c ===============================================================================
106.14/106.21	c |      1078 |   20240   235753   564446 |    78584      174     31 | 57.596 % |
106.14/106.25	c ===============================================================================
106.14/106.25	c New solution: 145
106.14/106.25	o 145
106.14/106.25	c Elapsed CPU time: 105.992 s	Remaining CPU time: 74.0081 s
106.14/106.25	c ===============================================================================
106.14/106.25	c |      1090 |   19998   235754   564746 |    78584      186     31 | 57.596 % |
106.14/106.29	c ===============================================================================
106.14/106.29	c New solution: 144
106.14/106.29	o 144
106.14/106.29	c Elapsed CPU time: 106.029 s	Remaining CPU time: 73.9711 s
106.14/106.29	c ===============================================================================
106.14/106.29	c |      1093 |   19756   235755   565046 |    78585      189     31 | 57.596 % |
106.24/106.33	c ===============================================================================
106.24/106.33	c New solution: 143
106.24/106.33	o 143
106.24/106.33	c Elapsed CPU time: 106.064 s	Remaining CPU time: 73.9361 s
106.24/106.33	c ===============================================================================
106.24/106.33	c |      1094 |   19514   235756   565346 |    78585      190     30 | 57.596 % |
106.24/106.36	c ===============================================================================
106.24/106.36	c New solution: 142
106.24/106.36	o 142
106.24/106.36	c Elapsed CPU time: 106.099 s	Remaining CPU time: 73.9011 s
106.24/106.36	c ===============================================================================
106.24/106.36	c |      1096 |   19272   235757   565646 |    78585      192     30 | 57.596 % |
106.24/106.40	c ===============================================================================
106.24/106.40	c New solution: 141
106.24/106.40	o 141
106.24/106.40	c Elapsed CPU time: 106.132 s	Remaining CPU time: 73.8681 s
106.24/106.40	c ===============================================================================
106.24/106.40	c |      1110 |   19030   235758   565946 |    78586      206     30 | 57.596 % |
106.35/106.43	c ===============================================================================
106.35/106.43	c New solution: 140
106.35/106.43	o 140
106.35/106.43	c Elapsed CPU time: 106.164 s	Remaining CPU time: 73.8361 s
106.35/106.43	c ===============================================================================
106.35/106.43	c |      1115 |   18788   235759   566246 |    78586      211     30 | 57.596 % |
106.35/106.46	c ===============================================================================
106.35/106.46	c New solution: 139
106.35/106.46	o 139
106.35/106.46	c Elapsed CPU time: 106.2 s	Remaining CPU time: 73.8001 s
106.35/106.46	c ===============================================================================
106.35/106.46	c |      1118 |   18546   235760   566546 |    78586      214     30 | 57.596 % |
106.45/106.50	c ===============================================================================
106.45/106.50	c New solution: 138
106.45/106.50	o 138
106.45/106.50	c Elapsed CPU time: 106.232 s	Remaining CPU time: 73.7682 s
106.45/106.50	c ===============================================================================
106.45/106.50	c |      1122 |   18304   235761   566846 |    78587      218     29 | 57.596 % |
106.45/106.53	c ===============================================================================
106.45/106.53	c New solution: 137
106.45/106.53	o 137
106.45/106.53	c Elapsed CPU time: 106.267 s	Remaining CPU time: 73.7332 s
106.45/106.53	c ===============================================================================
106.45/106.53	c |      1122 |   18062   235762   567146 |    78587      218     29 | 57.596 % |
106.45/106.57	c ===============================================================================
106.45/106.57	c New solution: 136
106.45/106.57	o 136
106.45/106.57	c Elapsed CPU time: 106.302 s	Remaining CPU time: 73.6982 s
106.45/106.57	c ===============================================================================
106.45/106.57	c |      1125 |   17820   235763   567446 |    78587      221     29 | 57.596 % |
106.55/106.60	c ===============================================================================
106.55/106.60	c New solution: 135
106.55/106.60	o 135
106.55/106.60	c Elapsed CPU time: 106.336 s	Remaining CPU time: 73.6642 s
106.55/106.60	c ===============================================================================
106.55/106.60	c |      1125 |   17578   235764   567746 |    78588      221     29 | 57.596 % |
106.55/106.63	c ===============================================================================
106.55/106.63	c New solution: 134
106.55/106.63	o 134
106.55/106.63	c Elapsed CPU time: 106.37 s	Remaining CPU time: 73.6302 s
106.55/106.63	c ===============================================================================
106.55/106.63	c |      1126 |   17336   235765   568046 |    78588      222     29 | 57.596 % |
106.55/106.67	c ===============================================================================
106.55/106.67	c New solution: 133
106.55/106.67	o 133
106.55/106.67	c Elapsed CPU time: 106.407 s	Remaining CPU time: 73.5932 s
106.55/106.67	c ===============================================================================
106.55/106.67	c |      1136 |   17094   235766   568346 |    78588      232     30 | 57.596 % |
106.65/106.71	c ===============================================================================
106.65/106.71	c New solution: 132
106.65/106.71	o 132
106.65/106.71	c Elapsed CPU time: 106.446 s	Remaining CPU time: 73.5542 s
106.65/106.71	c ===============================================================================
106.65/106.71	c |      1161 |   16852   235767   568646 |    78589      257     32 | 57.596 % |
106.65/106.80	c |      1261 |   16837   235767   568646 |    86447      357     38 | 77.197 % |
106.75/106.83	c ===============================================================================
106.75/106.83	c New solution: 131
106.75/106.83	o 131
106.75/106.83	c Elapsed CPU time: 106.561 s	Remaining CPU time: 73.4392 s
106.75/106.83	c ===============================================================================
106.75/106.83	c |      1267 |   16610   235768   568946 |    78589      363     37 | 77.197 % |
106.75/106.86	c ===============================================================================
106.75/106.86	c New solution: 130
106.75/106.86	o 130
106.75/106.86	c Elapsed CPU time: 106.595 s	Remaining CPU time: 73.4052 s
106.75/106.86	c ===============================================================================
106.75/106.86	c |      1269 |   16368   235769   569246 |    78589      365     37 | 77.197 % |
106.75/106.90	c ===============================================================================
106.75/106.90	c New solution: 129
106.75/106.90	o 129
106.75/106.90	c Elapsed CPU time: 106.629 s	Remaining CPU time: 73.3712 s
106.75/106.90	c ===============================================================================
106.75/106.90	c |      1270 |   16126   235770   569546 |    78590      366     37 | 77.197 % |
106.84/106.93	c ===============================================================================
106.84/106.93	c New solution: 128
106.84/106.93	o 128
106.84/106.93	c Elapsed CPU time: 106.664 s	Remaining CPU time: 73.3362 s
106.84/106.93	c ===============================================================================
106.84/106.93	c |      1271 |   15884   235771   569846 |    78590      141     30 | 77.197 % |
106.84/106.96	c ===============================================================================
106.84/106.96	c New solution: 127
106.84/106.96	o 127
106.84/106.96	c Elapsed CPU time: 106.697 s	Remaining CPU time: 73.3032 s
106.84/106.96	c ===============================================================================
106.84/106.96	c |      1273 |   15642   235772   570146 |    78590      143     30 | 77.197 % |
106.94/107.00	c ===============================================================================
106.94/107.00	c New solution: 126
106.94/107.00	o 126
106.94/107.00	c Elapsed CPU time: 106.73 s	Remaining CPU time: 73.2702 s
106.94/107.00	c ===============================================================================
106.94/107.00	c |      1273 |   15400   235773   570446 |    78591      143     30 | 77.197 % |
106.94/107.03	c ===============================================================================
106.94/107.03	c New solution: 125
106.94/107.03	o 125
106.94/107.03	c Elapsed CPU time: 106.763 s	Remaining CPU time: 73.2372 s
106.94/107.03	c ===============================================================================
106.94/107.03	c |      1276 |   15158   235774   570746 |    78591      146     30 | 77.197 % |
106.94/107.06	c ===============================================================================
106.94/107.06	c New solution: 124
106.94/107.06	o 124
106.94/107.06	c Elapsed CPU time: 106.795 s	Remaining CPU time: 73.2052 s
106.94/107.06	c ===============================================================================
106.94/107.06	c |      1277 |   14916   235775   571046 |    78591      147     30 | 77.197 % |
106.94/107.10	c ===============================================================================
106.94/107.10	c New solution: 123
106.94/107.10	o 123
106.94/107.10	c Elapsed CPU time: 106.827 s	Remaining CPU time: 73.1732 s
106.94/107.10	c ===============================================================================
106.94/107.10	c |      1280 |   14674   235776   571346 |    78592      150     29 | 77.197 % |
107.04/107.13	c ===============================================================================
107.04/107.13	c New solution: 122
107.04/107.13	o 122
107.04/107.13	c Elapsed CPU time: 106.86 s	Remaining CPU time: 73.1402 s
107.04/107.13	c ===============================================================================
107.04/107.13	c |      1284 |   14432   235777   571646 |    78592      154     29 | 77.197 % |
107.04/107.16	c ===============================================================================
107.04/107.16	c New solution: 121
107.04/107.16	o 121
107.04/107.16	c Elapsed CPU time: 106.89 s	Remaining CPU time: 73.1102 s
107.04/107.16	c ===============================================================================
107.04/107.16	c |      1284 |   14190   235778   571946 |    78592      154     29 | 77.197 % |
107.04/107.19	c ===============================================================================
107.04/107.19	c New solution: 120
107.04/107.19	o 120
107.04/107.19	c Elapsed CPU time: 106.921 s	Remaining CPU time: 73.0793 s
107.04/107.19	c ===============================================================================
107.04/107.19	c |      1290 |   13948   235779   572246 |    78593      160     29 | 77.197 % |
107.15/107.22	c ===============================================================================
107.15/107.22	c New solution: 119
107.15/107.22	o 119
107.15/107.22	c Elapsed CPU time: 106.953 s	Remaining CPU time: 73.0473 s
107.15/107.22	c ===============================================================================
107.15/107.22	c |      1292 |   13706   235780   572546 |    78593      162     29 | 77.197 % |
107.15/107.25	c ===============================================================================
107.15/107.25	c New solution: 118
107.15/107.25	o 118
107.15/107.25	c Elapsed CPU time: 106.982 s	Remaining CPU time: 73.0183 s
107.15/107.25	c ===============================================================================
107.15/107.25	c |      1300 |   13464   235781   572846 |    78593      170     28 | 77.197 % |
107.15/107.29	c ===============================================================================
107.15/107.29	c New solution: 117
107.15/107.29	o 117
107.15/107.29	c Elapsed CPU time: 107.014 s	Remaining CPU time: 72.9863 s
107.15/107.29	c ===============================================================================
107.15/107.29	c |      1302 |   13222   235782   573146 |    78594      172     28 | 77.197 % |
107.25/107.32	c ===============================================================================
107.25/107.32	c New solution: 116
107.25/107.32	o 116
107.25/107.32	c Elapsed CPU time: 107.045 s	Remaining CPU time: 72.9553 s
107.25/107.32	c ===============================================================================
107.25/107.32	c |      1304 |   12980   235783   573446 |    78594      174     28 | 77.197 % |
107.25/107.35	c ===============================================================================
107.25/107.35	c New solution: 115
107.25/107.35	o 115
107.25/107.35	c Elapsed CPU time: 107.076 s	Remaining CPU time: 72.9243 s
107.25/107.35	c ===============================================================================
107.25/107.35	c |      1306 |   12738   235784   573746 |    78594      176     28 | 77.197 % |
107.25/107.38	c ===============================================================================
107.25/107.38	c New solution: 114
107.25/107.38	o 114
107.25/107.38	c Elapsed CPU time: 107.102 s	Remaining CPU time: 72.8983 s
107.25/107.38	c ===============================================================================
107.25/107.38	c |      1308 |   12496   235785   574046 |    78595      178     28 | 77.197 % |
107.35/107.41	c ===============================================================================
107.35/107.41	c New solution: 113
107.35/107.41	o 113
107.35/107.41	c Elapsed CPU time: 107.132 s	Remaining CPU time: 72.8683 s
107.35/107.41	c ===============================================================================
107.35/107.41	c |      1309 |   12254   235786   574346 |    78595      179     28 | 77.197 % |
107.35/107.44	c ===============================================================================
107.35/107.44	c New solution: 112
107.35/107.44	o 112
107.35/107.44	c Elapsed CPU time: 107.162 s	Remaining CPU time: 72.8383 s
107.35/107.44	c ===============================================================================
107.35/107.44	c |      1310 |   12012   235787   574646 |    78595      180     27 | 77.197 % |
107.35/107.46	c ===============================================================================
107.35/107.46	c New solution: 111
107.35/107.46	o 111
107.35/107.46	c Elapsed CPU time: 107.19 s	Remaining CPU time: 72.8103 s
107.35/107.46	c ===============================================================================
107.35/107.46	c |      1313 |   11770   235788   574946 |    78596      183     27 | 77.197 % |
107.35/107.49	c ===============================================================================
107.35/107.49	c New solution: 110
107.35/107.49	o 110
107.35/107.50	c Elapsed CPU time: 107.219 s	Remaining CPU time: 72.7813 s
107.35/107.50	c ===============================================================================
107.35/107.50	c |      1317 |   11528   235789   575246 |    78596      187     27 | 77.197 % |
107.45/107.53	c ===============================================================================
107.45/107.53	c New solution: 109
107.45/107.53	o 109
107.45/107.53	c Elapsed CPU time: 107.248 s	Remaining CPU time: 72.7523 s
107.45/107.53	c ===============================================================================
107.45/107.53	c |      1326 |   11286   235790   575546 |    78596      196     27 | 77.197 % |
107.45/107.56	c ===============================================================================
107.45/107.56	c New solution: 108
107.45/107.56	o 108
107.45/107.56	c Elapsed CPU time: 107.279 s	Remaining CPU time: 72.7213 s
107.45/107.56	c ===============================================================================
107.45/107.56	c |      1345 |   11044   235791   575846 |    78597      215     28 | 77.197 % |
107.54/107.60	c |      1446 |   11017   235791   575846 |    86456      316     31 | 85.171 % |
107.54/107.68	c ===============================================================================
107.54/107.68	c New solution: 107
107.54/107.68	o 107
107.54/107.68	c Elapsed CPU time: 107.406 s	Remaining CPU time: 72.5943 s
107.54/107.68	c ===============================================================================
107.54/107.68	c |      1512 |   10802   235792   576146 |    78597      382     34 | 85.171 % |
107.65/107.71	c ===============================================================================
107.65/107.71	c New solution: 106
107.65/107.71	o 106
107.65/107.71	c Elapsed CPU time: 107.437 s	Remaining CPU time: 72.5633 s
107.65/107.71	c ===============================================================================
107.65/107.71	c |      1513 |   10560   235793   576446 |    78597      383     34 | 85.171 % |
107.65/107.74	c ===============================================================================
107.65/107.74	c New solution: 105
107.65/107.74	o 105
107.65/107.74	c Elapsed CPU time: 107.467 s	Remaining CPU time: 72.5333 s
107.65/107.74	c ===============================================================================
107.65/107.74	c |      1519 |   10318   235794   576746 |    78598      389     34 | 85.171 % |
107.65/107.77	c |      1619 |   10257   235794   576746 |    86457      489     34 | 86.167 % |
107.75/107.83	c |      1769 |   10257   235794   576746 |    95103      639     38 | 86.167 % |
107.75/107.87	c ===============================================================================
107.75/107.87	c New solution: 104
107.75/107.87	o 104
107.75/107.87	c Elapsed CPU time: 107.588 s	Remaining CPU time: 72.4124 s
107.75/107.87	c ===============================================================================
107.75/107.87	c |      1783 |   10076   235795   577046 |    78598      653     38 | 86.167 % |
107.84/107.91	c ===============================================================================
107.84/107.91	c New solution: 103
107.84/107.91	o 103
107.84/107.91	c Elapsed CPU time: 107.628 s	Remaining CPU time: 72.3724 s
107.84/107.91	c ===============================================================================
107.84/107.91	c |      1795 |    9834   235796   577346 |    78598      665     38 | 86.167 % |
107.84/107.93	c ===============================================================================
107.84/107.93	c New solution: 102
107.84/107.93	o 102
107.84/107.93	c Elapsed CPU time: 107.657 s	Remaining CPU time: 72.3434 s
107.84/107.93	c ===============================================================================
107.84/107.93	c |      1801 |    9592   235797   577646 |    78599      671     38 | 86.167 % |
107.84/107.96	c ===============================================================================
107.84/107.96	c New solution: 101
107.84/107.96	o 101
107.84/107.96	c Elapsed CPU time: 107.685 s	Remaining CPU time: 72.3154 s
107.84/107.96	c ===============================================================================
107.84/107.96	c |      1808 |    9350   235798   577946 |    78599      678     38 | 86.167 % |
107.94/108.02	c ===============================================================================
107.94/108.02	c New solution: 100
107.94/108.02	o 100
107.94/108.02	c Elapsed CPU time: 107.743 s	Remaining CPU time: 72.2574 s
107.94/108.02	c ===============================================================================
107.94/108.02	c |      1854 |    9108   235799   578246 |    78599      458     41 | 86.167 % |
107.94/108.08	c |      1954 |    9094   235799   578246 |    86459      558     45 | 87.828 % |
108.04/108.11	c ===============================================================================
108.04/108.11	c New solution: 99
108.04/108.11	o 99
108.04/108.11	c Elapsed CPU time: 107.829 s	Remaining CPU time: 72.1714 s
108.04/108.11	c ===============================================================================
108.04/108.11	c |      1961 |    8866   235800   578546 |    78600      565     44 | 87.828 % |
108.04/108.15	c |      2061 |    8851   235800   578546 |    86460      665     43 | 88.161 % |
108.14/108.24	c |      2211 |    8845   235800   578546 |    95106      815     46 | 88.161 % |
108.14/108.28	c ===============================================================================
108.14/108.28	c New solution: 98
108.14/108.28	o 98
108.14/108.28	c Elapsed CPU time: 107.993 s	Remaining CPU time: 72.0074 s
108.14/108.28	c ===============================================================================
108.14/108.28	c |      2224 |    8624   235801   578846 |    78600      828     45 | 88.161 % |
108.25/108.31	c ===============================================================================
108.25/108.31	c New solution: 97
108.25/108.31	o 97
108.25/108.31	c Elapsed CPU time: 108.026 s	Remaining CPU time: 71.9744 s
108.25/108.31	c ===============================================================================
108.25/108.31	c |      2232 |    8382   235802   579146 |    78600      836     45 | 88.161 % |
108.25/108.36	c |      2332 |    8362   235802   579146 |    86460      936     46 | 88.825 % |
108.45/108.52	c |      2483 |    8350   235802   579146 |    95106     1087     50 | 88.825 % |
108.45/108.57	c |      2708 |    8345   235802   579146 |   104617     1312     46 | 88.825 % |
108.76/108.84	c |      3045 |    8342   235802   579146 |   115079     1649     46 | 88.825 % |
108.95/109.02	c |      3551 |    8334   235802   579146 |   126587     2155     47 | 88.825 % |
109.95/110.06	c |      4311 |    8140   235802   579146 |   139245     2752     52 | 88.825 % |
110.25/110.34	c |      5450 |    8140   235802   579146 |   153170     3891     48 | 88.825 % |
112.34/112.43	c |      7158 |    8140   235802   579146 |   168487     5599     54 | 88.825 % |
112.54/112.67	c ===============================================================================
112.54/112.67	c New solution: 96
112.54/112.67	o 96
112.54/112.67	c Elapsed CPU time: 112.361 s	Remaining CPU time: 67.6391 s
112.54/112.67	c ===============================================================================
112.54/112.67	c |      7629 |    8140   235803   579446 |    78601     6070     54 | 88.825 % |
112.74/112.81	c |      7729 |    7898   235803   579446 |    86461     5631     52 | 89.157 % |
112.74/112.86	c |      7879 |    7898   235803   579446 |    95107     5781     52 | 89.157 % |
113.04/113.13	c |      8104 |    7898   235803   579446 |   104617     6006     52 | 89.157 % |
113.15/113.30	c |      8441 |    7898   235803   579446 |   115079     6343     52 | 89.157 % |
113.64/113.76	c |      8948 |    7898   235803   579446 |   126587     6850     54 | 89.157 % |
113.84/113.98	c |      9709 |    7898   235803   579446 |   139246     7611     52 | 89.157 % |
115.04/115.11	c |     10848 |    7898   235803   579446 |   153171     8750     53 | 89.157 % |
115.54/115.63	c |     12556 |    7898   235803   579446 |   168488    10458     52 | 89.157 % |
119.64/119.76	c |     15118 |    7898   235803   579446 |   185337    13020     58 | 89.157 % |
121.44/121.58	c |     18963 |    7898   235803   579446 |   203870    16865     58 | 89.157 % |
128.65/128.76	c |     24729 |    7898   235803   579446 |   224257    22631     65 | 89.157 % |
131.33/131.47	c ===============================================================================
131.33/131.47	c New solution: 95
131.33/131.47	o 95
131.33/131.47	c Elapsed CPU time: 131.1 s	Remaining CPU time: 48.8999 s
131.33/131.47	c ===============================================================================
131.33/131.47	c |     28134 |    7898   235804   579746 |    78601    26036     67 | 89.157 % |
131.53/131.62	c |     28235 |    7656   235804   579746 |    86461    21940     58 | 89.490 % |
131.64/131.79	c |     28386 |    7656   235804   579746 |    95107    22091     58 | 89.490 % |
131.74/131.87	c |     28611 |    7656   235804   579746 |   104618    22316     58 | 89.490 % |
132.14/132.24	c |     28948 |    7656   235804   579746 |   115080    22653     58 | 89.490 % |
132.33/132.45	c |     29457 |    7656   235804   579746 |   126588    23162     57 | 89.490 % |
132.74/132.84	c |     30217 |    7656   235804   579746 |   139247    23922     57 | 89.490 % |
134.53/134.66	c |     31356 |    7656   235804   579746 |   153171    25061     58 | 89.490 % |
135.33/135.48	c |     33064 |    7656   235804   579746 |   168488    26769     57 | 89.490 % |
138.73/138.83	c |     35626 |    7656   235804   579746 |   185337    29331     58 | 89.490 % |
140.83/140.99	c |     39473 |    7656   235804   579746 |   203871    33178     58 | 89.490 % |
149.94/150.00	c |     45239 |    7656   235804   579746 |   224258    38944     62 | 89.490 % |
156.93/157.01	c |     53888 |    7656   235804   579746 |   246684    47593     64 | 89.490 % |
162.23/162.31	c ===============================================================================
162.23/162.31	c New solution: 94
162.23/162.31	o 94
162.23/162.31	c Elapsed CPU time: 161.83 s	Remaining CPU time: 18.1696 s
162.23/162.31	c ===============================================================================
162.23/162.31	c |     57041 |    7656   235805   580046 |    78601    50746     67 | 89.490 % |
162.33/162.49	c |     57141 |    7414   235805   580046 |    86461    37591     55 | 89.822 % |
162.53/162.60	c |     57293 |    7414   235805   580046 |    95108    37743     55 | 89.822 % |
162.92/163.07	c |     57519 |    7414   235805   580046 |   104618    37969     55 | 89.822 % |
163.12/163.27	c |     57857 |    7414   235805   580046 |   115080    38307     55 | 89.822 % |
163.74/163.85	c |     58364 |    7414   235805   580046 |   126588    38814     55 | 89.822 % |
164.23/164.30	c |     59126 |    7414   235805   580046 |   139247    39576     55 | 89.822 % |
165.52/165.66	c |     60266 |    7414   235805   580046 |   153172    40716     55 | 89.822 % |
167.14/167.26	c |     61974 |    7414   235805   580046 |   168489    42424     56 | 89.822 % |
169.93/170.09	c |     64537 |    7414   235805   580046 |   185338    44987     57 | 89.822 % |
174.63/174.71	c |     68381 |    7414   235805   580046 |   203872    48831     60 | 89.822 % |
179.42/179.53	c |     74148 |    7414   235805   580046 |   224259    54598     59 | 89.822 % |
180.42/180.55	c There are 65428 assigned variables. 285 in cost function.
180.82/180.93	c core #1
180.82/180.93	c ============================[ Search Statistics ]==============================
180.82/180.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.82/180.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.82/180.93	c ===============================================================================
180.82/180.93	c |         0 |    4026    84654    52233 |    28218        0    nan |  0.000 % |
180.82/180.96	c |       101 |    4026    84654    52233 |    31039      101     29 | 94.474 % |
180.92/181.02	c |       253 |    4026    84654    52233 |    34143      253     35 | 94.474 % |
181.02/181.10	c |       479 |    4026    84654    52233 |    37558      479     35 | 94.474 % |
181.12/181.21	c |       816 |    4026    84654    52233 |    41313      816     34 | 94.474 % |
181.22/181.39	c |      1322 |    4007    84654    52233 |    45445     1168     34 | 94.500 % |
181.52/181.63	c ===============================================================================
181.62/181.75	c core #2
181.62/181.75	c ============================[ Search Statistics ]==============================
181.62/181.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.62/181.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.62/181.75	c ===============================================================================
181.62/181.75	c |         0 |    4300    84672    53420 |    28224        0    nan |  0.000 % |
181.62/181.79	c |       102 |    4300    84672    53420 |    31046      102     34 | 94.099 % |
181.72/181.84	c |       252 |    4300    84672    53420 |    34151      252     41 | 94.099 % |
181.82/181.92	c |       478 |    4300    84672    53420 |    37566      478     37 | 94.099 % |
181.92/182.03	c |       815 |    4300    84672    53420 |    41322      815     38 | 94.099 % |
182.12/182.21	c |      1321 |    4300    84672    53420 |    45455     1321     40 | 94.099 % |
182.32/182.47	c |      2081 |    4300    84672    53420 |    50000     2081     38 | 94.099 % |
182.82/182.91	c |      3222 |    4300    84672    53420 |    55000     3222     38 | 94.099 % |
183.53/183.69	c |      4930 |    4300    84672    53420 |    60500     4930     42 | 94.099 % |
184.82/184.91	c |      7492 |    4300    84672    53420 |    66550     7492     42 | 94.099 % |
187.02/187.16	c |     11336 |    4268    84672    53420 |    73205    10241     44 | 94.145 % |
190.72/190.81	c |     17102 |    4267    84672    53420 |    80526    15689     47 | 94.145 % |
192.33/192.44	c ===============================================================================
192.42/192.56	c core #3
192.42/192.56	c ============================[ Search Statistics ]==============================
192.42/192.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.42/192.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.42/192.56	c ===============================================================================
192.42/192.56	c |         0 |    4555    84686    54778 |    28228        0    nan |  0.000 % |
192.52/192.60	c |       101 |    4555    84686    54778 |    31051      101     29 | 93.751 % |
192.52/192.65	c |       252 |    4555    84686    54778 |    34156      252     38 | 93.751 % |
192.62/192.72	c |       477 |    4555    84686    54778 |    37572      477     38 | 93.751 % |
192.72/192.85	c |       816 |    4555    84686    54778 |    41329      816     43 | 93.751 % |
192.91/193.01	c |      1322 |    4555    84686    54778 |    45462     1322     40 | 93.751 % |
193.21/193.30	c |      2081 |    4555    84686    54778 |    50008     2081     45 | 93.751 % |
193.62/193.70	c |      3220 |    4555    84686    54778 |    55009     3220     42 | 93.751 % |
194.22/194.35	c |      4928 |    4555    84686    54778 |    60510     4928     47 | 93.751 % |
195.32/195.45	c |      7491 |    4555    84686    54778 |    66561     7491     44 | 93.751 % |
197.12/197.29	c |     11335 |    4555    84686    54778 |    73217    11335     48 | 93.751 % |
200.31/200.41	c |     17102 |    4555    84686    54778 |    80539    17102     48 | 93.751 % |
205.92/206.07	c |     25752 |    4555    84686    54778 |    88593    25752     48 | 93.751 % |
219.11/219.24	c |     38726 |    4555    84686    54778 |    97453    38726     48 | 93.751 % |
242.40/242.60	c |     58188 |    4555    84686    54778 |   107198    58188     49 | 93.751 % |
287.48/287.66	c |     87381 |    4504    84686    54778 |   117918    72038     48 | 93.821 % |
372.06/372.20	c |    131170 |    4504    84686    54778 |   129709   115827     52 | 93.821 % |
574.00/574.26	c |    196854 |    4504    84686    54778 |   142680   181511     55 | 93.821 % |
814.01/814.33	c |    295381 |    4298    84686    54778 |   156949    26324     42 | 94.103 % |
817.02/817.34	c ===============================================================================
817.41/817.74	c core #4
817.41/817.74	c ============================[ Search Statistics ]==============================
817.41/817.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
817.41/817.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
817.41/817.74	c ===============================================================================
817.41/817.74	c |         0 |    4809    84732    55908 |    28244        0    nan |  0.000 % |
817.41/817.79	c |       100 |    4809    84732    55908 |    31068      100     29 | 93.403 % |
817.51/817.88	c |       251 |    4809    84732    55908 |    34175      251     48 | 93.403 % |
817.61/817.96	c |       477 |    4809    84732    55908 |    37592      477     39 | 93.403 % |
817.81/818.11	c |       818 |    4809    84732    55908 |    41352      818     47 | 93.403 % |
817.91/818.28	c |      1325 |    4809    84732    55908 |    45487     1325     42 | 93.403 % |
818.21/818.57	c |      2084 |    4809    84732    55908 |    50035     2084     47 | 93.403 % |
818.61/818.98	c |      3224 |    4809    84732    55908 |    55039     3224     44 | 93.403 % |
819.41/819.70	c |      4932 |    4809    84732    55908 |    60543     4932     47 | 93.403 % |
820.61/820.90	c |      7495 |    4809    84732    55908 |    66597     7495     46 | 93.403 % |
822.81/823.11	c |     11339 |    4809    84732    55908 |    73257    11339     50 | 93.403 % |
826.51/826.86	c |     17105 |    4809    84732    55908 |    80583    17105     48 | 93.403 % |
833.11/833.46	c |     25754 |    4809    84732    55908 |    88641    25754     48 | 93.403 % |
845.10/845.46	c |     38728 |    4809    84732    55908 |    97505    38728     47 | 93.403 % |
868.09/868.47	c |     58191 |    4809    84732    55908 |   107256    58191     51 | 93.403 % |
917.88/918.23	c |     87383 |    4809    84732    55908 |   117982    87383     51 | 93.403 % |
1013.76/1014.13	c |    131172 |    4809    84732    55908 |   129780   131172     58 | 93.403 % |
1210.09/1210.54	c |    196856 |    4809    84732    55908 |   142758   196856     59 | 93.403 % |
1401.94/1402.47	c |    295383 |    4809    84732    55908 |   157034   100264     59 | 93.403 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2686944-1278444816/watcher-2686944-1278444816 -o /tmp/evaluation-result-2686944-1278444816/solver-2686944-1278444816 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686944-1278444816.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20147
/proc/meminfo: memFree=1815600/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=10072 CPUtime=0
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 287 0 0 0 0 0 0 0 21 0 1 0 12688681 10313728 206 1992294400 134512640 135751879 4294229744 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 2518 206 137 303 0 339 0

[startup+0.024909 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20147
/proc/meminfo: memFree=1815600/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=11072 CPUtime=0.01
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 546 0 0 0 1 0 0 0 21 0 1 0 12688681 11337728 465 1992294400 134512640 135751879 4294229744 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 2768 465 163 303 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11072

[startup+0.100922 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20147
/proc/meminfo: memFree=1815600/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=15260 CPUtime=0.09
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 1568 0 0 0 9 0 0 0 21 0 1 0 12688681 15626240 1487 1992294400 134512640 135751879 4294229744 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 3815 1488 281 303 0 1636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15260

[startup+0.300956 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20147
/proc/meminfo: memFree=1815600/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=19532 CPUtime=0.28
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 2904 0 0 0 28 0 0 0 22 0 1 0 12688681 20000768 2790 1992294400 134512640 135751879 4294229744 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 4883 2790 583 303 0 2704 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19532

[startup+0.701026 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20147
/proc/meminfo: memFree=1815600/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=26180 CPUtime=0.69
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 5033 0 0 0 68 1 0 0 23 0 1 0 12688681 26808320 4830 1992294400 134512640 135751879 4294229744 18446744073709551615 135202562 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 6545 4830 1208 303 0 4366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26180

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20148
/proc/meminfo: memFree=1795628/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=39476 CPUtime=1.49
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 10649 0 0 0 146 3 0 0 25 0 1 0 12688681 40423424 8282 1992294400 134512640 135751879 4294229744 18446744073709551615 134525235 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 9869 8286 145 303 0 9564 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39476

[startup+3.10044 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20148
/proc/meminfo: memFree=1765248/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=56064 CPUtime=3.08
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 15089 0 0 0 303 5 0 0 25 0 1 0 12688681 57409536 12722 1992294400 134512640 135751879 4294229744 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 14016 12722 146 303 0 13711 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56064

[startup+6.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20148
/proc/meminfo: memFree=1759544/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=63060 CPUtime=6.29
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 16839 0 0 0 623 6 0 0 25 0 1 0 12688681 64573440 14472 1992294400 134512640 135751879 4294229744 18446744073709551615 135204073 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 15765 14472 146 303 0 15460 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63060

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20148
/proc/meminfo: memFree=1749004/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=72036 CPUtime=12.68
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 19078 0 0 0 1261 7 0 0 25 0 1 0 12688681 73764864 16711 1992294400 134512640 135751879 4294229744 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 18009 16711 146 303 0 17704 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72036

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20149
/proc/meminfo: memFree=1737224/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=83784 CPUtime=25.48
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 22030 0 0 0 2540 8 0 0 25 0 1 0 12688681 85794816 19663 1992294400 134512640 135751879 4294229744 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 20946 19663 146 303 0 20641 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83784

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20149
/proc/meminfo: memFree=1720484/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=100152 CPUtime=51.07
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 26128 0 0 0 5097 10 0 0 25 0 1 0 12688681 102555648 23761 1992294400 134512640 135751879 4294229744 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 25038 23761 146 303 0 24733 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100152

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20151
/proc/meminfo: memFree=1706348/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=113176 CPUtime=102.25
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 30807 0 0 0 10209 16 0 0 25 0 1 0 12688681 115892224 27125 1992294400 134512640 135751879 4294229744 18446744073709551615 134517249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 28294 27125 147 303 0 27989 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 113176

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20152
/proc/meminfo: memFree=1706348/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=113176 CPUtime=162.23
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 30807 0 0 0 16182 41 0 0 25 0 1 0 12688681 115892224 27125 1992294400 134512640 135751879 4294229744 18446744073709551615 134598736 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 28294 27125 147 303 0 27989 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 113176

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20154
/proc/meminfo: memFree=1712920/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=105404 CPUtime=222.21
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 33383 0 0 0 22153 68 0 0 25 0 1 0 12688681 107933696 25494 1992294400 134512640 135751879 4294229744 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 26351 25494 151 303 0 26046 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 105404

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20156
/proc/meminfo: memFree=1712796/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=105404 CPUtime=282.18
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 33383 0 0 0 28133 85 0 0 25 0 1 0 12688681 107933696 25494 1992294400 134512640 135751879 4294229744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 26351 25494 151 303 0 26046 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 105404

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20157
/proc/meminfo: memFree=1712796/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=105404 CPUtime=342.17
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 33383 0 0 0 34116 101 0 0 25 0 1 0 12688681 107933696 25494 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 26351 25494 151 303 0 26046 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 105404

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20159
/proc/meminfo: memFree=1712796/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=105404 CPUtime=402.15
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 33383 0 0 0 40100 115 0 0 25 0 1 0 12688681 107933696 25494 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 26351 25494 151 303 0 26046 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 105404

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20160
/proc/meminfo: memFree=1712672/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=105404 CPUtime=462.13
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 33387 0 0 0 46084 129 0 0 25 0 1 0 12688681 107933696 25498 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 26351 25498 151 303 0 26046 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 105404

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20162
/proc/meminfo: memFree=1712672/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=105404 CPUtime=522.11
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 33387 0 0 0 52070 141 0 0 25 0 1 0 12688681 107933696 25498 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 26351 25498 151 303 0 26046 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 105404

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20164
/proc/meminfo: memFree=1712672/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=105404 CPUtime=582.09
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 33387 0 0 0 58057 152 0 0 25 0 1 0 12688681 107933696 25498 1992294400 134512640 135751879 4294229744 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 26351 25498 151 303 0 26046 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 105404

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20165
/proc/meminfo: memFree=1712672/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=105404 CPUtime=642.08
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 33387 0 0 0 64046 162 0 0 25 0 1 0 12688681 107933696 25498 1992294400 134512640 135751879 4294229744 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 26351 25498 151 303 0 26046 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 105404

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 20172
/proc/meminfo: memFree=1681424/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=137008 CPUtime=881.99
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 42315 0 0 0 87969 230 0 0 25 0 1 0 12688681 140296192 33220 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 34252 33220 151 303 0 33947 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 137008

[startup+942.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 20173
/proc/meminfo: memFree=1673488/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=145632 CPUtime=941.98
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 44452 0 0 0 93946 252 0 0 25 0 1 0 12688681 149127168 35357 1992294400 134512640 135751879 4294229744 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 36408 35357 151 303 0 36103 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 145632

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 20175
/proc/meminfo: memFree=1664560/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=154376 CPUtime=1001.96
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 46654 0 0 0 99928 268 0 0 25 0 1 0 12688681 158081024 37559 1992294400 134512640 135751879 4294229744 18446744073709551615 134604779 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 38594 37559 151 303 0 38289 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 154376

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20176
/proc/meminfo: memFree=1657864/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=161280 CPUtime=1061.93
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 48319 0 0 0 105913 280 0 0 25 0 1 0 12688681 165150720 39224 1992294400 134512640 135751879 4294229744 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 40320 39224 151 303 0 40015 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 161280

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20178
/proc/meminfo: memFree=1652160/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=166700 CPUtime=1121.91
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 49711 0 0 0 111898 293 0 0 25 0 1 0 12688681 170700800 40616 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 41675 40616 151 303 0 41370 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 166700

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20180
/proc/meminfo: memFree=1647324/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=171596 CPUtime=1181.89
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 50944 0 0 0 117885 304 0 0 25 0 1 0 12688681 175714304 41849 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 42899 41849 151 303 0 42594 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 171596

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20181
/proc/meminfo: memFree=1642116/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=176572 CPUtime=1241.88
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 52179 0 0 0 123872 316 0 0 25 0 1 0 12688681 180809728 43084 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 44143 43084 151 303 0 43838 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 176572

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20183
/proc/meminfo: memFree=1631824/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=187140 CPUtime=1301.86
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 54735 0 0 0 129852 334 0 0 25 0 1 0 12688681 191631360 45640 1992294400 134512640 135751879 4294229744 18446744073709551615 134616482 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 46785 45640 151 303 0 46480 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 187140

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20184
/proc/meminfo: memFree=1622896/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=196120 CPUtime=1361.84
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 56971 0 0 0 135831 353 0 0 25 0 1 0 12688681 200826880 47876 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 49030 47876 151 303 0 48725 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 196120

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20186
/proc/meminfo: memFree=1615456/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=203560 CPUtime=1421.83
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 58827 0 0 0 141816 367 0 0 25 0 1 0 12688681 208445440 49732 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 50890 49732 151 303 0 50585 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 203560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20188
/proc/meminfo: memFree=1609504/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=209536 CPUtime=1481.79
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 60313 0 0 0 147797 382 0 0 25 0 1 0 12688681 214564864 51218 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 52384 51218 151 303 0 52079 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 209536

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20189
/proc/meminfo: memFree=1603180/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=215692 CPUtime=1541.78
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 61871 0 0 0 153782 396 0 0 25 0 1 0 12688681 220868608 52776 1992294400 134512640 135751879 4294229744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 53923 52776 151 303 0 53618 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 215692

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20191
/proc/meminfo: memFree=1596980/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=222028 CPUtime=1601.76
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 63433 0 0 0 159766 410 0 0 25 0 1 0 12688681 227356672 54338 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 55507 54338 151 303 0 55202 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 222028

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20201
/proc/meminfo: memFree=1591400/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=227312 CPUtime=1661.73
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 64752 0 0 0 165750 423 0 0 25 0 1 0 12688681 232767488 55657 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 56828 55657 151 303 0 56523 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 227312

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20203
/proc/meminfo: memFree=1586564/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=232204 CPUtime=1721.7
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 65979 0 0 0 171738 432 0 0 25 0 1 0 12688681 237776896 56884 1992294400 134512640 135751879 4294229744 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 58051 56884 151 303 0 57746 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 232204

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20205
/proc/meminfo: memFree=1581604/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=236956 CPUtime=1781.69
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 67176 0 0 0 177727 442 0 0 25 0 1 0 12688681 242642944 58081 1992294400 134512640 135751879 4294229744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 59239 58081 151 303 0 58934 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 236956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20205
/proc/meminfo: memFree=1580240/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=238164 CPUtime=1800.1
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 67496 0 0 0 179565 445 0 0 25 0 1 0 12688681 243879936 58401 1992294400 134512640 135751879 4294229744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 59541 58401 151 303 0 59236 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 238164

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20205
/proc/meminfo: memFree=1580240/2059040 swapFree=4164944/4192956
[pid=20147] ppid=20145 vsize=238164 CPUtime=1800.1
/proc/20147/stat : 20147 (wbo1.4b) R 20145 20147 19102 0 -1 4202496 67496 0 0 0 179565 445 0 0 25 0 1 0 12688681 243879936 58401 1992294400 134512640 135751879 4294229744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20147/statm: 59541 58401 151 303 0 59236 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 238164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.13
CPU user time (s): 1795.65
CPU system time (s): 4.47732
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 238164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.65
system time used= 4.47732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67496
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= 82
involuntary context switches= 21908

runsolver used 2.97955 second user time and 8.5287 second system time

The end

Launcher Data 

Begin job on node048 at 2010-07-06 21:33:36
IDJOB=2686944
IDBENCH=77200
IDSOLVER=1161
FILE ID=node048/2686944-1278444816
PBS_JOBID= 11233477
Free space on /tmp= 62560 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12013_5.std.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686944-1278444816/watcher-2686944-1278444816 -o /tmp/evaluation-result-2686944-1278444816/solver-2686944-1278444816 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686944-1278444816.opb

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

MD5SUM BENCH= 5495138de3d55ac13cf4e73f1acf7a00
RANDOM SEED=44079437

node048.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816252 kB
Buffers:          7768 kB
Cached:         125580 kB
SwapCached:       8940 kB
Active:          51004 kB
Inactive:       124712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816252 kB
SwapTotal:     4192956 kB
SwapFree:      4164944 kB
Dirty:           10208 kB
Writeback:           0 kB
AnonPages:       33396 kB
Mapped:          13660 kB
Slab:            45200 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2686944-1278444816.opb

Free space on /tmp at the end= 62556 MiB
End job on node048 at 2010-07-06 22:03:39