Trace number 2687113

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.07 1800.64

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12048_7.std.opb
MD5SUM58f861b2885c3bb19bb4f63a6571dc89
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark107
Best CPU time to get the best result obtained on this benchmark1798.1
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 constraints256260
Number of constraints which are clauses255060
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 constraint63
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-2687113-1278448088.opb.
0.00/0.00	c Instance file HOME/instance-2687113-1278448088.opb
0.00/0.00	c File size is 7898359 bytes.
1.39/1.43	c Highest Coefficient sum: 387
1.39/1.43	c ============================[ Problem Statistics ]=============================
1.39/1.43	c |                                                                             |
1.39/1.43	c |  Parsing time:          1.39         s                                      |
1.39/1.43	c |  Number Variables:      72842                                               |
1.39/1.43	c |  Number Clauses:        255060                                              |
1.39/1.43	c |  Number Cardinality:    0                                                   |
1.39/1.43	c |  Number PB Constraints: 1200                                                |
95.55/95.68	c ============================[ Search Statistics ]==============================
95.55/95.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.55/95.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.55/95.68	c ===============================================================================
95.55/95.68	c |         0 |   52051   257546   496276 |    85420        0    nan |  0.000 % |
95.65/95.74	c ===============================================================================
95.65/95.74	c New solution: 300
95.65/95.74	o 300
95.65/95.74	c Elapsed CPU time: 95.5025 s	Remaining CPU time: 84.4975 s
95.65/95.74	c ===============================================================================
95.65/95.74	c |         0 |   52051   257547   496576 |    85849        0    nan |  0.000 % |
95.74/95.81	c |       101 |   52049   257547   496576 |    94433      101     32 | 28.709 % |
95.84/95.91	c |       251 |   52048   257547   496576 |   103877      251     42 | 28.709 % |
95.84/95.97	c ===============================================================================
95.84/95.97	c New solution: 299
95.84/95.97	o 299
95.84/95.97	c Elapsed CPU time: 95.7254 s	Remaining CPU time: 84.2746 s
95.84/95.97	c ===============================================================================
95.84/95.97	c |       268 |   51930   257548   496876 |    85849      268     42 | 28.709 % |
95.94/96.03	c ===============================================================================
95.94/96.03	c New solution: 298
95.94/96.03	o 298
95.94/96.03	c Elapsed CPU time: 95.7884 s	Remaining CPU time: 84.2116 s
95.94/96.03	c ===============================================================================
95.94/96.03	c |       270 |   51795   257549   497176 |    85849      270     42 | 28.709 % |
95.94/96.08	c ===============================================================================
95.94/96.08	c New solution: 297
95.94/96.08	o 297
95.94/96.08	c Elapsed CPU time: 95.8394 s	Remaining CPU time: 84.1606 s
95.94/96.08	c ===============================================================================
95.94/96.08	c |       278 |   51648   257550   497476 |    85850      278     42 | 28.709 % |
96.04/96.14	c ===============================================================================
96.04/96.14	c New solution: 296
96.04/96.14	o 296
96.04/96.14	c Elapsed CPU time: 95.8994 s	Remaining CPU time: 84.1006 s
96.04/96.14	c ===============================================================================
96.04/96.14	c |       279 |   51486   257551   497776 |    85850      279     42 | 28.709 % |
96.15/96.21	c ===============================================================================
96.15/96.21	c New solution: 295
96.15/96.21	o 295
96.15/96.21	c Elapsed CPU time: 95.9634 s	Remaining CPU time: 84.0366 s
96.15/96.21	c ===============================================================================
96.15/96.21	c |       280 |   51318   257552   498076 |    85850      274     42 | 28.709 % |
96.15/96.26	c ===============================================================================
96.15/96.26	c New solution: 294
96.15/96.26	o 294
96.15/96.26	c Elapsed CPU time: 96.0124 s	Remaining CPU time: 83.9876 s
96.15/96.26	c ===============================================================================
96.15/96.26	c |       283 |   51131   257553   498376 |    85851      277     42 | 28.709 % |
96.25/96.31	c ===============================================================================
96.25/96.31	c New solution: 293
96.25/96.31	o 293
96.25/96.31	c Elapsed CPU time: 96.0614 s	Remaining CPU time: 83.9386 s
96.25/96.31	c ===============================================================================
96.25/96.31	c |       284 |   50934   257554   498676 |    85851      278     41 | 28.709 % |
96.25/96.36	c ===============================================================================
96.25/96.36	c New solution: 292
96.25/96.36	o 292
96.25/96.36	c Elapsed CPU time: 96.1114 s	Remaining CPU time: 83.8886 s
96.25/96.36	c ===============================================================================
96.25/96.36	c |       287 |   50729   257555   498976 |    85851      281     41 | 28.709 % |
96.35/96.43	c ===============================================================================
96.35/96.43	c New solution: 291
96.35/96.43	o 291
96.35/96.43	c Elapsed CPU time: 96.1794 s	Remaining CPU time: 83.8206 s
96.35/96.43	c ===============================================================================
96.35/96.43	c |       291 |   50506   257556   499276 |    85852      285     41 | 28.709 % |
96.35/96.48	c ===============================================================================
96.35/96.48	c New solution: 290
96.35/96.48	o 290
96.35/96.48	c Elapsed CPU time: 96.2354 s	Remaining CPU time: 83.7646 s
96.35/96.48	c ===============================================================================
96.35/96.48	c |       311 |   50274   257557   499576 |    85852      305     39 | 28.709 % |
96.45/96.54	c ===============================================================================
96.45/96.54	c New solution: 289
96.45/96.54	o 289
96.45/96.54	c Elapsed CPU time: 96.2964 s	Remaining CPU time: 83.7036 s
96.45/96.54	c ===============================================================================
96.45/96.54	c |       312 |   50032   257558   499876 |    85852      306     39 | 28.709 % |
96.45/96.59	c ===============================================================================
96.45/96.59	c New solution: 288
96.45/96.59	o 288
96.45/96.59	c Elapsed CPU time: 96.3464 s	Remaining CPU time: 83.6536 s
96.45/96.59	c ===============================================================================
96.45/96.59	c |       315 |   49790   257559   500176 |    85853      309     39 | 28.709 % |
96.55/96.65	c ===============================================================================
96.55/96.65	c New solution: 287
96.55/96.65	o 287
96.55/96.65	c Elapsed CPU time: 96.4073 s	Remaining CPU time: 83.5927 s
96.55/96.65	c ===============================================================================
96.55/96.65	c |       320 |   49548   257560   500476 |    85853      314     39 | 28.709 % |
96.65/96.72	c ===============================================================================
96.65/96.72	c New solution: 286
96.65/96.72	o 286
96.65/96.72	c Elapsed CPU time: 96.4683 s	Remaining CPU time: 83.5317 s
96.65/96.72	c ===============================================================================
96.65/96.72	c |       321 |   49306   257561   500776 |    85853      315     39 | 28.709 % |
96.65/96.78	c ===============================================================================
96.65/96.78	c New solution: 285
96.65/96.78	o 285
96.65/96.78	c Elapsed CPU time: 96.5323 s	Remaining CPU time: 83.4677 s
96.65/96.78	c ===============================================================================
96.65/96.78	c |       325 |   49064   257562   501076 |    85854      274     40 | 28.709 % |
96.75/96.84	c ===============================================================================
96.75/96.84	c New solution: 284
96.75/96.84	o 284
96.75/96.84	c Elapsed CPU time: 96.5933 s	Remaining CPU time: 83.4067 s
96.75/96.84	c ===============================================================================
96.75/96.84	c |       330 |   48822   257563   501376 |    85854      279     39 | 28.709 % |
96.84/96.91	c ===============================================================================
96.84/96.91	c New solution: 283
96.84/96.91	o 283
96.84/96.91	c Elapsed CPU time: 96.6623 s	Remaining CPU time: 83.3377 s
96.84/96.91	c ===============================================================================
96.84/96.91	c |       334 |   48580   257564   501676 |    85854      283     39 | 28.709 % |
96.84/96.98	c ===============================================================================
96.84/96.98	c New solution: 282
96.84/96.98	o 282
96.84/96.98	c Elapsed CPU time: 96.7293 s	Remaining CPU time: 83.2707 s
96.84/96.98	c ===============================================================================
96.84/96.98	c |       340 |   48338   257565   501976 |    85855      289     38 | 28.709 % |
96.94/97.04	c ===============================================================================
96.94/97.04	c New solution: 281
96.94/97.04	o 281
96.94/97.04	c Elapsed CPU time: 96.7913 s	Remaining CPU time: 83.2087 s
96.94/97.04	c ===============================================================================
96.94/97.04	c |       344 |   48096   257566   502276 |    85855      293     38 | 28.709 % |
97.04/97.10	c ===============================================================================
97.04/97.10	c New solution: 280
97.04/97.10	o 280
97.04/97.10	c Elapsed CPU time: 96.8493 s	Remaining CPU time: 83.1507 s
97.04/97.10	c ===============================================================================
97.04/97.10	c |       353 |   47854   257567   502576 |    85855      302     38 | 28.709 % |
97.04/97.15	c ===============================================================================
97.04/97.15	c New solution: 279
97.04/97.15	o 279
97.04/97.15	c Elapsed CPU time: 96.8993 s	Remaining CPU time: 83.1007 s
97.04/97.15	c ===============================================================================
97.04/97.15	c |       357 |   47612   257568   502876 |    85856      306     37 | 28.709 % |
97.14/97.21	c ===============================================================================
97.14/97.21	c New solution: 278
97.14/97.21	o 278
97.14/97.21	c Elapsed CPU time: 96.9613 s	Remaining CPU time: 83.0387 s
97.14/97.21	c ===============================================================================
97.14/97.21	c |       358 |   47370   257569   503176 |    85856      307     37 | 28.709 % |
97.14/97.28	c ===============================================================================
97.14/97.28	c New solution: 277
97.14/97.28	o 277
97.14/97.28	c Elapsed CPU time: 97.0233 s	Remaining CPU time: 82.9767 s
97.14/97.28	c ===============================================================================
97.14/97.28	c |       362 |   47128   257570   503476 |    85856      311     37 | 28.709 % |
97.24/97.33	c ===============================================================================
97.24/97.33	c New solution: 276
97.24/97.33	o 276
97.24/97.33	c Elapsed CPU time: 97.0762 s	Remaining CPU time: 82.9238 s
97.24/97.33	c ===============================================================================
97.24/97.33	c |       364 |   46886   257571   503776 |    85857      313     37 | 28.709 % |
97.24/97.39	c ===============================================================================
97.24/97.39	c New solution: 275
97.24/97.39	o 275
97.24/97.39	c Elapsed CPU time: 97.1432 s	Remaining CPU time: 82.8568 s
97.24/97.39	c ===============================================================================
97.24/97.39	c |       366 |   46644   257572   504076 |    85857      276     40 | 28.709 % |
97.34/97.45	c ===============================================================================
97.34/97.45	c New solution: 274
97.34/97.45	o 274
97.34/97.45	c Elapsed CPU time: 97.1932 s	Remaining CPU time: 82.8068 s
97.34/97.45	c ===============================================================================
97.34/97.45	c |       376 |   46402   257573   504376 |    85857      286     39 | 28.709 % |
97.45/97.50	c ===============================================================================
97.45/97.50	c New solution: 273
97.45/97.50	o 273
97.45/97.50	c Elapsed CPU time: 97.2492 s	Remaining CPU time: 82.7508 s
97.45/97.50	c ===============================================================================
97.45/97.50	c |       381 |   46160   257574   504676 |    85858      291     38 | 28.709 % |
97.45/97.57	c ===============================================================================
97.45/97.57	c New solution: 272
97.45/97.57	o 272
97.45/97.57	c Elapsed CPU time: 97.3122 s	Remaining CPU time: 82.6878 s
97.45/97.57	c ===============================================================================
97.45/97.57	c |       386 |   45918   257575   504976 |    85858      296     38 | 28.709 % |
97.55/97.63	c ===============================================================================
97.55/97.63	c New solution: 271
97.55/97.63	o 271
97.55/97.63	c Elapsed CPU time: 97.3752 s	Remaining CPU time: 82.6248 s
97.55/97.63	c ===============================================================================
97.55/97.63	c |       390 |   45676   257576   505276 |    85858      300     37 | 28.709 % |
97.55/97.69	c ===============================================================================
97.55/97.69	c New solution: 270
97.55/97.69	o 270
97.55/97.69	c Elapsed CPU time: 97.4362 s	Remaining CPU time: 82.5638 s
97.55/97.69	c ===============================================================================
97.55/97.69	c |       394 |   45434   257577   505576 |    85859      304     37 | 28.709 % |
97.65/97.76	c ===============================================================================
97.65/97.76	c New solution: 269
97.65/97.76	o 269
97.65/97.76	c Elapsed CPU time: 97.5012 s	Remaining CPU time: 82.4988 s
97.65/97.76	c ===============================================================================
97.65/97.76	c |       397 |   45192   257578   505876 |    85859      307     37 | 28.709 % |
97.75/97.81	c ===============================================================================
97.75/97.81	c New solution: 268
97.75/97.81	o 268
97.75/97.81	c Elapsed CPU time: 97.5562 s	Remaining CPU time: 82.4438 s
97.75/97.81	c ===============================================================================
97.75/97.81	c |       407 |   44950   257579   506176 |    85859      317     36 | 28.709 % |
97.75/97.88	c ===============================================================================
97.75/97.88	c New solution: 267
97.75/97.88	o 267
97.75/97.88	c Elapsed CPU time: 97.6172 s	Remaining CPU time: 82.3828 s
97.75/97.88	c ===============================================================================
97.75/97.88	c |       414 |   44708   257580   506476 |    85860      324     36 | 28.709 % |
97.85/97.93	c ===============================================================================
97.85/97.93	c New solution: 266
97.85/97.93	o 266
97.85/97.93	c Elapsed CPU time: 97.6762 s	Remaining CPU time: 82.3238 s
97.85/97.93	c ===============================================================================
97.85/97.93	c |       418 |   44466   257581   506776 |    85860      328     36 | 28.709 % |
97.85/98.00	c ===============================================================================
97.85/98.00	c New solution: 265
97.85/98.00	o 265
97.85/98.00	c Elapsed CPU time: 97.7361 s	Remaining CPU time: 82.2639 s
97.85/98.00	c ===============================================================================
97.85/98.00	c |       418 |   44224   257582   507076 |    85860      152     26 | 28.709 % |
97.94/98.06	c ===============================================================================
97.94/98.06	c New solution: 264
97.94/98.06	o 264
97.94/98.06	c Elapsed CPU time: 97.7981 s	Remaining CPU time: 82.2019 s
97.94/98.06	c ===============================================================================
97.94/98.06	c |       423 |   43982   257583   507376 |    85861      157     25 | 28.709 % |
98.04/98.10	c ===============================================================================
98.04/98.10	c New solution: 263
98.04/98.10	o 263
98.04/98.10	c Elapsed CPU time: 97.8451 s	Remaining CPU time: 82.1549 s
98.04/98.10	c ===============================================================================
98.04/98.10	c |       426 |   43740   257584   507676 |    85861      160     25 | 28.709 % |
98.04/98.16	c ===============================================================================
98.04/98.16	c New solution: 262
98.04/98.16	o 262
98.04/98.16	c Elapsed CPU time: 97.9031 s	Remaining CPU time: 82.0969 s
98.04/98.16	c ===============================================================================
98.04/98.16	c |       430 |   43498   257585   507976 |    85861      164     25 | 28.709 % |
98.14/98.22	c ===============================================================================
98.14/98.22	c New solution: 261
98.14/98.22	o 261
98.14/98.22	c Elapsed CPU time: 97.9601 s	Remaining CPU time: 82.0399 s
98.14/98.22	c ===============================================================================
98.14/98.22	c |       434 |   43256   257586   508276 |    85862      168     25 | 28.709 % |
98.14/98.28	c ===============================================================================
98.14/98.28	c New solution: 260
98.14/98.28	o 260
98.14/98.28	c Elapsed CPU time: 98.0151 s	Remaining CPU time: 81.9849 s
98.14/98.28	c ===============================================================================
98.14/98.28	c |       435 |   43014   257587   508576 |    85862      169     25 | 28.709 % |
98.24/98.33	c ===============================================================================
98.24/98.33	c New solution: 259
98.24/98.33	o 259
98.24/98.33	c Elapsed CPU time: 98.0721 s	Remaining CPU time: 81.9279 s
98.24/98.33	c ===============================================================================
98.24/98.33	c |       438 |   42772   257588   508876 |    85862      172     25 | 28.709 % |
98.24/98.39	c ===============================================================================
98.24/98.39	c New solution: 258
98.24/98.39	o 258
98.24/98.39	c Elapsed CPU time: 98.1291 s	Remaining CPU time: 81.8709 s
98.24/98.39	c ===============================================================================
98.24/98.39	c |       444 |   42530   257589   509176 |    85863      178     24 | 28.709 % |
98.34/98.45	c ===============================================================================
98.34/98.45	c New solution: 257
98.34/98.45	o 257
98.34/98.45	c Elapsed CPU time: 98.1841 s	Remaining CPU time: 81.8159 s
98.34/98.45	c ===============================================================================
98.34/98.45	c |       446 |   42288   257590   509476 |    85863      180     24 | 28.709 % |
98.45/98.52	c ===============================================================================
98.45/98.52	c New solution: 256
98.45/98.52	o 256
98.45/98.52	c Elapsed CPU time: 98.2541 s	Remaining CPU time: 81.7459 s
98.45/98.52	c ===============================================================================
98.45/98.52	c |       460 |   42046   257591   509776 |    85863      194     24 | 28.709 % |
98.45/98.58	c ===============================================================================
98.45/98.58	c New solution: 255
98.45/98.58	o 255
98.45/98.58	c Elapsed CPU time: 98.3111 s	Remaining CPU time: 81.6889 s
98.45/98.58	c ===============================================================================
98.45/98.58	c |       462 |   41804   257592   510076 |    85864      196     24 | 28.709 % |
98.55/98.64	c ===============================================================================
98.55/98.64	c New solution: 254
98.55/98.64	o 254
98.55/98.64	c Elapsed CPU time: 98.376 s	Remaining CPU time: 81.624 s
98.55/98.64	c ===============================================================================
98.55/98.64	c |       473 |   41562   257593   510376 |    85864      145     26 | 28.709 % |
98.55/98.69	c ===============================================================================
98.55/98.69	c New solution: 253
98.55/98.69	o 253
98.55/98.69	c Elapsed CPU time: 98.425 s	Remaining CPU time: 81.575 s
98.55/98.69	c ===============================================================================
98.55/98.69	c |       479 |   41320   257594   510676 |    85864      151     26 | 28.709 % |
98.65/98.73	c ===============================================================================
98.65/98.73	c New solution: 252
98.65/98.73	o 252
98.65/98.73	c Elapsed CPU time: 98.469 s	Remaining CPU time: 81.531 s
98.65/98.73	c ===============================================================================
98.65/98.73	c |       481 |   41078   257595   510976 |    85865      153     26 | 28.709 % |
98.65/98.79	c ===============================================================================
98.65/98.79	c New solution: 251
98.65/98.79	o 251
98.65/98.79	c Elapsed CPU time: 98.526 s	Remaining CPU time: 81.474 s
98.65/98.79	c ===============================================================================
98.65/98.79	c |       485 |   40836   257596   511276 |    85865      157     26 | 28.709 % |
98.75/98.83	c ===============================================================================
98.75/98.84	c New solution: 250
98.75/98.84	o 250
98.75/98.84	c Elapsed CPU time: 98.569 s	Remaining CPU time: 81.431 s
98.75/98.84	c ===============================================================================
98.75/98.84	c |       487 |   40594   257597   511576 |    85865      159     25 | 28.709 % |
98.75/98.89	c ===============================================================================
98.75/98.89	c New solution: 249
98.75/98.89	o 249
98.75/98.89	c Elapsed CPU time: 98.625 s	Remaining CPU time: 81.375 s
98.75/98.89	c ===============================================================================
98.75/98.89	c |       488 |   40352   257598   511876 |    85866      160     25 | 28.709 % |
98.85/98.95	c ===============================================================================
98.85/98.95	c New solution: 248
98.85/98.95	o 248
98.85/98.95	c Elapsed CPU time: 98.682 s	Remaining CPU time: 81.318 s
98.85/98.95	c ===============================================================================
98.85/98.95	c |       497 |   40110   257599   512176 |    85866      169     25 | 28.709 % |
98.95/99.00	c ===============================================================================
98.95/99.00	c New solution: 247
98.95/99.00	o 247
98.95/99.00	c Elapsed CPU time: 98.736 s	Remaining CPU time: 81.264 s
98.95/99.00	c ===============================================================================
98.95/99.00	c |       502 |   39868   257600   512476 |    85866      174     25 | 28.709 % |
98.95/99.06	c ===============================================================================
98.95/99.06	c New solution: 246
98.95/99.06	o 246
98.95/99.06	c Elapsed CPU time: 98.789 s	Remaining CPU time: 81.211 s
98.95/99.06	c ===============================================================================
98.95/99.06	c |       504 |   39626   257601   512776 |    85867      176     25 | 28.709 % |
99.04/99.11	c ===============================================================================
99.04/99.11	c New solution: 245
99.04/99.11	o 245
99.04/99.11	c Elapsed CPU time: 98.841 s	Remaining CPU time: 81.159 s
99.04/99.11	c ===============================================================================
99.04/99.11	c |       506 |   39384   257602   513076 |    85867      178     25 | 28.709 % |
99.04/99.16	c ===============================================================================
99.04/99.16	c New solution: 244
99.04/99.16	o 244
99.04/99.16	c Elapsed CPU time: 98.894 s	Remaining CPU time: 81.106 s
99.04/99.16	c ===============================================================================
99.04/99.16	c |       508 |   39142   257603   513376 |    85867      180     25 | 28.709 % |
99.14/99.22	c ===============================================================================
99.14/99.22	c New solution: 243
99.14/99.22	o 243
99.14/99.22	c Elapsed CPU time: 98.947 s	Remaining CPU time: 81.053 s
99.14/99.22	c ===============================================================================
99.14/99.22	c |       508 |   38900   257604   513676 |    85868      180     25 | 28.709 % |
99.14/99.26	c ===============================================================================
99.14/99.26	c New solution: 242
99.14/99.26	o 242
99.14/99.26	c Elapsed CPU time: 98.9939 s	Remaining CPU time: 81.0061 s
99.14/99.26	c ===============================================================================
99.14/99.26	c |       514 |   38658   257605   513976 |    85868      137     28 | 28.709 % |
99.24/99.31	c ===============================================================================
99.24/99.31	c New solution: 241
99.24/99.31	o 241
99.24/99.31	c Elapsed CPU time: 99.0409 s	Remaining CPU time: 80.9591 s
99.24/99.31	c ===============================================================================
99.24/99.31	c |       524 |   38416   257606   514276 |    85868      147     27 | 28.709 % |
99.24/99.37	c ===============================================================================
99.24/99.37	c New solution: 240
99.24/99.37	o 240
99.24/99.37	c Elapsed CPU time: 99.0929 s	Remaining CPU time: 80.9071 s
99.24/99.37	c ===============================================================================
99.24/99.37	c |       526 |   38174   257607   514576 |    85869      149     26 | 28.709 % |
99.34/99.41	c ===============================================================================
99.34/99.41	c New solution: 239
99.34/99.41	o 239
99.34/99.41	c Elapsed CPU time: 99.1399 s	Remaining CPU time: 80.8601 s
99.34/99.41	c ===============================================================================
99.34/99.41	c |       530 |   37932   257608   514876 |    85869      153     26 | 28.709 % |
99.34/99.47	c ===============================================================================
99.34/99.47	c New solution: 238
99.34/99.47	o 238
99.34/99.47	c Elapsed CPU time: 99.1919 s	Remaining CPU time: 80.8081 s
99.34/99.47	c ===============================================================================
99.34/99.47	c |       533 |   37690   257609   515176 |    85869      156     26 | 28.709 % |
99.45/99.51	c ===============================================================================
99.45/99.51	c New solution: 237
99.45/99.51	o 237
99.45/99.51	c Elapsed CPU time: 99.2379 s	Remaining CPU time: 80.7621 s
99.45/99.51	c ===============================================================================
99.45/99.51	c |       545 |   37448   257610   515476 |    85870      168     26 | 28.709 % |
99.45/99.57	c ===============================================================================
99.45/99.57	c New solution: 236
99.45/99.57	o 236
99.45/99.57	c Elapsed CPU time: 99.2919 s	Remaining CPU time: 80.7081 s
99.45/99.57	c ===============================================================================
99.45/99.57	c |       551 |   37206   257611   515776 |    85870      174     25 | 28.709 % |
99.55/99.62	c ===============================================================================
99.55/99.62	c New solution: 235
99.55/99.62	o 235
99.55/99.62	c Elapsed CPU time: 99.3449 s	Remaining CPU time: 80.6551 s
99.55/99.62	c ===============================================================================
99.55/99.62	c |       552 |   36964   257612   516076 |    85870      175     25 | 28.709 % |
99.55/99.67	c ===============================================================================
99.55/99.67	c New solution: 234
99.55/99.67	o 234
99.55/99.67	c Elapsed CPU time: 99.3969 s	Remaining CPU time: 80.6031 s
99.55/99.67	c ===============================================================================
99.55/99.67	c |       556 |   36722   257613   516376 |    85871      179     25 | 28.709 % |
99.65/99.72	c ===============================================================================
99.65/99.72	c New solution: 233
99.65/99.72	o 233
99.65/99.72	c Elapsed CPU time: 99.4429 s	Remaining CPU time: 80.5571 s
99.65/99.72	c ===============================================================================
99.65/99.72	c |       564 |   36480   257614   516676 |    85871      187     25 | 28.709 % |
99.65/99.77	c ===============================================================================
99.65/99.77	c New solution: 232
99.65/99.77	o 232
99.65/99.77	c Elapsed CPU time: 99.4969 s	Remaining CPU time: 80.5031 s
99.65/99.77	c ===============================================================================
99.65/99.77	c |       566 |   36238   257615   516976 |    85871      189     24 | 28.709 % |
99.75/99.83	c ===============================================================================
99.75/99.83	c New solution: 231
99.75/99.83	o 231
99.75/99.83	c Elapsed CPU time: 99.5519 s	Remaining CPU time: 80.4481 s
99.75/99.83	c ===============================================================================
99.75/99.83	c |       578 |   35996   257616   517276 |    85872      201     24 | 28.709 % |
99.75/99.89	c ===============================================================================
99.75/99.89	c New solution: 230
99.75/99.89	o 230
99.75/99.89	c Elapsed CPU time: 99.6149 s	Remaining CPU time: 80.3851 s
99.75/99.89	c ===============================================================================
99.75/99.89	c |       623 |   35754   257617   517576 |    85872      246     27 | 28.709 % |
99.85/99.98	c ===============================================================================
99.85/99.98	c New solution: 229
99.85/99.98	o 229
99.85/99.98	c Elapsed CPU time: 99.7038 s	Remaining CPU time: 80.2962 s
99.85/99.98	c ===============================================================================
99.85/99.98	c |       708 |   35512   257618   517876 |    85872      266     32 | 28.709 % |
99.95/100.03	c ===============================================================================
99.95/100.03	c New solution: 228
99.95/100.03	o 228
99.95/100.03	c Elapsed CPU time: 99.7548 s	Remaining CPU time: 80.2452 s
99.95/100.03	c ===============================================================================
99.95/100.03	c |       710 |   35270   257619   518176 |    85873      268     32 | 28.709 % |
99.95/100.07	c ===============================================================================
99.95/100.07	c New solution: 227
99.95/100.07	o 227
99.95/100.07	c Elapsed CPU time: 99.7958 s	Remaining CPU time: 80.2042 s
99.95/100.07	c ===============================================================================
99.95/100.07	c |       715 |   35028   257620   518476 |    85873      273     31 | 28.709 % |
100.05/100.12	c ===============================================================================
100.05/100.12	c New solution: 226
100.05/100.12	o 226
100.05/100.12	c Elapsed CPU time: 99.8468 s	Remaining CPU time: 80.1532 s
100.05/100.13	c ===============================================================================
100.05/100.13	c |       721 |   34786   257621   518776 |    85873      279     31 | 28.709 % |
100.05/100.17	c ===============================================================================
100.05/100.18	c New solution: 225
100.05/100.18	o 225
100.05/100.18	c Elapsed CPU time: 99.8968 s	Remaining CPU time: 80.1032 s
100.05/100.18	c ===============================================================================
100.05/100.18	c |       722 |   34544   257622   519076 |    85874      280     31 | 28.709 % |
100.14/100.22	c ===============================================================================
100.14/100.22	c New solution: 224
100.14/100.22	o 224
100.14/100.22	c Elapsed CPU time: 99.9428 s	Remaining CPU time: 80.0572 s
100.14/100.22	c ===============================================================================
100.14/100.22	c |       730 |   34302   257623   519376 |    85874      288     31 | 28.709 % |
100.14/100.27	c ===============================================================================
100.14/100.27	c New solution: 223
100.14/100.27	o 223
100.14/100.27	c Elapsed CPU time: 99.9918 s	Remaining CPU time: 80.0082 s
100.14/100.27	c ===============================================================================
100.14/100.27	c |       730 |   34060   257624   519676 |    85874      288     31 | 28.709 % |
100.24/100.32	c ===============================================================================
100.24/100.32	c New solution: 222
100.24/100.32	o 222
100.24/100.32	c Elapsed CPU time: 100.043 s	Remaining CPU time: 79.9572 s
100.24/100.32	c ===============================================================================
100.24/100.32	c |       733 |   33818   257625   519976 |    85875      291     30 | 28.709 % |
100.24/100.37	c ===============================================================================
100.24/100.37	c New solution: 221
100.24/100.37	o 221
100.24/100.37	c Elapsed CPU time: 100.095 s	Remaining CPU time: 79.9052 s
100.24/100.37	c ===============================================================================
100.24/100.37	c |       735 |   33576   257626   520276 |    85875      293     30 | 28.709 % |
100.34/100.41	c ===============================================================================
100.34/100.41	c New solution: 220
100.34/100.41	o 220
100.34/100.41	c Elapsed CPU time: 100.135 s	Remaining CPU time: 79.8652 s
100.34/100.41	c ===============================================================================
100.34/100.41	c |       740 |   33334   257627   520576 |    85875      298     30 | 28.709 % |
100.34/100.46	c ===============================================================================
100.34/100.46	c New solution: 219
100.34/100.46	o 219
100.34/100.46	c Elapsed CPU time: 100.181 s	Remaining CPU time: 79.8192 s
100.34/100.46	c ===============================================================================
100.34/100.46	c |       751 |   33092   257628   520876 |    85876      309     30 | 28.709 % |
100.44/100.52	c ===============================================================================
100.44/100.52	c New solution: 218
100.44/100.52	o 218
100.44/100.52	c Elapsed CPU time: 100.237 s	Remaining CPU time: 79.7632 s
100.44/100.52	c ===============================================================================
100.44/100.52	c |       767 |   32850   257629   521176 |    85876      325     29 | 28.709 % |
100.44/100.57	c ===============================================================================
100.44/100.57	c New solution: 217
100.44/100.57	o 217
100.44/100.57	c Elapsed CPU time: 100.29 s	Remaining CPU time: 79.7102 s
100.44/100.57	c ===============================================================================
100.44/100.57	c |       772 |   32608   257630   521476 |    85876      156     27 | 28.709 % |
100.54/100.63	c ===============================================================================
100.54/100.63	c New solution: 216
100.54/100.63	o 216
100.54/100.63	c Elapsed CPU time: 100.346 s	Remaining CPU time: 79.6543 s
100.54/100.63	c ===============================================================================
100.54/100.63	c |       789 |   32366   257631   521776 |    85877      173     28 | 28.709 % |
100.54/100.68	c ===============================================================================
100.54/100.68	c New solution: 215
100.54/100.68	o 215
100.54/100.68	c Elapsed CPU time: 100.392 s	Remaining CPU time: 79.6083 s
100.54/100.68	c ===============================================================================
100.54/100.68	c |       789 |   32124   257632   522076 |    85877      173     28 | 28.709 % |
100.65/100.73	c ===============================================================================
100.65/100.73	c New solution: 214
100.65/100.73	o 214
100.65/100.73	c Elapsed CPU time: 100.444 s	Remaining CPU time: 79.5563 s
100.65/100.73	c ===============================================================================
100.65/100.73	c |       799 |   31882   257633   522376 |    85877      183     27 | 28.709 % |
100.65/100.78	c ===============================================================================
100.65/100.78	c New solution: 213
100.65/100.78	o 213
100.65/100.78	c Elapsed CPU time: 100.493 s	Remaining CPU time: 79.5073 s
100.65/100.78	c ===============================================================================
100.65/100.78	c |       803 |   31640   257634   522676 |    85878      187     27 | 28.709 % |
100.75/100.82	c ===============================================================================
100.75/100.82	c New solution: 212
100.75/100.82	o 212
100.75/100.82	c Elapsed CPU time: 100.537 s	Remaining CPU time: 79.4633 s
100.75/100.82	c ===============================================================================
100.75/100.82	c |       814 |   31398   257635   522976 |    85878      198     26 | 28.709 % |
100.75/100.86	c ===============================================================================
100.75/100.86	c New solution: 211
100.75/100.86	o 211
100.75/100.86	c Elapsed CPU time: 100.579 s	Remaining CPU time: 79.4213 s
100.75/100.86	c ===============================================================================
100.75/100.86	c |       821 |   31156   257636   523276 |    85878      205     26 | 28.709 % |
100.85/100.91	c ===============================================================================
100.85/100.91	c New solution: 210
100.85/100.91	o 210
100.85/100.91	c Elapsed CPU time: 100.626 s	Remaining CPU time: 79.3743 s
100.85/100.91	c ===============================================================================
100.85/100.91	c |       823 |   30914   257637   523576 |    85879      207     26 | 28.709 % |
100.85/100.95	c ===============================================================================
100.85/100.95	c New solution: 209
100.85/100.95	o 209
100.85/100.95	c Elapsed CPU time: 100.667 s	Remaining CPU time: 79.3333 s
100.85/100.95	c ===============================================================================
100.85/100.95	c |       825 |   30672   257638   523876 |    85879      209     26 | 28.709 % |
100.95/101.01	c ===============================================================================
100.95/101.01	c New solution: 208
100.95/101.01	o 208
100.95/101.01	c Elapsed CPU time: 100.72 s	Remaining CPU time: 79.2803 s
100.95/101.01	c ===============================================================================
100.95/101.01	c |       830 |   30430   257639   524176 |    85879      214     25 | 28.709 % |
100.95/101.06	c ===============================================================================
100.95/101.06	c New solution: 207
100.95/101.06	o 207
100.95/101.06	c Elapsed CPU time: 100.769 s	Remaining CPU time: 79.2313 s
100.95/101.06	c ===============================================================================
100.95/101.06	c |       835 |   30188   257640   524476 |    85880      219     25 | 28.709 % |
100.95/101.09	c ===============================================================================
100.95/101.09	c New solution: 206
100.95/101.09	o 206
100.95/101.09	c Elapsed CPU time: 100.807 s	Remaining CPU time: 79.1933 s
100.95/101.09	c ===============================================================================
100.95/101.09	c |       839 |   29946   257641   524776 |    85880      223     25 | 28.709 % |
101.05/101.14	c ===============================================================================
101.05/101.14	c New solution: 205
101.05/101.14	o 205
101.05/101.14	c Elapsed CPU time: 100.854 s	Remaining CPU time: 79.1463 s
101.05/101.14	c ===============================================================================
101.05/101.14	c |       843 |   29704   257642   525076 |    85880      227     25 | 28.709 % |
101.05/101.18	c ===============================================================================
101.05/101.18	c New solution: 204
101.05/101.18	o 204
101.05/101.18	c Elapsed CPU time: 100.894 s	Remaining CPU time: 79.1063 s
101.05/101.18	c ===============================================================================
101.05/101.18	c |       852 |   29462   257643   525376 |    85881      236     25 | 28.709 % |
101.15/101.23	c ===============================================================================
101.15/101.23	c New solution: 203
101.15/101.23	o 203
101.15/101.23	c Elapsed CPU time: 100.943 s	Remaining CPU time: 79.0573 s
101.15/101.23	c ===============================================================================
101.15/101.23	c |       856 |   29220   257644   525676 |    85881      240     24 | 28.709 % |
101.15/101.27	c ===============================================================================
101.15/101.27	c New solution: 202
101.15/101.27	o 202
101.15/101.27	c Elapsed CPU time: 100.983 s	Remaining CPU time: 79.0174 s
101.15/101.27	c ===============================================================================
101.15/101.27	c |       862 |   28978   257645   525976 |    85881      156     26 | 28.709 % |
101.24/101.32	c ===============================================================================
101.24/101.32	c New solution: 201
101.24/101.32	o 201
101.24/101.32	c Elapsed CPU time: 101.03 s	Remaining CPU time: 78.9704 s
101.24/101.32	c ===============================================================================
101.24/101.32	c |       866 |   28736   257646   526276 |    85882      160     26 | 28.709 % |
101.24/101.36	c ===============================================================================
101.24/101.36	c New solution: 200
101.24/101.36	o 200
101.24/101.36	c Elapsed CPU time: 101.071 s	Remaining CPU time: 78.9294 s
101.24/101.36	c ===============================================================================
101.24/101.36	c |       872 |   28494   257647   526576 |    85882      166     26 | 28.709 % |
101.34/101.41	c ===============================================================================
101.34/101.41	c New solution: 199
101.34/101.41	o 199
101.34/101.41	c Elapsed CPU time: 101.12 s	Remaining CPU time: 78.8804 s
101.34/101.41	c ===============================================================================
101.34/101.41	c |       910 |   28252   257648   526876 |    85882      204     27 | 28.709 % |
101.34/101.46	c ===============================================================================
101.34/101.46	c New solution: 198
101.34/101.46	o 198
101.34/101.46	c Elapsed CPU time: 101.168 s	Remaining CPU time: 78.8324 s
101.34/101.46	c ===============================================================================
101.34/101.46	c |       917 |   28010   257649   527176 |    85883      211     27 | 28.709 % |
101.45/101.50	c ===============================================================================
101.45/101.50	c New solution: 197
101.45/101.50	o 197
101.45/101.50	c Elapsed CPU time: 101.209 s	Remaining CPU time: 78.7914 s
101.45/101.50	c ===============================================================================
101.45/101.50	c |       923 |   27768   257650   527476 |    85883      217     27 | 28.709 % |
101.45/101.55	c ===============================================================================
101.45/101.55	c New solution: 196
101.45/101.55	o 196
101.45/101.55	c Elapsed CPU time: 101.253 s	Remaining CPU time: 78.7474 s
101.45/101.55	c ===============================================================================
101.45/101.55	c |       923 |   27526   257651   527776 |    85883      217     27 | 28.709 % |
101.45/101.59	c ===============================================================================
101.45/101.59	c New solution: 195
101.45/101.59	o 195
101.45/101.59	c Elapsed CPU time: 101.297 s	Remaining CPU time: 78.7034 s
101.45/101.59	c ===============================================================================
101.45/101.59	c |       923 |   27284   257652   528076 |    85884      217     27 | 28.709 % |
101.55/101.63	c ===============================================================================
101.55/101.63	c New solution: 194
101.55/101.63	o 194
101.55/101.63	c Elapsed CPU time: 101.333 s	Remaining CPU time: 78.6674 s
101.55/101.63	c ===============================================================================
101.55/101.63	c |       928 |   27042   257653   528376 |    85884      222     26 | 28.709 % |
101.55/101.66	c ===============================================================================
101.55/101.66	c New solution: 193
101.55/101.66	o 193
101.55/101.66	c Elapsed CPU time: 101.369 s	Remaining CPU time: 78.6314 s
101.55/101.66	c ===============================================================================
101.55/101.66	c |       929 |   26800   257654   528676 |    85884      223     26 | 28.709 % |
101.65/101.71	c ===============================================================================
101.65/101.71	c New solution: 192
101.65/101.71	o 192
101.65/101.71	c Elapsed CPU time: 101.415 s	Remaining CPU time: 78.5854 s
101.65/101.71	c ===============================================================================
101.65/101.71	c |       933 |   26558   257655   528976 |    85885      227     26 | 28.709 % |
101.65/101.76	c ===============================================================================
101.65/101.76	c New solution: 191
101.65/101.76	o 191
101.65/101.76	c Elapsed CPU time: 101.461 s	Remaining CPU time: 78.5394 s
101.65/101.76	c ===============================================================================
101.65/101.76	c |       941 |   26316   257656   529276 |    85885      235     26 | 28.709 % |
101.74/101.80	c ===============================================================================
101.74/101.80	c New solution: 190
101.74/101.80	o 190
101.74/101.80	c Elapsed CPU time: 101.507 s	Remaining CPU time: 78.4934 s
101.74/101.80	c ===============================================================================
101.74/101.80	c |       943 |   26074   257657   529576 |    85885      237     26 | 28.709 % |
101.74/101.85	c ===============================================================================
101.74/101.85	c New solution: 189
101.74/101.85	o 189
101.74/101.85	c Elapsed CPU time: 101.552 s	Remaining CPU time: 78.4484 s
101.74/101.85	c ===============================================================================
101.74/101.85	c |       944 |   25832   257658   529876 |    85886      238     26 | 28.709 % |
101.74/101.89	c ===============================================================================
101.74/101.89	c New solution: 188
101.74/101.89	o 188
101.74/101.89	c Elapsed CPU time: 101.594 s	Remaining CPU time: 78.4064 s
101.74/101.89	c ===============================================================================
101.74/101.89	c |       947 |   25590   257659   530176 |    85886      241     25 | 28.709 % |
101.84/101.93	c ===============================================================================
101.84/101.93	c New solution: 187
101.84/101.93	o 187
101.84/101.93	c Elapsed CPU time: 101.631 s	Remaining CPU time: 78.3695 s
101.84/101.93	c ===============================================================================
101.84/101.93	c |       968 |   25348   257660   530476 |    85886      262     25 | 28.709 % |
101.84/101.97	c ===============================================================================
101.84/101.97	c New solution: 186
101.84/101.97	o 186
101.84/101.97	c Elapsed CPU time: 101.676 s	Remaining CPU time: 78.3245 s
101.84/101.97	c ===============================================================================
101.84/101.97	c |       986 |   25106   257661   530776 |    85887      280     25 | 28.709 % |
101.94/102.02	c ===============================================================================
101.94/102.02	c New solution: 185
101.94/102.02	o 185
101.94/102.02	c Elapsed CPU time: 101.722 s	Remaining CPU time: 78.2785 s
101.94/102.02	c ===============================================================================
101.94/102.02	c |       991 |   24864   257662   531076 |    85887      164     27 | 28.709 % |
101.94/102.07	c ===============================================================================
101.94/102.07	c New solution: 184
101.94/102.07	o 184
101.94/102.07	c Elapsed CPU time: 101.769 s	Remaining CPU time: 78.2315 s
101.94/102.07	c ===============================================================================
101.94/102.07	c |       998 |   24622   257663   531376 |    85887      171     27 | 28.709 % |
102.04/102.11	c ===============================================================================
102.04/102.11	c New solution: 183
102.04/102.11	o 183
102.04/102.11	c Elapsed CPU time: 101.812 s	Remaining CPU time: 78.1885 s
102.04/102.11	c ===============================================================================
102.04/102.11	c |      1014 |   24380   257664   531676 |    85888      187     27 | 28.709 % |
102.04/102.15	c ===============================================================================
102.04/102.15	c New solution: 182
102.04/102.15	o 182
102.04/102.15	c Elapsed CPU time: 101.853 s	Remaining CPU time: 78.1475 s
102.04/102.15	c ===============================================================================
102.04/102.15	c |      1014 |   24138   257665   531976 |    85888      187     27 | 28.709 % |
102.04/102.19	c ===============================================================================
102.04/102.19	c New solution: 181
102.04/102.19	o 181
102.04/102.19	c Elapsed CPU time: 101.893 s	Remaining CPU time: 78.1075 s
102.04/102.19	c ===============================================================================
102.04/102.19	c |      1015 |   23896   257666   532276 |    85888      188     27 | 28.709 % |
102.15/102.23	c ===============================================================================
102.15/102.23	c New solution: 180
102.15/102.23	o 180
102.15/102.23	c Elapsed CPU time: 101.934 s	Remaining CPU time: 78.0665 s
102.15/102.23	c ===============================================================================
102.15/102.23	c |      1018 |   23654   257667   532576 |    85889      191     26 | 28.709 % |
102.15/102.28	c ===============================================================================
102.15/102.28	c New solution: 179
102.15/102.28	o 179
102.15/102.28	c Elapsed CPU time: 101.975 s	Remaining CPU time: 78.0245 s
102.15/102.28	c ===============================================================================
102.15/102.28	c |      1019 |   23412   257668   532876 |    85889      192     26 | 28.709 % |
102.25/102.32	c ===============================================================================
102.25/102.32	c New solution: 178
102.25/102.32	o 178
102.25/102.32	c Elapsed CPU time: 102.017 s	Remaining CPU time: 77.9825 s
102.25/102.32	c ===============================================================================
102.25/102.32	c |      1023 |   23170   257669   533176 |    85889      196     26 | 28.709 % |
102.25/102.35	c ===============================================================================
102.25/102.35	c New solution: 177
102.25/102.35	o 177
102.25/102.35	c Elapsed CPU time: 102.054 s	Remaining CPU time: 77.9455 s
102.25/102.35	c ===============================================================================
102.25/102.35	c |      1031 |   22928   257670   533476 |    85890      204     26 | 28.709 % |
102.25/102.39	c ===============================================================================
102.25/102.39	c New solution: 176
102.25/102.39	o 176
102.25/102.39	c Elapsed CPU time: 102.092 s	Remaining CPU time: 77.9075 s
102.25/102.39	c ===============================================================================
102.25/102.39	c |      1044 |   22686   257671   533776 |    85890      217     26 | 28.709 % |
102.34/102.44	c ===============================================================================
102.34/102.44	c New solution: 175
102.34/102.44	o 175
102.34/102.44	c Elapsed CPU time: 102.137 s	Remaining CPU time: 77.8625 s
102.34/102.44	c ===============================================================================
102.34/102.44	c |      1049 |   22444   257672   534076 |    85890      222     26 | 28.709 % |
102.34/102.47	c ===============================================================================
102.34/102.47	c New solution: 174
102.34/102.47	o 174
102.34/102.47	c Elapsed CPU time: 102.171 s	Remaining CPU time: 77.8285 s
102.34/102.47	c ===============================================================================
102.34/102.47	c |      1055 |   22202   257673   534376 |    85891      228     25 | 28.709 % |
102.44/102.51	c ===============================================================================
102.44/102.51	c New solution: 173
102.44/102.51	o 173
102.44/102.51	c Elapsed CPU time: 102.203 s	Remaining CPU time: 77.7965 s
102.44/102.51	c ===============================================================================
102.44/102.51	c |      1057 |   21960   257674   534676 |    85891      230     25 | 28.709 % |
102.44/102.55	c ===============================================================================
102.44/102.55	c New solution: 172
102.44/102.55	o 172
102.44/102.55	c Elapsed CPU time: 102.244 s	Remaining CPU time: 77.7555 s
102.44/102.55	c ===============================================================================
102.44/102.55	c |      1060 |   21718   257675   534976 |    85891      233     25 | 28.709 % |
102.44/102.59	c ===============================================================================
102.44/102.59	c New solution: 171
102.44/102.59	o 171
102.44/102.59	c Elapsed CPU time: 102.285 s	Remaining CPU time: 77.7146 s
102.44/102.59	c ===============================================================================
102.44/102.59	c |      1076 |   21476   257676   535276 |    85892      249     25 | 28.709 % |
102.54/102.63	c ===============================================================================
102.54/102.63	c New solution: 170
102.54/102.63	o 170
102.54/102.63	c Elapsed CPU time: 102.324 s	Remaining CPU time: 77.6756 s
102.54/102.63	c ===============================================================================
102.54/102.63	c |      1092 |   21234   257677   535576 |    85892      265     26 | 28.709 % |
102.54/102.67	c ===============================================================================
102.54/102.67	c New solution: 169
102.54/102.67	o 169
102.54/102.67	c Elapsed CPU time: 102.362 s	Remaining CPU time: 77.6376 s
102.54/102.67	c ===============================================================================
102.54/102.67	c |      1092 |   20992   257678   535876 |    85892      265     26 | 28.709 % |
102.65/102.71	c ===============================================================================
102.65/102.71	c New solution: 168
102.65/102.71	o 168
102.65/102.71	c Elapsed CPU time: 102.401 s	Remaining CPU time: 77.5986 s
102.65/102.71	c ===============================================================================
102.65/102.71	c |      1096 |   20750   257679   536176 |    85893      269     25 | 28.709 % |
102.65/102.74	c ===============================================================================
102.65/102.74	c New solution: 167
102.65/102.74	o 167
102.65/102.74	c Elapsed CPU time: 102.433 s	Remaining CPU time: 77.5666 s
102.65/102.74	c ===============================================================================
102.65/102.74	c |      1100 |   20508   257680   536476 |    85893      273     25 | 28.709 % |
102.65/102.77	c ===============================================================================
102.65/102.77	c New solution: 166
102.65/102.77	o 166
102.65/102.77	c Elapsed CPU time: 102.466 s	Remaining CPU time: 77.5336 s
102.65/102.77	c ===============================================================================
102.65/102.77	c |      1104 |   20266   257681   536776 |    85893      277     25 | 28.709 % |
102.75/102.81	c ===============================================================================
102.75/102.81	c New solution: 165
102.75/102.81	o 165
102.75/102.81	c Elapsed CPU time: 102.501 s	Remaining CPU time: 77.4986 s
102.75/102.81	c ===============================================================================
102.75/102.81	c |      1114 |   20024   257682   537076 |    85894      287     25 | 28.709 % |
102.75/102.88	c |      1215 |   19782   257682   537076 |    94483      255     32 | 72.843 % |
102.84/102.91	c ===============================================================================
102.84/102.91	c New solution: 164
102.84/102.91	o 164
102.84/102.91	c Elapsed CPU time: 102.602 s	Remaining CPU time: 77.3976 s
102.84/102.91	c ===============================================================================
102.84/102.91	c |      1217 |   19782   257683   537376 |    85894      257     32 | 72.843 % |
102.84/102.95	c ===============================================================================
102.84/102.95	c New solution: 163
102.84/102.95	o 163
102.84/102.95	c Elapsed CPU time: 102.64 s	Remaining CPU time: 77.3596 s
102.84/102.95	c ===============================================================================
102.84/102.95	c |      1219 |   19540   257684   537676 |    85894      259     32 | 72.843 % |
102.84/102.98	c ===============================================================================
102.84/102.98	c New solution: 162
102.84/102.98	o 162
102.84/102.98	c Elapsed CPU time: 102.672 s	Remaining CPU time: 77.3276 s
102.84/102.98	c ===============================================================================
102.84/102.98	c |      1225 |   19298   257685   537976 |    85895      265     32 | 72.843 % |
102.94/103.02	c ===============================================================================
102.94/103.02	c New solution: 161
102.94/103.02	o 161
102.94/103.02	c Elapsed CPU time: 102.71 s	Remaining CPU time: 77.2896 s
102.94/103.02	c ===============================================================================
102.94/103.02	c |      1229 |   19056   257686   538276 |    85895      269     32 | 72.843 % |
102.94/103.06	c ===============================================================================
102.94/103.06	c New solution: 160
102.94/103.06	o 160
102.94/103.06	c Elapsed CPU time: 102.749 s	Remaining CPU time: 77.2506 s
102.94/103.06	c ===============================================================================
102.94/103.06	c |      1231 |   18814   257687   538576 |    85895      271     31 | 72.843 % |
103.04/103.10	c ===============================================================================
103.04/103.10	c New solution: 159
103.04/103.10	o 159
103.04/103.10	c Elapsed CPU time: 102.786 s	Remaining CPU time: 77.2136 s
103.04/103.10	c ===============================================================================
103.04/103.10	c |      1234 |   18572   257688   538876 |    85896      274     31 | 72.843 % |
103.04/103.13	c ===============================================================================
103.04/103.13	c New solution: 158
103.04/103.13	o 158
103.04/103.13	c Elapsed CPU time: 102.819 s	Remaining CPU time: 77.1806 s
103.04/103.13	c ===============================================================================
103.04/103.13	c |      1241 |   18330   257689   539176 |    85896      281     31 | 72.843 % |
103.04/103.17	c ===============================================================================
103.04/103.17	c New solution: 157
103.04/103.17	o 157
103.04/103.17	c Elapsed CPU time: 102.856 s	Remaining CPU time: 77.1436 s
103.04/103.17	c ===============================================================================
103.04/103.17	c |      1242 |   18088   257690   539476 |    85896      282     31 | 72.843 % |
103.14/103.20	c ===============================================================================
103.14/103.20	c New solution: 156
103.14/103.20	o 156
103.14/103.20	c Elapsed CPU time: 102.892 s	Remaining CPU time: 77.1076 s
103.14/103.20	c ===============================================================================
103.14/103.20	c |      1243 |   17846   257691   539776 |    85897      283     31 | 72.843 % |
103.14/103.24	c ===============================================================================
103.14/103.24	c New solution: 155
103.14/103.24	o 155
103.14/103.24	c Elapsed CPU time: 102.929 s	Remaining CPU time: 77.0706 s
103.14/103.24	c ===============================================================================
103.14/103.24	c |      1250 |   17604   257692   540076 |    85897      290     30 | 72.843 % |
103.14/103.27	c ===============================================================================
103.14/103.27	c New solution: 154
103.14/103.27	o 154
103.14/103.27	c Elapsed CPU time: 102.962 s	Remaining CPU time: 77.0377 s
103.14/103.27	c ===============================================================================
103.14/103.27	c |      1257 |   17362   257693   540376 |    85897      297     30 | 72.843 % |
103.25/103.31	c ===============================================================================
103.25/103.31	c New solution: 153
103.25/103.31	o 153
103.25/103.31	c Elapsed CPU time: 103.001 s	Remaining CPU time: 76.9987 s
103.25/103.31	c ===============================================================================
103.25/103.31	c |      1261 |   17120   257694   540676 |    85898      301     30 | 72.843 % |
103.25/103.35	c ===============================================================================
103.25/103.35	c New solution: 152
103.25/103.35	o 152
103.25/103.35	c Elapsed CPU time: 103.038 s	Remaining CPU time: 76.9617 s
103.25/103.35	c ===============================================================================
103.25/103.35	c |      1267 |   16878   257695   540976 |    85898      307     30 | 72.843 % |
103.25/103.39	c ===============================================================================
103.25/103.39	c New solution: 151
103.25/103.39	o 151
103.25/103.39	c Elapsed CPU time: 103.077 s	Remaining CPU time: 76.9227 s
103.25/103.39	c ===============================================================================
103.25/103.39	c |      1287 |   16636   257696   541276 |    85898      327     30 | 72.843 % |
103.35/103.43	c ===============================================================================
103.35/103.43	c New solution: 150
103.35/103.43	o 150
103.35/103.43	c Elapsed CPU time: 103.113 s	Remaining CPU time: 76.8867 s
103.35/103.43	c ===============================================================================
103.35/103.43	c |      1288 |   16394   257697   541576 |    85899      328     30 | 72.843 % |
103.35/103.46	c ===============================================================================
103.35/103.46	c New solution: 149
103.35/103.46	o 149
103.35/103.46	c Elapsed CPU time: 103.147 s	Remaining CPU time: 76.8527 s
103.35/103.46	c ===============================================================================
103.35/103.46	c |      1293 |   16152   257698   541876 |    85899      333     29 | 72.843 % |
103.45/103.50	c ===============================================================================
103.45/103.50	c New solution: 148
103.45/103.50	o 148
103.45/103.50	c Elapsed CPU time: 103.183 s	Remaining CPU time: 76.8167 s
103.45/103.50	c ===============================================================================
103.45/103.50	c |      1296 |   15910   257699   542176 |    85899      336     29 | 72.843 % |
103.45/103.53	c ===============================================================================
103.45/103.53	c New solution: 147
103.45/103.53	o 147
103.45/103.53	c Elapsed CPU time: 103.213 s	Remaining CPU time: 76.7867 s
103.45/103.53	c ===============================================================================
103.45/103.53	c |      1301 |   15668   257700   542476 |    85900      341     29 | 72.843 % |
103.45/103.56	c ===============================================================================
103.45/103.56	c New solution: 146
103.45/103.56	o 146
103.45/103.56	c Elapsed CPU time: 103.243 s	Remaining CPU time: 76.7567 s
103.45/103.56	c ===============================================================================
103.45/103.56	c |      1302 |   15426   257701   542776 |    85900      342     29 | 72.843 % |
103.45/103.60	c ===============================================================================
103.45/103.60	c New solution: 145
103.45/103.60	o 145
103.45/103.60	c Elapsed CPU time: 103.279 s	Remaining CPU time: 76.7207 s
103.45/103.60	c ===============================================================================
103.45/103.60	c |      1307 |   15184   257702   543076 |    85900      347     29 | 72.843 % |
103.55/103.63	c ===============================================================================
103.55/103.63	c New solution: 144
103.55/103.63	o 144
103.55/103.63	c Elapsed CPU time: 103.313 s	Remaining CPU time: 76.6867 s
103.55/103.63	c ===============================================================================
103.55/103.63	c |      1310 |   14942   257703   543376 |    85901      350     29 | 72.843 % |
103.55/103.66	c ===============================================================================
103.55/103.66	c New solution: 143
103.55/103.66	o 143
103.55/103.66	c Elapsed CPU time: 103.342 s	Remaining CPU time: 76.6577 s
103.55/103.66	c ===============================================================================
103.55/103.66	c |      1312 |   14700   257704   543676 |    85901      352     29 | 72.843 % |
103.55/103.69	c ===============================================================================
103.55/103.69	c New solution: 142
103.55/103.69	o 142
103.55/103.69	c Elapsed CPU time: 103.373 s	Remaining CPU time: 76.6267 s
103.55/103.69	c ===============================================================================
103.55/103.69	c |      1315 |   14458   257705   543976 |    85901      355     29 | 72.843 % |
103.65/103.73	c ===============================================================================
103.65/103.73	c New solution: 141
103.65/103.73	o 141
103.65/103.73	c Elapsed CPU time: 103.409 s	Remaining CPU time: 76.5907 s
103.65/103.73	c ===============================================================================
103.65/103.73	c |      1323 |   14216   257706   544276 |    85902      363     28 | 72.843 % |
103.65/103.75	c ===============================================================================
103.65/103.75	c New solution: 140
103.65/103.75	o 140
103.65/103.75	c Elapsed CPU time: 103.437 s	Remaining CPU time: 76.5627 s
103.65/103.75	c ===============================================================================
103.65/103.75	c |      1326 |   13974   257707   544576 |    85902      366     28 | 72.843 % |
103.65/103.79	c ===============================================================================
103.65/103.79	c New solution: 139
103.65/103.79	o 139
103.65/103.79	c Elapsed CPU time: 103.471 s	Remaining CPU time: 76.5287 s
103.65/103.79	c ===============================================================================
103.65/103.79	c |      1331 |   13732   257708   544876 |    85902      139     27 | 72.843 % |
103.74/103.82	c ===============================================================================
103.74/103.82	c New solution: 138
103.74/103.82	o 138
103.74/103.82	c Elapsed CPU time: 103.504 s	Remaining CPU time: 76.4957 s
103.74/103.82	c ===============================================================================
103.74/103.82	c |      1334 |   13490   257709   545176 |    85903      142     27 | 72.843 % |
103.74/103.85	c ===============================================================================
103.74/103.85	c New solution: 137
103.74/103.85	o 137
103.74/103.85	c Elapsed CPU time: 103.533 s	Remaining CPU time: 76.4667 s
103.74/103.85	c ===============================================================================
103.74/103.85	c |      1337 |   13248   257710   545476 |    85903      145     27 | 72.843 % |
103.74/103.88	c ===============================================================================
103.74/103.88	c New solution: 136
103.74/103.88	o 136
103.74/103.88	c Elapsed CPU time: 103.561 s	Remaining CPU time: 76.4387 s
103.74/103.88	c ===============================================================================
103.74/103.88	c |      1340 |   13006   257711   545776 |    85903      148     26 | 72.843 % |
103.84/103.91	c ===============================================================================
103.84/103.91	c New solution: 135
103.84/103.91	o 135
103.84/103.91	c Elapsed CPU time: 103.592 s	Remaining CPU time: 76.4077 s
103.84/103.91	c ===============================================================================
103.84/103.91	c |      1341 |   12764   257712   546076 |    85904      149     26 | 72.843 % |
103.84/103.94	c ===============================================================================
103.84/103.94	c New solution: 134
103.84/103.94	o 134
103.84/103.94	c Elapsed CPU time: 103.623 s	Remaining CPU time: 76.3768 s
103.84/103.94	c ===============================================================================
103.84/103.94	c |      1353 |   12522   257713   546376 |    85904      161     26 | 72.843 % |
103.84/103.99	c ===============================================================================
103.84/103.99	c New solution: 133
103.84/103.99	o 133
103.84/103.99	c Elapsed CPU time: 103.669 s	Remaining CPU time: 76.3308 s
103.84/103.99	c ===============================================================================
103.84/103.99	c |      1374 |   12280   257714   546676 |    85904      182     26 | 72.843 % |
103.94/104.02	c ===============================================================================
103.94/104.02	c New solution: 132
103.94/104.02	o 132
103.94/104.02	c Elapsed CPU time: 103.702 s	Remaining CPU time: 76.2978 s
103.94/104.02	c ===============================================================================
103.94/104.02	c |      1377 |   12038   257715   546976 |    85905      185     26 | 72.843 % |
103.94/104.05	c ===============================================================================
103.94/104.05	c New solution: 131
103.94/104.05	o 131
103.94/104.05	c Elapsed CPU time: 103.733 s	Remaining CPU time: 76.2668 s
103.94/104.05	c ===============================================================================
103.94/104.05	c |      1379 |   11796   257716   547276 |    85905      187     26 | 72.843 % |
103.94/104.09	c ===============================================================================
103.94/104.09	c New solution: 130
103.94/104.09	o 130
103.94/104.09	c Elapsed CPU time: 103.764 s	Remaining CPU time: 76.2358 s
103.94/104.09	c ===============================================================================
103.94/104.09	c |      1382 |   11554   257717   547576 |    85905      190     26 | 72.843 % |
104.04/104.12	c ===============================================================================
104.04/104.12	c New solution: 129
104.04/104.12	o 129
104.04/104.12	c Elapsed CPU time: 103.796 s	Remaining CPU time: 76.2038 s
104.04/104.12	c ===============================================================================
104.04/104.12	c |      1386 |   11312   257718   547876 |    85906      194     26 | 72.843 % |
104.04/104.15	c ===============================================================================
104.04/104.15	c New solution: 128
104.04/104.15	o 128
104.04/104.15	c Elapsed CPU time: 103.825 s	Remaining CPU time: 76.1748 s
104.04/104.15	c ===============================================================================
104.04/104.15	c |      1394 |   11070   257719   548176 |    85906      202     25 | 72.843 % |
104.04/104.18	c ===============================================================================
104.04/104.18	c New solution: 127
104.04/104.18	o 127
104.04/104.18	c Elapsed CPU time: 103.855 s	Remaining CPU time: 76.1448 s
104.04/104.18	c ===============================================================================
104.04/104.18	c |      1409 |   10828   257720   548476 |    85906      217     25 | 72.843 % |
104.14/104.27	c |      1509 |   10821   257720   548476 |    94497      317     30 | 85.467 % |
104.24/104.30	c ===============================================================================
104.24/104.30	c New solution: 126
104.24/104.30	o 126
104.24/104.30	c Elapsed CPU time: 103.976 s	Remaining CPU time: 76.0238 s
104.24/104.30	c ===============================================================================
104.24/104.30	c |      1514 |   10586   257721   548776 |    85907      322     30 | 85.467 % |
104.24/104.32	c ===============================================================================
104.24/104.32	c New solution: 125
104.24/104.32	o 125
104.24/104.32	c Elapsed CPU time: 104.002 s	Remaining CPU time: 75.9978 s
104.24/104.32	c ===============================================================================
104.24/104.32	c |      1517 |   10344   257722   549076 |    85907      325     30 | 85.467 % |
104.24/104.37	c ===============================================================================
104.24/104.37	c New solution: 124
104.24/104.37	o 124
104.24/104.37	c Elapsed CPU time: 104.05 s	Remaining CPU time: 75.9498 s
104.24/104.37	c ===============================================================================
104.24/104.37	c |      1603 |   10102   257723   549376 |    85907      411     31 | 85.467 % |
104.35/104.46	c |      1703 |   10093   257723   549376 |    94498      511     33 | 86.464 % |
104.35/104.49	c ===============================================================================
104.35/104.49	c New solution: 123
104.35/104.49	o 123
104.35/104.49	c Elapsed CPU time: 104.16 s	Remaining CPU time: 75.8398 s
104.35/104.49	c ===============================================================================
104.35/104.49	c |      1712 |    9860   257724   549676 |    85908      520     33 | 86.464 % |
104.45/104.52	c ===============================================================================
104.45/104.52	c New solution: 122
104.45/104.52	o 122
104.45/104.52	c Elapsed CPU time: 104.189 s	Remaining CPU time: 75.8108 s
104.45/104.52	c ===============================================================================
104.45/104.52	c |      1720 |    9618   257725   549976 |    85908      528     33 | 86.464 % |
104.45/104.54	c ===============================================================================
104.45/104.54	c New solution: 121
104.45/104.54	o 121
104.45/104.54	c Elapsed CPU time: 104.217 s	Remaining CPU time: 75.7828 s
104.45/104.54	c ===============================================================================
104.45/104.54	c |      1725 |    9376   257726   550276 |    85908      533     32 | 86.464 % |
104.45/104.57	c ===============================================================================
104.45/104.57	c New solution: 120
104.45/104.57	o 120
104.45/104.57	c Elapsed CPU time: 104.247 s	Remaining CPU time: 75.7528 s
104.45/104.57	c ===============================================================================
104.45/104.57	c |      1739 |    9134   257727   550576 |    85909      547     32 | 86.464 % |
104.55/104.62	c |      1839 |    9117   257727   550576 |    94499      647     34 | 87.793 % |
104.64/104.77	c |      1989 |    9101   257727   550576 |   103949      797     39 | 87.793 % |
104.74/104.82	c ===============================================================================
104.74/104.82	c New solution: 119
104.74/104.82	o 119
104.74/104.82	c Elapsed CPU time: 104.495 s	Remaining CPU time: 75.5049 s
104.74/104.82	c ===============================================================================
104.74/104.82	c |      2043 |    8892   257728   550876 |    85909      554     40 | 87.793 % |
104.74/104.87	c |      2143 |    8892   257728   550876 |    94500      654     40 | 88.125 % |
104.94/105.02	c |      2293 |    8886   257728   550876 |   103950      804     41 | 88.125 % |
104.94/105.09	c ===============================================================================
104.94/105.09	c New solution: 118
104.94/105.09	o 118
104.94/105.09	c Elapsed CPU time: 104.757 s	Remaining CPU time: 75.2429 s
104.94/105.09	c ===============================================================================
104.94/105.09	c |      2423 |    8650   257729   551176 |    85909      934     40 | 88.125 % |
105.04/105.17	c |      2524 |    8629   257729   551176 |    94500     1035     41 | 88.457 % |
105.14/105.28	c ===============================================================================
105.14/105.28	c New solution: 117
105.14/105.28	o 117
105.14/105.28	c Elapsed CPU time: 104.945 s	Remaining CPU time: 75.055 s
105.14/105.28	c ===============================================================================
105.14/105.28	c |      2612 |    8408   257730   551476 |    85910     1123     40 | 88.457 % |
105.34/105.40	c |      2714 |    8401   257730   551476 |    94501     1225     41 | 88.789 % |
105.34/105.48	c |      2864 |    8375   257730   551476 |   103951     1375     44 | 88.789 % |
105.45/105.52	c ===============================================================================
105.45/105.52	c New solution: 116
105.45/105.52	o 116
105.45/105.52	c Elapsed CPU time: 105.188 s	Remaining CPU time: 74.812 s
105.45/105.52	c ===============================================================================
105.45/105.52	c |      2885 |    8166   257731   551776 |    85910     1396     44 | 88.789 % |
105.45/105.57	c ===============================================================================
105.45/105.57	c New solution: 115
105.45/105.57	o 115
105.45/105.57	c Elapsed CPU time: 105.239 s	Remaining CPU time: 74.761 s
105.45/105.57	c ===============================================================================
105.45/105.57	c |      2944 |    7924   257732   552076 |    85910     1455     44 | 88.789 % |
105.55/105.67	c |      3044 |    7917   257732   552076 |    94501     1555     44 | 89.454 % |
105.64/105.73	c |      3195 |    7682   257732   552076 |   103951     1137     40 | 89.454 % |
105.84/105.94	c |      3421 |    7682   257732   552076 |   114347     1363     40 | 89.454 % |
105.84/105.98	c ===============================================================================
105.84/105.98	c New solution: 114
105.84/105.98	o 114
105.84/105.98	c Elapsed CPU time: 105.65 s	Remaining CPU time: 74.3501 s
105.84/105.98	c ===============================================================================
105.84/105.98	c |      3456 |    7682   257733   552376 |    85911     1398     40 | 89.454 % |
106.04/106.13	c |      3557 |    7673   257733   552376 |    94502     1499     41 | 89.786 % |
106.04/106.19	c |      3707 |    7657   257733   552376 |   103952     1649     40 | 89.786 % |
106.44/106.50	c |      3933 |    7650   257733   552376 |   114347     1875     42 | 89.786 % |
106.44/106.57	c ===============================================================================
106.44/106.57	c New solution: 113
106.44/106.57	o 113
106.44/106.57	c Elapsed CPU time: 106.232 s	Remaining CPU time: 73.7682 s
106.44/106.57	c ===============================================================================
106.44/106.57	c |      4056 |    7440   257734   552676 |    85911     1998     43 | 89.786 % |
106.54/106.61	c ===============================================================================
106.54/106.61	c New solution: 112
106.54/106.61	o 112
106.54/106.61	c Elapsed CPU time: 106.278 s	Remaining CPU time: 73.7222 s
106.54/106.61	c ===============================================================================
106.54/106.61	c |      4087 |    7198   257735   552976 |    85911     1531     37 | 89.786 % |
106.54/106.66	c |      4187 |    7190   257735   552976 |    94502     1631     36 | 90.451 % |
106.74/106.80	c |      4341 |    7179   257735   552976 |   103953     1785     37 | 90.451 % |
106.74/106.87	c |      4566 |    7174   257735   552976 |   114348     2010     38 | 90.451 % |
107.15/107.22	c |      4903 |    7169   257735   552976 |   125783     2347     40 | 90.451 % |
107.34/107.46	c |      5409 |    7160   257735   552976 |   138361     2853     42 | 90.451 % |
107.54/107.62	c ===============================================================================
107.54/107.62	c New solution: 111
107.54/107.62	o 111
107.54/107.62	c Elapsed CPU time: 107.282 s	Remaining CPU time: 72.7183 s
107.54/107.62	c ===============================================================================
107.54/107.62	c |      5660 |    6956   257736   553276 |    85912     2770     40 | 90.451 % |
107.65/107.75	c |      5760 |    6942   257736   553276 |    94503     2870     41 | 90.783 % |
107.75/107.85	c |      5912 |    6924   257736   553276 |   103953     3022     40 | 90.783 % |
107.94/108.09	c |      6137 |    6918   257736   553276 |   114348     3247     41 | 90.783 % |
108.14/108.28	c |      6475 |    6915   257736   553276 |   125783     3585     43 | 90.783 % |
108.75/108.90	c |      6981 |    6910   257736   553276 |   138362     4091     44 | 90.783 % |
109.34/109.45	c |      7740 |    6714   257736   553276 |   152198     4297     43 | 90.783 % |
110.94/111.02	c |      8879 |    6714   257736   553276 |   167418     5436     48 | 90.783 % |
111.94/112.03	c |     10587 |    6714   257736   553276 |   184160     7144     47 | 90.783 % |
114.54/114.65	c |     13150 |    6714   257736   553276 |   202576     9707     51 | 90.783 % |
116.94/117.07	c ===============================================================================
116.94/117.07	c New solution: 110
116.94/117.07	o 110
116.94/117.07	c Elapsed CPU time: 116.696 s	Remaining CPU time: 63.3037 s
116.94/117.07	c ===============================================================================
116.94/117.07	c |     15508 |    6714   257737   553576 |    85912    12065     52 | 90.783 % |
117.14/117.21	c |     15608 |    6472   257737   553576 |    94503    10190     47 | 91.115 % |
117.24/117.36	c |     15759 |    6472   257737   553576 |   103953    10341     47 | 91.115 % |
117.43/117.52	c |     15984 |    6472   257737   553576 |   114349    10566     47 | 91.115 % |
117.84/117.90	c |     16321 |    6472   257737   553576 |   125784    10903     47 | 91.115 % |
118.24/118.35	c |     16827 |    6472   257737   553576 |   138362    11409     47 | 91.115 % |
119.03/119.18	c |     17586 |    6472   257737   553576 |   152198    12168     48 | 91.115 % |
120.44/120.56	c |     18726 |    6472   257737   553576 |   167418    13308     49 | 91.115 % |
122.64/122.75	c |     20435 |    6472   257737   553576 |   184160    15017     52 | 91.115 % |
125.24/125.32	c |     22997 |    6472   257737   553576 |   202576    17579     54 | 91.115 % |
130.53/130.68	c |     26841 |    6472   257737   553576 |   222834    21423     59 | 91.115 % |
136.13/136.28	c |     32607 |    6472   257737   553576 |   245117    27189     59 | 91.115 % |
152.93/153.02	c |     41258 |    6472   257737   553576 |   269629    35840     63 | 91.115 % |
172.72/172.90	c |     54233 |    6472   257737   553576 |   296592    48815     63 | 91.115 % |
180.42/180.55	c There are 66370 assigned variables. 292 in cost function.
180.82/180.90	c core #1
180.82/180.90	c ============================[ Search Statistics ]==============================
180.82/180.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.82/180.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.82/180.90	c ===============================================================================
180.82/180.90	c |         0 |    4778    83871    43970 |    27957        0    nan |  0.000 % |
180.82/180.94	c |       100 |    4778    83871    43970 |    30752      100     28 | 93.441 % |
180.92/181.00	c |       250 |    4778    83871    43970 |    33827      250     29 | 93.441 % |
180.92/181.09	c |       475 |    4778    83871    43970 |    37210      475     30 | 93.441 % |
181.12/181.21	c |       812 |    4778    83871    43970 |    40931      812     34 | 93.441 % |
181.33/181.44	c |      1320 |    4778    83871    43970 |    45025     1320     36 | 93.441 % |
181.62/181.79	c |      2079 |    4592    83871    43970 |    49527     1644     34 | 93.697 % |
182.03/182.16	c ===============================================================================
182.13/182.27	c core #2
182.13/182.27	c ============================[ Search Statistics ]==============================
182.13/182.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.13/182.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.13/182.27	c ===============================================================================
182.13/182.27	c |         0 |    5037    83882    44823 |    27960        0    nan |  0.000 % |
182.23/182.31	c |       102 |    5037    83882    44823 |    30756      102     24 | 93.087 % |
182.23/182.37	c |       252 |    5037    83882    44823 |    33832      252     35 | 93.087 % |
182.33/182.46	c |       479 |    5037    83882    44823 |    37215      479     36 | 93.087 % |
182.43/182.60	c |       816 |    5037    83882    44823 |    40937      816     37 | 93.087 % |
182.72/182.80	c |      1322 |    5037    83882    44823 |    45030     1322     38 | 93.087 % |
183.02/183.12	c |      2082 |    5017    83882    44823 |    49534     2034     40 | 93.114 % |
183.53/183.60	c |      3221 |    5014    83882    44823 |    54487     3171     39 | 93.118 % |
184.32/184.40	c |      4931 |    5014    83882    44823 |    59936     4881     42 | 93.118 % |
185.62/185.77	c |      7493 |    5014    83882    44823 |    65929     7443     45 | 93.118 % |
188.12/188.28	c |     11337 |    5014    83882    44823 |    72522    11287     48 | 93.118 % |
193.02/193.14	c |     17105 |    5014    83882    44823 |    79775    17055     51 | 93.118 % |
201.01/201.19	c |     25754 |    4859    83882    44823 |    87752    18187     50 | 93.354 % |
202.91/203.08	c ===============================================================================
203.11/203.20	c core #3
203.11/203.20	c ============================[ Search Statistics ]==============================
203.11/203.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.11/203.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.11/203.20	c ===============================================================================
203.11/203.20	c |         0 |    5285    83889    45640 |    27963        0    nan |  0.000 % |
203.11/203.25	c |       102 |    5285    83889    45640 |    30759      102     28 | 92.747 % |
203.21/203.32	c |       254 |    5285    83889    45640 |    33835      254     42 | 92.747 % |
203.32/203.41	c |       479 |    5285    83889    45640 |    37218      479     39 | 92.747 % |
203.42/203.54	c |       816 |    5285    83889    45640 |    40940      816     38 | 92.747 % |
203.61/203.76	c |      1323 |    5285    83889    45640 |    45034     1323     37 | 92.747 % |
204.01/204.11	c |      2082 |    5285    83889    45640 |    49538     2082     38 | 92.747 % |
204.52/204.61	c |      3221 |    5285    83889    45640 |    54491     3221     41 | 92.747 % |
205.31/205.45	c |      4929 |    5285    83889    45640 |    59941     4929     44 | 92.747 % |
206.62/206.78	c |      7491 |    5285    83889    45640 |    65935     7491     44 | 92.747 % |
209.01/209.14	c |     11335 |    5285    83889    45640 |    72528    11335     48 | 92.747 % |
213.10/213.25	c |     17101 |    5285    83889    45640 |    79781    17101     47 | 92.747 % |
220.81/220.91	c |     25751 |    5285    83889    45640 |    87759    25751     48 | 92.747 % |
235.50/235.64	c |     38725 |    5285    83889    45640 |    96535    38725     51 | 92.747 % |
266.49/266.61	c |     58187 |    5285    83889    45640 |   106189    58187     54 | 92.747 % |
329.17/329.37	c |     87380 |    5285    83889    45640 |   116808    87380     57 | 92.747 % |
440.84/441.07	c |    131169 |    5111    83889    45640 |   128489    73303     49 | 92.986 % |
580.40/580.69	c ===============================================================================
580.70/580.95	c core #4
580.70/580.95	c ============================[ Search Statistics ]==============================
580.70/580.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
580.70/580.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
580.70/580.95	c ===============================================================================
580.70/580.95	c |         0 |    5532    83925    45797 |    27975        0    nan |  0.000 % |
580.80/581.00	c |       101 |    5532    83925    45797 |    30772      101     24 | 92.408 % |
580.80/581.05	c |       251 |    5532    83925    45797 |    33849      251     31 | 92.408 % |
580.89/581.13	c |       477 |    5532    83925    45797 |    37234      477     33 | 92.408 % |
580.99/581.27	c |       814 |    5532    83925    45797 |    40958      814     39 | 92.408 % |
581.20/581.44	c |      1320 |    5532    83925    45797 |    45054     1320     37 | 92.408 % |
581.49/581.78	c |      2081 |    5532    83925    45797 |    49559     2081     37 | 92.408 % |
581.99/582.24	c |      3220 |    5532    83925    45797 |    54515     3220     37 | 92.408 % |
582.81/583.03	c |      4932 |    5532    83925    45797 |    59966     4932     41 | 92.408 % |
584.10/584.33	c |      7494 |    5468    83925    45797 |    65963     6876     41 | 92.496 % |
586.10/586.38	c |     11338 |    5468    83925    45797 |    72559    10720     44 | 92.496 % |
590.19/590.47	c |     17106 |    5468    83925    45797 |    79815    16488     47 | 92.496 % |
597.69/597.95	c |     25755 |    5468    83925    45797 |    87797    25137     44 | 92.496 % |
611.39/611.62	c |     38729 |    5468    83925    45797 |    96577    38111     51 | 92.496 % |
640.08/640.33	c |     58192 |    5468    83925    45797 |   106235    57574     50 | 92.496 % |
686.36/686.64	c |     87387 |    5468    83925    45797 |   116858    86769     52 | 92.496 % |
803.14/803.48	c |    131178 |    5468    83925    45797 |   128544   130560     53 | 92.496 % |
1034.07/1034.40	c |    196862 |    5468    83925    45797 |   141398   196244     55 | 92.496 % |
1250.50/1250.91	c |    295389 |    5452    83925    45797 |   155538    93036     73 | 92.518 % |
1718.85/1719.44	c |    443179 |    5452    83925    45797 |   171092    38921     58 | 92.518 % |

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-2687113-1278448088/watcher-2687113-1278448088 -o /tmp/evaluation-result-2687113-1278448088/solver-2687113-1278448088 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687113-1278448088.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.77 1.92 1.62 3/106 21656
/proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=10720 CPUtime=0
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 371 0 0 0 0 0 0 0 18 0 1 0 13021012 10977280 290 1992294400 134512640 135751879 4289014128 18446744073709551615 134613677 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 2680 291 144 303 0 446 0

