Trace number 2687295

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.08 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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2687295-1278451309.opb.
0.00/0.00	c Instance file HOME/instance-2687295-1278451309.opb
0.00/0.00	c File size is 8335223 bytes.
1.59/1.68	c Highest Coefficient sum: 706
1.59/1.68	c ============================[ Problem Statistics ]=============================
1.59/1.68	c |                                                                             |
1.59/1.68	c |  Parsing time:          1.65         s                                      |
1.59/1.68	c |  Number Variables:      72842                                               |
1.59/1.68	c |  Number Clauses:        244300                                              |
1.59/1.68	c |  Number Cardinality:    0                                                   |
1.59/1.68	c |  Number PB Constraints: 1200                                                |
96.17/96.21	c ============================[ Search Statistics ]==============================
96.17/96.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.17/96.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.17/96.21	c ===============================================================================
96.17/96.21	c |         0 |   56833   246698   573651 |    81833        0    nan |  0.000 % |
96.17/96.28	c ===============================================================================
96.17/96.28	c New solution: 300
96.17/96.28	o 300
96.17/96.28	c Elapsed CPU time: 96.1374 s	Remaining CPU time: 83.8626 s
96.17/96.28	c ===============================================================================
96.17/96.28	c |         0 |   56833   246699   573951 |    82233        0    nan |  0.000 % |
96.26/96.34	c ===============================================================================
96.26/96.34	c New solution: 299
96.26/96.34	o 299
96.26/96.34	c Elapsed CPU time: 96.1964 s	Remaining CPU time: 83.8036 s
96.26/96.34	c ===============================================================================
96.26/96.34	c |         0 |   56712   246700   574251 |    82233        0    nan |  0.000 % |
96.37/96.40	c ===============================================================================
96.37/96.40	c New solution: 298
96.37/96.40	o 298
96.37/96.40	c Elapsed CPU time: 96.2544 s	Remaining CPU time: 83.7456 s
96.37/96.40	c ===============================================================================
96.37/96.40	c |         9 |   56577   246701   574551 |    82233        9     48 |  0.000 % |
96.37/96.47	c ===============================================================================
96.37/96.47	c New solution: 297
96.37/96.47	o 297
96.37/96.47	c Elapsed CPU time: 96.3274 s	Remaining CPU time: 83.6726 s
96.37/96.47	c ===============================================================================
96.37/96.47	c |        17 |   56426   246702   574851 |    82234       17     43 |  0.000 % |
96.47/96.53	c ===============================================================================
96.47/96.53	c New solution: 296
96.47/96.53	o 296
96.47/96.53	c Elapsed CPU time: 96.3813 s	Remaining CPU time: 83.6187 s
96.47/96.53	c ===============================================================================
96.47/96.53	c |        29 |   56257   246703   575151 |    82234       29     51 |  0.000 % |
96.47/96.59	c ===============================================================================
96.47/96.59	c New solution: 295
96.47/96.59	o 295
96.47/96.59	c Elapsed CPU time: 96.4453 s	Remaining CPU time: 83.5547 s
96.47/96.59	c ===============================================================================
96.47/96.59	c |        29 |   56078   246704   575451 |    82234       29     51 |  0.000 % |
96.57/96.65	c ===============================================================================
96.57/96.65	c New solution: 294
96.57/96.65	o 294
96.57/96.65	c Elapsed CPU time: 96.5083 s	Remaining CPU time: 83.4917 s
96.57/96.65	c ===============================================================================
96.57/96.65	c |        32 |   55887   246705   575751 |    82235       32     48 |  0.000 % |
96.67/96.72	c ===============================================================================
96.67/96.72	c New solution: 293
96.67/96.72	o 293
96.67/96.72	c Elapsed CPU time: 96.5713 s	Remaining CPU time: 83.4287 s
96.67/96.72	c ===============================================================================
96.67/96.72	c |        32 |   55684   246706   576051 |    82235       32     48 |  0.000 % |
96.67/96.77	c ===============================================================================
96.67/96.77	c New solution: 292
96.67/96.77	o 292
96.67/96.77	c Elapsed CPU time: 96.6223 s	Remaining CPU time: 83.3777 s
96.67/96.77	c ===============================================================================
96.67/96.77	c |        35 |   55468   246707   576351 |    82235       35     49 |  0.000 % |
96.77/96.83	c ===============================================================================
96.77/96.83	c New solution: 291
96.77/96.83	o 291
96.77/96.83	c Elapsed CPU time: 96.6813 s	Remaining CPU time: 83.3187 s
96.77/96.83	c ===============================================================================
96.77/96.83	c |        64 |   55245   246708   576651 |    82236       64     61 |  0.000 % |
96.77/96.89	c ===============================================================================
96.77/96.89	c New solution: 290
96.77/96.89	o 290
96.77/96.89	c Elapsed CPU time: 96.7393 s	Remaining CPU time: 83.2607 s
96.77/96.89	c ===============================================================================
96.77/96.89	c |        72 |   55012   246709   576951 |    82236       57     64 |  0.000 % |
96.87/96.95	c ===============================================================================
96.87/96.95	c New solution: 289
96.87/96.95	o 289
96.87/96.95	c Elapsed CPU time: 96.8013 s	Remaining CPU time: 83.1987 s
96.87/96.95	c ===============================================================================
96.87/96.95	c |        73 |   54770   246710   577251 |    82236       58     63 |  0.000 % |
96.96/97.02	c ===============================================================================
96.96/97.02	c New solution: 288
96.96/97.02	o 288
96.96/97.02	c Elapsed CPU time: 96.8683 s	Remaining CPU time: 83.1317 s
96.96/97.02	c ===============================================================================
96.96/97.02	c |        75 |   54528   246711   577551 |    82237       60     62 |  0.000 % |
96.96/97.08	c ===============================================================================
96.96/97.08	c New solution: 287
96.96/97.08	o 287
96.96/97.08	c Elapsed CPU time: 96.9303 s	Remaining CPU time: 83.0697 s
96.96/97.08	c ===============================================================================
96.96/97.08	c |        77 |   54286   246712   577851 |    82237       62     60 |  0.000 % |
97.06/97.14	c ===============================================================================
97.06/97.14	c New solution: 286
97.06/97.14	o 286
97.06/97.14	c Elapsed CPU time: 96.9923 s	Remaining CPU time: 83.0077 s
97.06/97.14	c ===============================================================================
97.06/97.14	c |        79 |   54044   246713   578151 |    82237       64     59 |  0.000 % |
97.17/97.20	c ===============================================================================
97.17/97.20	c New solution: 285
97.17/97.20	o 285
97.17/97.20	c Elapsed CPU time: 97.0532 s	Remaining CPU time: 82.9468 s
97.17/97.20	c ===============================================================================
97.17/97.20	c |        81 |   53802   246714   578451 |    82238       66     58 |  0.000 % |
97.17/97.27	c ===============================================================================
97.17/97.27	c New solution: 284
97.17/97.27	o 284
97.17/97.27	c Elapsed CPU time: 97.1142 s	Remaining CPU time: 82.8858 s
97.17/97.27	c ===============================================================================
97.17/97.27	c |        81 |   53560   246715   578751 |    82238       66     58 |  0.000 % |
97.27/97.33	c ===============================================================================
97.27/97.33	c New solution: 283
97.27/97.33	o 283
97.27/97.33	c Elapsed CPU time: 97.1752 s	Remaining CPU time: 82.8248 s
97.27/97.33	c ===============================================================================
97.27/97.33	c |        82 |   53318   246716   579051 |    82238       67     57 |  0.000 % |
97.27/97.39	c ===============================================================================
97.27/97.39	c New solution: 282
97.27/97.39	o 282
97.27/97.39	c Elapsed CPU time: 97.2372 s	Remaining CPU time: 82.7628 s
97.27/97.39	c ===============================================================================
97.27/97.39	c |        84 |   53076   246717   579351 |    82239       69     56 |  0.000 % |
97.37/97.45	c ===============================================================================
97.37/97.45	c New solution: 281
97.37/97.45	o 281
97.37/97.45	c Elapsed CPU time: 97.2972 s	Remaining CPU time: 82.7028 s
97.37/97.45	c ===============================================================================
97.37/97.45	c |        84 |   52834   246718   579651 |    82239       69     56 |  0.000 % |
97.47/97.51	c ===============================================================================
97.47/97.51	c New solution: 280
97.47/97.51	o 280
97.47/97.51	c Elapsed CPU time: 97.3582 s	Remaining CPU time: 82.6418 s
97.47/97.51	c ===============================================================================
97.47/97.51	c |        84 |   52592   246719   579951 |    82239       69     56 |  0.000 % |
97.47/97.58	c ===============================================================================
97.47/97.58	c New solution: 279
97.47/97.58	o 279
97.47/97.58	c Elapsed CPU time: 97.4222 s	Remaining CPU time: 82.5778 s
97.47/97.58	c ===============================================================================
97.47/97.58	c |        85 |   52350   246720   580251 |    82240       16     37 |  0.000 % |
97.57/97.64	c ===============================================================================
97.57/97.64	c New solution: 278
97.57/97.64	o 278
97.57/97.64	c Elapsed CPU time: 97.4842 s	Remaining CPU time: 82.5158 s
97.57/97.64	c ===============================================================================
97.57/97.64	c |        86 |   52108   246721   580551 |    82240       17     36 |  0.000 % |
97.66/97.70	c ===============================================================================
97.66/97.70	c New solution: 277
97.66/97.70	o 277
97.66/97.70	c Elapsed CPU time: 97.5452 s	Remaining CPU time: 82.4548 s
97.66/97.70	c ===============================================================================
97.66/97.70	c |        88 |   51866   246722   580851 |    82240       19     33 |  0.000 % |
97.66/97.77	c ===============================================================================
97.66/97.77	c New solution: 276
97.66/97.77	o 276
97.66/97.77	c Elapsed CPU time: 97.6122 s	Remaining CPU time: 82.3878 s
97.66/97.77	c ===============================================================================
97.66/97.77	c |        91 |   51624   246723   581151 |    82241       22     32 |  0.000 % |
97.77/97.83	c ===============================================================================
97.77/97.83	c New solution: 275
97.77/97.83	o 275
97.77/97.83	c Elapsed CPU time: 97.6722 s	Remaining CPU time: 82.3278 s
97.77/97.83	c ===============================================================================
97.77/97.83	c |        91 |   51382   246724   581451 |    82241       22     32 |  0.000 % |
97.77/97.89	c ===============================================================================
97.77/97.89	c New solution: 274
97.77/97.89	o 274
97.77/97.89	c Elapsed CPU time: 97.7341 s	Remaining CPU time: 82.2659 s
97.77/97.89	c ===============================================================================
97.77/97.89	c |        93 |   51140   246725   581751 |    82241       24     33 |  0.000 % |
97.87/97.94	c ===============================================================================
97.87/97.94	c New solution: 273
97.87/97.94	o 273
97.87/97.94	c Elapsed CPU time: 97.7831 s	Remaining CPU time: 82.2169 s
97.87/97.94	c ===============================================================================
97.87/97.94	c |        96 |   50898   246726   582051 |    82242       27     33 |  0.000 % |
97.97/98.01	c ===============================================================================
97.97/98.01	c New solution: 272
97.97/98.01	o 272
97.97/98.01	c Elapsed CPU time: 97.8421 s	Remaining CPU time: 82.1579 s
97.97/98.01	c ===============================================================================
97.97/98.01	c |        96 |   50656   246727   582351 |    82242       27     33 |  0.000 % |
97.97/98.05	c ===============================================================================
97.97/98.05	c New solution: 271
97.97/98.05	o 271
97.97/98.05	c Elapsed CPU time: 97.8901 s	Remaining CPU time: 82.1099 s
97.97/98.05	c ===============================================================================
97.97/98.05	c |        97 |   50414   246728   582651 |    82242       28     33 |  0.000 % |
98.07/98.13	c ===============================================================================
98.07/98.13	c New solution: 270
98.07/98.13	o 270
98.07/98.13	c Elapsed CPU time: 97.9671 s	Remaining CPU time: 82.0329 s
98.07/98.13	c ===============================================================================
98.07/98.13	c |       101 |   50172   246729   582951 |    82243       32     31 |  0.000 % |
98.07/98.19	c ===============================================================================
98.07/98.19	c New solution: 269
98.07/98.19	o 269
98.07/98.19	c Elapsed CPU time: 98.0231 s	Remaining CPU time: 81.9769 s
98.07/98.19	c ===============================================================================
98.07/98.19	c |       111 |   49930   246730   583251 |    82243       42     33 |  0.000 % |
98.17/98.25	c ===============================================================================
98.17/98.25	c New solution: 268
98.17/98.25	o 268
98.17/98.25	c Elapsed CPU time: 98.0851 s	Remaining CPU time: 81.9149 s
98.17/98.25	c ===============================================================================
98.17/98.25	c |       113 |   49688   246731   583551 |    82243       32     33 |  0.000 % |
98.27/98.31	c ===============================================================================
98.27/98.31	c New solution: 267
98.27/98.31	o 267
98.27/98.31	c Elapsed CPU time: 98.1461 s	Remaining CPU time: 81.8539 s
98.27/98.31	c ===============================================================================
98.27/98.31	c |       114 |   49446   246732   583851 |    82244       33     33 |  0.000 % |
98.27/98.37	c ===============================================================================
98.27/98.37	c New solution: 266
98.27/98.37	o 266
98.27/98.37	c Elapsed CPU time: 98.2081 s	Remaining CPU time: 81.7919 s
98.27/98.37	c ===============================================================================
98.27/98.37	c |       127 |   49204   246733   584151 |    82244       46     38 |  0.000 % |
98.37/98.42	c ===============================================================================
98.37/98.42	c New solution: 265
98.37/98.42	o 265
98.37/98.42	c Elapsed CPU time: 98.2561 s	Remaining CPU time: 81.7439 s
98.37/98.42	c ===============================================================================
98.37/98.42	c |       129 |   48962   246734   584451 |    82244       48     37 |  0.000 % |
98.37/98.48	c ===============================================================================
98.37/98.48	c New solution: 264
98.37/98.48	o 264
98.37/98.48	c Elapsed CPU time: 98.3181 s	Remaining CPU time: 81.6819 s
98.37/98.48	c ===============================================================================
98.37/98.48	c |       134 |   48720   246735   584751 |    82245       53     36 |  0.000 % |
98.47/98.54	c ===============================================================================
98.47/98.54	c New solution: 263
98.47/98.54	o 263
98.47/98.54	c Elapsed CPU time: 98.376 s	Remaining CPU time: 81.624 s
98.47/98.54	c ===============================================================================
98.47/98.54	c |       134 |   48478   246736   585051 |    82245       53     36 |  0.000 % |
98.57/98.60	c ===============================================================================
98.57/98.60	c New solution: 262
98.57/98.60	o 262
98.57/98.60	c Elapsed CPU time: 98.435 s	Remaining CPU time: 81.565 s
98.57/98.60	c ===============================================================================
98.57/98.60	c |       136 |   48236   246737   585351 |    82245       55     36 |  0.000 % |
98.57/98.66	c ===============================================================================
98.57/98.66	c New solution: 261
98.57/98.66	o 261
98.57/98.66	c Elapsed CPU time: 98.495 s	Remaining CPU time: 81.505 s
98.57/98.66	c ===============================================================================
98.57/98.66	c |       138 |   47994   246738   585651 |    82246       57     35 |  0.000 % |
98.67/98.72	c ===============================================================================
98.67/98.72	c New solution: 260
98.67/98.72	o 260
98.67/98.72	c Elapsed CPU time: 98.551 s	Remaining CPU time: 81.449 s
98.67/98.72	c ===============================================================================
98.67/98.72	c |       138 |   47752   246739   585951 |    82246       57     35 |  0.000 % |
98.67/98.78	c ===============================================================================
98.67/98.78	c New solution: 259
98.67/98.78	o 259
98.67/98.78	c Elapsed CPU time: 98.608 s	Remaining CPU time: 81.392 s
98.67/98.78	c ===============================================================================
98.67/98.78	c |       138 |   47510   246740   586251 |    82246       57     35 |  0.000 % |
98.76/98.83	c ===============================================================================
98.76/98.83	c New solution: 258
98.76/98.83	o 258
98.76/98.83	c Elapsed CPU time: 98.665 s	Remaining CPU time: 81.335 s
98.76/98.83	c ===============================================================================
98.76/98.83	c |       138 |   47268   246741   586551 |    82247       57     35 |  0.000 % |
98.76/98.89	c ===============================================================================
98.76/98.89	c New solution: 257
98.76/98.89	o 257
98.76/98.89	c Elapsed CPU time: 98.72 s	Remaining CPU time: 81.28 s
98.76/98.89	c ===============================================================================
98.76/98.89	c |       138 |   47026   246742   586851 |    82247       57     35 |  0.000 % |
98.87/98.95	c ===============================================================================
98.87/98.95	c New solution: 256
98.87/98.95	o 256
98.87/98.95	c Elapsed CPU time: 98.779 s	Remaining CPU time: 81.221 s
98.87/98.95	c ===============================================================================
98.87/98.95	c |       138 |   46784   246743   587151 |    82247       17     36 |  0.000 % |
98.97/99.01	c ===============================================================================
98.97/99.01	c New solution: 255
98.97/99.01	o 255
98.97/99.01	c Elapsed CPU time: 98.836 s	Remaining CPU time: 81.164 s
98.97/99.01	c ===============================================================================
98.97/99.01	c |       141 |   46542   246744   587451 |    82248       20     33 |  0.000 % |
98.97/99.07	c ===============================================================================
98.97/99.07	c New solution: 254
98.97/99.07	o 254
98.97/99.07	c Elapsed CPU time: 98.9 s	Remaining CPU time: 81.1 s
98.97/99.07	c ===============================================================================
98.97/99.07	c |       142 |   46300   246745   587751 |    82248       21     32 |  0.000 % |
99.07/99.13	c ===============================================================================
99.07/99.13	c New solution: 253
99.07/99.13	o 253
99.07/99.13	c Elapsed CPU time: 98.954 s	Remaining CPU time: 81.046 s
99.07/99.13	c ===============================================================================
99.07/99.13	c |       143 |   46058   246746   588051 |    82248       22     32 |  0.000 % |
99.07/99.18	c ===============================================================================
99.07/99.18	c New solution: 252
99.07/99.18	o 252
99.07/99.18	c Elapsed CPU time: 99.0089 s	Remaining CPU time: 80.9911 s
99.07/99.18	c ===============================================================================
99.07/99.18	c |       144 |   45816   246747   588351 |    82249       23     31 |  0.000 % |
99.17/99.24	c ===============================================================================
99.17/99.24	c New solution: 251
99.17/99.24	o 251
99.17/99.24	c Elapsed CPU time: 99.0669 s	Remaining CPU time: 80.9331 s
99.17/99.24	c ===============================================================================
99.17/99.24	c |       146 |   45574   246748   588651 |    82249       25     30 |  0.000 % |
99.27/99.30	c ===============================================================================
99.27/99.30	c New solution: 250
99.27/99.30	o 250
99.27/99.30	c Elapsed CPU time: 99.1239 s	Remaining CPU time: 80.8761 s
99.27/99.30	c ===============================================================================
99.27/99.30	c |       146 |   45332   246749   588951 |    82249       25     30 |  0.000 % |
99.27/99.36	c ===============================================================================
99.27/99.36	c New solution: 249
99.27/99.36	o 249
99.27/99.36	c Elapsed CPU time: 99.1809 s	Remaining CPU time: 80.8191 s
99.27/99.36	c ===============================================================================
99.27/99.36	c |       150 |   45090   246750   589251 |    82250       29     28 |  0.000 % |
99.36/99.42	c ===============================================================================
99.36/99.42	c New solution: 248
99.36/99.42	o 248
99.36/99.42	c Elapsed CPU time: 99.2409 s	Remaining CPU time: 80.7591 s
99.36/99.42	c ===============================================================================
99.36/99.42	c |       152 |   44848   246751   589551 |    82250       31     28 |  0.000 % |
99.36/99.47	c ===============================================================================
99.36/99.47	c New solution: 247
99.36/99.47	o 247
99.36/99.47	c Elapsed CPU time: 99.2949 s	Remaining CPU time: 80.7051 s
99.36/99.47	c ===============================================================================
99.36/99.47	c |       161 |   44606   246752   589851 |    82250       40     39 |  0.000 % |
99.46/99.53	c ===============================================================================
99.46/99.53	c New solution: 246
99.46/99.53	o 246
99.46/99.53	c Elapsed CPU time: 99.3509 s	Remaining CPU time: 80.6491 s
99.46/99.53	c ===============================================================================
99.46/99.53	c |       164 |   44364   246753   590151 |    82251       43     38 |  0.000 % |
99.46/99.59	c ===============================================================================
99.46/99.59	c New solution: 245
99.46/99.59	o 245
99.46/99.59	c Elapsed CPU time: 99.4049 s	Remaining CPU time: 80.5951 s
99.46/99.59	c ===============================================================================
99.46/99.59	c |       166 |   44122   246754   590451 |    82251       45     38 |  0.000 % |
99.57/99.65	c ===============================================================================
99.57/99.65	c New solution: 244
99.57/99.65	o 244
99.57/99.65	c Elapsed CPU time: 99.4689 s	Remaining CPU time: 80.5311 s
99.57/99.65	c ===============================================================================
99.57/99.65	c |       173 |   43880   246755   590751 |    82251       32     31 |  0.000 % |
99.67/99.71	c ===============================================================================
99.67/99.71	c New solution: 243
99.67/99.71	o 243
99.67/99.71	c Elapsed CPU time: 99.5229 s	Remaining CPU time: 80.4771 s
99.67/99.71	c ===============================================================================
99.67/99.71	c |       174 |   43638   246756   591051 |    82252       33     30 |  0.000 % |
99.67/99.76	c ===============================================================================
99.67/99.76	c New solution: 242
99.67/99.76	o 242
99.67/99.76	c Elapsed CPU time: 99.5779 s	Remaining CPU time: 80.4221 s
99.67/99.76	c ===============================================================================
99.67/99.76	c |       175 |   43396   246757   591351 |    82252       34     30 |  0.000 % |
99.77/99.82	c ===============================================================================
99.77/99.82	c New solution: 241
99.77/99.82	o 241
99.77/99.82	c Elapsed CPU time: 99.6339 s	Remaining CPU time: 80.3661 s
99.77/99.82	c ===============================================================================
99.77/99.82	c |       177 |   43154   246758   591651 |    82252       36     29 |  0.000 % |
99.77/99.87	c ===============================================================================
99.77/99.87	c New solution: 240
99.77/99.87	o 240
99.77/99.87	c Elapsed CPU time: 99.6878 s	Remaining CPU time: 80.3122 s
99.77/99.87	c ===============================================================================
99.77/99.87	c |       179 |   42912   246759   591951 |    82253       38     29 |  0.000 % |
99.87/99.93	c ===============================================================================
99.87/99.93	c New solution: 239
99.87/99.93	o 239
99.87/99.93	c Elapsed CPU time: 99.7418 s	Remaining CPU time: 80.2582 s
99.87/99.93	c ===============================================================================
99.87/99.93	c |       181 |   42670   246760   592251 |    82253       40     28 |  0.000 % |
99.87/99.98	c ===============================================================================
99.87/99.98	c New solution: 238
99.87/99.98	o 238
99.87/99.98	c Elapsed CPU time: 99.7968 s	Remaining CPU time: 80.2032 s
99.87/99.98	c ===============================================================================
99.87/99.98	c |       182 |   42428   246761   592551 |    82253       41     28 |  0.000 % |
99.97/100.04	c ===============================================================================
99.97/100.04	c New solution: 237
99.97/100.04	o 237
99.97/100.04	c Elapsed CPU time: 99.8508 s	Remaining CPU time: 80.1492 s
99.97/100.04	c ===============================================================================
99.97/100.04	c |       184 |   42186   246762   592851 |    82254       43     27 |  0.000 % |
99.97/100.09	c ===============================================================================
99.97/100.09	c New solution: 236
99.97/100.09	o 236
99.97/100.09	c Elapsed CPU time: 99.9048 s	Remaining CPU time: 80.0952 s
99.97/100.09	c ===============================================================================
99.97/100.09	c |       184 |   41944   246763   593151 |    82254       43     27 |  0.000 % |
100.07/100.14	c ===============================================================================
100.07/100.14	c New solution: 235
100.07/100.14	o 235
100.07/100.14	c Elapsed CPU time: 99.9598 s	Remaining CPU time: 80.0402 s
100.07/100.14	c ===============================================================================
100.07/100.14	c |       186 |   41702   246764   593451 |    82254       45     28 |  0.000 % |
100.17/100.20	c ===============================================================================
100.17/100.20	c New solution: 234
100.17/100.20	o 234
100.17/100.20	c Elapsed CPU time: 100.013 s	Remaining CPU time: 79.9872 s
100.17/100.20	c ===============================================================================
100.17/100.20	c |       186 |   41460   246765   593751 |    82255       45     28 |  0.000 % |
100.17/100.25	c ===============================================================================
100.17/100.25	c New solution: 233
100.17/100.25	o 233
100.17/100.25	c Elapsed CPU time: 100.065 s	Remaining CPU time: 79.9352 s
100.17/100.25	c ===============================================================================
100.17/100.25	c |       186 |   41218   246766   594051 |    82255       45     28 |  0.000 % |
100.17/100.30	c ===============================================================================
100.17/100.30	c New solution: 232
100.17/100.30	o 232
100.17/100.30	c Elapsed CPU time: 100.109 s	Remaining CPU time: 79.8912 s
100.17/100.30	c ===============================================================================
100.17/100.30	c |       187 |   40976   246767   594351 |    82255       46     28 |  0.000 % |
100.26/100.35	c ===============================================================================
100.26/100.35	c New solution: 231
100.26/100.35	o 231
100.26/100.35	c Elapsed CPU time: 100.161 s	Remaining CPU time: 79.8392 s
100.26/100.35	c ===============================================================================
100.26/100.35	c |       188 |   40734   246768   594651 |    82256       47     28 |  0.000 % |
100.36/100.40	c ===============================================================================
100.36/100.40	c New solution: 230
100.36/100.40	o 230
100.36/100.40	c Elapsed CPU time: 100.216 s	Remaining CPU time: 79.7842 s
100.36/100.40	c ===============================================================================
100.36/100.40	c |       188 |   40492   246769   594951 |    82256       16     34 |  0.000 % |
100.36/100.46	c ===============================================================================
100.36/100.46	c New solution: 229
100.36/100.46	o 229
100.36/100.46	c Elapsed CPU time: 100.272 s	Remaining CPU time: 79.7282 s
100.36/100.46	c ===============================================================================
100.36/100.46	c |       190 |   40250   246770   595251 |    82256       18     33 |  0.000 % |
100.46/100.52	c ===============================================================================
100.46/100.52	c New solution: 227
100.46/100.52	o 227
100.46/100.52	c Elapsed CPU time: 100.329 s	Remaining CPU time: 79.6713 s
100.46/100.52	c ===============================================================================
100.46/100.52	c |       191 |   40008   246771   595551 |    82257       19     32 |  0.000 % |
100.46/100.57	c ===============================================================================
100.46/100.57	c New solution: 226
100.46/100.57	o 226
100.46/100.57	c Elapsed CPU time: 100.379 s	Remaining CPU time: 79.6213 s
100.46/100.57	c ===============================================================================
100.46/100.57	c |       192 |   39524   246772   595851 |    82257       20     31 |  0.000 % |
100.57/100.62	c ===============================================================================
100.57/100.62	c New solution: 225
100.57/100.62	o 225
100.57/100.62	c Elapsed CPU time: 100.43 s	Remaining CPU time: 79.5703 s
100.57/100.62	c ===============================================================================
100.57/100.62	c |       192 |   39282   246773   596151 |    82257       20     31 |  0.000 % |
100.57/100.67	c ===============================================================================
100.57/100.67	c New solution: 224
100.57/100.67	o 224
100.57/100.67	c Elapsed CPU time: 100.48 s	Remaining CPU time: 79.5203 s
100.57/100.67	c ===============================================================================
100.57/100.67	c |       192 |   39040   246774   596451 |    82258       20     31 |  0.000 % |
100.67/100.73	c ===============================================================================
100.67/100.73	c New solution: 223
100.67/100.73	o 223
100.67/100.73	c Elapsed CPU time: 100.53 s	Remaining CPU time: 79.4703 s
100.67/100.73	c ===============================================================================
100.67/100.73	c |       192 |   38798   246775   596751 |    82258       20     31 |  0.000 % |
100.67/100.78	c ===============================================================================
100.67/100.78	c New solution: 222
100.67/100.78	o 222
100.67/100.78	c Elapsed CPU time: 100.583 s	Remaining CPU time: 79.4173 s
100.67/100.78	c ===============================================================================
100.67/100.78	c |       197 |   38556   246776   597051 |    82258       25     30 |  0.000 % |
100.77/100.83	c ===============================================================================
100.77/100.83	c New solution: 221
100.77/100.83	o 221
100.77/100.83	c Elapsed CPU time: 100.634 s	Remaining CPU time: 79.3663 s
100.77/100.83	c ===============================================================================
100.77/100.83	c |       197 |   38314   246777   597351 |    82259       25     30 |  0.000 % |
100.77/100.88	c ===============================================================================
100.77/100.88	c New solution: 220
100.77/100.88	o 220
100.77/100.88	c Elapsed CPU time: 100.681 s	Remaining CPU time: 79.3193 s
100.77/100.88	c ===============================================================================
100.77/100.88	c |       206 |   38072   246778   597651 |    82259       34     29 |  0.000 % |
100.86/100.93	c ===============================================================================
100.86/100.93	c New solution: 219
100.86/100.93	o 219
100.86/100.93	c Elapsed CPU time: 100.729 s	Remaining CPU time: 79.2713 s
100.86/100.93	c ===============================================================================
100.86/100.93	c |       206 |   37830   246779   597951 |    82259       34     29 |  0.000 % |
100.86/100.98	c ===============================================================================
100.86/100.98	c New solution: 218
100.86/100.98	o 218
100.86/100.98	c Elapsed CPU time: 100.78 s	Remaining CPU time: 79.2203 s
100.86/100.98	c ===============================================================================
100.86/100.98	c |       207 |   37588   246780   598251 |    82260       35     29 |  0.000 % |
100.96/101.03	c ===============================================================================
100.96/101.03	c New solution: 217
100.96/101.03	o 217
100.96/101.03	c Elapsed CPU time: 100.829 s	Remaining CPU time: 79.1713 s
100.96/101.03	c ===============================================================================
100.96/101.03	c |       208 |   37346   246781   598551 |    82260       36     28 |  0.000 % |
100.96/101.08	c ===============================================================================
100.96/101.08	c New solution: 216
100.96/101.08	o 216
100.96/101.08	c Elapsed CPU time: 100.878 s	Remaining CPU time: 79.1223 s
100.96/101.08	c ===============================================================================
100.96/101.08	c |       208 |   37104   246782   598851 |    82260       36     28 |  0.000 % |
101.07/101.13	c ===============================================================================
101.07/101.13	c New solution: 215
101.07/101.13	o 215
101.07/101.13	c Elapsed CPU time: 100.929 s	Remaining CPU time: 79.0713 s
101.07/101.13	c ===============================================================================
101.07/101.13	c |       209 |   36862   246783   599151 |    82261       37     28 |  0.000 % |
101.07/101.18	c ===============================================================================
101.07/101.18	c New solution: 214
101.07/101.18	o 214
101.07/101.18	c Elapsed CPU time: 100.975 s	Remaining CPU time: 79.0254 s
101.07/101.18	c ===============================================================================
101.07/101.18	c |       211 |   36620   246784   599451 |    82261       17     38 |  0.000 % |
101.18/101.23	c ===============================================================================
101.18/101.23	c New solution: 213
101.18/101.23	o 213
101.18/101.23	c Elapsed CPU time: 101.024 s	Remaining CPU time: 78.9764 s
101.18/101.23	c ===============================================================================
101.18/101.23	c |       211 |   36378   246785   599751 |    82261       17     38 |  0.000 % |
101.18/101.28	c ===============================================================================
101.18/101.28	c New solution: 212
101.18/101.28	o 212
101.18/101.28	c Elapsed CPU time: 101.073 s	Remaining CPU time: 78.9274 s
101.18/101.28	c ===============================================================================
101.18/101.28	c |       211 |   36136   246786   600051 |    82262       17     38 |  0.000 % |
101.27/101.33	c ===============================================================================
101.27/101.33	c New solution: 211
101.27/101.33	o 211
101.27/101.33	c Elapsed CPU time: 101.123 s	Remaining CPU time: 78.8774 s
101.27/101.33	c ===============================================================================
101.27/101.33	c |       211 |   35894   246787   600351 |    82262       17     38 |  0.000 % |
101.27/101.38	c ===============================================================================
101.27/101.38	c New solution: 210
101.27/101.38	o 210
101.27/101.38	c Elapsed CPU time: 101.176 s	Remaining CPU time: 78.8244 s
101.27/101.38	c ===============================================================================
101.27/101.38	c |       212 |   35652   246788   600651 |    82262       18     38 |  0.000 % |
101.37/101.43	c ===============================================================================
101.37/101.43	c New solution: 209
101.37/101.43	o 209
101.37/101.43	c Elapsed CPU time: 101.225 s	Remaining CPU time: 78.7754 s
101.37/101.43	c ===============================================================================
101.37/101.43	c |       212 |   35410   246789   600951 |    82263       18     38 |  0.000 % |
101.37/101.47	c ===============================================================================
101.37/101.47	c New solution: 208
101.37/101.47	o 208
101.37/101.47	c Elapsed CPU time: 101.266 s	Remaining CPU time: 78.7344 s
101.37/101.47	c ===============================================================================
101.37/101.47	c |       212 |   35168   246790   601251 |    82263       18     38 |  0.000 % |
101.47/101.52	c ===============================================================================
101.47/101.52	c New solution: 207
101.47/101.52	o 207
101.47/101.52	c Elapsed CPU time: 101.315 s	Remaining CPU time: 78.6854 s
101.47/101.52	c ===============================================================================
101.47/101.52	c |       216 |   34926   246791   601551 |    82263       22     35 |  0.000 % |
101.47/101.57	c ===============================================================================
101.47/101.57	c New solution: 206
101.47/101.57	o 206
101.47/101.57	c Elapsed CPU time: 101.362 s	Remaining CPU time: 78.6384 s
101.47/101.57	c ===============================================================================
101.47/101.57	c |       217 |   34684   246792   601851 |    82264       23     35 |  0.000 % |
101.57/101.62	c ===============================================================================
101.57/101.62	c New solution: 205
101.57/101.62	o 205
101.57/101.62	c Elapsed CPU time: 101.411 s	Remaining CPU time: 78.5894 s
101.57/101.62	c ===============================================================================
101.57/101.62	c |       217 |   34442   246793   602151 |    82264       23     35 |  0.000 % |
101.57/101.67	c ===============================================================================
101.57/101.67	c New solution: 204
101.57/101.67	o 204
101.57/101.67	c Elapsed CPU time: 101.46 s	Remaining CPU time: 78.5404 s
101.57/101.67	c ===============================================================================
101.57/101.67	c |       219 |   34200   246794   602451 |    82264       25     34 |  0.000 % |
101.67/101.71	c ===============================================================================
101.67/101.71	c New solution: 203
101.67/101.71	o 203
101.67/101.71	c Elapsed CPU time: 101.5 s	Remaining CPU time: 78.5004 s
101.67/101.71	c ===============================================================================
101.67/101.71	c |       220 |   33958   246795   602751 |    82265       26     34 |  0.000 % |
101.67/101.75	c ===============================================================================
101.67/101.75	c New solution: 202
101.67/101.75	o 202
101.67/101.75	c Elapsed CPU time: 101.548 s	Remaining CPU time: 78.4524 s
101.67/101.75	c ===============================================================================
101.67/101.75	c |       220 |   33716   246796   603051 |    82265       26     34 |  0.000 % |
101.76/101.80	c ===============================================================================
101.76/101.80	c New solution: 201
101.76/101.80	o 201
101.76/101.80	c Elapsed CPU time: 101.595 s	Remaining CPU time: 78.4054 s
101.76/101.80	c ===============================================================================
101.76/101.80	c |       223 |   33474   246797   603351 |    82265       29     33 |  0.000 % |
101.76/101.85	c ===============================================================================
101.76/101.85	c New solution: 200
101.76/101.85	o 200
101.76/101.85	c Elapsed CPU time: 101.643 s	Remaining CPU time: 78.3575 s
101.76/101.85	c ===============================================================================
101.76/101.85	c |       223 |   33232   246798   603651 |    82266       29     33 |  0.000 % |
101.86/101.90	c ===============================================================================
101.86/101.90	c New solution: 199
101.86/101.90	o 199
101.86/101.90	c Elapsed CPU time: 101.691 s	Remaining CPU time: 78.3095 s
101.86/101.90	c ===============================================================================
101.86/101.90	c |       223 |   32990   246799   603951 |    82266       29     33 |  0.000 % |
101.86/101.95	c ===============================================================================
101.86/101.95	c New solution: 198
101.86/101.95	o 198
101.86/101.95	c Elapsed CPU time: 101.737 s	Remaining CPU time: 78.2635 s
101.86/101.95	c ===============================================================================
101.86/101.95	c |       223 |   32748   246800   604251 |    82266       29     33 |  0.000 % |
101.86/102.00	c ===============================================================================
101.86/102.00	c New solution: 197
101.86/102.00	o 197
101.86/102.00	c Elapsed CPU time: 101.788 s	Remaining CPU time: 78.2125 s
101.86/102.00	c ===============================================================================
101.86/102.00	c |       228 |   32506   246801   604551 |    82267        9     36 |  0.000 % |
101.96/102.04	c ===============================================================================
101.96/102.04	c New solution: 196
101.96/102.04	o 196
101.96/102.04	c Elapsed CPU time: 101.836 s	Remaining CPU time: 78.1645 s
101.96/102.04	c ===============================================================================
101.96/102.04	c |       229 |   32264   246802   604851 |    82267       10     35 |  0.000 % |
101.96/102.09	c ===============================================================================
101.96/102.09	c New solution: 195
101.96/102.09	o 195
101.96/102.09	c Elapsed CPU time: 101.884 s	Remaining CPU time: 78.1165 s
101.96/102.09	c ===============================================================================
101.96/102.09	c |       230 |   32022   246803   605151 |    82267       11     34 |  0.000 % |
102.06/102.13	c ===============================================================================
102.06/102.13	c New solution: 194
102.06/102.13	o 194
102.06/102.13	c Elapsed CPU time: 101.921 s	Remaining CPU time: 78.0795 s
102.06/102.13	c ===============================================================================
102.06/102.13	c |       231 |   31780   246804   605451 |    82268       12     34 |  0.000 % |
102.06/102.18	c ===============================================================================
102.06/102.18	c New solution: 193
102.06/102.18	o 193
102.06/102.18	c Elapsed CPU time: 101.967 s	Remaining CPU time: 78.0325 s
102.06/102.18	c ===============================================================================
102.06/102.18	c |       233 |   31538   246805   605751 |    82268       14     32 |  0.000 % |
102.17/102.23	c ===============================================================================
102.17/102.23	c New solution: 192
102.17/102.23	o 192
102.17/102.23	c Elapsed CPU time: 102.014 s	Remaining CPU time: 77.9855 s
102.17/102.23	c ===============================================================================
102.17/102.23	c |       233 |   31296   246806   606051 |    82268       14     32 |  0.000 % |
102.17/102.27	c ===============================================================================
102.17/102.27	c New solution: 191
102.17/102.27	o 191
102.17/102.27	c Elapsed CPU time: 102.06 s	Remaining CPU time: 77.9395 s
102.17/102.27	c ===============================================================================
102.17/102.27	c |       235 |   31054   246807   606351 |    82269       16     30 |  0.000 % |
102.28/102.32	c ===============================================================================
102.28/102.32	c New solution: 190
102.28/102.32	o 190
102.28/102.32	c Elapsed CPU time: 102.105 s	Remaining CPU time: 77.8945 s
102.28/102.32	c ===============================================================================
102.28/102.32	c |       236 |   30812   246808   606651 |    82269       17     29 |  0.000 % |
102.28/102.37	c ===============================================================================
102.28/102.37	c New solution: 189
102.28/102.37	o 189
102.28/102.37	c Elapsed CPU time: 102.152 s	Remaining CPU time: 77.8475 s
102.28/102.37	c ===============================================================================
102.28/102.37	c |       239 |   30570   246809   606951 |    82269       20     28 |  0.000 % |
102.37/102.41	c ===============================================================================
102.37/102.41	c New solution: 188
102.37/102.41	o 188
102.37/102.41	c Elapsed CPU time: 102.198 s	Remaining CPU time: 77.8015 s
102.37/102.41	c ===============================================================================
102.37/102.41	c |       244 |   30328   246810   607251 |    82270       25     27 |  0.000 % |
102.37/102.46	c ===============================================================================
102.37/102.46	c New solution: 187
102.37/102.46	o 187
102.37/102.46	c Elapsed CPU time: 102.243 s	Remaining CPU time: 77.7565 s
102.37/102.46	c ===============================================================================
102.37/102.46	c |       244 |   30086   246811   607551 |    82270       25     27 |  0.000 % |
102.47/102.50	c ===============================================================================
102.47/102.50	c New solution: 186
102.47/102.50	o 186
102.47/102.50	c Elapsed CPU time: 102.288 s	Remaining CPU time: 77.7116 s
102.47/102.50	c ===============================================================================
102.47/102.50	c |       244 |   29844   246812   607851 |    82270       25     27 |  0.000 % |
102.47/102.55	c ===============================================================================
102.47/102.55	c New solution: 185
102.47/102.55	o 185
102.47/102.55	c Elapsed CPU time: 102.332 s	Remaining CPU time: 77.6676 s
102.47/102.55	c ===============================================================================
102.47/102.55	c |       244 |   29602   246813   608151 |    82271       25     27 |  0.000 % |
102.47/102.59	c ===============================================================================
102.47/102.59	c New solution: 184
102.47/102.59	o 184
102.47/102.59	c Elapsed CPU time: 102.375 s	Remaining CPU time: 77.6246 s
102.47/102.59	c ===============================================================================
102.47/102.59	c |       244 |   29360   246814   608451 |    82271       25     27 |  0.000 % |
102.57/102.63	c ===============================================================================
102.57/102.63	c New solution: 183
102.57/102.63	o 183
102.57/102.63	c Elapsed CPU time: 102.418 s	Remaining CPU time: 77.5816 s
102.57/102.63	c ===============================================================================
102.57/102.63	c |       244 |   29118   246815   608751 |    82271       25     27 |  0.000 % |
102.57/102.68	c ===============================================================================
102.57/102.68	c New solution: 182
102.57/102.68	o 182
102.57/102.68	c Elapsed CPU time: 102.463 s	Remaining CPU time: 77.5366 s
102.57/102.68	c ===============================================================================
102.57/102.68	c |       245 |   28876   246816   609051 |    82272       26     27 |  0.000 % |
102.67/102.72	c ===============================================================================
102.67/102.72	c New solution: 181
102.67/102.72	o 181
102.67/102.72	c Elapsed CPU time: 102.508 s	Remaining CPU time: 77.4916 s
102.67/102.72	c ===============================================================================
102.67/102.72	c |       246 |   28634   246817   609351 |    82272       27     26 |  0.000 % |
102.67/102.77	c ===============================================================================
102.67/102.77	c New solution: 180
102.67/102.77	o 180
102.67/102.77	c Elapsed CPU time: 102.552 s	Remaining CPU time: 77.4476 s
102.67/102.77	c ===============================================================================
102.67/102.77	c |       246 |   28392   246818   609651 |    82272       27     26 |  0.000 % |
102.77/102.81	c ===============================================================================
102.77/102.81	c New solution: 179
102.77/102.81	o 179
102.77/102.81	c Elapsed CPU time: 102.59 s	Remaining CPU time: 77.4096 s
102.77/102.81	c ===============================================================================
102.77/102.81	c |       247 |   28150   246819   609951 |    82273       28     27 |  0.000 % |
102.77/102.85	c ===============================================================================
102.77/102.85	c New solution: 178
102.77/102.85	o 178
102.77/102.85	c Elapsed CPU time: 102.635 s	Remaining CPU time: 77.3646 s
102.77/102.85	c ===============================================================================
102.77/102.85	c |       253 |   27908   246820   610251 |    82273       34     29 |  0.000 % |
102.86/102.90	c ===============================================================================
102.86/102.90	c New solution: 177
102.86/102.90	o 177
102.86/102.90	c Elapsed CPU time: 102.681 s	Remaining CPU time: 77.3186 s
102.86/102.90	c ===============================================================================
102.86/102.90	c |       253 |   27666   246821   610551 |    82273        5     27 |  0.000 % |
102.86/102.95	c ===============================================================================
102.86/102.95	c New solution: 176
102.86/102.95	o 176
102.86/102.95	c Elapsed CPU time: 102.727 s	Remaining CPU time: 77.2726 s
102.86/102.95	c ===============================================================================
102.86/102.95	c |       255 |   27424   246822   610851 |    82274        7     24 |  0.000 % |
102.86/102.99	c ===============================================================================
102.86/102.99	c New solution: 175
102.86/102.99	o 175
102.86/102.99	c Elapsed CPU time: 102.771 s	Remaining CPU time: 77.2286 s
102.86/102.99	c ===============================================================================
102.86/102.99	c |       256 |   27182   246823   611151 |    82274        8     23 |  0.000 % |
102.96/103.03	c ===============================================================================
102.96/103.03	c New solution: 174
102.96/103.03	o 174
102.96/103.03	c Elapsed CPU time: 102.811 s	Remaining CPU time: 77.1886 s
102.96/103.03	c ===============================================================================
102.96/103.03	c |       256 |   26940   246824   611451 |    82274        8     23 |  0.000 % |
102.96/103.07	c ===============================================================================
102.96/103.07	c New solution: 173
102.96/103.07	o 173
102.96/103.07	c Elapsed CPU time: 102.853 s	Remaining CPU time: 77.1466 s
102.96/103.07	c ===============================================================================
102.96/103.07	c |       256 |   26698   246825   611751 |    82275        8     23 |  0.000 % |
103.06/103.12	c ===============================================================================
103.06/103.12	c New solution: 172
103.06/103.12	o 172
103.06/103.12	c Elapsed CPU time: 102.896 s	Remaining CPU time: 77.1036 s
103.06/103.12	c ===============================================================================
103.06/103.12	c |       258 |   26456   246826   612051 |    82275       10     22 |  0.000 % |
103.06/103.16	c ===============================================================================
103.06/103.16	c New solution: 171
103.06/103.16	o 171
103.06/103.16	c Elapsed CPU time: 102.936 s	Remaining CPU time: 77.0636 s
103.06/103.16	c ===============================================================================
103.06/103.16	c |       258 |   26214   246827   612351 |    82275       10     22 |  0.000 % |
103.16/103.20	c ===============================================================================
103.16/103.20	c New solution: 170
103.16/103.20	o 170
103.16/103.20	c Elapsed CPU time: 102.979 s	Remaining CPU time: 77.0207 s
103.16/103.20	c ===============================================================================
103.16/103.20	c |       260 |   25972   246828   612651 |    82276       12     22 |  0.000 % |
103.16/103.24	c ===============================================================================
103.16/103.24	c New solution: 169
103.16/103.24	o 169
103.16/103.24	c Elapsed CPU time: 103.02 s	Remaining CPU time: 76.9797 s
103.16/103.24	c ===============================================================================
103.16/103.24	c |       261 |   25730   246829   612951 |    82276       13     22 |  0.000 % |
103.16/103.29	c ===============================================================================
103.16/103.29	c New solution: 168
103.16/103.29	o 168
103.16/103.29	c Elapsed CPU time: 103.062 s	Remaining CPU time: 76.9377 s
103.16/103.29	c ===============================================================================
103.16/103.29	c |       262 |   25488   246830   613251 |    82276       14     22 |  0.000 % |
103.28/103.33	c ===============================================================================
103.28/103.33	c New solution: 167
103.28/103.33	o 167
103.28/103.33	c Elapsed CPU time: 103.103 s	Remaining CPU time: 76.8967 s
103.28/103.33	c ===============================================================================
103.28/103.33	c |       262 |   25246   246831   613551 |    82277       14     22 |  0.000 % |
103.28/103.37	c ===============================================================================
103.28/103.37	c New solution: 166
103.28/103.37	o 166
103.28/103.37	c Elapsed CPU time: 103.144 s	Remaining CPU time: 76.8557 s
103.28/103.37	c ===============================================================================
103.28/103.37	c |       263 |   25004   246832   613851 |    82277       15     21 |  0.000 % |
103.38/103.41	c ===============================================================================
103.38/103.41	c New solution: 165
103.38/103.41	o 165
103.38/103.41	c Elapsed CPU time: 103.185 s	Remaining CPU time: 76.8147 s
103.38/103.41	c ===============================================================================
103.38/103.41	c |       263 |   24762   246833   614151 |    82277       15     21 |  0.000 % |
103.38/103.45	c ===============================================================================
103.38/103.45	c New solution: 164
103.38/103.45	o 164
103.38/103.45	c Elapsed CPU time: 103.223 s	Remaining CPU time: 76.7767 s
103.38/103.45	c ===============================================================================
103.38/103.45	c |       265 |   24520   246834   614451 |    82278       17     22 |  0.000 % |
103.38/103.49	c ===============================================================================
103.38/103.49	c New solution: 163
103.38/103.49	o 163
103.38/103.49	c Elapsed CPU time: 103.261 s	Remaining CPU time: 76.7387 s
103.38/103.49	c ===============================================================================
103.38/103.49	c |       265 |   24278   246835   614751 |    82278       17     22 |  0.000 % |
103.47/103.53	c ===============================================================================
103.47/103.53	c New solution: 162
103.47/103.53	o 162
103.47/103.53	c Elapsed CPU time: 103.303 s	Remaining CPU time: 76.6967 s
103.47/103.53	c ===============================================================================
103.47/103.53	c |       267 |   24036   246836   615051 |    82278       19     21 |  0.000 % |
103.47/103.57	c ===============================================================================
103.47/103.57	c New solution: 161
103.47/103.57	o 161
103.47/103.57	c Elapsed CPU time: 103.347 s	Remaining CPU time: 76.6527 s
103.47/103.57	c ===============================================================================
103.47/103.57	c |       274 |   23794   246837   615351 |    82279       26     28 |  0.000 % |
103.57/103.62	c ===============================================================================
103.57/103.62	c New solution: 160
103.57/103.62	o 160
103.57/103.62	c Elapsed CPU time: 103.389 s	Remaining CPU time: 76.6107 s
103.57/103.62	c ===============================================================================
103.57/103.62	c |       275 |   23552   246838   615651 |    82279       27     28 |  0.000 % |
103.57/103.66	c ===============================================================================
103.57/103.66	c New solution: 159
103.57/103.66	o 159
103.57/103.66	c Elapsed CPU time: 103.426 s	Remaining CPU time: 76.5737 s
103.57/103.66	c ===============================================================================
103.57/103.66	c |       275 |   23310   246839   615951 |    82279       27     28 |  0.000 % |
103.57/103.70	c ===============================================================================
103.57/103.70	c New solution: 158
103.57/103.70	o 158
103.57/103.70	c Elapsed CPU time: 103.466 s	Remaining CPU time: 76.5337 s
103.57/103.70	c ===============================================================================
103.57/103.70	c |       276 |   23068   246840   616251 |    82280       28     28 |  0.000 % |
103.66/103.73	c ===============================================================================
103.66/103.73	c New solution: 157
103.66/103.73	o 157
103.66/103.73	c Elapsed CPU time: 103.501 s	Remaining CPU time: 76.4987 s
103.66/103.73	c ===============================================================================
103.66/103.73	c |       280 |   22826   246841   616551 |    82280       32     29 |  0.000 % |
103.66/103.77	c ===============================================================================
103.66/103.77	c New solution: 156
103.66/103.77	o 156
103.66/103.77	c Elapsed CPU time: 103.54 s	Remaining CPU time: 76.4597 s
103.66/103.77	c ===============================================================================
103.66/103.77	c |       282 |   22584   246842   616851 |    82280       34     29 |  0.000 % |
103.76/103.81	c ===============================================================================
103.76/103.81	c New solution: 155
103.76/103.81	o 155
103.76/103.81	c Elapsed CPU time: 103.579 s	Remaining CPU time: 76.4207 s
103.76/103.81	c ===============================================================================
103.76/103.81	c |       284 |   22342   246843   617151 |    82281       36     29 |  0.000 % |
103.76/103.85	c ===============================================================================
103.76/103.85	c New solution: 154
103.76/103.85	o 154
103.76/103.85	c Elapsed CPU time: 103.622 s	Remaining CPU time: 76.3778 s
103.76/103.85	c ===============================================================================
103.76/103.85	c |       290 |   22100   246844   617451 |    82281       20     38 |  0.000 % |
103.76/103.90	c ===============================================================================
103.76/103.90	c New solution: 153
103.76/103.90	o 153
103.76/103.90	c Elapsed CPU time: 103.663 s	Remaining CPU time: 76.3368 s
103.76/103.90	c ===============================================================================
103.76/103.90	c |       291 |   21858   246845   617751 |    82281       21     37 |  0.000 % |
103.86/103.93	c ===============================================================================
103.86/103.93	c New solution: 152
103.86/103.93	o 152
103.86/103.93	c Elapsed CPU time: 103.697 s	Remaining CPU time: 76.3028 s
103.86/103.93	c ===============================================================================
103.86/103.93	c |       294 |   21616   246846   618051 |    82282       24     38 |  0.000 % |
103.86/103.97	c ===============================================================================
103.86/103.97	c New solution: 151
103.86/103.97	o 151
103.86/103.97	c Elapsed CPU time: 103.735 s	Remaining CPU time: 76.2648 s
103.86/103.97	c ===============================================================================
103.86/103.97	c |       296 |   21374   246847   618351 |    82282       26     36 |  0.000 % |
103.96/104.00	c ===============================================================================
103.96/104.00	c New solution: 150
103.96/104.00	o 150
103.96/104.00	c Elapsed CPU time: 103.769 s	Remaining CPU time: 76.2308 s
103.96/104.00	c ===============================================================================
103.96/104.00	c |       299 |   21132   246848   618651 |    82282       29     34 |  0.000 % |
103.96/104.04	c ===============================================================================
103.96/104.04	c New solution: 149
103.96/104.04	o 149
103.96/104.04	c Elapsed CPU time: 103.806 s	Remaining CPU time: 76.1938 s
103.96/104.04	c ===============================================================================
103.96/104.04	c |       299 |   20890   246849   618951 |    82283       29     34 |  0.000 % |
103.96/104.08	c ===============================================================================
103.96/104.08	c New solution: 148
103.96/104.08	o 148
103.96/104.08	c Elapsed CPU time: 103.844 s	Remaining CPU time: 76.1558 s
103.96/104.08	c ===============================================================================
103.96/104.08	c |       302 |   20648   246850   619251 |    82283       32     33 |  0.000 % |
104.07/104.11	c ===============================================================================
104.07/104.11	c New solution: 147
104.07/104.11	o 147
104.07/104.11	c Elapsed CPU time: 103.877 s	Remaining CPU time: 76.1228 s
104.07/104.11	c ===============================================================================
104.07/104.11	c |       303 |   20406   246851   619551 |    82283       33     32 |  0.000 % |
104.07/104.15	c ===============================================================================
104.07/104.15	c New solution: 146
104.07/104.15	o 146
104.07/104.15	c Elapsed CPU time: 103.914 s	Remaining CPU time: 76.0858 s
104.07/104.15	c ===============================================================================
104.07/104.15	c |       303 |   20164   246852   619851 |    82284       33     32 |  0.000 % |
104.07/104.19	c ===============================================================================
104.07/104.19	c New solution: 145
104.07/104.19	o 145
104.07/104.19	c Elapsed CPU time: 103.952 s	Remaining CPU time: 76.0478 s
104.07/104.19	c ===============================================================================
104.07/104.19	c |       304 |   19922   246853   620151 |    82284       34     32 |  0.000 % |
104.17/104.23	c ===============================================================================
104.17/104.23	c New solution: 144
104.17/104.23	o 144
104.17/104.23	c Elapsed CPU time: 103.989 s	Remaining CPU time: 76.0108 s
104.17/104.23	c ===============================================================================
104.17/104.23	c |       305 |   19680   246854   620451 |    82284       35     32 |  0.000 % |
104.17/104.26	c ===============================================================================
104.17/104.26	c New solution: 143
104.17/104.26	o 143
104.17/104.26	c Elapsed CPU time: 104.027 s	Remaining CPU time: 75.9728 s
104.17/104.26	c ===============================================================================
104.17/104.26	c |       308 |   19438   246855   620751 |    82285       38     30 |  0.000 % |
104.26/104.30	c ===============================================================================
104.26/104.30	c New solution: 142
104.26/104.30	o 142
104.26/104.30	c Elapsed CPU time: 104.063 s	Remaining CPU time: 75.9368 s
104.26/104.30	c ===============================================================================
104.26/104.30	c |       308 |   19196   246856   621051 |    82285       38     30 |  0.000 % |
104.26/104.34	c ===============================================================================
104.26/104.34	c New solution: 141
104.26/104.34	o 141
104.26/104.34	c Elapsed CPU time: 104.1 s	Remaining CPU time: 75.8998 s
104.26/104.34	c ===============================================================================
104.26/104.34	c |       309 |   18954   246857   621351 |    82285       39     30 |  0.000 % |
104.26/104.37	c ===============================================================================
104.26/104.37	c New solution: 140
104.26/104.37	o 140
104.26/104.37	c Elapsed CPU time: 104.135 s	Remaining CPU time: 75.8648 s
104.26/104.37	c ===============================================================================
104.26/104.37	c |       309 |   18712   246858   621651 |    82286       39     30 |  0.000 % |
104.37/104.41	c ===============================================================================
104.37/104.41	c New solution: 139
104.37/104.41	o 139
104.37/104.41	c Elapsed CPU time: 104.17 s	Remaining CPU time: 75.8298 s
104.37/104.41	c ===============================================================================
104.37/104.41	c |       309 |   18470   246859   621951 |    82286       39     30 |  0.000 % |
104.37/104.44	c ===============================================================================
104.37/104.44	c New solution: 138
104.37/104.44	o 138
104.37/104.44	c Elapsed CPU time: 104.202 s	Remaining CPU time: 75.7978 s
104.37/104.44	c ===============================================================================
104.37/104.44	c |       315 |   18228   246860   622251 |    82286       45     29 |  0.000 % |
104.37/104.48	c ===============================================================================
104.37/104.48	c New solution: 137
104.37/104.48	o 137
104.37/104.48	c Elapsed CPU time: 104.234 s	Remaining CPU time: 75.7658 s
104.37/104.48	c ===============================================================================
104.37/104.48	c |       318 |   17986   246861   622551 |    82287       48     29 |  0.000 % |
104.47/104.51	c ===============================================================================
104.47/104.51	c New solution: 136
104.47/104.51	o 136
104.47/104.51	c Elapsed CPU time: 104.269 s	Remaining CPU time: 75.7309 s
104.47/104.51	c ===============================================================================
104.47/104.51	c |       318 |   17744   246862   622851 |    82287       48     29 |  0.000 % |
104.47/104.55	c ===============================================================================
104.47/104.55	c New solution: 135
104.47/104.55	o 135
104.47/104.55	c Elapsed CPU time: 104.305 s	Remaining CPU time: 75.6949 s
104.47/104.55	c ===============================================================================
104.47/104.55	c |       324 |   17502   246863   623151 |    82287       54     29 |  0.000 % |
104.47/104.59	c ===============================================================================
104.47/104.59	c New solution: 134
104.47/104.59	o 134
104.47/104.59	c Elapsed CPU time: 104.345 s	Remaining CPU time: 75.6549 s
104.47/104.59	c ===============================================================================
104.47/104.59	c |       338 |   17260   246864   623451 |    82288       68     33 |  0.000 % |
104.57/104.63	c ===============================================================================
104.57/104.63	c New solution: 133
104.57/104.63	o 133
104.57/104.63	c Elapsed CPU time: 104.38 s	Remaining CPU time: 75.6199 s
104.57/104.63	c ===============================================================================
104.57/104.63	c |       340 |   17018   246865   623751 |    82288       70     33 |  0.000 % |
104.57/104.66	c ===============================================================================
104.57/104.66	c New solution: 132
104.57/104.66	o 132
104.57/104.66	c Elapsed CPU time: 104.415 s	Remaining CPU time: 75.5849 s
104.57/104.66	c ===============================================================================
104.57/104.66	c |       340 |   16776   246866   624051 |    82288       70     33 |  0.000 % |
104.67/104.70	c ===============================================================================
104.67/104.70	c New solution: 131
104.67/104.70	o 131
104.67/104.70	c Elapsed CPU time: 104.452 s	Remaining CPU time: 75.5479 s
104.67/104.70	c ===============================================================================
104.67/104.70	c |       346 |   16534   246867   624351 |    82289       76     33 |  0.000 % |
104.67/104.73	c ===============================================================================
104.67/104.73	c New solution: 130
104.67/104.73	o 130
104.67/104.73	c Elapsed CPU time: 104.487 s	Remaining CPU time: 75.5129 s
104.67/104.73	c ===============================================================================
104.67/104.73	c |       347 |   16292   246868   624651 |    82289       77     33 |  0.000 % |
104.67/104.76	c ===============================================================================
104.67/104.76	c New solution: 129
104.67/104.76	o 129
104.67/104.76	c Elapsed CPU time: 104.517 s	Remaining CPU time: 75.4829 s
104.67/104.76	c ===============================================================================
104.67/104.76	c |       348 |   16050   246869   624951 |    82289       78     32 |  0.000 % |
104.76/104.80	c ===============================================================================
104.76/104.80	c New solution: 128
104.76/104.80	o 128
104.76/104.80	c Elapsed CPU time: 104.551 s	Remaining CPU time: 75.4489 s
104.76/104.80	c ===============================================================================
104.76/104.80	c |       350 |   15808   246870   625251 |    82290       80     32 |  0.000 % |
104.76/104.83	c ===============================================================================
104.76/104.83	c New solution: 127
104.76/104.83	o 127
104.76/104.83	c Elapsed CPU time: 104.585 s	Remaining CPU time: 75.4149 s
104.76/104.83	c ===============================================================================
104.76/104.83	c |       350 |   15566   246871   625551 |    82290       80     32 |  0.000 % |
104.76/104.87	c ===============================================================================
104.76/104.87	c New solution: 126
104.76/104.87	o 126
104.76/104.87	c Elapsed CPU time: 104.619 s	Remaining CPU time: 75.3809 s
104.76/104.87	c ===============================================================================
104.76/104.87	c |       350 |   15324   246872   625851 |    82290       80     32 |  0.000 % |
104.86/104.90	c ===============================================================================
104.86/104.90	c New solution: 125
104.86/104.90	o 125
104.86/104.90	c Elapsed CPU time: 104.655 s	Remaining CPU time: 75.3449 s
104.86/104.90	c ===============================================================================
104.86/104.90	c |       352 |   15082   246873   626151 |    82291       82     32 |  0.000 % |
104.86/104.94	c ===============================================================================
104.86/104.94	c New solution: 124
104.86/104.94	o 124
104.86/104.94	c Elapsed CPU time: 104.687 s	Remaining CPU time: 75.3129 s
104.86/104.94	c ===============================================================================
104.86/104.94	c |       352 |   14840   246874   626451 |    82291       82     32 |  0.000 % |
104.86/104.97	c ===============================================================================
104.86/104.97	c New solution: 123
104.86/104.97	o 123
104.86/104.97	c Elapsed CPU time: 104.721 s	Remaining CPU time: 75.2789 s
104.86/104.97	c ===============================================================================
104.86/104.97	c |       352 |   14598   246875   626751 |    82291       82     32 |  0.000 % |
104.96/105.00	c ===============================================================================
104.96/105.00	c New solution: 122
104.96/105.00	o 122
104.96/105.00	c Elapsed CPU time: 104.754 s	Remaining CPU time: 75.2459 s
104.96/105.00	c ===============================================================================
104.96/105.00	c |       352 |   14356   246876   627051 |    82292        7     25 |  0.000 % |
104.96/105.04	c ===============================================================================
104.96/105.04	c New solution: 121
104.96/105.04	o 121
104.96/105.04	c Elapsed CPU time: 104.787 s	Remaining CPU time: 75.2129 s
104.96/105.04	c ===============================================================================
104.96/105.04	c |       353 |   14114   246877   627351 |    82292        8     24 |  0.000 % |
104.96/105.07	c ===============================================================================
104.96/105.07	c New solution: 120
104.96/105.07	o 120
104.96/105.07	c Elapsed CPU time: 104.819 s	Remaining CPU time: 75.1809 s
104.96/105.07	c ===============================================================================
104.96/105.07	c |       354 |   13872   246878   627651 |    82292        9     24 |  0.000 % |
105.06/105.10	c ===============================================================================
105.06/105.10	c New solution: 119
105.06/105.10	o 119
105.06/105.10	c Elapsed CPU time: 104.851 s	Remaining CPU time: 75.1489 s
105.06/105.10	c ===============================================================================
105.06/105.10	c |       356 |   13630   246879   627951 |    82293       11     25 |  0.000 % |
105.06/105.14	c ===============================================================================
105.06/105.14	c New solution: 118
105.06/105.14	o 118
105.06/105.14	c Elapsed CPU time: 104.887 s	Remaining CPU time: 75.1129 s
105.06/105.14	c ===============================================================================
105.06/105.14	c |       362 |   13388   246880   628251 |    82293       17     23 |  0.000 % |
105.06/105.17	c ===============================================================================
105.06/105.17	c New solution: 117
105.06/105.17	o 117
105.06/105.17	c Elapsed CPU time: 104.919 s	Remaining CPU time: 75.081 s
105.06/105.17	c ===============================================================================
105.06/105.17	c |       364 |   13146   246881   628551 |    82293       19     22 |  0.000 % |
105.16/105.20	c ===============================================================================
105.16/105.20	c New solution: 116
105.16/105.20	o 116
105.16/105.20	c Elapsed CPU time: 104.952 s	Remaining CPU time: 75.048 s
105.16/105.20	c ===============================================================================
105.16/105.20	c |       367 |   12904   246882   628851 |    82294       22     22 |  0.000 % |
105.16/105.24	c ===============================================================================
105.16/105.24	c New solution: 115
105.16/105.24	o 115
105.16/105.24	c Elapsed CPU time: 104.985 s	Remaining CPU time: 75.015 s
105.16/105.24	c ===============================================================================
105.16/105.24	c |       369 |   12662   246883   629151 |    82294       24     22 |  0.000 % |
105.16/105.27	c ===============================================================================
105.16/105.27	c New solution: 114
105.16/105.27	o 114
105.16/105.27	c Elapsed CPU time: 105.015 s	Remaining CPU time: 74.985 s
105.16/105.27	c ===============================================================================
105.16/105.27	c |       369 |   12420   246884   629451 |    82294       24     22 |  0.000 % |
105.26/105.30	c ===============================================================================
105.26/105.30	c New solution: 113
105.26/105.30	o 113
105.26/105.30	c Elapsed CPU time: 105.047 s	Remaining CPU time: 74.953 s
105.26/105.30	c ===============================================================================
105.26/105.30	c |       370 |   12178   246885   629751 |    82295       25     23 |  0.000 % |
105.26/105.33	c ===============================================================================
105.26/105.33	c New solution: 112
105.26/105.33	o 112
105.26/105.33	c Elapsed CPU time: 105.079 s	Remaining CPU time: 74.921 s
105.26/105.33	c ===============================================================================
105.26/105.33	c |       371 |   11936   246886   630051 |    82295       26     23 |  0.000 % |
105.26/105.36	c ===============================================================================
105.26/105.36	c New solution: 111
105.26/105.36	o 111
105.26/105.36	c Elapsed CPU time: 105.107 s	Remaining CPU time: 74.893 s
105.26/105.36	c ===============================================================================
105.26/105.36	c |       372 |   11694   246887   630351 |    82295       27     22 |  0.000 % |
105.26/105.39	c ===============================================================================
105.26/105.39	c New solution: 110
105.26/105.39	o 110
105.26/105.39	c Elapsed CPU time: 105.14 s	Remaining CPU time: 74.86 s
105.26/105.39	c ===============================================================================
105.26/105.39	c |       384 |   11452   246888   630651 |    82296       39     32 |  0.000 % |
105.37/105.43	c ===============================================================================
105.37/105.43	c New solution: 109
105.37/105.43	o 109
105.37/105.43	c Elapsed CPU time: 105.177 s	Remaining CPU time: 74.823 s
105.37/105.43	c ===============================================================================
105.37/105.43	c |       400 |   11210   246889   630951 |    82296       55     39 |  0.000 % |
105.37/105.46	c ===============================================================================
105.37/105.47	c New solution: 108
105.37/105.47	o 108
105.37/105.47	c Elapsed CPU time: 105.21 s	Remaining CPU time: 74.79 s
105.37/105.47	c ===============================================================================
105.37/105.47	c |       403 |   10968   246890   631251 |    82296       58     38 |  0.000 % |
105.37/105.50	c ===============================================================================
105.37/105.50	c New solution: 107
105.37/105.50	o 107
105.37/105.50	c Elapsed CPU time: 105.24 s	Remaining CPU time: 74.76 s
105.37/105.50	c ===============================================================================
105.37/105.50	c |       404 |   10726   246891   631551 |    82297       59     37 |  0.000 % |
105.47/105.53	c ===============================================================================
105.47/105.53	c New solution: 106
105.47/105.53	o 106
105.47/105.53	c Elapsed CPU time: 105.271 s	Remaining CPU time: 74.729 s
105.47/105.53	c ===============================================================================
105.47/105.53	c |       407 |   10484   246892   631851 |    82297       62     36 |  0.000 % |
105.47/105.56	c ===============================================================================
105.47/105.56	c New solution: 105
105.47/105.56	o 105
105.47/105.56	c Elapsed CPU time: 105.3 s	Remaining CPU time: 74.7 s
105.47/105.56	c ===============================================================================
105.47/105.56	c |       408 |   10242   246893   632151 |    82297       63     36 |  0.000 % |
105.47/105.59	c ===============================================================================
105.47/105.59	c New solution: 104
105.47/105.59	o 104
105.47/105.59	c Elapsed CPU time: 105.33 s	Remaining CPU time: 74.67 s
105.47/105.59	c ===============================================================================
105.47/105.59	c |       409 |   10000   246894   632451 |    82298       64     36 |  0.000 % |
105.57/105.62	c ===============================================================================
105.57/105.62	c New solution: 103
105.57/105.62	o 103
105.57/105.62	c Elapsed CPU time: 105.36 s	Remaining CPU time: 74.64 s
105.57/105.62	c ===============================================================================
105.57/105.62	c |       410 |    9758   246895   632751 |    82298       65     35 |  0.000 % |
105.57/105.65	c ===============================================================================
105.57/105.65	c New solution: 102
105.57/105.65	o 102
105.57/105.65	c Elapsed CPU time: 105.389 s	Remaining CPU time: 74.611 s
105.57/105.65	c ===============================================================================
105.57/105.65	c |       410 |    9516   246896   633051 |    82298       65     35 |  0.000 % |
105.57/105.68	c ===============================================================================
105.57/105.68	c New solution: 101
105.57/105.68	o 101
105.57/105.68	c Elapsed CPU time: 105.419 s	Remaining CPU time: 74.581 s
105.57/105.68	c ===============================================================================
105.57/105.68	c |       412 |    9274   246897   633351 |    82299       67     35 |  0.000 % |
105.66/105.71	c ===============================================================================
105.66/105.71	c New solution: 100
105.66/105.71	o 100
105.66/105.71	c Elapsed CPU time: 105.448 s	Remaining CPU time: 74.552 s
105.66/105.71	c ===============================================================================
105.66/105.71	c |       417 |    9032   246898   633651 |    82299       72     35 |  0.000 % |
105.66/105.74	c ===============================================================================
105.66/105.74	c New solution: 99
105.66/105.74	o 99
105.66/105.74	c Elapsed CPU time: 105.477 s	Remaining CPU time: 74.523 s
105.66/105.74	c ===============================================================================
105.66/105.74	c |       418 |    8790   246899   633951 |    82299       73     35 |  0.000 % |
105.66/105.77	c ===============================================================================
105.66/105.77	c New solution: 98
105.66/105.77	o 98
105.66/105.77	c Elapsed CPU time: 105.505 s	Remaining CPU time: 74.495 s
105.66/105.77	c ===============================================================================
105.66/105.77	c |       419 |    8548   246900   634251 |    82300       74     35 |  0.000 % |
105.66/105.79	c ===============================================================================
105.66/105.79	c New solution: 97
105.66/105.79	o 97
105.66/105.79	c Elapsed CPU time: 105.53 s	Remaining CPU time: 74.47 s
105.66/105.79	c ===============================================================================
105.66/105.79	c |       424 |    8306   246901   634551 |    82300       79     36 |  0.000 % |
105.76/105.82	c ===============================================================================
105.76/105.82	c New solution: 96
105.76/105.82	o 96
105.76/105.82	c Elapsed CPU time: 105.562 s	Remaining CPU time: 74.438 s
105.76/105.82	c ===============================================================================
105.76/105.82	c |       428 |    8064   246902   634851 |    82300       83     36 |  0.000 % |
105.76/105.86	c |       529 |    7999   246902   634851 |    90530      184     56 | 89.262 % |
105.86/105.98	c |       679 |    7995   246902   634851 |    99583      334     59 | 89.262 % |
105.96/106.01	c ===============================================================================
105.96/106.01	c New solution: 95
105.96/106.01	o 95
105.96/106.01	c Elapsed CPU time: 105.748 s	Remaining CPU time: 74.2521 s
105.96/106.01	c ===============================================================================
105.96/106.01	c |       680 |    7822   246903   635151 |    82301      335     59 | 89.262 % |
105.96/106.04	c ===============================================================================
105.96/106.04	c New solution: 94
105.96/106.04	o 94
105.96/106.04	c Elapsed CPU time: 105.777 s	Remaining CPU time: 74.2231 s
105.96/106.04	c ===============================================================================
105.96/106.04	c |       681 |    7580   246904   635451 |    82301      336     59 | 89.262 % |
105.96/106.07	c ===============================================================================
105.96/106.07	c New solution: 93
105.96/106.07	o 93
105.96/106.07	c Elapsed CPU time: 105.806 s	Remaining CPU time: 74.1941 s
105.96/106.07	c ===============================================================================
105.96/106.07	c |       684 |    7338   246905   635751 |    82301      339     58 | 89.262 % |
106.06/106.10	c ===============================================================================
106.06/106.10	c New solution: 92
106.06/106.10	o 92
106.06/106.10	c Elapsed CPU time: 105.834 s	Remaining CPU time: 74.1661 s
106.06/106.10	c ===============================================================================
106.06/106.10	c |       691 |    7096   246906   636051 |    82302      346     58 | 89.262 % |
106.06/106.13	c ===============================================================================
106.06/106.13	c New solution: 91
106.06/106.13	o 91
106.06/106.13	c Elapsed CPU time: 105.868 s	Remaining CPU time: 74.1321 s
106.06/106.13	c ===============================================================================
106.06/106.13	c |       711 |    6854   246907   636351 |    82302      366     57 | 89.262 % |
106.06/106.16	c ===============================================================================
106.06/106.16	c New solution: 90
106.06/106.16	o 90
106.06/106.16	c Elapsed CPU time: 105.899 s	Remaining CPU time: 74.1011 s
106.06/106.16	c ===============================================================================
106.06/106.16	c |       720 |    6612   246908   636651 |    82302      375     56 | 89.262 % |
106.16/106.20	c ===============================================================================
106.16/106.20	c New solution: 89
106.16/106.20	o 89
106.16/106.20	c Elapsed CPU time: 105.933 s	Remaining CPU time: 74.0671 s
106.16/106.20	c ===============================================================================
106.16/106.20	c |       743 |    6370   246909   636951 |    82303      398     56 | 89.262 % |
106.16/106.27	c |       843 |    6294   246909   636951 |    90533      498     55 | 91.587 % |
106.26/106.37	c |       993 |    6291   246909   636951 |    99586      648     55 | 91.587 % |
106.36/106.46	c |      1218 |    6284   246909   636951 |   109545      873     55 | 91.587 % |
106.67/106.76	c |      1557 |    6128   246909   636951 |   120499      955     62 | 91.587 % |
106.67/106.79	c ===============================================================================
106.67/106.79	c New solution: 88
106.67/106.79	o 88
106.67/106.79	c Elapsed CPU time: 106.524 s	Remaining CPU time: 73.4762 s
106.67/106.79	c ===============================================================================
106.67/106.79	c |      1558 |    6128   246910   637251 |    82303      956     62 | 91.587 % |
106.77/106.82	c ===============================================================================
106.77/106.82	c New solution: 87
106.77/106.82	o 87
106.77/106.82	c Elapsed CPU time: 106.553 s	Remaining CPU time: 73.4472 s
106.77/106.82	c ===============================================================================
106.77/106.82	c |      1561 |    5886   246911   637551 |    82303      959     61 | 91.587 % |
106.77/106.85	c |      1661 |    5802   246911   637551 |    90534     1059     61 | 92.252 % |
106.87/106.99	c |      1811 |    5800   246911   637551 |    99587     1209     63 | 92.252 % |
106.96/107.03	c ===============================================================================
106.96/107.03	c New solution: 86
106.96/107.03	o 86
106.96/107.03	c Elapsed CPU time: 106.765 s	Remaining CPU time: 73.2352 s
106.96/107.03	c ===============================================================================
106.96/107.03	c |      1848 |    5644   246912   637851 |    82304     1246     63 | 92.252 % |
107.06/107.13	c |      1949 |    5626   246912   637851 |    90534     1347     64 | 92.584 % |
107.16/107.22	c ===============================================================================
107.16/107.22	c New solution: 85
107.16/107.22	o 85
107.16/107.22	c Elapsed CPU time: 106.953 s	Remaining CPU time: 73.0473 s
107.16/107.22	c ===============================================================================
107.16/107.22	c |      2078 |    5402   246913   638151 |    82304     1476     64 | 92.584 % |
107.26/107.31	c |      2178 |    5384   246913   638151 |    90534     1576     65 | 92.916 % |
107.26/107.35	c ===============================================================================
107.26/107.35	c New solution: 84
107.26/107.35	o 84
107.26/107.35	c Elapsed CPU time: 107.078 s	Remaining CPU time: 72.9223 s
107.26/107.35	c ===============================================================================
107.26/107.35	c |      2228 |    5160   246914   638451 |    82304     1626     64 | 92.916 % |
107.36/107.45	c |      2328 |    5152   246914   638451 |    90535     1726     65 | 93.248 % |
107.46/107.53	c |      2478 |    5145   246914   638451 |    99588     1876     64 | 93.248 % |
107.56/107.66	c |      2703 |    5136   246914   638451 |   109547     2101     64 | 93.248 % |
107.86/107.94	c |      3040 |    5129   246914   638451 |   120502     2438     65 | 93.248 % |
108.26/108.36	c |      3546 |    5118   246914   638451 |   132552     2944     64 | 93.248 % |
108.57/108.66	c |      4307 |    4918   246914   638451 |   145807     2647     59 | 93.248 % |
109.87/109.96	c |      5446 |    4918   246914   638451 |   160388     3786     72 | 93.248 % |
111.16/111.23	c |      7154 |    4918   246914   638451 |   176427     5494     76 | 93.248 % |
113.66/113.73	c |      9716 |    4918   246914   638451 |   194070     8056     80 | 93.248 % |
119.96/120.01	c |     13563 |    4918   246914   638451 |   213477    11903     96 | 93.248 % |
124.06/124.17	c |     19331 |    4918   246914   638451 |   234824    17671     91 | 93.248 % |
134.46/134.50	c |     27980 |    4918   246914   638451 |   258307    26320    103 | 93.248 % |
157.05/157.18	c |     40954 |    4918   246914   638451 |   284138    39294    111 | 93.248 % |
180.35/180.48	c There are 67924 assigned variables. 294 in cost function.
180.74/180.82	c core #1
180.74/180.82	c ============================[ Search Statistics ]==============================
180.74/180.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.74/180.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.74/180.82	c ===============================================================================
180.74/180.82	c |         0 |    3544    80372    37179 |    26790        0    nan |  0.000 % |
180.74/180.85	c |       101 |    3544    80372    37179 |    29469      101     36 | 95.135 % |
180.74/180.89	c |       254 |    3544    80372    37179 |    32416      254     41 | 95.135 % |
180.84/180.95	c |       480 |    3544    80372    37179 |    35658      480     42 | 95.135 % |
180.94/181.05	c |       817 |    3544    80372    37179 |    39224      817     45 | 95.135 % |
181.15/181.22	c |      1323 |    3544    80372    37179 |    43146     1323     50 | 95.135 % |
181.35/181.42	c |      2083 |    3544    80372    37179 |    47461     2083     50 | 95.135 % |
181.74/181.88	c |      3223 |    3544    80372    37179 |    52207     3223     60 | 95.135 % |
182.34/182.48	c |      4931 |    3544    80372    37179 |    57428     4931     57 | 95.135 % |
183.25/183.39	c |      7493 |    3544    80372    37179 |    63170     7493     57 | 95.135 % |
185.05/185.19	c |     11337 |    3544    80372    37179 |    69488    11337     63 | 95.135 % |
187.54/187.68	c |     17104 |    3544    80372    37179 |    76436    17104     61 | 95.135 % |
192.24/192.37	c |     25753 |    3544    80372    37179 |    84080    25753     71 | 95.135 % |
203.64/203.70	c |     38727 |    3544    80372    37179 |    92488    38727     77 | 95.135 % |
221.33/221.41	c |     58190 |    3544    80372    37179 |   101737    58190     75 | 95.135 % |
263.72/263.84	c |     87382 |    3544    80372    37179 |   111911    87382     80 | 95.135 % |
339.60/339.74	c |    131171 |    3544    80372    37179 |   123102   131171     84 | 95.135 % |
482.07/482.28	c |    196855 |    3544    80372    37179 |   135412    19025     72 | 95.135 % |
623.74/623.94	c |    295381 |    3544    80372    37179 |   148953   117551     91 | 95.135 % |
977.24/977.59	c |    443170 |    3544    80372    37179 |   163849    64525     83 | 95.135 % |
1504.61/1505.07	c |    664853 |    3544    80372    37179 |   180234    70935     76 | 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-2687295-1278451309/watcher-2687295-1278451309 -o /tmp/evaluation-result-2687295-1278451309/solver-2687295-1278451309 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687295-1278451309.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: 0.99 0.98 0.99 3/106 24905
/proc/meminfo: memFree=1839476/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=11140 CPUtime=0
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 373 0 0 0 0 0 0 0 21 0 1 0 13344726 11407360 292 1992294400 134512640 135751879 4288046352 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 2785 292 144 303 0 445 0

