Trace number 2687215

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2687215-1278449705.opb.
0.00/0.00	c Instance file HOME/instance-2687215-1278449705.opb
0.00/0.00	c File size is 8621137 bytes.
1.69/1.77	c Highest Coefficient sum: 733
1.69/1.77	c ============================[ Problem Statistics ]=============================
1.69/1.77	c |                                                                             |
1.69/1.77	c |  Parsing time:          1.74         s                                      |
1.69/1.77	c |  Number Variables:      72842                                               |
1.69/1.77	c |  Number Clauses:        255066                                              |
1.69/1.77	c |  Number Cardinality:    0                                                   |
1.69/1.77	c |  Number PB Constraints: 1200                                                |
98.47/98.58	c ============================[ Search Statistics ]==============================
98.47/98.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
98.47/98.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
98.47/98.58	c ===============================================================================
98.47/98.58	c |         0 |   52402   257538   566609 |    85422        0    nan |  0.000 % |
98.57/98.65	c ===============================================================================
98.57/98.65	c New solution: 300
98.57/98.65	o 300
98.57/98.65	c Elapsed CPU time: 98.47 s	Remaining CPU time: 81.53 s
98.57/98.65	c ===============================================================================
98.57/98.65	c |         0 |   52402   257539   566909 |    85846        0    nan |  0.000 % |
98.66/98.72	c |       100 |   52398   257539   566909 |    94430      100     42 | 28.227 % |
98.66/98.79	c ===============================================================================
98.66/98.79	c New solution: 299
98.66/98.79	o 299
98.66/98.79	c Elapsed CPU time: 98.606 s	Remaining CPU time: 81.394 s
98.66/98.79	c ===============================================================================
98.66/98.79	c |       105 |   52281   257540   567209 |    85846      105     43 | 28.227 % |
98.77/98.86	c |       206 |   52194   257540   567209 |    94431      206     41 | 28.412 % |
98.87/98.93	c |       356 |   52190   257540   567209 |   103874      356     43 | 28.412 % |
98.87/98.98	c ===============================================================================
98.87/98.98	c New solution: 298
98.87/98.98	o 298
98.87/98.98	c Elapsed CPU time: 98.796 s	Remaining CPU time: 81.204 s
98.87/98.98	c ===============================================================================
98.87/98.98	c |       358 |   52146   257541   567509 |    85847      358     43 | 28.412 % |
98.98/99.04	c ===============================================================================
98.98/99.04	c New solution: 297
98.98/99.04	o 297
98.98/99.04	c Elapsed CPU time: 98.862 s	Remaining CPU time: 81.138 s
98.98/99.04	c ===============================================================================
98.98/99.04	c |       359 |   51990   257542   567809 |    85847      359     43 | 28.412 % |
98.98/99.10	c ===============================================================================
98.98/99.10	c New solution: 296
98.98/99.10	o 296
98.98/99.10	c Elapsed CPU time: 98.918 s	Remaining CPU time: 81.082 s
98.98/99.10	c ===============================================================================
98.98/99.10	c |       372 |   51824   257543   568109 |    85847      372     43 | 28.412 % |
99.08/99.15	c ===============================================================================
99.08/99.15	c New solution: 295
99.08/99.15	o 295
99.08/99.15	c Elapsed CPU time: 98.971 s	Remaining CPU time: 81.029 s
99.08/99.15	c ===============================================================================
99.08/99.15	c |       373 |   51644   257544   568409 |    85848      373     43 | 28.412 % |
99.17/99.22	c ===============================================================================
99.17/99.22	c New solution: 294
99.17/99.22	o 294
99.17/99.22	c Elapsed CPU time: 99.0399 s	Remaining CPU time: 80.9601 s
99.17/99.22	c ===============================================================================
99.17/99.22	c |       374 |   51458   257545   568709 |    85848      119     40 | 28.412 % |
99.17/99.30	c ===============================================================================
99.17/99.30	c New solution: 293
99.17/99.30	o 293
99.17/99.30	c Elapsed CPU time: 99.1129 s	Remaining CPU time: 80.8871 s
99.17/99.30	c ===============================================================================
99.17/99.30	c |       376 |   51262   257546   569009 |    85848      121     39 | 28.412 % |
99.27/99.35	c ===============================================================================
99.27/99.35	c New solution: 292
99.27/99.35	o 292
99.27/99.35	c Elapsed CPU time: 99.1669 s	Remaining CPU time: 80.8331 s
99.27/99.35	c ===============================================================================
99.27/99.35	c |       377 |   51053   257547   569309 |    85849      122     39 | 28.412 % |
99.37/99.41	c ===============================================================================
99.37/99.41	c New solution: 291
99.37/99.41	o 291
99.37/99.41	c Elapsed CPU time: 99.2319 s	Remaining CPU time: 80.7681 s
99.37/99.41	c ===============================================================================
99.37/99.41	c |       378 |   50839   257548   569609 |    85849      123     39 | 28.412 % |
99.37/99.48	c ===============================================================================
99.37/99.48	c New solution: 290
99.37/99.48	o 290
99.37/99.48	c Elapsed CPU time: 99.2979 s	Remaining CPU time: 80.7021 s
99.37/99.48	c ===============================================================================
99.37/99.48	c |       385 |   50618   257549   569909 |    85849      130     39 | 28.412 % |
99.47/99.53	c |       486 |   50586   257549   569909 |    94434      231     43 | 30.842 % |
99.47/99.59	c ===============================================================================
99.47/99.59	c New solution: 289
99.47/99.59	o 289
99.47/99.59	c Elapsed CPU time: 99.4079 s	Remaining CPU time: 80.5921 s
99.47/99.59	c ===============================================================================
99.47/99.59	c |       522 |   50376   257550   570209 |    85850      267     43 | 30.842 % |
99.57/99.66	c ===============================================================================
99.57/99.66	c New solution: 288
99.57/99.66	o 288
99.57/99.66	c Elapsed CPU time: 99.4799 s	Remaining CPU time: 80.5201 s
99.57/99.66	c ===============================================================================
99.57/99.66	c |       537 |   50134   257551   570509 |    85850      282     43 | 30.842 % |
99.67/99.73	c ===============================================================================
99.67/99.73	c New solution: 287
99.67/99.73	o 287
99.67/99.73	c Elapsed CPU time: 99.5469 s	Remaining CPU time: 80.4531 s
99.67/99.73	c ===============================================================================
99.67/99.73	c |       537 |   49892   257552   570809 |    85850      282     43 | 30.842 % |
99.67/99.80	c ===============================================================================
99.67/99.80	c New solution: 286
99.67/99.80	o 286
99.67/99.80	c Elapsed CPU time: 99.6129 s	Remaining CPU time: 80.3871 s
99.67/99.80	c ===============================================================================
99.67/99.80	c |       540 |   49650   257553   571109 |    85851      285     43 | 30.842 % |
99.77/99.86	c ===============================================================================
99.77/99.86	c New solution: 285
99.77/99.86	o 285
99.77/99.86	c Elapsed CPU time: 99.6798 s	Remaining CPU time: 80.3202 s
99.77/99.86	c ===============================================================================
99.77/99.86	c |       543 |   49408   257554   571409 |    85851      288     43 | 30.842 % |
99.87/99.95	c ===============================================================================
99.87/99.95	c New solution: 284
99.87/99.95	o 284
99.87/99.95	c Elapsed CPU time: 99.7628 s	Remaining CPU time: 80.2372 s
99.87/99.95	c ===============================================================================
99.87/99.95	c |       631 |   49166   257555   571709 |    85851      241     46 | 30.842 % |
99.97/100.00	c |       731 |   49147   257555   571709 |    94436      341     50 | 32.835 % |
99.97/100.05	c ===============================================================================
99.97/100.05	c New solution: 283
99.97/100.05	o 283
99.97/100.05	c Elapsed CPU time: 99.8698 s	Remaining CPU time: 80.1302 s
99.97/100.05	c ===============================================================================
99.97/100.05	c |       731 |   48924   257556   572009 |    85852      341     50 | 32.835 % |
100.07/100.12	c ===============================================================================
100.07/100.12	c New solution: 282
100.07/100.12	o 282
100.07/100.12	c Elapsed CPU time: 99.9368 s	Remaining CPU time: 80.0632 s
100.07/100.12	c ===============================================================================
100.07/100.12	c |       732 |   48682   257557   572309 |    85852      342     50 | 32.835 % |
100.07/100.19	c ===============================================================================
100.07/100.19	c New solution: 281
100.07/100.19	o 281
100.07/100.19	c Elapsed CPU time: 100.003 s	Remaining CPU time: 79.9972 s
100.07/100.19	c ===============================================================================
100.07/100.19	c |       735 |   48440   257558   572609 |    85852      345     49 | 32.835 % |
100.17/100.25	c ===============================================================================
100.17/100.25	c New solution: 280
100.17/100.25	o 280
100.17/100.25	c Elapsed CPU time: 100.068 s	Remaining CPU time: 79.9322 s
100.17/100.25	c ===============================================================================
100.17/100.25	c |       739 |   48198   257559   572909 |    85853      349     49 | 32.835 % |
100.26/100.30	c |       839 |   48145   257559   572909 |    94438      449     52 | 34.164 % |
100.26/100.38	c |       989 |   48142   257559   572909 |   103882      599     56 | 34.164 % |
100.36/100.43	c ===============================================================================
100.36/100.43	c New solution: 279
100.36/100.43	o 279
100.36/100.43	c Elapsed CPU time: 100.245 s	Remaining CPU time: 79.7552 s
100.36/100.43	c ===============================================================================
100.36/100.43	c |       991 |   47956   257560   573209 |    85853      601     56 | 34.164 % |
100.36/100.49	c ===============================================================================
100.36/100.49	c New solution: 278
100.36/100.49	o 278
100.36/100.49	c Elapsed CPU time: 100.306 s	Remaining CPU time: 79.6942 s
100.36/100.50	c ===============================================================================
100.36/100.50	c |       992 |   47714   257561   573509 |    85853      602     56 | 34.164 % |
100.46/100.56	c ===============================================================================
100.46/100.56	c New solution: 277
100.46/100.56	o 277
100.46/100.56	c Elapsed CPU time: 100.371 s	Remaining CPU time: 79.6293 s
100.46/100.56	c ===============================================================================
100.46/100.56	c |       993 |   47472   257562   573809 |    85854      272     45 | 34.164 % |
100.56/100.63	c ===============================================================================
100.56/100.63	c New solution: 276
100.56/100.63	o 276
100.56/100.63	c Elapsed CPU time: 100.436 s	Remaining CPU time: 79.5643 s
100.56/100.63	c ===============================================================================
100.56/100.63	c |       994 |   47230   257563   574109 |    85854      273     45 | 34.164 % |
100.56/100.69	c ===============================================================================
100.56/100.69	c New solution: 275
100.56/100.69	o 275
100.56/100.69	c Elapsed CPU time: 100.5 s	Remaining CPU time: 79.5003 s
100.56/100.69	c ===============================================================================
100.56/100.69	c |       994 |   46988   257564   574409 |    85854      273     45 | 34.164 % |
100.67/100.76	c ===============================================================================
100.67/100.76	c New solution: 274
100.67/100.76	o 274
100.67/100.76	c Elapsed CPU time: 100.564 s	Remaining CPU time: 79.4363 s
100.67/100.76	c ===============================================================================
100.67/100.76	c |       998 |   46746   257565   574709 |    85855      277     44 | 34.164 % |
100.77/100.81	c ===============================================================================
100.77/100.81	c New solution: 273
100.77/100.81	o 273
100.77/100.81	c Elapsed CPU time: 100.616 s	Remaining CPU time: 79.3843 s
100.77/100.81	c ===============================================================================
100.77/100.81	c |      1002 |   46504   257566   575009 |    85855      281     44 | 34.164 % |
100.77/100.88	c ===============================================================================
100.77/100.88	c New solution: 272
100.77/100.88	o 272
100.77/100.88	c Elapsed CPU time: 100.681 s	Remaining CPU time: 79.3193 s
100.77/100.88	c ===============================================================================
100.77/100.88	c |      1004 |   46262   257567   575309 |    85855      283     44 | 34.164 % |
100.87/100.94	c ===============================================================================
100.87/100.94	c New solution: 271
100.87/100.94	o 271
100.87/100.94	c Elapsed CPU time: 100.744 s	Remaining CPU time: 79.2563 s
100.87/100.94	c ===============================================================================
100.87/100.94	c |      1008 |   46020   257568   575609 |    85856      287     43 | 34.164 % |
100.97/101.01	c ===============================================================================
100.97/101.01	c New solution: 270
100.97/101.01	o 270
100.97/101.01	c Elapsed CPU time: 100.81 s	Remaining CPU time: 79.1903 s
100.97/101.01	c ===============================================================================
100.97/101.01	c |      1016 |   45778   257569   575909 |    85856      295     43 | 34.164 % |
100.97/101.06	c ===============================================================================
100.97/101.06	c New solution: 269
100.97/101.06	o 269
100.97/101.06	c Elapsed CPU time: 100.867 s	Remaining CPU time: 79.1333 s
100.97/101.06	c ===============================================================================
100.97/101.06	c |      1031 |   45536   257570   576209 |    85856      310     43 | 34.164 % |
101.07/101.13	c ===============================================================================
101.07/101.13	c New solution: 268
101.07/101.13	o 268
101.07/101.13	c Elapsed CPU time: 100.931 s	Remaining CPU time: 79.0693 s
101.07/101.13	c ===============================================================================
101.07/101.13	c |      1033 |   45294   257571   576509 |    85857      312     43 | 34.164 % |
101.07/101.19	c ===============================================================================
101.07/101.19	c New solution: 267
101.07/101.19	o 267
101.07/101.19	c Elapsed CPU time: 100.995 s	Remaining CPU time: 79.0054 s
101.07/101.19	c ===============================================================================
101.07/101.19	c |      1037 |   45052   257572   576809 |    85857      316     42 | 34.164 % |
101.17/101.25	c ===============================================================================
101.17/101.25	c New solution: 266
101.17/101.25	o 266
101.17/101.25	c Elapsed CPU time: 101.055 s	Remaining CPU time: 78.9454 s
101.17/101.25	c ===============================================================================
101.17/101.25	c |      1038 |   44810   257573   577109 |    85857      317     42 | 34.164 % |
101.27/101.32	c ===============================================================================
101.27/101.32	c New solution: 265
101.27/101.32	o 265
101.27/101.32	c Elapsed CPU time: 101.124 s	Remaining CPU time: 78.8764 s
101.27/101.32	c ===============================================================================
101.27/101.32	c |      1041 |   44568   257574   577409 |    85858      320     42 | 34.164 % |
101.27/101.37	c ===============================================================================
101.27/101.37	c New solution: 264
101.27/101.37	o 264
101.27/101.37	c Elapsed CPU time: 101.175 s	Remaining CPU time: 78.8254 s
101.27/101.37	c ===============================================================================
101.27/101.37	c |      1042 |   44326   257575   577709 |    85858      141     36 | 34.164 % |
101.36/101.43	c ===============================================================================
101.36/101.43	c New solution: 263
101.36/101.43	o 263
101.36/101.43	c Elapsed CPU time: 101.235 s	Remaining CPU time: 78.7654 s
101.36/101.43	c ===============================================================================
101.36/101.43	c |      1042 |   44084   257576   578009 |    85858      141     36 | 34.164 % |
101.36/101.50	c ===============================================================================
101.36/101.50	c New solution: 262
101.36/101.50	o 262
101.36/101.50	c Elapsed CPU time: 101.297 s	Remaining CPU time: 78.7034 s
101.36/101.50	c ===============================================================================
101.36/101.50	c |      1042 |   43842   257577   578309 |    85859      141     36 | 34.164 % |
101.46/101.56	c ===============================================================================
101.46/101.56	c New solution: 261
101.46/101.56	o 261
101.46/101.56	c Elapsed CPU time: 101.357 s	Remaining CPU time: 78.6434 s
101.46/101.56	c ===============================================================================
101.46/101.56	c |      1043 |   43600   257578   578609 |    85859      142     36 | 34.164 % |
101.56/101.63	c ===============================================================================
101.56/101.63	c New solution: 260
101.56/101.63	o 260
101.56/101.63	c Elapsed CPU time: 101.428 s	Remaining CPU time: 78.5724 s
101.56/101.63	c ===============================================================================
101.56/101.63	c |      1101 |   43358   257579   578909 |    85859      200     50 | 34.164 % |
101.56/101.69	c ===============================================================================
101.56/101.69	c New solution: 259
101.56/101.69	o 259
101.56/101.69	c Elapsed CPU time: 101.49 s	Remaining CPU time: 78.5104 s
101.56/101.69	c ===============================================================================
101.56/101.69	c |      1127 |   43116   257580   579209 |    85860      226     48 | 34.164 % |
101.66/101.74	c ===============================================================================
101.66/101.74	c New solution: 258
101.66/101.74	o 258
101.66/101.74	c Elapsed CPU time: 101.542 s	Remaining CPU time: 78.4584 s
101.66/101.74	c ===============================================================================
101.66/101.74	c |      1133 |   42874   257581   579509 |    85860      232     48 | 34.164 % |
101.76/101.80	c ===============================================================================
101.76/101.80	c New solution: 257
101.76/101.80	o 257
101.76/101.80	c Elapsed CPU time: 101.603 s	Remaining CPU time: 78.3974 s
101.76/101.80	c ===============================================================================
101.76/101.80	c |      1133 |   42632   257582   579809 |    85860      232     48 | 34.164 % |
101.76/101.86	c ===============================================================================
101.76/101.86	c New solution: 256
101.76/101.86	o 256
101.76/101.86	c Elapsed CPU time: 101.663 s	Remaining CPU time: 78.3375 s
101.76/101.86	c ===============================================================================
101.76/101.86	c |      1133 |   42390   257583   580109 |    85861      232     48 | 34.164 % |
101.86/101.92	c ===============================================================================
101.86/101.92	c New solution: 255
101.86/101.92	o 255
101.86/101.92	c Elapsed CPU time: 101.723 s	Remaining CPU time: 78.2775 s
101.86/101.92	c ===============================================================================
101.86/101.92	c |      1134 |   42148   257584   580409 |    85861      233     47 | 34.164 % |
101.86/101.99	c ===============================================================================
101.86/101.99	c New solution: 254
101.86/101.99	o 254
101.86/101.99	c Elapsed CPU time: 101.784 s	Remaining CPU time: 78.2165 s
101.86/101.99	c ===============================================================================
101.86/101.99	c |      1136 |   41906   257585   580709 |    85861      235     47 | 34.164 % |
101.96/102.05	c ===============================================================================
101.96/102.05	c New solution: 253
101.96/102.05	o 253
101.96/102.05	c Elapsed CPU time: 101.844 s	Remaining CPU time: 78.1565 s
101.96/102.05	c ===============================================================================
101.96/102.05	c |      1137 |   41664   257586   581009 |    85862      236     47 | 34.164 % |
102.07/102.11	c ===============================================================================
102.07/102.11	c New solution: 252
102.07/102.11	o 252
102.07/102.11	c Elapsed CPU time: 101.909 s	Remaining CPU time: 78.0915 s
102.07/102.11	c ===============================================================================
102.07/102.11	c |      1142 |   41422   257587   581309 |    85862      241     46 | 34.164 % |
102.07/102.16	c ===============================================================================
102.07/102.16	c New solution: 251
102.07/102.16	o 251
102.07/102.16	c Elapsed CPU time: 101.96 s	Remaining CPU time: 78.0395 s
102.07/102.16	c ===============================================================================
102.07/102.16	c |      1145 |   41180   257588   581609 |    85862      149     39 | 34.164 % |
102.17/102.22	c ===============================================================================
102.17/102.22	c New solution: 250
102.17/102.22	o 250
102.17/102.22	c Elapsed CPU time: 102.021 s	Remaining CPU time: 77.9785 s
102.17/102.22	c ===============================================================================
102.17/102.22	c |      1148 |   40938   257589   581909 |    85863      152     38 | 34.164 % |
102.17/102.29	c ===============================================================================
102.17/102.29	c New solution: 249
102.17/102.29	o 249
102.17/102.29	c Elapsed CPU time: 102.083 s	Remaining CPU time: 77.9165 s
102.17/102.29	c ===============================================================================
102.17/102.29	c |      1150 |   40696   257590   582209 |    85863      154     38 | 34.164 % |
102.28/102.35	c ===============================================================================
102.28/102.35	c New solution: 248
102.28/102.35	o 248
102.28/102.35	c Elapsed CPU time: 102.144 s	Remaining CPU time: 77.8555 s
102.28/102.35	c ===============================================================================
102.28/102.35	c |      1151 |   40454   257591   582509 |    85863      155     38 | 34.164 % |
102.38/102.41	c ===============================================================================
102.38/102.41	c New solution: 247
102.38/102.41	o 247
102.38/102.41	c Elapsed CPU time: 102.202 s	Remaining CPU time: 77.7975 s
102.38/102.41	c ===============================================================================
102.38/102.41	c |      1152 |   40212   257592   582809 |    85864      156     38 | 34.164 % |
102.38/102.46	c ===============================================================================
102.38/102.46	c New solution: 246
102.38/102.46	o 246
102.38/102.46	c Elapsed CPU time: 102.261 s	Remaining CPU time: 77.7385 s
102.38/102.46	c ===============================================================================
102.38/102.46	c |      1155 |   39970   257593   583109 |    85864      159     37 | 34.164 % |
102.47/102.52	c ===============================================================================
102.47/102.52	c New solution: 245
102.47/102.52	o 245
102.47/102.52	c Elapsed CPU time: 102.32 s	Remaining CPU time: 77.6796 s
102.47/102.53	c ===============================================================================
102.47/102.53	c |      1155 |   39728   257594   583409 |    85864      159     37 | 34.164 % |
102.47/102.58	c ===============================================================================
102.47/102.58	c New solution: 244
102.47/102.58	o 244
102.47/102.58	c Elapsed CPU time: 102.38 s	Remaining CPU time: 77.6196 s
102.47/102.58	c ===============================================================================
102.47/102.58	c |      1157 |   39486   257595   583709 |    85865      161     38 | 34.164 % |
102.57/102.64	c ===============================================================================
102.57/102.64	c New solution: 243
102.57/102.64	o 243
102.57/102.64	c Elapsed CPU time: 102.438 s	Remaining CPU time: 77.5616 s
102.57/102.64	c ===============================================================================
102.57/102.64	c |      1157 |   39244   257596   584009 |    85865      161     38 | 34.164 % |
102.67/102.70	c ===============================================================================
102.67/102.70	c New solution: 242
102.67/102.70	o 242
102.67/102.70	c Elapsed CPU time: 102.498 s	Remaining CPU time: 77.5016 s
102.67/102.70	c ===============================================================================
102.67/102.70	c |      1162 |   39002   257597   584309 |    85865      166     38 | 34.164 % |
102.67/102.76	c ===============================================================================
102.67/102.76	c New solution: 241
102.67/102.76	o 241
102.67/102.76	c Elapsed CPU time: 102.555 s	Remaining CPU time: 77.4446 s
102.67/102.76	c ===============================================================================
102.67/102.76	c |      1163 |   38760   257598   584609 |    85866      167     38 | 34.164 % |
102.76/102.83	c ===============================================================================
102.76/102.83	c New solution: 240
102.76/102.83	o 240
102.76/102.83	c Elapsed CPU time: 102.618 s	Remaining CPU time: 77.3816 s
102.76/102.83	c ===============================================================================
102.76/102.83	c |      1167 |   38518   257599   584909 |    85866      171     37 | 34.164 % |
102.76/102.88	c ===============================================================================
102.76/102.88	c New solution: 239
102.76/102.88	o 239
102.76/102.88	c Elapsed CPU time: 102.677 s	Remaining CPU time: 77.3226 s
102.76/102.88	c ===============================================================================
102.76/102.88	c |      1170 |   38276   257600   585209 |    85866      174     37 | 34.164 % |
102.86/102.95	c ===============================================================================
102.86/102.95	c New solution: 238
102.86/102.95	o 238
102.86/102.95	c Elapsed CPU time: 102.736 s	Remaining CPU time: 77.2636 s
102.86/102.95	c ===============================================================================
102.86/102.95	c |      1172 |   38034   257601   585509 |    85867      176     37 | 34.164 % |
102.96/103.00	c ===============================================================================
102.96/103.00	c New solution: 237
102.96/103.00	o 237
102.96/103.00	c Elapsed CPU time: 102.79 s	Remaining CPU time: 77.2096 s
102.96/103.00	c ===============================================================================
102.96/103.00	c |      1176 |   37792   257602   585809 |    85867      130     37 | 34.164 % |
102.96/103.06	c ===============================================================================
102.96/103.06	c New solution: 236
102.96/103.06	o 236
102.96/103.06	c Elapsed CPU time: 102.847 s	Remaining CPU time: 77.1526 s
102.96/103.06	c ===============================================================================
102.96/103.06	c |      1177 |   37550   257603   586109 |    85867      131     37 | 34.164 % |
103.06/103.11	c ===============================================================================
103.06/103.11	c New solution: 235
103.06/103.11	o 235
103.06/103.11	c Elapsed CPU time: 102.901 s	Remaining CPU time: 77.0986 s
103.06/103.11	c ===============================================================================
103.06/103.11	c |      1177 |   37308   257604   586409 |    85868      131     37 | 34.164 % |
103.06/103.17	c ===============================================================================
103.06/103.17	c New solution: 234
103.06/103.17	o 234
103.06/103.17	c Elapsed CPU time: 102.957 s	Remaining CPU time: 77.0427 s
103.06/103.17	c ===============================================================================
103.06/103.17	c |      1180 |   37066   257605   586709 |    85868      134     36 | 34.164 % |
103.16/103.21	c ===============================================================================
103.16/103.21	c New solution: 233
103.16/103.21	o 233
103.16/103.21	c Elapsed CPU time: 103.001 s	Remaining CPU time: 76.9987 s
103.16/103.21	c ===============================================================================
103.16/103.21	c |      1182 |   36824   257606   587009 |    85868      136     36 | 34.164 % |
103.16/103.27	c |      1282 |   36802   257606   587009 |    94455      236     45 | 49.779 % |
103.26/103.31	c ===============================================================================
103.26/103.31	c New solution: 232
103.26/103.31	o 232
103.26/103.31	c Elapsed CPU time: 103.098 s	Remaining CPU time: 76.9017 s
103.26/103.31	c ===============================================================================
103.26/103.31	c |      1283 |   36582   257607   587309 |    85869      237     45 | 49.779 % |
103.26/103.37	c ===============================================================================
103.26/103.37	c New solution: 231
103.26/103.37	o 231
103.26/103.37	c Elapsed CPU time: 103.154 s	Remaining CPU time: 76.8457 s
103.26/103.37	c ===============================================================================
103.26/103.37	c |      1286 |   36340   257608   587609 |    85869      240     45 | 49.779 % |
103.38/103.42	c ===============================================================================
103.38/103.42	c New solution: 230
103.38/103.42	o 230
103.38/103.42	c Elapsed CPU time: 103.209 s	Remaining CPU time: 76.7907 s
103.38/103.42	c ===============================================================================
103.38/103.42	c |      1286 |   36098   257609   587909 |    85869      240     45 | 49.779 % |
103.38/103.48	c ===============================================================================
103.38/103.48	c New solution: 229
103.38/103.48	o 229
103.38/103.48	c Elapsed CPU time: 103.263 s	Remaining CPU time: 76.7367 s
103.38/103.48	c ===============================================================================
103.38/103.48	c |      1287 |   35856   257610   588209 |    85870      241     44 | 49.779 % |
103.48/103.53	c ===============================================================================
103.48/103.53	c New solution: 228
103.48/103.53	o 228
103.48/103.53	c Elapsed CPU time: 103.318 s	Remaining CPU time: 76.6817 s
103.48/103.53	c ===============================================================================
103.48/103.53	c |      1289 |   35614   257611   588509 |    85870      243     44 | 49.779 % |
103.48/103.60	c ===============================================================================
103.48/103.60	c New solution: 227
103.48/103.60	o 227
103.48/103.60	c Elapsed CPU time: 103.381 s	Remaining CPU time: 76.6187 s
103.48/103.60	c ===============================================================================
103.48/103.60	c |      1292 |   35372   257612   588809 |    85870      246     44 | 49.779 % |
103.57/103.64	c ===============================================================================
103.57/103.64	c New solution: 226
103.57/103.64	o 226
103.57/103.64	c Elapsed CPU time: 103.423 s	Remaining CPU time: 76.5767 s
103.57/103.64	c ===============================================================================
103.57/103.64	c |      1297 |   35130   257613   589109 |    85871      251     43 | 49.779 % |
103.57/103.69	c ===============================================================================
103.57/103.69	c New solution: 225
103.57/103.69	o 225
103.57/103.69	c Elapsed CPU time: 103.476 s	Remaining CPU time: 76.5237 s
103.57/103.69	c ===============================================================================
103.57/103.69	c |      1299 |   34888   257614   589409 |    85871      253     43 | 49.779 % |
103.67/103.74	c ===============================================================================
103.67/103.74	c New solution: 224
103.67/103.74	o 224
103.67/103.74	c Elapsed CPU time: 103.529 s	Remaining CPU time: 76.4707 s
103.67/103.74	c ===============================================================================
103.67/103.74	c |      1301 |   34646   257615   589709 |    85871      255     43 | 49.779 % |
103.77/103.80	c ===============================================================================
103.77/103.80	c New solution: 223
103.77/103.80	o 223
103.77/103.80	c Elapsed CPU time: 103.583 s	Remaining CPU time: 76.4167 s
103.77/103.80	c ===============================================================================
103.77/103.80	c |      1301 |   34404   257616   590009 |    85872      122     37 | 49.779 % |
103.77/103.85	c ===============================================================================
103.77/103.85	c New solution: 222
103.77/103.85	o 222
103.77/103.85	c Elapsed CPU time: 103.635 s	Remaining CPU time: 76.3648 s
103.77/103.85	c ===============================================================================
103.77/103.85	c |      1302 |   34162   257617   590309 |    85872      123     37 | 49.779 % |
103.87/103.91	c ===============================================================================
103.87/103.91	c New solution: 221
103.87/103.91	o 221
103.87/103.91	c Elapsed CPU time: 103.69 s	Remaining CPU time: 76.3098 s
103.87/103.91	c ===============================================================================
103.87/103.91	c |      1306 |   33920   257618   590609 |    85872      127     36 | 49.779 % |
103.87/103.97	c ===============================================================================
103.87/103.97	c New solution: 220
103.87/103.97	o 220
103.87/103.97	c Elapsed CPU time: 103.751 s	Remaining CPU time: 76.2488 s
103.87/103.97	c ===============================================================================
103.87/103.97	c |      1317 |   33678   257619   590909 |    85873      138     35 | 49.779 % |
103.97/104.01	c ===============================================================================
103.97/104.01	c New solution: 219
103.97/104.01	o 219
103.97/104.01	c Elapsed CPU time: 103.794 s	Remaining CPU time: 76.2058 s
103.97/104.01	c ===============================================================================
103.97/104.01	c |      1317 |   33436   257620   591209 |    85873      138     35 | 49.779 % |
103.97/104.06	c ===============================================================================
103.97/104.06	c New solution: 218
103.97/104.06	o 218
103.97/104.06	c Elapsed CPU time: 103.846 s	Remaining CPU time: 76.1538 s
103.97/104.06	c ===============================================================================
103.97/104.06	c |      1355 |   33194   257621   591509 |    85873      176     38 | 49.779 % |
104.06/104.12	c |      1455 |   33174   257621   591509 |    94461      276     43 | 54.762 % |
104.16/104.22	c |      1605 |   33167   257621   591509 |   103907      426     47 | 54.762 % |
104.16/104.26	c ===============================================================================
104.16/104.26	c New solution: 217
104.16/104.26	o 217
104.16/104.26	c Elapsed CPU time: 104.04 s	Remaining CPU time: 75.9598 s
104.16/104.26	c ===============================================================================
104.16/104.26	c |      1608 |   32952   257622   591809 |    85874      429     47 | 54.762 % |
104.26/104.32	c ===============================================================================
104.26/104.32	c New solution: 216
104.26/104.32	o 216
104.26/104.32	c Elapsed CPU time: 104.095 s	Remaining CPU time: 75.9048 s
104.26/104.32	c ===============================================================================
104.26/104.32	c |      1610 |   32710   257623   592109 |    85874      431     46 | 54.762 % |
104.26/104.37	c ===============================================================================
104.26/104.37	c New solution: 215
104.26/104.37	o 215
104.26/104.37	c Elapsed CPU time: 104.148 s	Remaining CPU time: 75.8518 s
104.26/104.37	c ===============================================================================
104.26/104.37	c |      1611 |   32468   257624   592409 |    85874      432     46 | 54.762 % |
104.36/104.42	c ===============================================================================
104.36/104.42	c New solution: 214
104.36/104.42	o 214
104.36/104.42	c Elapsed CPU time: 104.2 s	Remaining CPU time: 75.7998 s
104.36/104.42	c ===============================================================================
104.36/104.42	c |      1613 |   32226   257625   592709 |    85875      434     46 | 54.762 % |
104.36/104.47	c ===============================================================================
104.36/104.47	c New solution: 213
104.36/104.47	o 213
104.36/104.47	c Elapsed CPU time: 104.244 s	Remaining CPU time: 75.7558 s
104.36/104.47	c ===============================================================================
104.36/104.47	c |      1619 |   31984   257626   593009 |    85875      440     46 | 54.762 % |
104.47/104.52	c |      1719 |   31952   257626   593009 |    94462      540     49 | 56.423 % |
104.47/104.57	c ===============================================================================
104.47/104.57	c New solution: 212
104.47/104.57	o 212
104.47/104.57	c Elapsed CPU time: 104.343 s	Remaining CPU time: 75.6569 s
104.47/104.57	c ===============================================================================
104.47/104.57	c |      1726 |   31742   257627   593309 |    85875      328     47 | 56.423 % |
104.57/104.62	c ===============================================================================
104.57/104.62	c New solution: 211
104.57/104.62	o 211
104.57/104.62	c Elapsed CPU time: 104.398 s	Remaining CPU time: 75.6019 s
104.57/104.62	c ===============================================================================
104.57/104.62	c |      1739 |   31500   257628   593609 |    85876      341     47 | 56.423 % |
104.57/104.67	c ===============================================================================
104.57/104.67	c New solution: 210
104.57/104.67	o 210
104.57/104.67	c Elapsed CPU time: 104.45 s	Remaining CPU time: 75.5499 s
104.57/104.67	c ===============================================================================
104.57/104.67	c |      1740 |   31258   257629   593909 |    85876      342     47 | 56.423 % |
104.67/104.73	c ===============================================================================
104.67/104.73	c New solution: 209
104.67/104.73	o 209
104.67/104.73	c Elapsed CPU time: 104.501 s	Remaining CPU time: 75.4989 s
104.67/104.73	c ===============================================================================
104.67/104.73	c |      1743 |   31016   257630   594209 |    85876      345     46 | 56.423 % |
104.67/104.78	c ===============================================================================
104.67/104.78	c New solution: 208
104.67/104.78	o 208
104.67/104.78	c Elapsed CPU time: 104.552 s	Remaining CPU time: 75.4479 s
104.67/104.78	c ===============================================================================
104.67/104.78	c |      1743 |   30774   257631   594509 |    85877      345     46 | 56.423 % |
104.77/104.83	c ===============================================================================
104.77/104.83	c New solution: 207
104.77/104.83	o 207
104.77/104.83	c Elapsed CPU time: 104.603 s	Remaining CPU time: 75.3969 s
104.77/104.83	c ===============================================================================
104.77/104.83	c |      1743 |   30532   257632   594809 |    85877      345     46 | 56.423 % |
104.77/104.87	c ===============================================================================
104.77/104.87	c New solution: 206
104.77/104.87	o 206
104.77/104.87	c Elapsed CPU time: 104.646 s	Remaining CPU time: 75.3539 s
104.77/104.87	c ===============================================================================
104.77/104.87	c |      1745 |   30290   257633   595109 |    85877      347     46 | 56.423 % |
104.87/104.92	c ===============================================================================
104.87/104.92	c New solution: 205
104.87/104.92	o 205
104.87/104.92	c Elapsed CPU time: 104.696 s	Remaining CPU time: 75.3039 s
104.87/104.92	c ===============================================================================
104.87/104.92	c |      1746 |   30048   257634   595409 |    85878      348     46 | 56.423 % |
104.87/104.97	c ===============================================================================
104.87/104.97	c New solution: 204
104.87/104.97	o 204
104.87/104.97	c Elapsed CPU time: 104.738 s	Remaining CPU time: 75.2619 s
104.87/104.97	c ===============================================================================
104.87/104.97	c |      1749 |   29806   257635   595709 |    85878      351     46 | 56.423 % |
104.96/105.02	c ===============================================================================
104.96/105.02	c New solution: 203
104.96/105.02	o 203
104.96/105.02	c Elapsed CPU time: 104.787 s	Remaining CPU time: 75.2129 s
104.96/105.02	c ===============================================================================
104.96/105.02	c |      1749 |   29564   257636   596009 |    85878      351     46 | 56.423 % |
104.96/105.07	c ===============================================================================
104.96/105.07	c New solution: 202
104.96/105.07	o 202
104.96/105.07	c Elapsed CPU time: 104.838 s	Remaining CPU time: 75.1619 s
104.96/105.07	c ===============================================================================
104.96/105.07	c |      1750 |   29322   257637   596309 |    85879      352     46 | 56.423 % |
105.06/105.12	c ===============================================================================
105.06/105.12	c New solution: 201
105.06/105.12	o 201
105.06/105.12	c Elapsed CPU time: 104.89 s	Remaining CPU time: 75.1099 s
105.06/105.12	c ===============================================================================
105.06/105.12	c |      1755 |   29080   257638   596609 |    85879      357     45 | 56.423 % |
105.06/105.16	c ===============================================================================
105.06/105.16	c New solution: 200
105.06/105.16	o 200
105.06/105.16	c Elapsed CPU time: 104.933 s	Remaining CPU time: 75.067 s
105.06/105.16	c ===============================================================================
105.06/105.16	c |      1763 |   28838   257639   596909 |    85879      365     45 | 56.423 % |
105.16/105.22	c ===============================================================================
105.16/105.22	c New solution: 199
105.16/105.22	o 199
105.16/105.22	c Elapsed CPU time: 104.985 s	Remaining CPU time: 75.015 s
105.16/105.22	c ===============================================================================
105.16/105.22	c |      1767 |   28596   257640   597209 |    85880      369     44 | 56.423 % |
105.16/105.27	c |      1869 |   28563   257640   597209 |    94468      471     49 | 61.075 % |
105.26/105.39	c |      2019 |   28553   257640   597209 |   103914      621     53 | 61.075 % |
105.36/105.43	c ===============================================================================
105.36/105.43	c New solution: 198
105.36/105.43	o 198
105.36/105.43	c Elapsed CPU time: 105.201 s	Remaining CPU time: 74.799 s
105.36/105.43	c ===============================================================================
105.36/105.43	c |      2020 |   28354   257641   597509 |    85880      622     53 | 61.075 % |
105.36/105.48	c ===============================================================================
105.36/105.48	c New solution: 197
105.36/105.48	o 197
105.36/105.48	c Elapsed CPU time: 105.245 s	Remaining CPU time: 74.755 s
105.36/105.48	c ===============================================================================
105.36/105.48	c |      2025 |   28112   257642   597809 |    85880      263     43 | 61.075 % |
105.46/105.52	c ===============================================================================
105.46/105.52	c New solution: 196
105.46/105.52	o 196
105.46/105.52	c Elapsed CPU time: 105.287 s	Remaining CPU time: 74.713 s
105.46/105.52	c ===============================================================================
105.46/105.52	c |      2031 |   27870   257643   598109 |    85881      269     43 | 61.075 % |
105.46/105.57	c ===============================================================================
105.46/105.57	c New solution: 195
105.46/105.57	o 195
105.46/105.57	c Elapsed CPU time: 105.337 s	Remaining CPU time: 74.663 s
105.46/105.57	c ===============================================================================
105.46/105.57	c |      2036 |   27628   257644   598409 |    85881      274     42 | 61.075 % |
105.57/105.62	c ===============================================================================
105.57/105.62	c New solution: 194
105.57/105.62	o 194
105.57/105.62	c Elapsed CPU time: 105.388 s	Remaining CPU time: 74.612 s
105.57/105.62	c ===============================================================================
105.57/105.62	c |      2079 |   27386   257645   598709 |    85881      317     44 | 61.075 % |
105.57/105.67	c ===============================================================================
105.57/105.67	c New solution: 193
105.57/105.67	o 193
105.57/105.67	c Elapsed CPU time: 105.435 s	Remaining CPU time: 74.565 s
105.57/105.67	c ===============================================================================
105.57/105.67	c |      2084 |   27144   257646   599009 |    85882      322     44 | 61.075 % |
105.67/105.72	c ===============================================================================
105.67/105.72	c New solution: 192
105.67/105.72	o 192
105.67/105.72	c Elapsed CPU time: 105.484 s	Remaining CPU time: 74.516 s
105.67/105.72	c ===============================================================================
105.67/105.72	c |      2087 |   26902   257647   599309 |    85882      325     43 | 61.075 % |
105.67/105.77	c ===============================================================================
105.67/105.77	c New solution: 191
105.67/105.77	o 191
105.67/105.77	c Elapsed CPU time: 105.532 s	Remaining CPU time: 74.468 s
105.67/105.77	c ===============================================================================
105.67/105.77	c |      2089 |   26660   257648   599609 |    85882      327     43 | 61.075 % |
105.76/105.81	c ===============================================================================
105.76/105.81	c New solution: 190
105.76/105.81	o 190
105.76/105.81	c Elapsed CPU time: 105.577 s	Remaining CPU time: 74.4231 s
105.76/105.81	c ===============================================================================
105.76/105.81	c |      2090 |   26418   257649   599909 |    85883      328     43 | 61.075 % |
105.76/105.86	c ===============================================================================
105.76/105.86	c New solution: 189
105.76/105.86	o 189
105.76/105.86	c Elapsed CPU time: 105.626 s	Remaining CPU time: 74.3741 s
105.76/105.86	c ===============================================================================
105.76/105.86	c |      2093 |   26176   257650   600209 |    85883      331     43 | 61.075 % |
105.86/105.91	c ===============================================================================
105.86/105.91	c New solution: 188
105.86/105.91	o 188
105.86/105.91	c Elapsed CPU time: 105.673 s	Remaining CPU time: 74.3271 s
105.86/105.91	c ===============================================================================
105.86/105.91	c |      2096 |   25934   257651   600509 |    85883      334     43 | 61.075 % |
105.86/105.96	c ===============================================================================
105.86/105.96	c New solution: 187
105.86/105.96	o 187
105.86/105.96	c Elapsed CPU time: 105.721 s	Remaining CPU time: 74.2791 s
105.86/105.96	c ===============================================================================
105.86/105.96	c |      2102 |   25692   257652   600809 |    85884      340     42 | 61.075 % |
105.96/106.01	c ===============================================================================
105.96/106.01	c New solution: 186
105.96/106.01	o 186
105.96/106.01	c Elapsed CPU time: 105.775 s	Remaining CPU time: 74.2251 s
105.96/106.01	c ===============================================================================
105.96/106.01	c |      2117 |   25450   257653   601109 |    85884      355     42 | 61.075 % |
105.96/106.07	c ===============================================================================
105.96/106.07	c New solution: 185
105.96/106.07	o 185
105.96/106.07	c Elapsed CPU time: 105.831 s	Remaining CPU time: 74.1691 s
105.96/106.07	c ===============================================================================
105.96/106.07	c |      2144 |   25208   257654   601409 |    85884      382     43 | 61.075 % |
106.06/106.11	c ===============================================================================
106.06/106.11	c New solution: 184
106.06/106.11	o 184
106.06/106.11	c Elapsed CPU time: 105.876 s	Remaining CPU time: 74.1241 s
106.06/106.11	c ===============================================================================
106.06/106.11	c |      2144 |   24966   257655   601709 |    85885      382     43 | 61.075 % |
106.06/106.16	c ===============================================================================
106.06/106.16	c New solution: 183
106.06/106.16	o 183
106.06/106.16	c Elapsed CPU time: 105.921 s	Remaining CPU time: 74.0791 s
106.06/106.16	c ===============================================================================
106.06/106.16	c |      2144 |   24724   257656   602009 |    85885      382     43 | 61.075 % |
106.16/106.20	c ===============================================================================
106.16/106.20	c New solution: 182
106.16/106.20	o 182
106.16/106.20	c Elapsed CPU time: 105.967 s	Remaining CPU time: 74.0331 s
106.16/106.21	c ===============================================================================
106.16/106.21	c |      2144 |   24482   257657   602309 |    85885      382     43 | 61.075 % |
106.16/106.25	c ===============================================================================
106.16/106.25	c New solution: 181
106.16/106.25	o 181
106.16/106.25	c Elapsed CPU time: 106.012 s	Remaining CPU time: 73.9881 s
106.16/106.25	c ===============================================================================
106.16/106.25	c |      2145 |   24240   257658   602609 |    85886      383     43 | 61.075 % |
106.26/106.30	c ===============================================================================
106.26/106.30	c New solution: 180
106.26/106.30	o 180
106.26/106.30	c Elapsed CPU time: 106.059 s	Remaining CPU time: 73.9411 s
106.26/106.30	c ===============================================================================
106.26/106.30	c |      2149 |   23998   257659   602909 |    85886      387     43 | 61.075 % |
106.26/106.34	c ===============================================================================
106.26/106.34	c New solution: 179
106.26/106.34	o 179
106.26/106.34	c Elapsed CPU time: 106.104 s	Remaining CPU time: 73.8961 s
106.26/106.34	c ===============================================================================
106.26/106.34	c |      2150 |   23756   257660   603209 |    85886      388     42 | 61.075 % |
106.26/106.38	c ===============================================================================
106.26/106.38	c New solution: 178
106.26/106.38	o 178
106.26/106.38	c Elapsed CPU time: 106.141 s	Remaining CPU time: 73.8591 s
106.26/106.38	c ===============================================================================
106.26/106.38	c |      2150 |   23514   257661   603509 |    85887      388     42 | 61.075 % |
106.36/106.42	c ===============================================================================
106.36/106.42	c New solution: 177
106.36/106.42	o 177
106.36/106.42	c Elapsed CPU time: 106.185 s	Remaining CPU time: 73.8151 s
106.36/106.42	c ===============================================================================
106.36/106.42	c |      2152 |   23272   257662   603809 |    85887      390     42 | 61.075 % |
106.36/106.47	c ===============================================================================
106.36/106.47	c New solution: 176
106.36/106.47	o 176
106.36/106.47	c Elapsed CPU time: 106.229 s	Remaining CPU time: 73.7712 s
106.36/106.47	c ===============================================================================
106.36/106.47	c |      2153 |   23030   257663   604109 |    85887      391     42 | 61.075 % |
106.46/106.51	c ===============================================================================
106.46/106.51	c New solution: 175
106.46/106.51	o 175
106.46/106.51	c Elapsed CPU time: 106.274 s	Remaining CPU time: 73.7262 s
106.46/106.51	c ===============================================================================
106.46/106.51	c |      2158 |   22788   257664   604409 |    85888      141     36 | 61.075 % |
106.46/106.56	c ===============================================================================
106.46/106.56	c New solution: 174
106.46/106.56	o 174
106.46/106.56	c Elapsed CPU time: 106.319 s	Remaining CPU time: 73.6812 s
106.46/106.56	c ===============================================================================
106.46/106.56	c |      2163 |   22546   257665   604709 |    85888      146     35 | 61.075 % |
106.56/106.61	c ===============================================================================
106.56/106.61	c New solution: 173
106.56/106.61	o 173
106.56/106.61	c Elapsed CPU time: 106.365 s	Remaining CPU time: 73.6352 s
106.56/106.61	c ===============================================================================
106.56/106.61	c |      2168 |   22304   257666   605009 |    85888      151     35 | 61.075 % |
106.56/106.65	c ===============================================================================
106.56/106.65	c New solution: 172
106.56/106.65	o 172
106.56/106.65	c Elapsed CPU time: 106.411 s	Remaining CPU time: 73.5892 s
106.56/106.65	c ===============================================================================
106.56/106.65	c |      2171 |   22062   257667   605309 |    85889      154     35 | 61.075 % |
106.56/106.69	c ===============================================================================
106.56/106.69	c New solution: 171
106.56/106.69	o 171
106.56/106.69	c Elapsed CPU time: 106.449 s	Remaining CPU time: 73.5512 s
106.56/106.69	c ===============================================================================
106.56/106.69	c |      2174 |   21820   257668   605609 |    85889      157     35 | 61.075 % |
106.67/106.73	c |      2276 |   21794   257668   605609 |    94478      259     46 | 70.377 % |
106.77/106.88	c |      2426 |   21785   257668   605609 |   103926      409     50 | 70.377 % |
106.87/106.92	c ===============================================================================
106.87/106.92	c New solution: 170
106.87/106.92	o 170
106.87/106.92	c Elapsed CPU time: 106.675 s	Remaining CPU time: 73.3252 s
106.87/106.92	c ===============================================================================
106.87/106.92	c |      2428 |   21578   257669   605909 |    85889      411     50 | 70.377 % |
106.87/106.96	c ===============================================================================
106.87/106.96	c New solution: 169
106.87/106.96	o 169
106.87/106.96	c Elapsed CPU time: 106.718 s	Remaining CPU time: 73.2822 s
106.87/106.96	c ===============================================================================
106.87/106.96	c |      2428 |   21336   257670   606209 |    85890      411     50 | 70.377 % |
106.97/107.01	c ===============================================================================
106.97/107.01	c New solution: 168
106.97/107.01	o 168
106.97/107.01	c Elapsed CPU time: 106.761 s	Remaining CPU time: 73.2392 s
106.97/107.01	c ===============================================================================
106.97/107.01	c |      2428 |   21094   257671   606509 |    85890      411     50 | 70.377 % |
106.97/107.05	c ===============================================================================
106.97/107.05	c New solution: 167
106.97/107.05	o 167
106.97/107.05	c Elapsed CPU time: 106.804 s	Remaining CPU time: 73.1962 s
106.97/107.05	c ===============================================================================
106.97/107.05	c |      2429 |   20852   257672   606809 |    85890      412     50 | 70.377 % |
106.97/107.09	c ===============================================================================
106.97/107.09	c New solution: 166
106.97/107.09	o 166
106.97/107.09	c Elapsed CPU time: 106.847 s	Remaining CPU time: 73.1532 s
106.97/107.09	c ===============================================================================
106.97/107.09	c |      2429 |   20610   257673   607109 |    85891      412     50 | 70.377 % |
107.07/107.13	c ===============================================================================
107.07/107.13	c New solution: 165
107.07/107.13	o 165
107.07/107.13	c Elapsed CPU time: 106.887 s	Remaining CPU time: 73.1132 s
107.07/107.13	c ===============================================================================
107.07/107.13	c |      2432 |   20368   257674   607409 |    85891      415     50 | 70.377 % |
107.07/107.17	c ===============================================================================
107.07/107.17	c New solution: 164
107.07/107.17	o 164
107.07/107.17	c Elapsed CPU time: 106.928 s	Remaining CPU time: 73.0723 s
107.07/107.17	c ===============================================================================
107.07/107.17	c |      2433 |   20126   257675   607709 |    85891      416     50 | 70.377 % |
107.16/107.22	c ===============================================================================
107.16/107.22	c New solution: 163
107.16/107.22	o 163
107.16/107.22	c Elapsed CPU time: 106.968 s	Remaining CPU time: 73.0323 s
107.16/107.22	c ===============================================================================
107.16/107.22	c |      2436 |   19884   257676   608009 |    85892      419     50 | 70.377 % |
107.16/107.26	c ===============================================================================
107.16/107.26	c New solution: 162
107.16/107.26	o 162
107.16/107.26	c Elapsed CPU time: 107.012 s	Remaining CPU time: 72.9883 s
107.16/107.26	c ===============================================================================
107.16/107.26	c |      2439 |   19642   257677   608309 |    85892      422     49 | 70.377 % |
107.26/107.30	c ===============================================================================
107.26/107.30	c New solution: 161
107.26/107.30	o 161
107.26/107.30	c Elapsed CPU time: 107.049 s	Remaining CPU time: 72.9513 s
107.26/107.30	c ===============================================================================
107.26/107.30	c |      2443 |   19400   257678   608609 |    85892      426     49 | 70.377 % |
107.26/107.33	c ===============================================================================
107.26/107.33	c New solution: 160
107.26/107.33	o 160
107.26/107.33	c Elapsed CPU time: 107.085 s	Remaining CPU time: 72.9153 s
107.26/107.33	c ===============================================================================
107.26/107.33	c |      2447 |   19158   257679   608909 |    85893      430     49 | 70.377 % |
107.26/107.37	c ===============================================================================
107.26/107.37	c New solution: 159
107.26/107.37	o 159
107.26/107.37	c Elapsed CPU time: 107.124 s	Remaining CPU time: 72.8763 s
107.26/107.37	c ===============================================================================
107.26/107.37	c |      2448 |   18916   257680   609209 |    85893      431     49 | 70.377 % |
107.36/107.42	c ===============================================================================
107.36/107.42	c New solution: 158
107.36/107.42	o 158
107.36/107.42	c Elapsed CPU time: 107.164 s	Remaining CPU time: 72.8363 s
107.36/107.42	c ===============================================================================
107.36/107.42	c |      2452 |   18674   257681   609509 |    85893      435     49 | 70.377 % |
107.36/107.46	c ===============================================================================
107.36/107.46	c New solution: 157
107.36/107.46	o 157
107.36/107.46	c Elapsed CPU time: 107.205 s	Remaining CPU time: 72.7953 s
107.36/107.46	c ===============================================================================
107.36/107.46	c |      2454 |   18432   257682   609809 |    85894      437     49 | 70.377 % |
107.46/107.50	c ===============================================================================
107.46/107.50	c New solution: 156
107.46/107.50	o 156
107.46/107.50	c Elapsed CPU time: 107.245 s	Remaining CPU time: 72.7553 s
107.46/107.50	c ===============================================================================
107.46/107.50	c |      2467 |   18190   257683   610109 |    85894      450     48 | 70.377 % |
107.46/107.54	c ===============================================================================
107.46/107.54	c New solution: 155
107.46/107.54	o 155
107.46/107.54	c Elapsed CPU time: 107.283 s	Remaining CPU time: 72.7173 s
107.46/107.54	c ===============================================================================
107.46/107.54	c |      2475 |   17948   257684   610409 |    85894      458     48 | 70.377 % |
107.46/107.58	c ===============================================================================
107.46/107.58	c New solution: 154
107.46/107.58	o 154
107.46/107.58	c Elapsed CPU time: 107.333 s	Remaining CPU time: 72.6673 s
107.46/107.58	c ===============================================================================
107.46/107.58	c |      2495 |   17706   257685   610709 |    85895      478     47 | 70.377 % |
107.56/107.63	c ===============================================================================
107.56/107.63	c New solution: 153
107.56/107.63	o 153
107.56/107.63	c Elapsed CPU time: 107.373 s	Remaining CPU time: 72.6273 s
107.56/107.63	c ===============================================================================
107.56/107.63	c |      2496 |   17464   257686   611009 |    85895      479     47 | 70.377 % |
107.56/107.66	c ===============================================================================
107.56/107.66	c New solution: 152
107.56/107.66	o 152
107.56/107.66	c Elapsed CPU time: 107.408 s	Remaining CPU time: 72.5923 s
107.56/107.66	c ===============================================================================
107.56/107.66	c |      2501 |   17222   257687   611309 |    85895      151     35 | 70.377 % |
107.66/107.70	c ===============================================================================
107.66/107.70	c New solution: 151
107.66/107.70	o 151
107.66/107.70	c Elapsed CPU time: 107.447 s	Remaining CPU time: 72.5533 s
107.66/107.70	c ===============================================================================
107.66/107.70	c |      2501 |   16980   257688   611609 |    85896      151     35 | 70.377 % |
107.66/107.74	c ===============================================================================
107.66/107.74	c New solution: 150
107.66/107.74	o 150
107.66/107.74	c Elapsed CPU time: 107.488 s	Remaining CPU time: 72.5123 s
107.66/107.74	c ===============================================================================
107.66/107.74	c |      2506 |   16738   257689   611909 |    85896      156     35 | 70.377 % |
107.66/107.78	c ===============================================================================
107.66/107.78	c New solution: 149
107.66/107.78	o 149
107.66/107.78	c Elapsed CPU time: 107.523 s	Remaining CPU time: 72.4773 s
107.66/107.78	c ===============================================================================
107.66/107.78	c |      2510 |   16496   257690   612209 |    85896      160     35 | 70.377 % |
107.77/107.81	c ===============================================================================
107.77/107.81	c New solution: 148
107.77/107.81	o 148
107.77/107.81	c Elapsed CPU time: 107.555 s	Remaining CPU time: 72.4454 s
107.77/107.81	c ===============================================================================
107.77/107.81	c |      2511 |   16254   257691   612509 |    85897      161     35 | 70.377 % |
107.77/107.85	c ===============================================================================
107.77/107.85	c New solution: 147
107.77/107.85	o 147
107.77/107.85	c Elapsed CPU time: 107.589 s	Remaining CPU time: 72.4114 s
107.77/107.85	c ===============================================================================
107.77/107.85	c |      2515 |   16012   257692   612809 |    85897      165     35 | 70.377 % |
107.77/107.88	c ===============================================================================
107.77/107.88	c New solution: 146
107.77/107.88	o 146
107.77/107.88	c Elapsed CPU time: 107.623 s	Remaining CPU time: 72.3774 s
107.77/107.88	c ===============================================================================
107.77/107.88	c |      2519 |   15770   257693   613109 |    85897      169     34 | 70.377 % |
107.87/107.92	c ===============================================================================
107.87/107.92	c New solution: 145
107.87/107.92	o 145
107.87/107.92	c Elapsed CPU time: 107.661 s	Remaining CPU time: 72.3394 s
107.87/107.92	c ===============================================================================
107.87/107.92	c |      2519 |   15528   257694   613409 |    85898      169     34 | 70.377 % |
107.87/107.96	c ===============================================================================
107.87/107.96	c New solution: 144
107.87/107.96	o 144
107.87/107.96	c Elapsed CPU time: 107.699 s	Remaining CPU time: 72.3014 s
107.87/107.96	c ===============================================================================
107.87/107.96	c |      2519 |   15286   257695   613709 |    85898      169     34 | 70.377 % |
107.96/108.00	c ===============================================================================
107.96/108.00	c New solution: 143
107.96/108.00	o 143
107.96/108.00	c Elapsed CPU time: 107.737 s	Remaining CPU time: 72.2634 s
107.96/108.00	c ===============================================================================
107.96/108.00	c |      2519 |   15044   257696   614009 |    85898      169     34 | 70.377 % |
107.96/108.03	c ===============================================================================
107.96/108.03	c New solution: 142
107.96/108.03	o 142
107.96/108.03	c Elapsed CPU time: 107.769 s	Remaining CPU time: 72.2314 s
107.96/108.03	c ===============================================================================
107.96/108.03	c |      2522 |   14802   257697   614309 |    85899      172     35 | 70.377 % |
107.96/108.07	c ===============================================================================
107.96/108.07	c New solution: 141
107.96/108.07	o 141
107.96/108.07	c Elapsed CPU time: 107.806 s	Remaining CPU time: 72.1944 s
107.96/108.07	c ===============================================================================
107.96/108.07	c |      2530 |   14560   257698   614609 |    85899      180     34 | 70.377 % |
108.06/108.11	c ===============================================================================
108.06/108.11	c New solution: 140
108.06/108.11	o 140
108.06/108.11	c Elapsed CPU time: 107.85 s	Remaining CPU time: 72.1504 s
108.06/108.11	c ===============================================================================
108.06/108.11	c |      2544 |   14318   257699   614909 |    85899      194     36 | 70.377 % |
108.06/108.15	c ===============================================================================
108.06/108.15	c New solution: 139
108.06/108.15	o 139
108.06/108.15	c Elapsed CPU time: 107.889 s	Remaining CPU time: 72.1114 s
108.06/108.15	c ===============================================================================
108.06/108.15	c |      2562 |   14076   257700   615209 |    85900      212     36 | 70.377 % |
108.06/108.19	c ===============================================================================
108.06/108.19	c New solution: 138
108.06/108.19	o 138
108.06/108.19	c Elapsed CPU time: 107.927 s	Remaining CPU time: 72.0734 s
108.06/108.19	c ===============================================================================
108.06/108.19	c |      2565 |   13834   257701   615509 |    85900      215     36 | 70.377 % |
108.17/108.22	c ===============================================================================
108.17/108.22	c New solution: 137
108.17/108.22	o 137
108.17/108.22	c Elapsed CPU time: 107.959 s	Remaining CPU time: 72.0414 s
108.17/108.22	c ===============================================================================
108.17/108.22	c |      2570 |   13592   257702   615809 |    85900      220     35 | 70.377 % |
108.17/108.26	c ===============================================================================
108.17/108.26	c New solution: 136
108.17/108.26	o 136
108.17/108.26	c Elapsed CPU time: 107.99 s	Remaining CPU time: 72.0104 s
108.17/108.26	c ===============================================================================
108.17/108.26	c |      2571 |   13350   257703   616109 |    85901      221     35 | 70.377 % |
108.17/108.29	c ===============================================================================
108.17/108.29	c New solution: 135
108.17/108.29	o 135
108.17/108.29	c Elapsed CPU time: 108.028 s	Remaining CPU time: 71.9724 s
108.17/108.29	c ===============================================================================
108.17/108.29	c |      2572 |   13108   257704   616409 |    85901      222     35 | 70.377 % |
108.26/108.33	c ===============================================================================
108.26/108.33	c New solution: 134
108.26/108.33	o 134
108.26/108.33	c Elapsed CPU time: 108.063 s	Remaining CPU time: 71.9374 s
108.26/108.33	c ===============================================================================
108.26/108.33	c |      2575 |   12866   257705   616709 |    85901      225     35 | 70.377 % |
108.26/108.37	c ===============================================================================
108.26/108.37	c New solution: 133
108.26/108.37	o 133
108.26/108.37	c Elapsed CPU time: 108.098 s	Remaining CPU time: 71.9024 s
108.26/108.37	c ===============================================================================
108.26/108.37	c |      2579 |   12624   257706   617009 |    85902      229     35 | 70.377 % |
108.36/108.40	c ===============================================================================
108.36/108.40	c New solution: 132
108.36/108.40	o 132
108.36/108.40	c Elapsed CPU time: 108.13 s	Remaining CPU time: 71.8704 s
108.36/108.40	c ===============================================================================
108.36/108.40	c |      2582 |   12382   257707   617309 |    85902      232     34 | 70.377 % |
108.36/108.43	c ===============================================================================
108.36/108.43	c New solution: 131
108.36/108.43	o 131
108.36/108.43	c Elapsed CPU time: 108.162 s	Remaining CPU time: 71.8384 s
108.36/108.43	c ===============================================================================
108.36/108.43	c |      2585 |   12140   257708   617609 |    85902      235     34 | 70.377 % |
108.36/108.46	c ===============================================================================
108.36/108.46	c New solution: 130
108.36/108.46	o 130
108.36/108.46	c Elapsed CPU time: 108.193 s	Remaining CPU time: 71.8074 s
108.36/108.46	c ===============================================================================
108.36/108.46	c |      2588 |   11898   257709   617909 |    85903      238     34 | 70.377 % |
108.46/108.50	c ===============================================================================
108.46/108.50	c New solution: 129
108.46/108.50	o 129
108.46/108.50	c Elapsed CPU time: 108.231 s	Remaining CPU time: 71.7695 s
108.46/108.50	c ===============================================================================
108.46/108.50	c |      2596 |   11656   257710   618209 |    85903      246     34 | 70.377 % |
108.46/108.54	c ===============================================================================
108.46/108.54	c New solution: 128
108.46/108.54	o 128
108.46/108.54	c Elapsed CPU time: 108.265 s	Remaining CPU time: 71.7355 s
108.46/108.54	c ===============================================================================
108.46/108.54	c |      2597 |   11414   257711   618509 |    85903      247     34 | 70.377 % |
108.46/108.57	c ===============================================================================
108.46/108.57	c New solution: 127
108.46/108.57	o 127
108.46/108.57	c Elapsed CPU time: 108.3 s	Remaining CPU time: 71.7005 s
108.46/108.57	c ===============================================================================
108.46/108.57	c |      2599 |   11172   257712   618809 |    85904      249     33 | 70.377 % |
108.56/108.60	c ===============================================================================
108.56/108.60	c New solution: 126
108.56/108.60	o 126
108.56/108.60	c Elapsed CPU time: 108.332 s	Remaining CPU time: 71.6685 s
108.56/108.60	c ===============================================================================
108.56/108.60	c |      2605 |   10930   257713   619109 |    85904      255     33 | 70.377 % |
108.56/108.64	c ===============================================================================
108.56/108.64	c New solution: 125
108.56/108.64	o 125
108.56/108.64	c Elapsed CPU time: 108.367 s	Remaining CPU time: 71.6335 s
108.56/108.64	c ===============================================================================
108.56/108.64	c |      2610 |   10688   257714   619409 |    85904      260     33 | 70.377 % |
108.56/108.67	c ===============================================================================
108.56/108.67	c New solution: 124
108.56/108.67	o 124
108.56/108.67	c Elapsed CPU time: 108.401 s	Remaining CPU time: 71.5995 s
108.56/108.67	c ===============================================================================
108.56/108.67	c |      2628 |   10446   257715   619709 |    85905      278     33 | 70.377 % |
108.66/108.74	c |      2731 |   10441   257715   619709 |    94495      381     37 | 85.992 % |
108.66/108.77	c ===============================================================================
108.66/108.77	c New solution: 123
108.66/108.77	o 123
108.66/108.77	c Elapsed CPU time: 108.498 s	Remaining CPU time: 71.5025 s
108.66/108.77	c ===============================================================================
108.66/108.77	c |      2734 |   10204   257716   620009 |    85905      384     37 | 85.992 % |
108.76/108.81	c ===============================================================================
108.76/108.81	c New solution: 122
108.76/108.81	o 122
108.76/108.81	c Elapsed CPU time: 108.531 s	Remaining CPU time: 71.4695 s
108.76/108.81	c ===============================================================================
108.76/108.81	c |      2736 |    9962   257717   620309 |    85905      386     37 | 85.992 % |
108.76/108.84	c ===============================================================================
108.76/108.84	c New solution: 121
108.76/108.84	o 121
108.76/108.84	c Elapsed CPU time: 108.563 s	Remaining CPU time: 71.4365 s
108.76/108.84	c ===============================================================================
108.76/108.84	c |      2753 |    9720   257718   620609 |    85906      403     36 | 85.992 % |
108.76/108.87	c ===============================================================================
108.76/108.87	c New solution: 120
108.76/108.87	o 120
108.76/108.87	c Elapsed CPU time: 108.595 s	Remaining CPU time: 71.4045 s
108.76/108.87	c ===============================================================================
108.76/108.87	c |      2763 |    9478   257719   620909 |    85906      413     36 | 85.992 % |
108.87/108.90	c ===============================================================================
108.87/108.90	c New solution: 119
108.87/108.90	o 119
108.87/108.90	c Elapsed CPU time: 108.625 s	Remaining CPU time: 71.3745 s
108.87/108.90	c ===============================================================================
108.87/108.90	c |      2768 |    9236   257720   621209 |    85906      418     36 | 85.992 % |
108.87/108.93	c ===============================================================================
108.87/108.93	c New solution: 118
108.87/108.93	o 118
108.87/108.93	c Elapsed CPU time: 108.657 s	Remaining CPU time: 71.3425 s
108.87/108.93	c ===============================================================================
108.87/108.93	c |      2777 |    8994   257721   621509 |    85907      427     36 | 85.992 % |
108.87/108.98	c |      2878 |    8977   257721   621509 |    94497      528     43 | 87.985 % |
109.06/109.19	c |      3029 |    8968   257721   621509 |   103947      679     48 | 87.985 % |
109.16/109.24	c ===============================================================================
109.16/109.24	c New solution: 117
109.16/109.24	o 117
109.16/109.24	c Elapsed CPU time: 108.962 s	Remaining CPU time: 71.0376 s
109.16/109.24	c ===============================================================================
109.16/109.24	c |      3103 |    8752   257722   621809 |    85907      495     53 | 87.985 % |
109.16/109.29	c |      3203 |    8727   257722   621809 |    94498      595     55 | 88.317 % |
109.36/109.46	c |      3353 |    8722   257722   621809 |   103947      745     56 | 88.317 % |
109.46/109.54	c |      3578 |    8713   257722   621809 |   114342      970     53 | 88.317 % |
109.76/109.89	c |      3915 |    8711   257722   621809 |   125776     1307     56 | 88.317 % |
109.97/110.07	c |      4421 |    8704   257722   621809 |   138354     1813     56 | 88.317 % |
110.86/110.99	c |      5181 |    8695   257722   621809 |   152190     2573     64 | 88.317 % |
110.96/111.05	c ===============================================================================
110.96/111.05	c New solution: 116
110.96/111.05	o 116
110.96/111.05	c Elapsed CPU time: 110.76 s	Remaining CPU time: 69.2398 s
110.96/111.05	c ===============================================================================
110.96/111.05	c |      5204 |    8510   257723   622109 |    85907     2556     64 | 88.317 % |
110.96/111.08	c ===============================================================================
110.96/111.08	c New solution: 115
110.96/111.08	o 115
110.96/111.08	c Elapsed CPU time: 110.793 s	Remaining CPU time: 69.2068 s
110.96/111.08	c ===============================================================================
110.96/111.08	c |      5219 |    8268   257724   622409 |    85908     2571     64 | 88.317 % |
111.07/111.14	c |      5320 |    8258   257724   622409 |    94498     2672     65 | 88.982 % |
111.26/111.31	c |      5472 |    8247   257724   622409 |   103948     2824     64 | 88.982 % |
111.36/111.40	c |      5697 |    8231   257724   622409 |   114343     3049     63 | 88.982 % |
111.66/111.71	c |      6034 |    8226   257724   622409 |   125777     3386     64 | 88.982 % |
111.76/111.80	c ===============================================================================
111.76/111.80	c New solution: 114
111.76/111.80	o 114
111.76/111.80	c Elapsed CPU time: 111.505 s	Remaining CPU time: 68.495 s
111.76/111.80	c ===============================================================================
111.76/111.80	c |      6109 |    8026   257725   622709 |    85908     3461     64 | 88.982 % |
111.76/111.87	c |      6209 |    7986   257725   622709 |    94499     3561     64 | 89.314 % |
111.96/112.06	c |      6361 |    7981   257725   622709 |   103949     3713     64 | 89.314 % |
112.06/112.13	c |      6586 |    7969   257725   622709 |   114343     3938     63 | 89.314 % |
112.26/112.37	c |      6923 |    7965   257725   622709 |   125778     4275     64 | 89.314 % |
112.66/112.77	c |      7429 |    7955   257725   622709 |   138356     4781     63 | 89.314 % |
113.56/113.63	c |      8188 |    7784   257725   622709 |   152191     4132     58 | 89.314 % |
113.96/114.02	c |      9328 |    7784   257725   622709 |   167411     5272     56 | 89.314 % |
116.16/116.22	c |     11039 |    7784   257725   622709 |   184152     6983     62 | 89.314 % |
117.06/117.16	c |     13602 |    7784   257725   622709 |   202567     9546     58 | 89.314 % |
123.46/123.55	c |     17446 |    7784   257725   622709 |   222824    13390     68 | 89.314 % |
131.97/132.04	c |     23213 |    7784   257725   622709 |   245106    19157     76 | 89.314 % |
131.97/132.09	c ===============================================================================
131.97/132.09	c New solution: 113
131.97/132.09	o 113
131.97/132.09	c Elapsed CPU time: 131.733 s	Remaining CPU time: 48.267 s
131.97/132.09	c ===============================================================================
131.97/132.09	c |     23230 |    7784   257726   623009 |    85908    19174     76 | 89.314 % |
132.16/132.20	c |     23331 |    7542   257726   623009 |    94499    13331     67 | 89.646 % |
132.16/132.27	c ===============================================================================
132.16/132.27	c New solution: 112
132.16/132.27	o 112
132.16/132.27	c Elapsed CPU time: 131.916 s	Remaining CPU time: 48.0841 s
132.16/132.27	c ===============================================================================
132.16/132.27	c |     23372 |    7542   257727   623309 |    85909    13372     67 | 89.646 % |
132.26/132.33	c |     23473 |    7520   257727   623309 |    94499    13473     67 | 89.978 % |
132.26/132.39	c ===============================================================================
132.26/132.39	c New solution: 111
132.26/132.39	o 111
132.26/132.39	c Elapsed CPU time: 132.038 s	Remaining CPU time: 47.9621 s
132.26/132.39	c ===============================================================================
132.26/132.39	c |     23530 |    7300   257728   623609 |    85909    13530     66 | 89.978 % |
132.46/132.53	c |     23630 |    7288   257728   623609 |    94500    13630     66 | 90.311 % |
132.56/132.69	c |     23780 |    7274   257728   623609 |   103950    13780     66 | 90.311 % |
132.66/132.78	c |     24005 |    7264   257728   623609 |   114345    14005     66 | 90.311 % |
133.06/133.13	c |     24342 |    7259   257728   623609 |   125779    14342     66 | 90.311 % |
133.26/133.34	c |     24848 |    7256   257728   623609 |   138357    14848     65 | 90.311 % |
134.26/134.36	c |     25607 |    7248   257728   623609 |   152193    15607     66 | 90.311 % |
135.66/135.71	c |     26747 |    7241   257728   623609 |   167412    16747     66 | 90.311 % |
136.36/136.47	c |     28455 |    7232   257728   623609 |   184154    18455     66 | 90.311 % |
140.16/140.22	c |     31018 |    7058   257728   623609 |   202569    15057     62 | 90.311 % |
142.16/142.25	c |     34867 |    7058   257728   623609 |   222826    18906     62 | 90.311 % |
151.16/151.22	c |     40634 |    7058   257728   623609 |   245109    24673     70 | 90.311 % |
156.75/156.86	c |     49284 |    7058   257728   623609 |   269620    33323     71 | 90.311 % |
157.55/157.62	c ===============================================================================
157.55/157.62	c New solution: 110
157.55/157.62	o 110
157.55/157.62	c Elapsed CPU time: 157.174 s	Remaining CPU time: 22.8259 s
157.55/157.62	c ===============================================================================
157.55/157.62	c |     50559 |    7058   257729   623909 |    85909    34598     70 | 90.311 % |
157.75/157.86	c |     50659 |    6816   257729   623909 |    94500    28515     65 | 90.643 % |
157.85/157.94	c |     50809 |    6816   257729   623909 |   103950    28665     65 | 90.643 % |
158.15/158.23	c |     51034 |    6816   257729   623909 |   114345    28890     65 | 90.643 % |
158.55/158.61	c |     51371 |    6816   257729   623909 |   125780    29227     65 | 90.643 % |
158.85/158.96	c |     51877 |    6816   257729   623909 |   138358    29733     64 | 90.643 % |
160.25/160.32	c |     52637 |    6816   257729   623909 |   152194    30493     65 | 90.643 % |
161.05/161.18	c |     53777 |    6816   257729   623909 |   167413    31633     65 | 90.643 % |
163.65/163.76	c |     55485 |    6816   257729   623909 |   184155    33341     66 | 90.643 % |
165.94/166.09	c |     58047 |    6816   257729   623909 |   202570    35903     69 | 90.643 % |
172.75/172.83	c |     61893 |    6816   257729   623909 |   222827    39749     72 | 90.643 % |
177.24/177.33	c |     67661 |    6816   257729   623909 |   245110    45517     73 | 90.643 % |
180.45/180.52	c There are 66026 assigned variables. 286 in cost function.
180.84/180.91	c core #1
180.84/180.91	c 
180.84/180.91	c 
180.84/180.91	c Core size: 27	Core Weight: 96	Total Weight: 96
180.84/180.91	c
180.84/180.91	c
180.84/180.91	c ============================[ Search Statistics ]==============================
180.84/180.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.84/180.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.84/180.91	c ===============================================================================
180.84/180.91	c |         0 |    3670    84680    53613 |    28226        0    nan |  0.000 % |
180.84/180.94	c |       100 |    3670    84680    53613 |    31049      100     35 | 94.963 % |
180.84/180.98	c |       250 |    3670    84680    53613 |    34154      250     44 | 94.963 % |
180.94/181.06	c |       476 |    3670    84680    53613 |    37569      476     42 | 94.963 % |
181.04/181.18	c |       813 |    3670    84680    53613 |    41326      813     50 | 94.963 % |
181.24/181.37	c |      1319 |    3670    84680    53613 |    45459     1319     46 | 94.963 % |
181.55/181.68	c |      2081 |    3670    84680    53613 |    50005     2081     50 | 94.963 % |
182.04/182.12	c |      3220 |    3670    84680    53613 |    55005     3220     51 | 94.963 % |
182.85/182.95	c |      4929 |    3670    84680    53613 |    60506     4929     58 | 94.963 % |
184.15/184.25	c |      7492 |    3670    84680    53613 |    66557     7492     57 | 94.963 % |
186.04/186.13	c |     11336 |    3670    84680    53613 |    73212    11336     60 | 94.963 % |
190.35/190.43	c |     17103 |    3670    84680    53613 |    80533    17103     65 | 94.963 % |
197.24/197.39	c |     25753 |    3670    84680    53613 |    88587    25753     69 | 94.963 % |
209.73/209.84	c |     38728 |    3670    84680    53613 |    97446    38728     68 | 94.963 % |
236.93/237.06	c |     58190 |    3670    84680    53613 |   107190    58190     72 | 94.963 % |
288.61/288.71	c |     87383 |    3670    84680    53613 |   117909    87383     74 | 94.963 % |
378.99/379.14	c |    131172 |    3649    84680    53613 |   129700   128989     79 | 94.991 % |
587.33/587.57	c |    196856 |    3556    84680    53613 |   142670   119720     70 | 95.127 % |
825.36/825.65	c ===============================================================================
825.77/826.03	c core #2
825.77/826.03	c 
825.77/826.03	c 
825.77/826.03	c Core size: 708	Core Weight: 1	Total Weight: 97
825.77/826.03	c
825.77/826.03	c
825.77/826.03	c ============================[ Search Statistics ]==============================
825.77/826.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
825.77/826.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
825.77/826.03	c ===============================================================================
825.77/826.03	c |         0 |    3939    84727    55183 |    28242        0    nan |  0.000 % |
825.77/826.07	c |       100 |    3939    84727    55183 |    31066      100     38 | 94.594 % |
825.87/826.12	c |       251 |    3939    84727    55183 |    34173      251     40 | 94.594 % |
825.87/826.19	c |       476 |    3939    84727    55183 |    37590      476     48 | 94.594 % |
825.97/826.28	c |       813 |    3939    84727    55183 |    41349      813     44 | 94.594 % |
826.16/826.45	c |      1319 |    3939    84727    55183 |    45484     1319     53 | 94.594 % |
826.47/826.72	c |      2078 |    3939    84727    55183 |    50033     2078     52 | 94.594 % |
826.87/827.18	c |      3217 |    3939    84727    55183 |    55036     3217     60 | 94.594 % |
827.46/827.72	c |      4926 |    3939    84727    55183 |    60539     4926     63 | 94.594 % |
828.47/828.78	c |      7490 |    3939    84727    55183 |    66593     7490     61 | 94.594 % |
830.37/830.69	c |     11334 |    3939    84727    55183 |    73253    11334     63 | 94.594 % |
833.56/833.87	c |     17100 |    3939    84727    55183 |    80578    17100     67 | 94.594 % |
839.46/839.74	c |     25751 |    3939    84727    55183 |    88636    25751     64 | 94.594 % |
851.95/852.27	c |     38725 |    3939    84727    55183 |    97500    38725     70 | 94.594 % |
876.26/876.50	c |     58186 |    3939    84727    55183 |   107250    58186     73 | 94.594 % |
923.23/923.50	c |     87379 |    3939    84727    55183 |   117975    87379     76 | 94.594 % |
1010.32/1010.67	c |    131168 |    3939    84727    55183 |   129772   131168     75 | 94.594 % |
1188.96/1189.35	c |    196852 |    3939    84727    55183 |   142750   196852     79 | 94.594 % |
1388.62/1389.06	c |    295378 |    3939    84727    55183 |   157025    99643     93 | 94.594 % |
1775.31/1775.83	c |    443167 |    3939    84727    55183 |   172727    36886     87 | 94.594 % |

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

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


