Trace number 2687254

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_5.std.opb
MD5SUMfca2bf846c4de68f23f92649fc394136
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark109
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 variables72842
Total number of constraints234238
Number of constraints which are clauses233038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2687254-1278450407.opb.
0.00/0.00	c Instance file HOME/instance-2687254-1278450407.opb
0.00/0.00	c File size is 8038203 bytes.
1.69/1.70	c Highest Coefficient sum: 733
1.69/1.70	c ============================[ Problem Statistics ]=============================
1.69/1.70	c |                                                                             |
1.69/1.70	c |  Parsing time:          1.66         s                                      |
1.69/1.70	c |  Number Variables:      72842                                               |
1.69/1.70	c |  Number Clauses:        233038                                              |
1.69/1.70	c |  Number Cardinality:    0                                                   |
1.69/1.70	c |  Number PB Constraints: 1200                                                |
94.85/94.98	c ============================[ Search Statistics ]==============================
94.85/94.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.85/94.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.85/94.98	c ===============================================================================
94.85/94.99	c |         0 |   56872   235586   555067 |    78079        0    nan |  0.000 % |
94.95/95.05	c ===============================================================================
94.95/95.05	c New solution: 300
94.95/95.05	o 300
94.95/95.05	c Elapsed CPU time: 94.8796 s	Remaining CPU time: 85.1204 s
94.95/95.05	c ===============================================================================
94.95/95.05	c |         0 |   56872   235587   555367 |    78529        0    nan |  0.000 % |
95.05/95.13	c |       100 |   56865   235587   555367 |    86381      100     44 | 22.090 % |
95.15/95.24	c |       250 |   56853   235587   555367 |    95020      250     52 | 22.090 % |
95.25/95.38	c |       478 |   56853   235587   555367 |   104522      478     54 | 22.090 % |
95.45/95.57	c |       820 |   56839   235587   555367 |   114974      820     53 | 22.090 % |
95.56/95.63	c ===============================================================================
95.56/95.63	c New solution: 299
95.56/95.63	o 299
95.56/95.63	c Elapsed CPU time: 95.4445 s	Remaining CPU time: 84.5555 s
95.56/95.63	c ===============================================================================
95.56/95.63	c |       824 |   56751   235588   555667 |    78529      824     52 | 22.090 % |
95.56/95.68	c ===============================================================================
95.56/95.68	c New solution: 298
95.56/95.68	o 298
95.56/95.68	c Elapsed CPU time: 95.5035 s	Remaining CPU time: 84.4965 s
95.56/95.68	c ===============================================================================
95.56/95.68	c |       830 |   56622   235589   555967 |    78529      830     52 | 22.090 % |
95.66/95.74	c ===============================================================================
95.66/95.74	c New solution: 297
95.66/95.74	o 297
95.66/95.74	c Elapsed CPU time: 95.5595 s	Remaining CPU time: 84.4405 s
95.66/95.74	c ===============================================================================
95.66/95.74	c |       846 |   56480   235590   556267 |    78530      846     52 | 22.090 % |
95.66/95.79	c ===============================================================================
95.66/95.79	c New solution: 296
95.66/95.79	o 296
95.66/95.79	c Elapsed CPU time: 95.6085 s	Remaining CPU time: 84.3915 s
95.66/95.79	c ===============================================================================
95.66/95.79	c |       849 |   56323   235591   556567 |    78530      849     52 | 22.090 % |
95.75/95.85	c ===============================================================================
95.75/95.85	c New solution: 295
95.75/95.85	o 295
95.75/95.85	c Elapsed CPU time: 95.6665 s	Remaining CPU time: 84.3335 s
95.75/95.85	c ===============================================================================
95.75/95.85	c |       868 |   56154   235592   556867 |    78530      868     52 | 22.090 % |
95.85/95.91	c ===============================================================================
95.85/95.91	c New solution: 294
95.85/95.91	o 294
95.85/95.91	c Elapsed CPU time: 95.7214 s	Remaining CPU time: 84.2786 s
95.85/95.91	c ===============================================================================
95.85/95.91	c |       879 |   55976   235593   557167 |    78531      879     51 | 22.090 % |
95.85/95.97	c ===============================================================================
95.85/95.97	c New solution: 293
95.85/95.97	o 293
95.85/95.97	c Elapsed CPU time: 95.7854 s	Remaining CPU time: 84.2146 s
95.85/95.97	c ===============================================================================
95.85/95.97	c |       915 |   55784   235594   557467 |    78531      915     51 | 22.090 % |
95.95/96.03	c |      1015 |   55776   235594   557467 |    86384     1015     52 | 23.703 % |
95.95/96.08	c ===============================================================================
95.95/96.08	c New solution: 292
95.95/96.08	o 292
95.95/96.08	c Elapsed CPU time: 95.8984 s	Remaining CPU time: 84.1016 s
95.95/96.08	c ===============================================================================
95.95/96.08	c |      1026 |   55576   235595   557767 |    78531     1026     52 | 23.703 % |
96.05/96.15	c ===============================================================================
96.05/96.15	c New solution: 291
96.05/96.15	o 291
96.05/96.15	c Elapsed CPU time: 95.9624 s	Remaining CPU time: 84.0376 s
96.05/96.15	c ===============================================================================
96.05/96.15	c |      1037 |   55357   235596   558067 |    78532      660     52 | 23.703 % |
96.15/96.22	c ===============================================================================
96.15/96.22	c New solution: 290
96.15/96.22	o 290
96.15/96.22	c Elapsed CPU time: 96.0314 s	Remaining CPU time: 83.9686 s
96.15/96.22	c ===============================================================================
96.15/96.22	c |      1090 |   55126   235597   558367 |    78532      713     52 | 23.703 % |
96.15/96.28	c ===============================================================================
96.15/96.28	c New solution: 289
96.15/96.28	o 289
96.15/96.28	c Elapsed CPU time: 96.0894 s	Remaining CPU time: 83.9106 s
96.15/96.28	c ===============================================================================
96.15/96.28	c |      1096 |   54884   235598   558667 |    78532      719     51 | 23.703 % |
96.25/96.33	c ===============================================================================
96.25/96.33	c New solution: 288
96.25/96.33	o 288
96.25/96.33	c Elapsed CPU time: 96.1424 s	Remaining CPU time: 83.8576 s
96.25/96.33	c ===============================================================================
96.25/96.33	c |      1097 |   54642   235599   558967 |    78533      720     51 | 23.703 % |
96.25/96.39	c ===============================================================================
96.25/96.39	c New solution: 287
96.25/96.39	o 287
96.25/96.39	c Elapsed CPU time: 96.2034 s	Remaining CPU time: 83.7966 s
96.25/96.39	c ===============================================================================
96.25/96.39	c |      1098 |   54400   235600   559267 |    78533      721     51 | 23.703 % |
96.35/96.46	c ===============================================================================
96.35/96.46	c New solution: 286
96.35/96.46	o 286
96.35/96.46	c Elapsed CPU time: 96.2684 s	Remaining CPU time: 83.7316 s
96.35/96.46	c ===============================================================================
96.35/96.46	c |      1103 |   54158   235601   559567 |    78533      726     51 | 23.703 % |
96.45/96.52	c ===============================================================================
96.45/96.52	c New solution: 285
96.45/96.52	o 285
96.45/96.52	c Elapsed CPU time: 96.3354 s	Remaining CPU time: 83.6646 s
96.45/96.53	c ===============================================================================
96.45/96.53	c |      1106 |   53916   235602   559867 |    78534      729     51 | 23.703 % |
96.45/96.59	c ===============================================================================
96.45/96.59	c New solution: 284
96.45/96.59	o 284
96.45/96.59	c Elapsed CPU time: 96.4003 s	Remaining CPU time: 83.5997 s
96.45/96.59	c ===============================================================================
96.45/96.59	c |      1113 |   53674   235603   560167 |    78534      736     51 | 23.703 % |
96.55/96.64	c ===============================================================================
96.55/96.64	c New solution: 283
96.55/96.64	o 283
96.55/96.64	c Elapsed CPU time: 96.4513 s	Remaining CPU time: 83.5487 s
96.55/96.64	c ===============================================================================
96.55/96.64	c |      1114 |   53432   235604   560467 |    78534      737     51 | 23.703 % |
96.65/96.72	c ===============================================================================
96.65/96.72	c New solution: 282
96.65/96.72	o 282
96.65/96.72	c Elapsed CPU time: 96.5283 s	Remaining CPU time: 83.4717 s
96.65/96.72	c ===============================================================================
96.65/96.72	c |      1169 |   53190   235605   560767 |    78535      792     51 | 23.703 % |
96.65/96.78	c ===============================================================================
96.65/96.78	c New solution: 281
96.65/96.78	o 281
96.65/96.78	c Elapsed CPU time: 96.5873 s	Remaining CPU time: 83.4127 s
96.65/96.78	c ===============================================================================
96.65/96.78	c |      1176 |   52948   235606   561067 |    78535      607     50 | 23.703 % |
96.75/96.84	c ===============================================================================
96.75/96.84	c New solution: 280
96.75/96.84	o 280
96.75/96.84	c Elapsed CPU time: 96.6463 s	Remaining CPU time: 83.3537 s
96.75/96.84	c ===============================================================================
96.75/96.84	c |      1202 |   52706   235607   561367 |    78535      633     50 | 23.703 % |
96.85/96.90	c ===============================================================================
96.85/96.90	c New solution: 279
96.85/96.90	o 279
96.85/96.90	c Elapsed CPU time: 96.6993 s	Remaining CPU time: 83.3007 s
96.85/96.90	c ===============================================================================
96.85/96.90	c |      1210 |   52464   235608   561667 |    78536      641     50 | 23.703 % |
96.85/96.95	c ===============================================================================
96.85/96.95	c New solution: 278
96.85/96.95	o 278
96.85/96.95	c Elapsed CPU time: 96.7543 s	Remaining CPU time: 83.2457 s
96.85/96.95	c ===============================================================================
96.85/96.95	c |      1217 |   52222   235609   561967 |    78536      648     49 | 23.703 % |
96.95/97.01	c ===============================================================================
96.95/97.01	c New solution: 277
96.95/97.01	o 277
96.95/97.01	c Elapsed CPU time: 96.8053 s	Remaining CPU time: 83.1947 s
96.95/97.01	c ===============================================================================
96.95/97.01	c |      1223 |   51980   235610   562267 |    78536      654     49 | 23.703 % |
96.95/97.06	c ===============================================================================
96.95/97.06	c New solution: 276
96.95/97.06	o 276
96.95/97.06	c Elapsed CPU time: 96.8573 s	Remaining CPU time: 83.1427 s
96.95/97.06	c ===============================================================================
96.95/97.06	c |      1229 |   51738   235611   562567 |    78537      660     49 | 23.703 % |
97.05/97.11	c ===============================================================================
97.05/97.11	c New solution: 275
97.05/97.11	o 275
97.05/97.11	c Elapsed CPU time: 96.9093 s	Remaining CPU time: 83.0907 s
97.05/97.11	c ===============================================================================
97.05/97.11	c |      1232 |   51496   235612   562867 |    78537      663     49 | 23.703 % |
97.05/97.16	c ===============================================================================
97.05/97.16	c New solution: 274
97.05/97.16	o 274
97.05/97.16	c Elapsed CPU time: 96.9603 s	Remaining CPU time: 83.0397 s
97.05/97.16	c ===============================================================================
97.05/97.16	c |      1233 |   51254   235613   563167 |    78537      664     49 | 23.703 % |
97.15/97.22	c ===============================================================================
97.15/97.22	c New solution: 273
97.15/97.22	o 273
97.15/97.22	c Elapsed CPU time: 97.0212 s	Remaining CPU time: 82.9788 s
97.15/97.22	c ===============================================================================
97.15/97.22	c |      1234 |   51012   235614   563467 |    78538      665     49 | 23.703 % |
97.15/97.28	c ===============================================================================
97.15/97.28	c New solution: 272
97.15/97.28	o 272
97.15/97.28	c Elapsed CPU time: 97.0772 s	Remaining CPU time: 82.9228 s
97.15/97.28	c ===============================================================================
97.15/97.28	c |      1236 |   50770   235615   563767 |    78538      667     49 | 23.703 % |
97.25/97.33	c ===============================================================================
97.25/97.33	c New solution: 271
97.25/97.33	o 271
97.25/97.33	c Elapsed CPU time: 97.1292 s	Remaining CPU time: 82.8708 s
97.25/97.33	c ===============================================================================
97.25/97.33	c |      1238 |   50528   235616   564067 |    78538      669     49 | 23.703 % |
97.25/97.39	c ===============================================================================
97.25/97.39	c New solution: 270
97.25/97.39	o 270
97.25/97.39	c Elapsed CPU time: 97.1842 s	Remaining CPU time: 82.8158 s
97.25/97.39	c ===============================================================================
97.25/97.39	c |      1242 |   50286   235617   564367 |    78539      538     51 | 23.703 % |
97.35/97.45	c ===============================================================================
97.35/97.45	c New solution: 269
97.35/97.45	o 269
97.35/97.45	c Elapsed CPU time: 97.2442 s	Remaining CPU time: 82.7558 s
97.35/97.45	c ===============================================================================
97.35/97.45	c |      1245 |   50044   235618   564667 |    78539      541     51 | 23.703 % |
97.45/97.52	c ===============================================================================
97.45/97.52	c New solution: 268
97.45/97.52	o 268
97.45/97.52	c Elapsed CPU time: 97.3112 s	Remaining CPU time: 82.6888 s
97.45/97.52	c ===============================================================================
97.45/97.52	c |      1249 |   49802   235619   564967 |    78539      545     50 | 23.703 % |
97.45/97.58	c ===============================================================================
97.45/97.58	c New solution: 267
97.45/97.58	o 267
97.45/97.58	c Elapsed CPU time: 97.3742 s	Remaining CPU time: 82.6258 s
97.45/97.58	c ===============================================================================
97.45/97.58	c |      1251 |   49560   235620   565267 |    78540      547     50 | 23.703 % |
97.55/97.63	c ===============================================================================
97.55/97.63	c New solution: 266
97.55/97.63	o 266
97.55/97.63	c Elapsed CPU time: 97.4232 s	Remaining CPU time: 82.5768 s
97.55/97.63	c ===============================================================================
97.55/97.63	c |      1255 |   49318   235621   565567 |    78540      551     50 | 23.703 % |
97.55/97.69	c |      1355 |   49240   235621   565567 |    86394      651     53 | 32.627 % |
97.64/97.79	c |      1505 |   49237   235621   565567 |    95033      801     56 | 32.627 % |
97.76/97.84	c ===============================================================================
97.76/97.84	c New solution: 265
97.76/97.84	o 265
97.76/97.84	c Elapsed CPU time: 97.6342 s	Remaining CPU time: 82.3658 s
97.76/97.84	c ===============================================================================
97.76/97.84	c |      1510 |   49076   235622   565867 |    78540      806     56 | 32.627 % |
97.76/97.90	c ===============================================================================
97.76/97.90	c New solution: 264
97.76/97.90	o 264
97.76/97.90	c Elapsed CPU time: 97.6861 s	Remaining CPU time: 82.3139 s
97.76/97.90	c ===============================================================================
97.76/97.90	c |      1513 |   48834   235623   566167 |    78541      809     55 | 32.627 % |
97.86/97.96	c ===============================================================================
97.86/97.96	c New solution: 263
97.86/97.96	o 263
97.86/97.96	c Elapsed CPU time: 97.7541 s	Remaining CPU time: 82.2459 s
97.86/97.96	c ===============================================================================
97.86/97.96	c |      1517 |   48592   235624   566467 |    78541      580     48 | 32.627 % |
97.95/98.03	c ===============================================================================
97.95/98.03	c New solution: 262
97.95/98.03	o 262
97.95/98.03	c Elapsed CPU time: 97.8151 s	Remaining CPU time: 82.1849 s
97.95/98.03	c ===============================================================================
97.95/98.03	c |      1519 |   48350   235625   566767 |    78541      582     47 | 32.627 % |
97.95/98.08	c ===============================================================================
97.95/98.08	c New solution: 261
97.95/98.08	o 261
97.95/98.08	c Elapsed CPU time: 97.8701 s	Remaining CPU time: 82.1299 s
97.95/98.08	c ===============================================================================
97.95/98.08	c |      1524 |   48108   235626   567067 |    78542      587     47 | 32.627 % |
98.05/98.14	c ===============================================================================
98.05/98.14	c New solution: 260
98.05/98.14	o 260
98.05/98.14	c Elapsed CPU time: 97.9301 s	Remaining CPU time: 82.0699 s
98.05/98.14	c ===============================================================================
98.05/98.14	c |      1556 |   47866   235627   567367 |    78542      619     47 | 32.627 % |
98.15/98.21	c ===============================================================================
98.15/98.21	c New solution: 259
98.15/98.21	o 259
98.15/98.21	c Elapsed CPU time: 97.9921 s	Remaining CPU time: 82.0079 s
98.15/98.21	c ===============================================================================
98.15/98.21	c |      1563 |   47624   235628   567667 |    78542      626     47 | 32.627 % |
98.15/98.28	c |      1663 |   47616   235628   567667 |    86396      726     49 | 34.952 % |
98.25/98.34	c ===============================================================================
98.25/98.34	c New solution: 258
98.25/98.34	o 258
98.25/98.34	c Elapsed CPU time: 98.1201 s	Remaining CPU time: 81.8799 s
98.25/98.34	c ===============================================================================
98.25/98.34	c |      1665 |   47382   235629   567967 |    78543      728     49 | 34.952 % |
98.25/98.39	c ===============================================================================
98.25/98.39	c New solution: 257
98.25/98.39	o 257
98.25/98.39	c Elapsed CPU time: 98.1741 s	Remaining CPU time: 81.8259 s
98.25/98.39	c ===============================================================================
98.25/98.39	c |      1669 |   47140   235630   568267 |    78543      732     49 | 34.952 % |
98.35/98.47	c ===============================================================================
98.35/98.47	c New solution: 256
98.35/98.47	o 256
98.35/98.47	c Elapsed CPU time: 98.2571 s	Remaining CPU time: 81.7429 s
98.35/98.47	c ===============================================================================
98.35/98.47	c |      1744 |   46898   235631   568567 |    78543      807     49 | 34.952 % |
98.45/98.55	c |      1846 |   46656   235631   568567 |    86398      619     52 | 35.949 % |
98.55/98.60	c ===============================================================================
98.55/98.60	c New solution: 255
98.55/98.60	o 255
98.55/98.60	c Elapsed CPU time: 98.388 s	Remaining CPU time: 81.612 s
98.55/98.60	c ===============================================================================
98.55/98.60	c |      1847 |   46656   235632   568867 |    78544      620     52 | 35.949 % |
98.55/98.66	c ===============================================================================
98.55/98.66	c New solution: 254
98.55/98.66	o 254
98.55/98.66	c Elapsed CPU time: 98.439 s	Remaining CPU time: 81.561 s
98.55/98.66	c ===============================================================================
98.55/98.66	c |      1847 |   46414   235633   569167 |    78544      620     52 | 35.949 % |
98.65/98.70	c ===============================================================================
98.65/98.70	c New solution: 253
98.65/98.70	o 253
98.65/98.70	c Elapsed CPU time: 98.488 s	Remaining CPU time: 81.512 s
98.65/98.70	c ===============================================================================
98.65/98.70	c |      1848 |   46172   235634   569467 |    78544      621     52 | 35.949 % |
98.65/98.76	c ===============================================================================
98.65/98.76	c New solution: 252
98.65/98.76	o 252
98.65/98.76	c Elapsed CPU time: 98.547 s	Remaining CPU time: 81.453 s
98.65/98.76	c ===============================================================================
98.65/98.76	c |      1850 |   45930   235635   569767 |    78545      623     52 | 35.949 % |
98.75/98.82	c ===============================================================================
98.75/98.82	c New solution: 251
98.75/98.82	o 251
98.75/98.82	c Elapsed CPU time: 98.6 s	Remaining CPU time: 81.4 s
98.75/98.82	c ===============================================================================
98.75/98.82	c |      1851 |   45688   235636   570067 |    78545      624     52 | 35.949 % |
98.75/98.87	c ===============================================================================
98.75/98.87	c New solution: 250
98.75/98.87	o 250
98.75/98.87	c Elapsed CPU time: 98.65 s	Remaining CPU time: 81.35 s
98.75/98.87	c ===============================================================================
98.75/98.87	c |      1858 |   45446   235637   570367 |    78545      631     51 | 35.949 % |
98.85/98.91	c |      1958 |   45388   235637   570367 |    86400      731     51 | 37.942 % |
98.95/99.05	c ===============================================================================
98.95/99.05	c New solution: 249
98.95/99.05	o 249
98.95/99.05	c Elapsed CPU time: 98.837 s	Remaining CPU time: 81.163 s
98.95/99.05	c ===============================================================================
98.95/99.05	c |      2093 |   45204   235638   570667 |    78546      866     55 | 37.942 % |
99.04/99.11	c ===============================================================================
99.04/99.11	c New solution: 248
99.04/99.11	o 248
99.04/99.11	c Elapsed CPU time: 98.897 s	Remaining CPU time: 81.103 s
99.04/99.11	c ===============================================================================
99.04/99.11	c |      2095 |   44962   235639   570967 |    78546      461     42 | 37.942 % |
99.04/99.16	c ===============================================================================
99.04/99.16	c New solution: 247
99.04/99.16	o 247
99.04/99.16	c Elapsed CPU time: 98.944 s	Remaining CPU time: 81.056 s
99.04/99.16	c ===============================================================================
99.04/99.16	c |      2095 |   44720   235640   571267 |    78546      461     42 | 37.942 % |
99.14/99.22	c ===============================================================================
99.14/99.22	c New solution: 246
99.14/99.22	o 246
99.14/99.22	c Elapsed CPU time: 99.0019 s	Remaining CPU time: 80.9981 s
99.14/99.22	c ===============================================================================
99.14/99.22	c |      2099 |   44478   235641   571567 |    78547      465     42 | 37.942 % |
99.14/99.27	c ===============================================================================
99.14/99.27	c New solution: 245
99.14/99.27	o 245
99.14/99.27	c Elapsed CPU time: 99.0529 s	Remaining CPU time: 80.9471 s
99.14/99.27	c ===============================================================================
99.14/99.27	c |      2115 |   44236   235642   571867 |    78547      481     41 | 37.942 % |
99.24/99.32	c ===============================================================================
99.24/99.32	c New solution: 244
99.24/99.32	o 244
99.24/99.32	c Elapsed CPU time: 99.0989 s	Remaining CPU time: 80.9011 s
99.24/99.32	c ===============================================================================
99.24/99.32	c |      2115 |   43994   235643   572167 |    78547      481     41 | 37.942 % |
99.24/99.37	c ===============================================================================
99.24/99.37	c New solution: 243
99.24/99.37	o 243
99.24/99.37	c Elapsed CPU time: 99.1479 s	Remaining CPU time: 80.8521 s
99.24/99.37	c ===============================================================================
99.24/99.37	c |      2122 |   43752   235644   572467 |    78548      488     41 | 37.942 % |
99.34/99.42	c ===============================================================================
99.34/99.42	c New solution: 242
99.34/99.42	o 242
99.34/99.42	c Elapsed CPU time: 99.2049 s	Remaining CPU time: 80.7951 s
99.34/99.42	c ===============================================================================
99.34/99.42	c |      2124 |   43510   235645   572767 |    78548      490     41 | 37.942 % |
99.34/99.47	c ===============================================================================
99.34/99.47	c New solution: 241
99.34/99.47	o 241
99.34/99.47	c Elapsed CPU time: 99.2529 s	Remaining CPU time: 80.7471 s
99.34/99.47	c ===============================================================================
99.34/99.47	c |      2125 |   43268   235646   573067 |    78548      491     41 | 37.942 % |
99.44/99.53	c ===============================================================================
99.44/99.53	c New solution: 240
99.44/99.53	o 240
99.44/99.53	c Elapsed CPU time: 99.3089 s	Remaining CPU time: 80.6911 s
99.44/99.53	c ===============================================================================
99.44/99.53	c |      2125 |   43026   235647   573367 |    78549      491     41 | 37.942 % |
99.44/99.58	c ===============================================================================
99.44/99.58	c New solution: 239
99.44/99.58	o 239
99.44/99.58	c Elapsed CPU time: 99.3649 s	Remaining CPU time: 80.6351 s
99.44/99.58	c ===============================================================================
99.44/99.58	c |      2127 |   42784   235648   573667 |    78549      493     41 | 37.942 % |
99.54/99.64	c ===============================================================================
99.54/99.64	c New solution: 238
99.54/99.64	o 238
99.54/99.64	c Elapsed CPU time: 99.4199 s	Remaining CPU time: 80.5801 s
99.54/99.64	c ===============================================================================
99.54/99.64	c |      2129 |   42542   235649   573967 |    78549      495     41 | 37.942 % |
99.65/99.70	c ===============================================================================
99.65/99.70	c New solution: 237
99.65/99.70	o 237
99.65/99.70	c Elapsed CPU time: 99.4769 s	Remaining CPU time: 80.5231 s
99.65/99.70	c ===============================================================================
99.65/99.70	c |      2138 |   42300   235650   574267 |    78550      504     41 | 37.942 % |
99.65/99.75	c ===============================================================================
99.65/99.75	c New solution: 236
99.65/99.75	o 236
99.65/99.75	c Elapsed CPU time: 99.5309 s	Remaining CPU time: 80.4691 s
99.65/99.75	c ===============================================================================
99.65/99.75	c |      2166 |   42058   235651   574567 |    78550      532     40 | 37.942 % |
99.75/99.81	c ===============================================================================
99.75/99.81	c New solution: 235
99.75/99.81	o 235
99.75/99.81	c Elapsed CPU time: 99.5869 s	Remaining CPU time: 80.4131 s
99.75/99.81	c ===============================================================================
99.75/99.81	c |      2179 |   41816   235652   574867 |    78550      208     34 | 37.942 % |
99.75/99.86	c ===============================================================================
99.75/99.86	c New solution: 234
99.75/99.86	o 234
99.75/99.86	c Elapsed CPU time: 99.6349 s	Remaining CPU time: 80.3651 s
99.75/99.86	c ===============================================================================
99.75/99.86	c |      2186 |   41574   235653   575167 |    78551      215     34 | 37.942 % |
99.85/99.90	c ===============================================================================
99.85/99.90	c New solution: 233
99.85/99.90	o 233
99.85/99.90	c Elapsed CPU time: 99.6808 s	Remaining CPU time: 80.3192 s
99.85/99.90	c ===============================================================================
99.85/99.90	c |      2188 |   41332   235654   575467 |    78551      217     34 | 37.942 % |
99.85/99.95	c ===============================================================================
99.85/99.95	c New solution: 232
99.85/99.95	o 232
99.85/99.95	c Elapsed CPU time: 99.7288 s	Remaining CPU time: 80.2712 s
99.85/99.95	c ===============================================================================
99.85/99.95	c |      2193 |   41090   235655   575767 |    78551      222     34 | 37.942 % |
99.96/100.01	c ===============================================================================
99.96/100.01	c New solution: 231
99.96/100.01	o 231
99.96/100.01	c Elapsed CPU time: 99.7838 s	Remaining CPU time: 80.2162 s
99.96/100.01	c ===============================================================================
99.96/100.01	c |      2199 |   40848   235656   576067 |    78552      228     34 | 37.942 % |
99.96/100.06	c ===============================================================================
99.96/100.06	c New solution: 230
99.96/100.06	o 230
99.96/100.06	c Elapsed CPU time: 99.8378 s	Remaining CPU time: 80.1622 s
99.96/100.06	c ===============================================================================
99.96/100.06	c |      2212 |   40606   235657   576367 |    78552      241     34 | 37.942 % |
99.96/100.10	c |      2313 |   40553   235657   576367 |    86407      342     36 | 44.587 % |
100.06/100.18	c ===============================================================================
100.06/100.18	c New solution: 229
100.06/100.18	o 229
100.06/100.18	c Elapsed CPU time: 99.9588 s	Remaining CPU time: 80.0412 s
100.06/100.18	c ===============================================================================
100.06/100.18	c |      2370 |   40364   235658   576667 |    78552      399     38 | 44.587 % |
100.15/100.24	c ===============================================================================
100.15/100.24	c New solution: 228
100.15/100.24	o 228
100.15/100.24	c Elapsed CPU time: 100.014 s	Remaining CPU time: 79.9862 s
100.15/100.24	c ===============================================================================
100.15/100.24	c |      2374 |   40122   235659   576967 |    78553      403     38 | 44.587 % |
100.15/100.29	c ===============================================================================
100.15/100.29	c New solution: 227
100.15/100.29	o 227
100.15/100.29	c Elapsed CPU time: 100.061 s	Remaining CPU time: 79.9392 s
100.15/100.29	c ===============================================================================
100.15/100.29	c |      2383 |   39880   235660   577267 |    78553      412     38 | 44.587 % |
100.25/100.34	c ===============================================================================
100.25/100.34	c New solution: 226
100.25/100.34	o 226
100.25/100.34	c Elapsed CPU time: 100.117 s	Remaining CPU time: 79.8832 s
100.25/100.34	c ===============================================================================
100.25/100.34	c |      2389 |   39638   235661   577567 |    78553      418     38 | 44.587 % |
100.25/100.39	c ===============================================================================
100.25/100.39	c New solution: 225
100.25/100.39	o 225
100.25/100.39	c Elapsed CPU time: 100.164 s	Remaining CPU time: 79.8362 s
100.25/100.39	c ===============================================================================
100.25/100.39	c |      2401 |   39396   235662   577867 |    78554      430     37 | 44.587 % |
100.35/100.45	c |      2502 |   39154   235662   577867 |    86409      395     41 | 46.248 % |
100.45/100.55	c |      2652 |   39154   235662   577867 |    95050      545     46 | 46.248 % |
100.55/100.60	c ===============================================================================
100.55/100.60	c New solution: 224
100.55/100.60	o 224
100.55/100.60	c Elapsed CPU time: 100.377 s	Remaining CPU time: 79.6233 s
100.55/100.60	c ===============================================================================
100.55/100.60	c |      2657 |   39154   235663   578167 |    78554      550     46 | 46.248 % |
100.55/100.65	c ===============================================================================
100.55/100.65	c New solution: 223
100.55/100.65	o 223
100.55/100.65	c Elapsed CPU time: 100.421 s	Remaining CPU time: 79.5793 s
100.55/100.65	c ===============================================================================
100.55/100.65	c |      2659 |   38912   235664   578467 |    78554      552     46 | 46.248 % |
100.55/100.69	c ===============================================================================
100.55/100.69	c New solution: 222
100.55/100.69	o 222
100.55/100.69	c Elapsed CPU time: 100.466 s	Remaining CPU time: 79.5343 s
100.55/100.69	c ===============================================================================
100.55/100.69	c |      2662 |   38670   235665   578767 |    78555      555     46 | 46.248 % |
100.64/100.74	c ===============================================================================
100.64/100.74	c New solution: 221
100.64/100.74	o 221
100.64/100.74	c Elapsed CPU time: 100.51 s	Remaining CPU time: 79.4903 s
100.64/100.74	c ===============================================================================
100.64/100.74	c |      2665 |   38428   235666   579067 |    78555      558     46 | 46.248 % |
100.64/100.78	c ===============================================================================
100.64/100.78	c New solution: 220
100.64/100.78	o 220
100.64/100.78	c Elapsed CPU time: 100.554 s	Remaining CPU time: 79.4463 s
100.64/100.78	c ===============================================================================
100.64/100.78	c |      2665 |   38186   235667   579367 |    78555      558     46 | 46.248 % |
100.74/100.84	c ===============================================================================
100.74/100.84	c New solution: 219
100.74/100.84	o 219
100.74/100.84	c Elapsed CPU time: 100.607 s	Remaining CPU time: 79.3933 s
100.74/100.84	c ===============================================================================
100.74/100.84	c |      2669 |   37944   235668   579667 |    78556      562     45 | 46.248 % |
100.74/100.89	c |      2769 |   37914   235668   579667 |    86411      662     47 | 48.241 % |
100.84/100.96	c ===============================================================================
100.84/100.96	c New solution: 218
100.84/100.96	o 218
100.84/100.96	c Elapsed CPU time: 100.733 s	Remaining CPU time: 79.2673 s
100.84/100.96	c ===============================================================================
100.84/100.96	c |      2806 |   37702   235669   579967 |    78556      699     47 | 48.241 % |
100.94/101.01	c ===============================================================================
100.94/101.01	c New solution: 217
100.94/101.01	o 217
100.94/101.01	c Elapsed CPU time: 100.778 s	Remaining CPU time: 79.2223 s
100.94/101.01	c ===============================================================================
100.94/101.01	c |      2809 |   37460   235670   580267 |    78556      702     47 | 48.241 % |
100.94/101.06	c ===============================================================================
100.94/101.06	c New solution: 216
100.94/101.06	o 216
100.94/101.06	c Elapsed CPU time: 100.829 s	Remaining CPU time: 79.1713 s
100.94/101.06	c ===============================================================================
100.94/101.06	c |      2821 |   37218   235671   580567 |    78557      397     39 | 48.241 % |
101.06/101.11	c |      2922 |   37117   235671   580567 |    86412      498     38 | 49.238 % |
101.06/101.20	c |      3072 |   37115   235671   580567 |    95053      648     43 | 49.238 % |
101.16/101.29	c |      3297 |   37110   235671   580567 |   104559      873     48 | 49.238 % |
101.45/101.51	c |      3635 |   37108   235671   580567 |   115015     1211     52 | 49.238 % |
101.55/101.63	c ===============================================================================
101.55/101.63	c New solution: 215
101.55/101.63	o 215
101.55/101.63	c Elapsed CPU time: 101.395 s	Remaining CPU time: 78.6054 s
101.55/101.63	c ===============================================================================
101.55/101.63	c |      3734 |   36976   235672   580867 |    78557     1294     53 | 49.238 % |
101.55/101.69	c ===============================================================================
101.55/101.69	c New solution: 214
101.55/101.69	o 214
101.55/101.69	c Elapsed CPU time: 101.451 s	Remaining CPU time: 78.5494 s
101.55/101.69	c ===============================================================================
101.55/101.69	c |      3737 |   36734   235673   581167 |    78557     1297     53 | 49.238 % |
101.65/101.73	c ===============================================================================
101.65/101.73	c New solution: 213
101.65/101.73	o 213
101.65/101.73	c Elapsed CPU time: 101.498 s	Remaining CPU time: 78.5024 s
101.65/101.73	c ===============================================================================
101.65/101.73	c |      3742 |   36492   235674   581467 |    78558     1302     53 | 49.238 % |
101.74/101.81	c ===============================================================================
101.74/101.81	c New solution: 212
101.74/101.81	o 212
101.74/101.81	c Elapsed CPU time: 101.574 s	Remaining CPU time: 78.4264 s
101.74/101.81	c ===============================================================================
101.74/101.81	c |      3811 |   36250   235675   581767 |    78558     1371     52 | 49.238 % |
101.84/101.91	c |      3911 |   36240   235675   581767 |    86414     1471     53 | 50.567 % |
101.84/101.96	c ===============================================================================
101.84/101.96	c New solution: 211
101.84/101.96	o 211
101.84/101.96	c Elapsed CPU time: 101.725 s	Remaining CPU time: 78.2755 s
101.84/101.96	c ===============================================================================
101.84/101.96	c |      3920 |   36008   235676   582067 |    78558     1480     53 | 50.567 % |
101.94/102.01	c ===============================================================================
101.94/102.01	c New solution: 210
101.94/102.01	o 210
101.94/102.01	c Elapsed CPU time: 101.771 s	Remaining CPU time: 78.2295 s
101.94/102.01	c ===============================================================================
101.94/102.01	c |      3929 |   35766   235677   582367 |    78559     1489     53 | 50.567 % |
101.94/102.06	c ===============================================================================
101.94/102.06	c New solution: 209
101.94/102.06	o 209
101.94/102.06	c Elapsed CPU time: 101.819 s	Remaining CPU time: 78.1815 s
101.94/102.06	c ===============================================================================
101.94/102.06	c |      3939 |   35524   235678   582667 |    78559     1499     53 | 50.567 % |
102.05/102.12	c ===============================================================================
102.05/102.12	c New solution: 208
102.05/102.12	o 208
102.05/102.12	c Elapsed CPU time: 101.876 s	Remaining CPU time: 78.1245 s
102.05/102.12	c ===============================================================================
102.05/102.12	c |      3946 |   35282   235679   582967 |    78559     1506     53 | 50.567 % |
102.05/102.17	c ===============================================================================
102.05/102.17	c New solution: 207
102.05/102.17	o 207
102.05/102.17	c Elapsed CPU time: 101.93 s	Remaining CPU time: 78.0705 s
102.05/102.17	c ===============================================================================
102.05/102.17	c |      3952 |   35040   235680   583267 |    78560     1512     53 | 50.567 % |
102.16/102.23	c ===============================================================================
102.16/102.23	c New solution: 206
102.16/102.23	o 206
102.16/102.23	c Elapsed CPU time: 101.984 s	Remaining CPU time: 78.0155 s
102.16/102.23	c ===============================================================================
102.16/102.23	c |      3957 |   34798   235681   583567 |    78560     1517     52 | 50.567 % |
102.16/102.28	c ===============================================================================
102.16/102.28	c New solution: 205
102.16/102.28	o 205
102.16/102.28	c Elapsed CPU time: 102.038 s	Remaining CPU time: 77.9615 s
102.16/102.28	c ===============================================================================
102.16/102.28	c |      3958 |   34556   235682   583867 |    78560     1518     52 | 50.567 % |
102.26/102.33	c ===============================================================================
102.26/102.33	c New solution: 204
102.26/102.33	o 204
102.26/102.33	c Elapsed CPU time: 102.09 s	Remaining CPU time: 77.9095 s
102.26/102.33	c ===============================================================================
102.26/102.33	c |      3970 |   34314   235683   584167 |    78561      698     45 | 50.567 % |
102.35/102.40	c |      4070 |   34300   235683   584167 |    86417      798     46 | 53.225 % |
102.35/102.44	c ===============================================================================
102.35/102.44	c New solution: 203
102.35/102.44	o 203
102.35/102.44	c Elapsed CPU time: 102.199 s	Remaining CPU time: 77.8005 s
102.35/102.44	c ===============================================================================
102.35/102.44	c |      4070 |   34072   235684   584467 |    78561      798     46 | 53.225 % |
102.35/102.49	c ===============================================================================
102.35/102.49	c New solution: 202
102.35/102.49	o 202
102.35/102.49	c Elapsed CPU time: 102.242 s	Remaining CPU time: 77.7575 s
102.35/102.49	c ===============================================================================
102.35/102.49	c |      4073 |   33830   235685   584767 |    78561      801     46 | 53.225 % |
102.45/102.54	c ===============================================================================
102.45/102.54	c New solution: 201
102.45/102.54	o 201
102.45/102.54	c Elapsed CPU time: 102.293 s	Remaining CPU time: 77.7066 s
102.45/102.54	c ===============================================================================
102.45/102.54	c |      4077 |   33588   235686   585067 |    78562      805     46 | 53.225 % |
102.45/102.59	c ===============================================================================
102.45/102.59	c New solution: 200
102.45/102.59	o 200
102.45/102.59	c Elapsed CPU time: 102.343 s	Remaining CPU time: 77.6566 s
102.45/102.59	c ===============================================================================
102.45/102.59	c |      4088 |   33346   235687   585367 |    78562      816     46 | 53.225 % |
102.55/102.64	c ===============================================================================
102.55/102.64	c New solution: 199
102.55/102.64	o 199
102.55/102.64	c Elapsed CPU time: 102.394 s	Remaining CPU time: 77.6056 s
102.55/102.64	c ===============================================================================
102.55/102.64	c |      4092 |   33104   235688   585667 |    78562      820     45 | 53.225 % |
102.55/102.68	c ===============================================================================
102.55/102.68	c New solution: 198
102.55/102.68	o 198
102.55/102.68	c Elapsed CPU time: 102.44 s	Remaining CPU time: 77.5596 s
102.55/102.68	c ===============================================================================
102.55/102.68	c |      4102 |   32862   235689   585967 |    78563      830     45 | 53.225 % |
102.65/102.75	c ===============================================================================
102.65/102.75	c New solution: 197
102.65/102.75	o 197
102.65/102.75	c Elapsed CPU time: 102.503 s	Remaining CPU time: 77.4966 s
102.65/102.75	c ===============================================================================
102.65/102.75	c |      4138 |   32620   235690   586267 |    78563      866     45 | 53.225 % |
102.65/102.79	c ===============================================================================
102.65/102.79	c New solution: 196
102.65/102.79	o 196
102.65/102.79	c Elapsed CPU time: 102.546 s	Remaining CPU time: 77.4536 s
102.65/102.79	c ===============================================================================
102.65/102.79	c |      4140 |   32378   235691   586567 |    78563      868     44 | 53.225 % |
102.75/102.84	c ===============================================================================
102.75/102.84	c New solution: 195
102.75/102.84	o 195
102.75/102.84	c Elapsed CPU time: 102.593 s	Remaining CPU time: 77.4066 s
102.75/102.84	c ===============================================================================
102.75/102.84	c |      4148 |   32136   235692   586867 |    78564      876     44 | 53.225 % |
102.75/102.89	c ===============================================================================
102.75/102.89	c New solution: 194
102.75/102.89	o 194
102.75/102.89	c Elapsed CPU time: 102.639 s	Remaining CPU time: 77.3606 s
102.75/102.89	c ===============================================================================
102.75/102.89	c |      4155 |   31894   235693   587167 |    78564      883     44 | 53.225 % |
102.85/102.93	c ===============================================================================
102.85/102.93	c New solution: 193
102.85/102.93	o 193
102.85/102.93	c Elapsed CPU time: 102.684 s	Remaining CPU time: 77.3156 s
102.85/102.93	c ===============================================================================
102.85/102.93	c |      4161 |   31652   235694   587467 |    78564      889     44 | 53.225 % |
102.85/102.97	c ===============================================================================
102.85/102.97	c New solution: 192
102.85/102.97	o 192
102.85/102.97	c Elapsed CPU time: 102.726 s	Remaining CPU time: 77.2736 s
102.85/102.97	c ===============================================================================
102.85/102.97	c |      4164 |   31410   235695   587767 |    78565      892     44 | 53.225 % |
102.94/103.02	c ===============================================================================
102.94/103.02	c New solution: 191
102.94/103.02	o 191
102.94/103.02	c Elapsed CPU time: 102.77 s	Remaining CPU time: 77.2296 s
102.94/103.02	c ===============================================================================
102.94/103.02	c |      4168 |   31168   235696   588067 |    78565      896     44 | 53.225 % |
102.94/103.07	c |      4269 |   31126   235696   588067 |    86421      997     45 | 57.544 % |
103.04/103.16	c |      4420 |   30926   235696   588067 |    95064      485     39 | 57.544 % |
103.14/103.20	c ===============================================================================
103.14/103.20	c New solution: 190
103.14/103.20	o 190
103.14/103.20	c Elapsed CPU time: 102.955 s	Remaining CPU time: 77.0447 s
103.14/103.20	c ===============================================================================
103.14/103.20	c |      4426 |   30926   235697   588367 |    78565      491     39 | 57.544 % |
103.14/103.25	c ===============================================================================
103.14/103.25	c New solution: 189
103.14/103.25	o 189
103.14/103.25	c Elapsed CPU time: 103.001 s	Remaining CPU time: 76.9987 s
103.14/103.25	c ===============================================================================
103.14/103.25	c |      4431 |   30684   235698   588667 |    78566      496     39 | 57.544 % |
103.26/103.31	c ===============================================================================
103.26/103.31	c New solution: 188
103.26/103.31	o 188
103.26/103.31	c Elapsed CPU time: 103.055 s	Remaining CPU time: 76.9447 s
103.26/103.31	c ===============================================================================
103.26/103.31	c |      4464 |   30442   235699   588967 |    78566      529     39 | 57.544 % |
103.26/103.36	c ===============================================================================
103.26/103.36	c New solution: 187
103.26/103.36	o 187
103.26/103.36	c Elapsed CPU time: 103.111 s	Remaining CPU time: 76.8887 s
103.26/103.36	c ===============================================================================
103.26/103.36	c |      4479 |   30200   235700   589267 |    78566      544     39 | 57.544 % |
103.36/103.41	c ===============================================================================
103.36/103.41	c New solution: 186
103.36/103.41	o 186
103.36/103.41	c Elapsed CPU time: 103.153 s	Remaining CPU time: 76.8467 s
103.36/103.41	c ===============================================================================
103.36/103.41	c |      4483 |   29958   235701   589567 |    78567      548     39 | 57.544 % |
103.36/103.45	c ===============================================================================
103.36/103.45	c New solution: 185
103.36/103.45	o 185
103.36/103.45	c Elapsed CPU time: 103.199 s	Remaining CPU time: 76.8007 s
103.36/103.45	c ===============================================================================
103.36/103.45	c |      4491 |   29716   235702   589867 |    78567      556     39 | 57.544 % |
103.45/103.51	c ===============================================================================
103.45/103.51	c New solution: 184
103.45/103.51	o 184
103.45/103.51	c Elapsed CPU time: 103.252 s	Remaining CPU time: 76.7477 s
103.45/103.51	c ===============================================================================
103.45/103.51	c |      4511 |   29474   235703   590167 |    78567      576     39 | 57.544 % |
103.45/103.56	c |      4612 |   29452   235703   590167 |    86424      677     41 | 59.869 % |
103.55/103.61	c ===============================================================================
103.55/103.61	c New solution: 183
103.55/103.61	o 183
103.55/103.61	c Elapsed CPU time: 103.352 s	Remaining CPU time: 76.6477 s
103.55/103.61	c ===============================================================================
103.55/103.61	c |      4615 |   29232   235704   590467 |    78568      680     41 | 59.869 % |
103.55/103.65	c ===============================================================================
103.55/103.65	c New solution: 182
103.55/103.65	o 182
103.55/103.65	c Elapsed CPU time: 103.393 s	Remaining CPU time: 76.6067 s
103.55/103.65	c ===============================================================================
103.55/103.65	c |      4617 |   28990   235705   590767 |    78568      682     41 | 59.869 % |
103.55/103.69	c ===============================================================================
103.55/103.69	c New solution: 181
103.55/103.69	o 181
103.55/103.69	c Elapsed CPU time: 103.432 s	Remaining CPU time: 76.5677 s
103.55/103.69	c ===============================================================================
103.55/103.69	c |      4617 |   28748   235706   591067 |    78568      682     41 | 59.869 % |
103.65/103.73	c ===============================================================================
103.65/103.73	c New solution: 180
103.65/103.73	o 180
103.65/103.73	c Elapsed CPU time: 103.478 s	Remaining CPU time: 76.5217 s
103.65/103.73	c ===============================================================================
103.65/103.73	c |      4619 |   28506   235707   591367 |    78569      684     41 | 59.869 % |
103.65/103.77	c ===============================================================================
103.65/103.77	c New solution: 179
103.65/103.77	o 179
103.65/103.77	c Elapsed CPU time: 103.517 s	Remaining CPU time: 76.4827 s
103.65/103.77	c ===============================================================================
103.65/103.77	c |      4620 |   28264   235708   591667 |    78569      685     41 | 59.869 % |
103.75/103.82	c ===============================================================================
103.75/103.82	c New solution: 178
103.75/103.82	o 178
103.75/103.82	c Elapsed CPU time: 103.564 s	Remaining CPU time: 76.4357 s
103.75/103.82	c ===============================================================================
103.75/103.82	c |      4625 |   28022   235709   591967 |    78569      690     41 | 59.869 % |
103.75/103.87	c ===============================================================================
103.75/103.87	c New solution: 177
103.75/103.87	o 177
103.75/103.87	c Elapsed CPU time: 103.609 s	Remaining CPU time: 76.3908 s
103.75/103.87	c ===============================================================================
103.75/103.87	c |      4626 |   27780   235710   592267 |    78570      691     41 | 59.869 % |
103.85/103.92	c ===============================================================================
103.85/103.92	c New solution: 176
103.85/103.92	o 176
103.85/103.92	c Elapsed CPU time: 103.658 s	Remaining CPU time: 76.3418 s
103.85/103.92	c ===============================================================================
103.85/103.92	c |      4632 |   27538   235711   592567 |    78570      226     34 | 59.869 % |
103.85/103.96	c ===============================================================================
103.85/103.96	c New solution: 175
103.85/103.96	o 175
103.85/103.96	c Elapsed CPU time: 103.707 s	Remaining CPU time: 76.2928 s
103.85/103.96	c ===============================================================================
103.85/103.96	c |      4636 |   27296   235712   592867 |    78570      230     34 | 59.869 % |
103.95/104.01	c ===============================================================================
103.95/104.01	c New solution: 174
103.95/104.01	o 174
103.95/104.01	c Elapsed CPU time: 103.75 s	Remaining CPU time: 76.2498 s
103.95/104.01	c ===============================================================================
103.95/104.01	c |      4647 |   27054   235713   593167 |    78571      241     33 | 59.869 % |
103.95/104.05	c ===============================================================================
103.95/104.05	c New solution: 173
103.95/104.05	o 173
103.95/104.05	c Elapsed CPU time: 103.792 s	Remaining CPU time: 76.2078 s
103.95/104.05	c ===============================================================================
103.95/104.05	c |      4657 |   26812   235714   593467 |    78571      251     33 | 59.869 % |
103.95/104.09	c ===============================================================================
103.95/104.09	c New solution: 172
103.95/104.09	o 172
103.95/104.09	c Elapsed CPU time: 103.833 s	Remaining CPU time: 76.1668 s
103.95/104.09	c ===============================================================================
103.95/104.09	c |      4667 |   26570   235715   593767 |    78571      261     33 | 59.869 % |
104.04/104.15	c ===============================================================================
104.04/104.15	c New solution: 171
104.04/104.15	o 171
104.04/104.15	c Elapsed CPU time: 103.888 s	Remaining CPU time: 76.1118 s
104.04/104.15	c ===============================================================================
104.04/104.15	c |      4691 |   26328   235716   594067 |    78572      285     34 | 59.869 % |
104.04/104.19	c |      4791 |   26143   235716   594067 |    86429      385     41 | 64.188 % |
104.15/104.26	c |      4942 |   26143   235716   594067 |    95072      536     45 | 64.188 % |
104.36/104.41	c |      5168 |   26143   235716   594067 |   104579      762     46 | 64.188 % |
104.36/104.45	c ===============================================================================
104.36/104.45	c New solution: 170
104.36/104.45	o 170
104.36/104.45	c Elapsed CPU time: 104.191 s	Remaining CPU time: 75.8088 s
104.36/104.45	c ===============================================================================
104.36/104.45	c |      5175 |   26086   235717   594367 |    78572      769     46 | 64.188 % |
104.36/104.50	c ===============================================================================
104.36/104.50	c New solution: 169
104.36/104.50	o 169
104.36/104.50	c Elapsed CPU time: 104.237 s	Remaining CPU time: 75.7628 s
104.36/104.50	c ===============================================================================
104.36/104.50	c |      5190 |   25844   235718   594667 |    78572      784     46 | 64.188 % |
104.45/104.55	c ===============================================================================
104.45/104.55	c New solution: 168
104.45/104.55	o 168
104.45/104.55	c Elapsed CPU time: 104.284 s	Remaining CPU time: 75.7159 s
104.45/104.55	c ===============================================================================
104.45/104.55	c |      5202 |   25602   235719   594967 |    78573      796     46 | 64.188 % |
104.45/104.59	c ===============================================================================
104.45/104.59	c New solution: 167
104.45/104.59	o 167
104.45/104.59	c Elapsed CPU time: 104.323 s	Remaining CPU time: 75.6769 s
104.45/104.59	c ===============================================================================
104.45/104.59	c |      5204 |   25360   235720   595267 |    78573      798     46 | 64.188 % |
104.55/104.63	c ===============================================================================
104.55/104.63	c New solution: 166
104.55/104.63	o 166
104.55/104.63	c Elapsed CPU time: 104.363 s	Remaining CPU time: 75.6369 s
104.55/104.63	c ===============================================================================
104.55/104.63	c |      5208 |   25118   235721   595567 |    78573      802     46 | 64.188 % |
104.55/104.67	c ===============================================================================
104.55/104.67	c New solution: 165
104.55/104.67	o 165
104.55/104.67	c Elapsed CPU time: 104.402 s	Remaining CPU time: 75.5979 s
104.55/104.67	c ===============================================================================
104.55/104.67	c |      5213 |   24876   235722   595867 |    78574      453     47 | 64.188 % |
104.65/104.71	c ===============================================================================
104.65/104.71	c New solution: 164
104.65/104.71	o 164
104.65/104.71	c Elapsed CPU time: 104.447 s	Remaining CPU time: 75.5529 s
104.65/104.71	c ===============================================================================
104.65/104.71	c |      5219 |   24634   235723   596167 |    78574      459     47 | 64.188 % |
104.65/104.77	c |      5319 |   24590   235723   596167 |    86431      559     50 | 66.514 % |
104.75/104.82	c |      5469 |   24588   235723   596167 |    95074      709     48 | 66.514 % |
104.75/104.87	c ===============================================================================
104.75/104.87	c New solution: 163
104.75/104.87	o 163
104.75/104.87	c Elapsed CPU time: 104.598 s	Remaining CPU time: 75.4019 s
104.75/104.87	c ===============================================================================
104.75/104.87	c |      5471 |   24392   235724   596467 |    78574      711     48 | 66.514 % |
104.84/104.91	c ===============================================================================
104.84/104.91	c New solution: 162
104.84/104.91	o 162
104.84/104.91	c Elapsed CPU time: 104.638 s	Remaining CPU time: 75.3619 s
104.84/104.91	c ===============================================================================
104.84/104.91	c |      5475 |   24150   235725   596767 |    78575      715     48 | 66.514 % |
104.84/104.95	c ===============================================================================
104.84/104.95	c New solution: 161
104.84/104.95	o 161
104.84/104.95	c Elapsed CPU time: 104.678 s	Remaining CPU time: 75.3219 s
104.84/104.95	c ===============================================================================
104.84/104.95	c |      5476 |   23908   235726   597067 |    78575      716     48 | 66.514 % |
104.84/104.99	c ===============================================================================
104.84/104.99	c New solution: 160
104.84/104.99	o 160
104.84/104.99	c Elapsed CPU time: 104.72 s	Remaining CPU time: 75.2799 s
104.84/104.99	c ===============================================================================
104.84/104.99	c |      5482 |   23666   235727   597367 |    78575      722     48 | 66.514 % |
104.94/105.03	c ===============================================================================
104.94/105.03	c New solution: 159
104.94/105.03	o 159
104.94/105.03	c Elapsed CPU time: 104.762 s	Remaining CPU time: 75.2379 s
104.94/105.03	c ===============================================================================
104.94/105.03	c |      5483 |   23424   235728   597667 |    78576      723     48 | 66.514 % |
104.94/105.07	c ===============================================================================
104.94/105.07	c New solution: 158
104.94/105.07	o 158
104.94/105.07	c Elapsed CPU time: 104.805 s	Remaining CPU time: 75.1949 s
104.94/105.07	c ===============================================================================
104.94/105.07	c |      5499 |   23182   235729   597967 |    78576      739     47 | 66.514 % |
105.04/105.12	c ===============================================================================
105.04/105.12	c New solution: 157
105.04/105.12	o 157
105.04/105.12	c Elapsed CPU time: 104.851 s	Remaining CPU time: 75.1489 s
105.04/105.12	c ===============================================================================
105.04/105.12	c |      5516 |   22940   235730   598267 |    78576      756     47 | 66.514 % |
105.04/105.17	c ===============================================================================
105.04/105.17	c New solution: 156
105.04/105.17	o 156
105.04/105.17	c Elapsed CPU time: 104.896 s	Remaining CPU time: 75.1039 s
105.04/105.17	c ===============================================================================
105.04/105.17	c |      5531 |   22698   235731   598567 |    78577      771     47 | 66.514 % |
105.14/105.21	c ===============================================================================
105.14/105.21	c New solution: 155
105.14/105.21	o 155
105.14/105.21	c Elapsed CPU time: 104.937 s	Remaining CPU time: 75.063 s
105.14/105.21	c ===============================================================================
105.14/105.21	c |      5540 |   22456   235732   598867 |    78577      780     47 | 66.514 % |
105.14/105.25	c |      5641 |   22383   235732   598867 |    86435      881     47 | 69.504 % |
105.14/105.29	c ===============================================================================
105.14/105.29	c New solution: 154
105.14/105.29	o 154
105.14/105.29	c Elapsed CPU time: 105.017 s	Remaining CPU time: 74.983 s
105.14/105.29	c ===============================================================================
105.14/105.29	c |      5660 |   22214   235733   599167 |    78577      900     47 | 69.504 % |
105.25/105.33	c ===============================================================================
105.25/105.33	c New solution: 153
105.25/105.33	o 153
105.25/105.33	c Elapsed CPU time: 105.055 s	Remaining CPU time: 74.945 s
105.25/105.33	c ===============================================================================
105.25/105.33	c |      5662 |   21972   235734   599467 |    78578      902     47 | 69.504 % |
105.25/105.37	c ===============================================================================
105.25/105.37	c New solution: 152
105.25/105.37	o 152
105.25/105.37	c Elapsed CPU time: 105.094 s	Remaining CPU time: 74.906 s
105.25/105.37	c ===============================================================================
105.25/105.37	c |      5666 |   21730   235735   599767 |    78578      906     47 | 69.504 % |
105.35/105.41	c ===============================================================================
105.35/105.41	c New solution: 151
105.35/105.41	o 151
105.35/105.41	c Elapsed CPU time: 105.134 s	Remaining CPU time: 74.866 s
105.35/105.41	c ===============================================================================
105.35/105.41	c |      5671 |   21488   235736   600067 |    78578      911     47 | 69.504 % |
105.35/105.45	c ===============================================================================
105.35/105.45	c New solution: 150
105.35/105.45	o 150
105.35/105.45	c Elapsed CPU time: 105.176 s	Remaining CPU time: 74.824 s
105.35/105.45	c ===============================================================================
105.35/105.45	c |      5680 |   21246   235737   600367 |    78579      920     47 | 69.504 % |
105.35/105.49	c ===============================================================================
105.35/105.49	c New solution: 149
105.35/105.49	o 149
105.35/105.49	c Elapsed CPU time: 105.213 s	Remaining CPU time: 74.787 s
105.35/105.49	c ===============================================================================
105.35/105.49	c |      5686 |   21004   235738   600667 |    78579      926     46 | 69.504 % |
105.45/105.53	c ===============================================================================
105.45/105.53	c New solution: 148
105.45/105.53	o 148
105.45/105.53	c Elapsed CPU time: 105.254 s	Remaining CPU time: 74.746 s
105.45/105.53	c ===============================================================================
105.45/105.53	c |      5691 |   20762   235739   600967 |    78579      441     44 | 69.504 % |
105.45/105.57	c ===============================================================================
105.45/105.57	c New solution: 147
105.45/105.57	o 147
105.45/105.57	c Elapsed CPU time: 105.29 s	Remaining CPU time: 74.71 s
105.45/105.57	c ===============================================================================
105.45/105.57	c |      5694 |   20520   235740   601267 |    78580      444     43 | 69.504 % |
105.55/105.61	c ===============================================================================
105.55/105.61	c New solution: 146
105.55/105.61	o 146
105.55/105.61	c Elapsed CPU time: 105.332 s	Remaining CPU time: 74.668 s
105.55/105.61	c ===============================================================================
105.55/105.61	c |      5718 |   20278   235741   601567 |    78580      468     43 | 69.504 % |
105.55/105.65	c ===============================================================================
105.55/105.65	c New solution: 145
105.55/105.65	o 145
105.55/105.65	c Elapsed CPU time: 105.374 s	Remaining CPU time: 74.626 s
105.55/105.65	c ===============================================================================
105.55/105.65	c |      5731 |   20036   235742   601867 |    78580      481     43 | 69.504 % |
105.64/105.70	c ===============================================================================
105.64/105.70	c New solution: 144
105.64/105.70	o 144
105.64/105.70	c Elapsed CPU time: 105.422 s	Remaining CPU time: 74.578 s
105.64/105.70	c ===============================================================================
105.64/105.70	c |      5755 |   19794   235743   602167 |    78581      505     42 | 69.504 % |
105.64/105.74	c ===============================================================================
105.64/105.74	c New solution: 143
105.64/105.74	o 143
105.64/105.74	c Elapsed CPU time: 105.465 s	Remaining CPU time: 74.535 s
105.64/105.74	c ===============================================================================
105.64/105.74	c |      5776 |   19552   235744   602467 |    78581      526     42 | 69.504 % |
105.74/105.82	c |      5876 |   19520   235744   602467 |    86439      626     44 | 73.491 % |
105.84/105.91	c |      6026 |   19518   235744   602467 |    95083      776     48 | 73.491 % |
105.84/105.95	c ===============================================================================
105.84/105.95	c New solution: 142
105.84/105.95	o 142
105.84/105.95	c Elapsed CPU time: 105.668 s	Remaining CPU time: 74.3321 s
105.84/105.95	c ===============================================================================
105.84/105.95	c |      6035 |   19310   235745   602767 |    78581      785     48 | 73.491 % |
105.84/105.99	c ===============================================================================
105.84/105.99	c New solution: 141
105.84/105.99	o 141
105.84/105.99	c Elapsed CPU time: 105.713 s	Remaining CPU time: 74.2871 s
105.84/105.99	c ===============================================================================
105.84/105.99	c |      6048 |   19068   235746   603067 |    78582      798     48 | 73.491 % |
105.94/106.05	c ===============================================================================
105.94/106.05	c New solution: 140
105.94/106.05	o 140
105.94/106.05	c Elapsed CPU time: 105.765 s	Remaining CPU time: 74.2351 s
105.94/106.05	c ===============================================================================
105.94/106.05	c |      6079 |   18826   235747   603367 |    78582      829     48 | 73.491 % |
105.94/106.09	c ===============================================================================
105.94/106.09	c New solution: 139
105.94/106.09	o 139
105.94/106.09	c Elapsed CPU time: 105.807 s	Remaining CPU time: 74.1931 s
105.94/106.09	c ===============================================================================
105.94/106.09	c |      6085 |   18584   235748   603667 |    78582      835     48 | 73.491 % |
106.04/106.14	c |      6186 |   18502   235748   603667 |    86440      936     49 | 74.819 % |
106.14/106.27	c |      6336 |   18499   235748   603667 |    95085     1086     49 | 74.819 % |
106.25/106.34	c ===============================================================================
106.25/106.34	c New solution: 138
106.25/106.34	o 138
106.25/106.34	c Elapsed CPU time: 106.059 s	Remaining CPU time: 73.9411 s
106.25/106.34	c ===============================================================================
106.25/106.34	c |      6388 |   18342   235749   603967 |    78583      826     47 | 74.819 % |
106.25/106.39	c ===============================================================================
106.25/106.39	c New solution: 137
106.25/106.39	o 137
106.25/106.39	c Elapsed CPU time: 106.104 s	Remaining CPU time: 73.8961 s
106.25/106.39	c ===============================================================================
106.25/106.39	c |      6409 |   18100   235750   604267 |    78583      847     47 | 74.819 % |
106.35/106.43	c ===============================================================================
106.35/106.43	c New solution: 136
106.35/106.43	o 136
106.35/106.43	c Elapsed CPU time: 106.148 s	Remaining CPU time: 73.8521 s
106.35/106.43	c ===============================================================================
106.35/106.43	c |      6423 |   17858   235751   604567 |    78583      861     46 | 74.819 % |
106.35/106.48	c ===============================================================================
106.35/106.48	c New solution: 135
106.35/106.48	o 135
106.35/106.48	c Elapsed CPU time: 106.194 s	Remaining CPU time: 73.8061 s
106.35/106.48	c ===============================================================================
106.35/106.48	c |      6450 |   17616   235752   604867 |    78584      888     46 | 74.819 % |
106.45/106.52	c ===============================================================================
106.45/106.52	c New solution: 134
106.45/106.52	o 134
106.45/106.52	c Elapsed CPU time: 106.239 s	Remaining CPU time: 73.7612 s
106.45/106.52	c ===============================================================================
106.45/106.52	c |      6468 |   17374   235753   605167 |    78584      906     46 | 74.819 % |
106.45/106.56	c ===============================================================================
106.45/106.56	c New solution: 133
106.45/106.56	o 133
106.45/106.56	c Elapsed CPU time: 106.281 s	Remaining CPU time: 73.7192 s
106.45/106.56	c ===============================================================================
106.45/106.56	c |      6473 |   17132   235754   605467 |    78584      911     46 | 74.819 % |
106.55/106.61	c ===============================================================================
106.55/106.61	c New solution: 132
106.55/106.61	o 132
106.55/106.61	c Elapsed CPU time: 106.323 s	Remaining CPU time: 73.6772 s
106.55/106.61	c ===============================================================================
106.55/106.61	c |      6487 |   16890   235755   605767 |    78585      925     46 | 74.819 % |
106.55/106.65	c |      6587 |   16869   235755   605767 |    86443     1025     46 | 77.145 % |
106.65/106.75	c ===============================================================================
106.65/106.75	c New solution: 131
106.65/106.75	o 131
106.65/106.75	c Elapsed CPU time: 106.467 s	Remaining CPU time: 73.5332 s
106.65/106.75	c ===============================================================================
106.65/106.75	c |      6654 |   16648   235756   606067 |    78585     1092     46 | 77.145 % |
106.65/106.79	c ===============================================================================
106.65/106.79	c New solution: 130
106.65/106.79	o 130
106.65/106.79	c Elapsed CPU time: 106.505 s	Remaining CPU time: 73.4952 s
106.65/106.79	c ===============================================================================
106.65/106.79	c |      6654 |   16406   235757   606367 |    78585     1092     46 | 77.145 % |
106.75/106.83	c ===============================================================================
106.75/106.83	c New solution: 129
106.75/106.83	o 129
106.75/106.83	c Elapsed CPU time: 106.541 s	Remaining CPU time: 73.4592 s
106.75/106.83	c ===============================================================================
106.75/106.83	c |      6659 |   16164   235758   606667 |    78586     1097     46 | 77.145 % |
106.75/106.86	c ===============================================================================
106.75/106.87	c New solution: 128
106.75/106.87	o 128
106.75/106.87	c Elapsed CPU time: 106.578 s	Remaining CPU time: 73.4222 s
106.75/106.87	c ===============================================================================
106.75/106.87	c |      6673 |   15922   235759   606967 |    78586     1111     46 | 77.145 % |
106.84/106.91	c ===============================================================================
106.84/106.91	c New solution: 127
106.84/106.91	o 127
106.84/106.91	c Elapsed CPU time: 106.621 s	Remaining CPU time: 73.3792 s
106.84/106.91	c ===============================================================================
106.84/106.91	c |      6690 |   15680   235760   607267 |    78586     1128     46 | 77.145 % |
106.84/106.95	c ===============================================================================
106.84/106.95	c New solution: 126
106.84/106.95	o 126
106.84/106.95	c Elapsed CPU time: 106.657 s	Remaining CPU time: 73.3432 s
106.84/106.95	c ===============================================================================
106.84/106.95	c |      6700 |   15438   235761   607567 |    78587     1138     45 | 77.145 % |
106.84/106.98	c ===============================================================================
106.84/106.98	c New solution: 125
106.84/106.98	o 125
106.84/106.98	c Elapsed CPU time: 106.694 s	Remaining CPU time: 73.3062 s
106.84/106.98	c ===============================================================================
106.84/106.98	c |      6705 |   15196   235762   607867 |    78587     1143     45 | 77.145 % |
106.94/107.02	c ===============================================================================
106.94/107.02	c New solution: 124
106.94/107.02	o 124
106.94/107.02	c Elapsed CPU time: 106.731 s	Remaining CPU time: 73.2692 s
106.94/107.02	c ===============================================================================
106.94/107.02	c |      6722 |   14954   235763   608167 |    78587     1160     45 | 77.145 % |
107.04/107.13	c ===============================================================================
107.04/107.13	c New solution: 123
107.04/107.13	o 123
107.04/107.13	c Elapsed CPU time: 106.844 s	Remaining CPU time: 73.1562 s
107.04/107.13	c ===============================================================================
107.04/107.13	c |      6815 |   14712   235764   608467 |    78588     1253     46 | 77.145 % |
107.04/107.17	c ===============================================================================
107.04/107.17	c New solution: 122
107.04/107.17	o 122
107.04/107.17	c Elapsed CPU time: 106.879 s	Remaining CPU time: 73.1212 s
107.04/107.17	c ===============================================================================
107.04/107.17	c |      6834 |   14470   235765   608767 |    78588     1272     46 | 77.145 % |
107.14/107.21	c |      6935 |   14420   235765   608767 |    86447     1373     47 | 80.467 % |
107.24/107.30	c |      7085 |   14418   235765   608767 |    95091     1523     47 | 80.467 % |
107.24/107.34	c ===============================================================================
107.24/107.34	c New solution: 121
107.24/107.34	o 121
107.24/107.34	c Elapsed CPU time: 107.049 s	Remaining CPU time: 72.9513 s
107.24/107.34	c ===============================================================================
107.24/107.34	c |      7090 |   14228   235766   609067 |    78588      682     41 | 80.467 % |
107.24/107.38	c ===============================================================================
107.24/107.38	c New solution: 120
107.24/107.38	o 120
107.24/107.38	c Elapsed CPU time: 107.085 s	Remaining CPU time: 72.9153 s
107.24/107.38	c ===============================================================================
107.24/107.38	c |      7103 |   13986   235767   609367 |    78589      695     40 | 80.467 % |
107.34/107.43	c |      7203 |   13933   235767   609367 |    86447      795     44 | 81.132 % |
107.54/107.60	c |      7353 |   13930   235767   609367 |    95092      945     47 | 81.132 % |
107.54/107.64	c ===============================================================================
107.54/107.64	c New solution: 119
107.54/107.64	o 119
107.54/107.64	c Elapsed CPU time: 107.346 s	Remaining CPU time: 72.6543 s
107.54/107.64	c ===============================================================================
107.54/107.64	c |      7368 |   13744   235768   609667 |    78589      960     47 | 81.132 % |
107.54/107.68	c ===============================================================================
107.54/107.68	c New solution: 118
107.54/107.68	o 118
107.54/107.68	c Elapsed CPU time: 107.387 s	Remaining CPU time: 72.6133 s
107.54/107.68	c ===============================================================================
107.54/107.68	c |      7396 |   13502   235769   609967 |    78589      988     47 | 81.132 % |
107.65/107.76	c |      7497 |   13494   235769   609967 |    86448     1089     48 | 81.796 % |
107.75/107.83	c |      7647 |   13471   235769   609967 |    95093     1239     49 | 81.796 % |
107.94/108.01	c |      7874 |   13464   235769   609967 |   104602     1466     49 | 81.796 % |
107.94/108.06	c ===============================================================================
107.94/108.06	c New solution: 117
107.94/108.06	o 117
107.94/108.06	c Elapsed CPU time: 107.759 s	Remaining CPU time: 72.2414 s
107.94/108.06	c ===============================================================================
107.94/108.06	c |      7893 |   13260   235770   610267 |    78590     1485     49 | 81.796 % |
108.04/108.12	c ===============================================================================
108.04/108.12	c New solution: 116
108.04/108.12	o 116
108.04/108.12	c Elapsed CPU time: 107.823 s	Remaining CPU time: 72.1774 s
108.04/108.12	c ===============================================================================
108.04/108.12	c |      7978 |   13018   235771   610567 |    78590     1570     49 | 81.796 % |
108.04/108.16	c |      8078 |   12987   235771   610567 |    86449     1670     48 | 82.461 % |
108.14/108.24	c ===============================================================================
108.14/108.24	c New solution: 115
108.14/108.24	o 115
108.14/108.24	c Elapsed CPU time: 107.94 s	Remaining CPU time: 72.0604 s
108.14/108.24	c ===============================================================================
108.14/108.24	c |      8195 |   12776   235772   610867 |    78590     1067     43 | 82.461 % |
108.24/108.30	c |      8297 |   12772   235772   610867 |    86449     1169     44 | 82.793 % |
108.24/108.39	c |      8447 |   12762   235772   610867 |    95094     1319     49 | 82.793 % |
108.64/108.70	c |      8672 |   12753   235772   610867 |   104604     1544     54 | 82.793 % |
108.76/108.80	c |      9010 |   12736   235772   610867 |   115064     1882     50 | 82.793 % |
108.95/109.04	c |      9516 |   12732   235772   610867 |   126571     2388     52 | 82.793 % |
109.55/109.67	c |     10276 |   12534   235772   610867 |   139228     3064     50 | 82.793 % |
109.65/109.70	c ===============================================================================
109.65/109.70	c New solution: 114
109.65/109.70	o 114
109.65/109.70	c Elapsed CPU time: 109.397 s	Remaining CPU time: 70.6026 s
109.65/109.70	c ===============================================================================
109.65/109.70	c |     10290 |   12534   235773   611167 |    78591     3078     50 | 82.793 % |
109.65/109.75	c |     10390 |   12522   235773   611167 |    86450     3178     50 | 83.125 % |
109.74/109.89	c |     10542 |   12517   235773   611167 |    95095     3330     50 | 83.125 % |
109.85/109.93	c ===============================================================================
109.85/109.93	c New solution: 113
109.85/109.93	o 113
109.85/109.93	c Elapsed CPU time: 109.624 s	Remaining CPU time: 70.3757 s
109.85/109.93	c ===============================================================================
109.85/109.93	c |     10569 |   12292   235774   611467 |    78591     3357     50 | 83.125 % |
109.95/110.08	c |     10669 |   12277   235774   611467 |    86450     3457     50 | 83.457 % |
110.04/110.14	c |     10819 |   12259   235774   611467 |    95095     3607     50 | 83.457 % |
110.24/110.35	c |     11044 |   12050   235774   611467 |   104605     2801     46 | 83.457 % |
110.24/110.39	c ===============================================================================
110.24/110.39	c New solution: 112
110.24/110.39	o 112
110.24/110.39	c Elapsed CPU time: 110.082 s	Remaining CPU time: 69.9177 s
110.24/110.39	c ===============================================================================
110.24/110.39	c |     11068 |   12050   235775   611767 |    78591     2825     46 | 83.457 % |
110.34/110.45	c |     11169 |   12031   235775   611767 |    86450     2926     47 | 83.790 % |
110.44/110.51	c |     11319 |   11995   235775   611767 |    95095     3076     47 | 83.790 % |
110.65/110.77	c |     11544 |   11987   235775   611767 |   104605     3301     48 | 83.790 % |
110.75/110.86	c |     11881 |   11979   235775   611767 |   115066     3638     47 | 83.790 % |
111.06/111.17	c |     12387 |   11979   235775   611767 |   126572     4144     49 | 83.790 % |
111.35/111.44	c |     13148 |   11808   235775   611767 |   139229     4723     48 | 83.790 % |
112.24/112.36	c |     14289 |   11808   235775   611767 |   153152     5864     54 | 83.790 % |
112.34/112.41	c ===============================================================================
112.34/112.41	c New solution: 111
112.34/112.41	o 111
112.34/112.41	c Elapsed CPU time: 112.093 s	Remaining CPU time: 67.907 s
112.34/112.41	c ===============================================================================
112.34/112.41	c |     14351 |   11808   235776   612067 |    78592     5926     54 | 83.790 % |
112.34/112.46	c |     14452 |   11566   235776   612067 |    86451     5473     53 | 84.122 % |
112.44/112.53	c |     14603 |   11566   235776   612067 |    95096     5624     52 | 84.122 % |
112.64/112.70	c |     14828 |   11566   235776   612067 |   104605     5849     53 | 84.122 % |
112.94/113.01	c |     15165 |   11566   235776   612067 |   115066     6186     53 | 84.122 % |
113.04/113.19	c |     15671 |   11566   235776   612067 |   126573     6692     53 | 84.122 % |
113.74/113.82	c |     16430 |   11566   235776   612067 |   139230     7451     54 | 84.122 % |
114.25/114.32	c |     17572 |   11566   235776   612067 |   153153     8593     54 | 84.122 % |
115.24/115.31	c |     19280 |   11566   235776   612067 |   168468    10301     55 | 84.122 % |
117.34/117.48	c |     21843 |   11566   235776   612067 |   185315    12864     57 | 84.122 % |
119.24/119.32	c |     25690 |   11566   235776   612067 |   203847    16711     55 | 84.122 % |
125.54/125.65	c |     31456 |   11566   235776   612067 |   224232    22477     60 | 84.122 % |
129.84/129.94	c |     40106 |   11566   235776   612067 |   246655    31127     58 | 84.122 % |
147.03/147.19	c |     53080 |   11566   235776   612067 |   271320    44101     65 | 84.122 % |
159.53/159.62	c |     72541 |   11566   235776   612067 |   298452    63562     59 | 84.122 % |
180.42/180.55	c There are 61276 assigned variables. 274 in cost function.
180.92/181.00	c core #1
180.92/181.00	c 
180.92/181.00	c 
180.92/181.00	c Core size: 51	Core Weight: 85	Total Weight: 85
180.92/181.00	c
180.92/181.00	c
180.92/181.00	c ============================[ Search Statistics ]==============================
180.92/181.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.92/181.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.92/181.00	c ===============================================================================
180.92/181.00	c |         0 |    5516    92151    87126 |    30717        0    nan |  0.000 % |
180.92/181.04	c |       101 |    5516    92151    87126 |    33788      101     34 | 92.430 % |
181.02/181.11	c |       251 |    5516    92151    87126 |    37167      251     41 | 92.430 % |
181.12/181.22	c |       477 |    5516    92151    87126 |    40884      477     43 | 92.430 % |
181.22/181.36	c |       815 |    5516    92151    87126 |    44972      815     40 | 92.430 % |
181.52/181.61	c |      1321 |    5516    92151    87126 |    49470     1321     42 | 92.430 % |
181.92/182.02	c |      2080 |    5516    92151    87126 |    54417     2080     47 | 92.430 % |
182.43/182.58	c |      3220 |    5516    92151    87126 |    59858     3220     50 | 92.430 % |
183.42/183.52	c |      4928 |    5516    92151    87126 |    65844     4928     53 | 92.430 % |
185.02/185.13	c |      7491 |    5516    92151    87126 |    72429     7491     54 | 92.430 % |
187.52/187.68	c |     11335 |    5516    92151    87126 |    79671    11335     53 | 92.430 % |
192.02/192.13	c |     17102 |    5516    92151    87126 |    87639    17102     53 | 92.430 % |
200.32/200.46	c |     25751 |    5516    92151    87126 |    96403    25751     56 | 92.430 % |
214.51/214.60	c |     38725 |    5516    92151    87126 |   106043    38725     53 | 92.430 % |
243.31/243.40	c |     58186 |    5516    92151    87126 |   116647    58186     57 | 92.430 % |
297.79/297.98	c |     87378 |    5512    92151    87126 |   128312    80232     57 | 92.436 % |
409.36/409.54	c |    131167 |    5512    92151    87126 |   141143   124021     58 | 92.436 % |
632.59/632.82	c |    196851 |    5504    92151    87126 |   155258   167925     58 | 92.447 % |
954.69/955.07	c |    295378 |    5504    92151    87126 |   170783    63760     64 | 92.447 % |
1385.06/1385.59	c |    443167 |    5424    92151    87126 |   187862    90336     56 | 92.556 % |
1568.61/1569.13	c ===============================================================================
1569.21/1569.71	c core #2
1569.21/1569.71	c 
1569.21/1569.71	c 
1569.21/1569.71	c Core size: 706	Core Weight: 1	Total Weight: 86
1569.21/1569.71	c
1569.21/1569.71	c
1569.21/1569.71	c ============================[ Search Statistics ]==============================
1569.21/1569.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1569.21/1569.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1569.21/1569.71	c ===============================================================================
1569.21/1569.71	c |         0 |    5809    92231    89209 |    30743        0    nan |  0.000 % |
1569.21/1569.76	c |       100 |    5809    92231    89209 |    33818      100     29 | 92.031 % |
1569.30/1569.85	c |       250 |    5809    92231    89209 |    37199      250     41 | 92.031 % |
1569.40/1569.97	c |       476 |    5809    92231    89209 |    40919      476     42 | 92.031 % |
1569.61/1570.13	c |       813 |    5809    92231    89209 |    45011      813     47 | 92.031 % |
1569.81/1570.34	c |      1319 |    5809    92231    89209 |    49512     1319     44 | 92.031 % |
1570.21/1570.74	c |      2078 |    5809    92231    89209 |    54464     2078     44 | 92.031 % |
1570.91/1571.40	c |      3217 |    5809    92231    89209 |    59910     3217     51 | 92.031 % |
1571.70/1572.28	c |      4926 |    5809    92231    89209 |    65901     4926     48 | 92.031 % |
1573.31/1573.83	c |      7488 |    5809    92231    89209 |    72491     7488     50 | 92.031 % |
1575.61/1576.15	c |     11332 |    5809    92231    89209 |    79741    11332     49 | 92.031 % |
1580.40/1580.95	c |     17099 |    5809    92231    89209 |    87715    17099     53 | 92.031 % |
1588.41/1588.97	c |     25751 |    5809    92231    89209 |    96486    25751     56 | 92.031 % |
1603.79/1604.33	c |     38726 |    5809    92231    89209 |   106135    38726     56 | 92.031 % |
1631.40/1631.99	c |     58187 |    5809    92231    89209 |   116749    58187     59 | 92.031 % |
1691.67/1692.29	c |     87381 |    5809    92231    89209 |   128423    87381     58 | 92.031 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25158
/proc/meminfo: memFree=1758092/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=10700 CPUtime=0
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 343 0 0 0 0 0 0 0 21 0 1 0 13253078 10956800 262 1992294400 134512640 135752675 4288971952 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 2675 262 139 303 0 407 0

