Trace number 2687204

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.07 1800.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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2687204-1278449517.opb.
0.00/0.00	c Instance file HOME/instance-2687204-1278449517.opb
0.00/0.00	c File size is 8621137 bytes.
1.59/1.63	c Highest Coefficient sum: 733
1.59/1.63	c ============================[ Problem Statistics ]=============================
1.59/1.63	c |                                                                             |
1.59/1.63	c |  Parsing time:          1.60         s                                      |
1.59/1.63	c |  Number Variables:      72842                                               |
1.59/1.63	c |  Number Clauses:        255066                                              |
1.59/1.63	c |  Number Cardinality:    0                                                   |
1.59/1.63	c |  Number PB Constraints: 1200                                                |
94.97/95.03	c ============================[ Search Statistics ]==============================
94.97/95.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.97/95.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.97/95.03	c ===============================================================================
94.97/95.03	c |         0 |   52402   257538   566609 |    85422        0    nan |  0.000 % |
95.06/95.10	c ===============================================================================
95.06/95.10	c New solution: 300
95.06/95.10	o 300
95.06/95.10	c Elapsed CPU time: 94.9396 s	Remaining CPU time: 85.0604 s
95.06/95.10	c ===============================================================================
95.06/95.10	c |         0 |   52402   257539   566909 |    85846        0    nan |  0.000 % |
95.06/95.17	c |       100 |   52398   257539   566909 |    94430      100     42 | 28.227 % |
95.16/95.23	c ===============================================================================
95.16/95.23	c New solution: 299
95.16/95.23	o 299
95.16/95.23	c Elapsed CPU time: 95.0665 s	Remaining CPU time: 84.9335 s
95.16/95.23	c ===============================================================================
95.16/95.23	c |       105 |   52281   257540   567209 |    85846      105     43 | 28.227 % |
95.16/95.29	c |       206 |   52194   257540   567209 |    94431      206     41 | 28.412 % |
95.26/95.36	c |       356 |   52190   257540   567209 |   103874      356     43 | 28.412 % |
95.36/95.41	c ===============================================================================
95.36/95.41	c New solution: 298
95.36/95.41	o 298
95.36/95.41	c Elapsed CPU time: 95.2465 s	Remaining CPU time: 84.7535 s
95.36/95.41	c ===============================================================================
95.36/95.41	c |       358 |   52146   257541   567509 |    85847      358     43 | 28.412 % |
95.36/95.46	c ===============================================================================
95.36/95.46	c New solution: 297
95.36/95.46	o 297
95.36/95.46	c Elapsed CPU time: 95.2965 s	Remaining CPU time: 84.7035 s
95.36/95.46	c ===============================================================================
95.36/95.46	c |       359 |   51990   257542   567809 |    85847      359     43 | 28.412 % |
95.46/95.52	c ===============================================================================
95.46/95.52	c New solution: 296
95.46/95.52	o 296
95.46/95.52	c Elapsed CPU time: 95.3615 s	Remaining CPU time: 84.6385 s
95.46/95.52	c ===============================================================================
95.46/95.52	c |       372 |   51824   257543   568109 |    85847      372     43 | 28.412 % |
95.46/95.59	c ===============================================================================
95.46/95.59	c New solution: 295
95.46/95.59	o 295
95.46/95.59	c Elapsed CPU time: 95.4235 s	Remaining CPU time: 84.5765 s
95.46/95.59	c ===============================================================================
95.46/95.59	c |       373 |   51644   257544   568409 |    85848      373     43 | 28.412 % |
95.58/95.65	c ===============================================================================
95.58/95.65	c New solution: 294
95.58/95.65	o 294
95.58/95.65	c Elapsed CPU time: 95.4885 s	Remaining CPU time: 84.5115 s
95.58/95.65	c ===============================================================================
95.58/95.65	c |       374 |   51458   257545   568709 |    85848      119     40 | 28.412 % |
95.68/95.72	c ===============================================================================
95.68/95.72	c New solution: 293
95.68/95.72	o 293
95.68/95.72	c Elapsed CPU time: 95.5575 s	Remaining CPU time: 84.4425 s
95.68/95.72	c ===============================================================================
95.68/95.72	c |       376 |   51262   257546   569009 |    85848      121     39 | 28.412 % |
95.68/95.77	c ===============================================================================
95.68/95.77	c New solution: 292
95.68/95.77	o 292
95.68/95.77	c Elapsed CPU time: 95.6095 s	Remaining CPU time: 84.3905 s
95.68/95.77	c ===============================================================================
95.68/95.77	c |       377 |   51053   257547   569309 |    85849      122     39 | 28.412 % |
95.77/95.83	c ===============================================================================
95.77/95.83	c New solution: 291
95.77/95.83	o 291
95.77/95.83	c Elapsed CPU time: 95.6695 s	Remaining CPU time: 84.3305 s
95.77/95.83	c ===============================================================================
95.77/95.83	c |       378 |   50839   257548   569609 |    85849      123     39 | 28.412 % |
95.87/95.90	c ===============================================================================
95.87/95.90	c New solution: 290
95.87/95.90	o 290
95.87/95.90	c Elapsed CPU time: 95.7334 s	Remaining CPU time: 84.2666 s
95.87/95.90	c ===============================================================================
95.87/95.90	c |       385 |   50618   257549   569909 |    85849      130     39 | 28.412 % |
95.87/95.94	c |       486 |   50586   257549   569909 |    94434      231     43 | 30.842 % |
95.97/96.00	c ===============================================================================
95.97/96.00	c New solution: 289
95.97/96.00	o 289
95.97/96.00	c Elapsed CPU time: 95.8364 s	Remaining CPU time: 84.1636 s
95.97/96.00	c ===============================================================================
95.97/96.00	c |       522 |   50376   257550   570209 |    85850      267     43 | 30.842 % |
95.97/96.07	c ===============================================================================
95.97/96.07	c New solution: 288
95.97/96.07	o 288
95.97/96.07	c Elapsed CPU time: 95.9044 s	Remaining CPU time: 84.0956 s
95.97/96.07	c ===============================================================================
95.97/96.07	c |       537 |   50134   257551   570509 |    85850      282     43 | 30.842 % |
96.07/96.13	c ===============================================================================
96.07/96.13	c New solution: 287
96.07/96.13	o 287
96.07/96.13	c Elapsed CPU time: 95.9664 s	Remaining CPU time: 84.0336 s
96.07/96.13	c ===============================================================================
96.07/96.13	c |       537 |   49892   257552   570809 |    85850      282     43 | 30.842 % |
96.07/96.20	c ===============================================================================
96.07/96.20	c New solution: 286
96.07/96.20	o 286
96.07/96.20	c Elapsed CPU time: 96.0294 s	Remaining CPU time: 83.9706 s
96.07/96.20	c ===============================================================================
96.07/96.20	c |       540 |   49650   257553   571109 |    85851      285     43 | 30.842 % |
96.17/96.26	c ===============================================================================
96.17/96.26	c New solution: 285
96.17/96.26	o 285
96.17/96.26	c Elapsed CPU time: 96.0924 s	Remaining CPU time: 83.9076 s
96.17/96.26	c ===============================================================================
96.17/96.26	c |       543 |   49408   257554   571409 |    85851      288     43 | 30.842 % |
96.27/96.34	c ===============================================================================
96.27/96.34	c New solution: 284
96.27/96.34	o 284
96.27/96.34	c Elapsed CPU time: 96.1684 s	Remaining CPU time: 83.8316 s
96.27/96.34	c ===============================================================================
96.27/96.34	c |       631 |   49166   257555   571709 |    85851      241     46 | 30.842 % |
96.27/96.39	c |       731 |   49147   257555   571709 |    94436      341     50 | 32.835 % |
96.36/96.44	c ===============================================================================
96.36/96.44	c New solution: 283
96.36/96.44	o 283
96.36/96.44	c Elapsed CPU time: 96.2704 s	Remaining CPU time: 83.7296 s
96.36/96.44	c ===============================================================================
96.36/96.44	c |       731 |   48924   257556   572009 |    85852      341     50 | 32.835 % |
96.46/96.50	c ===============================================================================
96.46/96.50	c New solution: 282
96.46/96.50	o 282
96.46/96.50	c Elapsed CPU time: 96.3344 s	Remaining CPU time: 83.6656 s
96.46/96.50	c ===============================================================================
96.46/96.50	c |       732 |   48682   257557   572309 |    85852      342     50 | 32.835 % |
96.46/96.56	c ===============================================================================
96.46/96.56	c New solution: 281
96.46/96.56	o 281
96.46/96.56	c Elapsed CPU time: 96.3953 s	Remaining CPU time: 83.6047 s
96.46/96.56	c ===============================================================================
96.46/96.56	c |       735 |   48440   257558   572609 |    85852      345     49 | 32.835 % |
96.56/96.63	c ===============================================================================
96.56/96.63	c New solution: 280
96.56/96.63	o 280
96.56/96.63	c Elapsed CPU time: 96.4593 s	Remaining CPU time: 83.5407 s
96.56/96.63	c ===============================================================================
96.56/96.63	c |       739 |   48198   257559   572909 |    85853      349     49 | 32.835 % |
96.56/96.67	c |       839 |   48145   257559   572909 |    94438      449     52 | 34.164 % |
96.67/96.75	c |       989 |   48142   257559   572909 |   103882      599     56 | 34.164 % |
96.67/96.80	c ===============================================================================
96.67/96.80	c New solution: 279
96.67/96.80	o 279
96.67/96.80	c Elapsed CPU time: 96.6273 s	Remaining CPU time: 83.3727 s
96.67/96.80	c ===============================================================================
96.67/96.80	c |       991 |   47956   257560   573209 |    85853      601     56 | 34.164 % |
96.77/96.85	c ===============================================================================
96.77/96.85	c New solution: 278
96.77/96.85	o 278
96.77/96.85	c Elapsed CPU time: 96.6853 s	Remaining CPU time: 83.3147 s
96.77/96.85	c ===============================================================================
96.77/96.85	c |       992 |   47714   257561   573509 |    85853      602     56 | 34.164 % |
96.86/96.92	c ===============================================================================
96.86/96.92	c New solution: 277
96.86/96.92	o 277
96.86/96.92	c Elapsed CPU time: 96.7493 s	Remaining CPU time: 83.2507 s
96.86/96.92	c ===============================================================================
96.86/96.92	c |       993 |   47472   257562   573809 |    85854      272     45 | 34.164 % |
96.86/96.98	c ===============================================================================
96.86/96.98	c New solution: 276
96.86/96.98	o 276
96.86/96.98	c Elapsed CPU time: 96.8093 s	Remaining CPU time: 83.1907 s
96.86/96.98	c ===============================================================================
96.86/96.98	c |       994 |   47230   257563   574109 |    85854      273     45 | 34.164 % |
96.96/97.04	c ===============================================================================
96.96/97.04	c New solution: 275
96.96/97.04	o 275
96.96/97.04	c Elapsed CPU time: 96.8693 s	Remaining CPU time: 83.1307 s
96.96/97.04	c ===============================================================================
96.96/97.04	c |       994 |   46988   257564   574409 |    85854      273     45 | 34.164 % |
97.06/97.10	c ===============================================================================
97.06/97.10	c New solution: 274
97.06/97.10	o 274
97.06/97.10	c Elapsed CPU time: 96.9313 s	Remaining CPU time: 83.0687 s
97.06/97.10	c ===============================================================================
97.06/97.10	c |       998 |   46746   257565   574709 |    85855      277     44 | 34.164 % |
97.06/97.15	c ===============================================================================
97.06/97.15	c New solution: 273
97.06/97.15	o 273
97.06/97.15	c Elapsed CPU time: 96.9813 s	Remaining CPU time: 83.0187 s
97.06/97.15	c ===============================================================================
97.06/97.15	c |      1002 |   46504   257566   575009 |    85855      281     44 | 34.164 % |
97.17/97.22	c ===============================================================================
97.17/97.22	c New solution: 272
97.17/97.22	o 272
97.17/97.22	c Elapsed CPU time: 97.0412 s	Remaining CPU time: 82.9588 s
97.17/97.22	c ===============================================================================
97.17/97.22	c |      1004 |   46262   257567   575309 |    85855      283     44 | 34.164 % |
97.17/97.28	c ===============================================================================
97.17/97.28	c New solution: 271
97.17/97.28	o 271
97.17/97.28	c Elapsed CPU time: 97.1012 s	Remaining CPU time: 82.8988 s
97.17/97.28	c ===============================================================================
97.17/97.28	c |      1008 |   46020   257568   575609 |    85856      287     43 | 34.164 % |
97.27/97.34	c ===============================================================================
97.27/97.34	c New solution: 270
97.27/97.34	o 270
97.27/97.34	c Elapsed CPU time: 97.1642 s	Remaining CPU time: 82.8358 s
97.27/97.34	c ===============================================================================
97.27/97.34	c |      1016 |   45778   257569   575909 |    85856      295     43 | 34.164 % |
97.27/97.39	c ===============================================================================
97.27/97.39	c New solution: 269
97.27/97.39	o 269
97.27/97.39	c Elapsed CPU time: 97.2182 s	Remaining CPU time: 82.7818 s
97.27/97.39	c ===============================================================================
97.27/97.39	c |      1031 |   45536   257570   576209 |    85856      310     43 | 34.164 % |
97.37/97.44	c ===============================================================================
97.37/97.44	c New solution: 268
97.37/97.44	o 268
97.37/97.44	c Elapsed CPU time: 97.2662 s	Remaining CPU time: 82.7338 s
97.37/97.44	c ===============================================================================
97.37/97.44	c |      1033 |   45294   257571   576509 |    85857      312     43 | 34.164 % |
97.47/97.50	c ===============================================================================
97.47/97.50	c New solution: 267
97.47/97.50	o 267
97.47/97.50	c Elapsed CPU time: 97.3262 s	Remaining CPU time: 82.6738 s
97.47/97.50	c ===============================================================================
97.47/97.50	c |      1037 |   45052   257572   576809 |    85857      316     42 | 34.164 % |
97.47/97.56	c ===============================================================================
97.47/97.56	c New solution: 266
97.47/97.56	o 266
97.47/97.56	c Elapsed CPU time: 97.3862 s	Remaining CPU time: 82.6138 s
97.47/97.56	c ===============================================================================
97.47/97.56	c |      1038 |   44810   257573   577109 |    85857      317     42 | 34.164 % |
97.57/97.63	c ===============================================================================
97.57/97.63	c New solution: 265
97.57/97.63	o 265
97.57/97.63	c Elapsed CPU time: 97.4512 s	Remaining CPU time: 82.5488 s
97.57/97.63	c ===============================================================================
97.57/97.63	c |      1041 |   44568   257574   577409 |    85858      320     42 | 34.164 % |
97.57/97.68	c ===============================================================================
97.57/97.68	c New solution: 264
97.57/97.68	o 264
97.57/97.68	c Elapsed CPU time: 97.4972 s	Remaining CPU time: 82.5028 s
97.57/97.68	c ===============================================================================
97.57/97.68	c |      1042 |   44326   257575   577709 |    85858      141     36 | 34.164 % |
97.66/97.73	c ===============================================================================
97.66/97.73	c New solution: 263
97.66/97.73	o 263
97.66/97.73	c Elapsed CPU time: 97.5532 s	Remaining CPU time: 82.4468 s
97.66/97.73	c ===============================================================================
97.66/97.73	c |      1042 |   44084   257576   578009 |    85858      141     36 | 34.164 % |
97.66/97.79	c ===============================================================================
97.66/97.79	c New solution: 262
97.66/97.79	o 262
97.66/97.79	c Elapsed CPU time: 97.6112 s	Remaining CPU time: 82.3888 s
97.66/97.79	c ===============================================================================
97.66/97.79	c |      1042 |   43842   257577   578309 |    85859      141     36 | 34.164 % |
97.77/97.85	c ===============================================================================
97.77/97.85	c New solution: 261
97.77/97.85	o 261
97.77/97.85	c Elapsed CPU time: 97.6692 s	Remaining CPU time: 82.3308 s
97.77/97.85	c ===============================================================================
97.77/97.85	c |      1043 |   43600   257578   578609 |    85859      142     36 | 34.164 % |
97.87/97.92	c ===============================================================================
97.87/97.92	c New solution: 260
97.87/97.92	o 260
97.87/97.92	c Elapsed CPU time: 97.7361 s	Remaining CPU time: 82.2639 s
97.87/97.92	c ===============================================================================
97.87/97.92	c |      1101 |   43358   257579   578909 |    85859      200     50 | 34.164 % |
97.87/97.98	c ===============================================================================
97.87/97.98	c New solution: 259
97.87/97.98	o 259
97.87/97.98	c Elapsed CPU time: 97.7931 s	Remaining CPU time: 82.2069 s
97.87/97.98	c ===============================================================================
97.87/97.98	c |      1127 |   43116   257580   579209 |    85860      226     48 | 34.164 % |
97.96/98.02	c ===============================================================================
97.96/98.02	c New solution: 258
97.96/98.02	o 258
97.96/98.02	c Elapsed CPU time: 97.8411 s	Remaining CPU time: 82.1589 s
97.96/98.02	c ===============================================================================
97.96/98.02	c |      1133 |   42874   257581   579509 |    85860      232     48 | 34.164 % |
97.96/98.08	c ===============================================================================
97.96/98.08	c New solution: 257
97.96/98.08	o 257
97.96/98.08	c Elapsed CPU time: 97.8971 s	Remaining CPU time: 82.1029 s
97.96/98.08	c ===============================================================================
97.96/98.08	c |      1133 |   42632   257582   579809 |    85860      232     48 | 34.164 % |
98.07/98.14	c ===============================================================================
98.07/98.14	c New solution: 256
98.07/98.14	o 256
98.07/98.14	c Elapsed CPU time: 97.9541 s	Remaining CPU time: 82.0459 s
98.07/98.14	c ===============================================================================
98.07/98.14	c |      1133 |   42390   257583   580109 |    85861      232     48 | 34.164 % |
98.17/98.20	c ===============================================================================
98.17/98.20	c New solution: 255
98.17/98.20	o 255
98.17/98.20	c Elapsed CPU time: 98.0121 s	Remaining CPU time: 81.9879 s
98.17/98.20	c ===============================================================================
98.17/98.20	c |      1134 |   42148   257584   580409 |    85861      233     47 | 34.164 % |
98.17/98.25	c ===============================================================================
98.17/98.25	c New solution: 254
98.17/98.25	o 254
98.17/98.25	c Elapsed CPU time: 98.0681 s	Remaining CPU time: 81.9319 s
98.17/98.25	c ===============================================================================
98.17/98.25	c |      1136 |   41906   257585   580709 |    85861      235     47 | 34.164 % |
98.27/98.31	c ===============================================================================
98.27/98.31	c New solution: 253
98.27/98.31	o 253
98.27/98.31	c Elapsed CPU time: 98.1251 s	Remaining CPU time: 81.8749 s
98.27/98.31	c ===============================================================================
98.27/98.31	c |      1137 |   41664   257586   581009 |    85862      236     47 | 34.164 % |
98.27/98.37	c ===============================================================================
98.27/98.37	c New solution: 252
98.27/98.37	o 252
98.27/98.37	c Elapsed CPU time: 98.1871 s	Remaining CPU time: 81.8129 s
98.27/98.37	c ===============================================================================
98.27/98.37	c |      1142 |   41422   257587   581309 |    85862      241     46 | 34.164 % |
98.37/98.42	c ===============================================================================
98.37/98.42	c New solution: 251
98.37/98.42	o 251
98.37/98.42	c Elapsed CPU time: 98.2371 s	Remaining CPU time: 81.7629 s
98.37/98.42	c ===============================================================================
98.37/98.42	c |      1145 |   41180   257588   581609 |    85862      149     39 | 34.164 % |
98.37/98.48	c ===============================================================================
98.37/98.48	c New solution: 250
98.37/98.48	o 250
98.37/98.48	c Elapsed CPU time: 98.2931 s	Remaining CPU time: 81.7069 s
98.37/98.48	c ===============================================================================
98.37/98.48	c |      1148 |   40938   257589   581909 |    85863      152     38 | 34.164 % |
98.46/98.54	c ===============================================================================
98.46/98.54	c New solution: 249
98.46/98.54	o 249
98.46/98.54	c Elapsed CPU time: 98.35 s	Remaining CPU time: 81.65 s
98.46/98.54	c ===============================================================================
98.46/98.54	c |      1150 |   40696   257590   582209 |    85863      154     38 | 34.164 % |
98.46/98.60	c ===============================================================================
98.46/98.60	c New solution: 248
98.56/98.60	o 248
98.56/98.60	c Elapsed CPU time: 98.407 s	Remaining CPU time: 81.593 s
98.56/98.60	c ===============================================================================
98.56/98.60	c |      1151 |   40454   257591   582509 |    85863      155     38 | 34.164 % |
98.56/98.65	c ===============================================================================
98.56/98.65	c New solution: 247
98.56/98.65	o 247
98.56/98.65	c Elapsed CPU time: 98.462 s	Remaining CPU time: 81.538 s
98.56/98.65	c ===============================================================================
98.56/98.65	c |      1152 |   40212   257592   582809 |    85864      156     38 | 34.164 % |
98.66/98.71	c ===============================================================================
98.66/98.71	c New solution: 246
98.66/98.71	o 246
98.66/98.71	c Elapsed CPU time: 98.518 s	Remaining CPU time: 81.482 s
98.66/98.71	c ===============================================================================
98.66/98.71	c |      1155 |   39970   257593   583109 |    85864      159     37 | 34.164 % |
98.66/98.76	c ===============================================================================
98.66/98.76	c New solution: 245
98.66/98.76	o 245
98.66/98.76	c Elapsed CPU time: 98.575 s	Remaining CPU time: 81.425 s
98.66/98.76	c ===============================================================================
98.66/98.76	c |      1155 |   39728   257594   583409 |    85864      159     37 | 34.164 % |
98.76/98.81	c ===============================================================================
98.76/98.81	c New solution: 244
98.76/98.81	o 244
98.76/98.81	c Elapsed CPU time: 98.62 s	Remaining CPU time: 81.38 s
98.76/98.81	c ===============================================================================
98.76/98.81	c |      1157 |   39486   257595   583709 |    85865      161     38 | 34.164 % |
98.76/98.87	c ===============================================================================
98.76/98.87	c New solution: 243
98.76/98.87	o 243
98.76/98.87	c Elapsed CPU time: 98.675 s	Remaining CPU time: 81.325 s
98.76/98.87	c ===============================================================================
98.76/98.87	c |      1157 |   39244   257596   584009 |    85865      161     38 | 34.164 % |
98.87/98.92	c ===============================================================================
98.87/98.92	c New solution: 242
98.87/98.92	o 242
98.87/98.92	c Elapsed CPU time: 98.731 s	Remaining CPU time: 81.269 s
98.87/98.92	c ===============================================================================
98.87/98.92	c |      1162 |   39002   257597   584309 |    85865      166     38 | 34.164 % |
98.87/98.98	c ===============================================================================
98.87/98.98	c New solution: 241
98.87/98.98	o 241
98.87/98.98	c Elapsed CPU time: 98.785 s	Remaining CPU time: 81.215 s
98.87/98.98	c ===============================================================================
98.87/98.98	c |      1163 |   38760   257598   584609 |    85866      167     38 | 34.164 % |
98.97/99.04	c ===============================================================================
98.97/99.04	c New solution: 240
98.97/99.04	o 240
98.97/99.04	c Elapsed CPU time: 98.846 s	Remaining CPU time: 81.154 s
98.97/99.04	c ===============================================================================
98.97/99.04	c |      1167 |   38518   257599   584909 |    85866      171     37 | 34.164 % |
98.97/99.09	c ===============================================================================
98.97/99.09	c New solution: 239
98.97/99.09	o 239
98.97/99.09	c Elapsed CPU time: 98.9 s	Remaining CPU time: 81.1 s
98.97/99.09	c ===============================================================================
98.97/99.09	c |      1170 |   38276   257600   585209 |    85866      174     37 | 34.164 % |
99.07/99.15	c ===============================================================================
99.07/99.15	c New solution: 238
99.07/99.15	o 238
99.07/99.15	c Elapsed CPU time: 98.959 s	Remaining CPU time: 81.041 s
99.07/99.15	c ===============================================================================
99.07/99.15	c |      1172 |   38034   257601   585509 |    85867      176     37 | 34.164 % |
99.17/99.20	c ===============================================================================
99.17/99.20	c New solution: 237
99.17/99.20	o 237
99.17/99.20	c Elapsed CPU time: 99.0079 s	Remaining CPU time: 80.9921 s
99.17/99.20	c ===============================================================================
99.17/99.20	c |      1176 |   37792   257602   585809 |    85867      130     37 | 34.164 % |
99.17/99.26	c ===============================================================================
99.17/99.26	c New solution: 236
99.17/99.26	o 236
99.17/99.26	c Elapsed CPU time: 99.0619 s	Remaining CPU time: 80.9381 s
99.17/99.26	c ===============================================================================
99.17/99.26	c |      1177 |   37550   257603   586109 |    85867      131     37 | 34.164 % |
99.27/99.31	c ===============================================================================
99.27/99.31	c New solution: 235
99.27/99.31	o 235
99.27/99.31	c Elapsed CPU time: 99.1129 s	Remaining CPU time: 80.8871 s
99.27/99.31	c ===============================================================================
99.27/99.31	c |      1177 |   37308   257604   586409 |    85868      131     37 | 34.164 % |
99.27/99.36	c ===============================================================================
99.27/99.36	c New solution: 234
99.27/99.36	o 234
99.27/99.36	c Elapsed CPU time: 99.1669 s	Remaining CPU time: 80.8331 s
99.27/99.36	c ===============================================================================
99.27/99.36	c |      1180 |   37066   257605   586709 |    85868      134     36 | 34.164 % |
99.36/99.42	c ===============================================================================
99.36/99.42	c New solution: 233
99.36/99.42	o 233
99.36/99.42	c Elapsed CPU time: 99.2189 s	Remaining CPU time: 80.7811 s
99.36/99.42	c ===============================================================================
99.36/99.42	c |      1182 |   36824   257606   587009 |    85868      136     36 | 34.164 % |
99.36/99.47	c |      1282 |   36802   257606   587009 |    94455      236     45 | 49.779 % |
99.46/99.51	c ===============================================================================
99.46/99.51	c New solution: 232
99.46/99.51	o 232
99.46/99.51	c Elapsed CPU time: 99.3099 s	Remaining CPU time: 80.6901 s
99.46/99.51	c ===============================================================================
99.46/99.51	c |      1283 |   36582   257607   587309 |    85869      237     45 | 49.779 % |
99.46/99.56	c ===============================================================================
99.46/99.56	c New solution: 231
99.46/99.56	o 231
99.46/99.56	c Elapsed CPU time: 99.3629 s	Remaining CPU time: 80.6371 s
99.46/99.56	c ===============================================================================
99.46/99.56	c |      1286 |   36340   257608   587609 |    85869      240     45 | 49.779 % |
99.56/99.61	c ===============================================================================
99.56/99.61	c New solution: 230
99.56/99.61	o 230
99.56/99.61	c Elapsed CPU time: 99.4139 s	Remaining CPU time: 80.5861 s
99.56/99.61	c ===============================================================================
99.56/99.61	c |      1286 |   36098   257609   587909 |    85869      240     45 | 49.779 % |
99.56/99.66	c ===============================================================================
99.56/99.66	c New solution: 229
99.56/99.66	o 229
99.56/99.66	c Elapsed CPU time: 99.4549 s	Remaining CPU time: 80.5451 s
99.56/99.66	c ===============================================================================
99.56/99.66	c |      1287 |   35856   257610   588209 |    85870      241     44 | 49.779 % |
99.66/99.71	c ===============================================================================
99.66/99.71	c New solution: 228
99.66/99.71	o 228
99.66/99.71	c Elapsed CPU time: 99.5079 s	Remaining CPU time: 80.4921 s
99.66/99.71	c ===============================================================================
99.66/99.71	c |      1289 |   35614   257611   588509 |    85870      243     44 | 49.779 % |
99.66/99.77	c ===============================================================================
99.66/99.77	c New solution: 227
99.66/99.77	o 227
99.66/99.77	c Elapsed CPU time: 99.5669 s	Remaining CPU time: 80.4331 s
99.66/99.77	c ===============================================================================
99.66/99.77	c |      1292 |   35372   257612   588809 |    85870      246     44 | 49.779 % |
99.76/99.81	c ===============================================================================
99.76/99.81	c New solution: 226
99.76/99.81	o 226
99.76/99.81	c Elapsed CPU time: 99.6089 s	Remaining CPU time: 80.3911 s
99.76/99.81	c ===============================================================================
99.76/99.81	c |      1297 |   35130   257613   589109 |    85871      251     43 | 49.779 % |
99.76/99.86	c ===============================================================================
99.76/99.86	c New solution: 225
99.76/99.86	o 225
99.76/99.86	c Elapsed CPU time: 99.6578 s	Remaining CPU time: 80.3422 s
99.76/99.86	c ===============================================================================
99.76/99.86	c |      1299 |   34888   257614   589409 |    85871      253     43 | 49.779 % |
99.86/99.91	c ===============================================================================
99.86/99.91	c New solution: 224
99.86/99.91	o 224
99.86/99.91	c Elapsed CPU time: 99.7078 s	Remaining CPU time: 80.2922 s
99.86/99.91	c ===============================================================================
99.86/99.91	c |      1301 |   34646   257615   589709 |    85871      255     43 | 49.779 % |
99.86/99.96	c ===============================================================================
99.86/99.96	c New solution: 223
99.86/99.96	o 223
99.86/99.96	c Elapsed CPU time: 99.7598 s	Remaining CPU time: 80.2402 s
99.86/99.96	c ===============================================================================
99.86/99.96	c |      1301 |   34404   257616   590009 |    85872      122     37 | 49.779 % |
99.97/100.01	c ===============================================================================
99.97/100.01	c New solution: 222
99.97/100.01	o 222
99.97/100.01	c Elapsed CPU time: 99.8088 s	Remaining CPU time: 80.1912 s
99.97/100.01	c ===============================================================================
99.97/100.01	c |      1302 |   34162   257617   590309 |    85872      123     37 | 49.779 % |
99.97/100.06	c ===============================================================================
99.97/100.06	c New solution: 221
99.97/100.06	o 221
99.97/100.06	c Elapsed CPU time: 99.8588 s	Remaining CPU time: 80.1412 s
99.97/100.06	c ===============================================================================
99.97/100.06	c |      1306 |   33920   257618   590609 |    85872      127     36 | 49.779 % |
100.07/100.12	c ===============================================================================
100.07/100.12	c New solution: 220
100.07/100.12	o 220
100.07/100.12	c Elapsed CPU time: 99.9158 s	Remaining CPU time: 80.0842 s
100.07/100.12	c ===============================================================================
100.07/100.12	c |      1317 |   33678   257619   590909 |    85873      138     35 | 49.779 % |
100.07/100.17	c ===============================================================================
100.07/100.17	c New solution: 219
100.07/100.17	o 219
100.07/100.17	c Elapsed CPU time: 99.9638 s	Remaining CPU time: 80.0362 s
100.07/100.17	c ===============================================================================
100.07/100.17	c |      1317 |   33436   257620   591209 |    85873      138     35 | 49.779 % |
100.17/100.22	c ===============================================================================
100.17/100.22	c New solution: 218
100.17/100.22	o 218
100.17/100.22	c Elapsed CPU time: 100.012 s	Remaining CPU time: 79.9882 s
100.17/100.22	c ===============================================================================
100.17/100.22	c |      1355 |   33194   257621   591509 |    85873      176     38 | 49.779 % |
100.17/100.27	c |      1455 |   33174   257621   591509 |    94461      276     43 | 54.762 % |
100.27/100.36	c |      1605 |   33167   257621   591509 |   103907      426     47 | 54.762 % |
100.37/100.40	c ===============================================================================
100.37/100.40	c New solution: 217
100.37/100.40	o 217
100.37/100.40	c Elapsed CPU time: 100.197 s	Remaining CPU time: 79.8032 s
100.37/100.40	c ===============================================================================
100.37/100.40	c |      1608 |   32952   257622   591809 |    85874      429     47 | 54.762 % |
100.37/100.45	c ===============================================================================
100.37/100.45	c New solution: 216
100.37/100.45	o 216
100.37/100.45	c Elapsed CPU time: 100.249 s	Remaining CPU time: 79.7512 s
100.37/100.45	c ===============================================================================
100.37/100.45	c |      1610 |   32710   257623   592109 |    85874      431     46 | 54.762 % |
100.47/100.50	c ===============================================================================
100.47/100.50	c New solution: 215
100.47/100.50	o 215
100.47/100.50	c Elapsed CPU time: 100.299 s	Remaining CPU time: 79.7012 s
100.47/100.50	c ===============================================================================
100.47/100.50	c |      1611 |   32468   257624   592409 |    85874      432     46 | 54.762 % |
100.47/100.55	c ===============================================================================
100.47/100.55	c New solution: 214
100.47/100.55	o 214
100.47/100.55	c Elapsed CPU time: 100.347 s	Remaining CPU time: 79.6533 s
100.47/100.55	c ===============================================================================
100.47/100.55	c |      1613 |   32226   257625   592709 |    85875      434     46 | 54.762 % |
100.56/100.60	c ===============================================================================
100.56/100.60	c New solution: 213
100.56/100.60	o 213
100.56/100.60	c Elapsed CPU time: 100.397 s	Remaining CPU time: 79.6033 s
100.56/100.60	c ===============================================================================
100.56/100.60	c |      1619 |   31984   257626   593009 |    85875      440     46 | 54.762 % |
100.56/100.65	c |      1719 |   31952   257626   593009 |    94462      540     49 | 56.423 % |
100.66/100.70	c ===============================================================================
100.66/100.70	c New solution: 212
100.66/100.70	o 212
100.66/100.70	c Elapsed CPU time: 100.491 s	Remaining CPU time: 79.5093 s
100.66/100.70	c ===============================================================================
100.66/100.70	c |      1726 |   31742   257627   593309 |    85875      328     47 | 56.423 % |
100.66/100.75	c ===============================================================================
100.66/100.75	c New solution: 211
100.66/100.75	o 211
100.66/100.75	c Elapsed CPU time: 100.543 s	Remaining CPU time: 79.4573 s
100.66/100.75	c ===============================================================================
100.66/100.75	c |      1739 |   31500   257628   593609 |    85876      341     47 | 56.423 % |
100.76/100.80	c ===============================================================================
100.76/100.80	c New solution: 210
100.76/100.80	o 210
100.76/100.80	c Elapsed CPU time: 100.592 s	Remaining CPU time: 79.4083 s
100.76/100.80	c ===============================================================================
100.76/100.80	c |      1740 |   31258   257629   593909 |    85876      342     47 | 56.423 % |
100.76/100.85	c ===============================================================================
100.76/100.85	c New solution: 209
100.76/100.85	o 209
100.76/100.85	c Elapsed CPU time: 100.641 s	Remaining CPU time: 79.3593 s
100.76/100.85	c ===============================================================================
100.76/100.85	c |      1743 |   31016   257630   594209 |    85876      345     46 | 56.423 % |
100.86/100.90	c ===============================================================================
100.86/100.90	c New solution: 208
100.86/100.90	o 208
100.86/100.90	c Elapsed CPU time: 100.69 s	Remaining CPU time: 79.3103 s
100.86/100.90	c ===============================================================================
100.86/100.90	c |      1743 |   30774   257631   594509 |    85877      345     46 | 56.423 % |
100.86/100.95	c ===============================================================================
100.86/100.95	c New solution: 207
100.86/100.95	o 207
100.86/100.95	c Elapsed CPU time: 100.738 s	Remaining CPU time: 79.2623 s
100.86/100.95	c ===============================================================================
100.86/100.95	c |      1743 |   30532   257632   594809 |    85877      345     46 | 56.423 % |
100.86/100.99	c ===============================================================================
100.86/100.99	c New solution: 206
100.86/100.99	o 206
100.86/100.99	c Elapsed CPU time: 100.779 s	Remaining CPU time: 79.2213 s
100.86/100.99	c ===============================================================================
100.86/100.99	c |      1745 |   30290   257633   595109 |    85877      347     46 | 56.423 % |
100.96/101.04	c ===============================================================================
100.96/101.04	c New solution: 205
100.96/101.04	o 205
100.96/101.04	c Elapsed CPU time: 100.827 s	Remaining CPU time: 79.1733 s
100.96/101.04	c ===============================================================================
100.96/101.04	c |      1746 |   30048   257634   595409 |    85878      348     46 | 56.423 % |
100.96/101.08	c ===============================================================================
100.96/101.08	c New solution: 204
100.96/101.08	o 204
100.96/101.08	c Elapsed CPU time: 100.868 s	Remaining CPU time: 79.1323 s
100.96/101.08	c ===============================================================================
100.96/101.08	c |      1749 |   29806   257635   595709 |    85878      351     46 | 56.423 % |
101.07/101.12	c ===============================================================================
101.07/101.12	c New solution: 203
101.07/101.12	o 203
101.07/101.12	c Elapsed CPU time: 100.915 s	Remaining CPU time: 79.0853 s
101.07/101.12	c ===============================================================================
101.07/101.12	c |      1749 |   29564   257636   596009 |    85878      351     46 | 56.423 % |
101.07/101.16	c ===============================================================================
101.07/101.16	c New solution: 202
101.07/101.16	o 202
101.07/101.16	c Elapsed CPU time: 100.955 s	Remaining CPU time: 79.0453 s
101.07/101.16	c ===============================================================================
101.07/101.16	c |      1750 |   29322   257637   596309 |    85879      352     46 | 56.423 % |
101.17/101.21	c ===============================================================================
101.17/101.21	c New solution: 201
101.17/101.21	o 201
101.17/101.21	c Elapsed CPU time: 101.004 s	Remaining CPU time: 78.9964 s
101.17/101.21	c ===============================================================================
101.17/101.21	c |      1755 |   29080   257638   596609 |    85879      357     45 | 56.423 % |
101.17/101.25	c ===============================================================================
101.17/101.25	c New solution: 200
101.17/101.25	o 200
101.17/101.25	c Elapsed CPU time: 101.044 s	Remaining CPU time: 78.9564 s
101.17/101.25	c ===============================================================================
101.17/101.25	c |      1763 |   28838   257639   596909 |    85879      365     45 | 56.423 % |
101.26/101.30	c ===============================================================================
101.26/101.30	c New solution: 199
101.26/101.30	o 199
101.26/101.30	c Elapsed CPU time: 101.095 s	Remaining CPU time: 78.9054 s
101.26/101.30	c ===============================================================================
101.26/101.30	c |      1767 |   28596   257640   597209 |    85880      369     44 | 56.423 % |
101.26/101.36	c |      1869 |   28563   257640   597209 |    94468      471     49 | 61.075 % |
101.36/101.47	c |      2019 |   28553   257640   597209 |   103914      621     53 | 61.075 % |
101.46/101.50	c ===============================================================================
101.46/101.51	c New solution: 198
101.46/101.51	o 198
101.46/101.51	c Elapsed CPU time: 101.296 s	Remaining CPU time: 78.7044 s
101.46/101.51	c ===============================================================================
101.46/101.51	c |      2020 |   28354   257641   597509 |    85880      622     53 | 61.075 % |
101.46/101.55	c ===============================================================================
101.46/101.55	c New solution: 197
101.46/101.55	o 197
101.46/101.55	c Elapsed CPU time: 101.338 s	Remaining CPU time: 78.6624 s
101.46/101.55	c ===============================================================================
101.46/101.55	c |      2025 |   28112   257642   597809 |    85880      263     43 | 61.075 % |
101.46/101.59	c ===============================================================================
101.46/101.59	c New solution: 196
101.46/101.59	o 196
101.46/101.59	c Elapsed CPU time: 101.378 s	Remaining CPU time: 78.6224 s
101.46/101.59	c ===============================================================================
101.46/101.59	c |      2031 |   27870   257643   598109 |    85881      269     43 | 61.075 % |
101.56/101.63	c ===============================================================================
101.56/101.63	c New solution: 195
101.56/101.63	o 195
101.56/101.63	c Elapsed CPU time: 101.424 s	Remaining CPU time: 78.5764 s
101.56/101.63	c ===============================================================================
101.56/101.63	c |      2036 |   27628   257644   598409 |    85881      274     42 | 61.075 % |
101.56/101.68	c ===============================================================================
101.56/101.68	c New solution: 194
101.56/101.68	o 194
101.56/101.68	c Elapsed CPU time: 101.473 s	Remaining CPU time: 78.5274 s
101.56/101.68	c ===============================================================================
101.56/101.68	c |      2079 |   27386   257645   598709 |    85881      317     44 | 61.075 % |
101.66/101.73	c ===============================================================================
101.66/101.73	c New solution: 193
101.66/101.73	o 193
101.66/101.73	c Elapsed CPU time: 101.52 s	Remaining CPU time: 78.4804 s
101.66/101.73	c ===============================================================================
101.66/101.73	c |      2084 |   27144   257646   599009 |    85882      322     44 | 61.075 % |
101.66/101.78	c ===============================================================================
101.66/101.78	c New solution: 192
101.66/101.78	o 192
101.66/101.78	c Elapsed CPU time: 101.566 s	Remaining CPU time: 78.4344 s
101.66/101.78	c ===============================================================================
101.66/101.78	c |      2087 |   26902   257647   599309 |    85882      325     43 | 61.075 % |
101.76/101.82	c ===============================================================================
101.76/101.82	c New solution: 191
101.76/101.82	o 191
101.76/101.82	c Elapsed CPU time: 101.612 s	Remaining CPU time: 78.3884 s
101.76/101.82	c ===============================================================================
101.76/101.82	c |      2089 |   26660   257648   599609 |    85882      327     43 | 61.075 % |
101.76/101.87	c ===============================================================================
101.76/101.87	c New solution: 190
101.76/101.87	o 190
101.76/101.87	c Elapsed CPU time: 101.655 s	Remaining CPU time: 78.3455 s
101.76/101.87	c ===============================================================================
101.76/101.87	c |      2090 |   26418   257649   599909 |    85883      328     43 | 61.075 % |
101.86/101.91	c ===============================================================================
101.86/101.91	c New solution: 189
101.86/101.91	o 189
101.86/101.91	c Elapsed CPU time: 101.702 s	Remaining CPU time: 78.2985 s
101.86/101.91	c ===============================================================================
101.86/101.91	c |      2093 |   26176   257650   600209 |    85883      331     43 | 61.075 % |
101.86/101.96	c ===============================================================================
101.86/101.96	c New solution: 188
101.86/101.96	o 188
101.86/101.96	c Elapsed CPU time: 101.746 s	Remaining CPU time: 78.2545 s
101.86/101.96	c ===============================================================================
101.86/101.96	c |      2096 |   25934   257651   600509 |    85883      334     43 | 61.075 % |
101.96/102.00	c ===============================================================================
101.96/102.00	c New solution: 187
101.96/102.00	o 187
101.96/102.00	c Elapsed CPU time: 101.791 s	Remaining CPU time: 78.2095 s
101.96/102.00	c ===============================================================================
101.96/102.00	c |      2102 |   25692   257652   600809 |    85884      340     42 | 61.075 % |
101.96/102.05	c ===============================================================================
101.96/102.05	c New solution: 186
101.96/102.05	o 186
101.96/102.05	c Elapsed CPU time: 101.84 s	Remaining CPU time: 78.1605 s
101.96/102.05	c ===============================================================================
101.96/102.05	c |      2117 |   25450   257653   601109 |    85884      355     42 | 61.075 % |
102.07/102.11	c ===============================================================================
102.07/102.11	c New solution: 185
102.07/102.11	o 185
102.07/102.11	c Elapsed CPU time: 101.893 s	Remaining CPU time: 78.1075 s
102.07/102.11	c ===============================================================================
102.07/102.11	c |      2144 |   25208   257654   601409 |    85884      382     43 | 61.075 % |
102.07/102.15	c ===============================================================================
102.07/102.15	c New solution: 184
102.07/102.15	o 184
102.07/102.15	c Elapsed CPU time: 101.936 s	Remaining CPU time: 78.0645 s
102.07/102.15	c ===============================================================================
102.07/102.15	c |      2144 |   24966   257655   601709 |    85885      382     43 | 61.075 % |
102.07/102.19	c ===============================================================================
102.07/102.19	c New solution: 183
102.07/102.19	o 183
102.07/102.19	c Elapsed CPU time: 101.978 s	Remaining CPU time: 78.0215 s
102.07/102.19	c ===============================================================================
102.07/102.19	c |      2144 |   24724   257656   602009 |    85885      382     43 | 61.075 % |
102.17/102.24	c ===============================================================================
102.17/102.24	c New solution: 182
102.17/102.24	o 182
102.17/102.24	c Elapsed CPU time: 102.021 s	Remaining CPU time: 77.9785 s
102.17/102.24	c ===============================================================================
102.17/102.24	c |      2144 |   24482   257657   602309 |    85885      382     43 | 61.075 % |
102.17/102.28	c ===============================================================================
102.17/102.28	c New solution: 181
102.17/102.28	o 181
102.17/102.28	c Elapsed CPU time: 102.063 s	Remaining CPU time: 77.9365 s
102.17/102.28	c ===============================================================================
102.17/102.28	c |      2145 |   24240   257658   602609 |    85886      383     43 | 61.075 % |
102.27/102.32	c ===============================================================================
102.27/102.32	c New solution: 180
102.27/102.32	o 180
102.27/102.32	c Elapsed CPU time: 102.106 s	Remaining CPU time: 77.8935 s
102.27/102.32	c ===============================================================================
102.27/102.32	c |      2149 |   23998   257659   602909 |    85886      387     43 | 61.075 % |
102.27/102.37	c ===============================================================================
102.27/102.37	c New solution: 179
102.27/102.37	o 179
102.27/102.37	c Elapsed CPU time: 102.149 s	Remaining CPU time: 77.8505 s
102.27/102.37	c ===============================================================================
102.27/102.37	c |      2150 |   23756   257660   603209 |    85886      388     42 | 61.075 % |
102.37/102.41	c ===============================================================================
102.37/102.41	c New solution: 178
102.37/102.41	o 178
102.37/102.41	c Elapsed CPU time: 102.191 s	Remaining CPU time: 77.8085 s
102.37/102.41	c ===============================================================================
102.37/102.41	c |      2150 |   23514   257661   603509 |    85887      388     42 | 61.075 % |
102.37/102.45	c ===============================================================================
102.37/102.45	c New solution: 177
102.37/102.45	o 177
102.37/102.45	c Elapsed CPU time: 102.232 s	Remaining CPU time: 77.7675 s
102.37/102.45	c ===============================================================================
102.37/102.45	c |      2152 |   23272   257662   603809 |    85887      390     42 | 61.075 % |
102.37/102.49	c ===============================================================================
102.37/102.49	c New solution: 176
102.37/102.49	o 176
102.37/102.49	c Elapsed CPU time: 102.274 s	Remaining CPU time: 77.7255 s
102.37/102.49	c ===============================================================================
102.37/102.49	c |      2153 |   23030   257663   604109 |    85887      391     42 | 61.075 % |
102.46/102.53	c ===============================================================================
102.46/102.53	c New solution: 175
102.46/102.53	o 175
102.46/102.53	c Elapsed CPU time: 102.317 s	Remaining CPU time: 77.6826 s
102.46/102.53	c ===============================================================================
102.46/102.53	c |      2158 |   22788   257664   604409 |    85888      141     36 | 61.075 % |
102.46/102.57	c ===============================================================================
102.46/102.57	c New solution: 174
102.46/102.57	o 174
102.46/102.57	c Elapsed CPU time: 102.354 s	Remaining CPU time: 77.6456 s
102.46/102.57	c ===============================================================================
102.46/102.57	c |      2163 |   22546   257665   604709 |    85888      146     35 | 61.075 % |
102.56/102.61	c ===============================================================================
102.56/102.61	c New solution: 173
102.56/102.61	o 173
102.56/102.61	c Elapsed CPU time: 102.397 s	Remaining CPU time: 77.6026 s
102.56/102.61	c ===============================================================================
102.56/102.61	c |      2168 |   22304   257666   605009 |    85888      151     35 | 61.075 % |
102.56/102.66	c ===============================================================================
102.56/102.66	c New solution: 172
102.56/102.66	o 172
102.56/102.66	c Elapsed CPU time: 102.44 s	Remaining CPU time: 77.5596 s
102.56/102.66	c ===============================================================================
102.56/102.66	c |      2171 |   22062   257667   605309 |    85889      154     35 | 61.075 % |
102.66/102.70	c ===============================================================================
102.66/102.70	c New solution: 171
102.66/102.70	o 171
102.66/102.70	c Elapsed CPU time: 102.482 s	Remaining CPU time: 77.5176 s
102.66/102.70	c ===============================================================================
102.66/102.70	c |      2174 |   21820   257668   605609 |    85889      157     35 | 61.075 % |
102.66/102.74	c |      2276 |   21794   257668   605609 |    94478      259     46 | 70.377 % |
102.76/102.88	c |      2426 |   21785   257668   605609 |   103926      409     50 | 70.377 % |
102.86/102.91	c ===============================================================================
102.86/102.91	c New solution: 170
102.86/102.91	o 170
102.86/102.91	c Elapsed CPU time: 102.694 s	Remaining CPU time: 77.3056 s
102.86/102.91	c ===============================================================================
102.86/102.91	c |      2428 |   21578   257669   605909 |    85889      411     50 | 70.377 % |
102.86/102.96	c ===============================================================================
102.86/102.96	c New solution: 169
102.86/102.96	o 169
102.86/102.96	c Elapsed CPU time: 102.735 s	Remaining CPU time: 77.2646 s
102.86/102.96	c ===============================================================================
102.86/102.96	c |      2428 |   21336   257670   606209 |    85890      411     50 | 70.377 % |
102.86/103.00	c ===============================================================================
102.86/103.00	c New solution: 168
102.86/103.00	o 168
102.86/103.00	c Elapsed CPU time: 102.775 s	Remaining CPU time: 77.2246 s
102.86/103.00	c ===============================================================================
102.86/103.00	c |      2428 |   21094   257671   606509 |    85890      411     50 | 70.377 % |
102.96/103.04	c ===============================================================================
102.96/103.04	c New solution: 167
102.96/103.04	o 167
102.96/103.04	c Elapsed CPU time: 102.814 s	Remaining CPU time: 77.1856 s
102.96/103.04	c ===============================================================================
102.96/103.04	c |      2429 |   20852   257672   606809 |    85890      412     50 | 70.377 % |
102.96/103.08	c ===============================================================================
102.96/103.08	c New solution: 166
102.96/103.08	o 166
102.96/103.08	c Elapsed CPU time: 102.854 s	Remaining CPU time: 77.1456 s
102.96/103.08	c ===============================================================================
102.96/103.08	c |      2429 |   20610   257673   607109 |    85891      412     50 | 70.377 % |
103.06/103.12	c ===============================================================================
103.06/103.12	c New solution: 165
103.06/103.12	o 165
103.06/103.12	c Elapsed CPU time: 102.898 s	Remaining CPU time: 77.1016 s
103.06/103.12	c ===============================================================================
103.06/103.12	c |      2432 |   20368   257674   607409 |    85891      415     50 | 70.377 % |
103.06/103.16	c ===============================================================================
103.06/103.16	c New solution: 164
103.06/103.16	o 164
103.06/103.16	c Elapsed CPU time: 102.937 s	Remaining CPU time: 77.0626 s
103.06/103.16	c ===============================================================================
103.06/103.16	c |      2433 |   20126   257675   607709 |    85891      416     50 | 70.377 % |
103.16/103.21	c ===============================================================================
103.16/103.21	c New solution: 163
103.16/103.21	o 163
103.16/103.21	c Elapsed CPU time: 102.981 s	Remaining CPU time: 77.0187 s
103.16/103.21	c ===============================================================================
103.16/103.21	c |      2436 |   19884   257676   608009 |    85892      419     50 | 70.377 % |
103.16/103.25	c ===============================================================================
103.16/103.25	c New solution: 162
103.16/103.25	o 162
103.16/103.25	c Elapsed CPU time: 103.022 s	Remaining CPU time: 76.9777 s
103.16/103.25	c ===============================================================================
103.16/103.25	c |      2439 |   19642   257677   608309 |    85892      422     49 | 70.377 % |
103.16/103.28	c ===============================================================================
103.16/103.28	c New solution: 161
103.16/103.28	o 161
103.16/103.28	c Elapsed CPU time: 103.057 s	Remaining CPU time: 76.9427 s
103.16/103.28	c ===============================================================================
103.16/103.28	c |      2443 |   19400   257678   608609 |    85892      426     49 | 70.377 % |
103.26/103.32	c ===============================================================================
103.26/103.32	c New solution: 160
103.26/103.32	o 160
103.26/103.32	c Elapsed CPU time: 103.098 s	Remaining CPU time: 76.9017 s
103.26/103.32	c ===============================================================================
103.26/103.32	c |      2447 |   19158   257679   608909 |    85893      430     49 | 70.377 % |
103.26/103.36	c ===============================================================================
103.26/103.36	c New solution: 159
103.26/103.36	o 159
103.26/103.36	c Elapsed CPU time: 103.135 s	Remaining CPU time: 76.8647 s
103.26/103.36	c ===============================================================================
103.26/103.36	c |      2448 |   18916   257680   609209 |    85893      431     49 | 70.377 % |
103.26/103.40	c ===============================================================================
103.26/103.40	c New solution: 158
103.26/103.40	o 158
103.26/103.40	c Elapsed CPU time: 103.174 s	Remaining CPU time: 76.8257 s
103.26/103.40	c ===============================================================================
103.26/103.40	c |      2452 |   18674   257681   609509 |    85893      435     49 | 70.377 % |
103.37/103.44	c ===============================================================================
103.37/103.44	c New solution: 157
103.37/103.44	o 157
103.37/103.44	c Elapsed CPU time: 103.213 s	Remaining CPU time: 76.7867 s
103.37/103.44	c ===============================================================================
103.37/103.44	c |      2454 |   18432   257682   609809 |    85894      437     49 | 70.377 % |
103.37/103.48	c ===============================================================================
103.37/103.48	c New solution: 156
103.37/103.48	o 156
103.37/103.48	c Elapsed CPU time: 103.249 s	Remaining CPU time: 76.7507 s
103.37/103.48	c ===============================================================================
103.37/103.48	c |      2467 |   18190   257683   610109 |    85894      450     48 | 70.377 % |
103.46/103.52	c ===============================================================================
103.46/103.52	c New solution: 155
103.46/103.52	o 155
103.46/103.52	c Elapsed CPU time: 103.291 s	Remaining CPU time: 76.7087 s
103.46/103.52	c ===============================================================================
103.46/103.52	c |      2475 |   17948   257684   610409 |    85894      458     48 | 70.377 % |
103.46/103.57	c ===============================================================================
103.46/103.57	c New solution: 154
103.46/103.57	o 154
103.46/103.57	c Elapsed CPU time: 103.336 s	Remaining CPU time: 76.6637 s
103.46/103.57	c ===============================================================================
103.46/103.57	c |      2495 |   17706   257685   610709 |    85895      478     47 | 70.377 % |
103.56/103.60	c ===============================================================================
103.56/103.60	c New solution: 153
103.56/103.60	o 153
103.56/103.60	c Elapsed CPU time: 103.373 s	Remaining CPU time: 76.6267 s
103.56/103.60	c ===============================================================================
103.56/103.60	c |      2496 |   17464   257686   611009 |    85895      479     47 | 70.377 % |
103.56/103.64	c ===============================================================================
103.56/103.64	c New solution: 152
103.56/103.64	o 152
103.56/103.64	c Elapsed CPU time: 103.413 s	Remaining CPU time: 76.5867 s
103.56/103.64	c ===============================================================================
103.56/103.64	c |      2501 |   17222   257687   611309 |    85895      151     35 | 70.377 % |
103.56/103.68	c ===============================================================================
103.56/103.68	c New solution: 151
103.56/103.68	o 151
103.56/103.68	c Elapsed CPU time: 103.45 s	Remaining CPU time: 76.5497 s
103.56/103.68	c ===============================================================================
103.56/103.68	c |      2501 |   16980   257688   611609 |    85896      151     35 | 70.377 % |
103.66/103.72	c ===============================================================================
103.66/103.72	c New solution: 150
103.66/103.72	o 150
103.66/103.72	c Elapsed CPU time: 103.485 s	Remaining CPU time: 76.5147 s
103.66/103.72	c ===============================================================================
103.66/103.72	c |      2506 |   16738   257689   611909 |    85896      156     35 | 70.377 % |
103.66/103.75	c ===============================================================================
103.66/103.75	c New solution: 149
103.66/103.75	o 149
103.66/103.75	c Elapsed CPU time: 103.522 s	Remaining CPU time: 76.4777 s
103.66/103.75	c ===============================================================================
103.66/103.75	c |      2510 |   16496   257690   612209 |    85896      160     35 | 70.377 % |
103.66/103.79	c ===============================================================================
103.66/103.79	c New solution: 148
103.66/103.79	o 148
103.66/103.79	c Elapsed CPU time: 103.553 s	Remaining CPU time: 76.4467 s
103.66/103.79	c ===============================================================================
103.66/103.79	c |      2511 |   16254   257691   612509 |    85897      161     35 | 70.377 % |
103.76/103.82	c ===============================================================================
103.76/103.82	c New solution: 147
103.76/103.82	o 147
103.76/103.82	c Elapsed CPU time: 103.586 s	Remaining CPU time: 76.4137 s
103.76/103.82	c ===============================================================================
103.76/103.82	c |      2515 |   16012   257692   612809 |    85897      165     35 | 70.377 % |
103.76/103.85	c ===============================================================================
103.76/103.85	c New solution: 146
103.76/103.85	o 146
103.76/103.85	c Elapsed CPU time: 103.619 s	Remaining CPU time: 76.3808 s
103.76/103.85	c ===============================================================================
103.76/103.85	c |      2519 |   15770   257693   613109 |    85897      169     34 | 70.377 % |
103.76/103.89	c ===============================================================================
103.76/103.89	c New solution: 145
103.76/103.89	o 145
103.76/103.89	c Elapsed CPU time: 103.655 s	Remaining CPU time: 76.3448 s
103.76/103.89	c ===============================================================================
103.76/103.89	c |      2519 |   15528   257694   613409 |    85898      169     34 | 70.377 % |
103.86/103.92	c ===============================================================================
103.86/103.92	c New solution: 144
103.86/103.92	o 144
103.86/103.92	c Elapsed CPU time: 103.691 s	Remaining CPU time: 76.3088 s
103.86/103.92	c ===============================================================================
103.86/103.92	c |      2519 |   15286   257695   613709 |    85898      169     34 | 70.377 % |
103.86/103.96	c ===============================================================================
103.86/103.96	c New solution: 143
103.86/103.96	o 143
103.86/103.96	c Elapsed CPU time: 103.726 s	Remaining CPU time: 76.2738 s
103.86/103.96	c ===============================================================================
103.86/103.96	c |      2519 |   15044   257696   614009 |    85898      169     34 | 70.377 % |
103.96/104.00	c ===============================================================================
103.96/104.00	c New solution: 142
103.96/104.00	o 142
103.96/104.00	c Elapsed CPU time: 103.763 s	Remaining CPU time: 76.2368 s
103.96/104.00	c ===============================================================================
103.96/104.00	c |      2522 |   14802   257697   614309 |    85899      172     35 | 70.377 % |
103.96/104.03	c ===============================================================================
103.96/104.03	c New solution: 141
103.96/104.03	o 141
103.96/104.03	c Elapsed CPU time: 103.8 s	Remaining CPU time: 76.1998 s
103.96/104.03	c ===============================================================================
103.96/104.03	c |      2530 |   14560   257698   614609 |    85899      180     34 | 70.377 % |
103.96/104.08	c ===============================================================================
103.96/104.08	c New solution: 140
103.96/104.08	o 140
103.96/104.08	c Elapsed CPU time: 103.846 s	Remaining CPU time: 76.1538 s
103.96/104.08	c ===============================================================================
103.96/104.08	c |      2544 |   14318   257699   614909 |    85899      194     36 | 70.377 % |
104.06/104.12	c ===============================================================================
104.06/104.12	c New solution: 139
104.06/104.12	o 139
104.06/104.12	c Elapsed CPU time: 103.883 s	Remaining CPU time: 76.1168 s
104.06/104.12	c ===============================================================================
104.06/104.12	c |      2562 |   14076   257700   615209 |    85900      212     36 | 70.377 % |
104.06/104.15	c ===============================================================================
104.06/104.15	c New solution: 138
104.06/104.15	o 138
104.06/104.15	c Elapsed CPU time: 103.919 s	Remaining CPU time: 76.0808 s
104.06/104.15	c ===============================================================================
104.06/104.15	c |      2565 |   13834   257701   615509 |    85900      215     36 | 70.377 % |
104.06/104.19	c ===============================================================================
104.06/104.19	c New solution: 137
104.06/104.19	o 137
104.06/104.19	c Elapsed CPU time: 103.953 s	Remaining CPU time: 76.0468 s
104.06/104.19	c ===============================================================================
104.06/104.19	c |      2570 |   13592   257702   615809 |    85900      220     35 | 70.377 % |
104.17/104.22	c ===============================================================================
104.17/104.22	c New solution: 136
104.17/104.22	o 136
104.17/104.22	c Elapsed CPU time: 103.988 s	Remaining CPU time: 76.0118 s
104.17/104.22	c ===============================================================================
104.17/104.22	c |      2571 |   13350   257703   616109 |    85901      221     35 | 70.377 % |
104.17/104.26	c ===============================================================================
104.17/104.26	c New solution: 135
104.17/104.26	o 135
104.17/104.26	c Elapsed CPU time: 104.023 s	Remaining CPU time: 75.9768 s
104.17/104.26	c ===============================================================================
104.17/104.26	c |      2572 |   13108   257704   616409 |    85901      222     35 | 70.377 % |
104.17/104.29	c ===============================================================================
104.17/104.29	c New solution: 134
104.17/104.29	o 134
104.17/104.29	c Elapsed CPU time: 104.057 s	Remaining CPU time: 75.9428 s
104.17/104.29	c ===============================================================================
104.17/104.29	c |      2575 |   12866   257705   616709 |    85901      225     35 | 70.377 % |
104.27/104.33	c ===============================================================================
104.27/104.33	c New solution: 133
104.27/104.33	o 133
104.27/104.33	c Elapsed CPU time: 104.092 s	Remaining CPU time: 75.9078 s
104.27/104.33	c ===============================================================================
104.27/104.33	c |      2579 |   12624   257706   617009 |    85902      229     35 | 70.377 % |
104.27/104.36	c ===============================================================================
104.27/104.36	c New solution: 132
104.27/104.36	o 132
104.27/104.36	c Elapsed CPU time: 104.123 s	Remaining CPU time: 75.8768 s
104.27/104.36	c ===============================================================================
104.27/104.36	c |      2582 |   12382   257707   617309 |    85902      232     34 | 70.377 % |
104.27/104.39	c ===============================================================================
104.27/104.39	c New solution: 131
104.27/104.39	o 131
104.27/104.39	c Elapsed CPU time: 104.154 s	Remaining CPU time: 75.8458 s
104.27/104.39	c ===============================================================================
104.27/104.39	c |      2585 |   12140   257708   617609 |    85902      235     34 | 70.377 % |
104.37/104.42	c ===============================================================================
104.37/104.42	c New solution: 130
104.37/104.42	o 130
104.37/104.42	c Elapsed CPU time: 104.183 s	Remaining CPU time: 75.8168 s
104.37/104.42	c ===============================================================================
104.37/104.42	c |      2588 |   11898   257709   617909 |    85903      238     34 | 70.377 % |
104.37/104.46	c ===============================================================================
104.37/104.46	c New solution: 129
104.37/104.46	o 129
104.37/104.46	c Elapsed CPU time: 104.219 s	Remaining CPU time: 75.7808 s
104.37/104.46	c ===============================================================================
104.37/104.46	c |      2596 |   11656   257710   618209 |    85903      246     34 | 70.377 % |
104.37/104.49	c ===============================================================================
104.37/104.49	c New solution: 128
104.37/104.49	o 128
104.37/104.49	c Elapsed CPU time: 104.251 s	Remaining CPU time: 75.7488 s
104.37/104.49	c ===============================================================================
104.37/104.49	c |      2597 |   11414   257711   618509 |    85903      247     34 | 70.377 % |
104.47/104.52	c ===============================================================================
104.47/104.52	c New solution: 127
104.47/104.52	o 127
104.47/104.52	c Elapsed CPU time: 104.284 s	Remaining CPU time: 75.7159 s
104.47/104.52	c ===============================================================================
104.47/104.52	c |      2599 |   11172   257712   618809 |    85904      249     33 | 70.377 % |
104.47/104.55	c ===============================================================================
104.47/104.55	c New solution: 126
104.47/104.55	o 126
104.47/104.55	c Elapsed CPU time: 104.318 s	Remaining CPU time: 75.6819 s
104.47/104.55	c ===============================================================================
104.47/104.55	c |      2605 |   10930   257713   619109 |    85904      255     33 | 70.377 % |
104.47/104.59	c ===============================================================================
104.47/104.59	c New solution: 125
104.47/104.59	o 125
104.47/104.59	c Elapsed CPU time: 104.351 s	Remaining CPU time: 75.6489 s
104.47/104.59	c ===============================================================================
104.47/104.59	c |      2610 |   10688   257714   619409 |    85904      260     33 | 70.377 % |
104.57/104.62	c ===============================================================================
104.57/104.62	c New solution: 124
104.57/104.62	o 124
104.57/104.62	c Elapsed CPU time: 104.384 s	Remaining CPU time: 75.6159 s
104.57/104.62	c ===============================================================================
104.57/104.62	c |      2628 |   10446   257715   619709 |    85905      278     33 | 70.377 % |
104.57/104.68	c |      2731 |   10441   257715   619709 |    94495      381     37 | 85.992 % |
104.66/104.71	c ===============================================================================
104.66/104.71	c New solution: 123
104.66/104.71	o 123
104.66/104.71	c Elapsed CPU time: 104.475 s	Remaining CPU time: 75.5249 s
104.66/104.71	c ===============================================================================
104.66/104.71	c |      2734 |   10204   257716   620009 |    85905      384     37 | 85.992 % |
104.66/104.74	c ===============================================================================
104.66/104.74	c New solution: 122
104.66/104.74	o 122
104.66/104.74	c Elapsed CPU time: 104.507 s	Remaining CPU time: 75.4929 s
104.66/104.74	c ===============================================================================
104.66/104.74	c |      2736 |    9962   257717   620309 |    85905      386     37 | 85.992 % |
104.66/104.78	c ===============================================================================
104.66/104.78	c New solution: 121
104.66/104.78	o 121
104.66/104.78	c Elapsed CPU time: 104.542 s	Remaining CPU time: 75.4579 s
104.66/104.78	c ===============================================================================
104.66/104.78	c |      2753 |    9720   257718   620609 |    85906      403     36 | 85.992 % |
104.76/104.81	c ===============================================================================
104.76/104.81	c New solution: 120
104.76/104.81	o 120
104.76/104.81	c Elapsed CPU time: 104.572 s	Remaining CPU time: 75.4279 s
104.76/104.81	c ===============================================================================
104.76/104.81	c |      2763 |    9478   257719   620909 |    85906      413     36 | 85.992 % |
104.76/104.84	c ===============================================================================
104.76/104.84	c New solution: 119
104.76/104.84	o 119
104.76/104.84	c Elapsed CPU time: 104.601 s	Remaining CPU time: 75.3989 s
104.76/104.84	c ===============================================================================
104.76/104.84	c |      2768 |    9236   257720   621209 |    85906      418     36 | 85.992 % |
104.76/104.87	c ===============================================================================
104.76/104.87	c New solution: 118
104.76/104.87	o 118
104.76/104.87	c Elapsed CPU time: 104.631 s	Remaining CPU time: 75.3689 s
104.76/104.87	c ===============================================================================
104.76/104.87	c |      2777 |    8994   257721   621509 |    85907      427     36 | 85.992 % |
104.86/104.91	c |      2878 |    8977   257721   621509 |    94497      528     43 | 87.985 % |
105.06/105.11	c |      3029 |    8968   257721   621509 |   103947      679     48 | 87.985 % |
105.06/105.16	c ===============================================================================
105.06/105.16	c New solution: 117
105.06/105.16	o 117
105.06/105.16	c Elapsed CPU time: 104.916 s	Remaining CPU time: 75.084 s
105.06/105.16	c ===============================================================================
105.06/105.16	c |      3103 |    8752   257722   621809 |    85907      495     53 | 87.985 % |
105.16/105.20	c |      3203 |    8727   257722   621809 |    94498      595     55 | 88.317 % |
105.26/105.36	c |      3353 |    8722   257722   621809 |   103947      745     56 | 88.317 % |
105.36/105.44	c |      3578 |    8713   257722   621809 |   114342      970     53 | 88.317 % |
105.66/105.76	c |      3915 |    8711   257722   621809 |   125776     1307     56 | 88.317 % |
105.86/105.93	c |      4421 |    8704   257722   621809 |   138354     1813     56 | 88.317 % |
106.67/106.79	c |      5181 |    8695   257722   621809 |   152190     2573     64 | 88.317 % |
106.76/106.84	c ===============================================================================
106.76/106.84	c New solution: 116
106.76/106.84	o 116
106.76/106.84	c Elapsed CPU time: 106.586 s	Remaining CPU time: 73.4142 s
106.76/106.84	c ===============================================================================
106.76/106.84	c |      5204 |    8510   257723   622109 |    85907     2556     64 | 88.317 % |
106.76/106.87	c ===============================================================================
106.76/106.87	c New solution: 115
106.76/106.87	o 115
106.76/106.87	c Elapsed CPU time: 106.618 s	Remaining CPU time: 73.3822 s
106.76/106.87	c ===============================================================================
106.76/106.87	c |      5219 |    8268   257724   622409 |    85908     2571     64 | 88.317 % |
106.86/106.93	c |      5320 |    8258   257724   622409 |    94498     2672     65 | 88.982 % |
106.96/107.08	c |      5472 |    8247   257724   622409 |   103948     2824     64 | 88.982 % |
107.06/107.16	c |      5697 |    8231   257724   622409 |   114343     3049     63 | 88.982 % |
107.36/107.45	c |      6034 |    8226   257724   622409 |   125777     3386     64 | 88.982 % |
107.46/107.53	c ===============================================================================
107.46/107.53	c New solution: 114
107.46/107.53	o 114
107.46/107.53	c Elapsed CPU time: 107.279 s	Remaining CPU time: 72.7213 s
107.46/107.53	c ===============================================================================
107.46/107.53	c |      6109 |    8026   257725   622709 |    85908     3461     64 | 88.982 % |
107.56/107.60	c |      6209 |    7986   257725   622709 |    94499     3561     64 | 89.314 % |
107.67/107.77	c |      6361 |    7981   257725   622709 |   103949     3713     64 | 89.314 % |
107.76/107.84	c |      6586 |    7969   257725   622709 |   114343     3938     63 | 89.314 % |
107.96/108.06	c |      6923 |    7965   257725   622709 |   125778     4275     64 | 89.314 % |
108.36/108.44	c |      7429 |    7955   257725   622709 |   138356     4781     63 | 89.314 % |
109.16/109.24	c |      8188 |    7784   257725   622709 |   152191     4132     58 | 89.314 % |
109.46/109.59	c |      9328 |    7784   257725   622709 |   167411     5272     56 | 89.314 % |
111.55/111.64	c |     11039 |    7784   257725   622709 |   184152     6983     62 | 89.314 % |
112.46/112.51	c |     13602 |    7784   257725   622709 |   202567     9546     58 | 89.314 % |
118.46/118.50	c |     17446 |    7784   257725   622709 |   222824    13390     68 | 89.314 % |
126.36/126.42	c |     23213 |    7784   257725   622709 |   245106    19157     76 | 89.314 % |
126.36/126.46	c ===============================================================================
126.36/126.46	c New solution: 113
126.36/126.46	o 113
126.36/126.46	c Elapsed CPU time: 126.138 s	Remaining CPU time: 53.8622 s
126.36/126.46	c ===============================================================================
126.36/126.46	c |     23230 |    7784   257726   623009 |    85908    19174     76 | 89.314 % |
126.46/126.56	c |     23331 |    7542   257726   623009 |    94499    13331     67 | 89.646 % |
126.55/126.63	c ===============================================================================
126.55/126.63	c New solution: 112
126.55/126.63	o 112
126.55/126.63	c Elapsed CPU time: 126.311 s	Remaining CPU time: 53.6892 s
126.55/126.63	c ===============================================================================
126.55/126.63	c |     23372 |    7542   257727   623309 |    85909    13372     67 | 89.646 % |
126.55/126.69	c |     23473 |    7520   257727   623309 |    94499    13473     67 | 89.978 % |
126.65/126.74	c ===============================================================================
126.65/126.74	c New solution: 111
126.65/126.74	o 111
126.65/126.74	c Elapsed CPU time: 126.425 s	Remaining CPU time: 53.5752 s
126.65/126.74	c ===============================================================================
126.65/126.74	c |     23530 |    7300   257728   623609 |    85909    13530     66 | 89.978 % |
126.75/126.87	c |     23630 |    7288   257728   623609 |    94500    13630     66 | 90.311 % |
126.95/127.02	c |     23780 |    7274   257728   623609 |   103950    13780     66 | 90.311 % |
127.05/127.11	c |     24005 |    7264   257728   623609 |   114345    14005     66 | 90.311 % |
127.35/127.43	c |     24342 |    7259   257728   623609 |   125779    14342     66 | 90.311 % |
127.57/127.62	c |     24848 |    7256   257728   623609 |   138357    14848     65 | 90.311 % |
128.46/128.57	c |     25607 |    7248   257728   623609 |   152193    15607     66 | 90.311 % |
129.76/129.83	c |     26747 |    7241   257728   623609 |   167412    16747     66 | 90.311 % |
130.45/130.54	c |     28455 |    7232   257728   623609 |   184154    18455     66 | 90.311 % |
133.95/134.03	c |     31018 |    7058   257728   623609 |   202569    15057     62 | 90.311 % |
135.86/135.92	c |     34867 |    7058   257728   623609 |   222826    18906     62 | 90.311 % |
144.15/144.29	c |     40634 |    7058   257728   623609 |   245109    24673     70 | 90.311 % |
149.46/149.56	c |     49284 |    7058   257728   623609 |   269620    33323     71 | 90.311 % |
150.15/150.27	c ===============================================================================
150.15/150.27	c New solution: 110
150.15/150.27	o 110
150.15/150.27	c Elapsed CPU time: 149.865 s	Remaining CPU time: 30.1348 s
150.15/150.27	c ===============================================================================
150.15/150.27	c |     50559 |    7058   257729   623909 |    85909    34598     70 | 90.311 % |
150.35/150.49	c |     50659 |    6816   257729   623909 |    94500    28515     65 | 90.643 % |
150.45/150.57	c |     50809 |    6816   257729   623909 |   103950    28665     65 | 90.643 % |
150.75/150.84	c |     51034 |    6816   257729   623909 |   114345    28890     65 | 90.643 % |
151.05/151.19	c |     51371 |    6816   257729   623909 |   125780    29227     65 | 90.643 % |
151.45/151.52	c |     51877 |    6816   257729   623909 |   138358    29733     64 | 90.643 % |
152.75/152.80	c |     52637 |    6816   257729   623909 |   152194    30493     65 | 90.643 % |
153.55/153.61	c |     53777 |    6816   257729   623909 |   167413    31633     65 | 90.643 % |
155.95/156.02	c |     55485 |    6816   257729   623909 |   184155    33341     66 | 90.643 % |
158.15/158.20	c |     58047 |    6816   257729   623909 |   202570    35903     69 | 90.643 % |
164.44/164.50	c |     61893 |    6816   257729   623909 |   222827    39749     72 | 90.643 % |
168.65/168.72	c |     67661 |    6816   257729   623909 |   245110    45517     73 | 90.643 % |
180.44/180.51	c There are 66026 assigned variables. 286 in cost function.
180.74/180.89	c core #1
180.74/180.89	c ============================[ Search Statistics ]==============================
180.74/180.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.74/180.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.74/180.89	c ===============================================================================
180.74/180.89	c |         0 |    3670    84682    53613 |    28227        0    nan |  0.000 % |
180.84/180.91	c |       100 |    3670    84682    53613 |    31050      100     35 | 94.963 % |
180.84/180.95	c |       250 |    3670    84682    53613 |    34155      250     44 | 94.963 % |
180.94/181.03	c |       476 |    3670    84682    53613 |    37570      476     42 | 94.963 % |
181.04/181.14	c |       813 |    3670    84682    53613 |    41327      813     50 | 94.963 % |
181.24/181.32	c |      1319 |    3670    84682    53613 |    45460     1319     46 | 94.963 % |
181.55/181.60	c |      2081 |    3670    84682    53613 |    50006     2081     50 | 94.963 % |
181.94/182.01	c |      3220 |    3670    84682    53613 |    55007     3220     51 | 94.963 % |
182.64/182.79	c |      4929 |    3670    84682    53613 |    60507     4929     58 | 94.963 % |
183.94/184.00	c |      7492 |    3670    84682    53613 |    66558     7492     57 | 94.963 % |
185.64/185.75	c |     11336 |    3670    84682    53613 |    73214    11336     60 | 94.963 % |
189.74/189.80	c |     17103 |    3670    84682    53613 |    80535    17103     65 | 94.963 % |
196.24/196.36	c |     25753 |    3670    84682    53613 |    88589    25753     69 | 94.963 % |
208.04/208.16	c |     38728 |    3670    84682    53613 |    97448    38728     68 | 94.963 % |
234.03/234.16	c |     58190 |    3670    84682    53613 |   107193    58190     72 | 94.963 % |
283.51/283.66	c |     87383 |    3670    84682    53613 |   117912    87383     74 | 94.963 % |
370.29/370.44	c |    131172 |    3649    84682    53613 |   129703   128989     79 | 94.991 % |
571.63/571.80	c |    196856 |    3556    84682    53613 |   142674   119720     70 | 95.127 % |
800.97/801.28	c ===============================================================================
801.38/801.66	c core #2
801.38/801.66	c ============================[ Search Statistics ]==============================
801.38/801.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
801.38/801.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
801.38/801.66	c ===============================================================================
801.38/801.66	c |         0 |    3942    84733    55217 |    28244        0    nan |  0.000 % |
801.38/801.69	c |       100 |    3942    84733    55217 |    31068      100     38 | 94.591 % |
801.48/801.74	c |       251 |    3942    84733    55217 |    34175      251     40 | 94.591 % |
801.59/801.80	c |       476 |    3942    84733    55217 |    37593      476     47 | 94.591 % |
801.59/801.90	c |       818 |    3942    84733    55217 |    41352      818     45 | 94.591 % |
801.78/802.08	c |      1325 |    3942    84733    55217 |    45487     1325     50 | 94.591 % |
802.07/802.35	c |      2084 |    3942    84733    55217 |    50036     2084     57 | 94.591 % |
802.48/802.78	c |      3223 |    3942    84733    55217 |    55040     3223     60 | 94.591 % |
803.17/803.44	c |      4932 |    3942    84733    55217 |    60544     4932     68 | 94.591 % |
804.17/804.45	c |      7494 |    3942    84733    55217 |    66598     7494     66 | 94.591 % |
806.18/806.49	c |     11339 |    3942    84733    55217 |    73258    11339     71 | 94.591 % |
809.47/809.72	c |     17105 |    3942    84733    55217 |    80584    17105     68 | 94.591 % |
814.37/814.66	c |     25754 |    3942    84733    55217 |    88642    25754     70 | 94.591 % |
825.77/826.01	c |     38728 |    3942    84733    55217 |    97507    38728     66 | 94.591 % |
845.17/845.46	c |     58190 |    3942    84733    55217 |   107257    58190     72 | 94.591 % |
884.96/885.25	c |     87383 |    3942    84733    55217 |   117983    87383     78 | 94.591 % |
983.04/983.37	c |    131172 |    3942    84733    55217 |   129781   131172     79 | 94.591 % |
1180.08/1180.40	c |    196856 |    3942    84733    55217 |   142760   196856     84 | 94.591 % |
1337.94/1338.30	c |    295382 |    3942    84733    55217 |   157036    98774     93 | 94.591 % |
1730.74/1731.26	c |    443171 |    3942    84733    55217 |   172739    43342     90 | 94.591 % |

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-2687204-1278449517/watcher-2687204-1278449517 -o /tmp/evaluation-result-2687204-1278449517/solver-2687204-1278449517 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687204-1278449517.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.18 1.06 1.01 3/106 25159
/proc/meminfo: memFree=1821920/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=11132 CPUtime=0
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 327 0 0 0 0 0 0 0 19 0 1 0 13160188 11399168 245 1992294400 134512640 135751879 4292907152 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 2783 245 140 303 0 373 0