[startup+0.091109 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 24905
/proc/meminfo: memFree=1839476/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=15772 CPUtime=0.08
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 1513 0 0 0 8 0 0 0 21 0 1 0 13344726 16150528 1432 1992294400 134512640 135751879 4288046352 18446744073709551615 134614466 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 3943 1432 274 303 0 1603 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15772

[startup+0.101109 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 24905
/proc/meminfo: memFree=1839476/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=16036 CPUtime=0.09
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 1627 0 0 0 9 0 0 0 21 0 1 0 13344726 16420864 1546 1992294400 134512640 135751879 4288046352 18446744073709551615 135225262 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 4009 1547 288 303 0 1669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16036

[startup+0.301129 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 24905
/proc/meminfo: memFree=1839476/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=20176 CPUtime=0.29
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 2940 0 0 0 28 1 0 0 21 0 1 0 13344726 20660224 2826 1992294400 134512640 135751879 4288046352 18446744073709551615 135225262 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 5044 2826 592 303 0 2704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20176

[startup+0.701171 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 24905
/proc/meminfo: memFree=1839476/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=25312 CPUtime=0.69
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 4854 0 0 0 68 1 0 0 22 0 1 0 13344726 25919488 4700 1992294400 134512640 135751879 4288046352 18446744073709551615 135277534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 6734 4700 1209 303 0 4394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25312

[startup+1.50025 s]
/proc/loadavg: 1.07 1.00 0.99 2/107 24906
/proc/meminfo: memFree=1820124/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=37612 CPUtime=1.49
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 8407 0 0 0 146 3 0 0 25 0 1 0 13344726 38514688 8139 1992294400 134512640 135751879 4288046352 18446744073709551615 134565270 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 9403 8139 2060 303 0 7063 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37612

[startup+3.10042 s]
/proc/loadavg: 1.07 1.00 0.99 2/107 24906
/proc/meminfo: memFree=1788504/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=57736 CPUtime=3.09
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 15705 0 0 0 305 4 0 0 25 0 1 0 13344726 59121664 13178 1992294400 134512640 135751879 4288046352 18446744073709551615 134524859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 14434 13178 146 303 0 14129 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57736

[startup+6.30074 s]
/proc/loadavg: 1.07 1.00 0.99 2/107 24906
/proc/meminfo: memFree=1782676/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=63808 CPUtime=6.29
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 17198 0 0 0 624 5 0 0 25 0 1 0 13344726 65339392 14671 1992294400 134512640 135751879 4288046352 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 15952 14671 146 303 0 15647 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63808

[startup+12.7014 s]
/proc/loadavg: 1.06 1.00 0.99 2/107 24906
/proc/meminfo: memFree=1772880/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=72256 CPUtime=12.69
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 19320 0 0 0 1263 6 0 0 25 0 1 0 13344726 73990144 16793 1992294400 134512640 135751879 4288046352 18446744073709551615 134523912 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 18064 16793 146 303 0 17759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72256

[startup+25.5017 s]
/proc/loadavg: 1.05 1.00 0.99 2/107 24906
/proc/meminfo: memFree=1761720/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=83212 CPUtime=25.48
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 22063 0 0 0 2541 7 0 0 25 0 1 0 13344726 85209088 19536 1992294400 134512640 135751879 4288046352 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 20803 19536 146 303 0 20498 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83212

[startup+51.1013 s]
/proc/loadavg: 1.03 1.00 0.99 2/107 24907
/proc/meminfo: memFree=1747584/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=97864 CPUtime=51.07
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 25728 0 0 0 5099 8 0 0 25 0 1 0 13344726 100212736 23201 1992294400 134512640 135751879 4288046352 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 24466 23201 146 303 0 24161 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97864

[startup+102.309 s]
/proc/loadavg: 1.01 1.00 0.99 2/107 24909
/proc/meminfo: memFree=1735680/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=108116 CPUtime=102.28
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 29736 0 0 0 10209 19 0 0 25 0 1 0 13344726 110710784 25894 1992294400 134512640 135751879 4288046352 18446744073709551615 134598813 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 27029 25894 146 303 0 26724 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 108116

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24910
/proc/meminfo: memFree=1735556/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=108116 CPUtime=162.25
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 29737 0 0 0 16187 38 0 0 25 0 1 0 13344726 110710784 25895 1992294400 134512640 135751879 4288046352 18446744073709551615 134605627 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 27029 25895 147 303 0 26724 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 108116

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24912
/proc/meminfo: memFree=1740640/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=101952 CPUtime=222.23
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 30880 0 0 0 22161 62 0 0 25 0 1 0 13344726 104398848 24632 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 25488 24632 151 303 0 25183 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 101952

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24913
/proc/meminfo: memFree=1740640/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=101952 CPUtime=282.21
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 30892 0 0 0 28145 76 0 0 25 0 1 0 13344726 104398848 24644 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 25488 24644 151 303 0 25183 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 101952

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24915
/proc/meminfo: memFree=1740516/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=101952 CPUtime=342.2
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 30892 0 0 0 34129 91 0 0 25 0 1 0 13344726 104398848 24644 1992294400 134512640 135751879 4288046352 18446744073709551615 134605379 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 25488 24644 151 303 0 25183 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 101952

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24916
/proc/meminfo: memFree=1740516/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=101952 CPUtime=402.19
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 30892 0 0 0 40113 106 0 0 25 0 1 0 13344726 104398848 24644 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 25488 24644 151 303 0 25183 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 101952

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24918
/proc/meminfo: memFree=1740516/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=101952 CPUtime=462.17
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 30892 0 0 0 46097 120 0 0 25 0 1 0 13344726 104398848 24644 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 25488 24644 151 303 0 25183 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 101952

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24920
/proc/meminfo: memFree=1720552/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=122676 CPUtime=522.16
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 36072 0 0 0 52071 145 0 0 25 0 1 0 13344726 125620224 29824 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 30669 29824 151 303 0 30364 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 122676

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24921
/proc/meminfo: memFree=1702076/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=140896 CPUtime=582.14
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 40620 0 0 0 58049 165 0 0 25 0 1 0 13344726 144277504 34372 1992294400 134512640 135751879 4288046352 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 35224 34372 151 303 0 34919 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 140896

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24923
/proc/meminfo: memFree=1690420/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=152456 CPUtime=642.13
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 43492 0 0 0 64031 182 0 0 25 0 1 0 13344726 156114944 37244 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 38114 37244 151 303 0 37809 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 152456

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24929
/proc/meminfo: memFree=1655080/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=187908 CPUtime=882.07
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 52256 0 0 0 87966 241 0 0 25 0 1 0 13344726 192417792 46008 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 46977 46008 151 303 0 46672 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 187908

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24931
/proc/meminfo: memFree=1642060/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=201108 CPUtime=942.05
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 55559 0 0 0 93945 260 0 0 25 0 1 0 13344726 205934592 49311 1992294400 134512640 135751879 4288046352 18446744073709551615 134605130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 50277 49311 151 303 0 49972 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 201108

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24933
/proc/meminfo: memFree=1626188/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=216720 CPUtime=1002.04
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 59464 0 0 0 99921 283 0 0 25 0 1 0 13344726 221921280 53216 1992294400 134512640 135751879 4288046352 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 54180 53216 151 303 0 53875 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 216720

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24934
/proc/meminfo: memFree=1615400/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=227568 CPUtime=1062.02
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 62158 0 0 0 105903 299 0 0 25 0 1 0 13344726 233029632 55910 1992294400 134512640 135751879 4288046352 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 56892 55910 151 303 0 56587 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 227568

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24936
/proc/meminfo: memFree=1605480/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=237364 CPUtime=1122.01
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 64610 0 0 0 111887 314 0 0 25 0 1 0 13344726 243060736 58362 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 59341 58362 151 303 0 59036 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 237364

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24937
/proc/meminfo: memFree=1596676/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=246312 CPUtime=1181.99
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 66838 0 0 0 117872 327 0 0 25 0 1 0 13344726 252223488 60590 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 61578 60590 151 303 0 61273 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 246312

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24939
/proc/meminfo: memFree=1588244/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=254528 CPUtime=1241.97
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 68903 0 0 0 123854 343 0 0 25 0 1 0 13344726 260636672 62655 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 63632 62655 151 303 0 63327 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 254528

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24941
/proc/meminfo: memFree=1579936/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=262612 CPUtime=1301.97
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 70915 0 0 0 129842 355 0 0 25 0 1 0 13344726 268914688 64667 1992294400 134512640 135751879 4288046352 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 65653 64667 151 303 0 65348 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 262612

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24942
/proc/meminfo: memFree=1572372/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=270160 CPUtime=1361.95
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 72813 0 0 0 135828 367 0 0 25 0 1 0 13344726 276643840 66565 1992294400 134512640 135751879 4288046352 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 67540 66565 151 303 0 67235 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 270160

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24944
/proc/meminfo: memFree=1565924/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=276640 CPUtime=1421.94
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 74426 0 0 0 141816 378 0 0 25 0 1 0 13344726 283279360 68178 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 69160 68178 151 303 0 68855 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 276640

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24945
/proc/meminfo: memFree=1550052/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=292620 CPUtime=1481.91
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 78418 0 0 0 147794 397 0 0 25 0 1 0 13344726 299642880 72170 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 73155 72170 151 303 0 72850 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 292620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24947
/proc/meminfo: memFree=1537032/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=305464 CPUtime=1541.9
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 81643 0 0 0 153774 416 0 0 25 0 1 0 13344726 312795136 75395 1992294400 134512640 135751879 4288046352 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 76366 75395 151 303 0 76061 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 305464

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24948
/proc/meminfo: memFree=1524756/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=317780 CPUtime=1601.89
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 84725 0 0 0 159753 436 0 0 25 0 1 0 13344726 325406720 78477 1992294400 134512640 135751879 4288046352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 79445 78477 151 303 0 79140 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 317780

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24950
/proc/meminfo: memFree=1514216/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=328220 CPUtime=1661.86
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 87339 0 0 0 165734 452 0 0 25 0 1 0 13344726 336097280 81091 1992294400 134512640 135751879 4288046352 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 82055 81091 151 303 0 81750 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 328220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24952
/proc/meminfo: memFree=1503428/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=339044 CPUtime=1721.85
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 90023 0 0 0 171718 467 0 0 25 0 1 0 13344726 347181056 83775 1992294400 134512640 135751879 4288046352 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 84761 83775 151 303 0 84456 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 339044

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24953
/proc/meminfo: memFree=1495368/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=346572 CPUtime=1781.84
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 91930 0 0 0 177706 478 0 0 25 0 1 0 13344726 354889728 85682 1992294400 134512640 135751879 4288046352 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 86643 85682 151 303 0 86338 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 346572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 24954
/proc/meminfo: memFree=1493012/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=348972 CPUtime=1800.04
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 92508 0 0 0 179522 482 0 0 25 0 1 0 13344726 357347328 86260 1992294400 134512640 135751879 4288046352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 87243 86260 151 303 0 86938 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 348972

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 0.99 2/107 24954
/proc/meminfo: memFree=1493012/2059040 swapFree=4139164/4192956
[pid=24905] ppid=24903 vsize=348972 CPUtime=1800.04
/proc/24905/stat : 24905 (wbo1.4b) R 24903 24905 24557 0 -1 4202496 92508 0 0 0 179522 482 0 0 25 0 1 0 13344726 357347328 86260 1992294400 134512640 135751879 4288046352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24905/statm: 87243 86260 151 303 0 86938 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 348972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.08
CPU user time (s): 1795.22
CPU system time (s): 4.86126
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 348972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.22
system time used= 4.86126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92508
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= 61
involuntary context switches= 4917

runsolver used 3.13252 second user time and 8.36973 second system time

The end

Launcher Data 

Begin job on node002 at 2010-07-06 23:21:50
IDJOB=2687295
IDBENCH=77578
IDSOLVER=1161
FILE ID=node002/2687295-1278451309
PBS_JOBID= 11233519
Free space on /tmp= 62560 MiB

SOLVER NAME= wbo 1.4b
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
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687295-1278451309/watcher-2687295-1278451309 -o /tmp/evaluation-result-2687295-1278451309/solver-2687295-1278451309 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687295-1278451309.opb

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

MD5SUM BENCH= 6fb8c842434b82a13287e61400a56efc
RANDOM SEED=1952168232

node002.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.201
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.40
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.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1840376 kB
Buffers:          6660 kB
Cached:         119832 kB
SwapCached:       7284 kB
Active:         107532 kB
Inactive:        32712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1840376 kB
SwapTotal:     4192956 kB
SwapFree:      4139164 kB
Dirty:           10828 kB
Writeback:           0 kB
AnonPages:       11284 kB
Mapped:          11844 kB
Slab:            56308 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180508 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687295-1278451309.opb

Free space on /tmp at the end= 62556 MiB
End job on node002 at 2010-07-06 23:51:53