Trace number 2687074

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.07 1800.55

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_2.std.opb
MD5SUM9033b116fa6917a1af0ec218f9c6d61f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark1798.08
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 constraints234215
Number of constraints which are clauses233015
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-2687074-1278447026.opb.
0.00/0.00	c Instance file HOME/instance-2687074-1278447026.opb
0.00/0.00	c File size is 8036080 bytes.
1.49/1.54	c Highest Coefficient sum: 798
1.49/1.54	c ============================[ Problem Statistics ]=============================
1.49/1.54	c |                                                                             |
1.49/1.54	c |  Parsing time:          1.51         s                                      |
1.49/1.54	c |  Number Variables:      72842                                               |
1.49/1.54	c |  Number Clauses:        233015                                              |
1.49/1.54	c |  Number Cardinality:    0                                                   |
1.49/1.54	c |  Number PB Constraints: 1200                                                |
97.96/98.01	c ============================[ Search Statistics ]==============================
97.96/98.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.96/98.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.96/98.01	c ===============================================================================
97.96/98.01	c |         0 |   57336   235595   555877 |    78071        0    nan |  0.000 % |
97.96/98.08	c ===============================================================================
97.96/98.08	c New solution: 300
97.96/98.08	o 300
97.96/98.08	c Elapsed CPU time: 97.9201 s	Remaining CPU time: 82.0799 s
97.96/98.08	c ===============================================================================
97.96/98.08	c |         0 |   57336   235596   556177 |    78532        0    nan |  0.000 % |
98.07/98.14	c ===============================================================================
98.07/98.14	c New solution: 299
98.07/98.14	o 299
98.07/98.14	c Elapsed CPU time: 97.9801 s	Remaining CPU time: 82.0199 s
98.07/98.14	c ===============================================================================
98.07/98.14	c |         5 |   57215   235597   556477 |    78532        5     41 |  0.000 % |
98.07/98.19	c ===============================================================================
98.07/98.19	c New solution: 298
98.07/98.19	o 298
98.07/98.19	c Elapsed CPU time: 98.0361 s	Remaining CPU time: 81.9639 s
98.07/98.19	c ===============================================================================
98.07/98.19	c |        11 |   57081   235598   556777 |    78532       11     32 |  0.000 % |
98.17/98.25	c ===============================================================================
98.17/98.25	c New solution: 297
98.17/98.25	o 297
98.17/98.25	c Elapsed CPU time: 98.0941 s	Remaining CPU time: 81.9059 s
98.17/98.25	c ===============================================================================
98.17/98.25	c |        19 |   56941   235599   557077 |    78533       19     37 |  0.000 % |
98.26/98.30	c ===============================================================================
98.26/98.30	c New solution: 296
98.26/98.30	o 296
98.26/98.30	c Elapsed CPU time: 98.1391 s	Remaining CPU time: 81.8609 s
98.26/98.30	c ===============================================================================
98.26/98.30	c |        21 |   56790   235600   557377 |    78533       21     35 |  0.000 % |
98.26/98.35	c ===============================================================================
98.26/98.35	c New solution: 295
98.26/98.35	o 295
98.26/98.35	c Elapsed CPU time: 98.1921 s	Remaining CPU time: 81.8079 s
98.26/98.35	c ===============================================================================
98.26/98.35	c |        31 |   56626   235601   557677 |    78533       31     40 |  0.000 % |
98.36/98.41	c ===============================================================================
98.36/98.41	c New solution: 294
98.36/98.41	o 294
98.36/98.41	c Elapsed CPU time: 98.2531 s	Remaining CPU time: 81.7469 s
98.36/98.41	c ===============================================================================
98.36/98.41	c |        37 |   56449   235602   557977 |    78534       37     41 |  0.000 % |
98.36/98.47	c ===============================================================================
98.36/98.47	c New solution: 293
98.36/98.47	o 293
98.36/98.47	c Elapsed CPU time: 98.3081 s	Remaining CPU time: 81.6919 s
98.36/98.47	c ===============================================================================
98.36/98.47	c |        38 |   56259   235603   558277 |    78534       38     41 |  0.000 % |
98.46/98.52	c ===============================================================================
98.46/98.52	c New solution: 292
98.46/98.52	o 292
98.46/98.52	c Elapsed CPU time: 98.363 s	Remaining CPU time: 81.637 s
98.46/98.52	c ===============================================================================
98.46/98.52	c |        38 |   56054   235604   558577 |    78534       38     41 |  0.000 % |
98.46/98.58	c ===============================================================================
98.46/98.58	c New solution: 291
98.46/98.58	o 291
98.46/98.58	c Elapsed CPU time: 98.418 s	Remaining CPU time: 81.582 s
98.46/98.58	c ===============================================================================
98.46/98.58	c |        44 |   55837   235605   558877 |    78535       44     39 |  0.000 % |
98.56/98.64	c ===============================================================================
98.56/98.64	c New solution: 290
98.56/98.64	o 290
98.56/98.64	c Elapsed CPU time: 98.478 s	Remaining CPU time: 81.522 s
98.56/98.64	c ===============================================================================
98.56/98.64	c |        44 |   55606   235606   559177 |    78535       12     34 |  0.000 % |
98.67/98.70	c ===============================================================================
98.67/98.70	c New solution: 289
98.67/98.70	o 289
98.67/98.70	c Elapsed CPU time: 98.536 s	Remaining CPU time: 81.464 s
98.67/98.70	c ===============================================================================
98.67/98.70	c |        46 |   55364   235607   559477 |    78535       14     32 |  0.000 % |
98.67/98.76	c ===============================================================================
98.67/98.76	c New solution: 288
98.67/98.76	o 288
98.67/98.76	c Elapsed CPU time: 98.6 s	Remaining CPU time: 81.4 s
98.67/98.76	c ===============================================================================
98.67/98.76	c |        47 |   55122   235608   559777 |    78536       15     31 |  0.000 % |
98.77/98.82	c ===============================================================================
98.77/98.82	c New solution: 287
98.77/98.82	o 287
98.77/98.82	c Elapsed CPU time: 98.658 s	Remaining CPU time: 81.342 s
98.77/98.82	c ===============================================================================
98.77/98.82	c |        49 |   54880   235609   560077 |    78536       17     30 |  0.000 % |
98.77/98.87	c ===============================================================================
98.77/98.87	c New solution: 286
98.77/98.87	o 286
98.77/98.87	c Elapsed CPU time: 98.705 s	Remaining CPU time: 81.295 s
98.77/98.87	c ===============================================================================
98.77/98.87	c |        54 |   54638   235610   560377 |    78536       22     32 |  0.000 % |
98.87/98.93	c ===============================================================================
98.87/98.93	c New solution: 285
98.87/98.93	o 285
98.87/98.93	c Elapsed CPU time: 98.764 s	Remaining CPU time: 81.236 s
98.87/98.93	c ===============================================================================
98.87/98.93	c |        57 |   54396   235611   560677 |    78537       25     30 |  0.000 % |
98.87/98.99	c ===============================================================================
98.87/98.99	c New solution: 284
98.87/98.99	o 284
98.87/98.99	c Elapsed CPU time: 98.821 s	Remaining CPU time: 81.179 s
98.87/98.99	c ===============================================================================
98.87/98.99	c |        59 |   54154   235612   560977 |    78537       27     29 |  0.000 % |
98.97/99.04	c ===============================================================================
98.97/99.04	c New solution: 283
98.97/99.04	o 283
98.97/99.04	c Elapsed CPU time: 98.878 s	Remaining CPU time: 81.122 s
98.97/99.04	c ===============================================================================
98.97/99.04	c |        59 |   53912   235613   561277 |    78537       27     29 |  0.000 % |
99.06/99.10	c ===============================================================================
99.06/99.10	c New solution: 282
99.06/99.10	o 282
99.06/99.10	c Elapsed CPU time: 98.935 s	Remaining CPU time: 81.065 s
99.06/99.10	c ===============================================================================
99.06/99.10	c |        61 |   53670   235614   561577 |    78538       29     29 |  0.000 % |
99.06/99.16	c ===============================================================================
99.06/99.16	c New solution: 281
99.06/99.16	o 281
99.06/99.16	c Elapsed CPU time: 98.992 s	Remaining CPU time: 81.008 s
99.06/99.16	c ===============================================================================
99.06/99.16	c |        64 |   53428   235615   561877 |    78538       32     29 |  0.000 % |
99.16/99.22	c ===============================================================================
99.16/99.22	c New solution: 280
99.16/99.22	o 280
99.16/99.22	c Elapsed CPU time: 99.0499 s	Remaining CPU time: 80.9501 s
99.16/99.22	c ===============================================================================
99.16/99.22	c |        66 |   53186   235616   562177 |    78538       21     33 |  0.000 % |
99.16/99.27	c ===============================================================================
99.16/99.27	c New solution: 279
99.16/99.27	o 279
99.16/99.27	c Elapsed CPU time: 99.1069 s	Remaining CPU time: 80.8931 s
99.16/99.27	c ===============================================================================
99.16/99.27	c |        66 |   52944   235617   562477 |    78539       21     33 |  0.000 % |
99.26/99.33	c ===============================================================================
99.26/99.33	c New solution: 278
99.26/99.33	o 278
99.26/99.33	c Elapsed CPU time: 99.1639 s	Remaining CPU time: 80.8361 s
99.26/99.33	c ===============================================================================
99.26/99.33	c |        67 |   52702   235618   562777 |    78539       22     33 |  0.000 % |
99.26/99.39	c ===============================================================================
99.26/99.39	c New solution: 277
99.26/99.39	o 277
99.26/99.39	c Elapsed CPU time: 99.2189 s	Remaining CPU time: 80.7811 s
99.26/99.39	c ===============================================================================
99.26/99.39	c |        67 |   52460   235619   563077 |    78539       22     33 |  0.000 % |
99.36/99.44	c ===============================================================================
99.36/99.44	c New solution: 276
99.36/99.44	o 276
99.36/99.44	c Elapsed CPU time: 99.2739 s	Remaining CPU time: 80.7261 s
99.36/99.44	c ===============================================================================
99.36/99.44	c |        68 |   52218   235620   563377 |    78540       23     33 |  0.000 % |
99.46/99.50	c ===============================================================================
99.46/99.50	c New solution: 275
99.46/99.50	o 275
99.46/99.50	c Elapsed CPU time: 99.3289 s	Remaining CPU time: 80.6711 s
99.46/99.50	c ===============================================================================
99.46/99.50	c |        69 |   51976   235621   563677 |    78540       24     32 |  0.000 % |
99.46/99.56	c ===============================================================================
99.46/99.56	c New solution: 274
99.46/99.56	o 274
99.46/99.56	c Elapsed CPU time: 99.3849 s	Remaining CPU time: 80.6151 s
99.46/99.56	c ===============================================================================
99.46/99.56	c |        69 |   51734   235622   563977 |    78540       24     32 |  0.000 % |
99.57/99.62	c ===============================================================================
99.57/99.62	c New solution: 273
99.57/99.62	o 273
99.57/99.62	c Elapsed CPU time: 99.4439 s	Remaining CPU time: 80.5561 s
99.57/99.62	c ===============================================================================
99.57/99.62	c |        72 |   51492   235623   564277 |    78541       27     31 |  0.000 % |
99.57/99.67	c ===============================================================================
99.57/99.67	c New solution: 272
99.57/99.67	o 272
99.57/99.67	c Elapsed CPU time: 99.4979 s	Remaining CPU time: 80.5021 s
99.57/99.67	c ===============================================================================
99.57/99.67	c |        72 |   51250   235624   564577 |    78541       27     31 |  0.000 % |
99.67/99.73	c ===============================================================================
99.67/99.73	c New solution: 271
99.67/99.73	o 271
99.67/99.73	c Elapsed CPU time: 99.5519 s	Remaining CPU time: 80.4481 s
99.67/99.73	c ===============================================================================
99.67/99.73	c |        72 |   51008   235625   564877 |    78541       27     31 |  0.000 % |
99.67/99.78	c ===============================================================================
99.67/99.78	c New solution: 270
99.67/99.78	o 270
99.67/99.78	c Elapsed CPU time: 99.6079 s	Remaining CPU time: 80.3921 s
99.67/99.78	c ===============================================================================
99.67/99.78	c |        72 |   50766   235626   565177 |    78542       27     31 |  0.000 % |
99.77/99.84	c ===============================================================================
99.77/99.84	c New solution: 269
99.77/99.84	o 269
99.77/99.84	c Elapsed CPU time: 99.6638 s	Remaining CPU time: 80.3362 s
99.77/99.84	c ===============================================================================
99.77/99.84	c |        72 |   50524   235627   565477 |    78542       12     29 |  0.000 % |
99.77/99.89	c ===============================================================================
99.77/99.89	c New solution: 268
99.77/99.89	o 268
99.77/99.89	c Elapsed CPU time: 99.7178 s	Remaining CPU time: 80.2822 s
99.77/99.89	c ===============================================================================
99.77/99.89	c |        72 |   50282   235628   565777 |    78542       12     29 |  0.000 % |
99.87/99.95	c ===============================================================================
99.87/99.95	c New solution: 267
99.87/99.95	o 267
99.87/99.95	c Elapsed CPU time: 99.7688 s	Remaining CPU time: 80.2312 s
99.87/99.95	c ===============================================================================
99.87/99.95	c |        72 |   50040   235629   566077 |    78543       12     29 |  0.000 % |
99.97/100.00	c ===============================================================================
99.97/100.00	c New solution: 266
99.97/100.00	o 266
99.97/100.00	c Elapsed CPU time: 99.8238 s	Remaining CPU time: 80.1762 s
99.97/100.00	c ===============================================================================
99.97/100.00	c |        72 |   49798   235630   566377 |    78543       12     29 |  0.000 % |
99.97/100.07	c ===============================================================================
99.97/100.07	c New solution: 265
99.97/100.07	o 265
99.97/100.07	c Elapsed CPU time: 99.8878 s	Remaining CPU time: 80.1122 s
99.97/100.07	c ===============================================================================
99.97/100.07	c |        73 |   49556   235631   566677 |    78543       13     28 |  0.000 % |
100.07/100.12	c ===============================================================================
100.07/100.12	c New solution: 264
100.07/100.12	o 264
100.07/100.12	c Elapsed CPU time: 99.9448 s	Remaining CPU time: 80.0552 s
100.07/100.12	c ===============================================================================
100.07/100.12	c |        74 |   49314   235632   566977 |    78544       14     29 |  0.000 % |
100.07/100.18	c ===============================================================================
100.07/100.18	c New solution: 263
100.07/100.18	o 263
100.07/100.18	c Elapsed CPU time: 99.9998 s	Remaining CPU time: 80.0002 s
100.07/100.18	c ===============================================================================
100.07/100.18	c |        75 |   49072   235633   567277 |    78544       15     28 |  0.000 % |
100.16/100.23	c ===============================================================================
100.16/100.23	c New solution: 262
100.16/100.23	o 262
100.16/100.23	c Elapsed CPU time: 100.053 s	Remaining CPU time: 79.9472 s
100.16/100.23	c ===============================================================================
100.16/100.23	c |        76 |   48830   235634   567577 |    78544       16     27 |  0.000 % |
100.16/100.29	c ===============================================================================
100.16/100.29	c New solution: 261
100.16/100.29	o 261
100.16/100.29	c Elapsed CPU time: 100.108 s	Remaining CPU time: 79.8922 s
100.16/100.29	c ===============================================================================
100.16/100.29	c |        77 |   48588   235635   567877 |    78545       17     27 |  0.000 % |
100.26/100.34	c ===============================================================================
100.26/100.34	c New solution: 260
100.26/100.34	o 260
100.26/100.34	c Elapsed CPU time: 100.163 s	Remaining CPU time: 79.8372 s
100.26/100.34	c ===============================================================================
100.26/100.34	c |        79 |   48346   235636   568177 |    78545       19     27 |  0.000 % |
100.36/100.41	c ===============================================================================
100.36/100.41	c New solution: 259
100.36/100.41	o 259
100.36/100.41	c Elapsed CPU time: 100.224 s	Remaining CPU time: 79.7762 s
100.36/100.41	c ===============================================================================
100.36/100.41	c |        80 |   48104   235637   568477 |    78545       20     26 |  0.000 % |
100.36/100.46	c ===============================================================================
100.36/100.46	c New solution: 258
100.36/100.46	o 258
100.36/100.46	c Elapsed CPU time: 100.28 s	Remaining CPU time: 79.7202 s
100.36/100.46	c ===============================================================================
100.36/100.46	c |        80 |   47862   235638   568777 |    78546       13     28 |  0.000 % |
100.46/100.52	c ===============================================================================
100.46/100.52	c New solution: 257
100.46/100.52	o 257
100.46/100.52	c Elapsed CPU time: 100.336 s	Remaining CPU time: 79.6643 s
100.46/100.52	c ===============================================================================
100.46/100.52	c |        86 |   47620   235639   569077 |    78546       19     34 |  0.000 % |
100.46/100.57	c ===============================================================================
100.46/100.57	c New solution: 256
100.46/100.57	o 256
100.46/100.57	c Elapsed CPU time: 100.39 s	Remaining CPU time: 79.6103 s
100.46/100.57	c ===============================================================================
100.46/100.57	c |        87 |   47378   235640   569377 |    78546       20     33 |  0.000 % |
100.56/100.63	c ===============================================================================
100.56/100.63	c New solution: 255
100.56/100.63	o 255
100.56/100.63	c Elapsed CPU time: 100.445 s	Remaining CPU time: 79.5553 s
100.56/100.63	c ===============================================================================
100.56/100.63	c |        88 |   47136   235641   569677 |    78547       21     32 |  0.000 % |
100.56/100.68	c ===============================================================================
100.56/100.68	c New solution: 254
100.56/100.68	o 254
100.56/100.68	c Elapsed CPU time: 100.497 s	Remaining CPU time: 79.5033 s
100.56/100.68	c ===============================================================================
100.56/100.68	c |        89 |   46894   235642   569977 |    78547       22     31 |  0.000 % |
100.66/100.72	c ===============================================================================
100.66/100.72	c New solution: 253
100.66/100.72	o 253
100.66/100.72	c Elapsed CPU time: 100.54 s	Remaining CPU time: 79.4603 s
100.66/100.72	c ===============================================================================
100.66/100.72	c |        91 |   46652   235643   570277 |    78547       24     32 |  0.000 % |
100.66/100.77	c ===============================================================================
100.66/100.77	c New solution: 252
100.66/100.77	o 252
100.66/100.77	c Elapsed CPU time: 100.592 s	Remaining CPU time: 79.4083 s
100.66/100.77	c ===============================================================================
100.66/100.77	c |        91 |   46410   235644   570577 |    78548       24     32 |  0.000 % |
100.76/100.82	c ===============================================================================
100.76/100.82	c New solution: 251
100.76/100.82	o 251
100.76/100.82	c Elapsed CPU time: 100.642 s	Remaining CPU time: 79.3583 s
100.76/100.82	c ===============================================================================
100.76/100.82	c |        92 |   46168   235645   570877 |    78548       25     31 |  0.000 % |
100.76/100.87	c ===============================================================================
100.76/100.87	c New solution: 250
100.76/100.87	o 250
100.76/100.87	c Elapsed CPU time: 100.692 s	Remaining CPU time: 79.3083 s
100.76/100.87	c ===============================================================================
100.76/100.87	c |        92 |   45926   235646   571177 |    78548       25     31 |  0.000 % |
100.87/100.93	c ===============================================================================
100.87/100.93	c New solution: 249
100.87/100.93	o 249
100.87/100.93	c Elapsed CPU time: 100.744 s	Remaining CPU time: 79.2563 s
100.87/100.93	c ===============================================================================
100.87/100.93	c |        94 |   45684   235647   571477 |    78549       27     32 |  0.000 % |
100.87/100.98	c ===============================================================================
100.87/100.98	c New solution: 248
100.87/100.98	o 248
100.87/100.98	c Elapsed CPU time: 100.797 s	Remaining CPU time: 79.2033 s
100.87/100.98	c ===============================================================================
100.87/100.98	c |        95 |   45442   235648   571777 |    78549       28     32 |  0.000 % |
100.97/101.03	c ===============================================================================
100.97/101.03	c New solution: 247
100.97/101.03	o 247
100.97/101.03	c Elapsed CPU time: 100.845 s	Remaining CPU time: 79.1553 s
100.97/101.03	c ===============================================================================
100.97/101.03	c |        96 |   45200   235649   572077 |    78549       29     32 |  0.000 % |
100.97/101.08	c ===============================================================================
100.97/101.08	c New solution: 246
100.97/101.08	o 246
100.97/101.08	c Elapsed CPU time: 100.889 s	Remaining CPU time: 79.1113 s
100.97/101.08	c ===============================================================================
100.97/101.08	c |        97 |   44958   235650   572377 |    78550       12     34 |  0.000 % |
101.07/101.12	c ===============================================================================
101.07/101.12	c New solution: 245
101.07/101.12	o 245
101.07/101.12	c Elapsed CPU time: 100.932 s	Remaining CPU time: 79.0683 s
101.07/101.12	c ===============================================================================
101.07/101.12	c |        99 |   44716   235651   572677 |    78550       14     32 |  0.000 % |
101.07/101.17	c ===============================================================================
101.07/101.17	c New solution: 244
101.07/101.17	o 244
101.07/101.17	c Elapsed CPU time: 100.983 s	Remaining CPU time: 79.0174 s
101.07/101.17	c ===============================================================================
101.07/101.17	c |       101 |   44474   235652   572977 |    78550       16     30 |  0.000 % |
101.17/101.22	c ===============================================================================
101.17/101.22	c New solution: 243
101.17/101.22	o 243
101.17/101.22	c Elapsed CPU time: 101.024 s	Remaining CPU time: 78.9764 s
101.17/101.22	c ===============================================================================
101.17/101.22	c |       102 |   44232   235653   573277 |    78551       17     31 |  0.000 % |
101.17/101.27	c ===============================================================================
101.17/101.27	c New solution: 242
101.17/101.27	o 242
101.17/101.27	c Elapsed CPU time: 101.073 s	Remaining CPU time: 78.9274 s
101.17/101.27	c ===============================================================================
101.17/101.27	c |       128 |   43990   235654   573577 |    78551       43     43 |  0.000 % |
101.27/101.34	c ===============================================================================
101.27/101.34	c New solution: 241
101.27/101.34	o 241
101.27/101.34	c Elapsed CPU time: 101.143 s	Remaining CPU time: 78.8574 s
101.27/101.34	c ===============================================================================
101.27/101.34	c |       167 |   43748   235655   573877 |    78551       82     66 |  0.000 % |
101.27/101.39	c ===============================================================================
101.27/101.39	c New solution: 240
101.27/101.39	o 240
101.27/101.39	c Elapsed CPU time: 101.194 s	Remaining CPU time: 78.8064 s
101.27/101.39	c ===============================================================================
101.27/101.39	c |       167 |   43506   235656   574177 |    78552       82     66 |  0.000 % |
101.37/101.43	c ===============================================================================
101.37/101.43	c New solution: 239
101.37/101.43	o 239
101.37/101.43	c Elapsed CPU time: 101.238 s	Remaining CPU time: 78.7624 s
101.37/101.43	c ===============================================================================
101.37/101.43	c |       180 |   43264   235657   574477 |    78552       95     63 |  0.000 % |
101.37/101.48	c ===============================================================================
101.37/101.48	c New solution: 238
101.37/101.48	o 238
101.37/101.48	c Elapsed CPU time: 101.287 s	Remaining CPU time: 78.7134 s
101.37/101.48	c ===============================================================================
101.37/101.48	c |       204 |   43022   235658   574777 |    78552      119     62 |  0.000 % |
101.47/101.53	c ===============================================================================
101.47/101.53	c New solution: 237
101.47/101.53	o 237
101.47/101.53	c Elapsed CPU time: 101.339 s	Remaining CPU time: 78.6614 s
101.47/101.53	c ===============================================================================
101.47/101.53	c |       209 |   42780   235659   575077 |    78553      124     60 |  0.000 % |
101.47/101.59	c ===============================================================================
101.47/101.59	c New solution: 236
101.47/101.59	o 236
101.47/101.59	c Elapsed CPU time: 101.391 s	Remaining CPU time: 78.6094 s
101.47/101.59	c ===============================================================================
101.47/101.59	c |       211 |   42538   235660   575377 |    78553      126     60 |  0.000 % |
101.57/101.64	c ===============================================================================
101.57/101.64	c New solution: 235
101.57/101.64	o 235
101.57/101.64	c Elapsed CPU time: 101.442 s	Remaining CPU time: 78.5584 s
101.57/101.64	c ===============================================================================
101.57/101.64	c |       213 |   42296   235661   575677 |    78553      128     59 |  0.000 % |
101.57/101.69	c ===============================================================================
101.57/101.69	c New solution: 234
101.57/101.69	o 234
101.57/101.69	c Elapsed CPU time: 101.494 s	Remaining CPU time: 78.5064 s
101.57/101.69	c ===============================================================================
101.57/101.69	c |       216 |   42054   235662   575977 |    78554       62     48 |  0.000 % |
101.67/101.74	c ===============================================================================
101.67/101.74	c New solution: 233
101.67/101.74	o 233
101.67/101.74	c Elapsed CPU time: 101.54 s	Remaining CPU time: 78.4604 s
101.67/101.74	c ===============================================================================
101.67/101.74	c |       220 |   41812   235663   576277 |    78554       66     47 |  0.000 % |
101.67/101.78	c ===============================================================================
101.67/101.78	c New solution: 232
101.67/101.78	o 232
101.67/101.78	c Elapsed CPU time: 101.589 s	Remaining CPU time: 78.4114 s
101.67/101.78	c ===============================================================================
101.67/101.78	c |       221 |   41570   235664   576577 |    78554       67     47 |  0.000 % |
101.77/101.83	c ===============================================================================
101.77/101.83	c New solution: 231
101.77/101.83	o 231
101.77/101.83	c Elapsed CPU time: 101.637 s	Remaining CPU time: 78.3635 s
101.77/101.83	c ===============================================================================
101.77/101.83	c |       221 |   41328   235665   576877 |    78555       67     47 |  0.000 % |
101.77/101.88	c ===============================================================================
101.77/101.88	c New solution: 230
101.77/101.88	o 230
101.77/101.88	c Elapsed CPU time: 101.679 s	Remaining CPU time: 78.3215 s
101.77/101.88	c ===============================================================================
101.77/101.88	c |       228 |   41086   235666   577177 |    78555       74     46 |  0.000 % |
101.86/101.93	c ===============================================================================
101.86/101.93	c New solution: 229
101.86/101.93	o 229
101.86/101.93	c Elapsed CPU time: 101.729 s	Remaining CPU time: 78.2715 s
101.86/101.93	c ===============================================================================
101.86/101.93	c |       228 |   40844   235667   577477 |    78555       74     46 |  0.000 % |
101.86/101.97	c ===============================================================================
101.86/101.97	c New solution: 228
101.86/101.97	o 228
101.86/101.97	c Elapsed CPU time: 101.775 s	Remaining CPU time: 78.2255 s
101.86/101.97	c ===============================================================================
101.86/101.97	c |       228 |   40602   235668   577777 |    78556       74     46 |  0.000 % |
101.96/102.02	c ===============================================================================
101.96/102.02	c New solution: 227
101.96/102.02	o 227
101.96/102.02	c Elapsed CPU time: 101.826 s	Remaining CPU time: 78.1745 s
101.96/102.02	c ===============================================================================
101.96/102.02	c |       230 |   40360   235669   578077 |    78556       76     45 |  0.000 % |
101.96/102.07	c ===============================================================================
101.96/102.07	c New solution: 226
101.96/102.07	o 226
101.96/102.07	c Elapsed CPU time: 101.873 s	Remaining CPU time: 78.1275 s
101.96/102.07	c ===============================================================================
101.96/102.07	c |       230 |   40118   235670   578377 |    78556       76     45 |  0.000 % |
102.06/102.12	c ===============================================================================
102.06/102.12	c New solution: 225
102.06/102.12	o 225
102.06/102.12	c Elapsed CPU time: 101.92 s	Remaining CPU time: 78.0805 s
102.06/102.12	c ===============================================================================
102.06/102.12	c |       230 |   39876   235671   578677 |    78557       76     45 |  0.000 % |
102.06/102.17	c ===============================================================================
102.06/102.17	c New solution: 224
102.06/102.17	o 224
102.06/102.17	c Elapsed CPU time: 101.965 s	Remaining CPU time: 78.0345 s
102.06/102.17	c ===============================================================================
102.06/102.17	c |       230 |   39634   235672   578977 |    78557       76     45 |  0.000 % |
102.17/102.21	c ===============================================================================
102.17/102.21	c New solution: 223
102.17/102.21	o 223
102.17/102.21	c Elapsed CPU time: 102.013 s	Remaining CPU time: 77.9865 s
102.17/102.21	c ===============================================================================
102.17/102.21	c |       231 |   39392   235673   579277 |    78557       77     45 |  0.000 % |
102.17/102.26	c ===============================================================================
102.17/102.26	c New solution: 222
102.17/102.26	o 222
102.17/102.26	c Elapsed CPU time: 102.061 s	Remaining CPU time: 77.9385 s
102.17/102.26	c ===============================================================================
102.17/102.26	c |       232 |   39150   235674   579577 |    78558       78     45 |  0.000 % |
102.27/102.31	c ===============================================================================
102.27/102.31	c New solution: 221
102.27/102.31	o 221
102.27/102.31	c Elapsed CPU time: 102.11 s	Remaining CPU time: 77.8895 s
102.27/102.31	c ===============================================================================
102.27/102.31	c |       236 |   38908   235675   579877 |    78558       82     44 |  0.000 % |
102.27/102.36	c ===============================================================================
102.27/102.36	c New solution: 220
102.27/102.36	o 220
102.27/102.36	c Elapsed CPU time: 102.159 s	Remaining CPU time: 77.8405 s
102.27/102.36	c ===============================================================================
102.27/102.36	c |       236 |   38666   235676   580177 |    78558       15     30 |  0.000 % |
102.36/102.40	c ===============================================================================
102.36/102.40	c New solution: 219
102.36/102.40	o 219
102.36/102.40	c Elapsed CPU time: 102.201 s	Remaining CPU time: 77.7985 s
102.36/102.40	c ===============================================================================
102.36/102.40	c |       241 |   38424   235677   580477 |    78559       20     34 |  0.000 % |
102.36/102.47	c |       341 |   38400   235677   580477 |    86414      120     62 | 47.582 % |
102.47/102.51	c ===============================================================================
102.47/102.51	c New solution: 218
102.47/102.51	o 218
102.47/102.51	c Elapsed CPU time: 102.303 s	Remaining CPU time: 77.6966 s
102.47/102.51	c ===============================================================================
102.47/102.51	c |       342 |   38182   235678   580777 |    78559      121     62 | 47.582 % |
102.47/102.55	c ===============================================================================
102.47/102.55	c New solution: 217
102.47/102.55	o 217
102.47/102.55	c Elapsed CPU time: 102.349 s	Remaining CPU time: 77.6506 s
102.47/102.55	c ===============================================================================
102.47/102.55	c |       344 |   37940   235679   581077 |    78559      123     61 | 47.582 % |
102.57/102.60	c ===============================================================================
102.57/102.60	c New solution: 216
102.57/102.60	o 216
102.57/102.60	c Elapsed CPU time: 102.395 s	Remaining CPU time: 77.6046 s
102.57/102.60	c ===============================================================================
102.57/102.60	c |       344 |   37698   235680   581377 |    78560      123     61 | 47.582 % |
102.57/102.65	c ===============================================================================
102.57/102.65	c New solution: 215
102.57/102.65	o 215
102.57/102.65	c Elapsed CPU time: 102.441 s	Remaining CPU time: 77.5586 s
102.57/102.65	c ===============================================================================
102.57/102.65	c |       344 |   37456   235681   581677 |    78560      123     61 | 47.582 % |
102.57/102.69	c ===============================================================================
102.57/102.69	c New solution: 214
102.57/102.69	o 214
102.57/102.69	c Elapsed CPU time: 102.488 s	Remaining CPU time: 77.5116 s
102.57/102.69	c ===============================================================================
102.57/102.69	c |       347 |   37214   235682   581977 |    78560      126     61 | 47.582 % |
102.67/102.74	c ===============================================================================
102.67/102.74	c New solution: 213
102.67/102.74	o 213
102.67/102.74	c Elapsed CPU time: 102.533 s	Remaining CPU time: 77.4666 s
102.67/102.74	c ===============================================================================
102.67/102.74	c |       348 |   36972   235683   582277 |    78561      127     60 | 47.582 % |
102.67/102.78	c ===============================================================================
102.67/102.78	c New solution: 212
102.67/102.78	o 212
102.67/102.78	c Elapsed CPU time: 102.579 s	Remaining CPU time: 77.4206 s
102.67/102.78	c ===============================================================================
102.67/102.78	c |       348 |   36730   235684   582577 |    78561      127     60 | 47.582 % |
102.77/102.83	c ===============================================================================
102.77/102.83	c New solution: 211
102.77/102.83	o 211
102.77/102.83	c Elapsed CPU time: 102.625 s	Remaining CPU time: 77.3746 s
102.77/102.83	c ===============================================================================
102.77/102.83	c |       349 |   36488   235685   582877 |    78561      128     60 | 47.582 % |
102.77/102.88	c ===============================================================================
102.77/102.88	c New solution: 210
102.77/102.88	o 210
102.77/102.88	c Elapsed CPU time: 102.673 s	Remaining CPU time: 77.3266 s
102.77/102.88	c ===============================================================================
102.77/102.88	c |       351 |   36246   235686   583177 |    78562      130     60 | 47.582 % |
102.87/102.92	c ===============================================================================
102.87/102.92	c New solution: 209
102.87/102.92	o 209
102.87/102.92	c Elapsed CPU time: 102.718 s	Remaining CPU time: 77.2816 s
102.87/102.92	c ===============================================================================
102.87/102.92	c |       352 |   36004   235687   583477 |    78562      131     59 | 47.582 % |
102.87/102.98	c ===============================================================================
102.87/102.98	c New solution: 208
102.87/102.98	o 208
102.87/102.98	c Elapsed CPU time: 102.772 s	Remaining CPU time: 77.2276 s
102.87/102.98	c ===============================================================================
102.87/102.98	c |       356 |   35762   235688   583777 |    78562      135     59 | 47.582 % |
102.97/103.02	c ===============================================================================
102.97/103.02	c New solution: 207
102.97/103.02	o 207
102.97/103.02	c Elapsed CPU time: 102.817 s	Remaining CPU time: 77.1826 s
102.97/103.02	c ===============================================================================
102.97/103.02	c |       356 |   35520   235689   584077 |    78563      135     59 | 47.582 % |
102.97/103.07	c ===============================================================================
102.97/103.07	c New solution: 206
102.97/103.07	o 206
102.97/103.07	c Elapsed CPU time: 102.864 s	Remaining CPU time: 77.1356 s
102.97/103.07	c ===============================================================================
102.97/103.07	c |       359 |   35278   235690   584377 |    78563       21     36 | 47.582 % |
103.07/103.11	c ===============================================================================
103.07/103.11	c New solution: 205
103.07/103.11	o 205
103.07/103.11	c Elapsed CPU time: 102.909 s	Remaining CPU time: 77.0906 s
103.07/103.11	c ===============================================================================
103.07/103.11	c |       361 |   35036   235691   584677 |    78563       23     35 | 47.582 % |
103.07/103.16	c ===============================================================================
103.07/103.16	c New solution: 204
103.07/103.16	o 204
103.07/103.16	c Elapsed CPU time: 102.953 s	Remaining CPU time: 77.0467 s
103.07/103.16	c ===============================================================================
103.07/103.16	c |       363 |   34794   235692   584977 |    78564       25     34 | 47.582 % |
103.17/103.20	c ===============================================================================
103.17/103.20	c New solution: 203
103.17/103.20	o 203
103.17/103.20	c Elapsed CPU time: 102.998 s	Remaining CPU time: 77.0017 s
103.17/103.20	c ===============================================================================
103.17/103.20	c |       364 |   34552   235693   585277 |    78564       26     34 | 47.582 % |
103.17/103.25	c ===============================================================================
103.17/103.25	c New solution: 202
103.17/103.25	o 202
103.17/103.25	c Elapsed CPU time: 103.041 s	Remaining CPU time: 76.9587 s
103.17/103.25	c ===============================================================================
103.17/103.25	c |       364 |   34310   235694   585577 |    78564       26     34 | 47.582 % |
103.17/103.29	c ===============================================================================
103.17/103.29	c New solution: 201
103.17/103.29	o 201
103.17/103.29	c Elapsed CPU time: 103.085 s	Remaining CPU time: 76.9147 s
103.17/103.29	c ===============================================================================
103.17/103.29	c |       364 |   34068   235695   585877 |    78565       26     34 | 47.582 % |
103.27/103.34	c ===============================================================================
103.27/103.34	c New solution: 200
103.27/103.34	o 200
103.27/103.34	c Elapsed CPU time: 103.132 s	Remaining CPU time: 76.8677 s
103.27/103.34	c ===============================================================================
103.27/103.34	c |       369 |   33826   235696   586177 |    78565       31     33 | 47.582 % |
103.27/103.38	c ===============================================================================
103.27/103.38	c New solution: 199
103.27/103.38	o 199
103.27/103.38	c Elapsed CPU time: 103.178 s	Remaining CPU time: 76.8217 s
103.27/103.38	c ===============================================================================
103.27/103.38	c |       374 |   33584   235697   586477 |    78565       36     32 | 47.582 % |
103.37/103.43	c ===============================================================================
103.37/103.43	c New solution: 198
103.37/103.43	o 198
103.37/103.43	c Elapsed CPU time: 103.221 s	Remaining CPU time: 76.7787 s
103.37/103.43	c ===============================================================================
103.37/103.43	c |       374 |   33342   235698   586777 |    78566       36     32 | 47.582 % |
103.37/103.47	c ===============================================================================
103.37/103.47	c New solution: 197
103.37/103.47	o 197
103.37/103.47	c Elapsed CPU time: 103.263 s	Remaining CPU time: 76.7367 s
103.37/103.47	c ===============================================================================
103.37/103.47	c |       375 |   33100   235699   587077 |    78566       37     32 | 47.582 % |
103.46/103.51	c ===============================================================================
103.46/103.51	c New solution: 196
103.46/103.51	o 196
103.46/103.51	c Elapsed CPU time: 103.306 s	Remaining CPU time: 76.6937 s
103.46/103.51	c ===============================================================================
103.46/103.51	c |       375 |   32858   235700   587377 |    78566       37     32 | 47.582 % |
103.46/103.56	c ===============================================================================
103.46/103.56	c New solution: 195
103.46/103.56	o 195
103.46/103.56	c Elapsed CPU time: 103.348 s	Remaining CPU time: 76.6517 s
103.46/103.56	c ===============================================================================
103.46/103.56	c |       375 |   32616   235701   587677 |    78567       37     32 | 47.582 % |
103.56/103.60	c ===============================================================================
103.56/103.60	c New solution: 194
103.56/103.60	o 194
103.56/103.60	c Elapsed CPU time: 103.39 s	Remaining CPU time: 76.6097 s
103.56/103.60	c ===============================================================================
103.56/103.60	c |       375 |   32374   235702   587977 |    78567       37     32 | 47.582 % |
103.56/103.64	c ===============================================================================
103.56/103.64	c New solution: 193
103.56/103.64	o 193
103.56/103.64	c Elapsed CPU time: 103.435 s	Remaining CPU time: 76.5647 s
103.56/103.64	c ===============================================================================
103.56/103.64	c |       380 |   32132   235703   588277 |    78567       42     31 | 47.582 % |
103.56/103.68	c ===============================================================================
103.56/103.68	c New solution: 192
103.56/103.68	o 192
103.56/103.68	c Elapsed CPU time: 103.476 s	Remaining CPU time: 76.5237 s
103.56/103.68	c ===============================================================================
103.56/103.68	c |       380 |   31890   235704   588577 |    78568       42     31 | 47.582 % |
103.66/103.72	c ===============================================================================
103.66/103.72	c New solution: 191
103.66/103.72	o 191
103.66/103.72	c Elapsed CPU time: 103.511 s	Remaining CPU time: 76.4887 s
103.66/103.72	c ===============================================================================
103.66/103.72	c |       381 |   31648   235705   588877 |    78568       43     31 | 47.582 % |
103.66/103.76	c ===============================================================================
103.66/103.76	c New solution: 190
103.66/103.76	o 190
103.66/103.76	c Elapsed CPU time: 103.552 s	Remaining CPU time: 76.4477 s
103.66/103.76	c ===============================================================================
103.66/103.76	c |       382 |   31406   235706   589177 |    78568       44     30 | 47.582 % |
103.76/103.81	c ===============================================================================
103.76/103.81	c New solution: 189
103.76/103.81	o 189
103.76/103.81	c Elapsed CPU time: 103.596 s	Remaining CPU time: 76.4038 s
103.76/103.81	c ===============================================================================
103.76/103.81	c |       382 |   31164   235707   589477 |    78569       12     30 | 47.582 % |
103.76/103.85	c ===============================================================================
103.76/103.85	c New solution: 188
103.76/103.85	o 188
103.76/103.85	c Elapsed CPU time: 103.64 s	Remaining CPU time: 76.3598 s
103.76/103.85	c ===============================================================================
103.76/103.85	c |       386 |   30922   235708   589777 |    78569       16     27 | 47.582 % |
103.76/103.89	c ===============================================================================
103.76/103.89	c New solution: 187
103.76/103.89	o 187
103.76/103.89	c Elapsed CPU time: 103.683 s	Remaining CPU time: 76.3168 s
103.76/103.89	c ===============================================================================
103.76/103.89	c |       388 |   30680   235709   590077 |    78569       18     27 | 47.582 % |
103.86/103.94	c ===============================================================================
103.86/103.94	c New solution: 186
103.86/103.94	o 186
103.86/103.94	c Elapsed CPU time: 103.724 s	Remaining CPU time: 76.2758 s
103.86/103.94	c ===============================================================================
103.86/103.94	c |       388 |   30438   235710   590377 |    78570       18     27 | 47.582 % |
103.86/103.98	c ===============================================================================
103.86/103.98	c New solution: 185
103.86/103.98	o 185
103.86/103.98	c Elapsed CPU time: 103.766 s	Remaining CPU time: 76.2338 s
103.86/103.98	c ===============================================================================
103.86/103.98	c |       391 |   30196   235711   590677 |    78570       21     29 | 47.582 % |
103.97/104.02	c ===============================================================================
103.97/104.02	c New solution: 184
103.97/104.02	o 184
103.97/104.02	c Elapsed CPU time: 103.809 s	Remaining CPU time: 76.1908 s
103.97/104.02	c ===============================================================================
103.97/104.02	c |       392 |   29954   235712   590977 |    78570       22     28 | 47.582 % |
103.97/104.06	c ===============================================================================
103.97/104.06	c New solution: 183
103.97/104.06	o 183
103.97/104.06	c Elapsed CPU time: 103.844 s	Remaining CPU time: 76.1558 s
103.97/104.06	c ===============================================================================
103.97/104.06	c |       393 |   29712   235713   591277 |    78571       23     28 | 47.582 % |
104.07/104.10	c ===============================================================================
104.07/104.10	c New solution: 182
104.07/104.10	o 182
104.07/104.10	c Elapsed CPU time: 103.886 s	Remaining CPU time: 76.1138 s
104.07/104.10	c ===============================================================================
104.07/104.10	c |       398 |   29470   235714   591577 |    78571       28     28 | 47.582 % |
104.07/104.14	c ===============================================================================
104.07/104.14	c New solution: 181
104.07/104.14	o 181
104.07/104.14	c Elapsed CPU time: 103.922 s	Remaining CPU time: 76.0778 s
104.07/104.14	c ===============================================================================
104.07/104.14	c |       403 |   29228   235715   591877 |    78571       33     28 | 47.582 % |
104.07/104.17	c ===============================================================================
104.07/104.17	c New solution: 180
104.07/104.17	o 180
104.07/104.17	c Elapsed CPU time: 103.958 s	Remaining CPU time: 76.0418 s
104.07/104.17	c ===============================================================================
104.07/104.17	c |       404 |   28986   235716   592177 |    78572       34     28 | 47.582 % |
104.16/104.22	c ===============================================================================
104.16/104.22	c New solution: 179
104.16/104.22	o 179
104.16/104.22	c Elapsed CPU time: 103.998 s	Remaining CPU time: 76.0018 s
104.16/104.22	c ===============================================================================
104.16/104.22	c |       407 |   28744   235717   592477 |    78572       37     28 | 47.582 % |
104.16/104.26	c ===============================================================================
104.16/104.26	c New solution: 178
104.16/104.26	o 178
104.16/104.26	c Elapsed CPU time: 104.038 s	Remaining CPU time: 75.9618 s
104.16/104.26	c ===============================================================================
104.16/104.26	c |       407 |   28502   235718   592777 |    78572       37     28 | 47.582 % |
104.16/104.29	c ===============================================================================
104.16/104.29	c New solution: 177
104.16/104.29	o 177
104.16/104.29	c Elapsed CPU time: 104.072 s	Remaining CPU time: 75.9278 s
104.16/104.29	c ===============================================================================
104.16/104.29	c |       410 |   28260   235719   593077 |    78573       40     29 | 47.582 % |
104.26/104.33	c ===============================================================================
104.26/104.33	c New solution: 176
104.26/104.33	o 176
104.26/104.33	c Elapsed CPU time: 104.113 s	Remaining CPU time: 75.8868 s
104.26/104.33	c ===============================================================================
104.26/104.33	c |       410 |   28018   235720   593377 |    78573       40     29 | 47.582 % |
104.26/104.38	c ===============================================================================
104.26/104.38	c New solution: 175
104.26/104.38	o 175
104.26/104.38	c Elapsed CPU time: 104.158 s	Remaining CPU time: 75.8418 s
104.26/104.38	c ===============================================================================
104.26/104.38	c |       412 |   27776   235721   593677 |    78573       42     28 | 47.582 % |
104.37/104.42	c ===============================================================================
104.37/104.42	c New solution: 174
104.37/104.42	o 174
104.37/104.42	c Elapsed CPU time: 104.204 s	Remaining CPU time: 75.7958 s
104.37/104.42	c ===============================================================================
104.37/104.42	c |       457 |   27534   235722   593977 |    78574       87     37 | 47.582 % |
104.37/104.47	c ===============================================================================
104.37/104.47	c New solution: 173
104.37/104.47	o 173
104.37/104.47	c Elapsed CPU time: 104.245 s	Remaining CPU time: 75.7548 s
104.37/104.47	c ===============================================================================
104.37/104.47	c |       462 |   27292   235723   594277 |    78574       92     37 | 47.582 % |
104.47/104.51	c ===============================================================================
104.47/104.51	c New solution: 172
104.47/104.51	o 172
104.47/104.51	c Elapsed CPU time: 104.286 s	Remaining CPU time: 75.7139 s
104.47/104.51	c ===============================================================================
104.47/104.51	c |       471 |   27050   235724   594577 |    78574      101     38 | 47.582 % |
104.47/104.55	c ===============================================================================
104.47/104.55	c New solution: 171
104.47/104.55	o 171
104.47/104.55	c Elapsed CPU time: 104.326 s	Remaining CPU time: 75.6739 s
104.47/104.55	c ===============================================================================
104.47/104.55	c |       471 |   26808   235725   594877 |    78575      101     38 | 47.582 % |
104.47/104.59	c ===============================================================================
104.47/104.59	c New solution: 170
104.47/104.59	o 170
104.47/104.59	c Elapsed CPU time: 104.368 s	Remaining CPU time: 75.6319 s
104.47/104.59	c ===============================================================================
104.47/104.59	c |       474 |   26566   235726   595177 |    78575       53     42 | 47.582 % |
104.56/104.62	c ===============================================================================
104.56/104.62	c New solution: 169
104.56/104.62	o 169
104.56/104.62	c Elapsed CPU time: 104.401 s	Remaining CPU time: 75.5989 s
104.56/104.62	c ===============================================================================
104.56/104.62	c |       476 |   26324   235727   595477 |    78575       55     41 | 47.582 % |
104.56/104.67	c ===============================================================================
104.56/104.67	c New solution: 168
104.56/104.67	o 168
104.56/104.67	c Elapsed CPU time: 104.442 s	Remaining CPU time: 75.5579 s
104.56/104.67	c ===============================================================================
104.56/104.67	c |       482 |   26082   235728   595777 |    78576       61     39 | 47.582 % |
104.67/104.70	c ===============================================================================
104.67/104.70	c New solution: 167
104.67/104.70	o 167
104.67/104.70	c Elapsed CPU time: 104.48 s	Remaining CPU time: 75.5199 s
104.67/104.70	c ===============================================================================
104.67/104.70	c |       484 |   25840   235729   596077 |    78576       63     39 | 47.582 % |
104.67/104.74	c ===============================================================================
104.67/104.74	c New solution: 166
104.67/104.74	o 166
104.67/104.74	c Elapsed CPU time: 104.518 s	Remaining CPU time: 75.4819 s
104.67/104.74	c ===============================================================================
104.67/104.74	c |       484 |   25598   235730   596377 |    78576       63     39 | 47.582 % |
104.67/104.78	c ===============================================================================
104.67/104.78	c New solution: 165
104.67/104.78	o 165
104.67/104.78	c Elapsed CPU time: 104.556 s	Remaining CPU time: 75.4439 s
104.67/104.78	c ===============================================================================
104.67/104.78	c |       485 |   25356   235731   596677 |    78577       64     39 | 47.582 % |
104.76/104.82	c ===============================================================================
104.76/104.82	c New solution: 164
104.76/104.82	o 164
104.76/104.82	c Elapsed CPU time: 104.594 s	Remaining CPU time: 75.4059 s
104.76/104.82	c ===============================================================================
104.76/104.82	c |       485 |   25114   235732   596977 |    78577       64     39 | 47.582 % |
104.76/104.86	c ===============================================================================
104.76/104.86	c New solution: 163
104.76/104.86	o 163
104.76/104.86	c Elapsed CPU time: 104.633 s	Remaining CPU time: 75.3669 s
104.76/104.86	c ===============================================================================
104.76/104.86	c |       486 |   24872   235733   597277 |    78577       65     38 | 47.582 % |
104.86/104.90	c ===============================================================================
104.86/104.90	c New solution: 162
104.86/104.90	o 162
104.86/104.90	c Elapsed CPU time: 104.671 s	Remaining CPU time: 75.3289 s
104.86/104.90	c ===============================================================================
104.86/104.90	c |       486 |   24630   235734   597577 |    78578       65     38 | 47.582 % |
104.86/104.94	c ===============================================================================
104.86/104.94	c New solution: 161
104.86/104.94	o 161
104.86/104.94	c Elapsed CPU time: 104.71 s	Remaining CPU time: 75.2899 s
104.86/104.94	c ===============================================================================
104.86/104.94	c |       488 |   24388   235735   597877 |    78578       67     38 | 47.582 % |
104.86/104.98	c ===============================================================================
104.86/104.98	c New solution: 160
104.86/104.98	o 160
104.86/104.98	c Elapsed CPU time: 104.748 s	Remaining CPU time: 75.2519 s
104.86/104.98	c ===============================================================================
104.86/104.98	c |       489 |   24146   235736   598177 |    78578       68     38 | 47.582 % |
104.96/105.01	c ===============================================================================
104.96/105.01	c New solution: 159
104.96/105.01	o 159
104.96/105.01	c Elapsed CPU time: 104.786 s	Remaining CPU time: 75.2139 s
104.96/105.01	c ===============================================================================
104.96/105.01	c |       490 |   23904   235737   598477 |    78579       69     38 | 47.582 % |
104.96/105.05	c ===============================================================================
104.96/105.05	c New solution: 158
104.96/105.05	o 158
104.96/105.05	c Elapsed CPU time: 104.825 s	Remaining CPU time: 75.1749 s
104.96/105.05	c ===============================================================================
104.96/105.05	c |       492 |   23662   235738   598777 |    78579       71     37 | 47.582 % |
104.96/105.09	c ===============================================================================
104.96/105.09	c New solution: 157
104.96/105.09	o 157
104.96/105.09	c Elapsed CPU time: 104.862 s	Remaining CPU time: 75.1379 s
104.96/105.09	c ===============================================================================
104.96/105.09	c |       493 |   23420   235739   599077 |    78579       72     37 | 47.582 % |
105.06/105.13	c ===============================================================================
105.06/105.13	c New solution: 156
105.06/105.13	o 156
105.06/105.13	c Elapsed CPU time: 104.9 s	Remaining CPU time: 75.0999 s
105.06/105.13	c ===============================================================================
105.06/105.13	c |       494 |   23178   235740   599377 |    78580       73     38 | 47.582 % |
105.06/105.17	c ===============================================================================
105.06/105.17	c New solution: 155
105.06/105.17	o 155
105.06/105.17	c Elapsed CPU time: 104.935 s	Remaining CPU time: 75.065 s
105.06/105.17	c ===============================================================================
105.06/105.17	c |       494 |   22936   235741   599677 |    78580       73     38 | 47.582 % |
105.16/105.20	c ===============================================================================
105.16/105.20	c New solution: 154
105.16/105.20	o 154
105.16/105.20	c Elapsed CPU time: 104.974 s	Remaining CPU time: 75.026 s
105.16/105.20	c ===============================================================================
105.16/105.20	c |       498 |   22694   235742   599977 |    78580       77     38 | 47.582 % |
105.16/105.24	c ===============================================================================
105.16/105.24	c New solution: 153
105.16/105.24	o 153
105.16/105.24	c Elapsed CPU time: 105.011 s	Remaining CPU time: 74.989 s
105.16/105.24	c ===============================================================================
105.16/105.24	c |       500 |   22452   235743   600277 |    78581       79     38 | 47.582 % |
105.16/105.28	c ===============================================================================
105.16/105.28	c New solution: 152
105.16/105.28	o 152
105.16/105.28	c Elapsed CPU time: 105.048 s	Remaining CPU time: 74.952 s
105.16/105.28	c ===============================================================================
105.16/105.28	c |       501 |   22210   235744   600577 |    78581       80     38 | 47.582 % |
105.26/105.31	c ===============================================================================
105.26/105.31	c New solution: 151
105.26/105.31	o 151
105.26/105.31	c Elapsed CPU time: 105.084 s	Remaining CPU time: 74.916 s
105.26/105.31	c ===============================================================================
105.26/105.31	c |       501 |   21968   235745   600877 |    78581       80     38 | 47.582 % |
105.26/105.35	c ===============================================================================
105.26/105.35	c New solution: 150
105.26/105.35	o 150
105.26/105.35	c Elapsed CPU time: 105.119 s	Remaining CPU time: 74.881 s
105.26/105.35	c ===============================================================================
105.26/105.35	c |       503 |   21726   235746   601177 |    78582       82     37 | 47.582 % |
105.26/105.39	c ===============================================================================
105.26/105.39	c New solution: 149
105.26/105.39	o 149
105.26/105.39	c Elapsed CPU time: 105.154 s	Remaining CPU time: 74.846 s
105.26/105.39	c ===============================================================================
105.26/105.39	c |       503 |   21484   235747   601477 |    78582       82     37 | 47.582 % |
105.36/105.42	c ===============================================================================
105.36/105.42	c New solution: 148
105.36/105.42	o 148
105.36/105.42	c Elapsed CPU time: 105.188 s	Remaining CPU time: 74.812 s
105.36/105.42	c ===============================================================================
105.36/105.42	c |       508 |   21242   235748   601777 |    78582       87     37 | 47.582 % |
105.36/105.46	c ===============================================================================
105.36/105.46	c New solution: 147
105.36/105.46	o 147
105.36/105.46	c Elapsed CPU time: 105.223 s	Remaining CPU time: 74.777 s
105.36/105.46	c ===============================================================================
105.36/105.46	c |       510 |   21000   235749   602077 |    78583       89     37 | 47.582 % |
105.36/105.49	c ===============================================================================
105.36/105.49	c New solution: 146
105.36/105.49	o 146
105.36/105.49	c Elapsed CPU time: 105.259 s	Remaining CPU time: 74.741 s
105.36/105.49	c ===============================================================================
105.36/105.49	c |       513 |   20758   235750   602377 |    78583       92     36 | 47.582 % |
105.47/105.53	c ===============================================================================
105.47/105.53	c New solution: 145
105.47/105.53	o 145
105.47/105.53	c Elapsed CPU time: 105.295 s	Remaining CPU time: 74.705 s
105.47/105.53	c ===============================================================================
105.47/105.53	c |       513 |   20516   235751   602677 |    78583       19     33 | 47.582 % |
105.47/105.56	c ===============================================================================
105.47/105.56	c New solution: 144
105.47/105.56	o 144
105.47/105.56	c Elapsed CPU time: 105.329 s	Remaining CPU time: 74.671 s
105.47/105.56	c ===============================================================================
105.47/105.56	c |       513 |   20274   235752   602977 |    78584       19     33 | 47.582 % |
105.47/105.60	c ===============================================================================
105.47/105.60	c New solution: 143
105.47/105.60	o 143
105.47/105.60	c Elapsed CPU time: 105.359 s	Remaining CPU time: 74.641 s
105.47/105.60	c ===============================================================================
105.47/105.60	c |       516 |   20032   235753   603277 |    78584       22     31 | 47.582 % |
105.57/105.63	c ===============================================================================
105.57/105.63	c New solution: 142
105.57/105.63	o 142
105.57/105.63	c Elapsed CPU time: 105.394 s	Remaining CPU time: 74.606 s
105.57/105.63	c ===============================================================================
105.57/105.63	c |       516 |   19790   235754   603577 |    78584       22     31 | 47.582 % |
105.57/105.66	c ===============================================================================
105.57/105.66	c New solution: 141
105.57/105.66	o 141
105.57/105.66	c Elapsed CPU time: 105.428 s	Remaining CPU time: 74.572 s
105.57/105.66	c ===============================================================================
105.57/105.66	c |       517 |   19548   235755   603877 |    78585       23     31 | 47.582 % |
105.66/105.70	c ===============================================================================
105.66/105.70	c New solution: 140
105.66/105.70	o 140
105.66/105.70	c Elapsed CPU time: 105.464 s	Remaining CPU time: 74.536 s
105.66/105.70	c ===============================================================================
105.66/105.70	c |       520 |   19306   235756   604177 |    78585       26     31 | 47.582 % |
105.66/105.74	c ===============================================================================
105.66/105.74	c New solution: 139
105.66/105.74	o 139
105.66/105.74	c Elapsed CPU time: 105.5 s	Remaining CPU time: 74.5 s
105.66/105.74	c ===============================================================================
105.66/105.74	c |       525 |   19064   235757   604477 |    78585       31     32 | 47.582 % |
105.66/105.77	c ===============================================================================
105.66/105.77	c New solution: 138
105.66/105.77	o 138
105.66/105.77	c Elapsed CPU time: 105.534 s	Remaining CPU time: 74.466 s
105.66/105.77	c ===============================================================================
105.66/105.77	c |       526 |   18822   235758   604777 |    78586       32     32 | 47.582 % |
105.76/105.81	c ===============================================================================
105.76/105.81	c New solution: 137
105.76/105.81	o 137
105.76/105.81	c Elapsed CPU time: 105.569 s	Remaining CPU time: 74.431 s
105.76/105.81	c ===============================================================================
105.76/105.81	c |       528 |   18580   235759   605077 |    78586       34     33 | 47.582 % |
105.76/105.84	c ===============================================================================
105.76/105.84	c New solution: 136
105.76/105.84	o 136
105.76/105.84	c Elapsed CPU time: 105.605 s	Remaining CPU time: 74.3951 s
105.76/105.84	c ===============================================================================
105.76/105.84	c |       531 |   18338   235760   605377 |    78586       37     33 | 47.582 % |
105.76/105.88	c ===============================================================================
105.76/105.88	c New solution: 135
105.76/105.88	o 135
105.76/105.88	c Elapsed CPU time: 105.639 s	Remaining CPU time: 74.3611 s
105.76/105.88	c ===============================================================================
105.76/105.88	c |       531 |   18096   235761   605677 |    78587       37     33 | 47.582 % |
105.86/105.91	c ===============================================================================
105.86/105.91	c New solution: 134
105.86/105.91	o 134
105.86/105.91	c Elapsed CPU time: 105.672 s	Remaining CPU time: 74.3281 s
105.86/105.91	c ===============================================================================
105.86/105.91	c |       532 |   17854   235762   605977 |    78587       38     32 | 47.582 % |
105.86/105.94	c ===============================================================================
105.86/105.94	c New solution: 133
105.86/105.94	o 133
105.86/105.94	c Elapsed CPU time: 105.706 s	Remaining CPU time: 74.2941 s
105.86/105.94	c ===============================================================================
105.86/105.94	c |       532 |   17612   235763   606277 |    78587       38     32 | 47.582 % |
105.86/105.98	c ===============================================================================
105.86/105.98	c New solution: 132
105.86/105.98	o 132
105.86/105.98	c Elapsed CPU time: 105.739 s	Remaining CPU time: 74.2611 s
105.86/105.98	c ===============================================================================
105.86/105.98	c |       532 |   17370   235764   606577 |    78588       38     32 | 47.582 % |
105.96/106.01	c ===============================================================================
105.96/106.01	c New solution: 131
105.96/106.01	o 131
105.96/106.01	c Elapsed CPU time: 105.772 s	Remaining CPU time: 74.2281 s
105.96/106.01	c ===============================================================================
105.96/106.01	c |       532 |   17128   235765   606877 |    78588       38     32 | 47.582 % |
105.96/106.04	c ===============================================================================
105.96/106.04	c New solution: 130
105.96/106.04	o 130
105.96/106.04	c Elapsed CPU time: 105.803 s	Remaining CPU time: 74.1971 s
105.96/106.04	c ===============================================================================
105.96/106.04	c |       536 |   16886   235766   607177 |    78588       42     35 | 47.582 % |
105.96/106.07	c ===============================================================================
105.96/106.07	c New solution: 129
105.96/106.07	o 129
105.96/106.07	c Elapsed CPU time: 105.835 s	Remaining CPU time: 74.1651 s
105.96/106.07	c ===============================================================================
105.96/106.07	c |       536 |   16644   235767   607477 |    78589       42     35 | 47.582 % |
106.06/106.11	c ===============================================================================
106.06/106.11	c New solution: 128
106.06/106.11	o 128
106.06/106.11	c Elapsed CPU time: 105.867 s	Remaining CPU time: 74.1331 s
106.06/106.11	c ===============================================================================
106.06/106.11	c |       538 |   16402   235768   607777 |    78589       44     35 | 47.582 % |
106.06/106.14	c ===============================================================================
106.06/106.14	c New solution: 127
106.06/106.14	o 127
106.06/106.14	c Elapsed CPU time: 105.899 s	Remaining CPU time: 74.1011 s
106.06/106.14	c ===============================================================================
106.06/106.14	c |       538 |   16160   235769   608077 |    78589       44     35 | 47.582 % |
106.06/106.17	c ===============================================================================
106.06/106.17	c New solution: 126
106.06/106.17	o 126
106.06/106.17	c Elapsed CPU time: 105.93 s	Remaining CPU time: 74.0701 s
106.06/106.17	c ===============================================================================
106.06/106.17	c |       538 |   15918   235770   608377 |    78590       44     35 | 47.582 % |
106.16/106.20	c ===============================================================================
106.16/106.20	c New solution: 125
106.16/106.20	o 125
106.16/106.20	c Elapsed CPU time: 105.96 s	Remaining CPU time: 74.0401 s
106.16/106.20	c ===============================================================================
106.16/106.20	c |       539 |   15676   235771   608677 |    78590       45     34 | 47.582 % |
106.16/106.23	c ===============================================================================
106.16/106.23	c New solution: 124
106.16/106.23	o 124
106.16/106.23	c Elapsed CPU time: 105.992 s	Remaining CPU time: 74.0081 s
106.16/106.23	c ===============================================================================
106.16/106.23	c |       542 |   15434   235772   608977 |    78590       48     33 | 47.582 % |
106.16/106.27	c ===============================================================================
106.16/106.27	c New solution: 123
106.16/106.27	o 123
106.16/106.27	c Elapsed CPU time: 106.023 s	Remaining CPU time: 73.9771 s
106.16/106.27	c ===============================================================================
106.16/106.27	c |       542 |   15192   235773   609277 |    78591       48     33 | 47.582 % |
106.26/106.30	c ===============================================================================
106.26/106.30	c New solution: 122
106.26/106.30	o 122
106.26/106.30	c Elapsed CPU time: 106.054 s	Remaining CPU time: 73.9461 s
106.26/106.30	c ===============================================================================
106.26/106.30	c |       542 |   14950   235774   609577 |    78591       48     33 | 47.582 % |
106.26/106.33	c ===============================================================================
106.26/106.33	c New solution: 121
106.26/106.33	o 121
106.26/106.33	c Elapsed CPU time: 106.085 s	Remaining CPU time: 73.9151 s
106.26/106.33	c ===============================================================================
106.26/106.33	c |       542 |   14708   235775   609877 |    78591       48     33 | 47.582 % |
106.26/106.36	c ===============================================================================
106.26/106.36	c New solution: 120
106.26/106.36	o 120
106.26/106.36	c Elapsed CPU time: 106.115 s	Remaining CPU time: 73.8851 s
106.26/106.36	c ===============================================================================
106.26/106.36	c |       542 |   14466   235776   610177 |    78592       48     33 | 47.582 % |
106.26/106.39	c ===============================================================================
106.26/106.39	c New solution: 119
106.26/106.39	o 119
106.26/106.39	c Elapsed CPU time: 106.146 s	Remaining CPU time: 73.8541 s
106.26/106.39	c ===============================================================================
106.26/106.39	c |       544 |   14224   235777   610477 |    78592       50     33 | 47.582 % |
106.36/106.42	c ===============================================================================
106.36/106.42	c New solution: 118
106.36/106.42	o 118
106.36/106.42	c Elapsed CPU time: 106.176 s	Remaining CPU time: 73.8241 s
106.36/106.42	c ===============================================================================
106.36/106.42	c |       544 |   13982   235778   610777 |    78592       50     33 | 47.582 % |
106.36/106.45	c ===============================================================================
106.36/106.45	c New solution: 117
106.36/106.45	o 117
106.36/106.45	c Elapsed CPU time: 106.205 s	Remaining CPU time: 73.7951 s
106.36/106.45	c ===============================================================================
106.36/106.45	c |       546 |   13740   235779   611077 |    78593       52     33 | 47.582 % |
106.36/106.48	c ===============================================================================
106.36/106.48	c New solution: 116
106.36/106.48	o 116
106.36/106.48	c Elapsed CPU time: 106.234 s	Remaining CPU time: 73.7661 s
106.36/106.48	c ===============================================================================
106.36/106.48	c |       547 |   13498   235780   611377 |    78593       53     32 | 47.582 % |
106.46/106.51	c ===============================================================================
106.46/106.51	c New solution: 115
106.46/106.51	o 115
106.46/106.51	c Elapsed CPU time: 106.264 s	Remaining CPU time: 73.7362 s
106.46/106.51	c ===============================================================================
106.46/106.51	c |       548 |   13256   235781   611677 |    78593       54     33 | 47.582 % |
106.46/106.54	c ===============================================================================
106.46/106.54	c New solution: 114
106.46/106.54	o 114
106.46/106.54	c Elapsed CPU time: 106.291 s	Remaining CPU time: 73.7092 s
106.46/106.54	c ===============================================================================
106.46/106.54	c |       550 |   13014   235782   611977 |    78594       56     32 | 47.582 % |
106.46/106.57	c ===============================================================================
106.46/106.57	c New solution: 113
106.46/106.57	o 113
106.46/106.57	c Elapsed CPU time: 106.32 s	Remaining CPU time: 73.6802 s
106.46/106.57	c ===============================================================================
106.46/106.57	c |       552 |   12772   235783   612277 |    78594       58     32 | 47.582 % |
106.46/106.59	c ===============================================================================
106.46/106.59	c New solution: 112
106.46/106.59	o 112
106.46/106.59	c Elapsed CPU time: 106.347 s	Remaining CPU time: 73.6532 s
106.46/106.59	c ===============================================================================
106.46/106.59	c |       555 |   12530   235784   612577 |    78594       61     31 | 47.582 % |
106.57/106.62	c ===============================================================================
106.57/106.62	c New solution: 111
106.57/106.62	o 111
106.57/106.62	c Elapsed CPU time: 106.376 s	Remaining CPU time: 73.6242 s
106.57/106.62	c ===============================================================================
106.57/106.62	c |       555 |   12288   235785   612877 |    78595       61     31 | 47.582 % |
106.57/106.65	c ===============================================================================
106.57/106.65	c New solution: 110
106.57/106.65	o 110
106.57/106.65	c Elapsed CPU time: 106.403 s	Remaining CPU time: 73.5972 s
106.57/106.65	c ===============================================================================
106.57/106.65	c |       555 |   12046   235786   613177 |    78595       61     31 | 47.582 % |
106.57/106.68	c ===============================================================================
106.57/106.68	c New solution: 109
106.57/106.68	o 109
106.57/106.68	c Elapsed CPU time: 106.433 s	Remaining CPU time: 73.5672 s
106.57/106.68	c ===============================================================================
106.57/106.68	c |       556 |   11804   235787   613477 |    78595       12     28 | 47.582 % |
106.67/106.71	c ===============================================================================
106.67/106.71	c New solution: 108
106.67/106.71	o 108
106.67/106.71	c Elapsed CPU time: 106.461 s	Remaining CPU time: 73.5392 s
106.67/106.71	c ===============================================================================
106.67/106.71	c |       557 |   11562   235788   613777 |    78596       13     27 | 47.582 % |
106.67/106.75	c ===============================================================================
106.67/106.75	c New solution: 107
106.67/106.75	o 107
106.67/106.75	c Elapsed CPU time: 106.501 s	Remaining CPU time: 73.4992 s
106.67/106.75	c ===============================================================================
106.67/106.75	c |       579 |   11320   235789   614077 |    78596       35     57 | 47.582 % |
106.67/106.78	c ===============================================================================
106.67/106.78	c New solution: 106
106.67/106.78	o 106
106.67/106.78	c Elapsed CPU time: 106.529 s	Remaining CPU time: 73.4712 s
106.67/106.78	c ===============================================================================
106.67/106.78	c |       579 |   11078   235790   614377 |    78596       35     57 | 47.582 % |
106.76/106.81	c ===============================================================================
106.76/106.81	c New solution: 105
106.76/106.81	o 105
106.76/106.81	c Elapsed CPU time: 106.557 s	Remaining CPU time: 73.4432 s
106.76/106.81	c ===============================================================================
106.76/106.81	c |       579 |   10836   235791   614677 |    78597       35     57 | 47.582 % |
106.76/106.83	c ===============================================================================
106.76/106.84	c New solution: 104
106.76/106.84	o 104
106.76/106.84	c Elapsed CPU time: 106.585 s	Remaining CPU time: 73.4152 s
106.76/106.84	c ===============================================================================
106.76/106.84	c |       581 |   10594   235792   614977 |    78597       37     55 | 47.582 % |
106.76/106.86	c ===============================================================================
106.76/106.86	c New solution: 103
106.76/106.86	o 103
106.76/106.86	c Elapsed CPU time: 106.61 s	Remaining CPU time: 73.3902 s
106.76/106.86	c ===============================================================================
106.76/106.86	c |       586 |   10352   235793   615277 |    78597       42     52 | 47.582 % |
106.76/106.89	c ===============================================================================
106.76/106.89	c New solution: 102
106.76/106.89	o 102
106.76/106.89	c Elapsed CPU time: 106.637 s	Remaining CPU time: 73.3632 s
106.76/106.89	c ===============================================================================
106.76/106.89	c |       595 |   10110   235794   615577 |    78598       51     49 | 47.582 % |
106.86/106.93	c ===============================================================================
106.86/106.93	c New solution: 101
106.86/106.93	o 101
106.86/106.93	c Elapsed CPU time: 106.676 s	Remaining CPU time: 73.3242 s
106.86/106.93	c ===============================================================================
106.86/106.93	c |       629 |    9868   235795   615877 |    78598       85     49 | 47.582 % |
106.86/106.96	c ===============================================================================
106.86/106.96	c New solution: 100
106.86/106.96	o 100
106.86/106.96	c Elapsed CPU time: 106.704 s	Remaining CPU time: 73.2962 s
106.86/106.96	c ===============================================================================
106.86/106.96	c |       633 |    9626   235796   616177 |    78598       89     49 | 47.582 % |
106.86/106.99	c ===============================================================================
106.86/106.99	c New solution: 99
106.86/106.99	o 99
106.86/106.99	c Elapsed CPU time: 106.734 s	Remaining CPU time: 73.2662 s
106.86/106.99	c ===============================================================================
106.86/106.99	c |       637 |    9384   235797   616477 |    78599       93     48 | 47.582 % |
106.97/107.01	c ===============================================================================
106.97/107.01	c New solution: 98
106.97/107.01	o 98
106.97/107.01	c Elapsed CPU time: 106.758 s	Remaining CPU time: 73.2422 s
106.97/107.01	c ===============================================================================
106.97/107.01	c |       638 |    9142   235798   616777 |    78599       94     48 | 47.582 % |
106.97/107.04	c ===============================================================================
106.97/107.04	c New solution: 97
106.97/107.04	o 97
106.97/107.04	c Elapsed CPU time: 106.785 s	Remaining CPU time: 73.2152 s
106.97/107.04	c ===============================================================================
106.97/107.04	c |       639 |    8900   235799   617077 |    78599       95     48 | 47.582 % |
106.97/107.06	c ===============================================================================
106.97/107.06	c New solution: 96
106.97/107.06	o 96
106.97/107.06	c Elapsed CPU time: 106.81 s	Remaining CPU time: 73.1902 s
106.97/107.06	c ===============================================================================
106.97/107.06	c |       640 |    8658   235800   617377 |    78600       96     47 | 47.582 % |
106.97/107.09	c ===============================================================================
106.97/107.09	c New solution: 95
106.97/107.09	o 95
106.97/107.09	c Elapsed CPU time: 106.835 s	Remaining CPU time: 73.1652 s
106.97/107.09	c ===============================================================================
106.97/107.09	c |       645 |    8416   235801   617677 |    78600      101     46 | 47.582 % |
107.07/107.12	c ===============================================================================
107.07/107.12	c New solution: 94
107.07/107.12	o 94
107.07/107.12	c Elapsed CPU time: 106.861 s	Remaining CPU time: 73.1392 s
107.07/107.12	c ===============================================================================
107.07/107.12	c |       649 |    8174   235802   617977 |    78600      105     46 | 47.582 % |
107.07/107.14	c ===============================================================================
107.07/107.14	c New solution: 93
107.07/107.14	o 93
107.07/107.14	c Elapsed CPU time: 106.888 s	Remaining CPU time: 73.1123 s
107.07/107.14	c ===============================================================================
107.07/107.14	c |       660 |    7932   235803   618277 |    78601      116     44 | 47.582 % |
107.17/107.25	c |       760 |    7927   235803   618277 |    86461      216     65 | 89.443 % |
107.17/107.28	c ===============================================================================
107.17/107.28	c New solution: 92
107.17/107.28	o 92
107.17/107.28	c Elapsed CPU time: 107.021 s	Remaining CPU time: 72.9793 s
107.17/107.28	c ===============================================================================
107.17/107.28	c |       770 |    7690   235804   618577 |    78601      226     64 | 89.443 % |
107.27/107.35	c |       870 |    7682   235804   618577 |    86461      326     70 | 89.775 % |
107.27/107.38	c ===============================================================================
107.27/107.38	c New solution: 91
107.27/107.38	o 91
107.27/107.38	c Elapsed CPU time: 107.12 s	Remaining CPU time: 72.8803 s
107.27/107.38	c ===============================================================================
107.27/107.38	c |       873 |    7448   235805   618877 |    78601      329     70 | 89.775 % |
107.37/107.42	c ===============================================================================
107.37/107.42	c New solution: 90
107.37/107.42	o 90
107.37/107.42	c Elapsed CPU time: 107.161 s	Remaining CPU time: 72.8393 s
107.37/107.42	c ===============================================================================
107.37/107.42	c |       889 |    7206   235806   619177 |    78602      345     71 | 89.775 % |
107.37/107.45	c ===============================================================================
107.37/107.45	c New solution: 89
107.37/107.45	o 89
107.37/107.45	c Elapsed CPU time: 107.193 s	Remaining CPU time: 72.8073 s
107.37/107.45	c ===============================================================================
107.37/107.45	c |       903 |    6964   235807   619477 |    78602      359     69 | 89.775 % |
107.37/107.48	c ===============================================================================
107.37/107.48	c New solution: 88
107.37/107.48	o 88
107.37/107.48	c Elapsed CPU time: 107.227 s	Remaining CPU time: 72.7733 s
107.37/107.48	c ===============================================================================
107.37/107.48	c |       920 |    6722   235808   619777 |    78602      376     69 | 89.775 % |
107.47/107.53	c |      1020 |    6716   235808   619777 |    86462      476     69 | 91.104 % |
107.57/107.66	c |      1172 |    6708   235808   619777 |    95109      628     70 | 91.104 % |
107.67/107.73	c |      1397 |    6693   235808   619777 |   104620      853     63 | 91.104 % |
107.97/108.09	c |      1734 |    6689   235808   619777 |   115082     1190     64 | 91.104 % |
108.26/108.36	c ===============================================================================
108.26/108.36	c New solution: 87
108.26/108.36	o 87
108.26/108.36	c Elapsed CPU time: 108.1 s	Remaining CPU time: 71.9004 s
108.26/108.36	c ===============================================================================
108.26/108.36	c |      2018 |    6480   235809   620077 |    78603     1171     66 | 91.104 % |
108.36/108.45	c |      2118 |    6464   235809   620077 |    86463     1271     66 | 91.436 % |
108.46/108.52	c |      2269 |    6450   235809   620077 |    95109     1422     65 | 91.436 % |
108.77/108.84	c |      2495 |    6443   235809   620077 |   104620     1648     68 | 91.436 % |
108.87/108.97	c |      2832 |    6425   235809   620077 |   115082     1985     66 | 91.436 % |
109.46/109.51	c |      3338 |    6423   235809   620077 |   126590     2491     66 | 91.436 % |
109.76/109.80	c |      4097 |    6416   235809   620077 |   139250     3250     61 | 91.436 % |
111.07/111.10	c |      5238 |    6238   235809   620077 |   153175     3994     60 | 91.436 % |
111.56/111.69	c |      6947 |    6238   235809   620077 |   168492     5703     58 | 91.436 % |
114.97/115.09	c |      9509 |    6238   235809   620077 |   185341     8265     65 | 91.436 % |
115.26/115.31	c ===============================================================================
115.26/115.31	c New solution: 86
115.26/115.31	o 86
115.26/115.31	c Elapsed CPU time: 115.032 s	Remaining CPU time: 64.9685 s
115.26/115.31	c ===============================================================================
115.26/115.31	c |      9766 |    6238   235810   620377 |    78603     8522     65 | 91.436 % |
115.37/115.42	c |      9867 |    5996   235810   620377 |    86463     4580     48 | 91.768 % |
115.56/115.61	c |     10019 |    5996   235810   620377 |    95110     4732     49 | 91.768 % |
115.66/115.70	c |     10245 |    5996   235810   620377 |   104621     4958     49 | 91.768 % |
116.06/116.12	c |     10583 |    5996   235810   620377 |   115083     5296     50 | 91.768 % |
116.26/116.34	c |     11089 |    5996   235810   620377 |   126591     5802     50 | 91.768 % |
117.36/117.46	c |     11848 |    5996   235810   620377 |   139250     6561     55 | 91.768 % |
117.96/118.08	c |     12987 |    5996   235810   620377 |   153175     7700     57 | 91.768 % |
120.26/120.30	c |     14695 |    5996   235810   620377 |   168493     9408     61 | 91.768 % |
121.36/121.45	c |     17257 |    5996   235810   620377 |   185342    11970     60 | 91.768 % |
126.46/126.57	c |     21103 |    5996   235810   620377 |   203876    15816     66 | 91.768 % |
130.56/130.60	c |     26869 |    5996   235810   620377 |   224264    21582     68 | 91.768 % |
147.85/147.97	c |     35518 |    5996   235810   620377 |   246690    30231     84 | 91.768 % |
157.95/158.06	c |     48492 |    5996   235810   620377 |   271360    43205     84 | 91.768 % |
180.35/180.47	c There are 66846 assigned variables. 295 in cost function.
180.74/180.80	c core #1
180.74/180.80	c ============================[ Search Statistics ]==============================
180.74/180.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.74/180.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.74/180.80	c ===============================================================================
180.74/180.80	c |         0 |    5028    81777    45266 |    27259        0    nan |  0.000 % |
180.74/180.83	c |       100 |    5028    81777    45266 |    29984      100     39 | 93.098 % |
180.74/180.87	c |       250 |    5028    81777    45266 |    32983      250     45 | 93.098 % |
180.84/180.95	c |       475 |    5028    81777    45266 |    36281      475     52 | 93.098 % |
180.94/181.07	c |       812 |    5028    81777    45266 |    39909      812     65 | 93.098 % |
181.14/181.23	c |      1318 |    5028    81777    45266 |    43900     1318     64 | 93.098 % |
181.35/181.50	c |      2078 |    5028    81777    45266 |    48290     2078     69 | 93.098 % |
181.74/181.87	c |      3217 |    5028    81777    45266 |    53120     3217     65 | 93.098 % |
182.45/182.54	c |      4925 |    5028    81777    45266 |    58432     4925     73 | 93.098 % |
183.45/183.54	c |      7487 |    5028    81777    45266 |    64275     7487     71 | 93.098 % |
185.44/185.58	c |     11331 |    5028    81777    45266 |    70702    11331     89 | 93.098 % |
188.24/188.38	c |     17099 |    5028    81777    45266 |    77773    17099     83 | 93.098 % |
193.14/193.27	c |     25748 |    5028    81777    45266 |    85550    25748     88 | 93.098 % |
203.03/203.11	c |     38723 |    5028    81777    45266 |    94105    38723     87 | 93.098 % |
221.33/221.49	c |     58187 |    5028    81777    45266 |   103516    58187     91 | 93.098 % |
252.22/252.31	c |     87379 |    5028    81777    45266 |   113867    87379     91 | 93.098 % |
324.91/325.00	c |    131169 |    5028    81777    45266 |   125254   131169     98 | 93.098 % |
492.36/492.50	c |    196853 |    5028    81777    45266 |   137779    17814     63 | 93.098 % |
719.30/719.52	c |    295379 |    5028    81777    45266 |   151557   116340    146 | 93.098 % |
1064.80/1065.17	c |    443168 |    5028    81777    45266 |   166713    58744     58 | 93.098 % |
1686.64/1687.18	c |    664851 |    5028    81777    45266 |   183384    63433    147 | 93.098 % |

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

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


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 22062
/proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=10852 CPUtime=0
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 12910978 11112448 295 1992294400 134512640 135751879 4288698032 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 2713 295 145 303 0 446 0

