Trace number 2687124

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.06 1800.53

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2687124-1278448373.opb.
0.00/0.00	c Instance file HOME/instance-2687124-1278448373.opb
0.00/0.00	c File size is 7898359 bytes.
1.39/1.45	c Highest Coefficient sum: 387
1.39/1.45	c ============================[ Problem Statistics ]=============================
1.39/1.45	c |                                                                             |
1.39/1.45	c |  Parsing time:          1.42         s                                      |
1.39/1.45	c |  Number Variables:      72842                                               |
1.39/1.45	c |  Number Clauses:        255060                                              |
1.39/1.45	c |  Number Cardinality:    0                                                   |
1.39/1.45	c |  Number PB Constraints: 1200                                                |
94.66/94.73	c ============================[ Search Statistics ]==============================
94.66/94.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.66/94.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.66/94.73	c ===============================================================================
94.66/94.73	c |         0 |   52051   257546   496276 |    85420        0    nan |  0.000 % |
94.66/94.79	c ===============================================================================
94.66/94.79	c New solution: 300
94.66/94.79	o 300
94.66/94.79	c Elapsed CPU time: 94.5946 s	Remaining CPU time: 85.4054 s
94.66/94.79	c ===============================================================================
94.66/94.79	c |         0 |   52051   257547   496576 |    85849        0    nan |  0.000 % |
94.75/94.86	c |       101 |   52049   257547   496576 |    94433      101     32 | 28.709 % |
94.85/94.96	c |       251 |   52048   257547   496576 |   103877      251     42 | 28.709 % |
94.95/95.02	c ===============================================================================
94.95/95.02	c New solution: 299
94.95/95.02	o 299
94.95/95.02	c Elapsed CPU time: 94.8196 s	Remaining CPU time: 85.1804 s
94.95/95.02	c ===============================================================================
94.95/95.02	c |       268 |   51930   257548   496876 |    85849      268     42 | 28.709 % |
94.95/95.08	c ===============================================================================
94.95/95.08	c New solution: 298
94.95/95.08	o 298
94.95/95.08	c Elapsed CPU time: 94.8816 s	Remaining CPU time: 85.1184 s
94.95/95.08	c ===============================================================================
94.95/95.08	c |       270 |   51795   257549   497176 |    85849      270     42 | 28.709 % |
95.05/95.13	c ===============================================================================
95.05/95.13	c New solution: 297
95.05/95.13	o 297
95.05/95.13	c Elapsed CPU time: 94.9336 s	Remaining CPU time: 85.0664 s
95.05/95.13	c ===============================================================================
95.05/95.13	c |       278 |   51648   257550   497476 |    85850      278     42 | 28.709 % |
95.05/95.19	c ===============================================================================
95.05/95.19	c New solution: 296
95.05/95.19	o 296
95.05/95.19	c Elapsed CPU time: 94.9946 s	Remaining CPU time: 85.0054 s
95.05/95.19	c ===============================================================================
95.05/95.19	c |       279 |   51486   257551   497776 |    85850      279     42 | 28.709 % |
95.15/95.26	c ===============================================================================
95.15/95.26	c New solution: 295
95.15/95.26	o 295
95.15/95.26	c Elapsed CPU time: 95.0585 s	Remaining CPU time: 84.9415 s
95.15/95.26	c ===============================================================================
95.15/95.26	c |       280 |   51318   257552   498076 |    85850      274     42 | 28.709 % |
95.26/95.32	c ===============================================================================
95.26/95.32	c New solution: 294
95.26/95.32	o 294
95.26/95.32	c Elapsed CPU time: 95.1215 s	Remaining CPU time: 84.8785 s
95.26/95.32	c ===============================================================================
95.26/95.32	c |       283 |   51131   257553   498376 |    85851      277     42 | 28.709 % |
95.26/95.37	c ===============================================================================
95.26/95.37	c New solution: 293
95.26/95.37	o 293
95.26/95.37	c Elapsed CPU time: 95.1715 s	Remaining CPU time: 84.8285 s
95.26/95.37	c ===============================================================================
95.26/95.37	c |       284 |   50934   257554   498676 |    85851      278     41 | 28.709 % |
95.36/95.42	c ===============================================================================
95.36/95.42	c New solution: 292
95.36/95.42	o 292
95.36/95.42	c Elapsed CPU time: 95.2225 s	Remaining CPU time: 84.7775 s
95.36/95.42	c ===============================================================================
95.36/95.42	c |       287 |   50729   257555   498976 |    85851      281     41 | 28.709 % |
95.36/95.49	c ===============================================================================
95.36/95.49	c New solution: 291
95.36/95.49	o 291
95.36/95.49	c Elapsed CPU time: 95.2895 s	Remaining CPU time: 84.7105 s
95.36/95.49	c ===============================================================================
95.36/95.49	c |       291 |   50506   257556   499276 |    85852      285     41 | 28.709 % |
95.46/95.55	c ===============================================================================
95.46/95.55	c New solution: 290
95.46/95.55	o 290
95.46/95.55	c Elapsed CPU time: 95.3445 s	Remaining CPU time: 84.6555 s
95.46/95.55	c ===============================================================================
95.46/95.55	c |       311 |   50274   257557   499576 |    85852      305     39 | 28.709 % |
95.57/95.61	c ===============================================================================
95.57/95.61	c New solution: 289
95.57/95.61	o 289
95.57/95.61	c Elapsed CPU time: 95.4055 s	Remaining CPU time: 84.5945 s
95.57/95.61	c ===============================================================================
95.57/95.61	c |       312 |   50032   257558   499876 |    85852      306     39 | 28.709 % |
95.57/95.66	c ===============================================================================
95.57/95.66	c New solution: 288
95.57/95.66	o 288
95.57/95.66	c Elapsed CPU time: 95.4555 s	Remaining CPU time: 84.5445 s
95.57/95.66	c ===============================================================================
95.57/95.66	c |       315 |   49790   257559   500176 |    85853      309     39 | 28.709 % |
95.67/95.72	c ===============================================================================
95.67/95.72	c New solution: 287
95.67/95.72	o 287
95.67/95.72	c Elapsed CPU time: 95.5165 s	Remaining CPU time: 84.4835 s
95.67/95.72	c ===============================================================================
95.67/95.72	c |       320 |   49548   257560   500476 |    85853      314     39 | 28.709 % |
95.67/95.78	c ===============================================================================
95.67/95.78	c New solution: 286
95.67/95.78	o 286
95.67/95.78	c Elapsed CPU time: 95.5765 s	Remaining CPU time: 84.4235 s
95.67/95.78	c ===============================================================================
95.67/95.78	c |       321 |   49306   257561   500776 |    85853      315     39 | 28.709 % |
95.76/95.84	c ===============================================================================
95.76/95.84	c New solution: 285
95.76/95.84	o 285
95.76/95.84	c Elapsed CPU time: 95.6405 s	Remaining CPU time: 84.3595 s
95.76/95.84	c ===============================================================================
95.76/95.84	c |       325 |   49064   257562   501076 |    85854      274     40 | 28.709 % |
95.86/95.91	c ===============================================================================
95.86/95.91	c New solution: 284
95.86/95.91	o 284
95.86/95.91	c Elapsed CPU time: 95.7025 s	Remaining CPU time: 84.2975 s
95.86/95.91	c ===============================================================================
95.86/95.91	c |       330 |   48822   257563   501376 |    85854      279     39 | 28.709 % |
95.86/95.98	c ===============================================================================
95.86/95.98	c New solution: 283
95.86/95.98	o 283
95.86/95.98	c Elapsed CPU time: 95.7714 s	Remaining CPU time: 84.2286 s
95.86/95.98	c ===============================================================================
95.86/95.98	c |       334 |   48580   257564   501676 |    85854      283     39 | 28.709 % |
95.96/96.04	c ===============================================================================
95.96/96.04	c New solution: 282
95.96/96.04	o 282
95.96/96.04	c Elapsed CPU time: 95.8384 s	Remaining CPU time: 84.1616 s
95.96/96.04	c ===============================================================================
95.96/96.04	c |       340 |   48338   257565   501976 |    85855      289     38 | 28.709 % |
96.06/96.11	c ===============================================================================
96.06/96.11	c New solution: 281
96.06/96.11	o 281
96.06/96.11	c Elapsed CPU time: 95.9024 s	Remaining CPU time: 84.0976 s
96.06/96.11	c ===============================================================================
96.06/96.11	c |       344 |   48096   257566   502276 |    85855      293     38 | 28.709 % |
96.06/96.17	c ===============================================================================
96.06/96.17	c New solution: 280
96.06/96.17	o 280
96.06/96.17	c Elapsed CPU time: 95.9624 s	Remaining CPU time: 84.0376 s
96.06/96.17	c ===============================================================================
96.06/96.17	c |       353 |   47854   257567   502576 |    85855      302     38 | 28.709 % |
96.16/96.22	c ===============================================================================
96.16/96.22	c New solution: 279
96.16/96.22	o 279
96.16/96.22	c Elapsed CPU time: 96.0114 s	Remaining CPU time: 83.9886 s
96.16/96.22	c ===============================================================================
96.16/96.22	c |       357 |   47612   257568   502876 |    85856      306     37 | 28.709 % |
96.16/96.28	c ===============================================================================
96.16/96.28	c New solution: 278
96.16/96.28	o 278
96.16/96.28	c Elapsed CPU time: 96.0734 s	Remaining CPU time: 83.9266 s
96.16/96.28	c ===============================================================================
96.16/96.28	c |       358 |   47370   257569   503176 |    85856      307     37 | 28.709 % |
96.25/96.34	c ===============================================================================
96.25/96.34	c New solution: 277
96.25/96.34	o 277
96.25/96.34	c Elapsed CPU time: 96.1344 s	Remaining CPU time: 83.8656 s
96.25/96.34	c ===============================================================================
96.25/96.34	c |       362 |   47128   257570   503476 |    85856      311     37 | 28.709 % |
96.35/96.41	c ===============================================================================
96.35/96.41	c New solution: 276
96.35/96.41	o 276
96.35/96.41	c Elapsed CPU time: 96.1994 s	Remaining CPU time: 83.8006 s
96.35/96.41	c ===============================================================================
96.35/96.41	c |       364 |   46886   257571   503776 |    85857      313     37 | 28.709 % |
96.35/96.48	c ===============================================================================
96.35/96.48	c New solution: 275
96.35/96.48	o 275
96.35/96.48	c Elapsed CPU time: 96.2664 s	Remaining CPU time: 83.7336 s
96.35/96.48	c ===============================================================================
96.35/96.48	c |       366 |   46644   257572   504076 |    85857      276     40 | 28.709 % |
96.45/96.54	c ===============================================================================
96.45/96.54	c New solution: 274
96.45/96.54	o 274
96.45/96.54	c Elapsed CPU time: 96.3304 s	Remaining CPU time: 83.6696 s
96.45/96.54	c ===============================================================================
96.45/96.54	c |       376 |   46402   257573   504376 |    85857      286     39 | 28.709 % |
96.55/96.60	c ===============================================================================
96.55/96.60	c New solution: 273
96.55/96.60	o 273
96.55/96.60	c Elapsed CPU time: 96.3883 s	Remaining CPU time: 83.6117 s
96.55/96.60	c ===============================================================================
96.55/96.60	c |       381 |   46160   257574   504676 |    85858      291     38 | 28.709 % |
96.55/96.66	c ===============================================================================
96.55/96.66	c New solution: 272
96.55/96.66	o 272
96.55/96.66	c Elapsed CPU time: 96.4513 s	Remaining CPU time: 83.5487 s
96.55/96.66	c ===============================================================================
96.55/96.66	c |       386 |   45918   257575   504976 |    85858      296     38 | 28.709 % |
96.66/96.72	c ===============================================================================
96.66/96.72	c New solution: 271
96.66/96.72	o 271
96.66/96.72	c Elapsed CPU time: 96.5153 s	Remaining CPU time: 83.4847 s
96.66/96.72	c ===============================================================================
96.66/96.72	c |       390 |   45676   257576   505276 |    85858      300     37 | 28.709 % |
96.66/96.79	c ===============================================================================
96.66/96.79	c New solution: 270
96.66/96.79	o 270
96.66/96.79	c Elapsed CPU time: 96.5753 s	Remaining CPU time: 83.4247 s
96.66/96.79	c ===============================================================================
96.66/96.79	c |       394 |   45434   257577   505576 |    85859      304     37 | 28.709 % |
96.77/96.85	c ===============================================================================
96.77/96.85	c New solution: 269
96.77/96.85	o 269
96.77/96.85	c Elapsed CPU time: 96.6423 s	Remaining CPU time: 83.3577 s
96.77/96.85	c ===============================================================================
96.77/96.85	c |       397 |   45192   257578   505876 |    85859      307     37 | 28.709 % |
96.86/96.91	c ===============================================================================
96.86/96.91	c New solution: 268
96.86/96.91	o 268
96.86/96.91	c Elapsed CPU time: 96.6983 s	Remaining CPU time: 83.3017 s
96.86/96.91	c ===============================================================================
96.86/96.91	c |       407 |   44950   257579   506176 |    85859      317     36 | 28.709 % |
96.86/96.96	c ===============================================================================
96.86/96.96	c New solution: 267
96.86/96.96	o 267
96.86/96.96	c Elapsed CPU time: 96.7473 s	Remaining CPU time: 83.2527 s
96.86/96.96	c ===============================================================================
96.86/96.96	c |       414 |   44708   257580   506476 |    85860      324     36 | 28.709 % |
96.96/97.02	c ===============================================================================
96.96/97.02	c New solution: 266
96.96/97.02	o 266
96.96/97.02	c Elapsed CPU time: 96.8063 s	Remaining CPU time: 83.1937 s
96.96/97.02	c ===============================================================================
96.96/97.02	c |       418 |   44466   257581   506776 |    85860      328     36 | 28.709 % |
96.96/97.08	c ===============================================================================
96.96/97.08	c New solution: 265
96.96/97.08	o 265
96.96/97.08	c Elapsed CPU time: 96.8673 s	Remaining CPU time: 83.1327 s
96.96/97.08	c ===============================================================================
96.96/97.08	c |       418 |   44224   257582   507076 |    85860      152     26 | 28.709 % |
97.06/97.13	c ===============================================================================
97.06/97.13	c New solution: 264
97.06/97.13	o 264
97.06/97.13	c Elapsed CPU time: 96.9173 s	Remaining CPU time: 83.0827 s
97.06/97.13	c ===============================================================================
97.06/97.13	c |       423 |   43982   257583   507376 |    85861      157     25 | 28.709 % |
97.06/97.18	c ===============================================================================
97.06/97.18	c New solution: 263
97.06/97.18	o 263
97.06/97.18	c Elapsed CPU time: 96.9643 s	Remaining CPU time: 83.0357 s
97.06/97.18	c ===============================================================================
97.06/97.18	c |       426 |   43740   257584   507676 |    85861      160     25 | 28.709 % |
97.16/97.24	c ===============================================================================
97.16/97.24	c New solution: 262
97.16/97.24	o 262
97.16/97.24	c Elapsed CPU time: 97.0212 s	Remaining CPU time: 82.9788 s
97.16/97.24	c ===============================================================================
97.16/97.24	c |       430 |   43498   257585   507976 |    85861      164     25 | 28.709 % |
97.16/97.29	c ===============================================================================
97.16/97.29	c New solution: 261
97.16/97.29	o 261
97.16/97.29	c Elapsed CPU time: 97.0792 s	Remaining CPU time: 82.9208 s
97.16/97.29	c ===============================================================================
97.16/97.29	c |       434 |   43256   257586   508276 |    85862      168     25 | 28.709 % |
97.26/97.35	c ===============================================================================
97.26/97.35	c New solution: 260
97.26/97.35	o 260
97.26/97.35	c Elapsed CPU time: 97.1362 s	Remaining CPU time: 82.8638 s
97.26/97.35	c ===============================================================================
97.26/97.35	c |       435 |   43014   257587   508576 |    85862      169     25 | 28.709 % |
97.36/97.41	c ===============================================================================
97.36/97.41	c New solution: 259
97.36/97.41	o 259
97.36/97.41	c Elapsed CPU time: 97.1932 s	Remaining CPU time: 82.8068 s
97.36/97.41	c ===============================================================================
97.36/97.41	c |       438 |   42772   257588   508876 |    85862      172     25 | 28.709 % |
97.36/97.47	c ===============================================================================
97.36/97.47	c New solution: 258
97.36/97.47	o 258
97.36/97.47	c Elapsed CPU time: 97.2512 s	Remaining CPU time: 82.7488 s
97.36/97.47	c ===============================================================================
97.36/97.47	c |       444 |   42530   257589   509176 |    85863      178     24 | 28.709 % |
97.46/97.52	c ===============================================================================
97.46/97.52	c New solution: 257
97.46/97.52	o 257
97.46/97.52	c Elapsed CPU time: 97.3062 s	Remaining CPU time: 82.6938 s
97.46/97.52	c ===============================================================================
97.46/97.52	c |       446 |   42288   257590   509476 |    85863      180     24 | 28.709 % |
97.46/97.59	c ===============================================================================
97.46/97.59	c New solution: 256
97.46/97.59	o 256
97.46/97.59	c Elapsed CPU time: 97.3752 s	Remaining CPU time: 82.6248 s
97.46/97.59	c ===============================================================================
97.46/97.59	c |       460 |   42046   257591   509776 |    85863      194     24 | 28.709 % |
97.55/97.65	c ===============================================================================
97.55/97.65	c New solution: 255
97.55/97.65	o 255
97.55/97.65	c Elapsed CPU time: 97.4322 s	Remaining CPU time: 82.5678 s
97.55/97.65	c ===============================================================================
97.55/97.65	c |       462 |   41804   257592   510076 |    85864      196     24 | 28.709 % |
97.65/97.70	c ===============================================================================
97.65/97.70	c New solution: 254
97.65/97.70	o 254
97.65/97.70	c Elapsed CPU time: 97.4862 s	Remaining CPU time: 82.5138 s
97.65/97.70	c ===============================================================================
97.65/97.70	c |       473 |   41562   257593   510376 |    85864      145     26 | 28.709 % |
97.65/97.75	c ===============================================================================
97.65/97.75	c New solution: 253
97.65/97.75	o 253
97.65/97.75	c Elapsed CPU time: 97.5342 s	Remaining CPU time: 82.4658 s
97.65/97.75	c ===============================================================================
97.65/97.75	c |       479 |   41320   257594   510676 |    85864      151     26 | 28.709 % |
97.76/97.80	c ===============================================================================
97.76/97.80	c New solution: 252
97.76/97.80	o 252
97.76/97.80	c Elapsed CPU time: 97.5792 s	Remaining CPU time: 82.4208 s
97.76/97.80	c ===============================================================================
97.76/97.80	c |       481 |   41078   257595   510976 |    85865      153     26 | 28.709 % |
97.76/97.86	c ===============================================================================
97.76/97.86	c New solution: 251
97.76/97.86	o 251
97.76/97.86	c Elapsed CPU time: 97.6352 s	Remaining CPU time: 82.3648 s
97.76/97.86	c ===============================================================================
97.76/97.86	c |       485 |   40836   257596   511276 |    85865      157     26 | 28.709 % |
97.76/97.90	c ===============================================================================
97.76/97.90	c New solution: 250
97.76/97.90	o 250
97.76/97.90	c Elapsed CPU time: 97.6801 s	Remaining CPU time: 82.3199 s
97.76/97.90	c ===============================================================================
97.76/97.90	c |       487 |   40594   257597   511576 |    85865      159     25 | 28.709 % |
97.87/97.96	c ===============================================================================
97.87/97.96	c New solution: 249
97.87/97.96	o 249
97.87/97.96	c Elapsed CPU time: 97.7361 s	Remaining CPU time: 82.2639 s
97.87/97.96	c ===============================================================================
97.87/97.96	c |       488 |   40352   257598   511876 |    85866      160     25 | 28.709 % |
97.96/98.00	c ===============================================================================
97.96/98.00	c New solution: 248
97.96/98.00	o 248
97.96/98.00	c Elapsed CPU time: 97.7811 s	Remaining CPU time: 82.2189 s
97.96/98.00	c ===============================================================================
97.96/98.00	c |       497 |   40110   257599   512176 |    85866      169     25 | 28.709 % |
97.96/98.06	c ===============================================================================
97.96/98.06	c New solution: 247
97.96/98.06	o 247
97.96/98.06	c Elapsed CPU time: 97.8371 s	Remaining CPU time: 82.1629 s
97.96/98.06	c ===============================================================================
97.96/98.06	c |       502 |   39868   257600   512476 |    85866      174     25 | 28.709 % |
98.06/98.11	c ===============================================================================
98.06/98.11	c New solution: 246
98.06/98.11	o 246
98.06/98.11	c Elapsed CPU time: 97.8891 s	Remaining CPU time: 82.1109 s
98.06/98.11	c ===============================================================================
98.06/98.11	c |       504 |   39626   257601   512776 |    85867      176     25 | 28.709 % |
98.06/98.17	c ===============================================================================
98.06/98.17	c New solution: 245
98.06/98.17	o 245
98.06/98.17	c Elapsed CPU time: 97.9421 s	Remaining CPU time: 82.0579 s
98.06/98.17	c ===============================================================================
98.06/98.17	c |       506 |   39384   257602   513076 |    85867      178     25 | 28.709 % |
98.16/98.22	c ===============================================================================
98.16/98.22	c New solution: 244
98.16/98.22	o 244
98.16/98.22	c Elapsed CPU time: 97.9941 s	Remaining CPU time: 82.0059 s
98.16/98.22	c ===============================================================================
98.16/98.22	c |       508 |   39142   257603   513376 |    85867      180     25 | 28.709 % |
98.16/98.27	c ===============================================================================
98.16/98.27	c New solution: 243
98.16/98.27	o 243
98.16/98.27	c Elapsed CPU time: 98.0471 s	Remaining CPU time: 81.9529 s
98.16/98.27	c ===============================================================================
98.16/98.27	c |       508 |   38900   257604   513676 |    85868      180     25 | 28.709 % |
98.26/98.32	c ===============================================================================
98.26/98.32	c New solution: 242
98.26/98.32	o 242
98.26/98.32	c Elapsed CPU time: 98.0921 s	Remaining CPU time: 81.9079 s
98.26/98.32	c ===============================================================================
98.26/98.32	c |       514 |   38658   257605   513976 |    85868      137     28 | 28.709 % |
98.26/98.37	c ===============================================================================
98.26/98.37	c New solution: 241
98.26/98.37	o 241
98.26/98.37	c Elapsed CPU time: 98.1411 s	Remaining CPU time: 81.8589 s
98.26/98.37	c ===============================================================================
98.26/98.37	c |       524 |   38416   257606   514276 |    85868      147     27 | 28.709 % |
98.35/98.42	c ===============================================================================
98.35/98.42	c New solution: 240
98.35/98.42	o 240
98.35/98.42	c Elapsed CPU time: 98.1951 s	Remaining CPU time: 81.8049 s
98.35/98.42	c ===============================================================================
98.35/98.42	c |       526 |   38174   257607   514576 |    85869      149     26 | 28.709 % |
98.35/98.47	c ===============================================================================
98.35/98.47	c New solution: 239
98.35/98.47	o 239
98.35/98.47	c Elapsed CPU time: 98.2421 s	Remaining CPU time: 81.7579 s
98.35/98.47	c ===============================================================================
98.35/98.47	c |       530 |   37932   257608   514876 |    85869      153     26 | 28.709 % |
98.45/98.52	c ===============================================================================
98.45/98.52	c New solution: 238
98.45/98.52	o 238
98.45/98.52	c Elapsed CPU time: 98.2961 s	Remaining CPU time: 81.7039 s
98.45/98.52	c ===============================================================================
98.45/98.52	c |       533 |   37690   257609   515176 |    85869      156     26 | 28.709 % |
98.45/98.57	c ===============================================================================
98.45/98.57	c New solution: 237
98.45/98.57	o 237
98.45/98.57	c Elapsed CPU time: 98.342 s	Remaining CPU time: 81.658 s
98.45/98.57	c ===============================================================================
98.45/98.57	c |       545 |   37448   257610   515476 |    85870      168     26 | 28.709 % |
98.55/98.62	c ===============================================================================
98.55/98.62	c New solution: 236
98.55/98.62	o 236
98.55/98.62	c Elapsed CPU time: 98.396 s	Remaining CPU time: 81.604 s
98.55/98.62	c ===============================================================================
98.55/98.62	c |       551 |   37206   257611   515776 |    85870      174     25 | 28.709 % |
98.55/98.68	c ===============================================================================
98.55/98.68	c New solution: 235
98.55/98.68	o 235
98.55/98.68	c Elapsed CPU time: 98.449 s	Remaining CPU time: 81.551 s
98.55/98.68	c ===============================================================================
98.55/98.68	c |       552 |   36964   257612   516076 |    85870      175     25 | 28.709 % |
98.65/98.73	c ===============================================================================
98.65/98.73	c New solution: 234
98.65/98.73	o 234
98.65/98.73	c Elapsed CPU time: 98.502 s	Remaining CPU time: 81.498 s
98.65/98.73	c ===============================================================================
98.65/98.73	c |       556 |   36722   257613   516376 |    85871      179     25 | 28.709 % |
98.65/98.78	c ===============================================================================
98.65/98.78	c New solution: 233
98.65/98.78	o 233
98.65/98.78	c Elapsed CPU time: 98.548 s	Remaining CPU time: 81.452 s
98.65/98.78	c ===============================================================================
98.65/98.78	c |       564 |   36480   257614   516676 |    85871      187     25 | 28.709 % |
98.75/98.83	c ===============================================================================
98.75/98.83	c New solution: 232
98.75/98.83	o 232
98.75/98.83	c Elapsed CPU time: 98.603 s	Remaining CPU time: 81.397 s
98.75/98.83	c ===============================================================================
98.75/98.83	c |       566 |   36238   257615   516976 |    85871      189     24 | 28.709 % |
98.75/98.89	c ===============================================================================
98.75/98.89	c New solution: 231
98.75/98.89	o 231
98.75/98.89	c Elapsed CPU time: 98.657 s	Remaining CPU time: 81.343 s
98.75/98.89	c ===============================================================================
98.75/98.89	c |       578 |   35996   257616   517276 |    85872      201     24 | 28.709 % |
98.86/98.95	c ===============================================================================
98.86/98.95	c New solution: 230
98.86/98.95	o 230
98.86/98.95	c Elapsed CPU time: 98.719 s	Remaining CPU time: 81.281 s
98.86/98.95	c ===============================================================================
98.86/98.95	c |       623 |   35754   257617   517576 |    85872      246     27 | 28.709 % |
98.96/99.04	c ===============================================================================
98.96/99.04	c New solution: 229
98.96/99.04	o 229
98.96/99.04	c Elapsed CPU time: 98.811 s	Remaining CPU time: 81.189 s
98.96/99.04	c ===============================================================================
98.96/99.04	c |       708 |   35512   257618   517876 |    85872      266     32 | 28.709 % |
98.96/99.09	c ===============================================================================
98.96/99.09	c New solution: 228
98.96/99.09	o 228
98.96/99.09	c Elapsed CPU time: 98.863 s	Remaining CPU time: 81.137 s
98.96/99.09	c ===============================================================================
98.96/99.09	c |       710 |   35270   257619   518176 |    85873      268     32 | 28.709 % |
99.05/99.14	c ===============================================================================
99.05/99.14	c New solution: 227
99.05/99.14	o 227
99.05/99.14	c Elapsed CPU time: 98.914 s	Remaining CPU time: 81.086 s
99.05/99.14	c ===============================================================================
99.05/99.14	c |       715 |   35028   257620   518476 |    85873      273     31 | 28.709 % |
99.05/99.19	c ===============================================================================
99.05/99.19	c New solution: 226
99.05/99.19	o 226
99.05/99.19	c Elapsed CPU time: 98.955 s	Remaining CPU time: 81.045 s
99.05/99.19	c ===============================================================================
99.05/99.19	c |       721 |   34786   257621   518776 |    85873      279     31 | 28.709 % |
99.16/99.24	c ===============================================================================
99.16/99.24	c New solution: 225
99.16/99.24	o 225
99.16/99.24	c Elapsed CPU time: 99.0059 s	Remaining CPU time: 80.9941 s
99.16/99.24	c ===============================================================================
99.16/99.24	c |       722 |   34544   257622   519076 |    85874      280     31 | 28.709 % |
99.16/99.28	c ===============================================================================
99.16/99.28	c New solution: 224
99.16/99.28	o 224
99.16/99.28	c Elapsed CPU time: 99.0509 s	Remaining CPU time: 80.9491 s
99.16/99.28	c ===============================================================================
99.16/99.28	c |       730 |   34302   257623   519376 |    85874      288     31 | 28.709 % |
99.26/99.33	c ===============================================================================
99.26/99.33	c New solution: 223
99.26/99.33	o 223
99.26/99.33	c Elapsed CPU time: 99.1009 s	Remaining CPU time: 80.8991 s
99.26/99.33	c ===============================================================================
99.26/99.33	c |       730 |   34060   257624   519676 |    85874      288     31 | 28.709 % |
99.26/99.39	c ===============================================================================
99.26/99.39	c New solution: 222
99.26/99.39	o 222
99.26/99.39	c Elapsed CPU time: 99.1529 s	Remaining CPU time: 80.8471 s
99.26/99.39	c ===============================================================================
99.26/99.39	c |       733 |   33818   257625   519976 |    85875      291     30 | 28.709 % |
99.36/99.44	c ===============================================================================
99.36/99.44	c New solution: 221
99.36/99.44	o 221
99.36/99.44	c Elapsed CPU time: 99.2049 s	Remaining CPU time: 80.7951 s
99.36/99.44	c ===============================================================================
99.36/99.44	c |       735 |   33576   257626   520276 |    85875      293     30 | 28.709 % |
99.36/99.48	c ===============================================================================
99.36/99.48	c New solution: 220
99.36/99.48	o 220
99.36/99.48	c Elapsed CPU time: 99.2449 s	Remaining CPU time: 80.7551 s
99.36/99.48	c ===============================================================================
99.36/99.48	c |       740 |   33334   257627   520576 |    85875      298     30 | 28.709 % |
99.46/99.53	c ===============================================================================
99.46/99.53	c New solution: 219
99.46/99.53	o 219
99.46/99.53	c Elapsed CPU time: 99.2919 s	Remaining CPU time: 80.7081 s
99.46/99.53	c ===============================================================================
99.46/99.53	c |       751 |   33092   257628   520876 |    85876      309     30 | 28.709 % |
99.46/99.58	c ===============================================================================
99.46/99.58	c New solution: 218
99.46/99.58	o 218
99.46/99.58	c Elapsed CPU time: 99.3479 s	Remaining CPU time: 80.6521 s
99.46/99.58	c ===============================================================================
99.46/99.58	c |       767 |   32850   257629   521176 |    85876      325     29 | 28.709 % |
99.56/99.64	c ===============================================================================
99.56/99.64	c New solution: 217
99.56/99.64	o 217
99.56/99.64	c Elapsed CPU time: 99.4009 s	Remaining CPU time: 80.5991 s
99.56/99.64	c ===============================================================================
99.56/99.64	c |       772 |   32608   257630   521476 |    85876      156     27 | 28.709 % |
99.56/99.69	c ===============================================================================
99.56/99.69	c New solution: 216
99.56/99.69	o 216
99.56/99.69	c Elapsed CPU time: 99.4569 s	Remaining CPU time: 80.5431 s
99.56/99.69	c ===============================================================================
99.56/99.69	c |       789 |   32366   257631   521776 |    85877      173     28 | 28.709 % |
99.66/99.74	c ===============================================================================
99.66/99.74	c New solution: 215
99.66/99.74	o 215
99.66/99.74	c Elapsed CPU time: 99.5039 s	Remaining CPU time: 80.4961 s
99.66/99.74	c ===============================================================================
99.66/99.74	c |       789 |   32124   257632   522076 |    85877      173     28 | 28.709 % |
99.66/99.79	c ===============================================================================
99.66/99.79	c New solution: 214
99.66/99.79	o 214
99.66/99.79	c Elapsed CPU time: 99.5569 s	Remaining CPU time: 80.4431 s
99.66/99.79	c ===============================================================================
99.66/99.79	c |       799 |   31882   257633   522376 |    85877      183     27 | 28.709 % |
99.75/99.84	c ===============================================================================
99.75/99.84	c New solution: 213
99.75/99.84	o 213
99.75/99.84	c Elapsed CPU time: 99.6069 s	Remaining CPU time: 80.3931 s
99.75/99.84	c ===============================================================================
99.75/99.84	c |       803 |   31640   257634   522676 |    85878      187     27 | 28.709 % |
99.75/99.89	c ===============================================================================
99.75/99.89	c New solution: 212
99.75/99.89	o 212
99.75/99.89	c Elapsed CPU time: 99.6499 s	Remaining CPU time: 80.3501 s
99.75/99.89	c ===============================================================================
99.75/99.89	c |       814 |   31398   257635   522976 |    85878      198     26 | 28.709 % |
99.85/99.93	c ===============================================================================
99.85/99.93	c New solution: 211
99.85/99.93	o 211
99.85/99.93	c Elapsed CPU time: 99.6908 s	Remaining CPU time: 80.3092 s
99.85/99.93	c ===============================================================================
99.85/99.93	c |       821 |   31156   257636   523276 |    85878      205     26 | 28.709 % |
99.85/99.98	c ===============================================================================
99.85/99.98	c New solution: 210
99.85/99.98	o 210
99.85/99.98	c Elapsed CPU time: 99.7388 s	Remaining CPU time: 80.2612 s
99.85/99.98	c ===============================================================================
99.85/99.98	c |       823 |   30914   257637   523576 |    85879      207     26 | 28.709 % |
99.96/100.02	c ===============================================================================
99.96/100.02	c New solution: 209
99.96/100.02	o 209
99.96/100.02	c Elapsed CPU time: 99.7808 s	Remaining CPU time: 80.2192 s
99.96/100.02	c ===============================================================================
99.96/100.02	c |       825 |   30672   257638   523876 |    85879      209     26 | 28.709 % |
99.96/100.07	c ===============================================================================
99.96/100.07	c New solution: 208
99.96/100.07	o 208
99.96/100.07	c Elapsed CPU time: 99.8328 s	Remaining CPU time: 80.1672 s
99.96/100.07	c ===============================================================================
99.96/100.07	c |       830 |   30430   257639   524176 |    85879      214     25 | 28.709 % |
100.06/100.11	c ===============================================================================
100.06/100.11	c New solution: 207
100.06/100.11	o 207
100.06/100.11	c Elapsed CPU time: 99.8748 s	Remaining CPU time: 80.1252 s
100.06/100.11	c ===============================================================================
100.06/100.11	c |       835 |   30188   257640   524476 |    85880      219     25 | 28.709 % |
100.06/100.15	c ===============================================================================
100.06/100.15	c New solution: 206
100.06/100.15	o 206
100.06/100.15	c Elapsed CPU time: 99.9128 s	Remaining CPU time: 80.0872 s
100.06/100.15	c ===============================================================================
100.06/100.15	c |       839 |   29946   257641   524776 |    85880      223     25 | 28.709 % |
100.15/100.20	c ===============================================================================
100.15/100.20	c New solution: 205
100.15/100.20	o 205
100.15/100.20	c Elapsed CPU time: 99.9598 s	Remaining CPU time: 80.0402 s
100.15/100.20	c ===============================================================================
100.15/100.20	c |       843 |   29704   257642   525076 |    85880      227     25 | 28.709 % |
100.15/100.24	c ===============================================================================
100.15/100.24	c New solution: 204
100.15/100.24	o 204
100.15/100.24	c Elapsed CPU time: 100.001 s	Remaining CPU time: 79.9992 s
100.15/100.24	c ===============================================================================
100.15/100.24	c |       852 |   29462   257643   525376 |    85881      236     25 | 28.709 % |
100.15/100.29	c ===============================================================================
100.15/100.29	c New solution: 203
100.15/100.29	o 203
100.15/100.29	c Elapsed CPU time: 100.05 s	Remaining CPU time: 79.9502 s
100.15/100.29	c ===============================================================================
100.15/100.29	c |       856 |   29220   257644   525676 |    85881      240     24 | 28.709 % |
100.26/100.33	c ===============================================================================
100.26/100.33	c New solution: 202
100.26/100.33	o 202
100.26/100.33	c Elapsed CPU time: 100.092 s	Remaining CPU time: 79.9082 s
100.26/100.33	c ===============================================================================
100.26/100.33	c |       862 |   28978   257645   525976 |    85881      156     26 | 28.709 % |
100.26/100.38	c ===============================================================================
100.26/100.38	c New solution: 201
100.26/100.38	o 201
100.26/100.38	c Elapsed CPU time: 100.14 s	Remaining CPU time: 79.8602 s
100.26/100.38	c ===============================================================================
100.26/100.38	c |       866 |   28736   257646   526276 |    85882      160     26 | 28.709 % |
100.36/100.42	c ===============================================================================
100.36/100.42	c New solution: 200
100.36/100.42	o 200
100.36/100.42	c Elapsed CPU time: 100.181 s	Remaining CPU time: 79.8192 s
100.36/100.42	c ===============================================================================
100.36/100.42	c |       872 |   28494   257647   526576 |    85882      166     26 | 28.709 % |
100.36/100.47	c ===============================================================================
100.36/100.47	c New solution: 199
100.36/100.47	o 199
100.36/100.47	c Elapsed CPU time: 100.229 s	Remaining CPU time: 79.7712 s
100.36/100.47	c ===============================================================================
100.36/100.47	c |       910 |   28252   257648   526876 |    85882      204     27 | 28.709 % |
100.46/100.52	c ===============================================================================
100.46/100.52	c New solution: 198
100.46/100.52	o 198
100.46/100.52	c Elapsed CPU time: 100.279 s	Remaining CPU time: 79.7212 s
100.46/100.52	c ===============================================================================
100.46/100.52	c |       917 |   28010   257649   527176 |    85883      211     27 | 28.709 % |
100.46/100.57	c ===============================================================================
100.46/100.57	c New solution: 197
100.46/100.57	o 197
100.46/100.57	c Elapsed CPU time: 100.327 s	Remaining CPU time: 79.6733 s
100.46/100.57	c ===============================================================================
100.46/100.57	c |       923 |   27768   257650   527476 |    85883      217     27 | 28.709 % |
100.56/100.62	c ===============================================================================
100.56/100.62	c New solution: 196
100.56/100.62	o 196
100.56/100.62	c Elapsed CPU time: 100.37 s	Remaining CPU time: 79.6303 s
100.56/100.62	c ===============================================================================
100.56/100.62	c |       923 |   27526   257651   527776 |    85883      217     27 | 28.709 % |
100.56/100.66	c ===============================================================================
100.56/100.66	c New solution: 195
100.56/100.66	o 195
100.56/100.66	c Elapsed CPU time: 100.414 s	Remaining CPU time: 79.5863 s
100.56/100.66	c ===============================================================================
100.56/100.66	c |       923 |   27284   257652   528076 |    85884      217     27 | 28.709 % |
100.66/100.70	c ===============================================================================
100.66/100.70	c New solution: 194
100.66/100.70	o 194
100.66/100.70	c Elapsed CPU time: 100.451 s	Remaining CPU time: 79.5493 s
100.66/100.70	c ===============================================================================
100.66/100.70	c |       928 |   27042   257653   528376 |    85884      222     26 | 28.709 % |
100.66/100.73	c ===============================================================================
100.66/100.73	c New solution: 193
100.66/100.73	o 193
100.66/100.73	c Elapsed CPU time: 100.489 s	Remaining CPU time: 79.5113 s
100.66/100.73	c ===============================================================================
100.66/100.73	c |       929 |   26800   257654   528676 |    85884      223     26 | 28.709 % |
100.66/100.77	c ===============================================================================
100.66/100.77	c New solution: 192
100.66/100.77	o 192
100.66/100.77	c Elapsed CPU time: 100.528 s	Remaining CPU time: 79.4723 s
100.66/100.77	c ===============================================================================
100.66/100.77	c |       933 |   26558   257655   528976 |    85885      227     26 | 28.709 % |
100.76/100.82	c ===============================================================================
100.76/100.82	c New solution: 191
100.76/100.82	o 191
100.76/100.82	c Elapsed CPU time: 100.574 s	Remaining CPU time: 79.4263 s
100.76/100.82	c ===============================================================================
100.76/100.82	c |       941 |   26316   257656   529276 |    85885      235     26 | 28.709 % |
100.76/100.87	c ===============================================================================
100.76/100.87	c New solution: 190
100.76/100.87	o 190
100.76/100.87	c Elapsed CPU time: 100.62 s	Remaining CPU time: 79.3803 s
100.76/100.87	c ===============================================================================
100.76/100.87	c |       943 |   26074   257657   529576 |    85885      237     26 | 28.709 % |
100.85/100.91	c ===============================================================================
100.85/100.91	c New solution: 189
100.85/100.91	o 189
100.85/100.91	c Elapsed CPU time: 100.665 s	Remaining CPU time: 79.3353 s
100.85/100.91	c ===============================================================================
100.85/100.91	c |       944 |   25832   257658   529876 |    85886      238     26 | 28.709 % |
100.85/100.95	c ===============================================================================
100.85/100.95	c New solution: 188
100.85/100.95	o 188
100.85/100.95	c Elapsed CPU time: 100.706 s	Remaining CPU time: 79.2943 s
100.85/100.95	c ===============================================================================
100.85/100.95	c |       947 |   25590   257659   530176 |    85886      241     25 | 28.709 % |
100.85/100.99	c ===============================================================================
100.85/100.99	c New solution: 187
100.85/100.99	o 187
100.85/100.99	c Elapsed CPU time: 100.744 s	Remaining CPU time: 79.2563 s
100.85/100.99	c ===============================================================================
100.85/100.99	c |       968 |   25348   257660   530476 |    85886      262     25 | 28.709 % |
100.95/101.04	c ===============================================================================
100.95/101.04	c New solution: 186
100.95/101.04	o 186
100.95/101.04	c Elapsed CPU time: 100.789 s	Remaining CPU time: 79.2113 s
100.95/101.04	c ===============================================================================
100.95/101.04	c |       986 |   25106   257661   530776 |    85887      280     25 | 28.709 % |
100.95/101.09	c ===============================================================================
100.95/101.09	c New solution: 185
100.95/101.09	o 185
100.95/101.09	c Elapsed CPU time: 100.836 s	Remaining CPU time: 79.1643 s
100.95/101.09	c ===============================================================================
100.95/101.09	c |       991 |   24864   257662   531076 |    85887      164     27 | 28.709 % |
101.06/101.13	c ===============================================================================
101.06/101.13	c New solution: 184
101.06/101.13	o 184
101.06/101.13	c Elapsed CPU time: 100.883 s	Remaining CPU time: 79.1173 s
101.06/101.13	c ===============================================================================
101.06/101.13	c |       998 |   24622   257663   531376 |    85887      171     27 | 28.709 % |
101.06/101.18	c ===============================================================================
101.06/101.18	c New solution: 183
101.06/101.18	o 183
101.06/101.18	c Elapsed CPU time: 100.925 s	Remaining CPU time: 79.0753 s
101.06/101.18	c ===============================================================================
101.06/101.18	c |      1014 |   24380   257664   531676 |    85888      187     27 | 28.709 % |
101.16/101.22	c ===============================================================================
101.16/101.22	c New solution: 182
101.16/101.22	o 182
101.16/101.22	c Elapsed CPU time: 100.967 s	Remaining CPU time: 79.0333 s
101.16/101.22	c ===============================================================================
101.16/101.22	c |      1014 |   24138   257665   531976 |    85888      187     27 | 28.709 % |
101.16/101.26	c ===============================================================================
101.16/101.26	c New solution: 181
101.16/101.26	o 181
101.16/101.26	c Elapsed CPU time: 101.008 s	Remaining CPU time: 78.9924 s
101.16/101.26	c ===============================================================================
101.16/101.26	c |      1015 |   23896   257666   532276 |    85888      188     27 | 28.709 % |
101.25/101.30	c ===============================================================================
101.25/101.30	c New solution: 180
101.25/101.30	o 180
101.25/101.30	c Elapsed CPU time: 101.049 s	Remaining CPU time: 78.9514 s
101.25/101.30	c ===============================================================================
101.25/101.30	c |      1018 |   23654   257667   532576 |    85889      191     26 | 28.709 % |
101.25/101.34	c ===============================================================================
101.25/101.34	c New solution: 179
101.25/101.34	o 179
101.25/101.34	c Elapsed CPU time: 101.092 s	Remaining CPU time: 78.9084 s
101.25/101.34	c ===============================================================================
101.25/101.34	c |      1019 |   23412   257668   532876 |    85889      192     26 | 28.709 % |
101.25/101.38	c ===============================================================================
101.25/101.39	c New solution: 178
101.25/101.39	o 178
101.25/101.39	c Elapsed CPU time: 101.134 s	Remaining CPU time: 78.8664 s
101.25/101.39	c ===============================================================================
101.25/101.39	c |      1023 |   23170   257669   533176 |    85889      196     26 | 28.709 % |
101.35/101.42	c ===============================================================================
101.35/101.42	c New solution: 177
101.35/101.42	o 177
101.35/101.42	c Elapsed CPU time: 101.171 s	Remaining CPU time: 78.8294 s
101.35/101.42	c ===============================================================================
101.35/101.42	c |      1031 |   22928   257670   533476 |    85890      204     26 | 28.709 % |
101.35/101.46	c ===============================================================================
101.35/101.46	c New solution: 176
101.35/101.46	o 176
101.35/101.46	c Elapsed CPU time: 101.209 s	Remaining CPU time: 78.7914 s
101.35/101.46	c ===============================================================================
101.35/101.46	c |      1044 |   22686   257671   533776 |    85890      217     26 | 28.709 % |
101.46/101.50	c ===============================================================================
101.46/101.50	c New solution: 175
101.46/101.50	o 175
101.46/101.50	c Elapsed CPU time: 101.247 s	Remaining CPU time: 78.7534 s
101.46/101.50	c ===============================================================================
101.46/101.50	c |      1049 |   22444   257672   534076 |    85890      222     26 | 28.709 % |
101.46/101.54	c ===============================================================================
101.46/101.54	c New solution: 174
101.46/101.54	o 174
101.46/101.54	c Elapsed CPU time: 101.289 s	Remaining CPU time: 78.7114 s
101.46/101.54	c ===============================================================================
101.46/101.54	c |      1055 |   22202   257673   534376 |    85891      228     25 | 28.709 % |
101.46/101.57	c ===============================================================================
101.46/101.57	c New solution: 173
101.46/101.57	o 173
101.46/101.57	c Elapsed CPU time: 101.322 s	Remaining CPU time: 78.6784 s
101.46/101.57	c ===============================================================================
101.46/101.57	c |      1057 |   21960   257674   534676 |    85891      230     25 | 28.709 % |
101.56/101.62	c ===============================================================================
101.56/101.62	c New solution: 172
101.56/101.62	o 172
101.56/101.62	c Elapsed CPU time: 101.363 s	Remaining CPU time: 78.6374 s
101.56/101.62	c ===============================================================================
101.56/101.62	c |      1060 |   21718   257675   534976 |    85891      233     25 | 28.709 % |
101.56/101.66	c ===============================================================================
101.56/101.66	c New solution: 171
101.56/101.66	o 171
101.56/101.66	c Elapsed CPU time: 101.403 s	Remaining CPU time: 78.5974 s
101.56/101.66	c ===============================================================================
101.56/101.66	c |      1076 |   21476   257676   535276 |    85892      249     25 | 28.709 % |
101.56/101.70	c ===============================================================================
101.56/101.70	c New solution: 170
101.56/101.70	o 170
101.56/101.70	c Elapsed CPU time: 101.441 s	Remaining CPU time: 78.5594 s
101.56/101.70	c ===============================================================================
101.56/101.70	c |      1092 |   21234   257677   535576 |    85892      265     26 | 28.709 % |
101.66/101.74	c ===============================================================================
101.66/101.74	c New solution: 169
101.66/101.74	o 169
101.66/101.74	c Elapsed CPU time: 101.481 s	Remaining CPU time: 78.5194 s
101.66/101.74	c ===============================================================================
101.66/101.74	c |      1092 |   20992   257678   535876 |    85892      265     26 | 28.709 % |
101.66/101.77	c ===============================================================================
101.66/101.77	c New solution: 168
101.66/101.77	o 168
101.66/101.77	c Elapsed CPU time: 101.52 s	Remaining CPU time: 78.4804 s
101.66/101.77	c ===============================================================================
101.66/101.77	c |      1096 |   20750   257679   536176 |    85893      269     25 | 28.709 % |
101.75/101.81	c ===============================================================================
101.75/101.81	c New solution: 167
101.75/101.81	o 167
101.75/101.81	c Elapsed CPU time: 101.551 s	Remaining CPU time: 78.4494 s
101.75/101.81	c ===============================================================================
101.75/101.81	c |      1100 |   20508   257680   536476 |    85893      273     25 | 28.709 % |
101.75/101.84	c ===============================================================================
101.75/101.84	c New solution: 166
101.75/101.84	o 166
101.75/101.84	c Elapsed CPU time: 101.584 s	Remaining CPU time: 78.4164 s
101.75/101.84	c ===============================================================================
101.75/101.84	c |      1104 |   20266   257681   536776 |    85893      277     25 | 28.709 % |
101.75/101.88	c ===============================================================================
101.75/101.88	c New solution: 165
101.75/101.88	o 165
101.75/101.88	c Elapsed CPU time: 101.624 s	Remaining CPU time: 78.3765 s
101.75/101.88	c ===============================================================================
101.75/101.88	c |      1114 |   20024   257682   537076 |    85894      287     25 | 28.709 % |
101.85/101.95	c |      1215 |   19782   257682   537076 |    94483      255     32 | 72.843 % |
101.85/101.99	c ===============================================================================
101.85/101.99	c New solution: 164
101.85/101.99	o 164
101.85/101.99	c Elapsed CPU time: 101.729 s	Remaining CPU time: 78.2715 s
101.85/101.99	c ===============================================================================
101.85/101.99	c |      1217 |   19782   257683   537376 |    85894      257     32 | 72.843 % |
101.95/102.03	c ===============================================================================
101.95/102.03	c New solution: 163
101.95/102.03	o 163
101.95/102.03	c Elapsed CPU time: 101.768 s	Remaining CPU time: 78.2325 s
101.95/102.03	c ===============================================================================
101.95/102.03	c |      1219 |   19540   257684   537676 |    85894      259     32 | 72.843 % |
101.95/102.06	c ===============================================================================
101.95/102.06	c New solution: 162
101.95/102.06	o 162
101.95/102.06	c Elapsed CPU time: 101.801 s	Remaining CPU time: 78.1995 s
101.95/102.06	c ===============================================================================
101.95/102.06	c |      1225 |   19298   257685   537976 |    85895      265     32 | 72.843 % |
101.95/102.09	c ===============================================================================
101.95/102.09	c New solution: 161
101.95/102.09	o 161
101.95/102.09	c Elapsed CPU time: 101.834 s	Remaining CPU time: 78.1665 s
101.95/102.09	c ===============================================================================
101.95/102.09	c |      1229 |   19056   257686   538276 |    85895      269     32 | 72.843 % |
102.05/102.13	c ===============================================================================
102.05/102.13	c New solution: 160
102.05/102.13	o 160
102.05/102.13	c Elapsed CPU time: 101.872 s	Remaining CPU time: 78.1285 s
102.05/102.13	c ===============================================================================
102.05/102.13	c |      1231 |   18814   257687   538576 |    85895      271     31 | 72.843 % |
102.05/102.17	c ===============================================================================
102.05/102.17	c New solution: 159
102.05/102.17	o 159
102.05/102.17	c Elapsed CPU time: 101.91 s	Remaining CPU time: 78.0905 s
102.05/102.17	c ===============================================================================
102.05/102.17	c |      1234 |   18572   257688   538876 |    85896      274     31 | 72.843 % |
102.16/102.21	c ===============================================================================
102.16/102.21	c New solution: 158
102.16/102.21	o 158
102.16/102.21	c Elapsed CPU time: 101.948 s	Remaining CPU time: 78.0525 s
102.16/102.21	c ===============================================================================
102.16/102.21	c |      1241 |   18330   257689   539176 |    85896      281     31 | 72.843 % |
102.16/102.25	c ===============================================================================
102.16/102.25	c New solution: 157
102.16/102.25	o 157
102.16/102.25	c Elapsed CPU time: 101.984 s	Remaining CPU time: 78.0155 s
102.16/102.25	c ===============================================================================
102.16/102.25	c |      1242 |   18088   257690   539476 |    85896      282     31 | 72.843 % |
102.16/102.28	c ===============================================================================
102.16/102.28	c New solution: 156
102.16/102.28	o 156
102.16/102.28	c Elapsed CPU time: 102.02 s	Remaining CPU time: 77.9795 s
102.16/102.28	c ===============================================================================
102.16/102.28	c |      1243 |   17846   257691   539776 |    85897      283     31 | 72.843 % |
102.26/102.32	c ===============================================================================
102.26/102.32	c New solution: 155
102.26/102.32	o 155
102.26/102.32	c Elapsed CPU time: 102.053 s	Remaining CPU time: 77.9465 s
102.26/102.32	c ===============================================================================
102.26/102.32	c |      1250 |   17604   257692   540076 |    85897      290     30 | 72.843 % |
102.26/102.35	c ===============================================================================
102.26/102.35	c New solution: 154
102.26/102.35	o 154
102.26/102.35	c Elapsed CPU time: 102.086 s	Remaining CPU time: 77.9135 s
102.26/102.35	c ===============================================================================
102.26/102.35	c |      1257 |   17362   257693   540376 |    85897      297     30 | 72.843 % |
102.26/102.39	c ===============================================================================
102.26/102.39	c New solution: 153
102.26/102.39	o 153
102.26/102.39	c Elapsed CPU time: 102.125 s	Remaining CPU time: 77.8745 s
102.26/102.39	c ===============================================================================
102.26/102.39	c |      1261 |   17120   257694   540676 |    85898      301     30 | 72.843 % |
102.35/102.43	c ===============================================================================
102.35/102.43	c New solution: 152
102.35/102.43	o 152
102.35/102.43	c Elapsed CPU time: 102.164 s	Remaining CPU time: 77.8355 s
102.35/102.43	c ===============================================================================
102.35/102.43	c |      1267 |   16878   257695   540976 |    85898      307     30 | 72.843 % |
102.35/102.46	c ===============================================================================
102.35/102.46	c New solution: 151
102.35/102.46	o 151
102.35/102.46	c Elapsed CPU time: 102.203 s	Remaining CPU time: 77.7965 s
102.35/102.46	c ===============================================================================
102.35/102.46	c |      1287 |   16636   257696   541276 |    85898      327     30 | 72.843 % |
102.45/102.50	c ===============================================================================
102.45/102.50	c New solution: 150
102.45/102.50	o 150
102.45/102.50	c Elapsed CPU time: 102.239 s	Remaining CPU time: 77.7605 s
102.45/102.50	c ===============================================================================
102.45/102.50	c |      1288 |   16394   257697   541576 |    85899      328     30 | 72.843 % |
102.45/102.54	c ===============================================================================
102.45/102.54	c New solution: 149
102.45/102.54	o 149
102.45/102.54	c Elapsed CPU time: 102.272 s	Remaining CPU time: 77.7275 s
102.45/102.54	c ===============================================================================
102.45/102.54	c |      1293 |   16152   257698   541876 |    85899      333     29 | 72.843 % |
102.45/102.57	c ===============================================================================
102.45/102.57	c New solution: 148
102.45/102.57	o 148
102.45/102.57	c Elapsed CPU time: 102.303 s	Remaining CPU time: 77.6966 s
102.45/102.57	c ===============================================================================
102.45/102.57	c |      1296 |   15910   257699   542176 |    85899      336     29 | 72.843 % |
102.56/102.60	c ===============================================================================
102.56/102.60	c New solution: 147
102.56/102.60	o 147
102.56/102.60	c Elapsed CPU time: 102.334 s	Remaining CPU time: 77.6656 s
102.56/102.60	c ===============================================================================
102.56/102.60	c |      1301 |   15668   257700   542476 |    85900      341     29 | 72.843 % |
102.56/102.63	c ===============================================================================
102.56/102.63	c New solution: 146
102.56/102.63	o 146
102.56/102.63	c Elapsed CPU time: 102.364 s	Remaining CPU time: 77.6356 s
102.56/102.63	c ===============================================================================
102.56/102.63	c |      1302 |   15426   257701   542776 |    85900      342     29 | 72.843 % |
102.56/102.67	c ===============================================================================
102.56/102.67	c New solution: 145
102.56/102.67	o 145
102.56/102.67	c Elapsed CPU time: 102.4 s	Remaining CPU time: 77.5996 s
102.56/102.67	c ===============================================================================
102.56/102.67	c |      1307 |   15184   257702   543076 |    85900      347     29 | 72.843 % |
102.66/102.70	c ===============================================================================
102.66/102.70	c New solution: 144
102.66/102.70	o 144
102.66/102.70	c Elapsed CPU time: 102.435 s	Remaining CPU time: 77.5646 s
102.66/102.70	c ===============================================================================
102.66/102.70	c |      1310 |   14942   257703   543376 |    85901      350     29 | 72.843 % |
102.66/102.73	c ===============================================================================
102.66/102.73	c New solution: 143
102.66/102.73	o 143
102.66/102.73	c Elapsed CPU time: 102.464 s	Remaining CPU time: 77.5356 s
102.66/102.73	c ===============================================================================
102.66/102.73	c |      1312 |   14700   257704   543676 |    85901      352     29 | 72.843 % |
102.66/102.76	c ===============================================================================
102.66/102.76	c New solution: 142
102.66/102.76	o 142
102.66/102.76	c Elapsed CPU time: 102.494 s	Remaining CPU time: 77.5056 s
102.66/102.76	c ===============================================================================
102.66/102.76	c |      1315 |   14458   257705   543976 |    85901      355     29 | 72.843 % |
102.66/102.79	c ===============================================================================
102.66/102.79	c New solution: 141
102.66/102.79	o 141
102.66/102.79	c Elapsed CPU time: 102.53 s	Remaining CPU time: 77.4696 s
102.66/102.79	c ===============================================================================
102.66/102.79	c |      1323 |   14216   257706   544276 |    85902      363     28 | 72.843 % |
102.76/102.82	c ===============================================================================
102.76/102.82	c New solution: 140
102.76/102.82	o 140
102.76/102.82	c Elapsed CPU time: 102.559 s	Remaining CPU time: 77.4406 s
102.76/102.82	c ===============================================================================
102.76/102.82	c |      1326 |   13974   257707   544576 |    85902      366     28 | 72.843 % |
102.76/102.86	c ===============================================================================
102.76/102.86	c New solution: 139
102.76/102.86	o 139
102.76/102.86	c Elapsed CPU time: 102.594 s	Remaining CPU time: 77.4056 s
102.76/102.86	c ===============================================================================
102.76/102.86	c |      1331 |   13732   257708   544876 |    85902      139     27 | 72.843 % |
102.76/102.89	c ===============================================================================
102.76/102.89	c New solution: 138
102.76/102.89	o 138
102.76/102.89	c Elapsed CPU time: 102.628 s	Remaining CPU time: 77.3716 s
102.76/102.89	c ===============================================================================
102.76/102.89	c |      1334 |   13490   257709   545176 |    85903      142     27 | 72.843 % |
102.86/102.92	c ===============================================================================
102.86/102.92	c New solution: 137
102.86/102.92	o 137
102.86/102.92	c Elapsed CPU time: 102.657 s	Remaining CPU time: 77.3426 s
102.86/102.92	c ===============================================================================
102.86/102.92	c |      1337 |   13248   257710   545476 |    85903      145     27 | 72.843 % |
102.86/102.95	c ===============================================================================
102.86/102.95	c New solution: 136
102.86/102.95	o 136
102.86/102.95	c Elapsed CPU time: 102.685 s	Remaining CPU time: 77.3146 s
102.86/102.95	c ===============================================================================
102.86/102.95	c |      1340 |   13006   257711   545776 |    85903      148     26 | 72.843 % |
102.86/102.98	c ===============================================================================
102.86/102.98	c New solution: 135
102.86/102.98	o 135
102.86/102.98	c Elapsed CPU time: 102.718 s	Remaining CPU time: 77.2816 s
102.86/102.98	c ===============================================================================
102.86/102.98	c |      1341 |   12764   257712   546076 |    85904      149     26 | 72.843 % |
102.96/103.01	c ===============================================================================
102.96/103.01	c New solution: 134
102.96/103.01	o 134
102.96/103.01	c Elapsed CPU time: 102.748 s	Remaining CPU time: 77.2516 s
102.96/103.01	c ===============================================================================
102.96/103.01	c |      1353 |   12522   257713   546376 |    85904      161     26 | 72.843 % |
102.96/103.06	c ===============================================================================
102.96/103.06	c New solution: 133
102.96/103.06	o 133
102.96/103.06	c Elapsed CPU time: 102.79 s	Remaining CPU time: 77.2096 s
102.96/103.06	c ===============================================================================
102.96/103.06	c |      1374 |   12280   257714   546676 |    85904      182     26 | 72.843 % |
102.96/103.09	c ===============================================================================
102.96/103.09	c New solution: 132
102.96/103.09	o 132
102.96/103.09	c Elapsed CPU time: 102.823 s	Remaining CPU time: 77.1766 s
102.96/103.09	c ===============================================================================
102.96/103.09	c |      1377 |   12038   257715   546976 |    85905      185     26 | 72.843 % |
103.06/103.12	c ===============================================================================
103.06/103.12	c New solution: 131
103.06/103.12	o 131
103.06/103.12	c Elapsed CPU time: 102.855 s	Remaining CPU time: 77.1446 s
103.06/103.12	c ===============================================================================
103.06/103.12	c |      1379 |   11796   257716   547276 |    85905      187     26 | 72.843 % |
103.06/103.15	c ===============================================================================
103.06/103.15	c New solution: 130
103.06/103.15	o 130
103.06/103.15	c Elapsed CPU time: 102.887 s	Remaining CPU time: 77.1126 s
103.06/103.15	c ===============================================================================
103.06/103.15	c |      1382 |   11554   257717   547576 |    85905      190     26 | 72.843 % |
103.06/103.18	c ===============================================================================
103.06/103.18	c New solution: 129
103.06/103.18	o 129
103.06/103.18	c Elapsed CPU time: 102.918 s	Remaining CPU time: 77.0816 s
103.06/103.18	c ===============================================================================
103.06/103.18	c |      1386 |   11312   257718   547876 |    85906      194     26 | 72.843 % |
103.16/103.21	c ===============================================================================
103.16/103.21	c New solution: 128
103.16/103.21	o 128
103.16/103.21	c Elapsed CPU time: 102.948 s	Remaining CPU time: 77.0517 s
103.16/103.21	c ===============================================================================
103.16/103.21	c |      1394 |   11070   257719   548176 |    85906      202     25 | 72.843 % |
103.16/103.25	c ===============================================================================
103.16/103.25	c New solution: 127
103.16/103.25	o 127
103.16/103.25	c Elapsed CPU time: 102.978 s	Remaining CPU time: 77.0217 s
103.16/103.25	c ===============================================================================
103.16/103.25	c |      1409 |   10828   257720   548476 |    85906      217     25 | 72.843 % |
103.26/103.34	c |      1509 |   10821   257720   548476 |    94497      317     30 | 85.467 % |
103.26/103.37	c ===============================================================================
103.26/103.37	c New solution: 126
103.26/103.37	o 126
103.26/103.37	c Elapsed CPU time: 103.099 s	Remaining CPU time: 76.9007 s
103.26/103.37	c ===============================================================================
103.26/103.37	c |      1514 |   10586   257721   548776 |    85907      322     30 | 85.467 % |
103.26/103.39	c ===============================================================================
103.26/103.39	c New solution: 125
103.26/103.39	o 125
103.26/103.39	c Elapsed CPU time: 103.126 s	Remaining CPU time: 76.8737 s
103.26/103.39	c ===============================================================================
103.26/103.39	c |      1517 |   10344   257722   549076 |    85907      325     30 | 85.467 % |
103.36/103.44	c ===============================================================================
103.36/103.44	c New solution: 124
103.36/103.44	o 124
103.36/103.44	c Elapsed CPU time: 103.175 s	Remaining CPU time: 76.8247 s
103.36/103.44	c ===============================================================================
103.36/103.44	c |      1603 |   10102   257723   549376 |    85907      411     31 | 85.467 % |
103.45/103.53	c |      1703 |   10093   257723   549376 |    94498      511     33 | 86.464 % |
103.45/103.56	c ===============================================================================
103.45/103.56	c New solution: 123
103.45/103.56	o 123
103.45/103.56	c Elapsed CPU time: 103.288 s	Remaining CPU time: 76.7117 s
103.45/103.56	c ===============================================================================
103.45/103.56	c |      1712 |    9860   257724   549676 |    85908      520     33 | 86.464 % |
103.45/103.59	c ===============================================================================
103.45/103.59	c New solution: 122
103.45/103.59	o 122
103.45/103.59	c Elapsed CPU time: 103.321 s	Remaining CPU time: 76.6787 s
103.45/103.59	c ===============================================================================
103.45/103.59	c |      1720 |    9618   257725   549976 |    85908      528     33 | 86.464 % |
103.55/103.62	c ===============================================================================
103.55/103.62	c New solution: 121
103.55/103.62	o 121
103.55/103.62	c Elapsed CPU time: 103.349 s	Remaining CPU time: 76.6507 s
103.55/103.62	c ===============================================================================
103.55/103.62	c |      1725 |    9376   257726   550276 |    85908      533     32 | 86.464 % |
103.55/103.65	c ===============================================================================
103.55/103.65	c New solution: 120
103.55/103.65	o 120
103.55/103.65	c Elapsed CPU time: 103.379 s	Remaining CPU time: 76.6207 s
103.55/103.65	c ===============================================================================
103.55/103.65	c |      1739 |    9134   257727   550576 |    85909      547     32 | 86.464 % |
103.65/103.70	c |      1839 |    9117   257727   550576 |    94499      647     34 | 87.793 % |
103.75/103.85	c |      1989 |    9101   257727   550576 |   103949      797     39 | 87.793 % |
103.85/103.90	c ===============================================================================
103.85/103.90	c New solution: 119
103.85/103.90	o 119
103.85/103.90	c Elapsed CPU time: 103.633 s	Remaining CPU time: 76.3668 s
103.85/103.90	c ===============================================================================
103.85/103.90	c |      2043 |    8892   257728   550876 |    85909      554     40 | 87.793 % |
103.85/103.95	c |      2143 |    8892   257728   550876 |    94500      654     40 | 88.125 % |
104.05/104.11	c |      2293 |    8886   257728   550876 |   103950      804     41 | 88.125 % |
104.05/104.17	c ===============================================================================
104.05/104.17	c New solution: 118
104.05/104.17	o 118
104.05/104.17	c Elapsed CPU time: 103.897 s	Remaining CPU time: 76.1028 s
104.05/104.17	c ===============================================================================
104.05/104.17	c |      2423 |    8650   257729   551176 |    85909      934     40 | 88.125 % |
104.15/104.26	c |      2524 |    8629   257729   551176 |    94500     1035     41 | 88.457 % |
104.25/104.36	c ===============================================================================
104.25/104.36	c New solution: 117
104.25/104.36	o 117
104.25/104.36	c Elapsed CPU time: 104.089 s	Remaining CPU time: 75.9108 s
104.25/104.36	c ===============================================================================
104.25/104.36	c |      2612 |    8408   257730   551476 |    85910     1123     40 | 88.457 % |
104.36/104.49	c |      2714 |    8401   257730   551476 |    94501     1225     41 | 88.789 % |
104.46/104.57	c |      2864 |    8375   257730   551476 |   103951     1375     44 | 88.789 % |
104.55/104.61	c ===============================================================================
104.55/104.61	c New solution: 116
104.55/104.61	o 116
104.55/104.61	c Elapsed CPU time: 104.334 s	Remaining CPU time: 75.6659 s
104.55/104.61	c ===============================================================================
104.55/104.61	c |      2885 |    8166   257731   551776 |    85910     1396     44 | 88.789 % |
104.55/104.66	c ===============================================================================
104.55/104.66	c New solution: 115
104.55/104.66	o 115
104.55/104.66	c Elapsed CPU time: 104.386 s	Remaining CPU time: 75.6139 s
104.55/104.66	c ===============================================================================
104.55/104.66	c |      2944 |    7924   257732   552076 |    85910     1455     44 | 88.789 % |
104.65/104.76	c |      3044 |    7917   257732   552076 |    94501     1555     44 | 89.454 % |
104.75/104.82	c |      3195 |    7682   257732   552076 |   103951     1137     40 | 89.454 % |
104.95/105.03	c |      3421 |    7682   257732   552076 |   114347     1363     40 | 89.454 % |
104.95/105.07	c ===============================================================================
104.95/105.07	c New solution: 114
104.95/105.07	o 114
104.95/105.07	c Elapsed CPU time: 104.799 s	Remaining CPU time: 75.2009 s
104.95/105.07	c ===============================================================================
104.95/105.07	c |      3456 |    7682   257733   552376 |    85911     1398     40 | 89.454 % |
105.16/105.22	c |      3557 |    7673   257733   552376 |    94502     1499     41 | 89.786 % |
105.16/105.28	c |      3707 |    7657   257733   552376 |   103952     1649     40 | 89.786 % |
105.46/105.59	c |      3933 |    7650   257733   552376 |   114347     1875     42 | 89.786 % |
105.56/105.66	c ===============================================================================
105.56/105.66	c New solution: 113
105.56/105.66	o 113
105.56/105.66	c Elapsed CPU time: 105.385 s	Remaining CPU time: 74.615 s
105.56/105.66	c ===============================================================================
105.56/105.66	c |      4056 |    7440   257734   552676 |    85911     1998     43 | 89.786 % |
105.65/105.71	c ===============================================================================
105.65/105.71	c New solution: 112
105.65/105.71	o 112
105.65/105.71	c Elapsed CPU time: 105.43 s	Remaining CPU time: 74.57 s
105.65/105.71	c ===============================================================================
105.65/105.71	c |      4087 |    7198   257735   552976 |    85911     1531     37 | 89.786 % |
105.65/105.76	c |      4187 |    7190   257735   552976 |    94502     1631     36 | 90.451 % |
105.75/105.89	c |      4341 |    7179   257735   552976 |   103953     1785     37 | 90.451 % |
105.85/105.97	c |      4566 |    7174   257735   552976 |   114348     2010     38 | 90.451 % |
106.25/106.32	c |      4903 |    7169   257735   552976 |   125783     2347     40 | 90.451 % |
106.45/106.56	c |      5409 |    7160   257735   552976 |   138361     2853     42 | 90.451 % |
106.66/106.73	c ===============================================================================
106.66/106.73	c New solution: 111
106.66/106.73	o 111
106.66/106.73	c Elapsed CPU time: 106.446 s	Remaining CPU time: 73.5542 s
106.66/106.73	c ===============================================================================
106.66/106.73	c |      5660 |    6956   257736   553276 |    85912     2770     40 | 90.451 % |
106.75/106.86	c |      5760 |    6942   257736   553276 |    94503     2870     41 | 90.783 % |
106.85/106.96	c |      5912 |    6924   257736   553276 |   103953     3022     40 | 90.783 % |
107.15/107.20	c |      6137 |    6918   257736   553276 |   114348     3247     41 | 90.783 % |
107.25/107.39	c |      6475 |    6915   257736   553276 |   125783     3585     43 | 90.783 % |
107.95/108.02	c |      6981 |    6910   257736   553276 |   138362     4091     44 | 90.783 % |
108.45/108.58	c |      7740 |    6714   257736   553276 |   152198     4297     43 | 90.783 % |
110.05/110.16	c |      8879 |    6714   257736   553276 |   167418     5436     48 | 90.783 % |
111.06/111.19	c |     10587 |    6714   257736   553276 |   184160     7144     47 | 90.783 % |
113.75/113.83	c |     13150 |    6714   257736   553276 |   202576     9707     51 | 90.783 % |
116.15/116.27	c ===============================================================================
116.15/116.27	c New solution: 110
116.15/116.27	o 110
116.15/116.27	c Elapsed CPU time: 115.954 s	Remaining CPU time: 64.0456 s
116.15/116.27	c ===============================================================================
116.15/116.27	c |     15508 |    6714   257737   553576 |    85912    12065     52 | 90.783 % |
116.35/116.41	c |     15608 |    6472   257737   553576 |    94503    10190     47 | 91.115 % |
116.46/116.57	c |     15759 |    6472   257737   553576 |   103953    10341     47 | 91.115 % |
116.65/116.73	c |     15984 |    6472   257737   553576 |   114349    10566     47 | 91.115 % |
117.05/117.12	c |     16321 |    6472   257737   553576 |   125784    10903     47 | 91.115 % |
117.45/117.57	c |     16827 |    6472   257737   553576 |   138362    11409     47 | 91.115 % |
118.35/118.40	c |     17586 |    6472   257737   553576 |   152198    12168     48 | 91.115 % |
119.76/119.80	c |     18726 |    6472   257737   553576 |   167418    13308     49 | 91.115 % |
121.96/122.01	c |     20435 |    6472   257737   553576 |   184160    15017     52 | 91.115 % |
124.55/124.60	c |     22997 |    6472   257737   553576 |   202576    17579     54 | 91.115 % |
129.95/130.02	c |     26841 |    6472   257737   553576 |   222834    21423     59 | 91.115 % |
135.54/135.65	c |     32607 |    6472   257737   553576 |   245117    27189     59 | 91.115 % |
152.44/152.53	c |     41258 |    6472   257737   553576 |   269629    35840     63 | 91.115 % |
172.43/172.53	c |     54233 |    6472   257737   553576 |   296592    48815     63 | 91.115 % |
180.34/180.49	c There are 66370 assigned variables. 292 in cost function.
180.73/180.84	c core #1
180.73/180.84	c 
180.73/180.84	c 
180.73/180.84	c Core size: 15	Core Weight: 102	Total Weight: 102
180.73/180.84	c
180.73/180.84	c
180.73/180.84	c ============================[ Search Statistics ]==============================
180.73/180.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.73/180.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.73/180.84	c ===============================================================================
180.73/180.84	c |         0 |    4778    83869    43970 |    27956        0    nan |  0.000 % |
180.73/180.88	c |       100 |    4778    83869    43970 |    30751      100     28 | 93.441 % |
180.83/180.93	c |       250 |    4778    83869    43970 |    33827      250     29 | 93.441 % |
180.93/181.02	c |       475 |    4778    83869    43970 |    37209      475     30 | 93.441 % |
181.03/181.15	c |       812 |    4778    83869    43970 |    40930      812     34 | 93.441 % |
181.24/181.38	c |      1320 |    4778    83869    43970 |    45023     1320     36 | 93.441 % |
181.64/181.74	c |      2079 |    4592    83869    43970 |    49526     1644     34 | 93.697 % |
182.03/182.12	c ===============================================================================
182.13/182.22	c core #2
182.13/182.22	c 
182.13/182.22	c 
182.13/182.22	c Core size: 510	Core Weight: 1	Total Weight: 103
182.13/182.22	c
182.13/182.22	c
182.13/182.22	c ============================[ Search Statistics ]==============================
182.13/182.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.13/182.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.13/182.22	c ===============================================================================
182.13/182.22	c |         0 |    5035    83877    44799 |    27959        0    nan |  0.000 % |
182.13/182.27	c |       102 |    5035    83877    44799 |    30754      102     24 | 93.089 % |
182.23/182.33	c |       252 |    5035    83877    44799 |    33830      252     35 | 93.089 % |
182.33/182.43	c |       477 |    5035    83877    44799 |    37213      477     36 | 93.089 % |
182.44/182.55	c |       814 |    5035    83877    44799 |    40934      814     36 | 93.089 % |
182.63/182.73	c |      1320 |    4984    83877    44799 |    45028     1285     36 | 93.159 % |
182.94/183.09	c |      2081 |    4984    83877    44799 |    49531     2046     38 | 93.159 % |
183.54/183.66	c |      3221 |    4984    83877    44799 |    54484     3186     39 | 93.159 % |
184.33/184.49	c |      4931 |    4984    83877    44799 |    59932     4896     43 | 93.159 % |
185.93/186.01	c |      7493 |    4984    83877    44799 |    65925     7458     47 | 93.159 % |
188.64/188.73	c |     11337 |    4984    83877    44799 |    72518    11302     48 | 93.159 % |
193.03/193.16	c |     17105 |    4984    83877    44799 |    79770    17070     51 | 93.159 % |
199.83/199.93	c ===============================================================================
199.93/200.05	c core #3
199.93/200.05	c 
199.93/200.05	c 
199.93/200.05	c Core size: 552	Core Weight: 1	Total Weight: 104
199.93/200.05	c
199.93/200.05	c
199.93/200.05	c ============================[ Search Statistics ]==============================
199.93/200.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.93/200.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.93/200.05	c ===============================================================================
199.93/200.05	c |         0 |    5283    83891    45637 |    27963        0    nan |  0.000 % |
199.93/200.09	c |       100 |    5283    83891    45637 |    30760      100     31 | 92.749 % |
200.04/200.16	c |       251 |    5283    83891    45637 |    33836      251     36 | 92.749 % |
200.14/200.25	c |       476 |    5283    83891    45637 |    37219      476     34 | 92.749 % |
200.23/200.38	c |       814 |    5283    83891    45637 |    40941      814     37 | 92.749 % |
200.53/200.61	c |      1321 |    5283    83891    45637 |    45035     1321     37 | 92.749 % |
200.83/200.91	c |      2081 |    5283    83891    45637 |    49539     2081     39 | 92.749 % |
201.33/201.42	c |      3223 |    5283    83891    45637 |    54493     3223     41 | 92.749 % |
202.13/202.24	c |      4931 |    5283    83891    45637 |    59942     4931     43 | 92.749 % |
203.33/203.47	c |      7493 |    5283    83891    45637 |    65936     7493     45 | 92.749 % |
205.82/205.95	c |     11338 |    5283    83891    45637 |    72530    11338     46 | 92.749 % |
209.63/209.75	c |     17104 |    5283    83891    45637 |    79783    17104     49 | 92.749 % |
217.32/217.42	c |     25754 |    5283    83891    45637 |    87761    25754     52 | 92.749 % |
231.22/231.31	c |     38728 |    5283    83891    45637 |    96538    38728     54 | 92.749 % |
262.02/262.10	c |     58190 |    5283    83891    45637 |   106191    58190     56 | 92.749 % |
322.70/322.85	c |     87383 |    5283    83891    45637 |   116811    87383     61 | 92.749 % |
439.27/439.41	c |    131174 |    5283    83891    45637 |   128492   131174     64 | 92.749 % |
712.70/712.98	c |    196862 |    5283    83891    45637 |   141341   196862     66 | 92.749 % |
863.07/863.38	c ===============================================================================
863.37/863.69	c core #4
863.37/863.69	c 
863.37/863.69	c 
863.37/863.69	c Core size: 457	Core Weight: 1	Total Weight: 105
863.37/863.69	c
863.37/863.69	c
863.37/863.69	c ============================[ Search Statistics ]==============================
863.37/863.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
863.37/863.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
863.37/863.69	c ===============================================================================
863.37/863.69	c |         0 |    5530    83920    45773 |    27973        0    nan |  0.000 % |
863.47/863.74	c |       100 |    5530    83920    45773 |    30770      100     23 | 92.411 % |
863.57/863.80	c |       251 |    5530    83920    45773 |    33847      251     29 | 92.411 % |
863.57/863.89	c |       476 |    5530    83920    45773 |    37232      476     29 | 92.411 % |
863.77/864.03	c |       814 |    5530    83920    45773 |    40955      814     34 | 92.411 % |
863.96/864.23	c |      1322 |    5530    83920    45773 |    45051     1322     38 | 92.411 % |
864.27/864.54	c |      2082 |    5530    83920    45773 |    49556     2082     41 | 92.411 % |
864.77/865.04	c |      3223 |    5530    83920    45773 |    54512     3223     44 | 92.411 % |
865.56/865.84	c |      4932 |    5530    83920    45773 |    59963     4932     44 | 92.411 % |
866.76/867.08	c |      7495 |    5530    83920    45773 |    65959     7495     45 | 92.411 % |
869.36/869.62	c |     11341 |    5530    83920    45773 |    72555    11341     49 | 92.411 % |
873.56/873.82	c |     17107 |    5530    83920    45773 |    79811    17107     49 | 92.411 % |
880.66/880.98	c |     25756 |    5530    83920    45773 |    87792    25756     52 | 92.411 % |
895.95/896.23	c |     38730 |    5530    83920    45773 |    96571    38730     51 | 92.411 % |
922.35/922.64	c |     58191 |    5530    83920    45773 |   106228    58191     51 | 92.411 % |
974.34/974.64	c |     87384 |    5530    83920    45773 |   116851    87384     55 | 92.411 % |
1086.41/1086.72	c |    131173 |    5530    83920    45773 |   128536   131173     58 | 92.411 % |
1300.86/1301.27	c |    196858 |    5530    83920    45773 |   141390   196858     62 | 92.411 % |
1516.00/1516.40	c |    295384 |    5530    83920    45773 |   155529   106165     63 | 92.411 % |

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

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


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 19308
/proc/meminfo: memFree=1817456/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=10564 CPUtime=0
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 13050412 10817536 262 1992294400 134512640 135752675 4291183536 18446744073709551615 134559966 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 2641 262 139 303 0 407 0