[startup+0.0929519 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25158
/proc/meminfo: memFree=1758092/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=15484 CPUtime=0.08
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 1466 0 0 0 8 0 0 0 21 0 1 0 13253078 15855616 1385 1992294400 134512640 135752675 4288971952 18446744073709551615 134557668 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 3871 1385 263 303 0 1603 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15484

[startup+0.101952 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25158
/proc/meminfo: memFree=1758092/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=15616 CPUtime=0.09
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 1554 0 0 0 9 0 0 0 21 0 1 0 13253078 15990784 1473 1992294400 134512640 135752675 4288971952 18446744073709551615 135225906 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 3904 1474 275 303 0 1636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15616

[startup+0.300973 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25158
/proc/meminfo: memFree=1758092/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=19756 CPUtime=0.29
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 2867 0 0 0 29 0 0 0 21 0 1 0 13253078 20230144 2753 1992294400 134512640 135752675 4288971952 18446744073709551615 134559936 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 4939 2753 568 303 0 2671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19756

[startup+0.701012 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25158
/proc/meminfo: memFree=1758092/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=26184 CPUtime=0.69
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 4857 0 0 0 68 1 0 0 22 0 1 0 13253078 26812416 4703 1992294400 134512640 135752675 4288971952 18446744073709551615 134558099 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 6546 4703 1186 303 0 4278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26184

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25159
/proc/meminfo: memFree=1738492/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=36804 CPUtime=1.49
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 8180 0 0 0 146 3 0 0 25 0 1 0 13253078 37687296 7912 1992294400 134512640 135752675 4288971952 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 9201 7912 1978 303 0 6933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36804

[startup+3.10026 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25159
/proc/meminfo: memFree=1708608/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=56748 CPUtime=3.09
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 15337 0 0 0 304 5 0 0 25 0 1 0 13253078 58109952 12881 1992294400 134512640 135752675 4288971952 18446744073709551615 134605011 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 14187 12881 142 303 0 13882 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56748

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25159
/proc/meminfo: memFree=1701044/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=63480 CPUtime=6.28
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 17035 0 0 0 623 5 0 0 25 0 1 0 13253078 65003520 14579 1992294400 134512640 135752675 4288971952 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 15870 14579 142 303 0 15565 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63480

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25159
/proc/meminfo: memFree=1689884/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=73248 CPUtime=12.69
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 19471 0 0 0 1263 6 0 0 25 0 1 0 13253078 75005952 17015 1992294400 134512640 135752675 4288971952 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 18312 17015 142 303 0 18007 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73248

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25160
/proc/meminfo: memFree=1676120/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=86844 CPUtime=25.49
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 22871 0 0 0 2541 8 0 0 25 0 1 0 13253078 88928256 20415 1992294400 134512640 135752675 4288971952 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 21711 20415 142 303 0 21406 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86844

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25160
/proc/meminfo: memFree=1658636/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=104796 CPUtime=51.06
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 27373 0 0 0 5096 10 0 0 25 0 1 0 13253078 107311104 24917 1992294400 134512640 135752675 4288971952 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 26199 24917 142 303 0 25894 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 104796

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25162
/proc/meminfo: memFree=1643260/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=118744 CPUtime=102.26
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 32285 0 0 0 10206 20 0 0 25 0 1 0 13253078 121593856 28514 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 29686 28514 145 303 0 29381 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 118744

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25163
/proc/meminfo: memFree=1643136/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=118744 CPUtime=162.23
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 32285 0 0 0 16178 45 0 0 25 0 1 0 13253078 121593856 28514 1992294400 134512640 135752675 4288971952 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 29686 28514 145 303 0 29381 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 118744

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25165
/proc/meminfo: memFree=1650328/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=110432 CPUtime=222.21
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33567 0 0 0 22156 65 0 0 25 0 1 0 13253078 113082368 26738 1992294400 134512640 135752675 4288971952 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27608 26738 146 303 0 27303 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 110432

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25166
/proc/meminfo: memFree=1650328/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=110432 CPUtime=282.2
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33567 0 0 0 28142 78 0 0 25 0 1 0 13253078 113082368 26738 1992294400 134512640 135752675 4288971952 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27608 26738 146 303 0 27303 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 110432

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25168
/proc/meminfo: memFree=1650204/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=110432 CPUtime=342.18
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33567 0 0 0 34129 89 0 0 25 0 1 0 13253078 113082368 26738 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27608 26738 146 303 0 27303 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 110432

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25170
/proc/meminfo: memFree=1650204/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=110432 CPUtime=402.16
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33567 0 0 0 40117 99 0 0 25 0 1 0 13253078 113082368 26738 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27608 26738 146 303 0 27303 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 110432

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25171
/proc/meminfo: memFree=1650204/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=110432 CPUtime=462.14
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33567 0 0 0 46105 109 0 0 25 0 1 0 13253078 113082368 26738 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27608 26738 146 303 0 27303 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 110432

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25173
/proc/meminfo: memFree=1650204/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=110432 CPUtime=522.12
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33567 0 0 0 52095 117 0 0 25 0 1 0 13253078 113082368 26738 1992294400 134512640 135752675 4288971952 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27608 26738 146 303 0 27303 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 110432

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25174
/proc/meminfo: memFree=1650204/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=110432 CPUtime=582.1
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33567 0 0 0 58083 127 0 0 25 0 1 0 13253078 113082368 26738 1992294400 134512640 135752675 4288971952 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27608 26738 146 303 0 27303 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 110432

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25176
/proc/meminfo: memFree=1650204/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=110432 CPUtime=642.09
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33577 0 0 0 64074 135 0 0 25 0 1 0 13253078 113082368 26748 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27608 26748 146 303 0 27303 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 110432

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 25184
/proc/meminfo: memFree=1648964/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=111648 CPUtime=822.03
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 33783 0 0 0 82045 158 0 0 25 0 1 0 13253078 114327552 26954 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 27912 26954 146 303 0 27607 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 111648

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25185
/proc/meminfo: memFree=1645120/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=115564 CPUtime=882.01
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 34733 0 0 0 88035 166 0 0 25 0 1 0 13253078 118337536 27904 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 28891 27904 146 303 0 28586 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 115564

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25187
/proc/meminfo: memFree=1634332/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=126416 CPUtime=942
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 37450 0 0 0 94017 183 0 0 25 0 1 0 13253078 129449984 30621 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 31604 30621 146 303 0 31299 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 126416

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25189
/proc/meminfo: memFree=1625776/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=134896 CPUtime=1001.98
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 39562 0 0 0 99999 199 0 0 25 0 1 0 13253078 138133504 32733 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 33724 32733 146 303 0 33419 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 134896

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25190
/proc/meminfo: memFree=1617468/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=143216 CPUtime=1061.96
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 41654 0 0 0 105981 215 0 0 25 0 1 0 13253078 146653184 34825 1992294400 134512640 135752675 4288971952 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 35804 34825 146 303 0 35499 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 143216

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25192
/proc/meminfo: memFree=1610400/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=150228 CPUtime=1121.94
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 43393 0 0 0 111966 228 0 0 25 0 1 0 13253078 153833472 36564 1992294400 134512640 135752675 4288971952 18446744073709551615 134607038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 37557 36564 146 303 0 37252 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 150228

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25193
/proc/meminfo: memFree=1604324/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=156304 CPUtime=1181.92
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 44935 0 0 0 117952 240 0 0 25 0 1 0 13253078 160055296 38106 1992294400 134512640 135752675 4288971952 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 39076 38106 146 303 0 38771 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 156304

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25195
/proc/meminfo: memFree=1597752/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=162772 CPUtime=1241.91
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 46547 0 0 0 123937 254 0 0 25 0 1 0 13253078 166678528 39718 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 40693 39718 146 303 0 40388 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 162772

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25197
/proc/meminfo: memFree=1590808/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=169644 CPUtime=1301.89
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 48251 0 0 0 129922 267 0 0 25 0 1 0 13253078 173715456 41422 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 42411 41422 146 303 0 42106 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 169644

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25198
/proc/meminfo: memFree=1583244/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=177336 CPUtime=1361.86
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 50160 0 0 0 135907 279 0 0 25 0 1 0 13253078 181592064 43331 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 44334 43331 146 303 0 44029 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 177336

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25200
/proc/meminfo: memFree=1575928/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=184484 CPUtime=1421.86
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 51967 0 0 0 141896 290 0 0 25 0 1 0 13253078 188911616 45138 1992294400 134512640 135752675 4288971952 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 46121 45138 146 303 0 45816 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 184484

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25201
/proc/meminfo: memFree=1568116/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=192272 CPUtime=1481.83
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 53907 0 0 0 147881 302 0 0 25 0 1 0 13253078 196886528 47078 1992294400 134512640 135752675 4288971952 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 48068 47078 146 303 0 47763 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 192272

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25203
/proc/meminfo: memFree=1560180/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=200324 CPUtime=1541.81
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 55905 0 0 0 153866 315 0 0 25 0 1 0 13253078 205131776 49076 1992294400 134512640 135752675 4288971952 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 50081 49076 146 303 0 49776 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 200324

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25205
/proc/meminfo: memFree=1548276/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=211896 CPUtime=1601.8
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 59923 0 0 0 159848 332 0 0 25 0 1 0 13253078 216981504 51891 1992294400 134512640 135752675 4288971952 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 52974 51891 146 303 0 52669 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 211896

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25206
/proc/meminfo: memFree=1548276/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=211896 CPUtime=1661.78
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 59950 0 0 0 165831 347 0 0 25 0 1 0 13253078 216981504 51918 1992294400 134512640 135752675 4288971952 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 52974 51918 146 303 0 52669 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 211896

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25208
/proc/meminfo: memFree=1542696/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=218036 CPUtime=1721.76
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 61467 0 0 0 171813 363 0 0 25 0 1 0 13253078 223268864 53435 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 54509 53435 146 303 0 54204 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 218036

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 25209
/proc/meminfo: memFree=1535876/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=224776 CPUtime=1781.74
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 63147 0 0 0 177798 376 0 0 25 0 1 0 13253078 230170624 55115 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 56194 55115 146 303 0 55889 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 224776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25210
/proc/meminfo: memFree=1533768/2059040 swapFree=4164936/4192956
[pid=25158] ppid=25156 vsize=226756 CPUtime=1800.06
/proc/25158/stat : 25158 (wbo1.4b) R 25156 25158 24931 0 -1 4202496 63664 0 0 0 179626 380 0 0 25 0 1 0 13253078 232198144 55632 1992294400 134512640 135752675 4288971952 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25158/statm: 56689 55632 146 303 0 56384 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 226756

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.09
CPU user time (s): 1796.26
CPU system time (s): 3.82542
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 226756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.26
system time used= 3.82542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63664
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= 59
involuntary context switches= 4560

runsolver used 2.98355 second user time and 8.5207 second system time

The end

Launcher Data 

Begin job on node017 at 2010-07-06 23:06:47
IDJOB=2687254
IDBENCH=77546
IDSOLVER=1190
FILE ID=node017/2687254-1278450407
PBS_JOBID= 11233507
Free space on /tmp= 62468 MiB

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

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

MD5SUM BENCH= fca2bf846c4de68f23f92649fc394136
RANDOM SEED=58635258

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1758496 kB
Buffers:         21140 kB
Cached:         170476 kB
SwapCached:       1476 kB
Active:         136052 kB
Inactive:        89868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1758496 kB
SwapTotal:     4192956 kB
SwapFree:      4164936 kB
Dirty:           10428 kB
Writeback:           0 kB
AnonPages:       32684 kB
Mapped:          13688 kB
Slab:            52632 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180556 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= 62464 MiB
End job on node017 at 2010-07-06 23:36:50