[startup+0.0272939 s]
/proc/loadavg: 1.77 1.92 1.62 3/106 21656
/proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=11748 CPUtime=0.02
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 626 0 0 0 2 0 0 0 18 0 1 0 13021012 12029952 545 1992294400 134512640 135751879 4289014128 18446744073709551615 134559790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 2937 546 172 303 0 703 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11748

[startup+0.101302 s]
/proc/loadavg: 1.77 1.92 1.62 3/106 21656
/proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=15484 CPUtime=0.09
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 1615 0 0 0 9 0 0 0 21 0 1 0 13021012 15855616 1534 1992294400 134512640 135751879 4289014128 18446744073709551615 134573989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 3871 1535 287 303 0 1637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15484

[startup+0.301322 s]
/proc/loadavg: 1.77 1.92 1.62 3/106 21656
/proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=19756 CPUtime=0.29
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 2939 0 0 0 28 1 0 0 21 0 1 0 13021012 20230144 2825 1992294400 134512640 135751879 4289014128 18446744073709551615 135204046 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 4939 2825 589 303 0 2705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19756

[startup+0.701366 s]
/proc/loadavg: 1.77 1.92 1.62 3/106 21656
/proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=24956 CPUtime=0.69
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 4751 0 0 0 67 2 0 0 22 0 1 0 13021012 25554944 4597 1992294400 134512640 135751879 4289014128 18446744073709551615 134559667 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 6239 4597 1192 303 0 4005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24956