[startup+0.0244099 s]
/proc/loadavg: 1.18 1.06 1.01 3/106 25159
/proc/meminfo: memFree=1821920/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=12152 CPUtime=0.02
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 580 0 0 0 2 0 0 0 19 0 1 0 13160188 12443648 498 1992294400 134512640 135751879 4292907152 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 3038 499 166 303 0 628 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12152

[startup+0.100417 s]
/proc/loadavg: 1.18 1.06 1.01 3/106 25159
/proc/meminfo: memFree=1821920/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=16508 CPUtime=0.09
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 1683 0 0 0 9 0 0 0 19 0 1 0 13160188 16904192 1601 1992294400 134512640 135751879 4292907152 18446744073709551615 134560564 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 4127 1601 289 303 0 1717 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16508

[startup+0.300437 s]
/proc/loadavg: 1.18 1.06 1.01 3/106 25159
/proc/meminfo: memFree=1821920/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=20716 CPUtime=0.28
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 3013 0 0 0 28 0 0 0 20 0 1 0 13160188 21213184 2898 1992294400 134512640 135751879 4292907152 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 5179 2899 619 303 0 2769 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20716

[startup+0.700479 s]
/proc/loadavg: 1.18 1.06 1.01 3/106 25159
/proc/meminfo: memFree=1821920/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=25908 CPUtime=0.68
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 5003 0 0 0 67 1 0 0 21 0 1 0 13160188 26529792 4848 1992294400 134512640 135751879 4292907152 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 6477 4848 1274 303 0 4067 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25908

