Trace number 2687243

Some explanations

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

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

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

Solver answer on this benchmark

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

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2687243-1278450224.opb.
0.00/0.00	c Instance file HOME/instance-2687243-1278450224.opb
0.00/0.00	c File size is 8038203 bytes.
1.58/1.64	c Highest Coefficient sum: 733
1.58/1.65	c ============================[ Problem Statistics ]=============================
1.58/1.65	c |                                                                             |
1.58/1.65	c |  Parsing time:          1.61         s                                      |
1.58/1.65	c |  Number Variables:      72842                                               |
1.58/1.65	c |  Number Clauses:        233038                                              |
1.58/1.65	c |  Number Cardinality:    0                                                   |
1.58/1.65	c |  Number PB Constraints: 1200                                                |
94.85/94.91	c ============================[ Search Statistics ]==============================
94.85/94.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.85/94.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.85/94.91	c ===============================================================================
94.85/94.91	c |         0 |   56872   235586   555067 |    78079        0    nan |  0.000 % |
94.85/94.98	c ===============================================================================
94.85/94.98	c New solution: 300
94.85/94.98	o 300
94.85/94.98	c Elapsed CPU time: 94.8036 s	Remaining CPU time: 85.1964 s
94.85/94.98	c ===============================================================================
94.85/94.98	c |         0 |   56872   235587   555367 |    78529        0    nan |  0.000 % |
94.95/95.06	c |       100 |   56865   235587   555367 |    86381      100     44 | 22.090 % |
95.06/95.16	c |       250 |   56853   235587   555367 |    95020      250     52 | 22.090 % |
95.25/95.30	c |       478 |   56853   235587   555367 |   104522      478     54 | 22.090 % |
95.35/95.48	c |       820 |   56839   235587   555367 |   114974      820     53 | 22.090 % |
95.45/95.54	c ===============================================================================
95.45/95.54	c New solution: 299
95.45/95.54	o 299
95.45/95.54	c Elapsed CPU time: 95.3615 s	Remaining CPU time: 84.6385 s
95.45/95.54	c ===============================================================================
95.45/95.54	c |       824 |   56751   235588   555667 |    78529      824     52 | 22.090 % |
95.55/95.61	c ===============================================================================
95.55/95.61	c New solution: 298
95.55/95.61	o 298
95.55/95.61	c Elapsed CPU time: 95.4325 s	Remaining CPU time: 84.5675 s
95.55/95.61	c ===============================================================================
95.55/95.61	c |       830 |   56622   235589   555967 |    78529      830     52 | 22.090 % |
95.55/95.67	c ===============================================================================
95.55/95.67	c New solution: 297
95.55/95.67	o 297
95.55/95.67	c Elapsed CPU time: 95.4865 s	Remaining CPU time: 84.5135 s
95.55/95.67	c ===============================================================================
95.55/95.67	c |       846 |   56480   235590   556267 |    78530      846     52 | 22.090 % |
95.66/95.73	c ===============================================================================
95.66/95.73	c New solution: 296
95.66/95.73	o 296
95.66/95.73	c Elapsed CPU time: 95.5515 s	Remaining CPU time: 84.4485 s
95.66/95.73	c ===============================================================================
95.66/95.73	c |       849 |   56323   235591   556567 |    78530      849     52 | 22.090 % |
95.66/95.79	c ===============================================================================
95.66/95.79	c New solution: 295
95.66/95.79	o 295
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 |       868 |   56154   235592   556867 |    78530      868     52 | 22.090 % |
95.76/95.85	c ===============================================================================
95.76/95.85	c New solution: 294
95.76/95.85	o 294
95.76/95.85	c Elapsed CPU time: 95.6645 s	Remaining CPU time: 84.3355 s
95.76/95.85	c ===============================================================================
95.76/95.85	c |       879 |   55976   235593   557167 |    78531      879     51 | 22.090 % |
95.85/95.91	c ===============================================================================
95.85/95.91	c New solution: 293
95.85/95.91	o 293
95.85/95.91	c Elapsed CPU time: 95.7284 s	Remaining CPU time: 84.2716 s
95.85/95.91	c ===============================================================================
95.85/95.91	c |       915 |   55784   235594   557467 |    78531      915     51 | 22.090 % |
95.85/95.97	c |      1015 |   55776   235594   557467 |    86384     1015     52 | 23.703 % |
95.95/96.02	c ===============================================================================
95.95/96.02	c New solution: 292
95.95/96.02	o 292
95.95/96.02	c Elapsed CPU time: 95.8414 s	Remaining CPU time: 84.1586 s
95.95/96.02	c ===============================================================================
95.95/96.02	c |      1026 |   55576   235595   557767 |    78531     1026     52 | 23.703 % |
95.95/96.09	c ===============================================================================
95.95/96.09	c New solution: 291
95.95/96.09	o 291
95.95/96.09	c Elapsed CPU time: 95.9064 s	Remaining CPU time: 84.0936 s
95.95/96.09	c ===============================================================================
95.95/96.09	c |      1037 |   55357   235596   558067 |    78532      660     52 | 23.703 % |
96.05/96.16	c ===============================================================================
96.05/96.16	c New solution: 290
96.05/96.16	o 290
96.05/96.16	c Elapsed CPU time: 95.9774 s	Remaining CPU time: 84.0226 s
96.05/96.16	c ===============================================================================
96.05/96.16	c |      1090 |   55126   235597   558367 |    78532      713     52 | 23.703 % |
96.15/96.23	c ===============================================================================
96.15/96.23	c New solution: 289
96.15/96.23	o 289
96.15/96.23	c Elapsed CPU time: 96.0474 s	Remaining CPU time: 83.9526 s
96.15/96.23	c ===============================================================================
96.15/96.23	c |      1096 |   54884   235598   558667 |    78532      719     51 | 23.703 % |
96.15/96.29	c ===============================================================================
96.15/96.29	c New solution: 288
96.15/96.29	o 288
96.15/96.29	c Elapsed CPU time: 96.1124 s	Remaining CPU time: 83.8876 s
96.15/96.29	c ===============================================================================
96.15/96.30	c |      1097 |   54642   235599   558967 |    78533      720     51 | 23.703 % |
96.25/96.36	c ===============================================================================
96.25/96.36	c New solution: 287
96.25/96.36	o 287
96.25/96.36	c Elapsed CPU time: 96.1764 s	Remaining CPU time: 83.8236 s
96.25/96.36	c ===============================================================================
96.25/96.36	c |      1098 |   54400   235600   559267 |    78533      721     51 | 23.703 % |
96.35/96.43	c ===============================================================================
96.35/96.43	c New solution: 286
96.35/96.43	o 286
96.35/96.43	c Elapsed CPU time: 96.2424 s	Remaining CPU time: 83.7576 s
96.35/96.43	c ===============================================================================
96.35/96.43	c |      1103 |   54158   235601   559567 |    78533      726     51 | 23.703 % |
96.35/96.49	c ===============================================================================
96.35/96.49	c New solution: 285
96.35/96.49	o 285
96.35/96.49	c Elapsed CPU time: 96.3084 s	Remaining CPU time: 83.6916 s
96.35/96.49	c ===============================================================================
96.35/96.49	c |      1106 |   53916   235602   559867 |    78534      729     51 | 23.703 % |
96.45/96.56	c ===============================================================================
96.45/96.56	c New solution: 284
96.45/96.56	o 284
96.45/96.56	c Elapsed CPU time: 96.3763 s	Remaining CPU time: 83.6237 s
96.45/96.56	c ===============================================================================
96.45/96.56	c |      1113 |   53674   235603   560167 |    78534      736     51 | 23.703 % |
96.55/96.62	c ===============================================================================
96.55/96.62	c New solution: 283
96.55/96.62	o 283
96.55/96.62	c Elapsed CPU time: 96.4393 s	Remaining CPU time: 83.5607 s
96.55/96.62	c ===============================================================================
96.55/96.62	c |      1114 |   53432   235604   560467 |    78534      737     51 | 23.703 % |
96.66/96.70	c ===============================================================================
96.66/96.70	c New solution: 282
96.66/96.70	o 282
96.66/96.70	c Elapsed CPU time: 96.5173 s	Remaining CPU time: 83.4827 s
96.66/96.70	c ===============================================================================
96.66/96.70	c |      1169 |   53190   235605   560767 |    78535      792     51 | 23.703 % |
96.66/96.77	c ===============================================================================
96.66/96.77	c New solution: 281
96.66/96.77	o 281
96.66/96.77	c Elapsed CPU time: 96.5863 s	Remaining CPU time: 83.4137 s
96.66/96.77	c ===============================================================================
96.66/96.77	c |      1176 |   52948   235606   561067 |    78535      607     50 | 23.703 % |
96.76/96.83	c ===============================================================================
96.76/96.83	c New solution: 280
96.76/96.83	o 280
96.76/96.83	c Elapsed CPU time: 96.6453 s	Remaining CPU time: 83.3547 s
96.76/96.83	c ===============================================================================
96.76/96.83	c |      1202 |   52706   235607   561367 |    78535      633     50 | 23.703 % |
96.76/96.89	c ===============================================================================
96.76/96.89	c New solution: 279
96.76/96.89	o 279
96.76/96.89	c Elapsed CPU time: 96.6983 s	Remaining CPU time: 83.3017 s
96.76/96.89	c ===============================================================================
96.76/96.89	c |      1210 |   52464   235608   561667 |    78536      641     50 | 23.703 % |
96.86/96.94	c ===============================================================================
96.86/96.94	c New solution: 278
96.86/96.94	o 278
96.86/96.94	c Elapsed CPU time: 96.7533 s	Remaining CPU time: 83.2467 s
96.86/96.94	c ===============================================================================
96.86/96.94	c |      1217 |   52222   235609   561967 |    78536      648     49 | 23.703 % |
96.86/96.99	c ===============================================================================
96.86/96.99	c New solution: 277
96.86/96.99	o 277
96.86/96.99	c Elapsed CPU time: 96.8053 s	Remaining CPU time: 83.1947 s
96.86/96.99	c ===============================================================================
96.86/96.99	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.8673 s	Remaining CPU time: 83.1327 s
96.95/97.06	c ===============================================================================
96.95/97.06	c |      1229 |   51738   235611   562567 |    78537      660     49 | 23.703 % |
97.05/97.12	c ===============================================================================
97.05/97.12	c New solution: 275
97.05/97.12	o 275
97.05/97.12	c Elapsed CPU time: 96.9293 s	Remaining CPU time: 83.0707 s
97.05/97.12	c ===============================================================================
97.05/97.12	c |      1232 |   51496   235612   562867 |    78537      663     49 | 23.703 % |
97.05/97.17	c ===============================================================================
97.05/97.17	c New solution: 274
97.05/97.17	o 274
97.05/97.17	c Elapsed CPU time: 96.9793 s	Remaining CPU time: 83.0207 s
97.05/97.17	c ===============================================================================
97.05/97.17	c |      1233 |   51254   235613   563167 |    78537      664     49 | 23.703 % |
97.16/97.24	c ===============================================================================
97.16/97.24	c New solution: 273
97.16/97.24	o 273
97.16/97.24	c Elapsed CPU time: 97.0412 s	Remaining CPU time: 82.9588 s
97.16/97.24	c ===============================================================================
97.16/97.24	c |      1234 |   51012   235614   563467 |    78538      665     49 | 23.703 % |
97.26/97.30	c ===============================================================================
97.26/97.30	c New solution: 272
97.26/97.30	o 272
97.26/97.30	c Elapsed CPU time: 97.1022 s	Remaining CPU time: 82.8978 s
97.26/97.30	c ===============================================================================
97.26/97.30	c |      1236 |   50770   235615   563767 |    78538      667     49 | 23.703 % |
97.26/97.35	c ===============================================================================
97.26/97.35	c New solution: 271
97.26/97.35	o 271
97.26/97.35	c Elapsed CPU time: 97.1562 s	Remaining CPU time: 82.8438 s
97.26/97.35	c ===============================================================================
97.26/97.35	c |      1238 |   50528   235616   564067 |    78538      669     49 | 23.703 % |
97.36/97.42	c ===============================================================================
97.36/97.42	c New solution: 270
97.36/97.42	o 270
97.36/97.42	c Elapsed CPU time: 97.2202 s	Remaining CPU time: 82.7798 s
97.36/97.42	c ===============================================================================
97.36/97.42	c |      1242 |   50286   235617   564367 |    78539      538     51 | 23.703 % |
97.36/97.48	c ===============================================================================
97.36/97.48	c New solution: 269
97.36/97.48	o 269
97.36/97.48	c Elapsed CPU time: 97.2802 s	Remaining CPU time: 82.7198 s
97.36/97.48	c ===============================================================================
97.36/97.48	c |      1245 |   50044   235618   564667 |    78539      541     51 | 23.703 % |
97.45/97.54	c ===============================================================================
97.45/97.54	c New solution: 268
97.45/97.54	o 268
97.45/97.54	c Elapsed CPU time: 97.3472 s	Remaining CPU time: 82.6528 s
97.45/97.54	c ===============================================================================
97.45/97.54	c |      1249 |   49802   235619   564967 |    78539      545     50 | 23.703 % |
97.55/97.61	c ===============================================================================
97.55/97.61	c New solution: 267
97.55/97.61	o 267
97.55/97.61	c Elapsed CPU time: 97.4092 s	Remaining CPU time: 82.5908 s
97.55/97.61	c ===============================================================================
97.55/97.61	c |      1251 |   49560   235620   565267 |    78540      547     50 | 23.703 % |
97.55/97.67	c ===============================================================================
97.55/97.67	c New solution: 266
97.55/97.67	o 266
97.55/97.67	c Elapsed CPU time: 97.4702 s	Remaining CPU time: 82.5298 s
97.55/97.67	c ===============================================================================
97.55/97.67	c |      1255 |   49318   235621   565567 |    78540      551     50 | 23.703 % |
97.65/97.73	c |      1355 |   49240   235621   565567 |    86394      651     53 | 32.627 % |
97.75/97.83	c |      1505 |   49237   235621   565567 |    95033      801     56 | 32.627 % |
97.75/97.88	c ===============================================================================
97.75/97.88	c New solution: 265
97.75/97.88	o 265
97.75/97.88	c Elapsed CPU time: 97.6801 s	Remaining CPU time: 82.3199 s
97.75/97.88	c ===============================================================================
97.75/97.88	c |      1510 |   49076   235622   565867 |    78540      806     56 | 32.627 % |
97.86/97.93	c ===============================================================================
97.86/97.93	c New solution: 264
97.86/97.93	o 264
97.86/97.93	c Elapsed CPU time: 97.7321 s	Remaining CPU time: 82.2679 s
97.86/97.93	c ===============================================================================
97.86/97.93	c |      1513 |   48834   235623   566167 |    78541      809     55 | 32.627 % |
97.86/98.00	c ===============================================================================
97.86/98.00	c New solution: 263
97.86/98.00	o 263
97.86/98.00	c Elapsed CPU time: 97.7991 s	Remaining CPU time: 82.2009 s
97.86/98.00	c ===============================================================================
97.86/98.00	c |      1517 |   48592   235624   566467 |    78541      580     48 | 32.627 % |
97.96/98.07	c ===============================================================================
97.96/98.07	c New solution: 262
97.96/98.07	o 262
97.96/98.07	c Elapsed CPU time: 97.8621 s	Remaining CPU time: 82.1379 s
97.96/98.07	c ===============================================================================
97.96/98.07	c |      1519 |   48350   235625   566767 |    78541      582     47 | 32.627 % |
98.05/98.12	c ===============================================================================
98.05/98.12	c New solution: 261
98.05/98.12	o 261
98.05/98.12	c Elapsed CPU time: 97.9191 s	Remaining CPU time: 82.0809 s
98.05/98.12	c ===============================================================================
98.05/98.12	c |      1524 |   48108   235626   567067 |    78542      587     47 | 32.627 % |
98.05/98.18	c ===============================================================================
98.05/98.18	c New solution: 260
98.05/98.18	o 260
98.05/98.18	c Elapsed CPU time: 97.9791 s	Remaining CPU time: 82.0209 s
98.05/98.18	c ===============================================================================
98.05/98.18	c |      1556 |   47866   235627   567367 |    78542      619     47 | 32.627 % |
98.16/98.24	c ===============================================================================
98.16/98.24	c New solution: 259
98.16/98.24	o 259
98.16/98.24	c Elapsed CPU time: 98.0361 s	Remaining CPU time: 81.9639 s
98.16/98.24	c ===============================================================================
98.16/98.24	c |      1563 |   47624   235628   567667 |    78542      626     47 | 32.627 % |
98.25/98.32	c |      1663 |   47616   235628   567667 |    86396      726     49 | 34.952 % |
98.25/98.37	c ===============================================================================
98.25/98.37	c New solution: 258
98.25/98.37	o 258
98.25/98.37	c Elapsed CPU time: 98.1641 s	Remaining CPU time: 81.8359 s
98.25/98.37	c ===============================================================================
98.25/98.37	c |      1665 |   47382   235629   567967 |    78543      728     49 | 34.952 % |
98.35/98.43	c ===============================================================================
98.35/98.43	c New solution: 257
98.35/98.43	o 257
98.35/98.43	c Elapsed CPU time: 98.2241 s	Remaining CPU time: 81.7759 s
98.35/98.43	c ===============================================================================
98.35/98.43	c |      1669 |   47140   235630   568267 |    78543      732     49 | 34.952 % |
98.45/98.52	c ===============================================================================
98.45/98.52	c New solution: 256
98.45/98.52	o 256
98.45/98.52	c Elapsed CPU time: 98.3061 s	Remaining CPU time: 81.6939 s
98.45/98.52	c ===============================================================================
98.45/98.52	c |      1744 |   46898   235631   568567 |    78543      807     49 | 34.952 % |
98.55/98.60	c |      1846 |   46656   235631   568567 |    86398      619     52 | 35.949 % |
98.55/98.65	c ===============================================================================
98.55/98.65	c New solution: 255
98.55/98.65	o 255
98.55/98.65	c Elapsed CPU time: 98.437 s	Remaining CPU time: 81.563 s
98.55/98.65	c ===============================================================================
98.55/98.65	c |      1847 |   46656   235632   568867 |    78544      620     52 | 35.949 % |
98.65/98.71	c ===============================================================================
98.65/98.71	c New solution: 254
98.65/98.71	o 254
98.65/98.71	c Elapsed CPU time: 98.498 s	Remaining CPU time: 81.502 s
98.65/98.71	c ===============================================================================
98.65/98.71	c |      1847 |   46414   235633   569167 |    78544      620     52 | 35.949 % |
98.65/98.77	c ===============================================================================
98.65/98.77	c New solution: 253
98.65/98.77	o 253
98.65/98.77	c Elapsed CPU time: 98.557 s	Remaining CPU time: 81.443 s
98.65/98.77	c ===============================================================================
98.65/98.77	c |      1848 |   46172   235634   569467 |    78544      621     52 | 35.949 % |
98.75/98.84	c ===============================================================================
98.75/98.84	c New solution: 252
98.75/98.84	o 252
98.75/98.84	c Elapsed CPU time: 98.625 s	Remaining CPU time: 81.375 s
98.75/98.84	c ===============================================================================
98.75/98.84	c |      1850 |   45930   235635   569767 |    78545      623     52 | 35.949 % |
98.75/98.88	c ===============================================================================
98.75/98.88	c New solution: 251
98.75/98.88	o 251
98.75/98.88	c Elapsed CPU time: 98.673 s	Remaining CPU time: 81.327 s
98.75/98.89	c ===============================================================================
98.75/98.89	c |      1851 |   45688   235636   570067 |    78545      624     52 | 35.949 % |
98.85/98.95	c ===============================================================================
98.85/98.95	c New solution: 250
98.85/98.95	o 250
98.85/98.95	c Elapsed CPU time: 98.734 s	Remaining CPU time: 81.266 s
98.85/98.95	c ===============================================================================
98.85/98.95	c |      1858 |   45446   235637   570367 |    78545      631     51 | 35.949 % |
98.85/98.99	c |      1958 |   45388   235637   570367 |    86400      731     51 | 37.942 % |
99.06/99.13	c ===============================================================================
99.06/99.13	c New solution: 249
99.06/99.13	o 249
99.06/99.13	c Elapsed CPU time: 98.919 s	Remaining CPU time: 81.081 s
99.06/99.13	c ===============================================================================
99.06/99.13	c |      2093 |   45204   235638   570667 |    78546      866     55 | 37.942 % |
99.06/99.19	c ===============================================================================
99.06/99.19	c New solution: 248
99.06/99.19	o 248
99.06/99.19	c Elapsed CPU time: 98.98 s	Remaining CPU time: 81.02 s
99.06/99.19	c ===============================================================================
99.06/99.19	c |      2095 |   44962   235639   570967 |    78546      461     42 | 37.942 % |
99.15/99.25	c ===============================================================================
99.15/99.25	c New solution: 247
99.15/99.25	o 247
99.15/99.25	c Elapsed CPU time: 99.0369 s	Remaining CPU time: 80.9631 s
99.15/99.25	c ===============================================================================
99.15/99.25	c |      2095 |   44720   235640   571267 |    78546      461     42 | 37.942 % |
99.25/99.31	c ===============================================================================
99.25/99.31	c New solution: 246
99.25/99.31	o 246
99.25/99.31	c Elapsed CPU time: 99.0949 s	Remaining CPU time: 80.9051 s
99.25/99.31	c ===============================================================================
99.25/99.31	c |      2099 |   44478   235641   571567 |    78547      465     42 | 37.942 % |
99.25/99.36	c ===============================================================================
99.25/99.36	c New solution: 245
99.25/99.36	o 245
99.25/99.36	c Elapsed CPU time: 99.1459 s	Remaining CPU time: 80.8541 s
99.25/99.36	c ===============================================================================
99.25/99.36	c |      2115 |   44236   235642   571867 |    78547      481     41 | 37.942 % |
99.35/99.42	c ===============================================================================
99.35/99.42	c New solution: 244
99.35/99.42	o 244
99.35/99.42	c Elapsed CPU time: 99.2039 s	Remaining CPU time: 80.7961 s
99.35/99.42	c ===============================================================================
99.35/99.42	c |      2115 |   43994   235643   572167 |    78547      481     41 | 37.942 % |
99.35/99.46	c ===============================================================================
99.35/99.46	c New solution: 243
99.35/99.46	o 243
99.35/99.46	c Elapsed CPU time: 99.2509 s	Remaining CPU time: 80.7491 s
99.35/99.46	c ===============================================================================
99.35/99.46	c |      2122 |   43752   235644   572467 |    78548      488     41 | 37.942 % |
99.46/99.52	c ===============================================================================
99.46/99.52	c New solution: 242
99.46/99.52	o 242
99.46/99.52	c Elapsed CPU time: 99.3049 s	Remaining CPU time: 80.6951 s
99.46/99.52	c ===============================================================================
99.46/99.52	c |      2124 |   43510   235645   572767 |    78548      490     41 | 37.942 % |
99.46/99.58	c ===============================================================================
99.46/99.58	c New solution: 241
99.46/99.58	o 241
99.46/99.58	c Elapsed CPU time: 99.3619 s	Remaining CPU time: 80.6381 s
99.46/99.58	c ===============================================================================
99.46/99.58	c |      2125 |   43268   235646   573067 |    78548      491     41 | 37.942 % |
99.55/99.63	c ===============================================================================
99.55/99.64	c New solution: 240
99.55/99.64	o 240
99.55/99.64	c Elapsed CPU time: 99.4169 s	Remaining CPU time: 80.5831 s
99.55/99.64	c ===============================================================================
99.55/99.64	c |      2125 |   43026   235647   573367 |    78549      491     41 | 37.942 % |
99.55/99.69	c ===============================================================================
99.55/99.69	c New solution: 239
99.55/99.69	o 239
99.55/99.69	c Elapsed CPU time: 99.4739 s	Remaining CPU time: 80.5261 s
99.55/99.69	c ===============================================================================
99.55/99.69	c |      2127 |   42784   235648   573667 |    78549      493     41 | 37.942 % |
99.65/99.75	c ===============================================================================
99.65/99.75	c New solution: 238
99.65/99.75	o 238
99.65/99.75	c Elapsed CPU time: 99.5299 s	Remaining CPU time: 80.4701 s
99.65/99.75	c ===============================================================================
99.65/99.75	c |      2129 |   42542   235649   573967 |    78549      495     41 | 37.942 % |
99.75/99.81	c ===============================================================================
99.75/99.81	c New solution: 237
99.75/99.81	o 237
99.75/99.81	c Elapsed CPU time: 99.5879 s	Remaining CPU time: 80.4121 s
99.75/99.81	c ===============================================================================
99.75/99.81	c |      2138 |   42300   235650   574267 |    78550      504     41 | 37.942 % |
99.75/99.86	c ===============================================================================
99.75/99.86	c New solution: 236
99.75/99.86	o 236
99.75/99.86	c Elapsed CPU time: 99.6399 s	Remaining CPU time: 80.3601 s
99.75/99.86	c ===============================================================================
99.75/99.86	c |      2166 |   42058   235651   574567 |    78550      532     40 | 37.942 % |
99.85/99.91	c ===============================================================================
99.85/99.91	c New solution: 235
99.85/99.91	o 235
99.85/99.91	c Elapsed CPU time: 99.6948 s	Remaining CPU time: 80.3052 s
99.85/99.91	c ===============================================================================
99.85/99.91	c |      2179 |   41816   235652   574867 |    78550      208     34 | 37.942 % |
99.85/99.97	c ===============================================================================
99.85/99.97	c New solution: 234
99.85/99.97	o 234
99.85/99.97	c Elapsed CPU time: 99.7538 s	Remaining CPU time: 80.2462 s
99.85/99.97	c ===============================================================================
99.85/99.97	c |      2186 |   41574   235653   575167 |    78551      215     34 | 37.942 % |
99.95/100.03	c ===============================================================================
99.95/100.03	c New solution: 233
99.95/100.03	o 233
99.95/100.03	c Elapsed CPU time: 99.8088 s	Remaining CPU time: 80.1912 s
99.95/100.03	c ===============================================================================
99.95/100.03	c |      2188 |   41332   235654   575467 |    78551      217     34 | 37.942 % |
99.95/100.08	c ===============================================================================
99.95/100.08	c New solution: 232
99.95/100.08	o 232
99.95/100.08	c Elapsed CPU time: 99.8568 s	Remaining CPU time: 80.1432 s
99.95/100.08	c ===============================================================================
99.95/100.08	c |      2193 |   41090   235655   575767 |    78551      222     34 | 37.942 % |
100.06/100.13	c ===============================================================================
100.06/100.13	c New solution: 231
100.06/100.13	o 231
100.06/100.13	c Elapsed CPU time: 99.9108 s	Remaining CPU time: 80.0892 s
100.06/100.13	c ===============================================================================
100.06/100.13	c |      2199 |   40848   235656   576067 |    78552      228     34 | 37.942 % |
100.06/100.19	c ===============================================================================
100.06/100.19	c New solution: 230
100.06/100.19	o 230
100.06/100.19	c Elapsed CPU time: 99.9658 s	Remaining CPU time: 80.0342 s
100.06/100.19	c ===============================================================================
100.06/100.19	c |      2212 |   40606   235657   576367 |    78552      241     34 | 37.942 % |
100.16/100.23	c |      2313 |   40553   235657   576367 |    86407      342     36 | 44.587 % |
100.25/100.31	c ===============================================================================
100.25/100.31	c New solution: 229
100.25/100.31	o 229
100.25/100.31	c Elapsed CPU time: 100.088 s	Remaining CPU time: 79.9122 s
100.25/100.31	c ===============================================================================
100.25/100.31	c |      2370 |   40364   235658   576667 |    78552      399     38 | 44.587 % |
100.25/100.36	c ===============================================================================
100.25/100.36	c New solution: 228
100.25/100.36	o 228
100.25/100.36	c Elapsed CPU time: 100.143 s	Remaining CPU time: 79.8572 s
100.25/100.36	c ===============================================================================
100.25/100.36	c |      2374 |   40122   235659   576967 |    78553      403     38 | 44.587 % |
100.35/100.41	c ===============================================================================
100.35/100.41	c New solution: 227
100.35/100.41	o 227
100.35/100.41	c Elapsed CPU time: 100.19 s	Remaining CPU time: 79.8102 s
100.35/100.41	c ===============================================================================
100.35/100.41	c |      2383 |   39880   235660   577267 |    78553      412     38 | 44.587 % |
100.35/100.47	c ===============================================================================
100.35/100.47	c New solution: 226
100.35/100.47	o 226
100.35/100.47	c Elapsed CPU time: 100.245 s	Remaining CPU time: 79.7552 s
100.35/100.47	c ===============================================================================
100.35/100.47	c |      2389 |   39638   235661   577567 |    78553      418     38 | 44.587 % |
100.45/100.51	c ===============================================================================
100.45/100.51	c New solution: 225
100.45/100.51	o 225
100.45/100.51	c Elapsed CPU time: 100.292 s	Remaining CPU time: 79.7082 s
100.45/100.51	c ===============================================================================
100.45/100.51	c |      2401 |   39396   235662   577867 |    78554      430     37 | 44.587 % |
100.45/100.57	c |      2502 |   39154   235662   577867 |    86409      395     41 | 46.248 % |
100.55/100.68	c |      2652 |   39154   235662   577867 |    95050      545     46 | 46.248 % |
100.66/100.73	c ===============================================================================
100.66/100.73	c New solution: 224
100.66/100.73	o 224
100.66/100.73	c Elapsed CPU time: 100.503 s	Remaining CPU time: 79.4973 s
100.66/100.73	c ===============================================================================
100.66/100.73	c |      2657 |   39154   235663   578167 |    78554      550     46 | 46.248 % |
100.66/100.78	c ===============================================================================
100.66/100.78	c New solution: 223
100.66/100.78	o 223
100.66/100.78	c Elapsed CPU time: 100.556 s	Remaining CPU time: 79.4443 s
100.66/100.78	c ===============================================================================
100.66/100.78	c |      2659 |   38912   235664   578467 |    78554      552     46 | 46.248 % |
100.76/100.83	c ===============================================================================
100.76/100.83	c New solution: 222
100.76/100.83	o 222
100.76/100.83	c Elapsed CPU time: 100.609 s	Remaining CPU time: 79.3913 s
100.76/100.83	c ===============================================================================
100.76/100.83	c |      2662 |   38670   235665   578767 |    78555      555     46 | 46.248 % |
100.76/100.88	c ===============================================================================
100.76/100.88	c New solution: 221
100.76/100.88	o 221
100.76/100.88	c Elapsed CPU time: 100.654 s	Remaining CPU time: 79.3463 s
100.76/100.88	c ===============================================================================
100.76/100.88	c |      2665 |   38428   235666   579067 |    78555      558     46 | 46.248 % |
100.85/100.93	c ===============================================================================
100.85/100.93	c New solution: 220
100.85/100.93	o 220
100.85/100.93	c Elapsed CPU time: 100.707 s	Remaining CPU time: 79.2933 s
100.85/100.93	c ===============================================================================
100.85/100.93	c |      2665 |   38186   235667   579367 |    78555      558     46 | 46.248 % |
100.85/100.99	c ===============================================================================
100.85/100.99	c New solution: 219
100.85/100.99	o 219
100.85/100.99	c Elapsed CPU time: 100.759 s	Remaining CPU time: 79.2413 s
100.85/100.99	c ===============================================================================
100.85/100.99	c |      2669 |   37944   235668   579667 |    78556      562     45 | 46.248 % |
100.95/101.04	c |      2769 |   37914   235668   579667 |    86411      662     47 | 48.241 % |
101.05/101.11	c ===============================================================================
101.05/101.11	c New solution: 218
101.05/101.11	o 218
101.05/101.11	c Elapsed CPU time: 100.879 s	Remaining CPU time: 79.1213 s
101.05/101.11	c ===============================================================================
101.05/101.11	c |      2806 |   37702   235669   579967 |    78556      699     47 | 48.241 % |
101.05/101.17	c ===============================================================================
101.05/101.17	c New solution: 217
101.05/101.17	o 217
101.05/101.17	c Elapsed CPU time: 100.932 s	Remaining CPU time: 79.0683 s
101.05/101.17	c ===============================================================================
101.05/101.17	c |      2809 |   37460   235670   580267 |    78556      702     47 | 48.241 % |
101.15/101.22	c ===============================================================================
101.15/101.22	c New solution: 216
101.15/101.22	o 216
101.15/101.22	c Elapsed CPU time: 100.983 s	Remaining CPU time: 79.0174 s
101.15/101.22	c ===============================================================================
101.15/101.22	c |      2821 |   37218   235671   580567 |    78557      397     39 | 48.241 % |
101.15/101.27	c |      2922 |   37117   235671   580567 |    86412      498     38 | 49.238 % |
101.26/101.36	c |      3072 |   37115   235671   580567 |    95053      648     43 | 49.238 % |
101.36/101.45	c |      3297 |   37110   235671   580567 |   104559      873     48 | 49.238 % |
101.56/101.66	c |      3635 |   37108   235671   580567 |   115015     1211     52 | 49.238 % |
101.66/101.78	c ===============================================================================
101.66/101.78	c New solution: 215
101.66/101.78	o 215
101.66/101.78	c Elapsed CPU time: 101.546 s	Remaining CPU time: 78.4544 s
101.66/101.78	c ===============================================================================
101.66/101.78	c |      3734 |   36976   235672   580867 |    78557     1294     53 | 49.238 % |
101.75/101.84	c ===============================================================================
101.75/101.84	c New solution: 214
101.75/101.84	o 214
101.75/101.84	c Elapsed CPU time: 101.602 s	Remaining CPU time: 78.3984 s
101.75/101.84	c ===============================================================================
101.75/101.84	c |      3737 |   36734   235673   581167 |    78557     1297     53 | 49.238 % |
101.75/101.89	c ===============================================================================
101.75/101.89	c New solution: 213
101.75/101.89	o 213
101.75/101.89	c Elapsed CPU time: 101.656 s	Remaining CPU time: 78.3445 s
101.75/101.90	c ===============================================================================
101.75/101.90	c |      3742 |   36492   235674   581467 |    78558     1302     53 | 49.238 % |
101.85/101.97	c ===============================================================================
101.85/101.97	c New solution: 212
101.85/101.97	o 212
101.85/101.97	c Elapsed CPU time: 101.732 s	Remaining CPU time: 78.2685 s
101.85/101.97	c ===============================================================================
101.85/101.97	c |      3811 |   36250   235675   581767 |    78558     1371     52 | 49.238 % |
101.95/102.07	c |      3911 |   36240   235675   581767 |    86414     1471     53 | 50.567 % |
102.05/102.12	c ===============================================================================
102.05/102.12	c New solution: 211
102.05/102.12	o 211
102.05/102.12	c Elapsed CPU time: 101.879 s	Remaining CPU time: 78.1215 s
102.05/102.12	c ===============================================================================
102.05/102.12	c |      3920 |   36008   235676   582067 |    78558     1480     53 | 50.567 % |
102.05/102.17	c ===============================================================================
102.05/102.17	c New solution: 210
102.05/102.17	o 210
102.05/102.17	c Elapsed CPU time: 101.926 s	Remaining CPU time: 78.0745 s
102.05/102.17	c ===============================================================================
102.05/102.17	c |      3929 |   35766   235677   582367 |    78559     1489     53 | 50.567 % |
102.15/102.22	c ===============================================================================
102.15/102.22	c New solution: 209
102.15/102.22	o 209
102.15/102.22	c Elapsed CPU time: 101.973 s	Remaining CPU time: 78.0265 s
102.15/102.22	c ===============================================================================
102.15/102.22	c |      3939 |   35524   235678   582667 |    78559     1499     53 | 50.567 % |
102.15/102.27	c ===============================================================================
102.15/102.27	c New solution: 208
102.15/102.27	o 208
102.15/102.27	c Elapsed CPU time: 102.024 s	Remaining CPU time: 77.9755 s
102.15/102.27	c ===============================================================================
102.15/102.27	c |      3946 |   35282   235679   582967 |    78559     1506     53 | 50.567 % |
102.25/102.32	c ===============================================================================
102.25/102.32	c New solution: 207
102.25/102.32	o 207
102.25/102.32	c Elapsed CPU time: 102.077 s	Remaining CPU time: 77.9225 s
102.25/102.32	c ===============================================================================
102.25/102.32	c |      3952 |   35040   235680   583267 |    78560     1512     53 | 50.567 % |
102.25/102.38	c ===============================================================================
102.25/102.38	c New solution: 206
102.25/102.38	o 206
102.25/102.38	c Elapsed CPU time: 102.131 s	Remaining CPU time: 77.8685 s
102.25/102.38	c ===============================================================================
102.25/102.38	c |      3957 |   34798   235681   583567 |    78560     1517     52 | 50.567 % |
102.36/102.43	c ===============================================================================
102.36/102.43	c New solution: 205
102.36/102.43	o 205
102.36/102.43	c Elapsed CPU time: 102.185 s	Remaining CPU time: 77.8145 s
102.36/102.43	c ===============================================================================
102.36/102.43	c |      3958 |   34556   235682   583867 |    78560     1518     52 | 50.567 % |
102.36/102.48	c ===============================================================================
102.36/102.48	c New solution: 204
102.36/102.48	o 204
102.36/102.48	c Elapsed CPU time: 102.235 s	Remaining CPU time: 77.7645 s
102.36/102.48	c ===============================================================================
102.36/102.48	c |      3970 |   34314   235683   584167 |    78561      698     45 | 50.567 % |
102.45/102.55	c |      4070 |   34300   235683   584167 |    86417      798     46 | 53.225 % |
102.45/102.59	c ===============================================================================
102.45/102.59	c New solution: 203
102.45/102.59	o 203
102.45/102.59	c Elapsed CPU time: 102.344 s	Remaining CPU time: 77.6556 s
102.45/102.59	c ===============================================================================
102.45/102.59	c |      4070 |   34072   235684   584467 |    78561      798     46 | 53.225 % |
102.55/102.64	c ===============================================================================
102.55/102.64	c New solution: 202
102.55/102.64	o 202
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 |      4073 |   33830   235685   584767 |    78561      801     46 | 53.225 % |
102.65/102.70	c ===============================================================================
102.65/102.70	c New solution: 201
102.65/102.70	o 201
102.65/102.70	c Elapsed CPU time: 102.445 s	Remaining CPU time: 77.5546 s
102.65/102.70	c ===============================================================================
102.65/102.70	c |      4077 |   33588   235686   585067 |    78562      805     46 | 53.225 % |
102.65/102.75	c ===============================================================================
102.65/102.75	c New solution: 200
102.65/102.75	o 200
102.65/102.75	c Elapsed CPU time: 102.495 s	Remaining CPU time: 77.5046 s
102.65/102.75	c ===============================================================================
102.65/102.75	c |      4088 |   33346   235687   585367 |    78562      816     46 | 53.225 % |
102.75/102.80	c ===============================================================================
102.75/102.80	c New solution: 199
102.75/102.80	o 199
102.75/102.80	c Elapsed CPU time: 102.552 s	Remaining CPU time: 77.4476 s
102.75/102.80	c ===============================================================================
102.75/102.80	c |      4092 |   33104   235688   585667 |    78562      820     45 | 53.225 % |
102.75/102.85	c ===============================================================================
102.75/102.85	c New solution: 198
102.75/102.85	o 198
102.75/102.85	c Elapsed CPU time: 102.598 s	Remaining CPU time: 77.4016 s
102.75/102.85	c ===============================================================================
102.75/102.85	c |      4102 |   32862   235689   585967 |    78563      830     45 | 53.225 % |
102.85/102.91	c ===============================================================================
102.85/102.91	c New solution: 197
102.85/102.91	o 197
102.85/102.91	c Elapsed CPU time: 102.661 s	Remaining CPU time: 77.3386 s
102.85/102.91	c ===============================================================================
102.85/102.91	c |      4138 |   32620   235690   586267 |    78563      866     45 | 53.225 % |
102.85/102.96	c ===============================================================================
102.85/102.96	c New solution: 196
102.85/102.97	o 196
102.85/102.97	c Elapsed CPU time: 102.713 s	Remaining CPU time: 77.2866 s
102.85/102.97	c ===============================================================================
102.85/102.97	c |      4140 |   32378   235691   586567 |    78563      868     44 | 53.225 % |
102.95/103.01	c ===============================================================================
102.95/103.01	c New solution: 195
102.95/103.01	o 195
102.95/103.01	c Elapsed CPU time: 102.76 s	Remaining CPU time: 77.2396 s
102.95/103.01	c ===============================================================================
102.95/103.01	c |      4148 |   32136   235692   586867 |    78564      876     44 | 53.225 % |
102.95/103.06	c ===============================================================================
102.95/103.06	c New solution: 194
102.95/103.06	o 194
102.95/103.06	c Elapsed CPU time: 102.804 s	Remaining CPU time: 77.1956 s
102.95/103.06	c ===============================================================================
102.95/103.06	c |      4155 |   31894   235693   587167 |    78564      883     44 | 53.225 % |
103.05/103.11	c ===============================================================================
103.05/103.11	c New solution: 193
103.05/103.11	o 193
103.05/103.11	c Elapsed CPU time: 102.856 s	Remaining CPU time: 77.1436 s
103.05/103.11	c ===============================================================================
103.05/103.11	c |      4161 |   31652   235694   587467 |    78564      889     44 | 53.225 % |
103.05/103.16	c ===============================================================================
103.05/103.16	c New solution: 192
103.05/103.16	o 192
103.05/103.16	c Elapsed CPU time: 102.906 s	Remaining CPU time: 77.0936 s
103.05/103.16	c ===============================================================================
103.05/103.16	c |      4164 |   31410   235695   587767 |    78565      892     44 | 53.225 % |
103.15/103.21	c ===============================================================================
103.15/103.21	c New solution: 191
103.15/103.21	o 191
103.15/103.21	c Elapsed CPU time: 102.95 s	Remaining CPU time: 77.0497 s
103.15/103.21	c ===============================================================================
103.15/103.21	c |      4168 |   31168   235696   588067 |    78565      896     44 | 53.225 % |
103.15/103.26	c |      4269 |   31126   235696   588067 |    86421      997     45 | 57.544 % |
103.25/103.35	c |      4420 |   30926   235696   588067 |    95064      485     39 | 57.544 % |
103.25/103.39	c ===============================================================================
103.25/103.39	c New solution: 190
103.25/103.39	o 190
103.25/103.39	c Elapsed CPU time: 103.135 s	Remaining CPU time: 76.8647 s
103.25/103.39	c ===============================================================================
103.25/103.39	c |      4426 |   30926   235697   588367 |    78565      491     39 | 57.544 % |
103.35/103.44	c ===============================================================================
103.35/103.44	c New solution: 189
103.35/103.44	o 189
103.35/103.44	c Elapsed CPU time: 103.185 s	Remaining CPU time: 76.8147 s
103.35/103.44	c ===============================================================================
103.35/103.44	c |      4431 |   30684   235698   588667 |    78566      496     39 | 57.544 % |
103.35/103.49	c ===============================================================================
103.35/103.49	c New solution: 188
103.35/103.49	o 188
103.35/103.49	c Elapsed CPU time: 103.239 s	Remaining CPU time: 76.7607 s
103.35/103.49	c ===============================================================================
103.35/103.49	c |      4464 |   30442   235699   588967 |    78566      529     39 | 57.544 % |
103.45/103.55	c ===============================================================================
103.45/103.55	c New solution: 187
103.45/103.55	o 187
103.45/103.55	c Elapsed CPU time: 103.294 s	Remaining CPU time: 76.7057 s
103.45/103.55	c ===============================================================================
103.45/103.55	c |      4479 |   30200   235700   589267 |    78566      544     39 | 57.544 % |
103.56/103.60	c ===============================================================================
103.56/103.60	c New solution: 186
103.56/103.60	o 186
103.56/103.60	c Elapsed CPU time: 103.343 s	Remaining CPU time: 76.6567 s
103.56/103.60	c ===============================================================================
103.56/103.60	c |      4483 |   29958   235701   589567 |    78567      548     39 | 57.544 % |
103.56/103.65	c ===============================================================================
103.56/103.65	c New solution: 185
103.56/103.65	o 185
103.56/103.65	c Elapsed CPU time: 103.387 s	Remaining CPU time: 76.6127 s
103.56/103.65	c ===============================================================================
103.56/103.65	c |      4491 |   29716   235702   589867 |    78567      556     39 | 57.544 % |
103.65/103.70	c ===============================================================================
103.65/103.70	c New solution: 184
103.65/103.70	o 184
103.65/103.70	c Elapsed CPU time: 103.441 s	Remaining CPU time: 76.5587 s
103.65/103.70	c ===============================================================================
103.65/103.70	c |      4511 |   29474   235703   590167 |    78567      576     39 | 57.544 % |
103.65/103.76	c |      4612 |   29452   235703   590167 |    86424      677     41 | 59.869 % |
103.75/103.80	c ===============================================================================
103.75/103.80	c New solution: 183
103.75/103.80	o 183
103.75/103.80	c Elapsed CPU time: 103.54 s	Remaining CPU time: 76.4597 s
103.75/103.80	c ===============================================================================
103.75/103.80	c |      4615 |   29232   235704   590467 |    78568      680     41 | 59.869 % |
103.75/103.85	c ===============================================================================
103.75/103.85	c New solution: 182
103.75/103.85	o 182
103.75/103.85	c Elapsed CPU time: 103.588 s	Remaining CPU time: 76.4117 s
103.75/103.85	c ===============================================================================
103.75/103.85	c |      4617 |   28990   235705   590767 |    78568      682     41 | 59.869 % |
103.75/103.89	c ===============================================================================
103.75/103.89	c New solution: 181
103.75/103.89	o 181
103.75/103.89	c Elapsed CPU time: 103.635 s	Remaining CPU time: 76.3648 s
103.75/103.89	c ===============================================================================
103.75/103.89	c |      4617 |   28748   235706   591067 |    78568      682     41 | 59.869 % |
103.85/103.94	c ===============================================================================
103.85/103.94	c New solution: 180
103.85/103.94	o 180
103.85/103.94	c Elapsed CPU time: 103.681 s	Remaining CPU time: 76.3188 s
103.85/103.94	c ===============================================================================
103.85/103.94	c |      4619 |   28506   235707   591367 |    78569      684     41 | 59.869 % |
103.85/103.99	c ===============================================================================
103.85/103.99	c New solution: 179
103.85/103.99	o 179
103.85/103.99	c Elapsed CPU time: 103.726 s	Remaining CPU time: 76.2738 s
103.85/103.99	c ===============================================================================
103.85/103.99	c |      4620 |   28264   235708   591667 |    78569      685     41 | 59.869 % |
103.95/104.03	c ===============================================================================
103.95/104.03	c New solution: 178
103.95/104.03	o 178
103.95/104.03	c Elapsed CPU time: 103.771 s	Remaining CPU time: 76.2288 s
103.95/104.03	c ===============================================================================
103.95/104.03	c |      4625 |   28022   235709   591967 |    78569      690     41 | 59.869 % |
103.95/104.08	c ===============================================================================
103.95/104.08	c New solution: 177
103.95/104.08	o 177
103.95/104.08	c Elapsed CPU time: 103.817 s	Remaining CPU time: 76.1828 s
103.95/104.08	c ===============================================================================
103.95/104.08	c |      4626 |   27780   235710   592267 |    78570      691     41 | 59.869 % |
104.05/104.13	c ===============================================================================
104.05/104.13	c New solution: 176
104.05/104.13	o 176
104.05/104.13	c Elapsed CPU time: 103.866 s	Remaining CPU time: 76.1338 s
104.05/104.13	c ===============================================================================
104.05/104.13	c |      4632 |   27538   235711   592567 |    78570      226     34 | 59.869 % |
104.05/104.18	c ===============================================================================
104.05/104.18	c New solution: 175
104.05/104.18	o 175
104.05/104.18	c Elapsed CPU time: 103.915 s	Remaining CPU time: 76.0848 s
104.05/104.18	c ===============================================================================
104.05/104.18	c |      4636 |   27296   235712   592867 |    78570      230     34 | 59.869 % |
104.15/104.23	c ===============================================================================
104.15/104.23	c New solution: 174
104.15/104.23	o 174
104.15/104.23	c Elapsed CPU time: 103.964 s	Remaining CPU time: 76.0358 s
104.15/104.23	c ===============================================================================
104.15/104.23	c |      4647 |   27054   235713   593167 |    78571      241     33 | 59.869 % |
104.15/104.28	c ===============================================================================
104.15/104.28	c New solution: 173
104.15/104.28	o 173
104.15/104.28	c Elapsed CPU time: 104.011 s	Remaining CPU time: 75.9888 s
104.15/104.28	c ===============================================================================
104.15/104.28	c |      4657 |   26812   235714   593467 |    78571      251     33 | 59.869 % |
104.25/104.32	c ===============================================================================
104.25/104.32	c New solution: 172
104.25/104.32	o 172
104.25/104.32	c Elapsed CPU time: 104.054 s	Remaining CPU time: 75.9458 s
104.25/104.32	c ===============================================================================
104.25/104.32	c |      4667 |   26570   235715   593767 |    78571      261     33 | 59.869 % |
104.25/104.37	c ===============================================================================
104.25/104.37	c New solution: 171
104.25/104.37	o 171
104.25/104.37	c Elapsed CPU time: 104.109 s	Remaining CPU time: 75.8908 s
104.25/104.37	c ===============================================================================
104.25/104.37	c |      4691 |   26328   235716   594067 |    78572      285     34 | 59.869 % |
104.36/104.42	c |      4791 |   26143   235716   594067 |    86429      385     41 | 64.188 % |
104.36/104.49	c |      4942 |   26143   235716   594067 |    95072      536     45 | 64.188 % |
104.56/104.64	c |      5168 |   26143   235716   594067 |   104579      762     46 | 64.188 % |
104.56/104.68	c ===============================================================================
104.56/104.68	c New solution: 170
104.56/104.68	o 170
104.56/104.68	c Elapsed CPU time: 104.413 s	Remaining CPU time: 75.5869 s
104.56/104.68	c ===============================================================================
104.56/104.68	c |      5175 |   26086   235717   594367 |    78572      769     46 | 64.188 % |
104.65/104.73	c ===============================================================================
104.65/104.73	c New solution: 169
104.65/104.73	o 169
104.65/104.73	c Elapsed CPU time: 104.458 s	Remaining CPU time: 75.5419 s
104.65/104.73	c ===============================================================================
104.65/104.73	c |      5190 |   25844   235718   594667 |    78572      784     46 | 64.188 % |
104.65/104.77	c ===============================================================================
104.65/104.77	c New solution: 168
104.65/104.77	o 168
104.65/104.77	c Elapsed CPU time: 104.505 s	Remaining CPU time: 75.4949 s
104.65/104.77	c ===============================================================================
104.65/104.77	c |      5202 |   25602   235719   594967 |    78573      796     46 | 64.188 % |
104.75/104.82	c ===============================================================================
104.75/104.82	c New solution: 167
104.75/104.82	o 167
104.75/104.82	c Elapsed CPU time: 104.55 s	Remaining CPU time: 75.4499 s
104.75/104.82	c ===============================================================================
104.75/104.82	c |      5204 |   25360   235720   595267 |    78573      798     46 | 64.188 % |
104.75/104.86	c ===============================================================================
104.75/104.86	c New solution: 166
104.75/104.86	o 166
104.75/104.86	c Elapsed CPU time: 104.595 s	Remaining CPU time: 75.4049 s
104.75/104.86	c ===============================================================================
104.75/104.86	c |      5208 |   25118   235721   595567 |    78573      802     46 | 64.188 % |
104.85/104.90	c ===============================================================================
104.85/104.90	c New solution: 165
104.85/104.90	o 165
104.85/104.90	c Elapsed CPU time: 104.636 s	Remaining CPU time: 75.3639 s
104.85/104.90	c ===============================================================================
104.85/104.90	c |      5213 |   24876   235722   595867 |    78574      453     47 | 64.188 % |
104.85/104.95	c ===============================================================================
104.85/104.95	c New solution: 164
104.85/104.95	o 164
104.85/104.95	c Elapsed CPU time: 104.682 s	Remaining CPU time: 75.3179 s
104.85/104.95	c ===============================================================================
104.85/104.95	c |      5219 |   24634   235723   596167 |    78574      459     47 | 64.188 % |
104.95/105.00	c |      5319 |   24590   235723   596167 |    86431      559     50 | 66.514 % |
104.95/105.06	c |      5469 |   24588   235723   596167 |    95074      709     48 | 66.514 % |
105.05/105.10	c ===============================================================================
105.05/105.10	c New solution: 163
105.05/105.10	o 163
105.05/105.10	c Elapsed CPU time: 104.83 s	Remaining CPU time: 75.1699 s
105.05/105.10	c ===============================================================================
105.05/105.10	c |      5471 |   24392   235724   596467 |    78574      711     48 | 66.514 % |
105.05/105.15	c ===============================================================================
105.05/105.15	c New solution: 162
105.05/105.15	o 162
105.05/105.15	c Elapsed CPU time: 104.875 s	Remaining CPU time: 75.1249 s
105.05/105.15	c ===============================================================================
105.05/105.15	c |      5475 |   24150   235725   596767 |    78575      715     48 | 66.514 % |
105.05/105.19	c ===============================================================================
105.05/105.19	c New solution: 161
105.05/105.19	o 161
105.05/105.19	c Elapsed CPU time: 104.919 s	Remaining CPU time: 75.081 s
105.05/105.19	c ===============================================================================
105.05/105.19	c |      5476 |   23908   235726   597067 |    78575      716     48 | 66.514 % |
105.15/105.24	c ===============================================================================
105.15/105.24	c New solution: 160
105.15/105.24	o 160
105.15/105.24	c Elapsed CPU time: 104.966 s	Remaining CPU time: 75.034 s
105.15/105.24	c ===============================================================================
105.15/105.24	c |      5482 |   23666   235727   597367 |    78575      722     48 | 66.514 % |
105.15/105.28	c ===============================================================================
105.15/105.28	c New solution: 159
105.15/105.28	o 159
105.15/105.28	c Elapsed CPU time: 105.01 s	Remaining CPU time: 74.99 s
105.15/105.28	c ===============================================================================
105.15/105.28	c |      5483 |   23424   235728   597667 |    78576      723     48 | 66.514 % |
105.25/105.33	c ===============================================================================
105.25/105.33	c New solution: 158
105.25/105.33	o 158
105.25/105.33	c Elapsed CPU time: 105.053 s	Remaining CPU time: 74.947 s
105.25/105.33	c ===============================================================================
105.25/105.33	c |      5499 |   23182   235729   597967 |    78576      739     47 | 66.514 % |
105.25/105.37	c ===============================================================================
105.25/105.37	c New solution: 157
105.25/105.37	o 157
105.25/105.37	c Elapsed CPU time: 105.098 s	Remaining CPU time: 74.902 s
105.25/105.37	c ===============================================================================
105.25/105.37	c |      5516 |   22940   235730   598267 |    78576      756     47 | 66.514 % |
105.35/105.42	c ===============================================================================
105.35/105.42	c New solution: 156
105.35/105.42	o 156
105.35/105.42	c Elapsed CPU time: 105.144 s	Remaining CPU time: 74.856 s
105.35/105.42	c ===============================================================================
105.35/105.42	c |      5531 |   22698   235731   598567 |    78577      771     47 | 66.514 % |
105.35/105.46	c ===============================================================================
105.35/105.46	c New solution: 155
105.35/105.46	o 155
105.35/105.46	c Elapsed CPU time: 105.182 s	Remaining CPU time: 74.818 s
105.35/105.46	c ===============================================================================
105.35/105.46	c |      5540 |   22456   235732   598867 |    78577      780     47 | 66.514 % |
105.35/105.50	c |      5641 |   22383   235732   598867 |    86435      881     47 | 69.504 % |
105.46/105.54	c ===============================================================================
105.46/105.54	c New solution: 154
105.46/105.54	o 154
105.46/105.54	c Elapsed CPU time: 105.262 s	Remaining CPU time: 74.738 s
105.46/105.54	c ===============================================================================
105.46/105.54	c |      5660 |   22214   235733   599167 |    78577      900     47 | 69.504 % |
105.46/105.58	c ===============================================================================
105.46/105.58	c New solution: 153
105.46/105.58	o 153
105.46/105.58	c Elapsed CPU time: 105.306 s	Remaining CPU time: 74.694 s
105.46/105.58	c ===============================================================================
105.46/105.58	c |      5662 |   21972   235734   599467 |    78578      902     47 | 69.504 % |
105.56/105.63	c ===============================================================================
105.56/105.63	c New solution: 152
105.56/105.63	o 152
105.56/105.63	c Elapsed CPU time: 105.35 s	Remaining CPU time: 74.65 s
105.56/105.63	c ===============================================================================
105.56/105.63	c |      5666 |   21730   235735   599767 |    78578      906     47 | 69.504 % |
105.56/105.67	c ===============================================================================
105.56/105.67	c New solution: 151
105.56/105.67	o 151
105.56/105.67	c Elapsed CPU time: 105.389 s	Remaining CPU time: 74.611 s
105.56/105.67	c ===============================================================================
105.56/105.67	c |      5671 |   21488   235736   600067 |    78578      911     47 | 69.504 % |
105.66/105.71	c ===============================================================================
105.66/105.71	c New solution: 150
105.66/105.71	o 150
105.66/105.71	c Elapsed CPU time: 105.432 s	Remaining CPU time: 74.568 s
105.66/105.71	c ===============================================================================
105.66/105.71	c |      5680 |   21246   235737   600367 |    78579      920     47 | 69.504 % |
105.66/105.75	c ===============================================================================
105.66/105.75	c New solution: 149
105.66/105.75	o 149
105.66/105.75	c Elapsed CPU time: 105.475 s	Remaining CPU time: 74.525 s
105.66/105.75	c ===============================================================================
105.66/105.75	c |      5686 |   21004   235738   600667 |    78579      926     46 | 69.504 % |
105.66/105.79	c ===============================================================================
105.66/105.79	c New solution: 148
105.66/105.79	o 148
105.66/105.79	c Elapsed CPU time: 105.516 s	Remaining CPU time: 74.484 s
105.66/105.79	c ===============================================================================
105.66/105.79	c |      5691 |   20762   235739   600967 |    78579      441     44 | 69.504 % |
105.75/105.83	c ===============================================================================
105.75/105.83	c New solution: 147
105.75/105.83	o 147
105.75/105.83	c Elapsed CPU time: 105.553 s	Remaining CPU time: 74.447 s
105.75/105.83	c ===============================================================================
105.75/105.83	c |      5694 |   20520   235740   601267 |    78580      444     43 | 69.504 % |
105.75/105.87	c ===============================================================================
105.75/105.87	c New solution: 146
105.75/105.87	o 146
105.75/105.87	c Elapsed CPU time: 105.596 s	Remaining CPU time: 74.4041 s
105.75/105.87	c ===============================================================================
105.75/105.87	c |      5718 |   20278   235741   601567 |    78580      468     43 | 69.504 % |
105.85/105.92	c ===============================================================================
105.85/105.92	c New solution: 145
105.85/105.92	o 145
105.85/105.92	c Elapsed CPU time: 105.639 s	Remaining CPU time: 74.3611 s
105.85/105.92	c ===============================================================================
105.85/105.92	c |      5731 |   20036   235742   601867 |    78580      481     43 | 69.504 % |
105.85/105.96	c ===============================================================================
105.85/105.96	c New solution: 144
105.85/105.96	o 144
105.85/105.96	c Elapsed CPU time: 105.686 s	Remaining CPU time: 74.3141 s
105.85/105.96	c ===============================================================================
105.85/105.96	c |      5755 |   19794   235743   602167 |    78581      505     42 | 69.504 % |
105.95/106.01	c ===============================================================================
105.95/106.01	c New solution: 143
105.95/106.01	o 143
105.95/106.01	c Elapsed CPU time: 105.728 s	Remaining CPU time: 74.2721 s
105.95/106.01	c ===============================================================================
105.95/106.01	c |      5776 |   19552   235744   602467 |    78581      526     42 | 69.504 % |
105.95/106.08	c |      5876 |   19520   235744   602467 |    86439      626     44 | 73.491 % |
106.05/106.17	c |      6026 |   19518   235744   602467 |    95083      776     48 | 73.491 % |
106.15/106.21	c ===============================================================================
106.15/106.21	c New solution: 142
106.15/106.21	o 142
106.15/106.21	c Elapsed CPU time: 105.93 s	Remaining CPU time: 74.0701 s
106.15/106.21	c ===============================================================================
106.15/106.21	c |      6035 |   19310   235745   602767 |    78581      785     48 | 73.491 % |
106.15/106.25	c ===============================================================================
106.15/106.25	c New solution: 141
106.15/106.25	o 141
106.15/106.25	c Elapsed CPU time: 105.969 s	Remaining CPU time: 74.0311 s
106.15/106.25	c ===============================================================================
106.15/106.25	c |      6048 |   19068   235746   603067 |    78582      798     48 | 73.491 % |
106.25/106.30	c ===============================================================================
106.25/106.30	c New solution: 140
106.25/106.30	o 140
106.25/106.30	c Elapsed CPU time: 106.019 s	Remaining CPU time: 73.9811 s
106.25/106.30	c ===============================================================================
106.25/106.30	c |      6079 |   18826   235747   603367 |    78582      829     48 | 73.491 % |
106.25/106.34	c ===============================================================================
106.25/106.34	c New solution: 139
106.25/106.34	o 139
106.25/106.34	c Elapsed CPU time: 106.057 s	Remaining CPU time: 73.9431 s
106.25/106.34	c ===============================================================================
106.25/106.34	c |      6085 |   18584   235748   603667 |    78582      835     48 | 73.491 % |
106.25/106.39	c |      6186 |   18502   235748   603667 |    86440      936     49 | 74.819 % |
106.45/106.52	c |      6336 |   18499   235748   603667 |    95085     1086     49 | 74.819 % |
106.45/106.59	c ===============================================================================
106.45/106.59	c New solution: 138
106.45/106.59	o 138
106.45/106.59	c Elapsed CPU time: 106.308 s	Remaining CPU time: 73.6922 s
106.45/106.59	c ===============================================================================
106.45/106.59	c |      6388 |   18342   235749   603967 |    78583      826     47 | 74.819 % |
106.55/106.64	c ===============================================================================
106.55/106.64	c New solution: 137
106.55/106.64	o 137
106.55/106.64	c Elapsed CPU time: 106.357 s	Remaining CPU time: 73.6432 s
106.55/106.64	c ===============================================================================
106.55/106.64	c |      6409 |   18100   235750   604267 |    78583      847     47 | 74.819 % |
106.55/106.69	c ===============================================================================
106.55/106.69	c New solution: 136
106.55/106.69	o 136
106.55/106.69	c Elapsed CPU time: 106.401 s	Remaining CPU time: 73.5992 s
106.55/106.69	c ===============================================================================
106.55/106.69	c |      6423 |   17858   235751   604567 |    78583      861     46 | 74.819 % |
106.65/106.73	c ===============================================================================
106.65/106.73	c New solution: 135
106.65/106.73	o 135
106.65/106.73	c Elapsed CPU time: 106.446 s	Remaining CPU time: 73.5542 s
106.65/106.73	c ===============================================================================
106.65/106.73	c |      6450 |   17616   235752   604867 |    78584      888     46 | 74.819 % |
106.65/106.78	c ===============================================================================
106.65/106.78	c New solution: 134
106.65/106.78	o 134
106.65/106.78	c Elapsed CPU time: 106.492 s	Remaining CPU time: 73.5082 s
106.65/106.78	c ===============================================================================
106.65/106.78	c |      6468 |   17374   235753   605167 |    78584      906     46 | 74.819 % |
106.75/106.82	c ===============================================================================
106.75/106.82	c New solution: 133
106.75/106.82	o 133
106.75/106.82	c Elapsed CPU time: 106.534 s	Remaining CPU time: 73.4662 s
106.75/106.82	c ===============================================================================
106.75/106.82	c |      6473 |   17132   235754   605467 |    78584      911     46 | 74.819 % |
106.75/106.86	c ===============================================================================
106.75/106.86	c New solution: 132
106.75/106.86	o 132
106.75/106.86	c Elapsed CPU time: 106.575 s	Remaining CPU time: 73.4252 s
106.75/106.86	c ===============================================================================
106.75/106.86	c |      6487 |   16890   235755   605767 |    78585      925     46 | 74.819 % |
106.85/106.90	c |      6587 |   16869   235755   605767 |    86443     1025     46 | 77.145 % |
106.96/107.00	c ===============================================================================
106.96/107.00	c New solution: 131
106.96/107.00	o 131
106.96/107.00	c Elapsed CPU time: 106.718 s	Remaining CPU time: 73.2822 s
106.96/107.00	c ===============================================================================
106.96/107.00	c |      6654 |   16648   235756   606067 |    78585     1092     46 | 77.145 % |
106.96/107.04	c ===============================================================================
106.96/107.04	c New solution: 130
106.96/107.04	o 130
106.96/107.04	c Elapsed CPU time: 106.756 s	Remaining CPU time: 73.2442 s
106.96/107.04	c ===============================================================================
106.96/107.04	c |      6654 |   16406   235757   606367 |    78585     1092     46 | 77.145 % |
106.96/107.08	c ===============================================================================
106.96/107.08	c New solution: 129
106.96/107.08	o 129
106.96/107.08	c Elapsed CPU time: 106.791 s	Remaining CPU time: 73.2092 s
106.96/107.08	c ===============================================================================
106.96/107.08	c |      6659 |   16164   235758   606667 |    78586     1097     46 | 77.145 % |
107.05/107.12	c ===============================================================================
107.05/107.12	c New solution: 128
107.05/107.12	o 128
107.05/107.12	c Elapsed CPU time: 106.83 s	Remaining CPU time: 73.1702 s
107.05/107.12	c ===============================================================================
107.05/107.12	c |      6673 |   15922   235759   606967 |    78586     1111     46 | 77.145 % |
107.05/107.16	c ===============================================================================
107.05/107.16	c New solution: 127
107.05/107.16	o 127
107.05/107.16	c Elapsed CPU time: 106.874 s	Remaining CPU time: 73.1262 s
107.05/107.16	c ===============================================================================
107.05/107.16	c |      6690 |   15680   235760   607267 |    78586     1128     46 | 77.145 % |
107.15/107.20	c ===============================================================================
107.15/107.20	c New solution: 126
107.15/107.20	o 126
107.15/107.20	c Elapsed CPU time: 106.908 s	Remaining CPU time: 73.0923 s
107.15/107.20	c ===============================================================================
107.15/107.20	c |      6700 |   15438   235761   607567 |    78587     1138     45 | 77.145 % |
107.15/107.23	c ===============================================================================
107.15/107.23	c New solution: 125
107.15/107.23	o 125
107.15/107.23	c Elapsed CPU time: 106.945 s	Remaining CPU time: 73.0553 s
107.15/107.23	c ===============================================================================
107.15/107.23	c |      6705 |   15196   235762   607867 |    78587     1143     45 | 77.145 % |
107.15/107.27	c ===============================================================================
107.15/107.27	c New solution: 124
107.15/107.27	o 124
107.15/107.27	c Elapsed CPU time: 106.983 s	Remaining CPU time: 73.0173 s
107.15/107.27	c ===============================================================================
107.15/107.27	c |      6722 |   14954   235763   608167 |    78587     1160     45 | 77.145 % |
107.25/107.38	c ===============================================================================
107.25/107.38	c New solution: 123
107.25/107.38	o 123
107.25/107.38	c Elapsed CPU time: 107.093 s	Remaining CPU time: 72.9073 s
107.25/107.38	c ===============================================================================
107.25/107.38	c |      6815 |   14712   235764   608467 |    78588     1253     46 | 77.145 % |
107.35/107.42	c ===============================================================================
107.35/107.42	c New solution: 122
107.35/107.42	o 122
107.35/107.42	c Elapsed CPU time: 107.129 s	Remaining CPU time: 72.8713 s
107.35/107.42	c ===============================================================================
107.35/107.42	c |      6834 |   14470   235765   608767 |    78588     1272     46 | 77.145 % |
107.35/107.46	c |      6935 |   14420   235765   608767 |    86447     1373     47 | 80.467 % |
107.45/107.55	c |      7085 |   14418   235765   608767 |    95091     1523     47 | 80.467 % |
107.45/107.59	c ===============================================================================
107.45/107.59	c New solution: 121
107.45/107.59	o 121
107.45/107.59	c Elapsed CPU time: 107.295 s	Remaining CPU time: 72.7053 s
107.45/107.59	c ===============================================================================
107.45/107.59	c |      7090 |   14228   235766   609067 |    78588      682     41 | 80.467 % |
107.55/107.62	c ===============================================================================
107.55/107.62	c New solution: 120
107.55/107.62	o 120
107.55/107.62	c Elapsed CPU time: 107.331 s	Remaining CPU time: 72.6693 s
107.55/107.62	c ===============================================================================
107.55/107.62	c |      7103 |   13986   235767   609367 |    78589      695     40 | 80.467 % |
107.55/107.68	c |      7203 |   13933   235767   609367 |    86447      795     44 | 81.132 % |
107.76/107.84	c |      7353 |   13930   235767   609367 |    95092      945     47 | 81.132 % |
107.76/107.89	c ===============================================================================
107.76/107.89	c New solution: 119
107.76/107.89	o 119
107.76/107.89	c Elapsed CPU time: 107.592 s	Remaining CPU time: 72.4084 s
107.76/107.89	c ===============================================================================
107.76/107.89	c |      7368 |   13744   235768   609667 |    78589      960     47 | 81.132 % |
107.85/107.93	c ===============================================================================
107.85/107.93	c New solution: 118
107.85/107.93	o 118
107.85/107.93	c Elapsed CPU time: 107.634 s	Remaining CPU time: 72.3664 s
107.85/107.93	c ===============================================================================
107.85/107.93	c |      7396 |   13502   235769   609967 |    78589      988     47 | 81.132 % |
107.95/108.01	c |      7497 |   13494   235769   609967 |    86448     1089     48 | 81.796 % |
107.95/108.07	c |      7647 |   13471   235769   609967 |    95093     1239     49 | 81.796 % |
108.16/108.25	c |      7874 |   13464   235769   609967 |   104602     1466     49 | 81.796 % |
108.25/108.30	c ===============================================================================
108.25/108.30	c New solution: 117
108.25/108.30	o 117
108.25/108.30	c Elapsed CPU time: 108.003 s	Remaining CPU time: 71.9974 s
108.25/108.30	c ===============================================================================
108.25/108.30	c |      7893 |   13260   235770   610267 |    78590     1485     49 | 81.796 % |
108.25/108.37	c ===============================================================================
108.25/108.37	c New solution: 116
108.25/108.37	o 116
108.25/108.37	c Elapsed CPU time: 108.067 s	Remaining CPU time: 71.9334 s
108.25/108.37	c ===============================================================================
108.25/108.37	c |      7978 |   13018   235771   610567 |    78590     1570     49 | 81.796 % |
108.35/108.41	c |      8078 |   12987   235771   610567 |    86449     1670     48 | 82.461 % |
108.35/108.48	c ===============================================================================
108.35/108.48	c New solution: 115
108.35/108.48	o 115
108.35/108.48	c Elapsed CPU time: 108.183 s	Remaining CPU time: 71.8174 s
108.35/108.48	c ===============================================================================
108.35/108.48	c |      8195 |   12776   235772   610867 |    78590     1067     43 | 82.461 % |
108.45/108.55	c |      8297 |   12772   235772   610867 |    86449     1169     44 | 82.793 % |
108.55/108.64	c |      8447 |   12762   235772   610867 |    95094     1319     49 | 82.793 % |
108.86/108.94	c |      8672 |   12753   235772   610867 |   104604     1544     54 | 82.793 % |
108.96/109.05	c |      9010 |   12736   235772   610867 |   115064     1882     50 | 82.793 % |
109.15/109.29	c |      9516 |   12732   235772   610867 |   126571     2388     52 | 82.793 % |
109.85/109.91	c |     10276 |   12534   235772   610867 |   139228     3064     50 | 82.793 % |
109.85/109.95	c ===============================================================================
109.85/109.95	c New solution: 114
109.85/109.95	o 114
109.85/109.95	c Elapsed CPU time: 109.639 s	Remaining CPU time: 70.3607 s
109.85/109.95	c ===============================================================================
109.85/109.95	c |     10290 |   12534   235773   611167 |    78591     3078     50 | 82.793 % |
109.85/109.99	c |     10390 |   12522   235773   611167 |    86450     3178     50 | 83.125 % |
110.06/110.14	c |     10542 |   12517   235773   611167 |    95095     3330     50 | 83.125 % |
110.06/110.18	c ===============================================================================
110.06/110.18	c New solution: 113
110.06/110.18	o 113
110.06/110.18	c Elapsed CPU time: 109.868 s	Remaining CPU time: 70.1317 s
110.06/110.18	c ===============================================================================
110.06/110.18	c |     10569 |   12292   235774   611467 |    78591     3357     50 | 83.125 % |
110.25/110.32	c |     10669 |   12277   235774   611467 |    86450     3457     50 | 83.457 % |
110.25/110.38	c |     10819 |   12259   235774   611467 |    95095     3607     50 | 83.457 % |
110.45/110.59	c |     11044 |   12050   235774   611467 |   104605     2801     46 | 83.457 % |
110.55/110.63	c ===============================================================================
110.55/110.63	c New solution: 112
110.55/110.63	o 112
110.55/110.63	c Elapsed CPU time: 110.323 s	Remaining CPU time: 69.6768 s
110.55/110.63	c ===============================================================================
110.55/110.63	c |     11068 |   12050   235775   611767 |    78591     2825     46 | 83.457 % |
110.55/110.69	c |     11169 |   12031   235775   611767 |    86450     2926     47 | 83.790 % |
110.65/110.76	c |     11319 |   11995   235775   611767 |    95095     3076     47 | 83.790 % |
110.95/111.01	c |     11544 |   11987   235775   611767 |   104605     3301     48 | 83.790 % |
111.06/111.10	c |     11881 |   11979   235775   611767 |   115066     3638     47 | 83.790 % |
111.35/111.42	c |     12387 |   11979   235775   611767 |   126572     4144     49 | 83.790 % |
111.55/111.68	c |     13148 |   11808   235775   611767 |   139229     4723     48 | 83.790 % |
112.54/112.60	c |     14289 |   11808   235775   611767 |   153152     5864     54 | 83.790 % |
112.54/112.65	c ===============================================================================
112.54/112.65	c New solution: 111
112.54/112.65	o 111
112.54/112.65	c Elapsed CPU time: 112.337 s	Remaining CPU time: 67.6631 s
112.54/112.65	c ===============================================================================
112.54/112.65	c |     14351 |   11808   235776   612067 |    78592     5926     54 | 83.790 % |
112.64/112.70	c |     14452 |   11566   235776   612067 |    86451     5473     53 | 84.122 % |
112.64/112.77	c |     14603 |   11566   235776   612067 |    95096     5624     52 | 84.122 % |
112.84/112.94	c |     14828 |   11566   235776   612067 |   104605     5849     53 | 84.122 % |
113.14/113.25	c |     15165 |   11566   235776   612067 |   115066     6186     53 | 84.122 % |
113.36/113.43	c |     15671 |   11566   235776   612067 |   126573     6692     53 | 84.122 % |
113.95/114.06	c |     16430 |   11566   235776   612067 |   139230     7451     54 | 84.122 % |
114.46/114.57	c |     17572 |   11566   235776   612067 |   153153     8593     54 | 84.122 % |
115.45/115.56	c |     19280 |   11566   235776   612067 |   168468    10301     55 | 84.122 % |
117.66/117.73	c |     21843 |   11566   235776   612067 |   185315    12864     57 | 84.122 % |
119.44/119.57	c |     25690 |   11566   235776   612067 |   203847    16711     55 | 84.122 % |
125.85/125.91	c |     31456 |   11566   235776   612067 |   224232    22477     60 | 84.122 % |
130.04/130.17	c |     40106 |   11566   235776   612067 |   246655    31127     58 | 84.122 % |
147.35/147.41	c |     53080 |   11566   235776   612067 |   271320    44101     65 | 84.122 % |
159.64/159.80	c |     72541 |   11566   235776   612067 |   298452    63562     59 | 84.122 % |
180.44/180.55	c There are 61276 assigned variables. 274 in cost function.
180.83/181.00	c core #1
180.83/181.00	c ============================[ Search Statistics ]==============================
180.83/181.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.83/181.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.83/181.00	c ===============================================================================
180.83/181.00	c |         0 |    5516    92153    87126 |    30717        0    nan |  0.000 % |
180.93/181.04	c |       101 |    5516    92153    87126 |    33789      101     34 | 92.430 % |
181.03/181.11	c |       251 |    5516    92153    87126 |    37168      251     41 | 92.430 % |
181.13/181.21	c |       477 |    5516    92153    87126 |    40885      477     43 | 92.430 % |
181.23/181.35	c |       815 |    5516    92153    87126 |    44973      815     40 | 92.430 % |
181.44/181.60	c |      1321 |    5516    92153    87126 |    49471     1321     42 | 92.430 % |
181.93/182.00	c |      2080 |    5516    92153    87126 |    54418     2080     47 | 92.430 % |
182.43/182.55	c |      3220 |    5516    92153    87126 |    59860     3220     50 | 92.430 % |
183.33/183.48	c |      4928 |    5516    92153    87126 |    65846     4928     53 | 92.430 % |
184.93/185.07	c |      7491 |    5516    92153    87126 |    72430     7491     54 | 92.430 % |
187.43/187.58	c |     11335 |    5516    92153    87126 |    79673    11335     53 | 92.430 % |
191.93/192.00	c |     17102 |    5516    92153    87126 |    87641    17102     53 | 92.430 % |
200.13/200.27	c |     25751 |    5516    92153    87126 |    96405    25751     56 | 92.430 % |
214.23/214.30	c |     38725 |    5516    92153    87126 |   106045    38725     53 | 92.430 % |
242.82/242.97	c |     58186 |    5516    92153    87126 |   116650    58186     57 | 92.430 % |
297.10/297.24	c |     87378 |    5512    92153    87126 |   128315    80232     57 | 92.436 % |
408.08/408.26	c |    131167 |    5512    92153    87126 |   141146   124021     58 | 92.436 % |
630.42/630.69	c |    196851 |    5504    92153    87126 |   155261   167925     58 | 92.447 % |
952.64/952.97	c |    295378 |    5504    92153    87126 |   170787    63760     64 | 92.447 % |
1381.13/1381.54	c |    443167 |    5424    92153    87126 |   187866    90336     56 | 92.556 % |
1564.28/1564.75	c ===============================================================================
1564.88/1565.34	c core #2
1564.88/1565.34	c ============================[ Search Statistics ]==============================
1564.88/1565.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1564.88/1565.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1564.88/1565.34	c ===============================================================================
1564.88/1565.34	c |         0 |    5812    92237    89255 |    30745        0    nan |  0.000 % |
1564.88/1565.38	c |       100 |    5812    92237    89255 |    33820      100     29 | 92.027 % |
1564.98/1565.49	c |       253 |    5812    92237    89255 |    37202      253     46 | 92.027 % |
1565.07/1565.59	c |       478 |    5812    92237    89255 |    40922      478     42 | 92.027 % |
1565.27/1565.75	c |       817 |    5812    92237    89255 |    45014      817     46 | 92.027 % |
1565.57/1566.02	c |      1323 |    5812    92237    89255 |    49516     1323     48 | 92.027 % |
1565.88/1566.36	c |      2083 |    5812    92237    89255 |    54467     2083     45 | 92.027 % |
1566.47/1566.97	c |      3222 |    5812    92237    89255 |    59914     3222     51 | 92.027 % |
1567.37/1567.80	c |      4930 |    5812    92237    89255 |    65906     4930     51 | 92.027 % |
1568.98/1569.42	c |      7492 |    5812    92237    89255 |    72496     7492     56 | 92.027 % |
1571.38/1571.84	c |     11336 |    5812    92237    89255 |    79746    11336     54 | 92.027 % |
1575.88/1576.35	c |     17107 |    5812    92237    89255 |    87720    17107     58 | 92.027 % |
1583.77/1584.23	c |     25759 |    5812    92237    89255 |    96493    25759     56 | 92.027 % |
1598.37/1598.88	c |     38734 |    5812    92237    89255 |   106142    38734     57 | 92.027 % |
1628.46/1628.99	c |     58197 |    5812    92237    89255 |   116756    58197     56 | 92.027 % |
1686.05/1686.53	c |     87391 |    5812    92237    89255 |   128432    87391     59 | 92.027 % |

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-2687243-1278450224/watcher-2687243-1278450224 -o /tmp/evaluation-result-2687243-1278450224/solver-2687243-1278450224 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687243-1278450224.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 19427
/proc/meminfo: memFree=1810312/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=10568 CPUtime=0
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 311 0 0 0 0 0 0 0 16 0 1 0 13235463 10821632 229 1992294400 134512640 135751879 4287032592 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 2642 229 139 303 0 374 0