[startup+1.50145 s]
/proc/loadavg: 1.77 1.92 1.62 2/107 21657
/proc/meminfo: memFree=1798936/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=45136 CPUtime=1.49
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 12412 0 0 0 144 5 0 0 25 0 1 0 13021012 46219264 9991 1992294400 134512640 135751879 4289014128 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 11284 9992 145 303 0 10979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45136

[startup+3.10162 s]
/proc/loadavg: 1.77 1.92 1.62 2/107 21657
/proc/meminfo: memFree=1768184/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=55784 CPUtime=3.09
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 15129 0 0 0 303 6 0 0 25 0 1 0 13021012 57122816 12708 1992294400 134512640 135751879 4289014128 18446744073709551615 134524619 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 13946 12708 146 303 0 13641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55784

[startup+6.30096 s]
/proc/loadavg: 1.71 1.91 1.62 2/107 21657
/proc/meminfo: memFree=1761240/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=63572 CPUtime=6.29
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 17063 0 0 0 622 7 0 0 25 0 1 0 13021012 65097728 14642 1992294400 134512640 135751879 4289014128 18446744073709551615 135211148 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 15893 14642 146 303 0 15588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63572

[startup+12.7016 s]
/proc/loadavg: 1.66 1.89 1.62 2/107 21657
/proc/meminfo: memFree=1749088/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=75584 CPUtime=12.69
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 20051 0 0 0 1261 8 0 0 25 0 1 0 13021012 77398016 17630 1992294400 134512640 135751879 4289014128 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 18896 17630 146 303 0 18591 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75584