[startup+1.50056 s]
/proc/loadavg: 1.18 1.06 1.01 2/107 25160
/proc/meminfo: memFree=1801452/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=38572 CPUtime=1.48
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 8689 0 0 0 146 2 0 0 23 0 1 0 13160188 39497728 8420 1992294400 134512640 135751879 4292907152 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 9643 8420 2157 303 0 7233 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38572

[startup+3.10073 s]
/proc/loadavg: 1.24 1.07 1.01 2/107 25160
/proc/meminfo: memFree=1769460/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=57436 CPUtime=3.08
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 15706 0 0 0 303 5 0 0 19 0 1 0 13160188 58814464 13107 1992294400 134512640 135751879 4292907152 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 14359 13107 146 303 0 14054 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 57436

[startup+6.30106 s]
/proc/loadavg: 1.24 1.07 1.01 2/107 25160
/proc/meminfo: memFree=1764128/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=64036 CPUtime=6.29
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 17353 0 0 0 623 6 0 0 25 0 1 0 13160188 65572864 14754 1992294400 134512640 135751879 4292907152 18446744073709551615 134697028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 16009 14754 146 303 0 15704 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64036

[startup+12.7017 s]
/proc/loadavg: 1.51 1.14 1.03 2/107 25160
/proc/meminfo: memFree=1754084/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=73672 CPUtime=12.68
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 19781 0 0 0 1261 7 0 0 25 0 1 0 13160188 75440128 17182 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 18418 17182 146 303 0 18113 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73672