[startup+0.108187 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19427
/proc/meminfo: memFree=1810312/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=15944 CPUtime=0.1
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 1690 0 0 0 10 0 0 0 17 0 1 0 13235463 16326656 1608 1992294400 134512640 135751879 4287032592 18446744073709551615 135380117 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 3986 1608 290 303 0 1718 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15944

[startup+0.201195 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19427
/proc/meminfo: memFree=1810312/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=18976 CPUtime=0.18
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 2540 0 0 0 18 0 0 0 17 0 1 0 13235463 19431424 2425 1992294400 134512640 135751879 4287032592 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 4744 2425 439 303 0 2476 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 18976

[startup+0.301205 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19427
/proc/meminfo: memFree=1810312/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=19888 CPUtime=0.29
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 2905 0 0 0 28 1 0 0 17 0 1 0 13235463 20365312 2790 1992294400 134512640 135751879 4287032592 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 4972 2791 585 303 0 2704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19888

[startup+0.701244 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19427
/proc/meminfo: memFree=1810312/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=26508 CPUtime=0.69
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 5036 0 0 0 67 2 0 0 17 0 1 0 13235463 27144192 4832 1992294400 134512640 135751879 4287032592 18446744073709551615 134638393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 6627 4832 1208 303 0 4359 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26508

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19428
/proc/meminfo: memFree=1789100/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=37068 CPUtime=1.48
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 8281 0 0 0 145 3 0 0 18 0 1 0 13235463 37957632 8012 1992294400 134512640 135751879 4287032592 18446744073709551615 134559686 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 9267 8012 2011 303 0 6999 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37068

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19428
/proc/meminfo: memFree=1759216/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=56748 CPUtime=3.09
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 15342 0 0 0 304 5 0 0 21 0 1 0 13235463 58109952 12885 1992294400 134512640 135751879 4287032592 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 14187 12885 146 303 0 13882 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56748

[startup+6.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19428
/proc/meminfo: memFree=1753884/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=63480 CPUtime=6.29
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 17040 0 0 0 623 6 0 0 25 0 1 0 13235463 65003520 14583 1992294400 134512640 135751879 4287032592 18446744073709551615 134697033 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 15870 14583 146 303 0 15565 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63480

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19429
/proc/meminfo: memFree=1742724/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=73512 CPUtime=12.69
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 19532 0 0 0 1262 7 0 0 25 0 1 0 13235463 75276288 17076 1992294400 134512640 135751879 4287032592 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 18378 17076 146 303 0 18073 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73512

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19429
/proc/meminfo: memFree=1729084/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=86844 CPUtime=25.48
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 22876 0 0 0 2540 8 0 0 25 0 1 0 13235463 88928256 20419 1992294400 134512640 135751879 4287032592 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 21711 20419 146 303 0 21406 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86844

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19429
/proc/meminfo: memFree=1711104/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=104796 CPUtime=51.06
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 27378 0 0 0 5096 10 0 0 25 0 1 0 13235463 107311104 24921 1992294400 134512640 135751879 4287032592 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 26199 24921 146 303 0 25894 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 104796

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19431
/proc/meminfo: memFree=1695852/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=118744 CPUtime=102.25
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 32288 0 0 0 10205 20 0 0 25 0 1 0 13235463 121593856 28516 1992294400 134512640 135751879 4287032592 18446744073709551615 134598707 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 29686 28516 147 303 0 29381 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 118744

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19433
/proc/meminfo: memFree=1695604/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=118744 CPUtime=162.24
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 32288 0 0 0 16178 46 0 0 25 0 1 0 13235463 121593856 28516 1992294400 134512640 135751879 4287032592 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 29686 28516 147 303 0 29381 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 118744

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19434
/proc/meminfo: memFree=1702796/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=110436 CPUtime=222.23
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33580 0 0 0 22160 63 0 0 25 0 1 0 13235463 113086464 26751 1992294400 134512640 135751879 4287032592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27609 26751 151 303 0 27304 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 110436

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19435
/proc/meminfo: memFree=1702796/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=110436 CPUtime=282.21
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33580 0 0 0 28141 80 0 0 25 0 1 0 13235463 113086464 26751 1992294400 134512640 135751879 4287032592 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27609 26751 151 303 0 27304 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 110436

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19437
/proc/meminfo: memFree=1702672/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=110436 CPUtime=342.19
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33580 0 0 0 34125 94 0 0 25 0 1 0 13235463 113086464 26751 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27609 26751 151 303 0 27304 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 110436

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19439
/proc/meminfo: memFree=1702672/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=110436 CPUtime=402.18
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33580 0 0 0 40111 107 0 0 25 0 1 0 13235463 113086464 26751 1992294400 134512640 135751879 4287032592 18446744073709551615 134604758 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27609 26751 151 303 0 27304 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 110436

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19441
/proc/meminfo: memFree=1702672/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=110436 CPUtime=462.16
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33580 0 0 0 46098 118 0 0 25 0 1 0 13235463 113086464 26751 1992294400 134512640 135751879 4287032592 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27609 26751 151 303 0 27304 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 110436

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19442
/proc/meminfo: memFree=1702548/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=110436 CPUtime=522.15
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33580 0 0 0 52086 129 0 0 25 0 1 0 13235463 113086464 26751 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27609 26751 151 303 0 27304 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 110436

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19443
/proc/meminfo: memFree=1702548/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=110436 CPUtime=582.13
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33583 0 0 0 58075 138 0 0 25 0 1 0 13235463 113086464 26754 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27609 26754 151 303 0 27304 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 110436

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19445
/proc/meminfo: memFree=1702548/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=110436 CPUtime=642.12
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33583 0 0 0 64065 147 0 0 25 0 1 0 13235463 113086464 26754 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27609 26754 151 303 0 27304 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 110436

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19450
/proc/meminfo: memFree=1702052/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=111784 CPUtime=822.06
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 33792 0 0 0 82035 171 0 0 25 0 1 0 13235463 114466816 26963 1992294400 134512640 135751879 4287032592 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 27946 26963 151 303 0 27641 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 111784

[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19451
/proc/meminfo: memFree=1698332/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=115560 CPUtime=882.06
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 34741 0 0 0 88027 179 0 0 25 0 1 0 13235463 118333440 27912 1992294400 134512640 135751879 4287032592 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 28890 27912 151 303 0 28585 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 115560

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19456
/proc/meminfo: memFree=1686428/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=126676 CPUtime=942.03
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 37532 0 0 0 94007 196 0 0 25 0 1 0 13235463 129716224 30703 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 31669 30703 151 303 0 31364 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 126676

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19458
/proc/meminfo: memFree=1678120/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=135124 CPUtime=1002.02
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 39631 0 0 0 99993 209 0 0 25 0 1 0 13235463 138366976 32802 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 33781 32802 151 303 0 33476 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 135124

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19460
/proc/meminfo: memFree=1669688/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=143572 CPUtime=1062
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 41754 0 0 0 105978 222 0 0 25 0 1 0 13235463 147017728 34925 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 35893 34925 151 303 0 35588 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 143572

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19461
/proc/meminfo: memFree=1662744/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=150568 CPUtime=1121.99
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 43486 0 0 0 111963 236 0 0 25 0 1 0 13235463 154181632 36657 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 37642 36657 151 303 0 37337 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 150568

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19462
/proc/meminfo: memFree=1656544/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=156704 CPUtime=1181.98
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 45032 0 0 0 117950 248 0 0 25 0 1 0 13235463 160464896 38203 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 39176 38203 151 303 0 38871 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 156704

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19464
/proc/meminfo: memFree=1650096/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=163172 CPUtime=1241.96
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 46647 0 0 0 123936 260 0 0 25 0 1 0 13235463 167088128 39818 1992294400 134512640 135751879 4287032592 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 40793 39818 151 303 0 40488 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 163172

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 19466
/proc/meminfo: memFree=1643276/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=170184 CPUtime=1301.95
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 48391 0 0 0 129920 275 0 0 25 0 1 0 13235463 174268416 41562 1992294400 134512640 135751879 4287032592 18446744073709551615 134616412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 42546 41562 151 303 0 42241 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 170184

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19468
/proc/meminfo: memFree=1635712/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=177732 CPUtime=1361.92
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 50275 0 0 0 135904 288 0 0 25 0 1 0 13235463 181997568 43446 1992294400 134512640 135751879 4287032592 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 44433 43446 151 303 0 44128 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 177732

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19469
/proc/meminfo: memFree=1628272/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=185000 CPUtime=1421.92
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 52103 0 0 0 141890 302 0 0 25 0 1 0 13235463 189440000 45274 1992294400 134512640 135751879 4287032592 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 46250 45274 151 303 0 45945 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 185000

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19470
/proc/meminfo: memFree=1620584/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=192920 CPUtime=1481.9
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 54068 0 0 0 147875 315 0 0 25 0 1 0 13235463 197550080 47239 1992294400 134512640 135751879 4287032592 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 48230 47239 151 303 0 47925 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 192920

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19472
/proc/meminfo: memFree=1612400/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=200972 CPUtime=1541.89
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 56072 0 0 0 153862 327 0 0 25 0 1 0 13235463 205795328 49243 1992294400 134512640 135751879 4287032592 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 50243 49243 151 303 0 49938 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 200972

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19474
/proc/meminfo: memFree=1601116/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=211896 CPUtime=1601.87
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 59804 0 0 0 159840 347 0 0 25 0 1 0 13235463 216981504 51903 1992294400 134512640 135751879 4287032592 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 52974 51903 151 303 0 52669 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 211896

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19476
/proc/meminfo: memFree=1600992/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=211896 CPUtime=1661.85
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 59842 0 0 0 165822 363 0 0 25 0 1 0 13235463 216981504 51941 1992294400 134512640 135751879 4287032592 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 52974 51941 151 303 0 52669 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 211896

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19477
/proc/meminfo: memFree=1594916/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=218564 CPUtime=1721.83
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 61470 0 0 0 171805 378 0 0 25 0 1 0 13235463 223809536 53569 1992294400 134512640 135751879 4287032592 18446744073709551615 134606015 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 54641 53569 151 303 0 54336 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 218564

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19478
/proc/meminfo: memFree=1588344/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=224788 CPUtime=1781.82
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 63049 0 0 0 177791 391 0 0 25 0 1 0 13235463 230182912 55148 1992294400 134512640 135751879 4287032592 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 56197 55148 151 303 0 55892 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 224788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19479
/proc/meminfo: memFree=1586484/2059040 swapFree=4192956/4192956
[pid=19427] ppid=19425 vsize=226520 CPUtime=1800.02
/proc/19427/stat : 19427 (wbo1.4b) R 19425 19427 19204 0 -1 4202496 63500 0 0 0 179607 395 0 0 25 0 1 0 13235463 231956480 55599 1992294400 134512640 135751879 4287032592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19427/statm: 56630 55599 151 303 0 56325 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 226520

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.53
CPU time (s): 1800.06
CPU user time (s): 1796.08
CPU system time (s): 3.9784
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 226520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.08
system time used= 3.97839
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63500
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= 58
involuntary context switches= 13874

runsolver used 3.15052 second user time and 8.35073 second system time

The end

Launcher Data 

Begin job on node012 at 2010-07-06 23:03:44
IDJOB=2687243
IDBENCH=77546
IDSOLVER=1161
FILE ID=node012/2687243-1278450224
PBS_JOBID= 11233503
Free space on /tmp= 62476 MiB

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

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

MD5SUM BENCH= fca2bf846c4de68f23f92649fc394136
RANDOM SEED=648604685

node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1811628 kB
Buffers:          7704 kB
Cached:         106804 kB
SwapCached:          0 kB
Active:          35096 kB
Inactive:       140160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1811628 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10620 kB
Writeback:           0 kB
AnonPages:       60748 kB
Mapped:          14396 kB
Slab:            50252 kB
PageTables:       4228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687243-1278450224.opb

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