Trace number 2687345

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9013_9.std.opb
MD5SUMb0c7829ae2c1e7f3e474b84d63238c03
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark132
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176329
Number of constraints which are clauses175129
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 constraint90
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-2687345-1278452060.opb.
0.00/0.00	c Instance file HOME/instance-2687345-1278452060.opb
0.00/0.00	c File size is 6018879 bytes.
1.20/1.24	c Highest Coefficient sum: 576
1.20/1.24	c ============================[ Problem Statistics ]=============================
1.20/1.24	c |                                                                             |
1.20/1.24	c |  Parsing time:          1.21         s                                      |
1.20/1.24	c |  Number Variables:      54782                                               |
1.20/1.24	c |  Number Clauses:        175129                                              |
1.20/1.24	c |  Number Cardinality:    0                                                   |
1.20/1.24	c |  Number PB Constraints: 1200                                                |
96.87/96.95	c ============================[ Search Statistics ]==============================
96.87/96.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.87/96.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.87/96.95	c ===============================================================================
96.87/96.95	c |         0 |   43052   177201   422074 |    58776        0    nan |  0.000 % |
96.97/97.00	c ===============================================================================
96.97/97.00	c New solution: 300
96.97/97.00	o 300
96.97/97.00	c Elapsed CPU time: 96.8263 s	Remaining CPU time: 83.1737 s
96.97/97.00	c ===============================================================================
96.97/97.00	c |         1 |   43052   177202   422374 |    59067        1      4 |  0.000 % |
96.97/97.06	c |       101 |   43044   177202   422374 |    64974      101     27 | 21.578 % |
97.06/97.13	c ===============================================================================
97.06/97.13	c New solution: 299
97.06/97.13	o 299
97.06/97.13	c Elapsed CPU time: 96.9533 s	Remaining CPU time: 83.0467 s
97.06/97.13	c ===============================================================================
97.06/97.13	c |       118 |   42961   177203   422674 |    59067      118     26 | 21.578 % |
97.06/97.18	c ===============================================================================
97.06/97.18	c New solution: 298
97.06/97.18	o 298
97.06/97.18	c Elapsed CPU time: 96.9963 s	Remaining CPU time: 83.0037 s
97.06/97.18	c ===============================================================================
97.06/97.18	c |       129 |   42858   177204   422974 |    59068      129     25 | 21.578 % |
97.16/97.22	c ===============================================================================
97.16/97.22	c New solution: 297
97.16/97.22	o 297
97.16/97.22	c Elapsed CPU time: 97.0412 s	Remaining CPU time: 82.9588 s
97.16/97.22	c ===============================================================================
97.16/97.22	c |       136 |   42743   177205   423274 |    59068      136     24 | 21.578 % |
97.16/97.27	c ===============================================================================
97.16/97.27	c New solution: 296
97.16/97.27	o 296
97.16/97.27	c Elapsed CPU time: 97.0882 s	Remaining CPU time: 82.9118 s
97.16/97.27	c ===============================================================================
97.16/97.27	c |       169 |   42617   177206   423574 |    59068      169     25 | 21.578 % |
97.27/97.33	c |       270 |   42606   177206   423574 |    64975      270     27 | 22.453 % |
97.27/97.38	c ===============================================================================
97.27/97.38	c New solution: 295
97.27/97.38	o 295
97.27/97.38	c Elapsed CPU time: 97.1942 s	Remaining CPU time: 82.8058 s
97.27/97.38	c ===============================================================================
97.27/97.38	c |       290 |   42482   177207   423874 |    59069      274     27 | 22.453 % |
97.37/97.42	c ===============================================================================
97.37/97.42	c New solution: 294
97.37/97.42	o 294
97.37/97.42	c Elapsed CPU time: 97.2402 s	Remaining CPU time: 82.7598 s
97.37/97.42	c ===============================================================================
97.37/97.42	c |       302 |   42334   177208   424174 |    59069      286     26 | 22.453 % |
97.37/97.48	c |       404 |   42328   177208   424174 |    64976      388     30 | 23.006 % |
97.47/97.53	c ===============================================================================
97.47/97.53	c New solution: 293
97.47/97.53	o 293
97.47/97.53	c Elapsed CPU time: 97.3512 s	Remaining CPU time: 82.6488 s
97.47/97.53	c ===============================================================================
97.47/97.53	c |       423 |   42179   177209   424474 |    59069      407     30 | 23.006 % |
97.47/97.59	c ===============================================================================
97.47/97.59	c New solution: 292
97.47/97.59	o 292
97.47/97.59	c Elapsed CPU time: 97.4052 s	Remaining CPU time: 82.5948 s
97.47/97.59	c ===============================================================================
97.47/97.59	c |       457 |   42015   177210   424774 |    59070      441     30 | 23.006 % |
97.57/97.64	c |       558 |   42002   177210   424774 |    64977      542     30 | 23.617 % |
97.57/97.69	c |       708 |   41844   177210   424774 |    71474      628     27 | 23.617 % |
97.66/97.73	c ===============================================================================
97.66/97.73	c New solution: 291
97.66/97.73	o 291
97.66/97.73	c Elapsed CPU time: 97.5422 s	Remaining CPU time: 82.4578 s
97.66/97.73	c ===============================================================================
97.66/97.73	c |       711 |   41844   177211   425074 |    59070      631     27 | 23.617 % |
97.66/97.78	c ===============================================================================
97.66/97.78	c New solution: 290
97.66/97.78	o 290
97.66/97.78	c Elapsed CPU time: 97.5922 s	Remaining CPU time: 82.4078 s
97.66/97.78	c ===============================================================================
97.66/97.78	c |       715 |   41668   177212   425374 |    59070      635     27 | 23.617 % |
97.77/97.82	c ===============================================================================
97.77/97.82	c New solution: 289
97.77/97.82	o 289
97.77/97.82	c Elapsed CPU time: 97.6352 s	Remaining CPU time: 82.3648 s
97.77/97.82	c ===============================================================================
97.77/97.82	c |       727 |   41486   177213   425674 |    59071      647     27 | 23.617 % |
97.77/97.87	c ===============================================================================
97.77/97.87	c New solution: 288
97.77/97.87	o 288
97.77/97.87	c Elapsed CPU time: 97.6831 s	Remaining CPU time: 82.3169 s
97.77/97.87	c ===============================================================================
97.77/97.87	c |       744 |   41304   177214   425974 |    59071      664     27 | 23.617 % |
97.87/97.93	c |       844 |   41275   177214   425974 |    64978      764     27 | 24.935 % |
97.87/97.99	c ===============================================================================
97.87/97.99	c New solution: 287
97.87/97.99	o 287
97.87/97.99	c Elapsed CPU time: 97.7991 s	Remaining CPU time: 82.2009 s
97.87/97.99	c ===============================================================================
97.87/97.99	c |       870 |   41122   177215   426274 |    59071      790     27 | 24.935 % |
97.96/98.03	c ===============================================================================
97.96/98.03	c New solution: 286
97.96/98.03	o 286
97.96/98.03	c Elapsed CPU time: 97.8441 s	Remaining CPU time: 82.1559 s
97.96/98.03	c ===============================================================================
97.96/98.03	c |       873 |   40940   177216   426574 |    59072      590     26 | 24.935 % |
97.96/98.08	c ===============================================================================
97.96/98.08	c New solution: 285
97.96/98.08	o 285
97.96/98.08	c Elapsed CPU time: 97.8941 s	Remaining CPU time: 82.1059 s
97.96/98.08	c ===============================================================================
97.96/98.08	c |       897 |   40758   177217   426874 |    59072      614     26 | 24.935 % |
98.06/98.16	c ===============================================================================
98.06/98.16	c New solution: 284
98.06/98.16	o 284
98.06/98.16	c Elapsed CPU time: 97.9671 s	Remaining CPU time: 82.0329 s
98.06/98.16	c ===============================================================================
98.06/98.16	c |       983 |   40576   177218   427174 |    59072      700     29 | 24.935 % |
98.16/98.20	c ===============================================================================
98.16/98.20	c New solution: 283
98.16/98.20	o 283
98.16/98.20	c Elapsed CPU time: 98.0091 s	Remaining CPU time: 81.9909 s
98.16/98.20	c ===============================================================================
98.16/98.20	c |       992 |   40394   177219   427474 |    59073      709     29 | 24.935 % |
98.16/98.24	c ===============================================================================
98.16/98.24	c New solution: 282
98.16/98.24	o 282
98.16/98.24	c Elapsed CPU time: 98.0541 s	Remaining CPU time: 81.9459 s
98.16/98.24	c ===============================================================================
98.16/98.24	c |      1004 |   40212   177220   427774 |    59073      721     29 | 24.935 % |
98.16/98.29	c ===============================================================================
98.16/98.29	c New solution: 281
98.16/98.29	o 281
98.16/98.29	c Elapsed CPU time: 98.0971 s	Remaining CPU time: 81.9029 s
98.16/98.29	c ===============================================================================
98.16/98.29	c |      1016 |   40030   177221   428074 |    59073      733     29 | 24.935 % |
98.26/98.33	c ===============================================================================
98.26/98.33	c New solution: 280
98.26/98.33	o 280
98.26/98.33	c Elapsed CPU time: 98.1441 s	Remaining CPU time: 81.8559 s
98.26/98.33	c ===============================================================================
98.26/98.33	c |      1029 |   39848   177222   428374 |    59074      746     29 | 24.935 % |
98.26/98.38	c ===============================================================================
98.26/98.38	c New solution: 279
98.26/98.38	o 279
98.26/98.38	c Elapsed CPU time: 98.1851 s	Remaining CPU time: 81.8149 s
98.26/98.38	c ===============================================================================
98.26/98.38	c |      1036 |   39666   177223   428674 |    59074      753     28 | 24.935 % |
98.36/98.42	c ===============================================================================
98.36/98.42	c New solution: 278
98.36/98.42	o 278
98.36/98.42	c Elapsed CPU time: 98.2281 s	Remaining CPU time: 81.7719 s
98.36/98.42	c ===============================================================================
98.36/98.42	c |      1040 |   39484   177224   428974 |    59074      481     24 | 24.935 % |
98.36/98.46	c ===============================================================================
98.36/98.46	c New solution: 277
98.36/98.46	o 277
98.36/98.46	c Elapsed CPU time: 98.2691 s	Remaining CPU time: 81.7309 s
98.36/98.46	c ===============================================================================
98.36/98.46	c |      1045 |   39302   177225   429274 |    59075      486     24 | 24.935 % |
98.46/98.51	c ===============================================================================
98.46/98.51	c New solution: 276
98.46/98.51	o 276
98.46/98.51	c Elapsed CPU time: 98.3221 s	Remaining CPU time: 81.6779 s
98.46/98.51	c ===============================================================================
98.46/98.51	c |      1082 |   39120   177226   429574 |    59075      523     24 | 24.935 % |
98.46/98.56	c |      1182 |   39103   177226   429574 |    64982      623     25 | 28.922 % |
98.57/98.63	c |      1332 |   39100   177226   429574 |    71481      773     26 | 28.922 % |
98.57/98.68	c ===============================================================================
98.57/98.68	c New solution: 275
98.57/98.68	o 275
98.57/98.68	c Elapsed CPU time: 98.486 s	Remaining CPU time: 81.514 s
98.57/98.68	c ===============================================================================
98.57/98.68	c |      1355 |   38938   177227   429874 |    59075      796     26 | 28.922 % |
98.67/98.76	c ===============================================================================
98.67/98.76	c New solution: 274
98.67/98.76	o 274
98.67/98.76	c Elapsed CPU time: 98.558 s	Remaining CPU time: 81.442 s
98.67/98.76	c ===============================================================================
98.67/98.76	c |      1441 |   38756   177228   430174 |    59076      882     27 | 28.922 % |
98.76/98.82	c |      1541 |   38574   177228   430174 |    64983      773     26 | 29.586 % |
98.76/98.87	c ===============================================================================
98.76/98.87	c New solution: 273
98.76/98.87	o 273
98.76/98.87	c Elapsed CPU time: 98.674 s	Remaining CPU time: 81.326 s
98.76/98.87	c ===============================================================================
98.76/98.87	c |      1559 |   38574   177229   430474 |    59076      791     26 | 29.586 % |
98.87/98.93	c ===============================================================================
98.87/98.93	c New solution: 272
98.87/98.93	o 272
98.87/98.93	c Elapsed CPU time: 98.728 s	Remaining CPU time: 81.272 s
98.87/98.93	c ===============================================================================
98.87/98.93	c |      1569 |   38392   177230   430774 |    59076      801     26 | 29.586 % |
98.87/98.98	c ===============================================================================
98.87/98.98	c New solution: 271
98.87/98.98	o 271
98.87/98.98	c Elapsed CPU time: 98.784 s	Remaining CPU time: 81.216 s
98.87/98.98	c ===============================================================================
98.87/98.98	c |      1598 |   38210   177231   431074 |    59077      830     26 | 29.586 % |
98.97/99.03	c ===============================================================================
98.97/99.03	c New solution: 270
98.97/99.03	o 270
98.97/99.03	c Elapsed CPU time: 98.831 s	Remaining CPU time: 81.169 s
98.97/99.03	c ===============================================================================
98.97/99.03	c |      1600 |   38028   177232   431374 |    59077      832     26 | 29.586 % |
98.97/99.08	c ===============================================================================
98.97/99.08	c New solution: 269
98.97/99.08	o 269
98.97/99.08	c Elapsed CPU time: 98.882 s	Remaining CPU time: 81.118 s
98.97/99.08	c ===============================================================================
98.97/99.08	c |      1615 |   37846   177233   431674 |    59077      847     26 | 29.586 % |
99.06/99.15	c |      1716 |   37840   177233   431674 |    64985      948     28 | 31.247 % |
99.17/99.20	c ===============================================================================
99.17/99.20	c New solution: 268
99.17/99.20	o 268
99.17/99.20	c Elapsed CPU time: 98.9969 s	Remaining CPU time: 81.0031 s
99.17/99.20	c ===============================================================================
99.17/99.20	c |      1726 |   37664   177234   431974 |    59078      779     27 | 31.247 % |
99.17/99.24	c ===============================================================================
99.17/99.24	c New solution: 267
99.17/99.24	o 267
99.17/99.24	c Elapsed CPU time: 99.0369 s	Remaining CPU time: 80.9631 s
99.17/99.24	c ===============================================================================
99.17/99.24	c |      1731 |   37482   177235   432274 |    59078      784     27 | 31.247 % |
99.17/99.29	c ===============================================================================
99.17/99.29	c New solution: 266
99.17/99.29	o 266
99.17/99.29	c Elapsed CPU time: 99.0859 s	Remaining CPU time: 80.9141 s
99.17/99.29	c ===============================================================================
99.17/99.29	c |      1742 |   37300   177236   432574 |    59078      795     27 | 31.247 % |
99.27/99.34	c ===============================================================================
99.27/99.34	c New solution: 265
99.27/99.34	o 265
99.27/99.34	c Elapsed CPU time: 99.1329 s	Remaining CPU time: 80.8671 s
99.27/99.34	c ===============================================================================
99.27/99.34	c |      1763 |   37118   177237   432874 |    59079      816     27 | 31.247 % |
99.27/99.39	c |      1864 |   37113   177237   432874 |    64986      917     28 | 32.576 % |
99.37/99.43	c ===============================================================================
99.37/99.43	c New solution: 264
99.37/99.43	o 264
99.37/99.43	c Elapsed CPU time: 99.2279 s	Remaining CPU time: 80.7721 s
99.37/99.43	c ===============================================================================
99.37/99.43	c |      1875 |   36936   177238   433174 |    59079      928     27 | 32.576 % |
99.37/99.48	c ===============================================================================
99.37/99.48	c New solution: 263
99.37/99.48	o 263
99.37/99.48	c Elapsed CPU time: 99.2729 s	Remaining CPU time: 80.7271 s
99.37/99.48	c ===============================================================================
99.37/99.48	c |      1879 |   36754   177239   433474 |    59079      932     27 | 32.576 % |
99.47/99.52	c ===============================================================================
99.47/99.52	c New solution: 262
99.47/99.52	o 262
99.47/99.52	c Elapsed CPU time: 99.3139 s	Remaining CPU time: 80.6861 s
99.47/99.52	c ===============================================================================
99.47/99.52	c |      1885 |   36572   177240   433774 |    59080      938     27 | 32.576 % |
99.47/99.56	c ===============================================================================
99.47/99.56	c New solution: 261
99.47/99.56	o 261
99.47/99.56	c Elapsed CPU time: 99.3539 s	Remaining CPU time: 80.6461 s
99.47/99.56	c ===============================================================================
99.47/99.56	c |      1891 |   36390   177241   434074 |    59080      944     27 | 32.576 % |
99.57/99.63	c |      1991 |   36372   177241   434074 |    64988     1044     31 | 33.905 % |
99.67/99.72	c ===============================================================================
99.67/99.72	c New solution: 260
99.67/99.72	o 260
99.67/99.72	c Elapsed CPU time: 99.5099 s	Remaining CPU time: 80.4901 s
99.67/99.72	c ===============================================================================
99.67/99.72	c |      2058 |   36208   177242   434374 |    59080      755     29 | 33.905 % |
99.67/99.76	c ===============================================================================
99.67/99.76	c New solution: 259
99.67/99.76	o 259
99.67/99.76	c Elapsed CPU time: 99.5529 s	Remaining CPU time: 80.4471 s
99.67/99.76	c ===============================================================================
99.67/99.76	c |      2071 |   36026   177243   434674 |    59081      768     29 | 33.905 % |
99.76/99.80	c ===============================================================================
99.76/99.80	c New solution: 258
99.76/99.80	o 258
99.76/99.80	c Elapsed CPU time: 99.5959 s	Remaining CPU time: 80.4041 s
99.76/99.80	c ===============================================================================
99.76/99.80	c |      2086 |   35844   177244   434974 |    59081      783     29 | 33.905 % |
99.76/99.86	c ===============================================================================
99.76/99.86	c New solution: 257
99.76/99.86	o 257
99.76/99.86	c Elapsed CPU time: 99.6499 s	Remaining CPU time: 80.3501 s
99.76/99.86	c ===============================================================================
99.76/99.86	c |      2109 |   35662   177245   435274 |    59081      806     29 | 33.905 % |
99.86/99.90	c ===============================================================================
99.86/99.90	c New solution: 256
99.86/99.90	o 256
99.86/99.90	c Elapsed CPU time: 99.6928 s	Remaining CPU time: 80.3072 s
99.86/99.90	c ===============================================================================
99.86/99.90	c |      2123 |   35480   177246   435574 |    59082      820     29 | 33.905 % |
99.86/99.95	c |      2223 |   35456   177246   435574 |    64990      920     29 | 35.566 % |
99.97/100.01	c ===============================================================================
99.97/100.01	c New solution: 255
99.97/100.01	o 255
99.97/100.01	c Elapsed CPU time: 99.8028 s	Remaining CPU time: 80.1972 s
99.97/100.01	c ===============================================================================
99.97/100.01	c |      2258 |   35298   177247   435874 |    59082      955     29 | 35.566 % |
99.97/100.06	c ===============================================================================
99.97/100.06	c New solution: 254
99.97/100.06	o 254
99.97/100.06	c Elapsed CPU time: 99.8558 s	Remaining CPU time: 80.1442 s
99.97/100.06	c ===============================================================================
99.97/100.06	c |      2298 |   35116   177248   436174 |    59082      995     29 | 35.566 % |
100.07/100.12	c ===============================================================================
100.07/100.12	c New solution: 253
100.07/100.12	o 253
100.07/100.12	c Elapsed CPU time: 99.9108 s	Remaining CPU time: 80.0892 s
100.07/100.12	c ===============================================================================
100.07/100.12	c |      2330 |   34934   177249   436474 |    59083      723     22 | 35.566 % |
100.07/100.16	c |      2430 |   34927   177249   436474 |    64991      823     23 | 36.563 % |
100.16/100.22	c ===============================================================================
100.16/100.22	c New solution: 252
100.16/100.22	o 252
100.16/100.22	c Elapsed CPU time: 100.008 s	Remaining CPU time: 79.9922 s
100.16/100.22	c ===============================================================================
100.16/100.22	c |      2484 |   34752   177250   436774 |    59083      877     24 | 36.563 % |
100.16/100.27	c |      2584 |   34748   177250   436774 |    64991      977     25 | 36.895 % |
100.26/100.33	c ===============================================================================
100.26/100.33	c New solution: 251
100.26/100.33	o 251
100.26/100.33	c Elapsed CPU time: 100.117 s	Remaining CPU time: 79.8832 s
100.26/100.33	c ===============================================================================
100.26/100.33	c |      2625 |   34570   177251   437074 |    59083     1018     25 | 36.895 % |
100.26/100.37	c ===============================================================================
100.26/100.37	c New solution: 250
100.26/100.37	o 250
100.26/100.37	c Elapsed CPU time: 100.16 s	Remaining CPU time: 79.8402 s
100.26/100.37	c ===============================================================================
100.26/100.37	c |      2636 |   34388   177252   437374 |    59084     1029     25 | 36.895 % |
100.36/100.41	c ===============================================================================
100.36/100.41	c New solution: 249
100.36/100.41	o 249
100.36/100.41	c Elapsed CPU time: 100.201 s	Remaining CPU time: 79.7992 s
100.36/100.41	c ===============================================================================
100.36/100.41	c |      2647 |   34206   177253   437674 |    59084     1040     24 | 36.895 % |
100.36/100.48	c |      2747 |   34190   177253   437674 |    64992     1140     26 | 37.892 % |
100.46/100.52	c ===============================================================================
100.46/100.52	c New solution: 248
100.46/100.52	o 248
100.46/100.52	c Elapsed CPU time: 100.311 s	Remaining CPU time: 79.6893 s
100.46/100.52	c ===============================================================================
100.46/100.52	c |      2755 |   34024   177254   437974 |    59084      976     26 | 37.892 % |
100.46/100.58	c ===============================================================================
100.46/100.58	c New solution: 247
100.46/100.58	o 247
100.46/100.58	c Elapsed CPU time: 100.363 s	Remaining CPU time: 79.6373 s
100.46/100.58	c ===============================================================================
100.46/100.58	c |      2801 |   33842   177255   438274 |    59085     1022     26 | 37.892 % |
100.57/100.63	c |      2901 |   33839   177255   438274 |    64993     1122     26 | 38.556 % |
100.57/100.68	c |      3051 |   33805   177255   438274 |    71492     1272     27 | 38.556 % |
100.66/100.79	c |      3276 |   33802   177255   438274 |    78642     1497     29 | 38.556 % |
100.86/100.95	c |      3614 |   33800   177255   438274 |    86506     1835     29 | 38.556 % |
100.86/100.99	c ===============================================================================
100.86/100.99	c New solution: 246
100.86/100.99	o 246
100.86/100.99	c Elapsed CPU time: 100.774 s	Remaining CPU time: 79.2263 s
100.86/100.99	c ===============================================================================
100.86/100.99	c |      3623 |   33660   177256   438574 |    59085     1704     28 | 38.556 % |
100.96/101.03	c ===============================================================================
100.96/101.03	c New solution: 245
100.96/101.03	o 245
100.96/101.03	c Elapsed CPU time: 100.814 s	Remaining CPU time: 79.1863 s
100.96/101.03	c ===============================================================================
100.96/101.03	c |      3632 |   33478   177257   438874 |    59085     1713     28 | 38.556 % |
100.96/101.08	c ===============================================================================
100.96/101.08	c New solution: 244
100.96/101.08	o 244
100.96/101.08	c Elapsed CPU time: 100.859 s	Remaining CPU time: 79.1413 s
100.96/101.08	c ===============================================================================
100.96/101.08	c |      3651 |   33296   177258   439174 |    59086     1732     28 | 38.556 % |
101.07/101.13	c ===============================================================================
101.07/101.13	c New solution: 243
101.07/101.13	o 243
101.07/101.13	c Elapsed CPU time: 100.916 s	Remaining CPU time: 79.0843 s
101.07/101.13	c ===============================================================================
101.07/101.13	c |      3713 |   33114   177259   439474 |    59086     1794     28 | 38.556 % |
101.07/101.19	c |      3813 |   33107   177259   439474 |    64994     1894     29 | 39.885 % |
101.17/101.23	c ===============================================================================
101.17/101.23	c New solution: 242
101.17/101.23	o 242
101.17/101.23	c Elapsed CPU time: 101.009 s	Remaining CPU time: 78.9914 s
101.17/101.23	c ===============================================================================
101.17/101.23	c |      3817 |   32932   177260   439774 |    59086     1898     29 | 39.885 % |
101.17/101.27	c ===============================================================================
101.17/101.27	c New solution: 241
101.17/101.27	o 241
101.17/101.27	c Elapsed CPU time: 101.048 s	Remaining CPU time: 78.9524 s
101.17/101.27	c ===============================================================================
101.17/101.27	c |      3821 |   32750   177261   440074 |    59087     1902     29 | 39.885 % |
101.26/101.30	c ===============================================================================
101.26/101.30	c New solution: 240
101.26/101.30	o 240
101.26/101.30	c Elapsed CPU time: 101.086 s	Remaining CPU time: 78.9144 s
101.26/101.30	c ===============================================================================
101.26/101.30	c |      3824 |   32568   177262   440374 |    59087     1905     29 | 39.885 % |
101.26/101.34	c ===============================================================================
101.26/101.34	c New solution: 239
101.26/101.34	o 239
101.26/101.34	c Elapsed CPU time: 101.125 s	Remaining CPU time: 78.8754 s
101.26/101.34	c ===============================================================================
101.26/101.34	c |      3833 |   32386   177263   440674 |    59087     1914     29 | 39.885 % |
101.26/101.39	c |      3934 |   32375   177263   440674 |    64996     2015     29 | 41.214 % |
101.36/101.50	c |      4084 |   32372   177263   440674 |    71496     2165     30 | 41.214 % |
101.46/101.54	c ===============================================================================
101.46/101.54	c New solution: 238
101.46/101.54	o 238
101.46/101.54	c Elapsed CPU time: 101.316 s	Remaining CPU time: 78.6844 s
101.46/101.54	c ===============================================================================
101.46/101.54	c |      4095 |   32204   177264   440974 |    59088     1310     26 | 41.214 % |
101.46/101.59	c |      4196 |   32163   177264   440974 |    64996     1411     27 | 41.546 % |
101.57/101.65	c |      4346 |   32163   177264   440974 |    71496     1561     28 | 41.546 % |
101.67/101.70	c ===============================================================================
101.67/101.70	c New solution: 237
101.67/101.70	o 237
101.67/101.70	c Elapsed CPU time: 101.471 s	Remaining CPU time: 78.5294 s
101.67/101.70	c ===============================================================================
101.67/101.70	c |      4367 |   32022   177265   441274 |    59088     1582     28 | 41.546 % |
101.67/101.74	c ===============================================================================
101.67/101.74	c New solution: 236
101.67/101.74	o 236
101.67/101.74	c Elapsed CPU time: 101.515 s	Remaining CPU time: 78.4854 s
101.67/101.74	c ===============================================================================
101.67/101.74	c |      4385 |   31840   177266   441574 |    59088     1600     27 | 41.546 % |
101.76/101.80	c ===============================================================================
101.76/101.80	c New solution: 235
101.76/101.80	o 235
101.76/101.80	c Elapsed CPU time: 101.574 s	Remaining CPU time: 78.4264 s
101.76/101.80	c ===============================================================================
101.76/101.80	c |      4466 |   31658   177267   441874 |    59089     1681     28 | 41.546 % |
101.76/101.87	c |      4566 |   31653   177267   441874 |    64997     1781     29 | 42.543 % |
101.86/101.94	c |      4716 |   31630   177267   441874 |    71497     1931     29 | 42.543 % |
101.96/102.00	c ===============================================================================
101.96/102.00	c New solution: 234
101.96/102.00	o 234
101.96/102.00	c Elapsed CPU time: 101.771 s	Remaining CPU time: 78.2295 s
101.96/102.00	c ===============================================================================
101.96/102.00	c |      4750 |   31476   177268   442174 |    59089     1525     27 | 42.543 % |
101.96/102.04	c ===============================================================================
101.96/102.04	c New solution: 233
101.96/102.04	o 233
101.96/102.04	c Elapsed CPU time: 101.811 s	Remaining CPU time: 78.1895 s
101.96/102.04	c ===============================================================================
101.96/102.04	c |      4765 |   31294   177269   442474 |    59089     1540     27 | 42.543 % |
102.06/102.12	c ===============================================================================
102.06/102.12	c New solution: 232
102.06/102.12	o 232
102.06/102.12	c Elapsed CPU time: 101.888 s	Remaining CPU time: 78.1125 s
102.06/102.12	c ===============================================================================
102.06/102.12	c |      4860 |   31112   177270   442774 |    59090     1635     27 | 42.543 % |
102.06/102.19	c |      4960 |   31103   177270   442774 |    64999     1735     28 | 43.540 % |
102.17/102.23	c ===============================================================================
102.17/102.23	c New solution: 231
102.17/102.23	o 231
102.17/102.23	c Elapsed CPU time: 102 s	Remaining CPU time: 77.9995 s
102.17/102.23	c ===============================================================================
102.17/102.23	c |      4978 |   30930   177271   443074 |    59090     1753     28 | 43.540 % |
102.17/102.28	c ===============================================================================
102.17/102.28	c New solution: 230
102.17/102.28	o 230
102.17/102.28	c Elapsed CPU time: 102.05 s	Remaining CPU time: 77.9495 s
102.17/102.28	c ===============================================================================
102.17/102.28	c |      5006 |   30748   177272   443374 |    59090     1781     28 | 43.540 % |
102.27/102.32	c ===============================================================================
102.27/102.32	c New solution: 229
102.27/102.32	o 229
102.27/102.32	c Elapsed CPU time: 102.09 s	Remaining CPU time: 77.9095 s
102.27/102.32	c ===============================================================================
102.27/102.32	c |      5010 |   30566   177273   443674 |    59091     1785     28 | 43.540 % |
102.27/102.37	c |      5111 |   30541   177273   443674 |    65000     1886     28 | 44.537 % |
102.36/102.45	c |      5261 |   30541   177273   443674 |    71500     2036     29 | 44.537 % |
102.46/102.52	c ===============================================================================
102.46/102.52	c New solution: 228
102.46/102.52	o 228
102.46/102.52	c Elapsed CPU time: 102.283 s	Remaining CPU time: 77.7165 s
102.46/102.52	c ===============================================================================
102.46/102.52	c |      5299 |   30384   177274   443974 |    59091     1528     27 | 44.537 % |
102.46/102.55	c ===============================================================================
102.46/102.55	c New solution: 227
102.46/102.55	o 227
102.46/102.55	c Elapsed CPU time: 102.32 s	Remaining CPU time: 77.6796 s
102.46/102.55	c ===============================================================================
102.46/102.55	c |      5303 |   30202   177275   444274 |    59091     1532     27 | 44.537 % |
102.46/102.59	c ===============================================================================
102.46/102.59	c New solution: 226
102.46/102.59	o 226
102.46/102.59	c Elapsed CPU time: 102.36 s	Remaining CPU time: 77.6396 s
102.46/102.59	c ===============================================================================
102.46/102.59	c |      5312 |   30020   177276   444574 |    59092     1541     27 | 44.537 % |
102.57/102.64	c ===============================================================================
102.57/102.64	c New solution: 225
102.57/102.64	o 225
102.57/102.64	c Elapsed CPU time: 102.41 s	Remaining CPU time: 77.5896 s
102.57/102.64	c ===============================================================================
102.57/102.64	c |      5328 |   29838   177277   444874 |    59092     1557     27 | 44.537 % |
102.67/102.70	c |      5429 |   29828   177277   444874 |    65001     1658     28 | 45.865 % |
102.67/102.75	c ===============================================================================
102.67/102.75	c New solution: 224
102.67/102.75	o 224
102.67/102.75	c Elapsed CPU time: 102.517 s	Remaining CPU time: 77.4826 s
102.67/102.75	c ===============================================================================
102.67/102.75	c |      5480 |   29656   177278   445174 |    59092     1709     28 | 45.865 % |
102.77/102.83	c ===============================================================================
102.77/102.83	c New solution: 223
102.77/102.83	o 223
102.77/102.83	c Elapsed CPU time: 102.596 s	Remaining CPU time: 77.4036 s
102.77/102.83	c ===============================================================================
102.77/102.83	c |      5546 |   29474   177279   445474 |    59093     1775     27 | 45.865 % |
102.77/102.87	c |      5646 |   29429   177279   445474 |    65002     1875     27 | 46.530 % |
102.87/102.97	c |      5797 |   29426   177279   445474 |    71502     2026     29 | 46.530 % |
102.97/103.02	c ===============================================================================
102.97/103.02	c New solution: 222
102.97/103.02	o 222
102.97/103.02	c Elapsed CPU time: 102.783 s	Remaining CPU time: 77.2166 s
102.97/103.02	c ===============================================================================
102.97/103.02	c |      5806 |   29292   177280   445774 |    59093     1552     27 | 46.530 % |
102.97/103.06	c ===============================================================================
102.97/103.06	c New solution: 221
102.97/103.06	o 221
102.97/103.06	c Elapsed CPU time: 102.821 s	Remaining CPU time: 77.1786 s
102.97/103.06	c ===============================================================================
102.97/103.06	c |      5808 |   29110   177281   446074 |    59093     1554     27 | 46.530 % |
103.07/103.10	c ===============================================================================
103.07/103.10	c New solution: 220
103.07/103.10	o 220
103.07/103.10	c Elapsed CPU time: 102.864 s	Remaining CPU time: 77.1356 s
103.07/103.10	c ===============================================================================
103.07/103.10	c |      5820 |   28928   177282   446374 |    59094     1566     27 | 46.530 % |
103.07/103.14	c ===============================================================================
103.07/103.14	c New solution: 219
103.07/103.14	o 219
103.07/103.14	c Elapsed CPU time: 102.901 s	Remaining CPU time: 77.0986 s
103.07/103.14	c ===============================================================================
103.07/103.14	c |      5825 |   28746   177283   446674 |    59094     1571     27 | 46.530 % |
103.07/103.18	c ===============================================================================
103.07/103.18	c New solution: 218
103.07/103.18	o 218
103.07/103.18	c Elapsed CPU time: 102.941 s	Remaining CPU time: 77.0587 s
103.07/103.18	c ===============================================================================
103.07/103.18	c |      5842 |   28564   177284   446974 |    59094     1588     27 | 46.530 % |
103.17/103.23	c |      5942 |   28552   177284   446974 |    65004     1688     28 | 48.191 % |
103.17/103.27	c ===============================================================================
103.17/103.27	c New solution: 217
103.17/103.27	o 217
103.17/103.27	c Elapsed CPU time: 103.037 s	Remaining CPU time: 76.9627 s
103.17/103.27	c ===============================================================================
103.17/103.27	c |      5962 |   28382   177285   447274 |    59095     1708     27 | 48.191 % |
103.27/103.32	c ===============================================================================
103.27/103.32	c New solution: 216
103.27/103.32	o 216
103.27/103.32	c Elapsed CPU time: 103.084 s	Remaining CPU time: 76.9157 s
103.27/103.32	c ===============================================================================
103.27/103.32	c |      5998 |   28200   177286   447574 |    59095     1744     27 | 48.191 % |
103.37/103.41	c ===============================================================================
103.37/103.41	c New solution: 215
103.37/103.41	o 215
103.37/103.41	c Elapsed CPU time: 103.174 s	Remaining CPU time: 76.8257 s
103.37/103.41	c ===============================================================================
103.37/103.41	c |      6079 |   28018   177287   447874 |    59095     1825     28 | 48.191 % |
103.37/103.50	c ===============================================================================
103.37/103.50	c New solution: 214
103.37/103.50	o 214
103.37/103.50	c Elapsed CPU time: 103.258 s	Remaining CPU time: 76.7417 s
103.37/103.50	c ===============================================================================
103.37/103.50	c |      6161 |   27836   177288   448174 |    59096     1907     28 | 48.191 % |
103.46/103.55	c ===============================================================================
103.46/103.55	c New solution: 213
103.46/103.55	o 213
103.46/103.55	c Elapsed CPU time: 103.311 s	Remaining CPU time: 76.6887 s
103.46/103.55	c ===============================================================================
103.46/103.55	c |      6178 |   27654   177289   448474 |    59096     1259     23 | 48.191 % |
103.56/103.61	c |      6278 |   27646   177289   448474 |    65005     1359     24 | 49.852 % |
103.56/103.64	c ===============================================================================
103.56/103.64	c New solution: 212
103.56/103.64	o 212
103.56/103.64	c Elapsed CPU time: 103.406 s	Remaining CPU time: 76.5937 s
103.56/103.64	c ===============================================================================
103.56/103.64	c |      6284 |   27472   177290   448774 |    59096     1365     24 | 49.852 % |
103.56/103.68	c ===============================================================================
103.56/103.68	c New solution: 211
103.56/103.68	o 211
103.56/103.68	c Elapsed CPU time: 103.445 s	Remaining CPU time: 76.5547 s
103.56/103.68	c ===============================================================================
103.56/103.68	c |      6297 |   27290   177291   449074 |    59097     1378     24 | 49.852 % |
103.66/103.74	c |      6399 |   27224   177291   449074 |    65006     1480     25 | 50.517 % |
103.76/103.82	c ===============================================================================
103.76/103.82	c New solution: 210
103.76/103.82	o 210
103.76/103.82	c Elapsed CPU time: 103.58 s	Remaining CPU time: 76.4197 s
103.76/103.82	c ===============================================================================
103.76/103.82	c |      6480 |   27108   177292   449374 |    59097     1561     25 | 50.517 % |
103.76/103.86	c |      6581 |   27106   177292   449374 |    65007     1662     24 | 50.849 % |
103.86/103.92	c ===============================================================================
103.86/103.92	c New solution: 209
103.86/103.92	o 209
103.86/103.92	c Elapsed CPU time: 103.675 s	Remaining CPU time: 76.3248 s
103.86/103.92	c ===============================================================================
103.86/103.92	c |      6629 |   26926   177293   449674 |    59097     1710     24 | 50.849 % |
103.86/103.96	c |      6731 |   26744   177293   449674 |    65007     1410     23 | 51.181 % |
103.97/104.02	c ===============================================================================
103.97/104.02	c New solution: 208
103.97/104.02	o 208
103.97/104.02	c Elapsed CPU time: 103.771 s	Remaining CPU time: 76.2288 s
103.97/104.02	c ===============================================================================
103.97/104.02	c |      6771 |   26744   177294   449974 |    59098     1450     23 | 51.181 % |
103.97/104.08	c |      6871 |   26736   177294   449974 |    65007     1550     25 | 51.513 % |
104.07/104.14	c ===============================================================================
104.07/104.14	c New solution: 207
104.07/104.14	o 207
104.07/104.14	c Elapsed CPU time: 103.892 s	Remaining CPU time: 76.1078 s
104.07/104.14	c ===============================================================================
104.07/104.14	c |      6914 |   26562   177295   450274 |    59098     1593     25 | 51.513 % |
104.07/104.18	c ===============================================================================
104.07/104.18	c New solution: 206
104.07/104.18	o 206
104.07/104.18	c Elapsed CPU time: 103.932 s	Remaining CPU time: 76.0678 s
104.07/104.18	c ===============================================================================
104.07/104.18	c |      6927 |   26380   177296   450574 |    59098     1606     25 | 51.513 % |
104.17/104.22	c ===============================================================================
104.17/104.22	c New solution: 205
104.17/104.22	o 205
104.17/104.22	c Elapsed CPU time: 103.974 s	Remaining CPU time: 76.0258 s
104.17/104.22	c ===============================================================================
104.17/104.22	c |      6943 |   26198   177297   450874 |    59099     1622     25 | 51.513 % |
104.17/104.28	c ===============================================================================
104.17/104.28	c New solution: 204
104.17/104.28	o 204
104.17/104.28	c Elapsed CPU time: 104.039 s	Remaining CPU time: 75.9608 s
104.17/104.28	c ===============================================================================
104.17/104.28	c |      6982 |   26016   177298   451174 |    59099     1661     25 | 51.513 % |
104.27/104.35	c ===============================================================================
104.27/104.35	c New solution: 203
104.27/104.35	o 203
104.27/104.35	c Elapsed CPU time: 104.1 s	Remaining CPU time: 75.8998 s
104.27/104.35	c ===============================================================================
104.27/104.35	c |      7024 |   25834   177299   451474 |    59099     1703     26 | 51.513 % |
104.37/104.42	c ===============================================================================
104.37/104.42	c New solution: 202
104.37/104.42	o 202
104.37/104.42	c Elapsed CPU time: 104.179 s	Remaining CPU time: 75.8208 s
104.37/104.42	c ===============================================================================
104.37/104.42	c |      7089 |   25652   177300   451774 |    59100     1768     26 | 51.513 % |
104.37/104.46	c ===============================================================================
104.37/104.46	c New solution: 201
104.37/104.46	o 201
104.37/104.46	c Elapsed CPU time: 104.219 s	Remaining CPU time: 75.7808 s
104.37/104.46	c ===============================================================================
104.37/104.46	c |      7094 |   25470   177301   452074 |    59100     1199     22 | 51.513 % |
104.37/104.50	c ===============================================================================
104.37/104.50	c New solution: 200
104.37/104.50	o 200
104.37/104.50	c Elapsed CPU time: 104.258 s	Remaining CPU time: 75.7418 s
104.37/104.50	c ===============================================================================
104.37/104.50	c |      7106 |   25288   177302   452374 |    59100     1211     22 | 51.513 % |
104.47/104.54	c ===============================================================================
104.47/104.54	c New solution: 199
104.47/104.54	o 199
104.47/104.54	c Elapsed CPU time: 104.296 s	Remaining CPU time: 75.7039 s
104.47/104.54	c ===============================================================================
104.47/104.54	c |      7116 |   25106   177303   452674 |    59101     1221     22 | 51.513 % |
104.57/104.61	c ===============================================================================
104.57/104.61	c New solution: 198
104.57/104.61	o 198
104.57/104.61	c Elapsed CPU time: 104.36 s	Remaining CPU time: 75.6399 s
104.57/104.61	c ===============================================================================
104.57/104.61	c |      7190 |   24924   177304   452974 |    59101     1295     23 | 51.513 % |
104.57/104.67	c |      7290 |   24918   177304   452974 |    65011     1395     24 | 54.836 % |
104.67/104.71	c ===============================================================================
104.67/104.71	c New solution: 197
104.67/104.71	o 197
104.67/104.71	c Elapsed CPU time: 104.461 s	Remaining CPU time: 75.5389 s
104.67/104.71	c ===============================================================================
104.67/104.71	c |      7298 |   24742   177305   453274 |    59101     1403     23 | 54.836 % |
104.67/104.75	c ===============================================================================
104.67/104.75	c New solution: 196
104.67/104.75	o 196
104.67/104.75	c Elapsed CPU time: 104.499 s	Remaining CPU time: 75.5009 s
104.67/104.75	c ===============================================================================
104.67/104.75	c |      7310 |   24560   177306   453574 |    59102     1415     23 | 54.836 % |
104.67/104.79	c |      7410 |   24531   177306   453574 |    65012     1515     24 | 55.500 % |
104.77/104.85	c ===============================================================================
104.77/104.85	c New solution: 195
104.77/104.85	o 195
104.77/104.85	c Elapsed CPU time: 104.601 s	Remaining CPU time: 75.3989 s
104.77/104.85	c ===============================================================================
104.77/104.85	c |      7446 |   24378   177307   453874 |    59102     1551     24 | 55.500 % |
104.86/104.91	c ===============================================================================
104.86/104.91	c New solution: 194
104.86/104.91	o 194
104.86/104.91	c Elapsed CPU time: 104.659 s	Remaining CPU time: 75.3409 s
104.86/104.91	c ===============================================================================
104.86/104.91	c |      7507 |   24196   177308   454174 |    59102     1612     24 | 55.500 % |
104.86/104.96	c ===============================================================================
104.86/104.96	c New solution: 193
104.86/104.96	o 193
104.86/104.96	c Elapsed CPU time: 104.712 s	Remaining CPU time: 75.2879 s
104.86/104.96	c ===============================================================================
104.86/104.96	c |      7556 |   24014   177309   454474 |    59103     1036     23 | 55.500 % |
104.96/105.00	c ===============================================================================
104.96/105.00	c New solution: 192
104.96/105.00	o 192
104.96/105.00	c Elapsed CPU time: 104.754 s	Remaining CPU time: 75.2459 s
104.96/105.00	c ===============================================================================
104.96/105.00	c |      7570 |   23832   177310   454774 |    59103     1050     23 | 55.500 % |
104.96/105.07	c ===============================================================================
104.96/105.07	c New solution: 191
104.96/105.07	o 191
104.96/105.07	c Elapsed CPU time: 104.826 s	Remaining CPU time: 75.1739 s
104.96/105.07	c ===============================================================================
104.96/105.07	c |      7646 |   23650   177311   455074 |    59103     1126     25 | 55.500 % |
105.06/105.12	c |      7747 |   23648   177311   455074 |    65014     1227     25 | 57.161 % |
105.06/105.17	c ===============================================================================
105.06/105.17	c New solution: 190
105.06/105.17	o 190
105.06/105.17	c Elapsed CPU time: 104.916 s	Remaining CPU time: 75.084 s
105.06/105.17	c ===============================================================================
105.06/105.17	c |      7765 |   23468   177312   455374 |    59104     1245     25 | 57.161 % |
105.16/105.22	c |      7866 |   23458   177312   455374 |    65014     1346     27 | 57.493 % |
105.26/105.31	c |      8017 |   23452   177312   455374 |    71515     1497     28 | 57.493 % |
105.26/105.35	c ===============================================================================
105.26/105.35	c New solution: 189
105.26/105.35	o 189
105.26/105.35	c Elapsed CPU time: 105.098 s	Remaining CPU time: 74.902 s
105.26/105.35	c ===============================================================================
105.26/105.35	c |      8022 |   23286   177313   455674 |    59104     1502     28 | 57.493 % |
105.26/105.39	c ===============================================================================
105.26/105.39	c New solution: 188
105.26/105.39	o 188
105.26/105.39	c Elapsed CPU time: 105.138 s	Remaining CPU time: 74.862 s
105.26/105.39	c ===============================================================================
105.26/105.39	c |      8036 |   23104   177314   455974 |    59104     1210     29 | 57.493 % |
105.36/105.43	c ===============================================================================
105.36/105.43	c New solution: 187
105.36/105.43	o 187
105.36/105.43	c Elapsed CPU time: 105.18 s	Remaining CPU time: 74.82 s
105.36/105.43	c ===============================================================================
105.36/105.43	c |      8042 |   22922   177315   456274 |    59105     1216     29 | 57.493 % |
105.36/105.47	c |      8142 |   22903   177315   456274 |    65015     1316     28 | 58.490 % |
105.47/105.58	c |      8292 |   22895   177315   456274 |    71517     1466     29 | 58.490 % |
105.57/105.62	c ===============================================================================
105.57/105.62	c New solution: 186
105.57/105.62	o 186
105.57/105.62	c Elapsed CPU time: 105.369 s	Remaining CPU time: 74.631 s
105.57/105.62	c ===============================================================================
105.57/105.62	c |      8302 |   22740   177316   456574 |    59105     1476     29 | 58.490 % |
105.57/105.66	c ===============================================================================
105.57/105.66	c New solution: 185
105.57/105.66	o 185
105.57/105.66	c Elapsed CPU time: 105.404 s	Remaining CPU time: 74.596 s
105.57/105.66	c ===============================================================================
105.57/105.66	c |      8310 |   22558   177317   456874 |    59105     1484     29 | 58.490 % |
105.67/105.70	c ===============================================================================
105.67/105.70	c New solution: 184
105.67/105.70	o 184
105.67/105.70	c Elapsed CPU time: 105.443 s	Remaining CPU time: 74.557 s
105.67/105.70	c ===============================================================================
105.67/105.70	c |      8328 |   22376   177318   457174 |    59106     1502     29 | 58.490 % |
105.67/105.77	c |      8430 |   22328   177318   457174 |    65016     1604     31 | 59.487 % |
105.77/105.84	c |      8580 |   22327   177318   457174 |    71518     1754     32 | 59.487 % |
105.77/105.88	c ===============================================================================
105.77/105.88	c New solution: 183
105.77/105.88	o 183
105.77/105.88	c Elapsed CPU time: 105.629 s	Remaining CPU time: 74.3711 s
105.77/105.88	c ===============================================================================
105.77/105.88	c |      8592 |   22194   177319   457474 |    59106     1331     28 | 59.487 % |
105.87/105.92	c ===============================================================================
105.87/105.92	c New solution: 182
105.87/105.92	o 182
105.87/105.92	c Elapsed CPU time: 105.665 s	Remaining CPU time: 74.3351 s
105.87/105.92	c ===============================================================================
105.87/105.92	c |      8604 |   22012   177320   457774 |    59106     1343     28 | 59.487 % |
105.87/105.96	c ===============================================================================
105.87/105.96	c New solution: 181
105.87/105.96	o 181
105.87/105.96	c Elapsed CPU time: 105.708 s	Remaining CPU time: 74.2921 s
105.87/105.96	c ===============================================================================
105.87/105.96	c |      8625 |   21830   177321   458074 |    59107     1364     28 | 59.487 % |
105.97/106.00	c ===============================================================================
105.97/106.00	c New solution: 180
105.97/106.00	o 180
105.97/106.00	c Elapsed CPU time: 105.742 s	Remaining CPU time: 74.2581 s
105.97/106.00	c ===============================================================================
105.97/106.00	c |      8628 |   21648   177322   458374 |    59107     1367     28 | 59.487 % |
105.97/106.03	c ===============================================================================
105.97/106.03	c New solution: 179
105.97/106.03	o 179
105.97/106.03	c Elapsed CPU time: 105.78 s	Remaining CPU time: 74.2201 s
105.97/106.04	c ===============================================================================
105.97/106.04	c |      8641 |   21466   177323   458674 |    59107     1380     27 | 59.487 % |
105.97/106.08	c ===============================================================================
105.97/106.08	c New solution: 178
105.97/106.08	o 178
105.97/106.08	c Elapsed CPU time: 105.821 s	Remaining CPU time: 74.1791 s
105.97/106.08	c ===============================================================================
105.97/106.08	c |      8670 |   21284   177324   458974 |    59108     1409     27 | 59.487 % |
106.07/106.14	c |      8770 |   21278   177324   458974 |    65018     1509     30 | 61.480 % |
106.16/106.23	c |      8921 |   21271   177324   458974 |    71520     1660     30 | 61.480 % |
106.16/106.28	c ===============================================================================
106.16/106.28	c New solution: 177
106.16/106.28	o 177
106.16/106.28	c Elapsed CPU time: 106.023 s	Remaining CPU time: 73.9771 s
106.16/106.28	c ===============================================================================
106.16/106.28	c |      8958 |   21102   177325   459274 |    59108     1697     30 | 61.480 % |
106.26/106.32	c |      9058 |   21044   177325   459274 |    65019     1797     30 | 61.812 % |
106.26/106.38	c |      9209 |   21044   177325   459274 |    71521     1948     30 | 61.812 % |
106.36/106.50	c ===============================================================================
106.36/106.50	c New solution: 176
106.36/106.50	o 176
106.36/106.50	c Elapsed CPU time: 106.238 s	Remaining CPU time: 73.7622 s
106.36/106.50	c ===============================================================================
106.36/106.50	c |      9318 |   20920   177326   459574 |    59108     1459     27 | 61.812 % |
106.46/106.54	c ===============================================================================
106.46/106.54	c New solution: 175
106.46/106.54	o 175
106.46/106.54	c Elapsed CPU time: 106.277 s	Remaining CPU time: 73.7232 s
106.46/106.54	c ===============================================================================
106.46/106.54	c |      9337 |   20738   177327   459874 |    59109     1478     27 | 61.812 % |
106.46/106.57	c ===============================================================================
106.46/106.57	c New solution: 174
106.46/106.57	o 174
106.46/106.57	c Elapsed CPU time: 106.313 s	Remaining CPU time: 73.6872 s
106.46/106.57	c ===============================================================================
106.46/106.57	c |      9345 |   20556   177328   460174 |    59109     1486     27 | 61.812 % |
106.57/106.61	c ===============================================================================
106.57/106.61	c New solution: 173
106.57/106.61	o 173
106.57/106.61	c Elapsed CPU time: 106.351 s	Remaining CPU time: 73.6492 s
106.57/106.61	c ===============================================================================
106.57/106.61	c |      9362 |   20374   177329   460474 |    59109     1503     27 | 61.812 % |
106.57/106.69	c |      9463 |   20365   177329   460474 |    65020     1604     29 | 63.141 % |
106.67/106.73	c ===============================================================================
106.67/106.73	c New solution: 172
106.67/106.73	o 172
106.67/106.73	c Elapsed CPU time: 106.465 s	Remaining CPU time: 73.5352 s
106.67/106.73	c ===============================================================================
106.67/106.73	c |      9474 |   20192   177330   460774 |    59110     1615     29 | 63.141 % |
106.67/106.76	c ===============================================================================
106.67/106.76	c New solution: 171
106.67/106.76	o 171
106.67/106.76	c Elapsed CPU time: 106.502 s	Remaining CPU time: 73.4982 s
106.67/106.76	c ===============================================================================
106.67/106.76	c |      9481 |   20010   177331   461074 |    59110     1622     29 | 63.141 % |
106.76/106.80	c ===============================================================================
106.76/106.80	c New solution: 170
106.76/106.80	o 170
106.76/106.80	c Elapsed CPU time: 106.537 s	Remaining CPU time: 73.4632 s
106.76/106.80	c ===============================================================================
106.76/106.80	c |      9488 |   19828   177332   461374 |    59110     1629     29 | 63.141 % |
106.76/106.85	c ===============================================================================
106.76/106.85	c New solution: 169
106.76/106.85	o 169
106.76/106.85	c Elapsed CPU time: 106.586 s	Remaining CPU time: 73.4142 s
106.76/106.85	c ===============================================================================
106.76/106.85	c |      9551 |   19646   177333   461674 |    59111     1692     29 | 63.141 % |
106.76/106.89	c |      9651 |   19638   177333   461674 |    65022     1792     29 | 64.470 % |
106.86/106.99	c |      9801 |   19630   177333   461674 |    71524     1942     29 | 64.470 % |
106.96/107.03	c ===============================================================================
106.96/107.03	c New solution: 168
106.96/107.03	o 168
106.96/107.03	c Elapsed CPU time: 106.764 s	Remaining CPU time: 73.2362 s
106.96/107.03	c ===============================================================================
106.96/107.03	c |      9812 |   19464   177334   461974 |    59111     1262     27 | 64.470 % |
106.96/107.06	c ===============================================================================
106.96/107.06	c New solution: 167
106.96/107.06	o 167
106.96/107.06	c Elapsed CPU time: 106.799 s	Remaining CPU time: 73.2012 s
106.96/107.06	c ===============================================================================
106.96/107.06	c |      9822 |   19282   177335   462274 |    59111     1272     26 | 64.470 % |
107.07/107.10	c ===============================================================================
107.07/107.10	c New solution: 166
107.07/107.10	o 166
107.07/107.10	c Elapsed CPU time: 106.835 s	Remaining CPU time: 73.1652 s
107.07/107.10	c ===============================================================================
107.07/107.10	c |      9825 |   19100   177336   462574 |    59112     1275     26 | 64.470 % |
107.07/107.14	c ===============================================================================
107.07/107.14	c New solution: 165
107.07/107.14	o 165
107.07/107.14	c Elapsed CPU time: 106.87 s	Remaining CPU time: 73.1302 s
107.07/107.14	c ===============================================================================
107.07/107.14	c |      9836 |   18918   177337   462874 |    59112     1286     26 | 64.470 % |
107.07/107.18	c ===============================================================================
107.07/107.18	c New solution: 164
107.07/107.18	o 164
107.07/107.18	c Elapsed CPU time: 106.909 s	Remaining CPU time: 73.0913 s
107.07/107.18	c ===============================================================================
107.07/107.18	c |      9867 |   18736   177338   463174 |    59112     1317     26 | 64.470 % |
107.16/107.21	c |      9968 |   18698   177338   463174 |    65023     1418     26 | 66.131 % |
107.26/107.32	c |     10119 |   18693   177338   463174 |    71526     1569     27 | 66.131 % |
107.26/107.36	c ===============================================================================
107.26/107.36	c New solution: 163
107.26/107.36	o 163
107.26/107.36	c Elapsed CPU time: 107.086 s	Remaining CPU time: 72.9143 s
107.26/107.36	c ===============================================================================
107.26/107.36	c |     10123 |   18554   177339   463474 |    59113     1573     27 | 66.131 % |
107.26/107.39	c ===============================================================================
107.26/107.39	c New solution: 162
107.26/107.39	o 162
107.26/107.39	c Elapsed CPU time: 107.119 s	Remaining CPU time: 72.8813 s
107.26/107.39	c ===============================================================================
107.26/107.39	c |     10127 |   18372   177340   463774 |    59113     1577     27 | 66.131 % |
107.36/107.42	c ===============================================================================
107.36/107.42	c New solution: 161
107.36/107.42	o 161
107.36/107.42	c Elapsed CPU time: 107.151 s	Remaining CPU time: 72.8493 s
107.36/107.42	c ===============================================================================
107.36/107.42	c |     10129 |   18190   177341   464074 |    59113     1579     27 | 66.131 % |
107.36/107.46	c ===============================================================================
107.36/107.46	c New solution: 160
107.36/107.46	o 160
107.36/107.46	c Elapsed CPU time: 107.183 s	Remaining CPU time: 72.8173 s
107.36/107.46	c ===============================================================================
107.36/107.46	c |     10135 |   18008   177342   464374 |    59114     1585     27 | 66.131 % |
107.36/107.49	c ===============================================================================
107.36/107.49	c New solution: 159
107.36/107.49	o 159
107.36/107.49	c Elapsed CPU time: 107.217 s	Remaining CPU time: 72.7833 s
107.36/107.49	c ===============================================================================
107.36/107.49	c |     10146 |   17826   177343   464674 |    59114     1596     27 | 66.131 % |
107.46/107.53	c ===============================================================================
107.46/107.53	c New solution: 158
107.46/107.53	o 158
107.46/107.53	c Elapsed CPU time: 107.253 s	Remaining CPU time: 72.7473 s
107.46/107.53	c ===============================================================================
107.46/107.53	c |     10158 |   17644   177344   464974 |    59114     1608     27 | 66.131 % |
107.46/107.60	c |     10259 |   17619   177344   464974 |    65026     1709     27 | 68.125 % |
107.57/107.63	c ===============================================================================
107.57/107.63	c New solution: 157
107.57/107.63	o 157
107.57/107.63	c Elapsed CPU time: 107.355 s	Remaining CPU time: 72.6453 s
107.57/107.63	c ===============================================================================
107.57/107.63	c |     10275 |   17462   177345   465274 |    59115     1725     27 | 68.125 % |
107.57/107.68	c ===============================================================================
107.57/107.68	c New solution: 156
107.57/107.68	o 156
107.57/107.68	c Elapsed CPU time: 107.408 s	Remaining CPU time: 72.5923 s
107.57/107.68	c ===============================================================================
107.57/107.68	c |     10369 |   17280   177346   465574 |    59115     1017     25 | 68.125 % |
107.67/107.73	c |     10469 |   17273   177346   465574 |    65026     1117     26 | 68.789 % |
107.67/107.78	c ===============================================================================
107.67/107.78	c New solution: 155
107.67/107.78	o 155
107.67/107.78	c Elapsed CPU time: 107.501 s	Remaining CPU time: 72.4993 s
107.67/107.78	c ===============================================================================
107.67/107.78	c |     10500 |   17098   177347   465874 |    59115     1148     26 | 68.789 % |
107.77/107.83	c ===============================================================================
107.77/107.83	c New solution: 154
107.77/107.83	o 154
107.77/107.83	c Elapsed CPU time: 107.552 s	Remaining CPU time: 72.4484 s
107.77/107.83	c ===============================================================================
107.77/107.83	c |     10557 |   16916   177348   466174 |    59116     1205     25 | 68.789 % |
107.77/107.89	c |     10658 |   16905   177348   466174 |    65027     1306     26 | 69.453 % |
107.86/107.93	c ===============================================================================
107.86/107.93	c New solution: 153
107.86/107.93	o 153
107.86/107.93	c Elapsed CPU time: 107.649 s	Remaining CPU time: 72.3514 s
107.86/107.93	c ===============================================================================
107.86/107.93	c |     10677 |   16734   177349   466474 |    59116     1325     26 | 69.453 % |
107.86/107.99	c |     10778 |   16726   177349   466474 |    65027     1426     28 | 69.786 % |
108.06/108.11	c |     10929 |   16719   177349   466474 |    71530     1577     29 | 69.786 % |
108.06/108.14	c ===============================================================================
108.06/108.14	c New solution: 152
108.06/108.14	o 152
108.06/108.14	c Elapsed CPU time: 107.862 s	Remaining CPU time: 72.1384 s
108.06/108.14	c ===============================================================================
108.06/108.14	c |     10941 |   16552   177350   466774 |    59116     1589     29 | 69.786 % |
108.06/108.18	c ===============================================================================
108.06/108.18	c New solution: 151
108.06/108.18	o 151
108.06/108.18	c Elapsed CPU time: 107.903 s	Remaining CPU time: 72.0974 s
108.06/108.18	c ===============================================================================
108.06/108.18	c |     10956 |   16370   177351   467074 |    59117     1259     28 | 69.786 % |
108.16/108.22	c ===============================================================================
108.16/108.22	c New solution: 150
108.16/108.22	o 150
108.16/108.22	c Elapsed CPU time: 107.935 s	Remaining CPU time: 72.0654 s
108.16/108.22	c ===============================================================================
108.16/108.22	c |     10968 |   16188   177352   467374 |    59117     1271     27 | 69.786 % |
108.16/108.26	c |     11071 |   16130   177352   467374 |    65029     1374     28 | 70.782 % |
108.26/108.33	c |     11221 |   16130   177352   467374 |    71531     1524     28 | 70.782 % |
108.26/108.37	c ===============================================================================
108.26/108.37	c New solution: 149
108.26/108.37	o 149
108.26/108.37	c Elapsed CPU time: 108.087 s	Remaining CPU time: 71.9134 s
108.26/108.37	c ===============================================================================
108.26/108.37	c |     11234 |   16006   177353   467674 |    59117     1537     28 | 70.782 % |
108.36/108.40	c ===============================================================================
108.36/108.40	c New solution: 148
108.36/108.40	o 148
108.36/108.40	c Elapsed CPU time: 108.122 s	Remaining CPU time: 71.8784 s
108.36/108.40	c ===============================================================================
108.36/108.40	c |     11250 |   15824   177354   467974 |    59118     1553     28 | 70.782 % |
108.36/108.44	c ===============================================================================
108.36/108.44	c New solution: 147
108.36/108.44	o 147
108.36/108.44	c Elapsed CPU time: 108.161 s	Remaining CPU time: 71.8394 s
108.36/108.44	c ===============================================================================
108.36/108.44	c |     11271 |   15642   177355   468274 |    59118     1574     28 | 70.782 % |
108.36/108.49	c |     11371 |   15620   177355   468274 |    65030     1674     28 | 71.779 % |
108.46/108.59	c |     11522 |   15616   177355   468274 |    71533     1825     29 | 71.779 % |
108.56/108.63	c ===============================================================================
108.56/108.63	c New solution: 146
108.56/108.63	o 146
108.56/108.63	c Elapsed CPU time: 108.346 s	Remaining CPU time: 71.6545 s
108.56/108.63	c ===============================================================================
108.56/108.63	c |     11530 |   15460   177356   468574 |    59118     1833     28 | 71.779 % |
108.66/108.71	c ===============================================================================
108.66/108.71	c New solution: 145
108.66/108.71	o 145
108.66/108.71	c Elapsed CPU time: 108.427 s	Remaining CPU time: 71.5735 s
108.66/108.71	c ===============================================================================
108.66/108.71	c |     11619 |   15278   177357   468874 |    59119     1922     30 | 71.779 % |
108.66/108.75	c |     11722 |   15096   177357   468874 |    65030     1456     26 | 72.444 % |
108.77/108.82	c ===============================================================================
108.77/108.82	c New solution: 144
108.77/108.82	o 144
108.77/108.82	c Elapsed CPU time: 108.539 s	Remaining CPU time: 71.4605 s
108.77/108.82	c ===============================================================================
108.77/108.82	c |     11862 |   15096   177358   469174 |    59119     1596     27 | 72.444 % |
108.77/108.88	c |     11963 |   15090   177358   469174 |    65031     1697     27 | 72.776 % |
108.87/108.98	c ===============================================================================
108.87/108.98	c New solution: 143
108.87/108.98	o 143
108.87/108.98	c Elapsed CPU time: 108.7 s	Remaining CPU time: 71.2995 s
108.87/108.98	c ===============================================================================
108.87/108.98	c |     12071 |   14914   177359   469474 |    59119     1805     27 | 72.776 % |
108.96/109.03	c |     12172 |   14869   177359   469474 |    65031     1906     28 | 73.108 % |
108.96/109.09	c |     12322 |   14869   177359   469474 |    71534     2056     28 | 73.108 % |
109.06/109.13	c ===============================================================================
109.06/109.13	c New solution: 142
109.06/109.13	o 142
109.06/109.13	c Elapsed CPU time: 108.85 s	Remaining CPU time: 71.1495 s
109.06/109.13	c ===============================================================================
109.06/109.13	c |     12354 |   14732   177360   469774 |    59120     2088     28 | 73.108 % |
109.06/109.17	c |     12454 |   14726   177360   469774 |    65032     2188     28 | 73.440 % |
109.17/109.27	c |     12605 |   14723   177360   469774 |    71535     2339     28 | 73.440 % |
109.37/109.40	c |     12830 |   14550   177360   469774 |    78688     2323     31 | 73.440 % |
109.47/109.52	c |     13167 |   14550   177360   469774 |    86557     2660     31 | 73.440 % |
109.87/109.92	c |     13673 |   14550   177360   469774 |    95213     3166     32 | 73.440 % |
109.87/109.95	c ===============================================================================
109.87/109.95	c New solution: 141
109.87/109.95	o 141
109.87/109.95	c Elapsed CPU time: 109.664 s	Remaining CPU time: 70.3357 s
109.87/109.95	c ===============================================================================
109.87/109.95	c |     13697 |   14550   177361   470074 |    59120     3190     32 | 73.440 % |
109.87/110.00	c |     13798 |   14368   177361   470074 |    65032     3126     32 | 73.772 % |
110.06/110.16	c ===============================================================================
110.06/110.16	c New solution: 140
110.06/110.16	o 140
110.06/110.16	c Elapsed CPU time: 109.867 s	Remaining CPU time: 70.1327 s
110.06/110.16	c ===============================================================================
110.06/110.16	c |     13937 |   14368   177362   470374 |    59120     3265     32 | 73.772 % |
110.16/110.20	c |     14037 |   14348   177362   470374 |    65032     3365     32 | 74.105 % |
110.16/110.26	c |     14187 |   14348   177362   470374 |    71536     3515     32 | 74.105 % |
110.36/110.42	c ===============================================================================
110.36/110.42	c New solution: 139
110.36/110.42	o 139
110.36/110.42	c Elapsed CPU time: 110.133 s	Remaining CPU time: 69.8667 s
110.36/110.42	c ===============================================================================
110.36/110.42	c |     14364 |   14186   177363   470674 |    59121     3692     32 | 74.105 % |
110.36/110.49	c |     14464 |   14147   177363   470674 |    65033     3792     32 | 74.437 % |
110.46/110.53	c ===============================================================================
110.46/110.53	c New solution: 138
110.46/110.53	o 138
110.46/110.53	c Elapsed CPU time: 110.24 s	Remaining CPU time: 69.7598 s
110.46/110.53	c ===============================================================================
110.46/110.53	c |     14491 |   14004   177364   470974 |    59121     3819     32 | 74.437 % |
110.46/110.58	c |     14593 |   13822   177364   470974 |    65033     3241     29 | 74.769 % |
110.67/110.75	c |     14745 |   13822   177364   470974 |    71536     3393     30 | 74.769 % |
110.76/110.86	c |     14970 |   13822   177364   470974 |    78690     3618     31 | 74.769 % |
110.97/111.08	c |     15307 |   13822   177364   470974 |    86559     3955     32 | 74.769 % |
111.16/111.29	c ===============================================================================
111.16/111.29	c New solution: 137
111.16/111.29	o 137
111.16/111.29	c Elapsed CPU time: 110.987 s	Remaining CPU time: 69.0129 s
111.16/111.29	c ===============================================================================
111.16/111.29	c |     15621 |   13822   177365   471274 |    59121     4269     35 | 74.769 % |
111.26/111.34	c |     15722 |   13640   177365   471274 |    65033     3891     31 | 75.101 % |
111.36/111.40	c |     15872 |   13640   177365   471274 |    71537     4041     31 | 75.101 % |
111.56/111.65	c |     16097 |   13640   177365   471274 |    78690     4266     32 | 75.101 % |
111.66/111.74	c |     16435 |   13640   177365   471274 |    86560     4604     32 | 75.101 % |
111.97/112.10	c |     16942 |   13640   177365   471274 |    95216     5111     33 | 75.101 % |
112.26/112.33	c |     17702 |   13640   177365   471274 |   104737     5871     33 | 75.101 % |
113.16/113.22	c |     18841 |   13640   177365   471274 |   115211     7010     40 | 75.101 % |
113.56/113.66	c |     20549 |   13640   177365   471274 |   126732     8718     38 | 75.101 % |
115.96/116.05	c |     23111 |   13640   177365   471274 |   139405    11280     46 | 75.101 % |
116.96/117.05	c ===============================================================================
116.96/117.05	c New solution: 136
116.96/117.05	o 136
116.96/117.05	c Elapsed CPU time: 116.716 s	Remaining CPU time: 63.2837 s
116.96/117.05	c ===============================================================================
116.96/117.05	c |     25132 |   13640   177366   471574 |    59122    13301     49 | 75.101 % |
117.06/117.14	c |     25232 |   13458   177366   471574 |    65034    12129     42 | 75.434 % |
117.16/117.21	c |     25382 |   13458   177366   471574 |    71537    12279     42 | 75.434 % |
117.36/117.42	c |     25608 |   13458   177366   471574 |    78691    12505     42 | 75.434 % |
117.46/117.56	c |     25946 |   13458   177366   471574 |    86560    12843     42 | 75.434 % |
117.76/117.83	c |     26454 |   13458   177366   471574 |    95216    13351     42 | 75.434 % |
118.26/118.33	c |     27214 |   13458   177366   471574 |   104738    14111     42 | 75.434 % |
118.77/118.87	c |     28353 |   13458   177366   471574 |   115212    15250     42 | 75.434 % |
120.55/120.66	c |     30061 |   13458   177366   471574 |   126733    16958     43 | 75.434 % |
120.75/120.88	c ===============================================================================
120.75/120.88	c New solution: 135
120.75/120.88	o 135
120.75/120.88	c Elapsed CPU time: 120.528 s	Remaining CPU time: 59.4723 s
120.75/120.88	c ===============================================================================
120.75/120.88	c |     30479 |   13458   177367   471874 |    59122    17376     43 | 75.434 % |
120.86/120.95	c |     30579 |   13276   177367   471874 |    65034    16702     42 | 75.766 % |
120.96/121.01	c |     30729 |   13276   177367   471874 |    71538    16852     42 | 75.766 % |
121.06/121.11	c |     30954 |   13276   177367   471874 |    78691    17077     42 | 75.766 % |
121.26/121.33	c |     31291 |   13276   177367   471874 |    86561    17414     42 | 75.766 % |
121.56/121.64	c |     31797 |   13276   177367   471874 |    95217    17920     42 | 75.766 % |
121.96/122.02	c |     32556 |   13276   177367   471874 |   104738    18679     42 | 75.766 % |
122.66/122.77	c |     33695 |   13276   177367   471874 |   115212    19818     42 | 75.766 % |
122.96/123.06	c ===============================================================================
122.96/123.06	c New solution: 134
122.96/123.06	o 134
122.96/123.06	c Elapsed CPU time: 122.698 s	Remaining CPU time: 57.3017 s
122.96/123.06	c ===============================================================================
122.96/123.06	c |     34447 |   13276   177368   472174 |    59122    20570     42 | 75.766 % |
123.07/123.16	c |     34548 |   13094   177368   472174 |    65034    18671     38 | 76.098 % |
123.16/123.30	c |     34699 |   13094   177368   472174 |    71538    18822     38 | 76.098 % |
123.26/123.37	c |     34924 |   13094   177368   472174 |    78692    19047     38 | 76.098 % |
123.45/123.54	c |     35263 |   13094   177368   472174 |    86561    19386     38 | 76.098 % |
123.65/123.74	c |     35770 |   13094   177368   472174 |    95217    19893     38 | 76.098 % |
124.36/124.49	c |     36529 |   13094   177368   472174 |   104739    20652     38 | 76.098 % |
124.76/124.86	c |     37668 |   13094   177368   472174 |   115213    21791     37 | 76.098 % |
125.56/125.66	c |     39376 |   13094   177368   472174 |   126734    23499     38 | 76.098 % |
127.76/127.87	c |     41938 |   13094   177368   472174 |   139408    26061     38 | 76.098 % |
129.77/129.80	c |     45782 |   13094   177368   472174 |   153348    29905     40 | 76.098 % |
135.16/135.22	c |     51548 |   13094   177368   472174 |   168683    35671     45 | 76.098 % |
138.95/139.08	c |     60197 |   13094   177368   472174 |   185552    44320     45 | 76.098 % |
151.15/151.22	c |     73171 |   13094   177368   472174 |   204107    57294     51 | 76.098 % |
162.25/162.38	c |     92636 |   13094   177368   472174 |   224518    76759     46 | 76.098 % |
180.55/180.61	c There are 41688 assigned variables. 248 in cost function.
181.14/181.21	c core #1
181.14/181.21	c 
181.14/181.21	c 
181.14/181.21	c Core size: 103	Core Weight: 82	Total Weight: 82
181.14/181.21	c
181.14/181.21	c
181.14/181.21	c core #2
181.14/181.21	c 
181.14/181.21	c 
181.14/181.21	c Core size: 132	Core Weight: 1	Total Weight: 83
181.14/181.21	c
181.14/181.21	c
181.14/181.21	c core #3
181.14/181.21	c 
181.14/181.21	c 
181.14/181.21	c Core size: 274	Core Weight: 1	Total Weight: 84
181.14/181.21	c
181.14/181.21	c
181.14/181.21	c ============================[ Search Statistics ]==============================
181.14/181.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.14/181.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.14/181.21	c ===============================================================================
181.14/181.21	c |         0 |    4324    78623   104178 |    26207        0    nan |  0.000 % |
181.14/181.22	c ===============================================================================
181.24/181.33	c core #4
181.24/181.33	c 
181.24/181.33	c 
181.24/181.33	c Core size: 231	Core Weight: 1	Total Weight: 85
181.24/181.33	c
181.24/181.33	c
181.24/181.33	c ============================[ Search Statistics ]==============================
181.24/181.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.24/181.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.24/181.33	c ===============================================================================
181.24/181.33	c |         0 |    4560    78672   107204 |    26224        0    nan |  0.000 % |
181.24/181.35	c ===============================================================================
181.35/181.46	c core #5
181.35/181.46	c 
181.35/181.46	c 
181.35/181.46	c Core size: 197	Core Weight: 1	Total Weight: 86
181.35/181.46	c
181.35/181.46	c
181.35/181.46	c ============================[ Search Statistics ]==============================
181.35/181.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.35/181.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.35/181.46	c ===============================================================================
181.35/181.46	c |         0 |    4790    78720   107573 |    26240        0    nan |  0.000 % |
181.35/181.47	c ===============================================================================
181.45/181.59	c core #6
181.45/181.59	c 
181.45/181.59	c 
181.45/181.59	c Core size: 256	Core Weight: 1	Total Weight: 87
181.45/181.59	c
181.45/181.59	c
181.45/181.59	c ============================[ Search Statistics ]==============================
181.45/181.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.45/181.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.45/181.59	c ===============================================================================
181.45/181.59	c |         0 |    5019    78767   107940 |    26255        0    nan |  0.000 % |
181.54/181.62	c ===============================================================================
181.64/181.73	c core #7
181.64/181.73	c 
181.64/181.73	c 
181.64/181.73	c Core size: 276	Core Weight: 1	Total Weight: 88
181.64/181.73	c
181.64/181.73	c
181.64/181.73	c ============================[ Search Statistics ]==============================
181.64/181.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.64/181.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.64/181.73	c ===============================================================================
181.64/181.73	c |         0 |    5247    78814   108310 |    26271        0    nan |  0.000 % |
181.64/181.78	c |       100 |    5247    78814   108310 |    28898      100     15 | 91.280 % |
181.64/181.79	c ===============================================================================
181.84/181.91	c core #8
181.84/181.91	c 
181.84/181.91	c 
181.84/181.91	c Core size: 376	Core Weight: 1	Total Weight: 89
181.84/181.91	c
181.84/181.91	c
181.84/181.91	c ============================[ Search Statistics ]==============================
181.84/181.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.84/181.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.84/181.91	c ===============================================================================
181.84/181.91	c |         0 |    5474    78859   108675 |    26286        0    nan |  0.000 % |
181.84/181.96	c |       100 |    5474    78859   108675 |    28914      100     15 | 90.078 % |
181.94/182.01	c ===============================================================================
182.04/182.13	c core #9
182.04/182.13	c 
182.04/182.13	c 
182.04/182.13	c Core size: 332	Core Weight: 1	Total Weight: 90
182.04/182.13	c
182.04/182.13	c
182.04/182.13	c ============================[ Search Statistics ]==============================
182.04/182.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.04/182.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.04/182.13	c ===============================================================================
182.04/182.13	c |         0 |    5700    78903   109035 |    26301        0    nan |  0.000 % |
182.04/182.18	c |       100 |    5700    78903   109035 |    28931      100     18 | 89.677 % |
182.14/182.24	c |       250 |    5618    78903   109035 |    31824      197     17 | 89.825 % |
182.24/182.30	c ===============================================================================
182.34/182.43	c core #10
182.34/182.43	c 
182.34/182.43	c 
182.34/182.43	c Core size: 458	Core Weight: 1	Total Weight: 91
182.34/182.43	c
182.34/182.43	c
182.34/182.43	c ============================[ Search Statistics ]==============================
182.34/182.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.43	c ===============================================================================
182.34/182.43	c |         0 |    5925    78946   109390 |    26315        0    nan |  0.000 % |
182.34/182.47	c |       100 |    5925    78946   109390 |    28946      100     16 | 89.277 % |
182.45/182.54	c |       251 |    5925    78946   109390 |    31841      251     20 | 89.277 % |
182.55/182.64	c |       476 |    5925    78946   109390 |    35025      476     22 | 89.277 % |
182.64/182.79	c |       815 |    5757    78946   109390 |    38528      328     17 | 89.581 % |
182.84/182.90	c ===============================================================================
182.94/183.02	c core #11
182.94/183.02	c 
182.94/183.02	c 
182.94/183.02	c Core size: 491	Core Weight: 1	Total Weight: 92
182.94/183.02	c
182.94/183.02	c
182.94/183.02	c ============================[ Search Statistics ]==============================
182.94/183.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.94/183.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.94/183.02	c ===============================================================================
182.94/183.02	c |         0 |    6149    78989   109747 |    26329        0    nan |  0.000 % |
182.94/183.06	c |       100 |    6149    78989   109747 |    28962      100     16 | 88.880 % |
183.04/183.14	c |       250 |    6149    78989   109747 |    31858      250     26 | 88.880 % |
183.15/183.22	c |       476 |    6149    78989   109747 |    35044      476     22 | 88.880 % |
183.25/183.38	c |       814 |    6133    78989   109747 |    38549      768     22 | 88.909 % |
183.44/183.59	c |      1321 |    6075    78989   109747 |    42404     1173     24 | 89.076 % |
183.74/183.86	c ===============================================================================
183.84/183.98	c core #12
183.84/183.98	c 
183.84/183.98	c 
183.84/183.98	c Core size: 440	Core Weight: 1	Total Weight: 93
183.84/183.98	c
183.84/183.98	c
183.84/183.98	c ============================[ Search Statistics ]==============================
183.84/183.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.84/183.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.84/183.98	c ===============================================================================
183.84/183.98	c |         0 |    6372    79035   110105 |    26345        0    nan |  0.000 % |
183.94/184.03	c |       100 |    6372    79035   110105 |    28979      100     17 | 88.486 % |
184.04/184.12	c |       250 |    6372    79035   110105 |    31877      250     24 | 88.486 % |
184.14/184.21	c |       475 |    6372    79035   110105 |    35065      475     22 | 88.486 % |
184.24/184.35	c |       812 |    6372    79035   110105 |    38571      812     24 | 88.486 % |
184.55/184.60	c |      1320 |    6306    79035   110105 |    42428     1179     26 | 88.605 % |
184.84/184.94	c |      2082 |    6306    79035   110105 |    46671     1941     28 | 88.605 % |
185.44/185.52	c |      3221 |    6173    79035   110105 |    51338     2064     29 | 88.845 % |
186.24/186.37	c ===============================================================================
186.35/186.49	c core #13
186.35/186.49	c 
186.35/186.49	c 
186.35/186.49	c Core size: 504	Core Weight: 1	Total Weight: 94
186.35/186.49	c
186.35/186.49	c
186.35/186.49	c ============================[ Search Statistics ]==============================
186.35/186.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.35/186.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.35/186.49	c ===============================================================================
186.35/186.49	c |         0 |    6594    79076   110439 |    26358        0    nan |  0.000 % |
186.45/186.54	c |       100 |    6594    79076   110439 |    28994      100     18 | 88.093 % |
186.54/186.60	c |       252 |    6594    79076   110439 |    31893      252     25 | 88.093 % |
186.54/186.69	c |       477 |    6594    79076   110439 |    35083      477     22 | 88.093 % |
186.74/186.87	c |       814 |    6594    79076   110439 |    38591      814     26 | 88.093 % |
187.04/187.15	c |      1320 |    6594    79076   110439 |    42450     1320     29 | 88.093 % |
187.34/187.47	c |      2081 |    6569    79076   110439 |    46695     2056     31 | 88.138 % |
187.94/188.05	c |      3221 |    6569    79076   110439 |    51365     3196     29 | 88.138 % |
188.84/188.91	c |      4931 |    6569    79076   110439 |    56502     4906     32 | 88.138 % |
190.25/190.33	c |      7493 |    6371    79076   110439 |    62152     5010     33 | 88.519 % |
191.64/191.75	c ===============================================================================
191.74/191.88	c core #14
191.74/191.88	c 
191.74/191.88	c 
191.74/191.88	c Core size: 371	Core Weight: 1	Total Weight: 95
191.74/191.88	c
191.74/191.88	c
191.74/191.88	c ============================[ Search Statistics ]==============================
191.74/191.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.88	c ===============================================================================
191.74/191.88	c |         0 |    6815    79118   110773 |    26372        0    nan |  0.000 % |
191.84/191.93	c |       102 |    6815    79118   110773 |    29009      102     21 | 87.703 % |
191.84/191.99	c |       252 |    6815    79118   110773 |    31910      252     27 | 87.703 % |
191.94/192.07	c |       478 |    6815    79118   110773 |    35102      478     29 | 87.703 % |
192.14/192.21	c |       817 |    6815    79118   110773 |    38612      817     26 | 87.703 % |
192.34/192.43	c |      1324 |    6815    79118   110773 |    42473     1324     28 | 87.703 % |
192.64/192.75	c |      2083 |    6781    79118   110773 |    46720     2030     28 | 87.764 % |
193.13/193.28	c |      3222 |    6781    79118   110773 |    51392     3169     27 | 87.764 % |
194.04/194.13	c |      4930 |    6711    79118   110773 |    56532     3728     26 | 87.890 % |
195.34/195.44	c |      7492 |    6711    79118   110773 |    62185     6290     31 | 87.890 % |
197.74/197.81	c |     11336 |    6711    79118   110773 |    68403    10134     36 | 87.890 % |
201.74/201.81	c |     17103 |    6687    79118   110773 |    75244    12383     37 | 87.934 % |
206.23/206.34	c ===============================================================================
206.33/206.47	c core #15
206.33/206.47	c 
206.33/206.47	c 
206.33/206.47	c Core size: 629	Core Weight: 1	Total Weight: 96
206.33/206.47	c
206.33/206.47	c
206.33/206.47	c ============================[ Search Statistics ]==============================
206.33/206.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.33/206.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.33/206.47	c ===============================================================================
206.33/206.47	c |         0 |    7035    79162   111101 |    26387        0    nan |  0.000 % |
206.43/206.51	c |       101 |    7035    79162   111101 |    29026      101     15 | 87.314 % |
206.53/206.60	c |       252 |    7035    79162   111101 |    31928      252     27 | 87.314 % |
206.53/206.68	c |       477 |    7035    79162   111101 |    35121      477     23 | 87.315 % |
206.74/206.86	c |       814 |    7035    79162   111101 |    38633      814     28 | 87.314 % |
207.04/207.14	c |      1320 |    7035    79162   111101 |    42497     1320     33 | 87.314 % |
207.34/207.50	c |      2080 |    7035    79162   111101 |    46746     2080     35 | 87.314 % |
208.03/208.12	c |      3219 |    7035    79162   111101 |    51421     3219     35 | 87.314 % |
209.14/209.28	c |      4929 |    7035    79162   111101 |    56563     4929     37 | 87.314 % |
210.53/210.68	c |      7492 |    7035    79162   111101 |    62219     7492     36 | 87.314 % |
212.54/212.65	c |     11338 |    7035    79162   111101 |    68441    11338     39 | 87.314 % |
216.83/216.95	c |     17105 |    7035    79162   111101 |    75286    17105     40 | 87.314 % |
224.03/224.11	c |     25756 |    7035    79162   111101 |    82814    25756     44 | 87.314 % |
238.23/238.38	c |     38732 |    6952    79162   111101 |    91096    38099     44 | 87.464 % |
257.13/257.20	c ===============================================================================
257.23/257.36	c core #16
257.23/257.36	c 
257.23/257.36	c 
257.23/257.36	c Core size: 405	Core Weight: 1	Total Weight: 97
257.23/257.36	c
257.23/257.36	c
257.23/257.36	c ============================[ Search Statistics ]==============================
257.23/257.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
257.23/257.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
257.23/257.36	c ===============================================================================
257.23/257.36	c |         0 |    7254    79218   111464 |    26406        0    nan |  0.000 % |
257.23/257.40	c |       100 |    7254    79218   111464 |    29046      100     15 | 86.928 % |
257.33/257.45	c |       250 |    7254    79218   111464 |    31951      250     21 | 86.928 % |
257.42/257.52	c |       475 |    7254    79218   111464 |    35146      475     22 | 86.928 % |
257.52/257.69	c |       813 |    7254    79218   111464 |    38661      813     21 | 86.928 % |
257.72/257.87	c |      1319 |    7254    79218   111464 |    42527     1319     23 | 86.928 % |
258.02/258.19	c |      2079 |    7254    79218   111464 |    46779     2079     27 | 86.928 % |
258.62/258.74	c |      3219 |    7254    79218   111464 |    51457     3219     30 | 86.928 % |
259.53/259.68	c |      4927 |    7254    79218   111464 |    56603     4927     31 | 86.928 % |
261.12/261.24	c |      7491 |    7254    79218   111464 |    62263     7491     33 | 86.928 % |
263.32/263.47	c |     11335 |    7254    79218   111464 |    68490    11335     37 | 86.928 % |
267.22/267.38	c |     17102 |    7254    79218   111464 |    75339    17102     37 | 86.928 % |
274.22/274.34	c |     25753 |    7197    79218   111464 |    82873    24979     42 | 87.054 % |
288.52/288.69	c |     38728 |    7184    79218   111464 |    91160    37643     44 | 87.054 % |
312.90/313.08	c |     58189 |    7184    79218   111464 |   100276    57104     46 | 87.054 % |
357.89/358.00	c |     87382 |    7129    79218   111464 |   110304    70253     46 | 87.154 % |
410.09/410.27	c ===============================================================================
410.28/410.48	c core #17
410.28/410.48	c 
410.28/410.48	c 
410.28/410.48	c Core size: 451	Core Weight: 1	Total Weight: 98
410.28/410.48	c
410.28/410.48	c
410.28/410.48	c ============================[ Search Statistics ]==============================
410.28/410.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
410.28/410.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
410.28/410.48	c ===============================================================================
410.28/410.48	c |         0 |    7472    79288   111869 |    26429        0    nan |  0.000 % |
410.38/410.53	c |       100 |    7472    79288   111869 |    29072      100     16 | 86.544 % |
410.48/410.62	c |       250 |    7472    79288   111869 |    31979      250     24 | 86.544 % |
410.58/410.70	c |       476 |    7472    79288   111869 |    35177      476     31 | 86.544 % |
410.68/410.83	c |       813 |    7472    79288   111869 |    38695      813     28 | 86.544 % |
410.98/411.12	c |      1319 |    7472    79288   111869 |    42564     1319     36 | 86.544 % |
411.28/411.43	c |      2079 |    7472    79288   111869 |    46821     2079     33 | 86.544 % |
411.79/411.98	c |      3220 |    7472    79288   111869 |    51503     3220     34 | 86.544 % |
412.68/412.82	c |      4928 |    7472    79288   111869 |    56653     4928     33 | 86.544 % |
414.28/414.46	c |      7491 |    7472    79288   111869 |    62318     7491     35 | 86.544 % |
416.69/416.84	c |     11335 |    7472    79288   111869 |    68550    11335     39 | 86.544 % |
420.68/420.89	c |     17101 |    7472    79288   111869 |    75405    17101     42 | 86.544 % |
428.58/428.76	c |     25750 |    7472    79288   111869 |    82946    25750     40 | 86.544 % |
440.38/440.56	c |     38726 |    7472    79288   111869 |    91241    38726     46 | 86.544 % |
466.28/466.42	c |     58187 |    7472    79288   111869 |   100365    58187     44 | 86.544 % |
517.75/517.98	c |     87380 |    7472    79288   111869 |   110401    87380     49 | 86.544 % |
618.93/619.11	c |    131170 |    7408    79288   111869 |   121442   128673     51 | 86.659 % |
806.28/806.51	c |    196854 |    7327    79288   111869 |   133586   157164     52 | 86.805 % |
1001.73/1002.01	c |    295380 |    7235    79288   111869 |   146944    73869     52 | 86.971 % |
1135.69/1136.00	c ===============================================================================
1136.09/1136.40	c core #18
1136.09/1136.40	c 
1136.09/1136.40	c 
1136.09/1136.40	c Core size: 403	Core Weight: 1	Total Weight: 99
1136.09/1136.40	c
1136.09/1136.40	c
1136.09/1136.40	c ============================[ Search Statistics ]==============================
1136.09/1136.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1136.09/1136.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1136.09/1136.40	c ===============================================================================
1136.09/1136.40	c |         0 |    7689    79408   112420 |    26469        0    nan |  0.000 % |
1136.09/1136.46	c |       101 |    7689    79408   112420 |    29116      101     16 | 86.162 % |
1136.19/1136.54	c |       251 |    7689    79408   112420 |    32027      251     24 | 86.162 % |
1136.29/1136.68	c |       476 |    7689    79408   112420 |    35230      476     32 | 86.162 % |
1136.48/1136.88	c |       814 |    7689    79408   112420 |    38753      814     33 | 86.162 % |
1136.79/1137.13	c |      1320 |    7689    79408   112420 |    42629     1320     32 | 86.162 % |
1137.19/1137.50	c |      2080 |    7689    79408   112420 |    46892     2080     34 | 86.162 % |
1137.69/1138.08	c |      3219 |    7689    79408   112420 |    51581     3219     31 | 86.162 % |
1138.69/1139.01	c |      4927 |    7689    79408   112420 |    56739     4927     35 | 86.162 % |
1140.09/1140.49	c |      7490 |    7689    79408   112420 |    62413     7490     42 | 86.162 % |
1142.49/1142.89	c |     11334 |    7689    79408   112420 |    68654    11334     38 | 86.162 % |
1147.19/1147.56	c |     17100 |    7689    79408   112420 |    75520    17100     45 | 86.162 % |
1154.38/1154.73	c |     25749 |    7689    79408   112420 |    83072    25749     42 | 86.162 % |
1166.69/1167.07	c |     38723 |    7689    79408   112420 |    91379    38723     44 | 86.162 % |
1191.47/1191.88	c |     58184 |    7689    79408   112420 |   100517    58184     46 | 86.162 % |
1238.17/1238.56	c |     87376 |    7689    79408   112420 |   110568    87376     54 | 86.162 % |
1343.74/1344.19	c |    131167 |    7614    79408   112420 |   121625   122005     57 | 86.297 % |
1515.49/1515.97	c |    196851 |    7566    79408   112420 |   133788   158730     56 | 86.384 % |
1743.31/1743.81	c |    295377 |    7566    79408   112420 |   147167    93841     55 | 86.384 % |

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-2687345-1278452060/watcher-2687345-1278452060 -o /tmp/evaluation-result-2687345-1278452060/solver-2687345-1278452060 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687345-1278452060.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.94 1.02 1.00 3/106 23487
/proc/meminfo: memFree=1841592/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=8884 CPUtime=0
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 368 0 0 0 0 0 0 0 18 0 1 0 13419193 9097216 287 1992294400 134512640 135752675 4288900352 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 2221 287 139 303 0 446 0