[startup+25.501 s]
/proc/loadavg: 1.51 1.85 1.60 2/107 21657
/proc/meminfo: memFree=1730984/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=92084 CPUtime=25.49
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 24193 0 0 0 2538 11 0 0 25 0 1 0 13021012 94294016 21772 1992294400 134512640 135751879 4289014128 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 23021 21772 146 303 0 22716 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92084

[startup+51.1007 s]
/proc/loadavg: 1.33 1.78 1.59 2/107 21659
/proc/meminfo: memFree=1708664/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=115712 CPUtime=51.06
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 30107 0 0 0 5091 15 0 0 25 0 1 0 13021012 118489088 27686 1992294400 134512640 135751879 4289014128 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 28928 27686 146 303 0 28623 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 115712

[startup+102.308 s]
/proc/loadavg: 1.14 1.66 1.55 2/107 21659
/proc/meminfo: memFree=1681880/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=140088 CPUtime=102.25
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 37636 0 0 0 10200 25 0 0 25 0 1 0 13021012 143450112 33902 1992294400 134512640 135751879 4289014128 18446744073709551615 134517248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 35022 33902 147 303 0 34717 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 140088

[startup+162.301 s]
/proc/loadavg: 1.05 1.53 1.52 2/107 21661
/proc/meminfo: memFree=1681756/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=140088 CPUtime=162.23
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 37636 0 0 0 16178 45 0 0 25 0 1 0 13021012 143450112 33902 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 35022 33902 147 303 0 34717 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 140088