[startup+0 s]
/proc/loadavg: 1.03 1.03 1.00 3/106 22652
/proc/meminfo: memFree=1845644/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=11272 CPUtime=0
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 13184120 11542528 262 1992294400 134512640 135752675 4290052048 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 2818 262 138 303 0 408 0

[startup+0.107627 s]
/proc/loadavg: 1.03 1.03 1.00 3/106 22652
/proc/meminfo: memFree=1845644/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=16188 CPUtime=0.09
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 1609 0 0 0 9 0 0 0 20 0 1 0 13184120 16576512 1527 1992294400 134512640 135752675 4290052048 18446744073709551615 134563052 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 4047 1527 282 303 0 1637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16188

[startup+0.200637 s]
/proc/loadavg: 1.03 1.03 1.00 3/106 22652
/proc/meminfo: memFree=1845644/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=19416 CPUtime=0.19
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 2502 0 0 0 18 1 0 0 20 0 1 0 13184120 19881984 2387 1992294400 134512640 135752675 4290052048 18446744073709551615 135225924 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 4854 2387 419 303 0 2444 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19416

[startup+0.300649 s]
/proc/loadavg: 1.03 1.03 1.00 3/106 22652
/proc/meminfo: memFree=1845644/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=20460 CPUtime=0.29
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 2899 0 0 0 28 1 0 0 20 0 1 0 13184120 20951040 2784 1992294400 134512640 135752675 4290052048 18446744073709551615 134562922 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 5115 2784 573 303 0 2705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20460