[startup+0.0115111 s]
/proc/loadavg: 0.94 1.02 1.00 3/106 23487
/proc/meminfo: memFree=1841592/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=8884 CPUtime=0.01
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 391 0 0 0 1 0 0 0 18 0 1 0 13419193 9097216 310 1992294400 134512640 135752675 4288900352 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 2221 310 143 303 0 446 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8884

[startup+0.10152 s]
/proc/loadavg: 0.94 1.02 1.00 3/106 23487
/proc/meminfo: memFree=1841592/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=13516 CPUtime=0.09
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 1528 0 0 0 9 0 0 0 20 0 1 0 13419193 13840384 1447 1992294400 134512640 135752675 4288900352 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 3379 1448 272 303 0 1604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13516

[startup+0.301542 s]
/proc/loadavg: 0.94 1.02 1.00 3/106 23487
/proc/meminfo: memFree=1841592/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=16292 CPUtime=0.29
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 2515 0 0 0 28 1 0 0 20 0 1 0 13419193 16683008 2434 1992294400 134512640 135752675 4288900352 18446744073709551615 135209705 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 4073 2434 564 303 0 2298 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16292

[startup+0.701589 s]
/proc/loadavg: 0.94 1.02 1.00 3/106 23487
/proc/meminfo: memFree=1841592/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=23920 CPUtime=0.69
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 4765 0 0 0 67 2 0 0 20 0 1 0 13419193 24494080 4611 1992294400 134512640 135752675 4288900352 18446744073709551615 134559874 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 5980 4611 1173 303 0 4205 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23920