[startup+222.301 s]
/proc/loadavg: 1.02 1.43 1.48 2/107 21663
/proc/meminfo: memFree=1691552/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=222.2
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38067 0 0 0 22153 67 0 0 25 0 1 0 13021012 130818048 31453 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31453 151 303 0 31633 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 127752

[startup+282.301 s]
/proc/loadavg: 1.00 1.35 1.45 2/107 21665
/proc/meminfo: memFree=1691552/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=282.18
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38067 0 0 0 28132 86 0 0 25 0 1 0 13021012 130818048 31453 1992294400 134512640 135751879 4289014128 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31453 151 303 0 31633 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 127752

[startup+342.301 s]
/proc/loadavg: 1.00 1.29 1.42 2/107 21667
/proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=342.17
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38067 0 0 0 34119 98 0 0 25 0 1 0 13021012 130818048 31453 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31453 151 303 0 31633 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 127752

[startup+402.301 s]
/proc/loadavg: 1.00 1.23 1.39 2/107 21667
/proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=402.15
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38067 0 0 0 40105 110 0 0 25 0 1 0 13021012 130818048 31453 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31453 151 303 0 31633 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 127752

[startup+462.301 s]
/proc/loadavg: 1.00 1.19 1.36 2/107 21669
/proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=462.13
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 46090 123 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31465 151 303 0 31633 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 127752