[startup+0.700693 s]
/proc/loadavg: 1.03 1.03 1.00 3/106 22652
/proc/meminfo: memFree=1845644/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=25652 CPUtime=0.69
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 4713 0 0 0 67 2 0 0 21 0 1 0 13184120 26267648 4558 1992294400 134512640 135752675 4290052048 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 6413 4558 1176 303 0 4003 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25652

[startup+1.50078 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 22653
/proc/meminfo: memFree=1824928/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=37788 CPUtime=1.49
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 8410 0 0 0 146 3 0 0 23 0 1 0 13184120 38694912 8141 1992294400 134512640 135752675 4290052048 18446744073709551615 134560774 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 9447 8141 2071 303 0 7037 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37788

[startup+3.10096 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 22653
/proc/meminfo: memFree=1794300/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=57444 CPUtime=3.09
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 15705 0 0 0 303 6 0 0 25 0 1 0 13184120 58822656 13106 1992294400 134512640 135752675 4290052048 18446744073709551615 134524595 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 14361 13106 142 303 0 14056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57444

[startup+6.30131 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 22653
/proc/meminfo: memFree=1788596/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=63252 CPUtime=6.29
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 17172 0 0 0 622 7 0 0 25 0 1 0 13184120 64770048 14573 1992294400 134512640 135752675 4290052048 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 15813 14573 142 303 0 15508 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63252

[startup+12.701 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 22653
/proc/meminfo: memFree=1778180/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=72492 CPUtime=12.69
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 19483 0 0 0 1262 7 0 0 25 0 1 0 13184120 74231808 16884 1992294400 134512640 135752675 4290052048 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 18123 16884 142 303 0 17818 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72492

[startup+25.5005 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 22654
/proc/meminfo: memFree=1765780/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=85296 CPUtime=25.49
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 22675 0 0 0 2540 9 0 0 25 0 1 0 13184120 87343104 20076 1992294400 134512640 135752675 4290052048 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 21324 20076 142 303 0 21019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85296

[startup+51.1003 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 22655
/proc/meminfo: memFree=1747924/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=104040 CPUtime=51.08
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 27362 0 0 0 5096 12 0 0 25 0 1 0 13184120 106536960 24763 1992294400 134512640 135752675 4290052048 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 26010 24763 142 303 0 25705 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 104040

[startup+102.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22657
/proc/meminfo: memFree=1729820/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=119932 CPUtime=102.28
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 32780 0 0 0 10210 18 0 0 25 0 1 0 13184120 122810368 28868 1992294400 134512640 135752675 4290052048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 29983 28868 145 303 0 29678 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 119932

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22657
/proc/meminfo: memFree=1729572/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=119932 CPUtime=162.25
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 32780 0 0 0 16183 42 0 0 25 0 1 0 13184120 122810368 28868 1992294400 134512640 135752675 4290052048 18446744073709551615 134606959 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 29983 28868 145 303 0 29678 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 119932

[startup+222.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22659
/proc/meminfo: memFree=1736516/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=111936 CPUtime=222.24
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 33635 0 0 0 22159 65 0 0 25 0 1 0 13184120 114622464 27134 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 27984 27134 146 303 0 27679 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 111936

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22661
/proc/meminfo: memFree=1736516/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=111936 CPUtime=282.21
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 33635 0 0 0 28143 78 0 0 25 0 1 0 13184120 114622464 27134 1992294400 134512640 135752675 4290052048 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 27984 27134 146 303 0 27679 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 111936

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22663
/proc/meminfo: memFree=1736392/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=111936 CPUtime=342.2
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 33635 0 0 0 34129 91 0 0 25 0 1 0 13184120 114622464 27134 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 27984 27134 146 303 0 27679 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 111936

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22673
/proc/meminfo: memFree=1736020/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=111936 CPUtime=402.18
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 33635 0 0 0 40118 100 0 0 25 0 1 0 13184120 114622464 27134 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 27984 27134 146 303 0 27679 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 111936

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22674
/proc/meminfo: memFree=1736020/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=111936 CPUtime=462.16
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 33647 0 0 0 46104 112 0 0 25 0 1 0 13184120 114622464 27146 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 27984 27146 146 303 0 27679 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 111936

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22676
/proc/meminfo: memFree=1736020/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=111936 CPUtime=522.14
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 33647 0 0 0 52093 121 0 0 25 0 1 0 13184120 114622464 27146 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 27984 27146 146 303 0 27679 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 111936

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22678
/proc/meminfo: memFree=1735028/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=113292 CPUtime=582.13
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 33971 0 0 0 58083 130 0 0 25 0 1 0 13184120 116011008 27470 1992294400 134512640 135752675 4290052048 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 28323 27470 146 303 0 28018 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 113292

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22680
/proc/meminfo: memFree=1727712/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=120692 CPUtime=642.11
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 35834 0 0 0 64070 141 0 0 25 0 1 0 13184120 123588608 29333 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 30173 29333 146 303 0 29868 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 120692

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22684
/proc/meminfo: memFree=1701920/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=146508 CPUtime=822.06
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 42263 0 0 0 82028 178 0 0 25 0 1 0 13184120 150024192 35762 1992294400 134512640 135752675 4290052048 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 36627 35762 146 303 0 36322 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 146508

[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22686
/proc/meminfo: memFree=1693736/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=154428 CPUtime=882.05
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 44969 0 0 0 88002 203 0 0 25 0 1 0 13184120 158134272 37614 1992294400 134512640 135752675 4290052048 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 38607 37614 146 303 0 38302 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 154428

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22688
/proc/meminfo: memFree=1693736/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=154428 CPUtime=942.04
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 44979 0 0 0 93984 220 0 0 25 0 1 0 13184120 158134272 37624 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 38607 37624 146 303 0 38302 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 154428

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22689
/proc/meminfo: memFree=1686172/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=162616 CPUtime=1002.02
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 47015 0 0 0 99965 237 0 0 25 0 1 0 13184120 166518784 39660 1992294400 134512640 135752675 4290052048 18446744073709551615 134604978 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 40654 39660 146 303 0 40349 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 162616

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 22690
/proc/meminfo: memFree=1677740/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=171260 CPUtime=1062
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 49116 0 0 0 105948 252 0 0 25 0 1 0 13184120 175370240 41761 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 42815 41761 146 303 0 42510 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 171260

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22692
/proc/meminfo: memFree=1668936/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=179984 CPUtime=1121.99
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 51307 0 0 0 111931 268 0 0 25 0 1 0 13184120 184303616 43952 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 44996 43952 146 303 0 44691 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 179984

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22694
/proc/meminfo: memFree=1660504/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=188340 CPUtime=1181.97
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 53413 0 0 0 117919 278 0 0 25 0 1 0 13184120 192860160 46058 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 47085 46058 146 303 0 46780 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 188340

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22696
/proc/meminfo: memFree=1651452/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=197448 CPUtime=1241.95
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 55617 0 0 0 123905 290 0 0 25 0 1 0 13184120 202186752 48262 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 49362 48262 146 303 0 49057 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 197448

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22697
/proc/meminfo: memFree=1633968/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=214968 CPUtime=1301.94
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 59981 0 0 0 129881 313 0 0 25 0 1 0 13184120 220127232 52626 1992294400 134512640 135752675 4290052048 18446744073709551615 134605531 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 53742 52626 146 303 0 53437 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 214968

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22698
/proc/meminfo: memFree=1620824/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=227924 CPUtime=1361.92
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 63227 0 0 0 135864 328 0 0 25 0 1 0 13184120 233394176 55872 1992294400 134512640 135752675 4290052048 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 56981 55872 146 303 0 56676 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 227924

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22703
/proc/meminfo: memFree=1606316/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=239980 CPUtime=1421.92
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 66241 0 0 0 141845 347 0 0 25 0 1 0 13184120 245739520 58886 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 59995 58886 146 303 0 59690 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 239980

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22705
/proc/meminfo: memFree=1595652/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=251076 CPUtime=1481.89
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 68989 0 0 0 147826 363 0 0 25 0 1 0 13184120 257101824 61634 1992294400 134512640 135752675 4290052048 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 62769 61634 146 303 0 62464 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 251076

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22707
/proc/meminfo: memFree=1585360/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=261256 CPUtime=1541.89
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 71544 0 0 0 153810 379 0 0 25 0 1 0 13184120 267526144 64189 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 65314 64189 146 303 0 65009 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 261256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22708
/proc/meminfo: memFree=1577176/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=269488 CPUtime=1601.86
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 73596 0 0 0 159796 390 0 0 25 0 1 0 13184120 275955712 66241 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 67372 66241 146 303 0 67067 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 269488

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22709
/proc/meminfo: memFree=1569736/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=276808 CPUtime=1661.84
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 75430 0 0 0 165783 401 0 0 25 0 1 0 13184120 283451392 68075 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 69202 68075 146 303 0 68897 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 276808

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22711
/proc/meminfo: memFree=1561304/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=285500 CPUtime=1721.83
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 77583 0 0 0 171768 415 0 0 25 0 1 0 13184120 292352000 70228 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 71375 70228 146 303 0 71070 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 285500

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22713
/proc/meminfo: memFree=1545928/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=300764 CPUtime=1781.81
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 81412 0 0 0 177747 434 0 0 25 0 1 0 13184120 307982336 74057 1992294400 134512640 135752675 4290052048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 75191 74057 146 303 0 74886 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 300764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22713
/proc/meminfo: memFree=1540100/2059040 swapFree=4139172/4192956
[pid=22652] ppid=22650 vsize=306572 CPUtime=1800.01
/proc/22652/stat : 22652 (wbo1.4b) R 22650 22652 22379 0 -1 4202496 82847 0 0 0 179560 441 0 0 25 0 1 0 13184120 313929728 75492 1992294400 134512640 135752675 4290052048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22652/statm: 76643 75492 146 303 0 76338 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 306572

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.06
CPU user time (s): 1795.61
CPU system time (s): 4.44832
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 306572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.61
system time used= 4.44832
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82847
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= 63
involuntary context switches= 7809

runsolver used 2.90256 second user time and 8.60769 second system time

The end

Launcher Data 

Begin job on node005 at 2010-07-06 22:55:05
IDJOB=2687215
IDBENCH=77502
IDSOLVER=1190
FILE ID=node005/2687215-1278449705
PBS_JOBID= 11233498
Free space on /tmp= 62532 MiB

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

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

MD5SUM BENCH= a5005fc9f27cd5643854e7c3033a2662
RANDOM SEED=1177660973

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1846048 kB
Buffers:          7216 kB
Cached:         109352 kB
SwapCached:      16456 kB
Active:          36656 kB
Inactive:       103780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1846048 kB
SwapTotal:     4192956 kB
SwapFree:      4139172 kB
Dirty:           11080 kB
Writeback:           0 kB
AnonPages:       12052 kB
Mapped:          11888 kB
Slab:            50280 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node005 at 2010-07-06 23:25:08