[startup+1.50168 s]
/proc/loadavg: 0.94 1.02 1.00 2/107 23488
/proc/meminfo: memFree=1824100/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=40832 CPUtime=1.49
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 11150 0 0 0 145 4 0 0 23 0 1 0 13419193 41811968 9283 1992294400 134512640 135752675 4288900352 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 10208 9283 142 303 0 9903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40832

[startup+3.10087 s]
/proc/loadavg: 0.94 1.02 1.00 2/107 23488
/proc/meminfo: memFree=1801532/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=45452 CPUtime=3.09
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 12319 0 0 0 304 5 0 0 25 0 1 0 13419193 46542848 10452 1992294400 134512640 135752675 4288900352 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 11363 10452 142 303 0 11058 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45452

[startup+6.30124 s]
/proc/loadavg: 0.95 1.02 1.00 2/107 23488
/proc/meminfo: memFree=1794092/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=52844 CPUtime=6.29
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 14161 0 0 0 624 5 0 0 25 0 1 0 13419193 54112256 12294 1992294400 134512640 135752675 4288900352 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 13211 12294 142 303 0 12906 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52844

[startup+12.701 s]
/proc/loadavg: 0.95 1.02 1.00 2/107 23489
/proc/meminfo: memFree=1782684/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=63800 CPUtime=12.69
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 16910 0 0 0 1262 7 0 0 25 0 1 0 13419193 65331200 15043 1992294400 134512640 135752675 4288900352 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 15950 15043 142 303 0 15645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63800

