Trace number 2687306

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 (fixed)? (TO) 1800.06 1800.54

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12040_1.std.opb
MD5SUM6fb8c842434b82a13287e61400a56efc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark1798.08
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 constraints245500
Number of constraints which are clauses244300
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 constraint120
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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2687306-1278451529.opb.
0.00/0.00	c Instance file HOME/instance-2687306-1278451529.opb
0.00/0.00	c File size is 8335223 bytes.
1.60/1.64	c Highest Coefficient sum: 706
1.60/1.64	c ============================[ Problem Statistics ]=============================
1.60/1.64	c |                                                                             |
1.60/1.64	c |  Parsing time:          1.62         s                                      |
1.60/1.64	c |  Number Variables:      72842                                               |
1.60/1.64	c |  Number Clauses:        244300                                              |
1.60/1.64	c |  Number Cardinality:    0                                                   |
1.60/1.64	c |  Number PB Constraints: 1200                                                |
92.27/92.37	c ============================[ Search Statistics ]==============================
92.27/92.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.27/92.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.27/92.37	c ===============================================================================
92.27/92.38	c |         0 |   56833   246698   573651 |    81833        0    nan |  0.000 % |
92.37/92.44	c ===============================================================================
92.37/92.44	c New solution: 300
92.37/92.44	o 300
92.37/92.44	c Elapsed CPU time: 92.3 s	Remaining CPU time: 87.7 s
92.37/92.44	c ===============================================================================
92.37/92.44	c |         0 |   56833   246699   573951 |    82233        0    nan |  0.000 % |
92.46/92.50	c ===============================================================================
92.46/92.50	c New solution: 299
92.46/92.50	o 299
92.46/92.50	c Elapsed CPU time: 92.358 s	Remaining CPU time: 87.642 s
92.46/92.50	c ===============================================================================
92.46/92.50	c |         0 |   56712   246700   574251 |    82233        0    nan |  0.000 % |
92.46/92.55	c ===============================================================================
92.46/92.55	c New solution: 298
92.46/92.55	o 298
92.46/92.55	c Elapsed CPU time: 92.413 s	Remaining CPU time: 87.587 s
92.46/92.55	c ===============================================================================
92.46/92.55	c |         9 |   56577   246701   574551 |    82233        9     48 |  0.000 % |
92.57/92.62	c ===============================================================================
92.57/92.62	c New solution: 297
92.57/92.62	o 297
92.57/92.62	c Elapsed CPU time: 92.4809 s	Remaining CPU time: 87.5191 s
92.57/92.62	c ===============================================================================
92.57/92.62	c |        17 |   56426   246702   574851 |    82234       17     43 |  0.000 % |
92.57/92.68	c ===============================================================================
92.57/92.68	c New solution: 296
92.57/92.68	o 296
92.57/92.68	c Elapsed CPU time: 92.5339 s	Remaining CPU time: 87.4661 s
92.57/92.68	c ===============================================================================
92.57/92.68	c |        29 |   56257   246703   575151 |    82234       29     51 |  0.000 % |
92.67/92.74	c ===============================================================================
92.67/92.74	c New solution: 295
92.67/92.74	o 295
92.67/92.74	c Elapsed CPU time: 92.5939 s	Remaining CPU time: 87.4061 s
92.67/92.74	c ===============================================================================
92.67/92.74	c |        29 |   56078   246704   575451 |    82234       29     51 |  0.000 % |
92.77/92.80	c ===============================================================================
92.77/92.80	c New solution: 294
92.77/92.80	o 294
92.77/92.80	c Elapsed CPU time: 92.6549 s	Remaining CPU time: 87.3451 s
92.77/92.80	c ===============================================================================
92.77/92.80	c |        32 |   55887   246705   575751 |    82235       32     48 |  0.000 % |
92.77/92.86	c ===============================================================================
92.77/92.86	c New solution: 293
92.77/92.86	o 293
92.77/92.86	c Elapsed CPU time: 92.7139 s	Remaining CPU time: 87.2861 s
92.77/92.86	c ===============================================================================
92.77/92.86	c |        32 |   55684   246706   576051 |    82235       32     48 |  0.000 % |
92.87/92.91	c ===============================================================================
92.87/92.91	c New solution: 292
92.87/92.91	o 292
92.87/92.91	c Elapsed CPU time: 92.7619 s	Remaining CPU time: 87.2381 s
92.87/92.91	c ===============================================================================
92.87/92.91	c |        35 |   55468   246707   576351 |    82235       35     49 |  0.000 % |
92.87/92.96	c ===============================================================================
92.87/92.96	c New solution: 291
92.87/92.96	o 291
92.87/92.96	c Elapsed CPU time: 92.8179 s	Remaining CPU time: 87.1821 s
92.87/92.96	c ===============================================================================
92.87/92.96	c |        64 |   55245   246708   576651 |    82236       64     61 |  0.000 % |
92.96/93.02	c ===============================================================================
92.96/93.02	c New solution: 290
92.96/93.02	o 290
92.96/93.02	c Elapsed CPU time: 92.8709 s	Remaining CPU time: 87.1291 s
92.96/93.02	c ===============================================================================
92.96/93.02	c |        72 |   55012   246709   576951 |    82236       57     64 |  0.000 % |
92.96/93.08	c ===============================================================================
92.96/93.08	c New solution: 289
92.96/93.08	o 289
92.96/93.08	c Elapsed CPU time: 92.9309 s	Remaining CPU time: 87.0691 s
92.96/93.08	c ===============================================================================
92.96/93.08	c |        73 |   54770   246710   577251 |    82236       58     63 |  0.000 % |
93.06/93.14	c ===============================================================================
93.06/93.14	c New solution: 288
93.06/93.14	o 288
93.06/93.14	c Elapsed CPU time: 92.9949 s	Remaining CPU time: 87.0051 s
93.06/93.14	c ===============================================================================
93.06/93.14	c |        75 |   54528   246711   577551 |    82237       60     62 |  0.000 % |
93.16/93.20	c ===============================================================================
93.16/93.20	c New solution: 287
93.16/93.20	o 287
93.16/93.20	c Elapsed CPU time: 93.0549 s	Remaining CPU time: 86.9451 s
93.16/93.20	c ===============================================================================
93.16/93.20	c |        77 |   54286   246712   577851 |    82237       62     60 |  0.000 % |
93.16/93.26	c ===============================================================================
93.16/93.26	c New solution: 286
93.16/93.26	o 286
93.16/93.26	c Elapsed CPU time: 93.1148 s	Remaining CPU time: 86.8852 s
93.16/93.26	c ===============================================================================
93.16/93.26	c |        79 |   54044   246713   578151 |    82237       64     59 |  0.000 % |
93.26/93.32	c ===============================================================================
93.26/93.32	c New solution: 285
93.26/93.32	o 285
93.26/93.32	c Elapsed CPU time: 93.1738 s	Remaining CPU time: 86.8262 s
93.26/93.32	c ===============================================================================
93.26/93.32	c |        81 |   53802   246714   578451 |    82238       66     58 |  0.000 % |
93.26/93.38	c ===============================================================================
93.26/93.38	c New solution: 284
93.26/93.38	o 284
93.26/93.38	c Elapsed CPU time: 93.2318 s	Remaining CPU time: 86.7682 s
93.26/93.38	c ===============================================================================
93.26/93.38	c |        81 |   53560   246715   578751 |    82238       66     58 |  0.000 % |
93.38/93.44	c ===============================================================================
93.38/93.44	c New solution: 283
93.38/93.44	o 283
93.38/93.44	c Elapsed CPU time: 93.2898 s	Remaining CPU time: 86.7102 s
93.38/93.44	c ===============================================================================
93.38/93.44	c |        82 |   53318   246716   579051 |    82238       67     57 |  0.000 % |
93.38/93.50	c ===============================================================================
93.38/93.50	c New solution: 282
93.38/93.50	o 282
93.38/93.50	c Elapsed CPU time: 93.3488 s	Remaining CPU time: 86.6512 s
93.38/93.50	c ===============================================================================
93.38/93.50	c |        84 |   53076   246717   579351 |    82239       69     56 |  0.000 % |
93.48/93.56	c ===============================================================================
93.48/93.56	c New solution: 281
93.48/93.56	o 281
93.48/93.56	c Elapsed CPU time: 93.4058 s	Remaining CPU time: 86.5942 s
93.48/93.56	c ===============================================================================
93.48/93.56	c |        84 |   52834   246718   579651 |    82239       69     56 |  0.000 % |
93.57/93.62	c ===============================================================================
93.57/93.62	c New solution: 280
93.57/93.62	o 280
93.57/93.62	c Elapsed CPU time: 93.4628 s	Remaining CPU time: 86.5372 s
93.57/93.62	c ===============================================================================
93.57/93.62	c |        84 |   52592   246719   579951 |    82239       69     56 |  0.000 % |
93.57/93.68	c ===============================================================================
93.57/93.68	c New solution: 279
93.57/93.68	o 279
93.57/93.68	c Elapsed CPU time: 93.5238 s	Remaining CPU time: 86.4762 s
93.57/93.68	c ===============================================================================
93.57/93.68	c |        85 |   52350   246720   580251 |    82240       16     37 |  0.000 % |
93.67/93.74	c ===============================================================================
93.67/93.74	c New solution: 278
93.67/93.74	o 278
93.67/93.74	c Elapsed CPU time: 93.5828 s	Remaining CPU time: 86.4172 s
93.67/93.74	c ===============================================================================
93.67/93.74	c |        86 |   52108   246721   580551 |    82240       17     36 |  0.000 % |
93.67/93.80	c ===============================================================================
93.67/93.80	c New solution: 277
93.76/93.80	o 277
93.76/93.80	c Elapsed CPU time: 93.6388 s	Remaining CPU time: 86.3612 s
93.76/93.80	c ===============================================================================
93.76/93.80	c |        88 |   51866   246722   580851 |    82240       19     33 |  0.000 % |
93.76/93.86	c ===============================================================================
93.76/93.86	c New solution: 276
93.76/93.86	o 276
93.76/93.86	c Elapsed CPU time: 93.7038 s	Remaining CPU time: 86.2962 s
93.76/93.86	c ===============================================================================
93.76/93.86	c |        91 |   51624   246723   581151 |    82241       22     32 |  0.000 % |
93.86/93.92	c ===============================================================================
93.86/93.92	c New solution: 275
93.86/93.92	o 275
93.86/93.92	c Elapsed CPU time: 93.7617 s	Remaining CPU time: 86.2383 s
93.86/93.92	c ===============================================================================
93.86/93.92	c |        91 |   51382   246724   581451 |    82241       22     32 |  0.000 % |
93.86/93.98	c ===============================================================================
93.86/93.98	c New solution: 274
93.86/93.98	o 274
93.86/93.98	c Elapsed CPU time: 93.8207 s	Remaining CPU time: 86.1793 s
93.86/93.98	c ===============================================================================
93.86/93.98	c |        93 |   51140   246725   581751 |    82241       24     33 |  0.000 % |
93.96/94.03	c ===============================================================================
93.96/94.03	c New solution: 273
93.96/94.03	o 273
93.96/94.03	c Elapsed CPU time: 93.8687 s	Remaining CPU time: 86.1313 s
93.96/94.03	c ===============================================================================
93.96/94.03	c |        96 |   50898   246726   582051 |    82242       27     33 |  0.000 % |
93.96/94.08	c ===============================================================================
93.96/94.08	c New solution: 272
93.96/94.08	o 272
93.96/94.08	c Elapsed CPU time: 93.9267 s	Remaining CPU time: 86.0733 s
93.96/94.08	c ===============================================================================
93.96/94.08	c |        96 |   50656   246727   582351 |    82242       27     33 |  0.000 % |
94.06/94.13	c ===============================================================================
94.06/94.13	c New solution: 271
94.06/94.13	o 271
94.06/94.13	c Elapsed CPU time: 93.9707 s	Remaining CPU time: 86.0293 s
94.06/94.13	c ===============================================================================
94.06/94.13	c |        97 |   50414   246728   582651 |    82242       28     33 |  0.000 % |
94.17/94.21	c ===============================================================================
94.17/94.21	c New solution: 270
94.17/94.21	o 270
94.17/94.21	c Elapsed CPU time: 94.0437 s	Remaining CPU time: 85.9563 s
94.17/94.21	c ===============================================================================
94.17/94.21	c |       101 |   50172   246729   582951 |    82243       32     31 |  0.000 % |
94.17/94.26	c ===============================================================================
94.17/94.26	c New solution: 269
94.17/94.26	o 269
94.17/94.26	c Elapsed CPU time: 94.0967 s	Remaining CPU time: 85.9033 s
94.17/94.26	c ===============================================================================
94.17/94.26	c |       111 |   49930   246730   583251 |    82243       42     33 |  0.000 % |
94.27/94.32	c ===============================================================================
94.27/94.32	c New solution: 268
94.27/94.32	o 268
94.27/94.32	c Elapsed CPU time: 94.1557 s	Remaining CPU time: 85.8443 s
94.27/94.32	c ===============================================================================
94.27/94.32	c |       113 |   49688   246731   583551 |    82243       32     33 |  0.000 % |
94.27/94.38	c ===============================================================================
94.27/94.38	c New solution: 267
94.27/94.38	o 267
94.27/94.38	c Elapsed CPU time: 94.2127 s	Remaining CPU time: 85.7873 s
94.27/94.38	c ===============================================================================
94.27/94.38	c |       114 |   49446   246732   583851 |    82244       33     33 |  0.000 % |
94.37/94.44	c ===============================================================================
94.37/94.44	c New solution: 266
94.37/94.44	o 266
94.37/94.44	c Elapsed CPU time: 94.2697 s	Remaining CPU time: 85.7303 s
94.37/94.44	c ===============================================================================
94.37/94.44	c |       127 |   49204   246733   584151 |    82244       46     38 |  0.000 % |
94.37/94.48	c ===============================================================================
94.37/94.48	c New solution: 265
94.37/94.48	o 265
94.37/94.48	c Elapsed CPU time: 94.3167 s	Remaining CPU time: 85.6833 s
94.37/94.48	c ===============================================================================
94.37/94.48	c |       129 |   48962   246734   584451 |    82244       48     37 |  0.000 % |
94.47/94.54	c ===============================================================================
94.47/94.54	c New solution: 264
94.47/94.54	o 264
94.47/94.54	c Elapsed CPU time: 94.3727 s	Remaining CPU time: 85.6273 s
94.47/94.54	c ===============================================================================
94.47/94.54	c |       134 |   48720   246735   584751 |    82245       53     36 |  0.000 % |
94.47/94.59	c ===============================================================================
94.47/94.59	c New solution: 263
94.47/94.59	o 263
94.47/94.59	c Elapsed CPU time: 94.4166 s	Remaining CPU time: 85.5834 s
94.47/94.59	c ===============================================================================
94.47/94.59	c |       134 |   48478   246736   585051 |    82245       53     36 |  0.000 % |
94.57/94.64	c ===============================================================================
94.57/94.64	c New solution: 262
94.57/94.64	o 262
94.57/94.64	c Elapsed CPU time: 94.4706 s	Remaining CPU time: 85.5294 s
94.57/94.64	c ===============================================================================
94.57/94.64	c |       136 |   48236   246737   585351 |    82245       55     36 |  0.000 % |
94.57/94.69	c ===============================================================================
94.57/94.69	c New solution: 261
94.57/94.69	o 261
94.57/94.69	c Elapsed CPU time: 94.5166 s	Remaining CPU time: 85.4834 s
94.57/94.69	c ===============================================================================
94.57/94.69	c |       138 |   47994   246738   585651 |    82246       57     35 |  0.000 % |
94.66/94.73	c ===============================================================================
94.66/94.73	c New solution: 260
94.66/94.73	o 260
94.66/94.73	c Elapsed CPU time: 94.5596 s	Remaining CPU time: 85.4404 s
94.66/94.73	c ===============================================================================
94.66/94.73	c |       138 |   47752   246739   585951 |    82246       57     35 |  0.000 % |
94.66/94.77	c ===============================================================================
94.66/94.77	c New solution: 259
94.66/94.77	o 259
94.66/94.77	c Elapsed CPU time: 94.6026 s	Remaining CPU time: 85.3974 s
94.66/94.77	c ===============================================================================
94.66/94.77	c |       138 |   47510   246740   586251 |    82246       57     35 |  0.000 % |
94.77/94.82	c ===============================================================================
94.77/94.82	c New solution: 258
94.77/94.82	o 258
94.77/94.82	c Elapsed CPU time: 94.6466 s	Remaining CPU time: 85.3534 s
94.77/94.82	c ===============================================================================
94.77/94.82	c |       138 |   47268   246741   586551 |    82247       57     35 |  0.000 % |
94.77/94.86	c ===============================================================================
94.77/94.86	c New solution: 257
94.77/94.86	o 257
94.77/94.86	c Elapsed CPU time: 94.6876 s	Remaining CPU time: 85.3124 s
94.77/94.86	c ===============================================================================
94.77/94.86	c |       138 |   47026   246742   586851 |    82247       57     35 |  0.000 % |
94.87/94.91	c ===============================================================================
94.87/94.91	c New solution: 256
94.87/94.91	o 256
94.87/94.91	c Elapsed CPU time: 94.7346 s	Remaining CPU time: 85.2654 s
94.87/94.91	c ===============================================================================
94.87/94.91	c |       138 |   46784   246743   587151 |    82247       17     36 |  0.000 % |
94.87/94.95	c ===============================================================================
94.87/94.95	c New solution: 255
94.87/94.95	o 255
94.87/94.95	c Elapsed CPU time: 94.7786 s	Remaining CPU time: 85.2214 s
94.87/94.95	c ===============================================================================
94.87/94.95	c |       141 |   46542   246744   587451 |    82248       20     33 |  0.000 % |
94.97/95.00	c ===============================================================================
94.97/95.00	c New solution: 254
94.97/95.00	o 254
94.97/95.00	c Elapsed CPU time: 94.8286 s	Remaining CPU time: 85.1714 s
94.97/95.00	c ===============================================================================
94.97/95.00	c |       142 |   46300   246745   587751 |    82248       21     32 |  0.000 % |
94.97/95.05	c ===============================================================================
94.97/95.05	c New solution: 253
94.97/95.05	o 253
94.97/95.05	c Elapsed CPU time: 94.8716 s	Remaining CPU time: 85.1284 s
94.97/95.05	c ===============================================================================
94.97/95.05	c |       143 |   46058   246746   588051 |    82248       22     32 |  0.000 % |
95.07/95.10	c ===============================================================================
95.07/95.10	c New solution: 252
95.07/95.10	o 252
95.07/95.10	c Elapsed CPU time: 94.9256 s	Remaining CPU time: 85.0744 s
95.07/95.10	c ===============================================================================
95.07/95.10	c |       144 |   45816   246747   588351 |    82249       23     31 |  0.000 % |
95.07/95.16	c ===============================================================================
95.07/95.16	c New solution: 251
95.07/95.16	o 251
95.07/95.16	c Elapsed CPU time: 94.9786 s	Remaining CPU time: 85.0214 s
95.07/95.16	c ===============================================================================
95.07/95.16	c |       146 |   45574   246748   588651 |    82249       25     30 |  0.000 % |
95.16/95.21	c ===============================================================================
95.16/95.21	c New solution: 250
95.16/95.21	o 250
95.16/95.21	c Elapsed CPU time: 95.0316 s	Remaining CPU time: 84.9684 s
95.16/95.21	c ===============================================================================
95.16/95.21	c |       146 |   45332   246749   588951 |    82249       25     30 |  0.000 % |
95.16/95.27	c ===============================================================================
95.16/95.27	c New solution: 249
95.16/95.27	o 249
95.16/95.27	c Elapsed CPU time: 95.0875 s	Remaining CPU time: 84.9125 s
95.16/95.27	c ===============================================================================
95.16/95.27	c |       150 |   45090   246750   589251 |    82250       29     28 |  0.000 % |
95.26/95.32	c ===============================================================================
95.26/95.32	c New solution: 248
95.26/95.32	o 248
95.26/95.32	c Elapsed CPU time: 95.1435 s	Remaining CPU time: 84.8565 s
95.26/95.32	c ===============================================================================
95.26/95.32	c |       152 |   44848   246751   589551 |    82250       31     28 |  0.000 % |
95.26/95.38	c ===============================================================================
95.26/95.38	c New solution: 247
95.26/95.38	o 247
95.26/95.38	c Elapsed CPU time: 95.1965 s	Remaining CPU time: 84.8035 s
95.26/95.38	c ===============================================================================
95.26/95.38	c |       161 |   44606   246752   589851 |    82250       40     39 |  0.000 % |
95.37/95.42	c ===============================================================================
95.37/95.42	c New solution: 246
95.37/95.42	o 246
95.37/95.42	c Elapsed CPU time: 95.2385 s	Remaining CPU time: 84.7615 s
95.37/95.42	c ===============================================================================
95.37/95.42	c |       164 |   44364   246753   590151 |    82251       43     38 |  0.000 % |
95.37/95.46	c ===============================================================================
95.37/95.46	c New solution: 245
95.37/95.46	o 245
95.37/95.46	c Elapsed CPU time: 95.2825 s	Remaining CPU time: 84.7175 s
95.37/95.46	c ===============================================================================
95.37/95.46	c |       166 |   44122   246754   590451 |    82251       45     38 |  0.000 % |
95.47/95.52	c ===============================================================================
95.47/95.52	c New solution: 244
95.47/95.52	o 244
95.47/95.52	c Elapsed CPU time: 95.3335 s	Remaining CPU time: 84.6665 s
95.47/95.52	c ===============================================================================
95.47/95.52	c |       173 |   43880   246755   590751 |    82251       32     31 |  0.000 % |
95.47/95.57	c ===============================================================================
95.47/95.57	c New solution: 243
95.47/95.57	o 243
95.47/95.57	c Elapsed CPU time: 95.3855 s	Remaining CPU time: 84.6145 s
95.47/95.57	c ===============================================================================
95.47/95.57	c |       174 |   43638   246756   591051 |    82252       33     30 |  0.000 % |
95.58/95.62	c ===============================================================================
95.58/95.62	c New solution: 242
95.58/95.62	o 242
95.58/95.62	c Elapsed CPU time: 95.4375 s	Remaining CPU time: 84.5625 s
95.58/95.62	c ===============================================================================
95.58/95.62	c |       175 |   43396   246757   591351 |    82252       34     30 |  0.000 % |
95.58/95.67	c ===============================================================================
95.58/95.67	c New solution: 241
95.58/95.67	o 241
95.58/95.67	c Elapsed CPU time: 95.4895 s	Remaining CPU time: 84.5105 s
95.58/95.67	c ===============================================================================
95.58/95.67	c |       177 |   43154   246758   591651 |    82252       36     29 |  0.000 % |
95.67/95.73	c ===============================================================================
95.67/95.73	c New solution: 240
95.67/95.73	o 240
95.67/95.73	c Elapsed CPU time: 95.5385 s	Remaining CPU time: 84.4615 s
95.67/95.73	c ===============================================================================
95.67/95.73	c |       179 |   42912   246759   591951 |    82253       38     29 |  0.000 % |
95.67/95.78	c ===============================================================================
95.67/95.78	c New solution: 239
95.67/95.78	o 239
95.67/95.78	c Elapsed CPU time: 95.5905 s	Remaining CPU time: 84.4095 s
95.67/95.78	c ===============================================================================
95.67/95.78	c |       181 |   42670   246760   592251 |    82253       40     28 |  0.000 % |
95.76/95.83	c ===============================================================================
95.76/95.83	c New solution: 238
95.76/95.83	o 238
95.76/95.83	c Elapsed CPU time: 95.6425 s	Remaining CPU time: 84.3575 s
95.76/95.83	c ===============================================================================
95.76/95.83	c |       182 |   42428   246761   592551 |    82253       41     28 |  0.000 % |
95.76/95.88	c ===============================================================================
95.76/95.88	c New solution: 237
95.76/95.88	o 237
95.76/95.88	c Elapsed CPU time: 95.6945 s	Remaining CPU time: 84.3055 s
95.76/95.88	c ===============================================================================
95.76/95.88	c |       184 |   42186   246762   592851 |    82254       43     27 |  0.000 % |
95.86/95.93	c ===============================================================================
95.86/95.93	c New solution: 236
95.86/95.93	o 236
95.86/95.93	c Elapsed CPU time: 95.7434 s	Remaining CPU time: 84.2566 s
95.86/95.93	c ===============================================================================
95.86/95.93	c |       184 |   41944   246763   593151 |    82254       43     27 |  0.000 % |
95.86/95.98	c ===============================================================================
95.86/95.98	c New solution: 235
95.86/95.98	o 235
95.86/95.98	c Elapsed CPU time: 95.7954 s	Remaining CPU time: 84.2046 s
95.86/95.98	c ===============================================================================
95.86/95.98	c |       186 |   41702   246764   593451 |    82254       45     28 |  0.000 % |
95.96/96.04	c ===============================================================================
95.96/96.04	c New solution: 234
95.96/96.04	o 234
95.96/96.04	c Elapsed CPU time: 95.8454 s	Remaining CPU time: 84.1546 s
95.96/96.04	c ===============================================================================
95.96/96.04	c |       186 |   41460   246765   593751 |    82255       45     28 |  0.000 % |
95.96/96.09	c ===============================================================================
95.96/96.09	c New solution: 233
95.96/96.09	o 233
95.96/96.09	c Elapsed CPU time: 95.8954 s	Remaining CPU time: 84.1046 s
95.96/96.09	c ===============================================================================
95.96/96.09	c |       186 |   41218   246766   594051 |    82255       45     28 |  0.000 % |
96.06/96.13	c ===============================================================================
96.06/96.13	c New solution: 232
96.06/96.13	o 232
96.06/96.13	c Elapsed CPU time: 95.9354 s	Remaining CPU time: 84.0646 s
96.06/96.13	c ===============================================================================
96.06/96.13	c |       187 |   40976   246767   594351 |    82255       46     28 |  0.000 % |
96.06/96.18	c ===============================================================================
96.06/96.18	c New solution: 231
96.06/96.18	o 231
96.06/96.18	c Elapsed CPU time: 95.9854 s	Remaining CPU time: 84.0146 s
96.06/96.18	c ===============================================================================
96.06/96.18	c |       188 |   40734   246768   594651 |    82256       47     28 |  0.000 % |
96.17/96.23	c ===============================================================================
96.17/96.23	c New solution: 230
96.17/96.23	o 230
96.17/96.23	c Elapsed CPU time: 96.0374 s	Remaining CPU time: 83.9626 s
96.17/96.23	c ===============================================================================
96.17/96.23	c |       188 |   40492   246769   594951 |    82256       16     34 |  0.000 % |
96.17/96.28	c ===============================================================================
96.17/96.28	c New solution: 229
96.17/96.28	o 229
96.17/96.28	c Elapsed CPU time: 96.0834 s	Remaining CPU time: 83.9166 s
96.17/96.28	c ===============================================================================
96.17/96.28	c |       190 |   40250   246770   595251 |    82256       18     33 |  0.000 % |
96.27/96.33	c ===============================================================================
96.27/96.33	c New solution: 227
96.27/96.33	o 227
96.27/96.33	c Elapsed CPU time: 96.1354 s	Remaining CPU time: 83.8646 s
96.27/96.33	c ===============================================================================
96.27/96.33	c |       191 |   40008   246771   595551 |    82257       19     32 |  0.000 % |
96.27/96.38	c ===============================================================================
96.27/96.38	c New solution: 226
96.27/96.38	o 226
96.27/96.38	c Elapsed CPU time: 96.1854 s	Remaining CPU time: 83.8146 s
96.27/96.38	c ===============================================================================
96.27/96.38	c |       192 |   39524   246772   595851 |    82257       20     31 |  0.000 % |
96.37/96.43	c ===============================================================================
96.37/96.43	c New solution: 225
96.37/96.43	o 225
96.37/96.43	c Elapsed CPU time: 96.2344 s	Remaining CPU time: 83.7656 s
96.37/96.43	c ===============================================================================
96.37/96.43	c |       192 |   39282   246773   596151 |    82257       20     31 |  0.000 % |
96.37/96.48	c ===============================================================================
96.37/96.48	c New solution: 224
96.37/96.48	o 224
96.37/96.48	c Elapsed CPU time: 96.2824 s	Remaining CPU time: 83.7176 s
96.37/96.48	c ===============================================================================
96.37/96.48	c |       192 |   39040   246774   596451 |    82258       20     31 |  0.000 % |
96.47/96.53	c ===============================================================================
96.47/96.53	c New solution: 223
96.47/96.53	o 223
96.47/96.53	c Elapsed CPU time: 96.3304 s	Remaining CPU time: 83.6696 s
96.47/96.53	c ===============================================================================
96.47/96.53	c |       192 |   38798   246775   596751 |    82258       20     31 |  0.000 % |
96.47/96.58	c ===============================================================================
96.47/96.58	c New solution: 222
96.47/96.58	o 222
96.47/96.58	c Elapsed CPU time: 96.3803 s	Remaining CPU time: 83.6197 s
96.47/96.58	c ===============================================================================
96.47/96.58	c |       197 |   38556   246776   597051 |    82258       25     30 |  0.000 % |
96.56/96.63	c ===============================================================================
96.56/96.63	c New solution: 221
96.56/96.63	o 221
96.56/96.63	c Elapsed CPU time: 96.4293 s	Remaining CPU time: 83.5707 s
96.56/96.63	c ===============================================================================
96.56/96.63	c |       197 |   38314   246777   597351 |    82259       25     30 |  0.000 % |
96.56/96.67	c ===============================================================================
96.56/96.67	c New solution: 220
96.56/96.67	o 220
96.56/96.67	c Elapsed CPU time: 96.4753 s	Remaining CPU time: 83.5247 s
96.56/96.67	c ===============================================================================
96.56/96.67	c |       206 |   38072   246778   597651 |    82259       34     29 |  0.000 % |
96.67/96.72	c ===============================================================================
96.67/96.72	c New solution: 219
96.67/96.72	o 219
96.67/96.72	c Elapsed CPU time: 96.5233 s	Remaining CPU time: 83.4767 s
96.67/96.72	c ===============================================================================
96.67/96.72	c |       206 |   37830   246779   597951 |    82259       34     29 |  0.000 % |
96.67/96.77	c ===============================================================================
96.67/96.77	c New solution: 218
96.67/96.77	o 218
96.67/96.77	c Elapsed CPU time: 96.5703 s	Remaining CPU time: 83.4297 s
96.67/96.77	c ===============================================================================
96.67/96.77	c |       207 |   37588   246780   598251 |    82260       35     29 |  0.000 % |
96.77/96.82	c ===============================================================================
96.77/96.82	c New solution: 217
96.77/96.82	o 217
96.77/96.82	c Elapsed CPU time: 96.6183 s	Remaining CPU time: 83.3817 s
96.77/96.82	c ===============================================================================
96.77/96.82	c |       208 |   37346   246781   598551 |    82260       36     28 |  0.000 % |
96.77/96.86	c ===============================================================================
96.77/96.86	c New solution: 216
96.77/96.86	o 216
96.77/96.86	c Elapsed CPU time: 96.6643 s	Remaining CPU time: 83.3357 s
96.77/96.86	c ===============================================================================
96.77/96.86	c |       208 |   37104   246782   598851 |    82260       36     28 |  0.000 % |
96.86/96.91	c ===============================================================================
96.86/96.91	c New solution: 215
96.86/96.91	o 215
96.86/96.91	c Elapsed CPU time: 96.7113 s	Remaining CPU time: 83.2887 s
96.86/96.91	c ===============================================================================
96.86/96.91	c |       209 |   36862   246783   599151 |    82261       37     28 |  0.000 % |
96.86/96.96	c ===============================================================================
96.86/96.96	c New solution: 214
96.86/96.96	o 214
96.86/96.96	c Elapsed CPU time: 96.7543 s	Remaining CPU time: 83.2457 s
96.86/96.96	c ===============================================================================
96.86/96.96	c |       211 |   36620   246784   599451 |    82261       17     38 |  0.000 % |
96.96/97.00	c ===============================================================================
96.96/97.00	c New solution: 213
96.96/97.00	o 213
96.96/97.00	c Elapsed CPU time: 96.8023 s	Remaining CPU time: 83.1977 s
96.96/97.00	c ===============================================================================
96.96/97.00	c |       211 |   36378   246785   599751 |    82261       17     38 |  0.000 % |
96.96/97.05	c ===============================================================================
96.96/97.05	c New solution: 212
96.96/97.05	o 212
96.96/97.05	c Elapsed CPU time: 96.8493 s	Remaining CPU time: 83.1507 s
96.96/97.05	c ===============================================================================
96.96/97.05	c |       211 |   36136   246786   600051 |    82262       17     38 |  0.000 % |
97.06/97.10	c ===============================================================================
97.06/97.10	c New solution: 211
97.06/97.10	o 211
97.06/97.10	c Elapsed CPU time: 96.8963 s	Remaining CPU time: 83.1037 s
97.06/97.10	c ===============================================================================
97.06/97.10	c |       211 |   35894   246787   600351 |    82262       17     38 |  0.000 % |
97.06/97.15	c ===============================================================================
97.06/97.15	c New solution: 210
97.06/97.15	o 210
97.06/97.15	c Elapsed CPU time: 96.9463 s	Remaining CPU time: 83.0537 s
97.06/97.15	c ===============================================================================
97.06/97.15	c |       212 |   35652   246788   600651 |    82262       18     38 |  0.000 % |
97.06/97.19	c ===============================================================================
97.06/97.19	c New solution: 209
97.06/97.19	o 209
97.06/97.19	c Elapsed CPU time: 96.9923 s	Remaining CPU time: 83.0077 s
97.06/97.19	c ===============================================================================
97.06/97.19	c |       212 |   35410   246789   600951 |    82263       18     38 |  0.000 % |
97.16/97.24	c ===============================================================================
97.16/97.24	c New solution: 208
97.16/97.24	o 208
97.16/97.24	c Elapsed CPU time: 97.0402 s	Remaining CPU time: 82.9598 s
97.16/97.24	c ===============================================================================
97.16/97.24	c |       212 |   35168   246790   601251 |    82263       18     38 |  0.000 % |
97.16/97.29	c ===============================================================================
97.16/97.29	c New solution: 207
97.16/97.29	o 207
97.16/97.29	c Elapsed CPU time: 97.0872 s	Remaining CPU time: 82.9128 s
97.16/97.29	c ===============================================================================
97.16/97.29	c |       216 |   34926   246791   601551 |    82263       22     35 |  0.000 % |
97.26/97.34	c ===============================================================================
97.26/97.34	c New solution: 206
97.26/97.34	o 206
97.26/97.34	c Elapsed CPU time: 97.1332 s	Remaining CPU time: 82.8668 s
97.26/97.34	c ===============================================================================
97.26/97.34	c |       217 |   34684   246792   601851 |    82264       23     35 |  0.000 % |
97.26/97.38	c ===============================================================================
97.26/97.38	c New solution: 205
97.26/97.38	o 205
97.26/97.38	c Elapsed CPU time: 97.1792 s	Remaining CPU time: 82.8208 s
97.26/97.38	c ===============================================================================
97.26/97.38	c |       217 |   34442   246793   602151 |    82264       23     35 |  0.000 % |
97.37/97.43	c ===============================================================================
97.37/97.43	c New solution: 204
97.37/97.43	o 204
97.37/97.43	c Elapsed CPU time: 97.2252 s	Remaining CPU time: 82.7748 s
97.37/97.43	c ===============================================================================
97.37/97.43	c |       219 |   34200   246794   602451 |    82264       25     34 |  0.000 % |
97.37/97.47	c ===============================================================================
97.37/97.47	c New solution: 203
97.37/97.47	o 203
97.37/97.47	c Elapsed CPU time: 97.2692 s	Remaining CPU time: 82.7308 s
97.37/97.47	c ===============================================================================
97.37/97.47	c |       220 |   33958   246795   602751 |    82265       26     34 |  0.000 % |
97.47/97.52	c ===============================================================================
97.47/97.52	c New solution: 202
97.47/97.52	o 202
97.47/97.52	c Elapsed CPU time: 97.3152 s	Remaining CPU time: 82.6848 s
97.47/97.52	c ===============================================================================
97.47/97.52	c |       220 |   33716   246796   603051 |    82265       26     34 |  0.000 % |
97.47/97.57	c ===============================================================================
97.47/97.57	c New solution: 201
97.47/97.57	o 201
97.47/97.57	c Elapsed CPU time: 97.3602 s	Remaining CPU time: 82.6398 s
97.47/97.57	c ===============================================================================
97.47/97.57	c |       223 |   33474   246797   603351 |    82265       29     33 |  0.000 % |
97.57/97.61	c ===============================================================================
97.57/97.61	c New solution: 200
97.57/97.61	o 200
97.57/97.61	c Elapsed CPU time: 97.4062 s	Remaining CPU time: 82.5938 s
97.57/97.61	c ===============================================================================
97.57/97.61	c |       223 |   33232   246798   603651 |    82266       29     33 |  0.000 % |
97.57/97.66	c ===============================================================================
97.57/97.66	c New solution: 199
97.57/97.66	o 199
97.57/97.66	c Elapsed CPU time: 97.4512 s	Remaining CPU time: 82.5488 s
97.57/97.66	c ===============================================================================
97.57/97.66	c |       223 |   32990   246799   603951 |    82266       29     33 |  0.000 % |
97.67/97.70	c ===============================================================================
97.67/97.70	c New solution: 198
97.67/97.70	o 198
97.67/97.70	c Elapsed CPU time: 97.4962 s	Remaining CPU time: 82.5038 s
97.67/97.70	c ===============================================================================
97.67/97.70	c |       223 |   32748   246800   604251 |    82266       29     33 |  0.000 % |
97.67/97.74	c ===============================================================================
97.67/97.74	c New solution: 197
97.67/97.74	o 197
97.67/97.74	c Elapsed CPU time: 97.5342 s	Remaining CPU time: 82.4658 s
97.67/97.74	c ===============================================================================
97.67/97.74	c |       228 |   32506   246801   604551 |    82267        9     36 |  0.000 % |
97.67/97.79	c ===============================================================================
97.67/97.79	c New solution: 196
97.67/97.79	o 196
97.67/97.79	c Elapsed CPU time: 97.5782 s	Remaining CPU time: 82.4218 s
97.67/97.79	c ===============================================================================
97.67/97.79	c |       229 |   32264   246802   604851 |    82267       10     35 |  0.000 % |
97.77/97.83	c ===============================================================================
97.77/97.83	c New solution: 195
97.77/97.83	o 195
97.77/97.83	c Elapsed CPU time: 97.6242 s	Remaining CPU time: 82.3758 s
97.77/97.83	c ===============================================================================
97.77/97.83	c |       230 |   32022   246803   605151 |    82267       11     34 |  0.000 % |
97.77/97.87	c ===============================================================================
97.77/97.87	c New solution: 194
97.77/97.87	o 194
97.77/97.87	c Elapsed CPU time: 97.6612 s	Remaining CPU time: 82.3388 s
97.77/97.87	c ===============================================================================
97.77/97.87	c |       231 |   31780   246804   605451 |    82268       12     34 |  0.000 % |
97.87/97.91	c ===============================================================================
97.87/97.91	c New solution: 193
97.87/97.91	o 193
97.87/97.91	c Elapsed CPU time: 97.7071 s	Remaining CPU time: 82.2929 s
97.87/97.91	c ===============================================================================
97.87/97.91	c |       233 |   31538   246805   605751 |    82268       14     32 |  0.000 % |
97.87/97.96	c ===============================================================================
97.87/97.96	c New solution: 192
97.87/97.96	o 192
97.87/97.96	c Elapsed CPU time: 97.7501 s	Remaining CPU time: 82.2499 s
97.87/97.96	c ===============================================================================
97.87/97.96	c |       233 |   31296   246806   606051 |    82268       14     32 |  0.000 % |
97.96/98.00	c ===============================================================================
97.96/98.00	c New solution: 191
97.96/98.00	o 191
97.96/98.00	c Elapsed CPU time: 97.7931 s	Remaining CPU time: 82.2069 s
97.96/98.00	c ===============================================================================
97.96/98.00	c |       235 |   31054   246807   606351 |    82269       16     30 |  0.000 % |
97.96/98.05	c ===============================================================================
97.96/98.05	c New solution: 190
97.96/98.05	o 190
97.96/98.05	c Elapsed CPU time: 97.8371 s	Remaining CPU time: 82.1629 s
97.96/98.05	c ===============================================================================
97.96/98.05	c |       236 |   30812   246808   606651 |    82269       17     29 |  0.000 % |
97.96/98.09	c ===============================================================================
97.96/98.09	c New solution: 189
97.96/98.09	o 189
97.96/98.09	c Elapsed CPU time: 97.8741 s	Remaining CPU time: 82.1259 s
97.96/98.09	c ===============================================================================
97.96/98.09	c |       239 |   30570   246809   606951 |    82269       20     28 |  0.000 % |
98.06/98.12	c ===============================================================================
98.06/98.12	c New solution: 188
98.06/98.12	o 188
98.06/98.12	c Elapsed CPU time: 97.9101 s	Remaining CPU time: 82.0899 s
98.06/98.12	c ===============================================================================
98.06/98.12	c |       244 |   30328   246810   607251 |    82270       25     27 |  0.000 % |
98.06/98.17	c ===============================================================================
98.06/98.17	c New solution: 187
98.06/98.17	o 187
98.06/98.17	c Elapsed CPU time: 97.9501 s	Remaining CPU time: 82.0499 s
98.06/98.17	c ===============================================================================
98.06/98.17	c |       244 |   30086   246811   607551 |    82270       25     27 |  0.000 % |
98.17/98.21	c ===============================================================================
98.17/98.21	c New solution: 186
98.17/98.21	o 186
98.17/98.21	c Elapsed CPU time: 97.9931 s	Remaining CPU time: 82.0069 s
98.17/98.21	c ===============================================================================
98.17/98.21	c |       244 |   29844   246812   607851 |    82270       25     27 |  0.000 % |
98.17/98.25	c ===============================================================================
98.17/98.25	c New solution: 185
98.17/98.25	o 185
98.17/98.25	c Elapsed CPU time: 98.0351 s	Remaining CPU time: 81.9649 s
98.17/98.25	c ===============================================================================
98.17/98.25	c |       244 |   29602   246813   608151 |    82271       25     27 |  0.000 % |
98.17/98.29	c ===============================================================================
98.17/98.29	c New solution: 184
98.17/98.29	o 184
98.17/98.29	c Elapsed CPU time: 98.0771 s	Remaining CPU time: 81.9229 s
98.17/98.29	c ===============================================================================
98.17/98.29	c |       244 |   29360   246814   608451 |    82271       25     27 |  0.000 % |
98.27/98.33	c ===============================================================================
98.27/98.33	c New solution: 183
98.27/98.33	o 183
98.27/98.33	c Elapsed CPU time: 98.1161 s	Remaining CPU time: 81.8839 s
98.27/98.33	c ===============================================================================
98.27/98.33	c |       244 |   29118   246815   608751 |    82271       25     27 |  0.000 % |
98.27/98.38	c ===============================================================================
98.27/98.38	c New solution: 182
98.27/98.38	o 182
98.27/98.38	c Elapsed CPU time: 98.1581 s	Remaining CPU time: 81.8419 s
98.27/98.38	c ===============================================================================
98.27/98.38	c |       245 |   28876   246816   609051 |    82272       26     27 |  0.000 % |
98.36/98.42	c ===============================================================================
98.36/98.42	c New solution: 181
98.36/98.42	o 181
98.36/98.42	c Elapsed CPU time: 98.2011 s	Remaining CPU time: 81.7989 s
98.36/98.42	c ===============================================================================
98.36/98.42	c |       246 |   28634   246817   609351 |    82272       27     26 |  0.000 % |
98.36/98.46	c ===============================================================================
98.36/98.46	c New solution: 180
98.36/98.46	o 180
98.36/98.46	c Elapsed CPU time: 98.2431 s	Remaining CPU time: 81.7569 s
98.36/98.46	c ===============================================================================
98.36/98.46	c |       246 |   28392   246818   609651 |    82272       27     26 |  0.000 % |
98.46/98.50	c ===============================================================================
98.46/98.50	c New solution: 179
98.46/98.50	o 179
98.46/98.50	c Elapsed CPU time: 98.2791 s	Remaining CPU time: 81.7209 s
98.46/98.50	c ===============================================================================
98.46/98.50	c |       247 |   28150   246819   609951 |    82273       28     27 |  0.000 % |
98.46/98.53	c ===============================================================================
98.46/98.53	c New solution: 178
98.46/98.53	o 178
98.46/98.53	c Elapsed CPU time: 98.3161 s	Remaining CPU time: 81.6839 s
98.46/98.53	c ===============================================================================
98.46/98.53	c |       253 |   27908   246820   610251 |    82273       34     29 |  0.000 % |
98.46/98.58	c ===============================================================================
98.46/98.58	c New solution: 177
98.46/98.58	o 177
98.46/98.58	c Elapsed CPU time: 98.36 s	Remaining CPU time: 81.64 s
98.46/98.58	c ===============================================================================
98.46/98.58	c |       253 |   27666   246821   610551 |    82273        5     27 |  0.000 % |
98.56/98.62	c ===============================================================================
98.56/98.62	c New solution: 176
98.56/98.62	o 176
98.56/98.62	c Elapsed CPU time: 98.404 s	Remaining CPU time: 81.596 s
98.56/98.62	c ===============================================================================
98.56/98.62	c |       255 |   27424   246822   610851 |    82274        7     24 |  0.000 % |
98.56/98.66	c ===============================================================================
98.56/98.66	c New solution: 175
98.56/98.66	o 175
98.56/98.66	c Elapsed CPU time: 98.44 s	Remaining CPU time: 81.56 s
98.56/98.66	c ===============================================================================
98.56/98.66	c |       256 |   27182   246823   611151 |    82274        8     23 |  0.000 % |
98.66/98.70	c ===============================================================================
98.66/98.70	c New solution: 174
98.66/98.70	o 174
98.66/98.70	c Elapsed CPU time: 98.479 s	Remaining CPU time: 81.521 s
98.66/98.70	c ===============================================================================
98.66/98.70	c |       256 |   26940   246824   611451 |    82274        8     23 |  0.000 % |
98.66/98.74	c ===============================================================================
98.66/98.74	c New solution: 173
98.66/98.74	o 173
98.66/98.74	c Elapsed CPU time: 98.519 s	Remaining CPU time: 81.481 s
98.66/98.74	c ===============================================================================
98.66/98.74	c |       256 |   26698   246825   611751 |    82275        8     23 |  0.000 % |
98.66/98.78	c ===============================================================================
98.66/98.78	c New solution: 172
98.66/98.78	o 172
98.66/98.78	c Elapsed CPU time: 98.56 s	Remaining CPU time: 81.44 s
98.66/98.78	c ===============================================================================
98.66/98.78	c |       258 |   26456   246826   612051 |    82275       10     22 |  0.000 % |
98.76/98.82	c ===============================================================================
98.76/98.82	c New solution: 171
98.76/98.82	o 171
98.76/98.82	c Elapsed CPU time: 98.6 s	Remaining CPU time: 81.4 s
98.76/98.82	c ===============================================================================
98.76/98.82	c |       258 |   26214   246827   612351 |    82275       10     22 |  0.000 % |
98.76/98.86	c ===============================================================================
98.76/98.86	c New solution: 170
98.76/98.86	o 170
98.76/98.86	c Elapsed CPU time: 98.639 s	Remaining CPU time: 81.361 s
98.76/98.86	c ===============================================================================
98.76/98.86	c |       260 |   25972   246828   612651 |    82276       12     22 |  0.000 % |
98.87/98.90	c ===============================================================================
98.87/98.90	c New solution: 169
98.87/98.90	o 169
98.87/98.90	c Elapsed CPU time: 98.68 s	Remaining CPU time: 81.32 s
98.87/98.90	c ===============================================================================
98.87/98.90	c |       261 |   25730   246829   612951 |    82276       13     22 |  0.000 % |
98.87/98.94	c ===============================================================================
98.87/98.94	c New solution: 168
98.87/98.94	o 168
98.87/98.94	c Elapsed CPU time: 98.719 s	Remaining CPU time: 81.281 s
98.87/98.94	c ===============================================================================
98.87/98.94	c |       262 |   25488   246830   613251 |    82276       14     22 |  0.000 % |
98.87/98.98	c ===============================================================================
98.87/98.98	c New solution: 167
98.87/98.98	o 167
98.87/98.98	c Elapsed CPU time: 98.757 s	Remaining CPU time: 81.243 s
98.87/98.98	c ===============================================================================
98.87/98.98	c |       262 |   25246   246831   613551 |    82277       14     22 |  0.000 % |
98.97/99.02	c ===============================================================================
98.97/99.02	c New solution: 166
98.97/99.02	o 166
98.97/99.02	c Elapsed CPU time: 98.795 s	Remaining CPU time: 81.205 s
98.97/99.02	c ===============================================================================
98.97/99.02	c |       263 |   25004   246832   613851 |    82277       15     21 |  0.000 % |
98.97/99.06	c ===============================================================================
98.97/99.06	c New solution: 165
98.97/99.06	o 165
98.97/99.06	c Elapsed CPU time: 98.834 s	Remaining CPU time: 81.166 s
98.97/99.06	c ===============================================================================
98.97/99.06	c |       263 |   24762   246833   614151 |    82277       15     21 |  0.000 % |
98.97/99.09	c ===============================================================================
98.97/99.09	c New solution: 164
98.97/99.09	o 164
98.97/99.09	c Elapsed CPU time: 98.869 s	Remaining CPU time: 81.131 s
98.97/99.09	c ===============================================================================
98.97/99.09	c |       265 |   24520   246834   614451 |    82278       17     22 |  0.000 % |
99.07/99.13	c ===============================================================================
99.07/99.13	c New solution: 163
99.07/99.13	o 163
99.07/99.13	c Elapsed CPU time: 98.906 s	Remaining CPU time: 81.094 s
99.07/99.13	c ===============================================================================
99.07/99.13	c |       265 |   24278   246835   614751 |    82278       17     22 |  0.000 % |
99.07/99.17	c ===============================================================================
99.07/99.17	c New solution: 162
99.07/99.17	o 162
99.07/99.17	c Elapsed CPU time: 98.945 s	Remaining CPU time: 81.055 s
99.07/99.17	c ===============================================================================
99.07/99.17	c |       267 |   24036   246836   615051 |    82278       19     21 |  0.000 % |
99.16/99.21	c ===============================================================================
99.16/99.21	c New solution: 161
99.16/99.21	o 161
99.16/99.21	c Elapsed CPU time: 98.987 s	Remaining CPU time: 81.013 s
99.16/99.21	c ===============================================================================
99.16/99.21	c |       274 |   23794   246837   615351 |    82279       26     28 |  0.000 % |
99.16/99.25	c ===============================================================================
99.16/99.25	c New solution: 160
99.16/99.25	o 160
99.16/99.25	c Elapsed CPU time: 99.0259 s	Remaining CPU time: 80.9741 s
99.16/99.25	c ===============================================================================
99.16/99.25	c |       275 |   23552   246838   615651 |    82279       27     28 |  0.000 % |
99.16/99.29	c ===============================================================================
99.16/99.29	c New solution: 159
99.16/99.29	o 159
99.16/99.29	c Elapsed CPU time: 99.0649 s	Remaining CPU time: 80.9351 s
99.16/99.29	c ===============================================================================
99.16/99.29	c |       275 |   23310   246839   615951 |    82279       27     28 |  0.000 % |
99.26/99.33	c ===============================================================================
99.26/99.33	c New solution: 158
99.26/99.33	o 158
99.26/99.33	c Elapsed CPU time: 99.1029 s	Remaining CPU time: 80.8971 s
99.26/99.33	c ===============================================================================
99.26/99.33	c |       276 |   23068   246840   616251 |    82280       28     28 |  0.000 % |
99.26/99.36	c ===============================================================================
99.26/99.36	c New solution: 157
99.26/99.36	o 157
99.26/99.36	c Elapsed CPU time: 99.1359 s	Remaining CPU time: 80.8641 s
99.26/99.36	c ===============================================================================
99.26/99.36	c |       280 |   22826   246841   616551 |    82280       32     29 |  0.000 % |
99.36/99.40	c ===============================================================================
99.36/99.40	c New solution: 156
99.36/99.40	o 156
99.36/99.40	c Elapsed CPU time: 99.1759 s	Remaining CPU time: 80.8241 s
99.36/99.40	c ===============================================================================
99.36/99.40	c |       282 |   22584   246842   616851 |    82280       34     29 |  0.000 % |
99.36/99.44	c ===============================================================================
99.36/99.44	c New solution: 155
99.36/99.44	o 155
99.36/99.44	c Elapsed CPU time: 99.2129 s	Remaining CPU time: 80.7871 s
99.36/99.44	c ===============================================================================
99.36/99.44	c |       284 |   22342   246843   617151 |    82281       36     29 |  0.000 % |
99.36/99.48	c ===============================================================================
99.36/99.48	c New solution: 154
99.36/99.48	o 154
99.36/99.48	c Elapsed CPU time: 99.2529 s	Remaining CPU time: 80.7471 s
99.36/99.48	c ===============================================================================
99.36/99.48	c |       290 |   22100   246844   617451 |    82281       20     38 |  0.000 % |
99.46/99.52	c ===============================================================================
99.46/99.52	c New solution: 153
99.46/99.52	o 153
99.46/99.52	c Elapsed CPU time: 99.2909 s	Remaining CPU time: 80.7091 s
99.46/99.52	c ===============================================================================
99.46/99.52	c |       291 |   21858   246845   617751 |    82281       21     37 |  0.000 % |
99.46/99.55	c ===============================================================================
99.46/99.55	c New solution: 152
99.46/99.55	o 152
99.46/99.55	c Elapsed CPU time: 99.3229 s	Remaining CPU time: 80.6771 s
99.46/99.55	c ===============================================================================
99.46/99.55	c |       294 |   21616   246846   618051 |    82282       24     38 |  0.000 % |
99.46/99.59	c ===============================================================================
99.46/99.59	c New solution: 151
99.46/99.59	o 151
99.46/99.59	c Elapsed CPU time: 99.3599 s	Remaining CPU time: 80.6401 s
99.46/99.59	c ===============================================================================
99.46/99.59	c |       296 |   21374   246847   618351 |    82282       26     36 |  0.000 % |
99.56/99.62	c ===============================================================================
99.56/99.62	c New solution: 150
99.56/99.62	o 150
99.56/99.62	c Elapsed CPU time: 99.3909 s	Remaining CPU time: 80.6091 s
99.56/99.62	c ===============================================================================
99.56/99.62	c |       299 |   21132   246848   618651 |    82282       29     34 |  0.000 % |
99.56/99.66	c ===============================================================================
99.56/99.66	c New solution: 149
99.56/99.66	o 149
99.56/99.66	c Elapsed CPU time: 99.4269 s	Remaining CPU time: 80.5731 s
99.56/99.66	c ===============================================================================
99.56/99.66	c |       299 |   20890   246849   618951 |    82283       29     34 |  0.000 % |
99.56/99.70	c ===============================================================================
99.56/99.70	c New solution: 148
99.66/99.70	o 148
99.66/99.70	c Elapsed CPU time: 99.4639 s	Remaining CPU time: 80.5361 s
99.66/99.70	c ===============================================================================
99.66/99.70	c |       302 |   20648   246850   619251 |    82283       32     33 |  0.000 % |
99.66/99.73	c ===============================================================================
99.66/99.73	c New solution: 147
99.66/99.73	o 147
99.66/99.73	c Elapsed CPU time: 99.4959 s	Remaining CPU time: 80.5041 s
99.66/99.73	c ===============================================================================
99.66/99.73	c |       303 |   20406   246851   619551 |    82283       33     32 |  0.000 % |
99.66/99.76	c ===============================================================================
99.66/99.76	c New solution: 146
99.66/99.76	o 146
99.66/99.76	c Elapsed CPU time: 99.5319 s	Remaining CPU time: 80.4681 s
99.66/99.76	c ===============================================================================
99.66/99.76	c |       303 |   20164   246852   619851 |    82284       33     32 |  0.000 % |
99.76/99.80	c ===============================================================================
99.76/99.80	c New solution: 145
99.76/99.80	o 145
99.76/99.80	c Elapsed CPU time: 99.5679 s	Remaining CPU time: 80.4321 s
99.76/99.80	c ===============================================================================
99.76/99.80	c |       304 |   19922   246853   620151 |    82284       34     32 |  0.000 % |
99.76/99.84	c ===============================================================================
99.76/99.84	c New solution: 144
99.76/99.84	o 144
99.76/99.84	c Elapsed CPU time: 99.6029 s	Remaining CPU time: 80.3971 s
99.76/99.84	c ===============================================================================
99.76/99.84	c |       305 |   19680   246854   620451 |    82284       35     32 |  0.000 % |
99.76/99.87	c ===============================================================================
99.76/99.87	c New solution: 143
99.76/99.87	o 143
99.76/99.87	c Elapsed CPU time: 99.6389 s	Remaining CPU time: 80.3611 s
99.76/99.87	c ===============================================================================
99.76/99.87	c |       308 |   19438   246855   620751 |    82285       38     30 |  0.000 % |
99.87/99.91	c ===============================================================================
99.87/99.91	c New solution: 142
99.87/99.91	o 142
99.87/99.91	c Elapsed CPU time: 99.6738 s	Remaining CPU time: 80.3262 s
99.87/99.91	c ===============================================================================
99.87/99.91	c |       308 |   19196   246856   621051 |    82285       38     30 |  0.000 % |
99.87/99.94	c ===============================================================================
99.87/99.94	c New solution: 141
99.87/99.94	o 141
99.87/99.94	c Elapsed CPU time: 99.7088 s	Remaining CPU time: 80.2912 s
99.87/99.94	c ===============================================================================
99.87/99.94	c |       309 |   18954   246857   621351 |    82285       39     30 |  0.000 % |
99.87/99.98	c ===============================================================================
99.87/99.98	c New solution: 140
99.87/99.98	o 140
99.87/99.98	c Elapsed CPU time: 99.7438 s	Remaining CPU time: 80.2562 s
99.87/99.98	c ===============================================================================
99.87/99.98	c |       309 |   18712   246858   621651 |    82286       39     30 |  0.000 % |
99.98/100.01	c ===============================================================================
99.98/100.01	c New solution: 139
99.98/100.01	o 139
99.98/100.01	c Elapsed CPU time: 99.7788 s	Remaining CPU time: 80.2212 s
99.98/100.01	c ===============================================================================
99.98/100.01	c |       309 |   18470   246859   621951 |    82286       39     30 |  0.000 % |
99.98/100.05	c ===============================================================================
99.98/100.05	c New solution: 138
99.98/100.05	o 138
99.98/100.05	c Elapsed CPU time: 99.8138 s	Remaining CPU time: 80.1862 s
99.98/100.05	c ===============================================================================
99.98/100.05	c |       315 |   18228   246860   622251 |    82286       45     29 |  0.000 % |
99.98/100.08	c ===============================================================================
99.98/100.08	c New solution: 137
99.98/100.08	o 137
99.98/100.08	c Elapsed CPU time: 99.8448 s	Remaining CPU time: 80.1552 s
99.98/100.08	c ===============================================================================
99.98/100.08	c |       318 |   17986   246861   622551 |    82287       48     29 |  0.000 % |
100.08/100.11	c ===============================================================================
100.08/100.11	c New solution: 136
100.08/100.11	o 136
100.08/100.11	c Elapsed CPU time: 99.8788 s	Remaining CPU time: 80.1212 s
100.08/100.11	c ===============================================================================
100.08/100.11	c |       318 |   17744   246862   622851 |    82287       48     29 |  0.000 % |
100.08/100.15	c ===============================================================================
100.08/100.15	c New solution: 135
100.08/100.15	o 135
100.08/100.15	c Elapsed CPU time: 99.9138 s	Remaining CPU time: 80.0862 s
100.08/100.15	c ===============================================================================
100.08/100.15	c |       324 |   17502   246863   623151 |    82287       54     29 |  0.000 % |
100.08/100.18	c ===============================================================================
100.08/100.18	c New solution: 134
100.08/100.18	o 134
100.08/100.18	c Elapsed CPU time: 99.9468 s	Remaining CPU time: 80.0532 s
100.08/100.18	c ===============================================================================
100.08/100.18	c |       338 |   17260   246864   623451 |    82288       68     33 |  0.000 % |
100.17/100.21	c ===============================================================================
100.17/100.21	c New solution: 133
100.17/100.21	o 133
100.17/100.21	c Elapsed CPU time: 99.9808 s	Remaining CPU time: 80.0192 s
100.17/100.21	c ===============================================================================
100.17/100.21	c |       340 |   17018   246865   623751 |    82288       70     33 |  0.000 % |
100.17/100.25	c ===============================================================================
100.17/100.25	c New solution: 132
100.17/100.25	o 132
100.17/100.25	c Elapsed CPU time: 100.013 s	Remaining CPU time: 79.9872 s
100.17/100.25	c ===============================================================================
100.17/100.25	c |       340 |   16776   246866   624051 |    82288       70     33 |  0.000 % |
100.17/100.28	c ===============================================================================
100.17/100.28	c New solution: 131
100.17/100.28	o 131
100.17/100.28	c Elapsed CPU time: 100.047 s	Remaining CPU time: 79.9532 s
100.17/100.28	c ===============================================================================
100.17/100.28	c |       346 |   16534   246867   624351 |    82289       76     33 |  0.000 % |
100.27/100.32	c ===============================================================================
100.27/100.32	c New solution: 130
100.27/100.32	o 130
100.27/100.32	c Elapsed CPU time: 100.08 s	Remaining CPU time: 79.9202 s
100.27/100.32	c ===============================================================================
100.27/100.32	c |       347 |   16292   246868   624651 |    82289       77     33 |  0.000 % |
100.27/100.34	c ===============================================================================
100.27/100.34	c New solution: 129
100.27/100.34	o 129
100.27/100.34	c Elapsed CPU time: 100.109 s	Remaining CPU time: 79.8912 s
100.27/100.34	c ===============================================================================
100.27/100.34	c |       348 |   16050   246869   624951 |    82289       78     32 |  0.000 % |
100.27/100.38	c ===============================================================================
100.27/100.38	c New solution: 128
100.27/100.38	o 128
100.27/100.38	c Elapsed CPU time: 100.141 s	Remaining CPU time: 79.8592 s
100.27/100.38	c ===============================================================================
100.27/100.38	c |       350 |   15808   246870   625251 |    82290       80     32 |  0.000 % |
100.36/100.41	c ===============================================================================
100.36/100.41	c New solution: 127
100.36/100.41	o 127
100.36/100.41	c Elapsed CPU time: 100.173 s	Remaining CPU time: 79.8272 s
100.36/100.41	c ===============================================================================
100.36/100.41	c |       350 |   15566   246871   625551 |    82290       80     32 |  0.000 % |
100.36/100.44	c ===============================================================================
100.36/100.44	c New solution: 126
100.36/100.44	o 126
100.36/100.44	c Elapsed CPU time: 100.203 s	Remaining CPU time: 79.7972 s
100.36/100.44	c ===============================================================================
100.36/100.44	c |       350 |   15324   246872   625851 |    82290       80     32 |  0.000 % |
100.36/100.48	c ===============================================================================
100.36/100.48	c New solution: 125
100.36/100.48	o 125
100.36/100.48	c Elapsed CPU time: 100.236 s	Remaining CPU time: 79.7642 s
100.36/100.48	c ===============================================================================
100.36/100.48	c |       352 |   15082   246873   626151 |    82291       82     32 |  0.000 % |
100.46/100.51	c ===============================================================================
100.46/100.51	c New solution: 124
100.46/100.51	o 124
100.46/100.51	c Elapsed CPU time: 100.268 s	Remaining CPU time: 79.7322 s
100.46/100.51	c ===============================================================================
100.46/100.51	c |       352 |   14840   246874   626451 |    82291       82     32 |  0.000 % |
100.46/100.54	c ===============================================================================
100.46/100.54	c New solution: 123
100.46/100.54	o 123
100.46/100.54	c Elapsed CPU time: 100.3 s	Remaining CPU time: 79.7002 s
100.46/100.54	c ===============================================================================
100.46/100.54	c |       352 |   14598   246875   626751 |    82291       82     32 |  0.000 % |
100.46/100.57	c ===============================================================================
100.46/100.57	c New solution: 122
100.46/100.57	o 122
100.46/100.57	c Elapsed CPU time: 100.332 s	Remaining CPU time: 79.6683 s
100.46/100.57	c ===============================================================================
100.46/100.57	c |       352 |   14356   246876   627051 |    82292        7     25 |  0.000 % |
100.56/100.60	c ===============================================================================
100.56/100.60	c New solution: 121
100.56/100.60	o 121
100.56/100.60	c Elapsed CPU time: 100.363 s	Remaining CPU time: 79.6373 s
100.56/100.60	c ===============================================================================
100.56/100.60	c |       353 |   14114   246877   627351 |    82292        8     24 |  0.000 % |
100.56/100.64	c ===============================================================================
100.56/100.64	c New solution: 120
100.56/100.64	o 120
100.56/100.64	c Elapsed CPU time: 100.393 s	Remaining CPU time: 79.6073 s
100.56/100.64	c ===============================================================================
100.56/100.64	c |       354 |   13872   246878   627651 |    82292        9     24 |  0.000 % |
100.56/100.67	c ===============================================================================
100.56/100.67	c New solution: 119
100.56/100.67	o 119
100.56/100.67	c Elapsed CPU time: 100.424 s	Remaining CPU time: 79.5763 s
100.56/100.67	c ===============================================================================
100.56/100.67	c |       356 |   13630   246879   627951 |    82293       11     25 |  0.000 % |
100.67/100.70	c ===============================================================================
100.67/100.70	c New solution: 118
100.67/100.70	o 118
100.67/100.70	c Elapsed CPU time: 100.457 s	Remaining CPU time: 79.5433 s
100.67/100.70	c ===============================================================================
100.67/100.70	c |       362 |   13388   246880   628251 |    82293       17     23 |  0.000 % |
100.67/100.73	c ===============================================================================
100.67/100.73	c New solution: 117
100.67/100.73	o 117
100.67/100.73	c Elapsed CPU time: 100.488 s	Remaining CPU time: 79.5123 s
100.67/100.73	c ===============================================================================
100.67/100.73	c |       364 |   13146   246881   628551 |    82293       19     22 |  0.000 % |
100.67/100.76	c ===============================================================================
100.67/100.76	c New solution: 116
100.67/100.76	o 116
100.67/100.76	c Elapsed CPU time: 100.519 s	Remaining CPU time: 79.4813 s
100.67/100.76	c ===============================================================================
100.67/100.76	c |       367 |   12904   246882   628851 |    82294       22     22 |  0.000 % |
100.67/100.79	c ===============================================================================
100.67/100.79	c New solution: 115
100.67/100.79	o 115
100.67/100.79	c Elapsed CPU time: 100.55 s	Remaining CPU time: 79.4503 s
100.67/100.79	c ===============================================================================
100.67/100.79	c |       369 |   12662   246883   629151 |    82294       24     22 |  0.000 % |
100.77/100.82	c ===============================================================================
100.77/100.82	c New solution: 114
100.77/100.82	o 114
100.77/100.82	c Elapsed CPU time: 100.579 s	Remaining CPU time: 79.4213 s
100.77/100.82	c ===============================================================================
100.77/100.82	c |       369 |   12420   246884   629451 |    82294       24     22 |  0.000 % |
100.77/100.85	c ===============================================================================
100.77/100.85	c New solution: 113
100.77/100.85	o 113
100.77/100.85	c Elapsed CPU time: 100.607 s	Remaining CPU time: 79.3933 s
100.77/100.85	c ===============================================================================
100.77/100.85	c |       370 |   12178   246885   629751 |    82295       25     23 |  0.000 % |
100.77/100.88	c ===============================================================================
100.77/100.88	c New solution: 112
100.77/100.88	o 112
100.77/100.88	c Elapsed CPU time: 100.637 s	Remaining CPU time: 79.3633 s
100.77/100.88	c ===============================================================================
100.77/100.88	c |       371 |   11936   246886   630051 |    82295       26     23 |  0.000 % |
100.86/100.91	c ===============================================================================
100.86/100.91	c New solution: 111
100.86/100.91	o 111
100.86/100.91	c Elapsed CPU time: 100.667 s	Remaining CPU time: 79.3333 s
100.86/100.91	c ===============================================================================
100.86/100.91	c |       372 |   11694   246887   630351 |    82295       27     22 |  0.000 % |
100.86/100.95	c ===============================================================================
100.86/100.95	c New solution: 110
100.86/100.95	o 110
100.86/100.95	c Elapsed CPU time: 100.699 s	Remaining CPU time: 79.3013 s
100.86/100.95	c ===============================================================================
100.86/100.95	c |       384 |   11452   246888   630651 |    82296       39     32 |  0.000 % |
100.86/100.98	c ===============================================================================
100.86/100.98	c New solution: 109
100.86/100.98	o 109
100.86/100.98	c Elapsed CPU time: 100.735 s	Remaining CPU time: 79.2653 s
100.86/100.98	c ===============================================================================
100.86/100.98	c |       400 |   11210   246889   630951 |    82296       55     39 |  0.000 % |
100.96/101.01	c ===============================================================================
100.96/101.01	c New solution: 108
100.96/101.01	o 108
100.96/101.01	c Elapsed CPU time: 100.766 s	Remaining CPU time: 79.2343 s
100.96/101.01	c ===============================================================================
100.96/101.01	c |       403 |   10968   246890   631251 |    82296       58     38 |  0.000 % |
100.96/101.04	c ===============================================================================
100.96/101.04	c New solution: 107
100.96/101.04	o 107
100.96/101.04	c Elapsed CPU time: 100.795 s	Remaining CPU time: 79.2053 s
100.96/101.04	c ===============================================================================
100.96/101.04	c |       404 |   10726   246891   631551 |    82297       59     37 |  0.000 % |
100.96/101.07	c ===============================================================================
100.96/101.07	c New solution: 106
100.96/101.07	o 106
100.96/101.07	c Elapsed CPU time: 100.825 s	Remaining CPU time: 79.1753 s
100.96/101.07	c ===============================================================================
100.96/101.07	c |       407 |   10484   246892   631851 |    82297       62     36 |  0.000 % |
100.96/101.10	c ===============================================================================
100.96/101.10	c New solution: 105
100.96/101.10	o 105
100.96/101.10	c Elapsed CPU time: 100.852 s	Remaining CPU time: 79.1483 s
100.96/101.10	c ===============================================================================
100.96/101.10	c |       408 |   10242   246893   632151 |    82297       63     36 |  0.000 % |
101.07/101.13	c ===============================================================================
101.07/101.13	c New solution: 104
101.07/101.13	o 104
101.07/101.13	c Elapsed CPU time: 100.88 s	Remaining CPU time: 79.1203 s
101.07/101.13	c ===============================================================================
101.07/101.13	c |       409 |   10000   246894   632451 |    82298       64     36 |  0.000 % |
101.07/101.16	c ===============================================================================
101.07/101.16	c New solution: 103
101.07/101.16	o 103
101.07/101.16	c Elapsed CPU time: 100.908 s	Remaining CPU time: 79.0923 s
101.07/101.16	c ===============================================================================
101.07/101.16	c |       410 |    9758   246895   632751 |    82298       65     35 |  0.000 % |
101.07/101.18	c ===============================================================================
101.07/101.19	c New solution: 102
101.07/101.19	o 102
101.07/101.19	c Elapsed CPU time: 100.936 s	Remaining CPU time: 79.0643 s
101.07/101.19	c ===============================================================================
101.07/101.19	c |       410 |    9516   246896   633051 |    82298       65     35 |  0.000 % |
101.17/101.21	c ===============================================================================
101.17/101.21	c New solution: 101
101.17/101.21	o 101
101.17/101.21	c Elapsed CPU time: 100.964 s	Remaining CPU time: 79.0363 s
101.17/101.21	c ===============================================================================
101.17/101.21	c |       412 |    9274   246897   633351 |    82299       67     35 |  0.000 % |
101.17/101.24	c ===============================================================================
101.17/101.24	c New solution: 100
101.17/101.24	o 100
101.17/101.24	c Elapsed CPU time: 100.993 s	Remaining CPU time: 79.0074 s
101.17/101.24	c ===============================================================================
101.17/101.24	c |       417 |    9032   246898   633651 |    82299       72     35 |  0.000 % |
101.17/101.27	c ===============================================================================
101.17/101.27	c New solution: 99
101.17/101.27	o 99
101.17/101.27	c Elapsed CPU time: 101.019 s	Remaining CPU time: 78.9814 s
101.17/101.27	c ===============================================================================
101.17/101.27	c |       418 |    8790   246899   633951 |    82299       73     35 |  0.000 % |
101.26/101.30	c ===============================================================================
101.26/101.30	c New solution: 98
101.26/101.30	o 98
101.26/101.30	c Elapsed CPU time: 101.047 s	Remaining CPU time: 78.9534 s
101.26/101.30	c ===============================================================================
101.26/101.30	c |       419 |    8548   246900   634251 |    82300       74     35 |  0.000 % |
101.26/101.32	c ===============================================================================
101.26/101.32	c New solution: 97
101.26/101.32	o 97
101.26/101.32	c Elapsed CPU time: 101.072 s	Remaining CPU time: 78.9284 s
101.26/101.32	c ===============================================================================
101.26/101.32	c |       424 |    8306   246901   634551 |    82300       79     36 |  0.000 % |
101.26/101.35	c ===============================================================================
101.26/101.35	c New solution: 96
101.26/101.35	o 96
101.26/101.35	c Elapsed CPU time: 101.102 s	Remaining CPU time: 78.8984 s
101.26/101.35	c ===============================================================================
101.26/101.35	c |       428 |    8064   246902   634851 |    82300       83     36 |  0.000 % |
101.26/101.39	c |       529 |    7999   246902   634851 |    90530      184     56 | 89.262 % |
101.46/101.50	c |       679 |    7995   246902   634851 |    99583      334     59 | 89.262 % |
101.46/101.53	c ===============================================================================
101.46/101.53	c New solution: 95
101.46/101.53	o 95
101.46/101.53	c Elapsed CPU time: 101.277 s	Remaining CPU time: 78.7234 s
101.46/101.53	c ===============================================================================
101.46/101.53	c |       680 |    7822   246903   635151 |    82301      335     59 | 89.262 % |
101.46/101.56	c ===============================================================================
101.46/101.56	c New solution: 94
101.46/101.56	o 94
101.46/101.56	c Elapsed CPU time: 101.305 s	Remaining CPU time: 78.6954 s
101.46/101.56	c ===============================================================================
101.46/101.56	c |       681 |    7580   246904   635451 |    82301      336     59 | 89.262 % |
101.46/101.59	c ===============================================================================
101.46/101.59	c New solution: 93
101.46/101.59	o 93
101.46/101.59	c Elapsed CPU time: 101.332 s	Remaining CPU time: 78.6684 s
101.46/101.59	c ===============================================================================
101.46/101.59	c |       684 |    7338   246905   635751 |    82301      339     58 | 89.262 % |
101.57/101.61	c ===============================================================================
101.57/101.61	c New solution: 92
101.57/101.61	o 92
101.57/101.61	c Elapsed CPU time: 101.357 s	Remaining CPU time: 78.6434 s
101.57/101.61	c ===============================================================================
101.57/101.61	c |       691 |    7096   246906   636051 |    82302      346     58 | 89.262 % |
101.57/101.64	c ===============================================================================
101.57/101.64	c New solution: 91
101.57/101.64	o 91
101.57/101.64	c Elapsed CPU time: 101.387 s	Remaining CPU time: 78.6134 s
101.57/101.64	c ===============================================================================
101.57/101.64	c |       711 |    6854   246907   636351 |    82302      366     57 | 89.262 % |
101.57/101.67	c ===============================================================================
101.57/101.67	c New solution: 90
101.57/101.67	o 90
101.57/101.67	c Elapsed CPU time: 101.416 s	Remaining CPU time: 78.5844 s
101.57/101.67	c ===============================================================================
101.57/101.67	c |       720 |    6612   246908   636651 |    82302      375     56 | 89.262 % |
101.66/101.71	c ===============================================================================
101.66/101.71	c New solution: 89
101.66/101.71	o 89
101.66/101.71	c Elapsed CPU time: 101.449 s	Remaining CPU time: 78.5514 s
101.66/101.71	c ===============================================================================
101.66/101.71	c |       743 |    6370   246909   636951 |    82303      398     56 | 89.262 % |
101.66/101.77	c |       843 |    6294   246909   636951 |    90533      498     55 | 91.587 % |
101.76/101.87	c |       993 |    6291   246909   636951 |    99586      648     55 | 91.587 % |
101.86/101.95	c |      1218 |    6284   246909   636951 |   109545      873     55 | 91.587 % |
102.17/102.24	c |      1557 |    6128   246909   636951 |   120499      955     62 | 91.587 % |
102.17/102.26	c ===============================================================================
102.17/102.26	c New solution: 88
102.17/102.26	o 88
102.17/102.26	c Elapsed CPU time: 101.999 s	Remaining CPU time: 78.0005 s
102.17/102.26	c ===============================================================================
102.17/102.26	c |      1558 |    6128   246910   637251 |    82303      956     62 | 91.587 % |
102.17/102.29	c ===============================================================================
102.17/102.29	c New solution: 87
102.17/102.29	o 87
102.17/102.29	c Elapsed CPU time: 102.026 s	Remaining CPU time: 77.9735 s
102.17/102.29	c ===============================================================================
102.17/102.29	c |      1561 |    5886   246911   637551 |    82303      959     61 | 91.587 % |
102.27/102.32	c |      1661 |    5802   246911   637551 |    90534     1059     61 | 92.252 % |
102.37/102.45	c |      1811 |    5800   246911   637551 |    99587     1209     63 | 92.252 % |
102.37/102.49	c ===============================================================================
102.37/102.49	c New solution: 86
102.37/102.49	o 86
102.37/102.49	c Elapsed CPU time: 102.225 s	Remaining CPU time: 77.7745 s
102.37/102.49	c ===============================================================================
102.37/102.49	c |      1848 |    5644   246912   637851 |    82304     1246     63 | 92.252 % |
102.47/102.58	c |      1949 |    5626   246912   637851 |    90534     1347     64 | 92.584 % |
102.57/102.67	c ===============================================================================
102.57/102.67	c New solution: 85
102.57/102.67	o 85
102.57/102.67	c Elapsed CPU time: 102.402 s	Remaining CPU time: 77.5976 s
102.57/102.67	c ===============================================================================
102.57/102.67	c |      2078 |    5402   246913   638151 |    82304     1476     64 | 92.584 % |
102.67/102.75	c |      2178 |    5384   246913   638151 |    90534     1576     65 | 92.916 % |
102.67/102.79	c ===============================================================================
102.67/102.79	c New solution: 84
102.67/102.79	o 84
102.67/102.79	c Elapsed CPU time: 102.52 s	Remaining CPU time: 77.4796 s
102.67/102.79	c ===============================================================================
102.67/102.79	c |      2228 |    5160   246914   638451 |    82304     1626     64 | 92.916 % |
102.77/102.88	c |      2328 |    5152   246914   638451 |    90535     1726     65 | 93.248 % |
102.86/102.96	c |      2478 |    5145   246914   638451 |    99588     1876     64 | 93.248 % |
102.96/103.08	c |      2703 |    5136   246914   638451 |   109547     2101     64 | 93.248 % |
103.27/103.34	c |      3040 |    5129   246914   638451 |   120502     2438     65 | 93.248 % |
103.66/103.75	c |      3546 |    5118   246914   638451 |   132552     2944     64 | 93.248 % |
103.96/104.02	c |      4307 |    4918   246914   638451 |   145807     2647     59 | 93.248 % |
105.17/105.24	c |      5446 |    4918   246914   638451 |   160388     3786     72 | 93.248 % |
106.36/106.43	c |      7154 |    4918   246914   638451 |   176427     5494     76 | 93.248 % |
108.67/108.77	c |      9716 |    4918   246914   638451 |   194070     8056     80 | 93.248 % |
114.56/114.66	c |     13563 |    4918   246914   638451 |   213477    11903     96 | 93.248 % |
118.46/118.59	c |     19331 |    4918   246914   638451 |   234824    17671     91 | 93.248 % |
128.16/128.29	c |     27980 |    4918   246914   638451 |   258307    26320    103 | 93.248 % |
149.65/149.72	c |     40954 |    4918   246914   638451 |   284138    39294    111 | 93.248 % |
175.04/175.15	c |     60415 |    4918   246914   638451 |   312551    58755    111 | 93.248 % |
180.35/180.49	c There are 67924 assigned variables. 294 in cost function.
180.74/180.83	c core #1
180.74/180.83	c 
180.74/180.83	c 
180.74/180.83	c Core size: 11	Core Weight: 78	Total Weight: 78
180.74/180.83	c
180.74/180.83	c
180.74/180.83	c ============================[ Search Statistics ]==============================
180.74/180.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.74/180.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.74/180.83	c ===============================================================================
180.74/180.83	c |         0 |    3544    80371    37182 |    26790        0    nan |  0.000 % |
180.74/180.85	c |       101 |    3544    80371    37182 |    29469      101     36 | 95.135 % |
180.74/180.89	c |       254 |    3544    80371    37182 |    32416      254     41 | 95.135 % |
180.84/180.94	c |       480 |    3544    80371    37182 |    35657      480     42 | 95.135 % |
180.94/181.05	c |       817 |    3544    80371    37182 |    39223      817     45 | 95.135 % |
181.14/181.20	c |      1323 |    3544    80371    37182 |    43146     1323     50 | 95.135 % |
181.24/181.39	c |      2083 |    3544    80371    37182 |    47460     2083     50 | 95.135 % |
181.74/181.83	c |      3223 |    3544    80371    37182 |    52206     3223     60 | 95.135 % |
182.25/182.38	c |      4931 |    3544    80371    37182 |    57427     4931     57 | 95.135 % |
183.15/183.23	c |      7493 |    3544    80371    37182 |    63170     7493     57 | 95.135 % |
184.84/184.93	c |     11337 |    3544    80371    37182 |    69487    11337     63 | 95.135 % |
187.14/187.26	c |     17103 |    3544    80371    37182 |    76435    17103     63 | 95.135 % |
191.34/191.43	c |     25752 |    3544    80371    37182 |    84079    25752     68 | 95.135 % |
199.94/200.05	c |     38727 |    3544    80371    37182 |    92487    38727     68 | 95.135 % |
217.64/217.71	c |     58188 |    3544    80371    37182 |   101736    58188     72 | 95.135 % |
254.42/254.56	c |     87381 |    3544    80371    37182 |   111909    87381     71 | 95.135 % |
324.41/324.53	c |    131171 |    3544    80371    37182 |   123100   131171     72 | 95.135 % |
489.06/489.27	c |    196858 |    3544    80371    37182 |   135410    20432     87 | 95.135 % |
659.62/659.85	c |    295384 |    3544    80371    37182 |   148952   118958    102 | 95.135 % |
1015.52/1015.88	c |    443175 |    3544    80371    37182 |   163847    64775     82 | 95.135 % |
1563.98/1564.48	c |    664858 |    3544    80371    37182 |   180231    68120     87 | 95.135 % |

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-2687306-1278451529/watcher-2687306-1278451529 -o /tmp/evaluation-result-2687306-1278451529/solver-2687306-1278451529 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687306-1278451529.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/105 21102
/proc/meminfo: memFree=1815736/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=11136 CPUtime=0
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 370 0 0 0 0 0 0 0 19 0 1 0 13361373 11403264 288 1992294400 134512640 135752675 4294947456 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 2784 288 141 303 0 444 0