[startup+0.029449 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 22062
/proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=11880 CPUtime=0.02
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 679 0 0 0 2 0 0 0 22 0 1 0 12910978 12165120 597 1992294400 134512640 135751879 4288698032 18446744073709551615 134637701 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 2970 598 180 303 0 703 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11880

[startup+0.101457 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 22062
/proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=15944 CPUtime=0.09
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 1717 0 0 0 9 0 0 0 22 0 1 0 12910978 16326656 1635 1992294400 134512640 135751879 4288698032 18446744073709551615 134559811 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 3986 1637 296 303 0 1719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15944

[startup+0.301479 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 22062
/proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=20020 CPUtime=0.3
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 3003 0 0 0 29 1 0 0 22 0 1 0 12910978 20500480 2888 1992294400 134512640 135751879 4288698032 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 5005 2888 622 303 0 2738 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20020

[startup+0.701526 s]
/proc/loadavg: 0.93 0.98 0.99 3/105 22062
/proc/meminfo: memFree=1762872/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=27056 CPUtime=0.69
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 5375 0 0 0 68 1 0 0 24 0 1 0 12910978 27705344 5171 1992294400 134512640 135751879 4288698032 18446744073709551615 135010144 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 6764 5171 1292 303 0 4497 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27056

[startup+1.50162 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 22063
/proc/meminfo: memFree=1741908/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=37744 CPUtime=1.49
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 8522 0 0 0 146 3 0 0 25 0 1 0 12910978 38649856 8253 1992294400 134512640 135751879 4288698032 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 9436 8253 2071 303 0 7169 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37744

[startup+3.1008 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 22063
/proc/meminfo: memFree=1712024/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=56980 CPUtime=3.09
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 15411 0 0 0 304 5 0 0 25 0 1 0 12910978 58347520 12955 1992294400 134512640 135751879 4288698032 18446744073709551615 134587104 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 14245 12955 146 303 0 13940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56980

[startup+6.30116 s]
/proc/loadavg: 1.02 1.00 1.00 2/106 22063
/proc/meminfo: memFree=1705576/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=64108 CPUtime=6.29
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 17192 0 0 0 623 6 0 0 25 0 1 0 12910978 65646592 14736 1992294400 134512640 135751879 4288698032 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 16027 14736 146 303 0 15722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64108

[startup+12.7009 s]
/proc/loadavg: 1.02 1.00 1.00 2/106 22063
/proc/meminfo: memFree=1695284/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=74140 CPUtime=12.69
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 19703 0 0 0 1262 7 0 0 25 0 1 0 12910978 75919360 17247 1992294400 134512640 135751879 4288698032 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 18535 17247 146 303 0 18230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74140

[startup+25.5013 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 22063
/proc/meminfo: memFree=1682140/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=86680 CPUtime=25.49
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 22827 0 0 0 2540 9 0 0 25 0 1 0 12910978 88760320 20371 1992294400 134512640 135751879 4288698032 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 21670 20371 146 303 0 21365 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86680

[startup+51.1013 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 22064
/proc/meminfo: memFree=1665896/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=102520 CPUtime=51.08
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 26787 0 0 0 5098 10 0 0 25 0 1 0 12910978 104980480 24331 1992294400 134512640 135751879 4288698032 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 25630 24331 146 303 0 25325 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 102520

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22065
/proc/meminfo: memFree=1651264/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=115940 CPUtime=102.27
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 31591 0 0 0 10210 17 0 0 18 0 1 0 12910978 118722560 27820 1992294400 134512640 135751879 4288698032 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 28985 27820 146 303 0 28680 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 115940

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22067
/proc/meminfo: memFree=1651140/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=115940 CPUtime=162.24
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 31592 0 0 0 16186 38 0 0 25 0 1 0 12910978 118722560 27821 1992294400 134512640 135751879 4288698032 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 28985 27821 147 303 0 28680 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 115940

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22069
/proc/meminfo: memFree=1660316/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=105524 CPUtime=222.23
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32450 0 0 0 22161 62 0 0 25 0 1 0 12910978 108056576 25514 1992294400 134512640 135751879 4288698032 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 26381 25514 151 303 0 26076 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 105524

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22070
/proc/meminfo: memFree=1660316/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=105524 CPUtime=282.22
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32461 0 0 0 28142 80 0 0 25 0 1 0 12910978 108056576 25525 1992294400 134512640 135751879 4288698032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 26381 25525 151 303 0 26076 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 105524

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22072
/proc/meminfo: memFree=1660192/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=105524 CPUtime=342.2
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32461 0 0 0 34127 93 0 0 25 0 1 0 12910978 108056576 25525 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 26381 25525 151 303 0 26076 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 105524

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22073
/proc/meminfo: memFree=1660192/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=105524 CPUtime=402.19
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32461 0 0 0 40111 108 0 0 25 0 1 0 12910978 108056576 25525 1992294400 134512640 135751879 4288698032 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 26381 25525 151 303 0 26076 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 105524

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22075
/proc/meminfo: memFree=1659076/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=107372 CPUtime=462.16
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 32907 0 0 0 46096 120 0 0 25 0 1 0 12910978 109948928 25971 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 26843 25971 151 303 0 26538 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 107372

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22077
/proc/meminfo: memFree=1640600/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=126260 CPUtime=522.15
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 37637 0 0 0 52072 143 0 0 25 0 1 0 12910978 129290240 30701 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 31565 30701 151 303 0 31260 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 126260

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22081
/proc/meminfo: memFree=1619644/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=146256 CPUtime=582.14
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 42613 0 0 0 58050 164 0 0 25 0 1 0 12910978 149766144 35677 1992294400 134512640 135751879 4288698032 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 36564 35677 151 303 0 36259 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 146256

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22083
/proc/meminfo: memFree=1602284/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=163472 CPUtime=642.13
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 46914 0 0 0 64033 180 0 0 25 0 1 0 12910978 167395328 39978 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 40868 39978 151 303 0 40563 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 163472

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22089
/proc/meminfo: memFree=1561364/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=204452 CPUtime=882.06
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 57147 0 0 0 87963 243 0 0 25 0 1 0 12910978 209358848 50211 1992294400 134512640 135751879 4288698032 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 51113 50211 151 303 0 50808 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 204452

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22091
/proc/meminfo: memFree=1555040/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=210948 CPUtime=942.04
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 58760 0 0 0 93949 255 0 0 25 0 1 0 12910978 216010752 51824 1992294400 134512640 135751879 4288698032 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 52737 51824 151 303 0 52432 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 210948

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22092
/proc/meminfo: memFree=1549460/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=216836 CPUtime=1002.02
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 60140 0 0 0 99936 266 0 0 25 0 1 0 12910978 222040064 53204 1992294400 134512640 135751879 4288698032 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 54209 53204 151 303 0 53904 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 216836

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22094
/proc/meminfo: memFree=1536440/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=230072 CPUtime=1062.01
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 63425 0 0 0 105915 286 0 0 25 0 1 0 12910978 235593728 56489 1992294400 134512640 135751879 4288698032 18446744073709551615 134616347 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 57518 56489 151 303 0 57213 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 230072

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22096
/proc/meminfo: memFree=1517592/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=248684 CPUtime=1121.99
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 68079 0 0 0 111891 308 0 0 25 0 1 0 12910978 254652416 61143 1992294400 134512640 135751879 4288698032 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 62171 61143 151 303 0 61866 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 248684

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22097
/proc/meminfo: memFree=1502588/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=263744 CPUtime=1181.97
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 71862 0 0 0 117873 324 0 0 25 0 1 0 12910978 270073856 64926 1992294400 134512640 135751879 4288698032 18446744073709551615 134604779 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 65936 64926 151 303 0 65631 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 263744

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22099
/proc/meminfo: memFree=1487832/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=278144 CPUtime=1241.96
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 75459 0 0 0 123856 340 0 0 25 0 1 0 12910978 284819456 68523 1992294400 134512640 135751879 4288698032 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 69536 68523 151 303 0 69231 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 278144

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22100
/proc/meminfo: memFree=1474936/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=290824 CPUtime=1301.95
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 78623 0 0 0 129840 355 0 0 25 0 1 0 12910978 297803776 71687 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 72706 71687 151 303 0 72401 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 290824

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22102
/proc/meminfo: memFree=1464272/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=301528 CPUtime=1361.93
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 81296 0 0 0 135825 368 0 0 25 0 1 0 12910978 308764672 74360 1992294400 134512640 135751879 4288698032 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 75382 74360 151 303 0 75077 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 301528

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22104
/proc/meminfo: memFree=1453732/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=312004 CPUtime=1421.92
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 83910 0 0 0 141812 380 0 0 25 0 1 0 12910978 319492096 76974 1992294400 134512640 135751879 4288698032 18446744073709551615 134607290 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 78001 76974 151 303 0 77696 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 312004

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22105
/proc/meminfo: memFree=1441828/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=324040 CPUtime=1481.9
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 86922 0 0 0 147795 395 0 0 25 0 1 0 12910978 331816960 79986 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 81010 79986 151 303 0 80705 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 324040

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22107
/proc/meminfo: memFree=1430048/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=335692 CPUtime=1541.89
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 89816 0 0 0 153779 410 0 0 25 0 1 0 12910978 343748608 82880 1992294400 134512640 135751879 4288698032 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 83923 82880 151 303 0 83618 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 335692

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22108
/proc/meminfo: memFree=1419260/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=346400 CPUtime=1601.87
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 92516 0 0 0 159763 424 0 0 25 0 1 0 12910978 354713600 85580 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 86600 85580 151 303 0 86295 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 346400

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22110
/proc/meminfo: memFree=1397560/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=368064 CPUtime=1661.85
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 97917 0 0 0 165742 443 0 0 25 0 1 0 12910978 376897536 90981 1992294400 134512640 135751879 4288698032 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 92016 90981 151 303 0 91711 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 368064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22112
/proc/meminfo: memFree=1380200/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=385224 CPUtime=1721.83
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 102238 0 0 0 171716 467 0 0 25 0 1 0 12910978 394469376 95302 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 96306 95302 151 303 0 96001 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 385224

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22113
/proc/meminfo: memFree=1370156/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=394996 CPUtime=1781.81
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 104681 0 0 0 177696 485 0 0 25 0 1 0 12910978 404475904 97745 1992294400 134512640 135751879 4288698032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 98749 97745 151 303 0 98444 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 394996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22114
/proc/meminfo: memFree=1367924/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=397244 CPUtime=1800.02
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 105227 0 0 0 179511 491 0 0 25 0 1 0 12910978 406777856 98291 1992294400 134512640 135751879 4288698032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 99311 98291 151 303 0 99006 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 397244

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 22114
/proc/meminfo: memFree=1367924/2059040 swapFree=4164952/4192956
[pid=22062] ppid=22060 vsize=397244 CPUtime=1800.02
/proc/22062/stat : 22062 (wbo1.4b) R 22060 22062 22031 0 -1 4202496 105227 0 0 0 179511 491 0 0 25 0 1 0 12910978 406777856 98291 1992294400 134512640 135751879 4288698032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22062/statm: 99311 98291 151 303 0 99006 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 397244

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.07
CPU user time (s): 1795.12
CPU system time (s): 4.95225
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 397244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.12
system time used= 4.95225
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105227
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= 95
involuntary context switches= 3600

runsolver used 2.89856 second user time and 8.59969 second system time

The end

Launcher Data 

Begin job on node088 at 2010-07-06 22:10:26
IDJOB=2687074
IDBENCH=77372
IDSOLVER=1161
FILE ID=node088/2687074-1278447026
PBS_JOBID= 11233513
Free space on /tmp= 62496 MiB

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

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

MD5SUM BENCH= 9033b116fa6917a1af0ec218f9c6d61f
RANDOM SEED=1174602343

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1763772 kB
Buffers:         11372 kB
Cached:         158852 kB
SwapCached:      19140 kB
Active:          60208 kB
Inactive:       161036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1763772 kB
SwapTotal:     4192956 kB
SwapFree:      4164952 kB
Dirty:           10556 kB
Writeback:           0 kB
AnonPages:       31820 kB
Mapped:          13600 kB
Slab:            52248 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179792 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-2687074-1278447026.opb

Free space on /tmp at the end= 62492 MiB
End job on node088 at 2010-07-06 22:40:29