[startup+25.5015 s]
/proc/loadavg: 0.96 1.02 1.00 2/107 23490
/proc/meminfo: memFree=1767804/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=77264 CPUtime=25.48
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 20275 0 0 0 2540 8 0 0 25 0 1 0 13419193 79118336 18408 1992294400 134512640 135752675 4288900352 18446744073709551615 134523936 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 19316 18408 142 303 0 19011 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77264

[startup+51.1014 s]
/proc/loadavg: 0.97 1.02 1.00 2/107 23490
/proc/meminfo: memFree=1748460/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=96572 CPUtime=51.08
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 25095 0 0 0 5097 11 0 0 25 0 1 0 13419193 98889728 23228 1992294400 134512640 135752675 4288900352 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 24143 23228 142 303 0 23838 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96572

[startup+102.308 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 23492
/proc/meminfo: memFree=1728124/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=116052 CPUtime=102.27
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31032 0 0 0 10207 20 0 0 25 0 1 0 13419193 118837248 28181 1992294400 134512640 135752675 4288900352 18446744073709551615 134601621 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 29013 28181 145 303 0 28708 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 116052

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 23493
/proc/meminfo: memFree=1728124/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=116052 CPUtime=162.25
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31032 0 0 0 16176 49 0 0 25 0 1 0 13419193 118837248 28181 1992294400 134512640 135752675 4288900352 18446744073709551615 134640690 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 29013 28181 145 303 0 28708 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 116052

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23494
/proc/meminfo: memFree=1736804/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=105988 CPUtime=222.23
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31569 0 0 0 22150 73 0 0 25 0 1 0 13419193 108531712 25967 1992294400 134512640 135752675 4288900352 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 26497 25967 146 303 0 26192 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 105988

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23496
/proc/meminfo: memFree=1736804/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=105988 CPUtime=282.22
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31570 0 0 0 28126 96 0 0 25 0 1 0 13419193 108531712 25968 1992294400 134512640 135752675 4288900352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 26497 25968 146 303 0 26192 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 105988

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23498
/proc/meminfo: memFree=1736804/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=105988 CPUtime=342.2
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31570 0 0 0 34108 112 0 0 25 0 1 0 13419193 108531712 25968 1992294400 134512640 135752675 4288900352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 26497 25968 146 303 0 26192 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 105988

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23500
/proc/meminfo: memFree=1736680/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=105988 CPUtime=402.18
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31570 0 0 0 40091 127 0 0 25 0 1 0 13419193 108531712 25968 1992294400 134512640 135752675 4288900352 18446744073709551615 134604929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 26497 25968 146 303 0 26192 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 105988

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23501
/proc/meminfo: memFree=1736680/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=105988 CPUtime=462.16
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31570 0 0 0 46069 147 0 0 25 0 1 0 13419193 108531712 25968 1992294400 134512640 135752675 4288900352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 26497 25968 146 303 0 26192 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 105988

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23502
/proc/meminfo: memFree=1736556/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=105988 CPUtime=522.15
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31570 0 0 0 52053 162 0 0 25 0 1 0 13419193 108531712 25968 1992294400 134512640 135752675 4288900352 18446744073709551615 134607603 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 26497 25968 146 303 0 26192 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 105988

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23504
/proc/meminfo: memFree=1736556/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=105988 CPUtime=582.13
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31570 0 0 0 58038 175 0 0 25 0 1 0 13419193 108531712 25968 1992294400 134512640 135752675 4288900352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 26497 25968 146 303 0 26192 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 105988

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23506
/proc/meminfo: memFree=1736432/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=105988 CPUtime=642.13
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 31570 0 0 0 64029 184 0 0 25 0 1 0 13419193 108531712 25968 1992294400 134512640 135752675 4288900352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 26497 25968 146 303 0 26192 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 105988

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23510
/proc/meminfo: memFree=1721924/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=121220 CPUtime=822.08
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 35339 0 0 0 81987 221 0 0 25 0 1 0 13419193 124129280 29737 1992294400 134512640 135752675 4288900352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 30305 29737 146 303 0 30000 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 121220

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23512
/proc/meminfo: memFree=1716344/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=126648 CPUtime=882.06
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 36718 0 0 0 87975 231 0 0 25 0 1 0 13419193 129687552 31116 1992294400 134512640 135752675 4288900352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 31662 31116 146 303 0 31357 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 126648

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23514
/proc/meminfo: memFree=1705060/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=138164 CPUtime=942.04
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 39571 0 0 0 93955 249 0 0 25 0 1 0 13419193 141479936 33969 1992294400 134512640 135752675 4288900352 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 34541 33969 146 303 0 34236 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 138164

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23516
/proc/meminfo: memFree=1692536/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=150344 CPUtime=1002.02
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 42621 0 0 0 99935 267 0 0 25 0 1 0 13419193 153952256 37019 1992294400 134512640 135752675 4288900352 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 37586 37019 146 303 0 37281 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 150344

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23517
/proc/meminfo: memFree=1683732/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=159340 CPUtime=1062.01
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 44861 0 0 0 105920 281 0 0 25 0 1 0 13419193 163164160 39259 1992294400 134512640 135752675 4288900352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 39835 39259 146 303 0 39530 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 159340

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23518
/proc/meminfo: memFree=1675176/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=167788 CPUtime=1121.99
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 46982 0 0 0 111906 293 0 0 25 0 1 0 13419193 171814912 41380 1992294400 134512640 135752675 4288900352 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 41947 41380 146 303 0 41642 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 167788

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23520
/proc/meminfo: memFree=1662776/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=180700 CPUtime=1181.97
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 50235 0 0 0 117883 314 0 0 25 0 1 0 13419193 185036800 44424 1992294400 134512640 135752675 4288900352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 45175 44424 146 303 0 44870 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 180700

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23522
/proc/meminfo: memFree=1657816/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=185584 CPUtime=1241.96
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 51455 0 0 0 123865 331 0 0 25 0 1 0 13419193 190038016 45644 1992294400 134512640 135752675 4288900352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 46396 45644 146 303 0 46091 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 185584

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23524
/proc/meminfo: memFree=1650376/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=193004 CPUtime=1301.95
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 53276 0 0 0 129849 346 0 0 25 0 1 0 13419193 197636096 47465 1992294400 134512640 135752675 4288900352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 48251 47465 146 303 0 47946 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 193004

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23525
/proc/meminfo: memFree=1644176/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=199108 CPUtime=1361.93
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 54841 0 0 0 135833 360 0 0 25 0 1 0 13419193 203886592 49030 1992294400 134512640 135752675 4288900352 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 49777 49030 146 303 0 49472 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 199108

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23526
/proc/meminfo: memFree=1639464/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=204044 CPUtime=1421.92
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 56016 0 0 0 141820 372 0 0 25 0 1 0 13419193 208941056 50205 1992294400 134512640 135752675 4288900352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 51011 50205 146 303 0 50706 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 204044

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23528
/proc/meminfo: memFree=1633636/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=209788 CPUtime=1481.89
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 57445 0 0 0 147804 385 0 0 25 0 1 0 13419193 214822912 51634 1992294400 134512640 135752675 4288900352 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 52447 51634 146 303 0 52142 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 209788

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23530
/proc/meminfo: memFree=1627560/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=215780 CPUtime=1541.87
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 58947 0 0 0 153789 398 0 0 25 0 1 0 13419193 220958720 53136 1992294400 134512640 135752675 4288900352 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 53945 53136 146 303 0 53640 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 215780

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23541
/proc/meminfo: memFree=1622228/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=220136 CPUtime=1601.85
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 60051 0 0 0 159776 409 0 0 25 0 1 0 13419193 225419264 54240 1992294400 134512640 135752675 4288900352 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 55034 54240 146 303 0 54729 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 220136

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23542
/proc/meminfo: memFree=1612556/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=230432 CPUtime=1661.84
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 62622 0 0 0 165755 429 0 0 25 0 1 0 13419193 235962368 56811 1992294400 134512640 135752675 4288900352 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 57608 56811 146 303 0 57303 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 230432

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23543
/proc/meminfo: memFree=1605488/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=237368 CPUtime=1721.82
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 64377 0 0 0 171738 444 0 0 25 0 1 0 13419193 243064832 58566 1992294400 134512640 135752675 4288900352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 59342 58566 146 303 0 59037 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 237368

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23545
/proc/meminfo: memFree=1597924/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=245052 CPUtime=1781.8
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 66286 0 0 0 177722 458 0 0 25 0 1 0 13419193 250933248 60475 1992294400 134512640 135752675 4288900352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 61263 60475 146 303 0 60958 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 245052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 23545
/proc/meminfo: memFree=1595320/2059040 swapFree=4164992/4192956
[pid=23487] ppid=23485 vsize=247692 CPUtime=1800.11
/proc/23487/stat : 23487 (wbo1.4b) R 23485 23487 22932 0 -1 4202496 66929 0 0 0 179548 463 0 0 25 0 1 0 13419193 253636608 61118 1992294400 134512640 135752675 4288900352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23487/statm: 61923 61118 146 303 0 61618 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 247692

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.15
CPU user time (s): 1795.48
CPU system time (s): 4.66429
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 247692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.48
system time used= 4.66429
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66929
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= 50
involuntary context switches= 2051

runsolver used 2.77658 second user time and 8.74067 second system time

The end

Launcher Data 

Begin job on node011 at 2010-07-06 23:34:20
IDJOB=2687345
IDBENCH=77699
IDSOLVER=1190
FILE ID=node011/2687345-1278452060
PBS_JOBID= 11233501
Free space on /tmp= 62436 MiB

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

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

MD5SUM BENCH= b0c7829ae2c1e7f3e474b84d63238c03
RANDOM SEED=1844025877

node011.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.212
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.42
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.212
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1842120 kB
Buffers:          7936 kB
Cached:         106712 kB
SwapCached:        708 kB
Active:          22796 kB
Inactive:       125924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1842120 kB
SwapTotal:     4192956 kB
SwapFree:      4164992 kB
Dirty:            8784 kB
Writeback:           0 kB
AnonPages:       33308 kB
Mapped:          13612 kB
Slab:            46304 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180128 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= 62436 MiB
End job on node011 at 2010-07-07 00:04:23