[startup+0.0963091 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 19308
/proc/meminfo: memFree=1817456/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=15348 CPUtime=0.08
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 1490 0 0 0 8 0 0 0 20 0 1 0 13050412 15716352 1408 1992294400 134512640 135752675 4291183536 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 3837 1408 267 303 0 1603 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15348

[startup+0.101308 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 19308
/proc/meminfo: memFree=1817456/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=15348 CPUtime=0.09
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 1543 0 0 0 9 0 0 0 20 0 1 0 13050412 15716352 1461 1992294400 134512640 135752675 4291183536 18446744073709551615 134564723 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 3837 1462 274 303 0 1603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15348

[startup+0.301328 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 19308
/proc/meminfo: memFree=1817456/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=19752 CPUtime=0.29
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 2900 0 0 0 28 1 0 0 20 0 1 0 13050412 20226048 2785 1992294400 134512640 135752675 4291183536 18446744073709551615 135010143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 4938 2786 573 303 0 2704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19752

[startup+0.700368 s]
/proc/loadavg: 0.93 0.98 0.99 3/106 19308
/proc/meminfo: memFree=1817456/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=24952 CPUtime=0.69
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 4716 0 0 0 68 1 0 0 21 0 1 0 13050412 25550848 4561 1992294400 134512640 135752675 4291183536 18446744073709551615 134564832 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 6238 4561 1177 303 0 4004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24952

[startup+1.50045 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 19309
/proc/meminfo: memFree=1798600/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=42228 CPUtime=1.49
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 11689 0 0 0 145 4 0 0 23 0 1 0 13050412 43241472 9267 1992294400 134512640 135752675 4291183536 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 10557 9269 142 303 0 10252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42228

[startup+3.10061 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 19309
/proc/meminfo: memFree=1767600/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=55780 CPUtime=3.09
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 15111 0 0 0 304 5 0 0 25 0 1 0 13050412 57118720 12689 1992294400 134512640 135752675 4291183536 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 13945 12690 142 303 0 13640 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55780

[startup+6.30092 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 19309
/proc/meminfo: memFree=1760904/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=63436 CPUtime=6.29
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 17015 0 0 0 623 6 0 0 25 0 1 0 13050412 64958464 14593 1992294400 134512640 135752675 4291183536 18446744073709551615 135204672 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 15859 14593 142 303 0 15554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63436

[startup+12.7006 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 19309
/proc/meminfo: memFree=1748504/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=75580 CPUtime=12.69
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 20049 0 0 0 1262 7 0 0 25 0 1 0 13050412 77393920 17627 1992294400 134512640 135752675 4291183536 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 18895 17627 142 303 0 18590 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75580

[startup+25.5018 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 19309
/proc/meminfo: memFree=1730276/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=92080 CPUtime=25.49
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 24191 0 0 0 2541 8 0 0 25 0 1 0 13050412 94289920 21769 1992294400 134512640 135752675 4291183536 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 23020 21769 142 303 0 22715 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92080

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19310
/proc/meminfo: memFree=1707212/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=117028 CPUtime=51.07
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 30441 0 0 0 5095 12 0 0 25 0 1 0 13050412 119836672 28019 1992294400 134512640 135752675 4291183536 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 29257 28019 142 303 0 28952 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 117028

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19311
/proc/meminfo: memFree=1681296/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=140084 CPUtime=102.26
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 37636 0 0 0 10204 22 0 0 25 0 1 0 13050412 143446016 33901 1992294400 134512640 135752675 4291183536 18446744073709551615 134599059 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 35021 33901 145 303 0 34716 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 140084

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19313
/proc/meminfo: memFree=1681048/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=140084 CPUtime=162.24
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 37636 0 0 0 16185 39 0 0 25 0 1 0 13050412 143446016 33901 1992294400 134512640 135752675 4291183536 18446744073709551615 134605355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 35021 33901 145 303 0 34716 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 140084

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19315
/proc/meminfo: memFree=1690844/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=127748 CPUtime=222.23
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38064 0 0 0 22162 61 0 0 25 0 1 0 13050412 130813952 31449 1992294400 134512640 135752675 4291183536 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 31937 31449 146 303 0 31632 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 127748

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19316
/proc/meminfo: memFree=1690720/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=127748 CPUtime=282.21
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38064 0 0 0 28146 75 0 0 25 0 1 0 13050412 130813952 31449 1992294400 134512640 135752675 4291183536 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 31937 31449 146 303 0 31632 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 127748

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19318
/proc/meminfo: memFree=1690720/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=127748 CPUtime=342.2
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38064 0 0 0 34132 88 0 0 25 0 1 0 13050412 130813952 31449 1992294400 134512640 135752675 4291183536 18446744073709551615 134607038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 31937 31449 146 303 0 31632 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 127748

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19319
/proc/meminfo: memFree=1690720/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=127748 CPUtime=402.18
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38064 0 0 0 40119 99 0 0 25 0 1 0 13050412 130813952 31449 1992294400 134512640 135752675 4291183536 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 31937 31449 146 303 0 31632 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 127748

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19321
/proc/meminfo: memFree=1690596/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=127748 CPUtime=462.17
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38076 0 0 0 46109 108 0 0 25 0 1 0 13050412 130813952 31461 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 31937 31461 146 303 0 31632 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 127748

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19323
/proc/meminfo: memFree=1690472/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=127748 CPUtime=522.15
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38076 0 0 0 52099 116 0 0 25 0 1 0 13050412 130813952 31461 1992294400 134512640 135752675 4291183536 18446744073709551615 134607021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 31937 31461 146 303 0 31632 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 127748

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19324
/proc/meminfo: memFree=1690472/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=127748 CPUtime=582.13
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38076 0 0 0 58088 125 0 0 25 0 1 0 13050412 130813952 31461 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 31937 31461 146 303 0 31632 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 127748

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19326
/proc/meminfo: memFree=1690472/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=127748 CPUtime=642.13
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38076 0 0 0 64079 134 0 0 25 0 1 0 13050412 130813952 31461 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 31937 31461 146 303 0 31632 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 127748

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 19332
/proc/meminfo: memFree=1689108/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=130180 CPUtime=882.06
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38503 0 0 0 88032 174 0 0 25 0 1 0 13050412 133304320 31888 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 32545 31888 146 303 0 32240 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 130180

[startup+942.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 19334
/proc/meminfo: memFree=1689108/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=130180 CPUtime=942.04
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 38503 0 0 0 94013 191 0 0 25 0 1 0 13050412 133304320 31888 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 32545 31888 146 303 0 32240 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 130180

[startup+1002.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 19335
/proc/meminfo: memFree=1682908/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=136540 CPUtime=1002.03
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 40054 0 0 0 99997 206 0 0 25 0 1 0 13050412 139816960 33439 1992294400 134512640 135752675 4291183536 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 34135 33439 146 303 0 33830 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 136540

[startup+1062.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 19337
/proc/meminfo: memFree=1675840/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=143436 CPUtime=1062.01
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 41797 0 0 0 105984 217 0 0 25 0 1 0 13050412 146878464 35182 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 35859 35182 146 303 0 35554 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 143436

[startup+1122.3 s]
/proc/loadavg: 1.16 1.08 1.01 2/107 19339
/proc/meminfo: memFree=1669020/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=150440 CPUtime=1121.99
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 43492 0 0 0 111968 231 0 0 25 0 1 0 13050412 154050560 36877 1992294400 134512640 135752675 4291183536 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 37610 36877 146 303 0 37305 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 150440

[startup+1182.3 s]
/proc/loadavg: 1.09 1.08 1.01 2/107 19340
/proc/meminfo: memFree=1661952/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=157316 CPUtime=1181.98
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 45238 0 0 0 117952 246 0 0 25 0 1 0 13050412 161091584 38623 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 39329 38623 146 303 0 39024 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 157316

[startup+1242.3 s]
/proc/loadavg: 1.03 1.06 1.01 2/107 19342
/proc/meminfo: memFree=1656868/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=162344 CPUtime=1241.97
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 46497 0 0 0 123939 258 0 0 25 0 1 0 13050412 166240256 39882 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 40586 39882 146 303 0 40281 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 162344

[startup+1302.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 19343
/proc/meminfo: memFree=1651784/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=167240 CPUtime=1301.96
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 47724 0 0 0 129927 269 0 0 25 0 1 0 13050412 171253760 41109 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 41810 41109 146 303 0 41505 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 167240

[startup+1362.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 19345
/proc/meminfo: memFree=1647692/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=171896 CPUtime=1361.94
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 48795 0 0 0 135915 279 0 0 25 0 1 0 13050412 176021504 42180 1992294400 134512640 135752675 4291183536 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 42974 42180 146 303 0 42669 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 171896

[startup+1422.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 19347
/proc/meminfo: memFree=1636160/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=183248 CPUtime=1421.93
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 51634 0 0 0 141893 300 0 0 25 0 1 0 13050412 187645952 45019 1992294400 134512640 135752675 4291183536 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 45812 45019 146 303 0 45507 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 183248

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 19348
/proc/meminfo: memFree=1626984/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=192376 CPUtime=1481.9
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 53916 0 0 0 147875 315 0 0 25 0 1 0 13050412 196993024 47301 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 48094 47301 146 303 0 47789 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 192376

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 19350
/proc/meminfo: memFree=1619916/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=199332 CPUtime=1541.89
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 55658 0 0 0 153862 327 0 0 25 0 1 0 13050412 204115968 49043 1992294400 134512640 135752675 4291183536 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 49833 49043 146 303 0 49528 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 199332

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 19351
/proc/meminfo: memFree=1613344/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=205940 CPUtime=1601.87
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 57324 0 0 0 159847 340 0 0 25 0 1 0 13050412 210882560 50709 1992294400 134512640 135752675 4291183536 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 51485 50709 146 303 0 51180 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 205940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19353
/proc/meminfo: memFree=1607020/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=212296 CPUtime=1661.86
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 58887 0 0 0 165835 351 0 0 25 0 1 0 13050412 217391104 52272 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 53074 52272 146 303 0 52769 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 212296

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19364
/proc/meminfo: memFree=1600944/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=218008 CPUtime=1721.84
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 60318 0 0 0 171822 362 0 0 25 0 1 0 13050412 223240192 53703 1992294400 134512640 135752675 4291183536 18446744073709551615 134638986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 54502 53703 146 303 0 54197 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 218008

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19365
/proc/meminfo: memFree=1595736/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=223216 CPUtime=1781.82
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 61629 0 0 0 177811 371 0 0 25 0 1 0 13050412 228573184 55014 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 55804 55014 146 303 0 55499 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 223216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19366
/proc/meminfo: memFree=1594248/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=224644 CPUtime=1800.02
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 61983 0 0 0 179628 374 0 0 25 0 1 0 13050412 230035456 55368 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 56161 55368 146 303 0 55856 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 224644

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19366
/proc/meminfo: memFree=1594248/2059040 swapFree=4192956/4192956
[pid=19308] ppid=19306 vsize=224644 CPUtime=1800.02
/proc/19308/stat : 19308 (wbo1.4b) R 19306 19308 19204 0 -1 4202496 61983 0 0 0 179628 374 0 0 25 0 1 0 13050412 230035456 55368 1992294400 134512640 135752675 4291183536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19308/statm: 56161 55368 146 303 0 55856 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 224644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.06
CPU user time (s): 1796.29
CPU system time (s): 3.77143
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 224644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.29
system time used= 3.77143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61983
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= 48
involuntary context switches= 24675

runsolver used 3.2755 second user time and 8.23075 second system time

The end

Launcher Data 

Begin job on node012 at 2010-07-06 22:32:54
IDJOB=2687124
IDBENCH=77428
IDSOLVER=1190
FILE ID=node012/2687124-1278448373
PBS_JOBID= 11233503
Free space on /tmp= 62476 MiB

SOLVER NAME= wbo 1.4b (fixed)
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
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687124-1278448373/watcher-2687124-1278448373 -o /tmp/evaluation-result-2687124-1278448373/solver-2687124-1278448373 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687124-1278448373.opb

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

MD5SUM BENCH= 58f861b2885c3bb19bb4f63a6571dc89
RANDOM SEED=356570691

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1817984 kB
Buffers:          5944 kB
Cached:         101844 kB
SwapCached:          0 kB
Active:          34944 kB
Inactive:       134012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1817984 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10448 kB
Writeback:           0 kB
AnonPages:       61060 kB
Mapped:          14416 kB
Slab:            50232 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181564 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62472 MiB
End job on node012 at 2010-07-06 23:02:56