[startup+25.501 s]
/proc/loadavg: 1.66 1.18 1.05 2/107 25160
/proc/meminfo: memFree=1740080/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=86740 CPUtime=25.49
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 23038 0 0 0 2540 9 0 0 25 0 1 0 13160188 88821760 20439 1992294400 134512640 135751879 4292907152 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 21685 20439 146 303 0 21380 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86740

[startup+51.1007 s]
/proc/loadavg: 1.43 1.17 1.05 2/107 25160
/proc/meminfo: memFree=1722968/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=104032 CPUtime=51.08
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 27363 0 0 0 5097 11 0 0 25 0 1 0 13160188 106528768 24764 1992294400 134512640 135751879 4292907152 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 26008 24764 146 303 0 25703 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 104032

[startup+102.308 s]
/proc/loadavg: 1.17 1.14 1.04 2/107 25162
/proc/meminfo: memFree=1705980/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=119924 CPUtime=102.27
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 32779 0 0 0 10208 19 0 0 18 0 1 0 13160188 122802176 28867 1992294400 134512640 135751879 4292907152 18446744073709551615 134598810 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 29981 28867 147 303 0 29676 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119924

[startup+162.301 s]
/proc/loadavg: 1.06 1.11 1.04 2/107 25164
/proc/meminfo: memFree=1705856/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=119924 CPUtime=162.25
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 32779 0 0 0 16185 40 0 0 25 0 1 0 13160188 122802176 28867 1992294400 134512640 135751879 4292907152 18446744073709551615 134604735 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 29981 28867 147 303 0 29676 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 119924