[startup+0.0503461 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 21102
/proc/meminfo: memFree=1815736/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=13212 CPUtime=0.04
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 920 0 0 0 4 0 0 0 21 0 1 0 13361373 13529088 838 1992294400 134512640 135752675 4294947456 18446744073709551615 135207212 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 3303 848 203 303 0 963 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13212

[startup+0.101351 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 21102
/proc/meminfo: memFree=1815736/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=15900 CPUtime=0.09
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 1606 0 0 0 9 0 0 0 21 0 1 0 13361373 16281600 1524 1992294400 134512640 135752675 4294947456 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 3975 1525 282 303 0 1635 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15900

[startup+0.300374 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 21102
/proc/meminfo: memFree=1815736/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=20304 CPUtime=0.29
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 2952 0 0 0 28 1 0 0 21 0 1 0 13361373 20791296 2837 1992294400 134512640 135752675 4294947456 18446744073709551615 135225917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 5076 2837 594 303 0 2736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20304

[startup+0.700419 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 21102
/proc/meminfo: memFree=1815736/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=26832 CPUtime=0.69
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 5003 0 0 0 68 1 0 0 22 0 1 0 13361373 27475968 4848 1992294400 134512640 135752675 4294947456 18446744073709551615 135197200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 6708 4848 1246 303 0 4368 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26832

[startup+1.50051 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21103
/proc/meminfo: memFree=1795392/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=37872 CPUtime=1.49
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 8477 0 0 0 148 1 0 0 25 0 1 0 13361373 38780928 8208 1992294400 134512640 135752675 4294947456 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 9468 8209 2080 303 0 7128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37872

[startup+3.10069 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21103
/proc/meminfo: memFree=1764144/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=57732 CPUtime=3.09
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 15700 0 0 0 305 4 0 0 19 0 1 0 13361373 59117568 13172 1992294400 134512640 135752675 4294947456 18446744073709551615 134524578 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 14433 13172 142 303 0 14128 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57732

[startup+6.30105 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21103
/proc/meminfo: memFree=1758316/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=63804 CPUtime=6.29
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 17193 0 0 0 624 5 0 0 25 0 1 0 13361373 65335296 14665 1992294400 134512640 135752675 4294947456 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 15951 14665 142 303 0 15646 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63804

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21103
/proc/meminfo: memFree=1748892/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=72912 CPUtime=12.69
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 19467 0 0 0 1263 6 0 0 25 0 1 0 13361373 74661888 16939 1992294400 134512640 135752675 4294947456 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 18228 16939 142 303 0 17923 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72912

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21103
/proc/meminfo: memFree=1737608/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=83868 CPUtime=25.49
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 22206 0 0 0 2542 7 0 0 25 0 1 0 13361373 85880832 19678 1992294400 134512640 135752675 4294947456 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 20967 19678 142 303 0 20662 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83868

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21105
/proc/meminfo: memFree=1722852/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=97860 CPUtime=51.07
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 25723 0 0 0 5099 8 0 0 25 0 1 0 13361373 100208640 23195 1992294400 134512640 135752675 4294947456 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 24465 23195 142 303 0 24160 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97860

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21105
/proc/meminfo: memFree=1711568/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=108112 CPUtime=102.27
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 29734 0 0 0 10204 23 0 0 18 0 1 0 13361373 110706688 25891 1992294400 134512640 135752675 4294947456 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 27028 25891 145 303 0 26723 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 108112

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21107
/proc/meminfo: memFree=1711444/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=108112 CPUtime=162.25
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 29734 0 0 0 16186 39 0 0 25 0 1 0 13361373 110706688 25891 1992294400 134512640 135752675 4294947456 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 27028 25891 145 303 0 26723 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 108112

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21109
/proc/meminfo: memFree=1717768/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=99880 CPUtime=222.23
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 30447 0 0 0 22162 61 0 0 25 0 1 0 13361373 102277120 24289 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 24970 24289 146 303 0 24665 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 99880

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21111
/proc/meminfo: memFree=1717768/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=99880 CPUtime=282.22
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 30459 0 0 0 28146 76 0 0 25 0 1 0 13361373 102277120 24301 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 24970 24301 146 303 0 24665 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 99880

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21111
/proc/meminfo: memFree=1717644/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=99880 CPUtime=342.2
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 30459 0 0 0 34130 90 0 0 25 0 1 0 13361373 102277120 24301 1992294400 134512640 135752675 4294947456 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 24970 24301 146 303 0 24665 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 99880

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21113
/proc/meminfo: memFree=1717520/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=99880 CPUtime=402.18
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 30459 0 0 0 40116 102 0 0 25 0 1 0 13361373 102277120 24301 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 24970 24301 146 303 0 24665 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 99880

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21115
/proc/meminfo: memFree=1717644/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=99880 CPUtime=462.17
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 30459 0 0 0 46104 113 0 0 25 0 1 0 13361373 102277120 24301 1992294400 134512640 135752675 4294947456 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 24970 24301 146 303 0 24665 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 99880

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21117
/proc/meminfo: memFree=1701276/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=117312 CPUtime=522.15
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 34805 0 0 0 52085 130 0 0 25 0 1 0 13361373 120127488 28647 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 29328 28647 146 303 0 29023 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 117312

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21119
/proc/meminfo: memFree=1684164/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=134128 CPUtime=582.14
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 38988 0 0 0 58063 151 0 0 25 0 1 0 13361373 137347072 32830 1992294400 134512640 135752675 4294947456 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 33532 32830 146 303 0 33227 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 134128

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21119
/proc/meminfo: memFree=1669904/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=148072 CPUtime=642.13
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 42472 0 0 0 64046 167 0 0 25 0 1 0 13361373 151625728 36314 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 37018 36314 146 303 0 36713 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 148072

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21127
/proc/meminfo: memFree=1635184/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=182544 CPUtime=882.06
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 51084 0 0 0 87988 218 0 0 25 0 1 0 13361373 186925056 44926 1992294400 134512640 135752675 4294947456 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 45636 44926 146 303 0 45331 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 182544

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21127
/proc/meminfo: memFree=1628116/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=190124 CPUtime=942.04
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 52889 0 0 0 93973 231 0 0 25 0 1 0 13361373 194686976 46731 1992294400 134512640 135752675 4294947456 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 47531 46731 146 303 0 47226 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 190124

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21129
/proc/meminfo: memFree=1610384/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=207840 CPUtime=1002.03
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 57288 0 0 0 99953 250 0 0 25 0 1 0 13361373 212828160 51130 1992294400 134512640 135752675 4294947456 18446744073709551615 134611933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 51960 51130 146 303 0 51655 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 207840

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21131
/proc/meminfo: memFree=1594636/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=223692 CPUtime=1062
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 61268 0 0 0 105929 271 0 0 25 0 1 0 13361373 229060608 55110 1992294400 134512640 135752675 4294947456 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 55923 55110 146 303 0 55618 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 223692

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21133
/proc/meminfo: memFree=1582980/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=235060 CPUtime=1121.99
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 64098 0 0 0 111912 287 0 0 25 0 1 0 13361373 240701440 57940 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 58765 57940 146 303 0 58460 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 235060

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21135
/proc/meminfo: memFree=1574300/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=243836 CPUtime=1181.98
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 66270 0 0 0 117898 300 0 0 25 0 1 0 13361373 249688064 60112 1992294400 134512640 135752675 4294947456 18446744073709551615 134605345 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 60959 60112 146 303 0 60654 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 243836

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21135
/proc/meminfo: memFree=1565868/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=251916 CPUtime=1241.96
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 68307 0 0 0 123884 312 0 0 25 0 1 0 13361373 257961984 62149 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 62979 62149 146 303 0 62674 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 251916

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21137
/proc/meminfo: memFree=1558056/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=259456 CPUtime=1301.95
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 70200 0 0 0 129872 323 0 0 25 0 1 0 13361373 265682944 64042 1992294400 134512640 135752675 4294947456 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 64864 64042 146 303 0 64559 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 259456

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21139
/proc/meminfo: memFree=1551360/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=266276 CPUtime=1361.93
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 71902 0 0 0 135858 335 0 0 25 0 1 0 13361373 272666624 65744 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 66569 65744 146 303 0 66264 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 266276

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21141
/proc/meminfo: memFree=1544168/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=273576 CPUtime=1421.92
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 73698 0 0 0 141845 347 0 0 25 0 1 0 13361373 280141824 67540 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 68394 67540 146 303 0 68089 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 273576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21143
/proc/meminfo: memFree=1536480/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=281140 CPUtime=1481.9
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 75616 0 0 0 147832 358 0 0 25 0 1 0 13361373 287887360 69458 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 70285 69458 146 303 0 69980 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 281140

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21143
/proc/meminfo: memFree=1518376/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=299228 CPUtime=1541.88
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 80136 0 0 0 153810 378 0 0 25 0 1 0 13361373 306409472 73978 1992294400 134512640 135752675 4294947456 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 74807 73978 146 303 0 74502 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 299228

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21145
/proc/meminfo: memFree=1502008/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=315728 CPUtime=1601.87
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 84249 0 0 0 159785 402 0 0 25 0 1 0 13361373 323305472 78091 1992294400 134512640 135752675 4294947456 18446744073709551615 134607021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 78932 78091 146 303 0 78627 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 315728

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21147
/proc/meminfo: memFree=1489360/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=328156 CPUtime=1661.85
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 87371 0 0 0 165766 419 0 0 25 0 1 0 13361373 336031744 81213 1992294400 134512640 135752675 4294947456 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 82039 81213 146 303 0 81734 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 328156

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21149
/proc/meminfo: memFree=1479564/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=337936 CPUtime=1721.84
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 89802 0 0 0 171749 435 0 0 25 0 1 0 13361373 346046464 83644 1992294400 134512640 135752675 4294947456 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 84484 83644 146 303 0 84179 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 337936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21151
/proc/meminfo: memFree=1470512/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=346728 CPUtime=1781.82
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 92001 0 0 0 177732 450 0 0 25 0 1 0 13361373 355049472 85843 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 86682 85843 146 303 0 86377 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 346728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21151
/proc/meminfo: memFree=1467908/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=349236 CPUtime=1800.02
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 92617 0 0 0 179548 454 0 0 25 0 1 0 13361373 357617664 86459 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 87309 86459 146 303 0 87004 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 349236

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 21151
/proc/meminfo: memFree=1467908/2059040 swapFree=4164944/4192956
[pid=21102] ppid=21100 vsize=349236 CPUtime=1800.02
/proc/21102/stat : 21102 (wbo1.4b) R 21100 21102 20786 0 -1 4202496 92617 0 0 0 179548 454 0 0 25 0 1 0 13361373 357617664 86459 1992294400 134512640 135752675 4294947456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21102/statm: 87309 86459 146 303 0 87004 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 349236

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.06
CPU user time (s): 1795.49
CPU system time (s): 4.5753
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 349236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.49
system time used= 4.5753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92617
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= 99
involuntary context switches= 2882

runsolver used 3.00854 second user time and 8.49671 second system time

The end

Launcher Data 

Begin job on node085 at 2010-07-06 23:25:29
IDJOB=2687306
IDBENCH=77578
IDSOLVER=1190
FILE ID=node085/2687306-1278451529
PBS_JOBID= 11233512
Free space on /tmp= 121784 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_1.std.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687306-1278451529/watcher-2687306-1278451529 -o /tmp/evaluation-result-2687306-1278451529/solver-2687306-1278451529 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687306-1278451529.opb

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

MD5SUM BENCH= 6fb8c842434b82a13287e61400a56efc
RANDOM SEED=1104618077

node085.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.215
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.43
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.215
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	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816264 kB
Buffers:         13048 kB
Cached:         122212 kB
SwapCached:       1472 kB
Active:          69804 kB
Inactive:        99420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816264 kB
SwapTotal:     4192956 kB
SwapFree:      4164944 kB
Dirty:           10812 kB
Writeback:           0 kB
AnonPages:       32448 kB
Mapped:          13712 kB
Slab:            51796 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121780 MiB
End job on node085 at 2010-07-06 23:55:32