[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.34 2/107 21671
/proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=522.12
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 52073 139 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134608234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31465 151 303 0 31633 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 127752

[startup+582.301 s]
/proc/loadavg: 1.05 1.14 1.32 2/107 21673
/proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=582.1
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 58059 151 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134607290 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31465 151 303 0 31633 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 127752

[startup+642.301 s]
/proc/loadavg: 1.02 1.11 1.30 2/107 21675
/proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=642.08
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 64036 172 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31465 151 303 0 31633 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 127752

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.05 1.24 2/107 21679
/proc/meminfo: memFree=1691304/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=127752 CPUtime=822.03
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 81992 211 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 31938 31465 151 303 0 31633 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 127752

[startup+882.302 s]
/proc/loadavg: 1.00 1.04 1.22 2/107 21681
/proc/meminfo: memFree=1689692/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=129604 CPUtime=882.01
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38523 0 0 0 87979 222 0 0 25 0 1 0 13021012 132714496 31909 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 32401 31909 151 303 0 32096 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 129604

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.20 2/107 21683
/proc/meminfo: memFree=1685104/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=134224 CPUtime=941.99
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 39688 0 0 0 93965 234 0 0 25 0 1 0 13021012 137445376 33074 1992294400 134512640 135751879 4289014128 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 33556 33074 151 303 0 33251 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 134224

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 21683
/proc/meminfo: memFree=1680392/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=138876 CPUtime=1001.97
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 40825 0 0 0 99952 245 0 0 25 0 1 0 13021012 142209024 34211 1992294400 134512640 135751879 4289014128 18446744073709551615 134605951 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 34719 34211 151 303 0 34414 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 138876

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/107 21685
/proc/meminfo: memFree=1675804/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=143376 CPUtime=1061.95
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 41975 0 0 0 105938 257 0 0 25 0 1 0 13021012 146817024 35361 1992294400 134512640 135751879 4289014128 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 35844 35361 151 303 0 35539 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 143376

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 21687
/proc/meminfo: memFree=1668488/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=151192 CPUtime=1121.94
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 43824 0 0 0 111922 272 0 0 25 0 1 0 13021012 154820608 37210 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 37798 37210 151 303 0 37493 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 151192

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/107 21689
/proc/meminfo: memFree=1656584/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=163080 CPUtime=1181.92
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 46784 0 0 0 117900 292 0 0 25 0 1 0 13021012 166993920 40170 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 40770 40170 151 303 0 40465 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 163080

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 21691
/proc/meminfo: memFree=1647160/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=172256 CPUtime=1241.91
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 49085 0 0 0 123882 309 0 0 25 0 1 0 13021012 176390144 42471 1992294400 134512640 135751879 4289014128 18446744073709551615 134606983 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 43064 42471 151 303 0 42759 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 172256

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 21691
/proc/meminfo: memFree=1638480/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=180784 CPUtime=1301.9
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 51204 0 0 0 129864 326 0 0 25 0 1 0 13021012 185122816 44590 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 45196 44590 151 303 0 44891 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 180784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 21693
/proc/meminfo: memFree=1630792/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=188572 CPUtime=1361.86
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 53140 0 0 0 135844 342 0 0 25 0 1 0 13021012 193097728 46526 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 47143 46526 151 303 0 46838 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 188572

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 21695
/proc/meminfo: memFree=1624592/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=194752 CPUtime=1421.85
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 54670 0 0 0 141830 355 0 0 25 0 1 0 13021012 199426048 48056 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 48688 48056 151 303 0 48383 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 194752

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 21697
/proc/meminfo: memFree=1619136/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=200176 CPUtime=1481.82
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 56049 0 0 0 147814 368 0 0 25 0 1 0 13021012 204980224 49435 1992294400 134512640 135751879 4289014128 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 50044 49435 151 303 0 49739 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 200176

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 21699
/proc/meminfo: memFree=1612936/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=206248 CPUtime=1541.81
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 57568 0 0 0 153800 381 0 0 25 0 1 0 13021012 211197952 50954 1992294400 134512640 135751879 4289014128 18446744073709551615 134616584 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 51562 50954 151 303 0 51257 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 206248

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 21699
/proc/meminfo: memFree=1608596/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=210796 CPUtime=1601.79
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 58683 0 0 0 159790 389 0 0 25 0 1 0 13021012 215855104 52069 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 52699 52069 151 303 0 52394 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 210796

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 21701
/proc/meminfo: memFree=1604132/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=215108 CPUtime=1661.77
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 59770 0 0 0 165779 398 0 0 25 0 1 0 13021012 220270592 53156 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 53777 53156 151 303 0 53472 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 215108

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 21703
/proc/meminfo: memFree=1595204/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=224104 CPUtime=1721.74
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 62032 0 0 0 171761 413 0 0 25 0 1 0 13021012 229482496 55418 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 56026 55418 151 303 0 55721 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 224104

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 21705
/proc/meminfo: memFree=1583796/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=235196 CPUtime=1781.73
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 64810 0 0 0 177739 434 0 0 25 0 1 0 13021012 240840704 58196 1992294400 134512640 135751879 4289014128 18446744073709551615 134616810 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 58799 58196 151 303 0 58494 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 235196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 21705
/proc/meminfo: memFree=1581068/2059040 swapFree=4190392/4192956
[pid=21656] ppid=21654 vsize=237716 CPUtime=1800.04
/proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 65443 0 0 0 179565 439 0 0 25 0 1 0 13021012 243421184 58829 1992294400 134512640 135751879 4289014128 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21656/statm: 59429 58829 151 303 0 59124 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 237716

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.07
CPU user time (s): 1795.66
CPU system time (s): 4.41833
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 237716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.66
system time used= 4.41833
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65443
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= 57
involuntary context switches= 5502

runsolver used 2.84057 second user time and 8.66468 second system time

The end

Launcher Data 

Begin job on node019 at 2010-07-06 22:28:08
IDJOB=2687113
IDBENCH=77428
IDSOLVER=1161
FILE ID=node019/2687113-1278448088
PBS_JOBID= 11233517
Free space on /tmp= 62340 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_7.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-2687113-1278448088/watcher-2687113-1278448088 -o /tmp/evaluation-result-2687113-1278448088/solver-2687113-1278448088 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687113-1278448088.opb

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

MD5SUM BENCH= 58f861b2885c3bb19bb4f63a6571dc89
RANDOM SEED=498223386

node019.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.244
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.48
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.244
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1819232 kB
Buffers:         10708 kB
Cached:         102900 kB
SwapCached:         76 kB
Active:          76204 kB
Inactive:        95096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1819232 kB
SwapTotal:     4192956 kB
SwapFree:      4190392 kB
Dirty:           10452 kB
Writeback:           0 kB
AnonPages:       57668 kB
Mapped:          14376 kB
Slab:            46704 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182836 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-2687113-1278448088.opb

Free space on /tmp at the end= 62336 MiB
End job on node019 at 2010-07-06 22:58:11