[startup+222.3 s]
/proc/loadavg: 1.02 1.09 1.03 2/107 25166
/proc/meminfo: memFree=1712676/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=111928 CPUtime=222.23
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 33637 0 0 0 22162 61 0 0 25 0 1 0 13160188 114614272 27136 1992294400 134512640 135751879 4292907152 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 27982 27136 151 303 0 27677 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 111928

[startup+282.301 s]
/proc/loadavg: 1.01 1.07 1.02 2/107 25166
/proc/meminfo: memFree=1712676/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=111928 CPUtime=282.21
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 33637 0 0 0 28145 76 0 0 25 0 1 0 13160188 114614272 27136 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 27982 27136 151 303 0 27677 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 111928

[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/107 25168
/proc/meminfo: memFree=1712676/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=111928 CPUtime=342.2
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 33637 0 0 0 34132 88 0 0 25 0 1 0 13160188 114614272 27136 1992294400 134512640 135751879 4292907152 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 27982 27136 151 303 0 27677 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 111928

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 25170
/proc/meminfo: memFree=1712800/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=111928 CPUtime=402.19
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 33637 0 0 0 40120 99 0 0 25 0 1 0 13160188 114614272 27136 1992294400 134512640 135751879 4292907152 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 27982 27136 151 303 0 27677 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 111928

[startup+462.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 25172
/proc/meminfo: memFree=1712676/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=111928 CPUtime=462.16
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 33649 0 0 0 46108 108 0 0 25 0 1 0 13160188 114614272 27148 1992294400 134512640 135751879 4292907152 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 27982 27148 151 303 0 27677 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 111928

[startup+522.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25174
/proc/meminfo: memFree=1712676/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=111928 CPUtime=522.15
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 33649 0 0 0 52096 119 0 0 25 0 1 0 13160188 114614272 27148 1992294400 134512640 135751879 4292907152 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 27982 27148 151 303 0 27677 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 111928

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25183
/proc/meminfo: memFree=1709576/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=115136 CPUtime=582.14
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 34440 0 0 0 58082 132 0 0 25 0 1 0 13160188 117899264 27939 1992294400 134512640 135751879 4292907152 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 28784 27939 151 303 0 28479 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 115136

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25185
/proc/meminfo: memFree=1701516/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=123228 CPUtime=642.13
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 36454 0 0 0 64067 146 0 0 25 0 1 0 13160188 126185472 29953 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 30807 29953 151 303 0 30502 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 123228

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25191
/proc/meminfo: memFree=1670144/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=154420 CPUtime=882.05
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 45002 0 0 0 87993 212 0 0 25 0 1 0 13160188 158126080 37647 1992294400 134512640 135751879 4292907152 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 38605 37647 151 303 0 38300 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 154420

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25193
/proc/meminfo: memFree=1665804/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=159596 CPUtime=942.04
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 46275 0 0 0 93976 228 0 0 25 0 1 0 13160188 163426304 38920 1992294400 134512640 135751879 4292907152 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 39899 38920 151 303 0 39594 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 159596

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25195
/proc/meminfo: memFree=1656132/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=169140 CPUtime=1002.02
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 48615 0 0 0 99959 243 0 0 25 0 1 0 13160188 173199360 41260 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 42285 41260 151 303 0 41980 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 169140

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25197
/proc/meminfo: memFree=1647948/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=177460 CPUtime=1062.01
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 50717 0 0 0 105944 257 0 0 25 0 1 0 13160188 181719040 43362 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 44365 43362 151 303 0 44060 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 177460

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25199
/proc/meminfo: memFree=1639888/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=185408 CPUtime=1122
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 52695 0 0 0 111929 271 0 0 25 0 1 0 13160188 189857792 45340 1992294400 134512640 135751879 4292907152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 46352 45340 151 303 0 46047 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 185408

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25199
/proc/meminfo: memFree=1632200/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=192952 CPUtime=1181.98
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 54613 0 0 0 117915 283 0 0 25 0 1 0 13160188 197582848 47258 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 48238 47258 151 303 0 47933 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 192952

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25201
/proc/meminfo: memFree=1615832/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=209488 CPUtime=1241.97
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 58640 0 0 0 123893 304 0 0 25 0 1 0 13160188 214515712 51285 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 52372 51285 151 303 0 52067 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 209488

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25203
/proc/meminfo: memFree=1597232/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=227996 CPUtime=1301.96
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 63264 0 0 0 129870 326 0 0 25 0 1 0 13160188 233467904 55909 1992294400 134512640 135751879 4292907152 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 56999 55909 151 303 0 56694 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 227996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25205
/proc/meminfo: memFree=1583220/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=241900 CPUtime=1361.93
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 66759 0 0 0 135851 342 0 0 25 0 1 0 13160188 247705600 59404 1992294400 134512640 135751879 4292907152 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 60475 59404 151 303 0 60170 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 241900

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25207
/proc/meminfo: memFree=1570944/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=254048 CPUtime=1421.92
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 69795 0 0 0 141830 362 0 0 25 0 1 0 13160188 260145152 62440 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 63512 62440 151 303 0 63207 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 254048

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25207
/proc/meminfo: memFree=1559784/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=265336 CPUtime=1481.9
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 72607 0 0 0 147811 379 0 0 25 0 1 0 13160188 271704064 65252 1992294400 134512640 135751879 4292907152 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 66334 65252 151 303 0 66029 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 265336

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25209
/proc/meminfo: memFree=1549988/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=275156 CPUtime=1541.89
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 75054 0 0 0 153795 394 0 0 25 0 1 0 13160188 281759744 67699 1992294400 134512640 135751879 4292907152 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 68789 67699 151 303 0 68484 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 275156

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25211
/proc/meminfo: memFree=1541680/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=283424 CPUtime=1601.87
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 77134 0 0 0 159780 407 0 0 25 0 1 0 13160188 290226176 69779 1992294400 134512640 135751879 4292907152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 70856 69779 151 303 0 70551 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 283424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25213
/proc/meminfo: memFree=1534240/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=290856 CPUtime=1661.86
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 78957 0 0 0 165766 420 0 0 25 0 1 0 13160188 297836544 71602 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 72714 71602 151 303 0 72409 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 290856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25215
/proc/meminfo: memFree=1523328/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=301936 CPUtime=1721.84
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 81720 0 0 0 171752 432 0 0 25 0 1 0 13160188 309182464 74365 1992294400 134512640 135751879 4292907152 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 75484 74365 151 303 0 75179 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 301936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25215
/proc/meminfo: memFree=1505596/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=319240 CPUtime=1781.82
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 86067 0 0 0 177730 452 0 0 25 0 1 0 13160188 326901760 78712 1992294400 134512640 135751879 4292907152 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 79810 78712 151 303 0 79505 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 319240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25219
/proc/meminfo: memFree=1501256/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=323200 CPUtime=1800.03
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 87039 0 0 0 179544 459 0 0 25 0 1 0 13160188 330956800 79684 1992294400 134512640 135751879 4292907152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 80800 79684 151 303 0 80495 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 323200

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25219
/proc/meminfo: memFree=1501256/2059040 swapFree=4139360/4192956
[pid=25159] ppid=25157 vsize=323200 CPUtime=1800.03
/proc/25159/stat : 25159 (wbo1.4b) R 25157 25159 24972 0 -1 4202496 87039 0 0 0 179544 459 0 0 25 0 1 0 13160188 330956800 79684 1992294400 134512640 135751879 4292907152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25159/statm: 80800 79684 151 303 0 80495 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 323200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.07
CPU user time (s): 1795.44
CPU system time (s): 4.6253
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 323200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.45
system time used= 4.6253
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87039
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= 79
involuntary context switches= 19498

runsolver used 2.89156 second user time and 8.61469 second system time

The end

Launcher Data 

Begin job on node083 at 2010-07-06 22:51:58
IDJOB=2687204
IDBENCH=77502
IDSOLVER=1161
FILE ID=node083/2687204-1278449517
PBS_JOBID= 11233511
Free space on /tmp= 62532 MiB

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

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

MD5SUM BENCH= a5005fc9f27cd5643854e7c3033a2662
RANDOM SEED=1164834644

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1823244 kB
Buffers:         10676 kB
Cached:         140440 kB
SwapCached:       6636 kB
Active:          29704 kB
Inactive:       134508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1823244 kB
SwapTotal:     4192956 kB
SwapFree:      4139360 kB
Dirty:           11052 kB
Writeback:           0 kB
AnonPages:       11288 kB
Mapped:          11868 kB
Slab:            49708 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182232 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687204-1278449517.opb

Free space on /tmp at the end= 62532 MiB
End job on node083 at 2010-07-06 23:22:01