Trace number 2687384

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9025_10.std.opb
MD5SUM61e5a79df84e43f9b39aa8611a460c56
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints184407
Number of constraints which are clauses183207
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 constraint69
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2687384-1278452598.opb.
0.00/0.00	c Instance file HOME/instance-2687384-1278452598.opb
0.00/0.00	c File size is 5958770 bytes.
1.00/1.06	c Highest Coefficient sum: 408
1.00/1.07	c ============================[ Problem Statistics ]=============================
1.00/1.07	c |                                                                             |
1.00/1.07	c |  Parsing time:          1.04         s                                      |
1.00/1.07	c |  Number Variables:      54782                                               |
1.00/1.07	c |  Number Clauses:        183207                                              |
1.00/1.07	c |  Number Cardinality:    0                                                   |
1.00/1.07	c |  Number PB Constraints: 1200                                                |
96.05/96.17	c ============================[ Search Statistics ]==============================
96.05/96.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.05/96.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.05/96.17	c ===============================================================================
96.05/96.17	c |         0 |   41130   185391   396675 |    61469        0    nan |  0.000 % |
96.15/96.22	c ===============================================================================
96.15/96.22	c New solution: 300
96.15/96.22	o 300
96.15/96.22	c Elapsed CPU time: 96.0534 s	Remaining CPU time: 83.9466 s
96.15/96.22	c ===============================================================================
96.15/96.22	c |         0 |   41130   185392   396975 |    61797        0    nan |  0.000 % |
96.15/96.29	c |       102 |   41125   185392   396975 |    67977      102     20 | 25.087 % |
96.26/96.36	c |       252 |   41053   185392   396975 |    74774      252     26 | 25.087 % |
96.36/96.45	c |       477 |   41053   185392   396975 |    82252      477     28 | 25.087 % |
96.56/96.62	c |       814 |   41039   185392   396975 |    90477      814     29 | 25.087 % |
96.56/96.67	c ===============================================================================
96.56/96.67	c New solution: 299
96.56/96.67	o 299
96.56/96.67	c Elapsed CPU time: 96.4913 s	Remaining CPU time: 83.5087 s
96.56/96.67	c ===============================================================================
96.56/96.67	c |       834 |   41039   185393   397275 |    61797      834     29 | 25.087 % |
96.67/96.72	c |       934 |   41028   185393   397275 |    67977      934     30 | 25.271 % |
96.67/96.80	c ===============================================================================
96.67/96.80	c New solution: 298
96.67/96.80	o 298
96.67/96.80	c Elapsed CPU time: 96.6243 s	Remaining CPU time: 83.3757 s
96.67/96.80	c ===============================================================================
96.67/96.80	c |      1052 |   40938   185394   397575 |    61798     1047     30 | 25.271 % |
96.77/96.85	c |      1153 |   40929   185394   397575 |    67977     1148     30 | 25.474 % |
96.86/96.95	c |      1303 |   40922   185394   397575 |    74775     1298     29 | 25.474 % |
96.96/97.00	c ===============================================================================
96.96/97.00	c New solution: 297
96.96/97.00	o 297
96.96/97.00	c Elapsed CPU time: 96.8233 s	Remaining CPU time: 83.1767 s
96.96/97.00	c ===============================================================================
96.96/97.00	c |      1310 |   40827   185395   397875 |    61798     1305     29 | 25.474 % |
96.96/97.04	c ===============================================================================
96.96/97.04	c New solution: 296
96.96/97.04	o 296
96.96/97.04	c Elapsed CPU time: 96.8653 s	Remaining CPU time: 83.1347 s
96.96/97.04	c ===============================================================================
96.96/97.04	c |      1318 |   40709   185396   398175 |    61798     1255     29 | 25.474 % |
97.05/97.10	c ===============================================================================
97.05/97.10	c New solution: 295
97.05/97.10	o 295
97.05/97.10	c Elapsed CPU time: 96.9193 s	Remaining CPU time: 83.0807 s
97.05/97.10	c ===============================================================================
97.05/97.10	c |      1324 |   40583   185397   398475 |    61799     1261     29 | 25.474 % |
97.05/97.15	c ===============================================================================
97.05/97.15	c New solution: 294
97.05/97.15	o 294
97.05/97.15	c Elapsed CPU time: 96.9723 s	Remaining CPU time: 83.0277 s
97.05/97.15	c ===============================================================================
97.05/97.15	c |      1350 |   40448   185398   398775 |    61799     1287     29 | 25.474 % |
97.15/97.20	c |      1450 |   40444   185398   398775 |    67979     1387     29 | 26.433 % |
97.15/97.24	c ===============================================================================
97.15/97.24	c New solution: 293
97.15/97.24	o 293
97.15/97.24	c Elapsed CPU time: 97.0652 s	Remaining CPU time: 82.9348 s
97.15/97.24	c ===============================================================================
97.15/97.24	c |      1461 |   40302   185399   399075 |    61799     1398     29 | 26.433 % |
97.15/97.29	c ===============================================================================
97.15/97.29	c New solution: 292
97.15/97.29	o 292
97.15/97.29	c Elapsed CPU time: 97.1092 s	Remaining CPU time: 82.8908 s
97.15/97.29	c ===============================================================================
97.15/97.29	c |      1471 |   40145   185400   399375 |    61800     1408     28 | 26.433 % |
97.25/97.33	c ===============================================================================
97.25/97.33	c New solution: 291
97.25/97.33	o 291
97.25/97.33	c Elapsed CPU time: 97.1552 s	Remaining CPU time: 82.8448 s
97.25/97.33	c ===============================================================================
97.25/97.33	c |      1480 |   39978   185401   399675 |    61800     1417     28 | 26.433 % |
97.25/97.38	c ===============================================================================
97.25/97.38	c New solution: 290
97.25/97.38	o 290
97.25/97.38	c Elapsed CPU time: 97.1982 s	Remaining CPU time: 82.8018 s
97.25/97.38	c ===============================================================================
97.25/97.38	c |      1493 |   39802   185402   399975 |    61800     1430     28 | 26.433 % |
97.35/97.44	c ===============================================================================
97.35/97.44	c New solution: 289
97.35/97.44	o 289
97.35/97.44	c Elapsed CPU time: 97.2552 s	Remaining CPU time: 82.7448 s
97.35/97.44	c ===============================================================================
97.35/97.44	c |      1516 |   39620   185403   400275 |    61801     1058     27 | 26.433 % |
97.35/97.49	c |      1616 |   39618   185403   400275 |    67981     1158     27 | 28.009 % |
97.46/97.54	c ===============================================================================
97.46/97.54	c New solution: 288
97.46/97.54	o 288
97.46/97.54	c Elapsed CPU time: 97.3542 s	Remaining CPU time: 82.6458 s
97.46/97.54	c ===============================================================================
97.46/97.54	c |      1625 |   39438   185404   400575 |    61801     1167     27 | 28.009 % |
97.46/97.59	c ===============================================================================
97.46/97.59	c New solution: 287
97.46/97.59	o 287
97.46/97.59	c Elapsed CPU time: 97.4042 s	Remaining CPU time: 82.5958 s
97.46/97.59	c ===============================================================================
97.46/97.59	c |      1629 |   39256   185405   400875 |    61801     1171     27 | 28.009 % |
97.56/97.63	c ===============================================================================
97.56/97.63	c New solution: 286
97.56/97.63	o 286
97.56/97.63	c Elapsed CPU time: 97.4472 s	Remaining CPU time: 82.5528 s
97.56/97.63	c ===============================================================================
97.56/97.63	c |      1643 |   39074   185406   401175 |    61802     1185     27 | 28.009 % |
97.56/97.67	c ===============================================================================
97.56/97.67	c New solution: 285
97.56/97.67	o 285
97.56/97.67	c Elapsed CPU time: 97.4942 s	Remaining CPU time: 82.5058 s
97.56/97.67	c ===============================================================================
97.56/97.67	c |      1662 |   38892   185407   401475 |    61802     1204     27 | 28.009 % |
97.66/97.73	c |      1762 |   38891   185407   401475 |    67982     1304     27 | 29.338 % |
97.66/97.78	c ===============================================================================
97.66/97.78	c New solution: 284
97.66/97.78	o 284
97.66/97.78	c Elapsed CPU time: 97.5952 s	Remaining CPU time: 82.4048 s
97.66/97.78	c ===============================================================================
97.66/97.78	c |      1779 |   38710   185408   401775 |    61802     1110     25 | 29.338 % |
97.77/97.82	c ===============================================================================
97.77/97.82	c New solution: 283
97.77/97.82	o 283
97.77/97.82	c Elapsed CPU time: 97.6412 s	Remaining CPU time: 82.3588 s
97.77/97.82	c ===============================================================================
97.77/97.82	c |      1801 |   38528   185409   402075 |    61803     1132     25 | 29.338 % |
97.77/97.88	c ===============================================================================
97.77/97.88	c New solution: 282
97.77/97.88	o 282
97.77/97.88	c Elapsed CPU time: 97.6951 s	Remaining CPU time: 82.3049 s
97.77/97.88	c ===============================================================================
97.77/97.88	c |      1824 |   38346   185410   402375 |    61803     1155     25 | 29.338 % |
97.87/97.92	c ===============================================================================
97.87/97.92	c New solution: 281
97.87/97.92	o 281
97.87/97.92	c Elapsed CPU time: 97.7351 s	Remaining CPU time: 82.2649 s
97.87/97.92	c ===============================================================================
97.87/97.92	c |      1827 |   38164   185411   402675 |    61803     1158     25 | 29.338 % |
97.87/97.96	c ===============================================================================
97.87/97.96	c New solution: 280
97.87/97.96	o 280
97.87/97.96	c Elapsed CPU time: 97.7761 s	Remaining CPU time: 82.2239 s
97.87/97.96	c ===============================================================================
97.87/97.96	c |      1837 |   37982   185412   402975 |    61804     1168     25 | 29.338 % |
97.96/98.00	c ===============================================================================
97.96/98.00	c New solution: 279
97.96/98.00	o 279
97.96/98.00	c Elapsed CPU time: 97.8201 s	Remaining CPU time: 82.1799 s
97.96/98.00	c ===============================================================================
97.96/98.00	c |      1850 |   37800   185413   403275 |    61804     1181     25 | 29.338 % |
97.96/98.05	c ===============================================================================
97.96/98.05	c New solution: 278
97.96/98.05	o 278
97.96/98.05	c Elapsed CPU time: 97.8651 s	Remaining CPU time: 82.1349 s
97.96/98.05	c ===============================================================================
97.96/98.05	c |      1862 |   37618   185414   403575 |    61804     1193     25 | 29.338 % |
98.06/98.10	c ===============================================================================
98.06/98.10	c New solution: 277
98.06/98.10	o 277
98.06/98.10	c Elapsed CPU time: 97.9121 s	Remaining CPU time: 82.0879 s
98.06/98.10	c ===============================================================================
98.06/98.10	c |      1875 |   37436   185415   403875 |    61805     1206     24 | 29.338 % |
98.06/98.14	c ===============================================================================
98.06/98.14	c New solution: 276
98.06/98.14	o 276
98.06/98.14	c Elapsed CPU time: 97.9541 s	Remaining CPU time: 82.0459 s
98.06/98.14	c ===============================================================================
98.06/98.14	c |      1886 |   37254   185416   404175 |    61805     1217     24 | 29.338 % |
98.06/98.19	c ===============================================================================
98.06/98.19	c New solution: 275
98.06/98.19	o 275
98.06/98.19	c Elapsed CPU time: 98.0081 s	Remaining CPU time: 81.9919 s
98.06/98.19	c ===============================================================================
98.06/98.19	c |      1906 |   37072   185417   404475 |    61805      874     22 | 29.338 % |
98.16/98.23	c ===============================================================================
98.16/98.23	c New solution: 274
98.16/98.23	o 274
98.16/98.23	c Elapsed CPU time: 98.0481 s	Remaining CPU time: 81.9519 s
98.16/98.23	c ===============================================================================
98.16/98.23	c |      1910 |   36890   185418   404775 |    61806      878     22 | 29.338 % |
98.16/98.29	c ===============================================================================
98.16/98.29	c New solution: 273
98.16/98.29	o 273
98.16/98.29	c Elapsed CPU time: 98.1041 s	Remaining CPU time: 81.8959 s
98.16/98.29	c ===============================================================================
98.16/98.29	c |      1936 |   36708   185419   405075 |    61806      904     22 | 29.338 % |
98.26/98.33	c ===============================================================================
98.26/98.33	c New solution: 272
98.26/98.33	o 272
98.26/98.33	c Elapsed CPU time: 98.1451 s	Remaining CPU time: 81.8549 s
98.26/98.33	c ===============================================================================
98.26/98.33	c |      1945 |   36526   185420   405375 |    61806      913     22 | 29.338 % |
98.26/98.37	c ===============================================================================
98.26/98.37	c New solution: 271
98.26/98.37	o 271
98.26/98.37	c Elapsed CPU time: 98.1841 s	Remaining CPU time: 81.8159 s
98.26/98.37	c ===============================================================================
98.26/98.37	c |      1955 |   36344   185421   405675 |    61807      923     22 | 29.338 % |
98.36/98.41	c ===============================================================================
98.36/98.41	c New solution: 270
98.36/98.41	o 270
98.36/98.41	c Elapsed CPU time: 98.2251 s	Remaining CPU time: 81.7749 s
98.36/98.41	c ===============================================================================
98.36/98.41	c |      1962 |   36162   185422   405975 |    61807      930     22 | 29.338 % |
98.36/98.46	c ===============================================================================
98.36/98.46	c New solution: 269
98.36/98.46	o 269
98.36/98.46	c Elapsed CPU time: 98.2671 s	Remaining CPU time: 81.7329 s
98.36/98.46	c ===============================================================================
98.36/98.46	c |      1973 |   35980   185423   406275 |    61807      941     22 | 29.338 % |
98.45/98.50	c |      2073 |   35971   185423   406275 |    67988     1041     22 | 34.654 % |
98.55/98.60	c |      2224 |   35967   185423   406275 |    74787     1192     24 | 34.654 % |
98.55/98.64	c ===============================================================================
98.55/98.64	c New solution: 268
98.55/98.64	o 268
98.55/98.64	c Elapsed CPU time: 98.45 s	Remaining CPU time: 81.55 s
98.55/98.64	c ===============================================================================
98.55/98.64	c |      2234 |   35798   185424   406575 |    61808     1034     24 | 34.654 % |
98.55/98.69	c ===============================================================================
98.55/98.69	c New solution: 267
98.55/98.69	o 267
98.55/98.69	c Elapsed CPU time: 98.5 s	Remaining CPU time: 81.5 s
98.55/98.69	c ===============================================================================
98.55/98.69	c |      2242 |   35616   185425   406875 |    61808     1042     24 | 34.654 % |
98.65/98.73	c ===============================================================================
98.65/98.73	c New solution: 266
98.65/98.73	o 266
98.65/98.73	c Elapsed CPU time: 98.542 s	Remaining CPU time: 81.458 s
98.65/98.73	c ===============================================================================
98.65/98.73	c |      2247 |   35434   185426   407175 |    61808     1047     24 | 34.654 % |
98.65/98.77	c ===============================================================================
98.65/98.77	c New solution: 265
98.65/98.77	o 265
98.65/98.77	c Elapsed CPU time: 98.581 s	Remaining CPU time: 81.419 s
98.65/98.77	c ===============================================================================
98.65/98.77	c |      2257 |   35252   185427   407475 |    61809     1057     24 | 34.654 % |
98.76/98.81	c ===============================================================================
98.76/98.81	c New solution: 264
98.76/98.81	o 264
98.76/98.81	c Elapsed CPU time: 98.622 s	Remaining CPU time: 81.378 s
98.76/98.81	c ===============================================================================
98.76/98.81	c |      2267 |   35070   185428   407775 |    61809     1067     24 | 34.654 % |
98.76/98.87	c ===============================================================================
98.76/98.87	c New solution: 263
98.76/98.87	o 263
98.76/98.87	c Elapsed CPU time: 98.68 s	Remaining CPU time: 81.32 s
98.76/98.87	c ===============================================================================
98.76/98.87	c |      2310 |   34888   185429   408075 |    61809     1110     24 | 34.654 % |
98.87/98.94	c ===============================================================================
98.87/98.94	c New solution: 262
98.87/98.94	o 262
98.87/98.94	c Elapsed CPU time: 98.743 s	Remaining CPU time: 81.257 s
98.87/98.94	c ===============================================================================
98.87/98.94	c |      2356 |   34706   185430   408375 |    61810     1156     24 | 34.654 % |
98.87/98.98	c ===============================================================================
98.87/98.98	c New solution: 261
98.87/98.98	o 261
98.87/98.98	c Elapsed CPU time: 98.783 s	Remaining CPU time: 81.217 s
98.87/98.98	c ===============================================================================
98.87/98.98	c |      2360 |   34524   185431   408675 |    61810     1160     24 | 34.654 % |
98.97/99.01	c ===============================================================================
98.97/99.01	c New solution: 260
98.97/99.01	o 260
98.97/99.01	c Elapsed CPU time: 98.82 s	Remaining CPU time: 81.18 s
98.97/99.01	c ===============================================================================
98.97/99.01	c |      2366 |   34342   185432   408975 |    61810     1166     24 | 34.654 % |
98.97/99.05	c ===============================================================================
98.97/99.05	c New solution: 259
98.97/99.05	o 259
98.97/99.05	c Elapsed CPU time: 98.862 s	Remaining CPU time: 81.138 s
98.97/99.05	c ===============================================================================
98.97/99.05	c |      2372 |   34160   185433   409275 |    61811      866     23 | 34.654 % |
99.06/99.11	c ===============================================================================
99.06/99.11	c New solution: 258
99.06/99.11	o 258
99.06/99.11	c Elapsed CPU time: 98.917 s	Remaining CPU time: 81.083 s
99.06/99.11	c ===============================================================================
99.06/99.11	c |      2415 |   33978   185434   409575 |    61811      909     23 | 34.654 % |
99.06/99.15	c ===============================================================================
99.06/99.15	c New solution: 257
99.06/99.15	o 257
99.06/99.15	c Elapsed CPU time: 98.957 s	Remaining CPU time: 81.043 s
99.06/99.15	c ===============================================================================
99.06/99.15	c |      2422 |   33796   185435   409875 |    61811      916     23 | 34.654 % |
99.06/99.19	c ===============================================================================
99.06/99.19	c New solution: 256
99.06/99.19	o 256
99.06/99.19	c Elapsed CPU time: 98.9969 s	Remaining CPU time: 81.0031 s
99.06/99.19	c ===============================================================================
99.06/99.19	c |      2431 |   33614   185436   410175 |    61812      925     23 | 34.654 % |
99.16/99.23	c ===============================================================================
99.16/99.23	c New solution: 255
99.16/99.23	o 255
99.16/99.23	c Elapsed CPU time: 99.0409 s	Remaining CPU time: 80.9591 s
99.16/99.23	c ===============================================================================
99.16/99.23	c |      2453 |   33432   185437   410475 |    61812      947     23 | 34.654 % |
99.26/99.31	c |      2554 |   33426   185437   410475 |    67993     1048     23 | 39.305 % |
99.26/99.35	c ===============================================================================
99.26/99.35	c New solution: 254
99.26/99.35	o 254
99.26/99.35	c Elapsed CPU time: 99.1619 s	Remaining CPU time: 80.8381 s
99.26/99.35	c ===============================================================================
99.26/99.35	c |      2575 |   33250   185438   410775 |    61812     1069     24 | 39.305 % |
99.36/99.41	c ===============================================================================
99.36/99.41	c New solution: 253
99.36/99.41	o 253
99.36/99.41	c Elapsed CPU time: 99.2189 s	Remaining CPU time: 80.7811 s
99.36/99.41	c ===============================================================================
99.36/99.41	c |      2633 |   33068   185439   411075 |    61813     1127     23 | 39.305 % |
99.36/99.48	c |      2733 |   32886   185439   411075 |    67994      995     23 | 39.969 % |
99.46/99.55	c |      2883 |   32886   185439   411075 |    74793     1145     24 | 39.969 % |
99.66/99.70	c |      3112 |   32886   185439   411075 |    82273     1374     25 | 39.969 % |
99.66/99.78	c ===============================================================================
99.66/99.78	c New solution: 252
99.66/99.78	o 252
99.66/99.78	c Elapsed CPU time: 99.5829 s	Remaining CPU time: 80.4171 s
99.66/99.78	c ===============================================================================
99.66/99.78	c |      3146 |   32886   185440   411375 |    61813     1408     25 | 39.969 % |
99.76/99.82	c ===============================================================================
99.76/99.82	c New solution: 251
99.76/99.82	o 251
99.76/99.82	c Elapsed CPU time: 99.6249 s	Remaining CPU time: 80.3751 s
99.76/99.82	c ===============================================================================
99.76/99.82	c |      3152 |   32704   185441   411675 |    61813     1347     25 | 39.969 % |
99.76/99.86	c ===============================================================================
99.76/99.86	c New solution: 250
99.76/99.86	o 250
99.76/99.86	c Elapsed CPU time: 99.6628 s	Remaining CPU time: 80.3372 s
99.76/99.86	c ===============================================================================
99.76/99.86	c |      3157 |   32522   185442   411975 |    61814     1352     25 | 39.969 % |
99.86/99.90	c ===============================================================================
99.86/99.90	c New solution: 249
99.86/99.90	o 249
99.86/99.90	c Elapsed CPU time: 99.7058 s	Remaining CPU time: 80.2942 s
99.86/99.90	c ===============================================================================
99.86/99.90	c |      3171 |   32340   185443   412275 |    61814     1366     25 | 39.969 % |
99.86/99.97	c |      3273 |   32338   185443   412275 |    67995     1468     25 | 41.298 % |
99.96/100.06	c ===============================================================================
99.96/100.06	c New solution: 248
99.96/100.06	o 248
99.96/100.06	c Elapsed CPU time: 99.8618 s	Remaining CPU time: 80.1382 s
99.96/100.06	c ===============================================================================
99.96/100.06	c |      3367 |   32070   185444   412575 |    61814     1562     25 | 41.298 % |
99.96/100.10	c ===============================================================================
99.96/100.10	c New solution: 247
99.96/100.10	o 247
99.96/100.10	c Elapsed CPU time: 99.9018 s	Remaining CPU time: 80.0982 s
99.96/100.10	c ===============================================================================
99.96/100.10	c |      3383 |   31910   185445   412875 |    61815     1578     25 | 41.298 % |
100.06/100.15	c ===============================================================================
100.06/100.15	c New solution: 246
100.06/100.15	o 246
100.06/100.15	c Elapsed CPU time: 99.9548 s	Remaining CPU time: 80.0452 s
100.06/100.15	c ===============================================================================
100.06/100.15	c |      3414 |   31750   185446   413175 |    61815     1609     25 | 41.298 % |
100.15/100.20	c |      3515 |   31590   185446   413175 |    67996     1348     25 | 42.335 % |
100.15/100.26	c ===============================================================================
100.15/100.26	c New solution: 245
100.15/100.26	o 245
100.15/100.26	c Elapsed CPU time: 100.064 s	Remaining CPU time: 79.9362 s
100.15/100.26	c ===============================================================================
100.15/100.26	c |      3559 |   31590   185447   413475 |    61815     1392     25 | 42.335 % |
100.25/100.30	c ===============================================================================
100.25/100.30	c New solution: 244
100.25/100.30	o 244
100.25/100.30	c Elapsed CPU time: 100.105 s	Remaining CPU time: 79.8952 s
100.25/100.30	c ===============================================================================
100.25/100.30	c |      3585 |   31430   185448   413775 |    61816     1418     25 | 42.335 % |
100.25/100.35	c ===============================================================================
100.25/100.35	c New solution: 243
100.25/100.35	o 243
100.25/100.35	c Elapsed CPU time: 100.146 s	Remaining CPU time: 79.8542 s
100.25/100.35	c ===============================================================================
100.25/100.35	c |      3598 |   31248   185449   414075 |    61816     1431     25 | 42.335 % |
100.35/100.40	c |      3698 |   31248   185449   414075 |    67997     1531     25 | 43.292 % |
100.35/100.46	c ===============================================================================
100.35/100.46	c New solution: 242
100.35/100.46	o 242
100.35/100.46	c Elapsed CPU time: 100.259 s	Remaining CPU time: 79.7412 s
100.35/100.46	c ===============================================================================
100.35/100.46	c |      3725 |   31066   185450   414375 |    61816     1558     25 | 43.292 % |
100.46/100.50	c ===============================================================================
100.46/100.50	c New solution: 241
100.46/100.50	o 241
100.46/100.50	c Elapsed CPU time: 100.301 s	Remaining CPU time: 79.6992 s
100.46/100.50	c ===============================================================================
100.46/100.50	c |      3739 |   30884   185451   414675 |    61817     1572     25 | 43.292 % |
100.46/100.54	c ===============================================================================
100.46/100.54	c New solution: 240
100.46/100.54	o 240
100.46/100.54	c Elapsed CPU time: 100.338 s	Remaining CPU time: 79.6623 s
100.46/100.54	c ===============================================================================
100.46/100.54	c |      3745 |   30702   185452   414975 |    61817     1578     25 | 43.292 % |
100.46/100.59	c ===============================================================================
100.46/100.59	c New solution: 239
100.46/100.59	o 239
100.46/100.59	c Elapsed CPU time: 100.386 s	Remaining CPU time: 79.6143 s
100.46/100.59	c ===============================================================================
100.46/100.59	c |      3748 |   30520   185453   415275 |    61817     1179     24 | 43.292 % |
100.56/100.64	c ===============================================================================
100.56/100.64	c New solution: 238
100.56/100.64	o 238
100.56/100.64	c Elapsed CPU time: 100.433 s	Remaining CPU time: 79.5673 s
100.56/100.64	c ===============================================================================
100.56/100.64	c |      3759 |   30316   185454   415575 |    61818     1190     24 | 43.292 % |
100.56/100.69	c |      3860 |   30313   185454   415575 |    67999     1291     25 | 44.953 % |
100.66/100.74	c ===============================================================================
100.66/100.74	c New solution: 237
100.66/100.74	o 237
100.66/100.74	c Elapsed CPU time: 100.532 s	Remaining CPU time: 79.4683 s
100.66/100.74	c ===============================================================================
100.66/100.74	c |      3873 |   30156   185455   415875 |    61818     1304     24 | 44.953 % |
100.66/100.78	c ===============================================================================
100.66/100.78	c New solution: 236
100.66/100.78	o 236
100.66/100.78	c Elapsed CPU time: 100.57 s	Remaining CPU time: 79.4303 s
100.66/100.78	c ===============================================================================
100.66/100.78	c |      3879 |   29974   185456   416175 |    61818     1310     24 | 44.953 % |
100.76/100.82	c ===============================================================================
100.76/100.82	c New solution: 235
100.76/100.82	o 235
100.76/100.82	c Elapsed CPU time: 100.614 s	Remaining CPU time: 79.3863 s
100.76/100.82	c ===============================================================================
100.76/100.82	c |      3906 |   29792   185457   416475 |    61819     1337     25 | 44.953 % |
100.76/100.86	c ===============================================================================
100.76/100.86	c New solution: 234
100.76/100.86	o 234
100.76/100.86	c Elapsed CPU time: 100.655 s	Remaining CPU time: 79.3453 s
100.76/100.86	c ===============================================================================
100.76/100.86	c |      3917 |   29610   185458   416775 |    61819     1348     25 | 44.953 % |
100.85/100.90	c ===============================================================================
100.85/100.90	c New solution: 233
100.85/100.90	o 233
100.85/100.90	c Elapsed CPU time: 100.694 s	Remaining CPU time: 79.3063 s
100.85/100.90	c ===============================================================================
100.85/100.90	c |      3933 |   29428   185459   417075 |    61819     1364     24 | 44.953 % |
100.85/100.94	c ===============================================================================
100.85/100.94	c New solution: 232
100.85/100.94	o 232
100.85/100.94	c Elapsed CPU time: 100.731 s	Remaining CPU time: 79.2693 s
100.85/100.94	c ===============================================================================
100.85/100.94	c |      3943 |   29246   185460   417375 |    61820     1374     24 | 44.953 % |
100.85/100.99	c |      4043 |   29239   185460   417375 |    68002     1474     25 | 46.946 % |
100.95/101.08	c ===============================================================================
100.95/101.08	c New solution: 231
100.95/101.08	o 231
100.95/101.08	c Elapsed CPU time: 100.869 s	Remaining CPU time: 79.1313 s
100.95/101.08	c ===============================================================================
100.95/101.08	c |      4113 |   29064   185461   417675 |    61820     1069     26 | 46.946 % |
101.06/101.14	c ===============================================================================
101.06/101.14	c New solution: 230
101.06/101.14	o 230
101.06/101.14	c Elapsed CPU time: 100.925 s	Remaining CPU time: 79.0753 s
101.06/101.14	c ===============================================================================
101.06/101.14	c |      4210 |   28882   185462   417975 |    61820     1166     25 | 46.946 % |
101.06/101.19	c |      4310 |   28865   185462   417975 |    68002     1266     26 | 47.611 % |
101.16/101.27	c |      4460 |   28864   185462   417975 |    74803     1416     26 | 47.611 % |
101.26/101.32	c ===============================================================================
101.26/101.32	c New solution: 229
101.26/101.32	o 229
101.26/101.32	c Elapsed CPU time: 101.109 s	Remaining CPU time: 78.8914 s
101.26/101.32	c ===============================================================================
101.26/101.32	c |      4475 |   28700   185463   418275 |    61821     1431     26 | 47.611 % |
101.26/101.36	c ===============================================================================
101.26/101.36	c New solution: 228
101.26/101.36	o 228
101.26/101.36	c Elapsed CPU time: 101.145 s	Remaining CPU time: 78.8554 s
101.26/101.36	c ===============================================================================
101.26/101.36	c |      4481 |   28518   185464   418575 |    61821     1437     26 | 47.611 % |
101.36/101.41	c ===============================================================================
101.36/101.41	c New solution: 227
101.36/101.41	o 227
101.36/101.41	c Elapsed CPU time: 101.192 s	Remaining CPU time: 78.8084 s
101.36/101.41	c ===============================================================================
101.36/101.41	c |      4493 |   28336   185465   418875 |    61821     1238     24 | 47.611 % |
101.36/101.45	c ===============================================================================
101.36/101.45	c New solution: 226
101.36/101.45	o 226
101.36/101.45	c Elapsed CPU time: 101.232 s	Remaining CPU time: 78.7684 s
101.36/101.45	c ===============================================================================
101.36/101.45	c |      4514 |   28154   185466   419175 |    61822     1259     24 | 47.611 % |
101.36/101.49	c ===============================================================================
101.36/101.49	c New solution: 225
101.36/101.49	o 225
101.36/101.49	c Elapsed CPU time: 101.273 s	Remaining CPU time: 78.7274 s
101.36/101.49	c ===============================================================================
101.36/101.49	c |      4523 |   27972   185467   419475 |    61822     1268     24 | 47.611 % |
101.46/101.52	c ===============================================================================
101.46/101.52	c New solution: 224
101.46/101.52	o 224
101.46/101.52	c Elapsed CPU time: 101.309 s	Remaining CPU time: 78.6914 s
101.46/101.52	c ===============================================================================
101.46/101.52	c |      4527 |   27790   185468   419775 |    61822     1272     24 | 47.611 % |
101.46/101.57	c ===============================================================================
101.46/101.57	c New solution: 223
101.46/101.57	o 223
101.46/101.57	c Elapsed CPU time: 101.357 s	Remaining CPU time: 78.6434 s
101.46/101.57	c ===============================================================================
101.46/101.57	c |      4554 |   27608   185469   420075 |    61823     1299     24 | 47.611 % |
101.56/101.62	c ===============================================================================
101.56/101.62	c New solution: 222
101.56/101.62	o 222
101.56/101.62	c Elapsed CPU time: 101.4 s	Remaining CPU time: 78.6004 s
101.56/101.62	c ===============================================================================
101.56/101.62	c |      4571 |   27426   185470   420375 |    61823     1316     24 | 47.611 % |
101.56/101.67	c ===============================================================================
101.56/101.67	c New solution: 221
101.56/101.67	o 221
101.56/101.67	c Elapsed CPU time: 101.452 s	Remaining CPU time: 78.5484 s
101.56/101.67	c ===============================================================================
101.56/101.67	c |      4601 |   27244   185471   420675 |    61823     1346     24 | 47.611 % |
101.65/101.72	c ===============================================================================
101.65/101.72	c New solution: 220
101.65/101.72	o 220
101.65/101.72	c Elapsed CPU time: 101.503 s	Remaining CPU time: 78.4974 s
101.65/101.72	c ===============================================================================
101.65/101.72	c |      4622 |   26990   185472   420975 |    61824     1367     24 | 47.611 % |
101.65/101.78	c ===============================================================================
101.65/101.78	c New solution: 219
101.65/101.78	o 219
101.65/101.78	c Elapsed CPU time: 101.56 s	Remaining CPU time: 78.4404 s
101.65/101.78	c ===============================================================================
101.65/101.78	c |      4667 |   26826   185473   421275 |    61824     1412     24 | 47.611 % |
101.75/101.84	c |      4768 |   26823   185473   421275 |    68006     1513     24 | 51.331 % |
101.75/101.88	c ===============================================================================
101.75/101.88	c New solution: 218
101.75/101.88	o 218
101.75/101.88	c Elapsed CPU time: 101.667 s	Remaining CPU time: 78.3335 s
101.75/101.88	c ===============================================================================
101.75/101.88	c |      4777 |   26662   185474   421575 |    61824     1087     22 | 51.331 % |
101.85/101.93	c ===============================================================================
101.85/101.93	c New solution: 217
101.85/101.93	o 217
101.85/101.93	c Elapsed CPU time: 101.711 s	Remaining CPU time: 78.2895 s
101.85/101.93	c ===============================================================================
101.85/101.93	c |      4797 |   26498   185475   421875 |    61825     1107     22 | 51.331 % |
101.85/101.96	c ===============================================================================
101.85/101.96	c New solution: 216
101.85/101.96	o 216
101.85/101.96	c Elapsed CPU time: 101.746 s	Remaining CPU time: 78.2545 s
101.85/101.96	c ===============================================================================
101.85/101.96	c |      4799 |   26334   185476   422175 |    61825     1109     22 | 51.331 % |
101.95/102.00	c ===============================================================================
101.95/102.00	c New solution: 215
101.95/102.00	o 215
101.95/102.00	c Elapsed CPU time: 101.785 s	Remaining CPU time: 78.2155 s
101.95/102.00	c ===============================================================================
101.95/102.00	c |      4801 |   26152   185477   422475 |    61825     1111     22 | 51.331 % |
101.95/102.04	c ===============================================================================
101.95/102.04	c New solution: 214
101.95/102.04	o 214
101.95/102.04	c Elapsed CPU time: 101.819 s	Remaining CPU time: 78.1815 s
101.95/102.04	c ===============================================================================
101.95/102.04	c |      4803 |   25970   185478   422775 |    61826     1113     22 | 51.331 % |
101.95/102.08	c ===============================================================================
101.95/102.08	c New solution: 213
101.95/102.08	o 213
101.95/102.08	c Elapsed CPU time: 101.859 s	Remaining CPU time: 78.1415 s
101.95/102.08	c ===============================================================================
101.95/102.08	c |      4815 |   25788   185479   423075 |    61826     1125     22 | 51.331 % |
102.05/102.12	c ===============================================================================
102.05/102.12	c New solution: 212
102.05/102.12	o 212
102.05/102.12	c Elapsed CPU time: 101.9 s	Remaining CPU time: 78.1005 s
102.05/102.12	c ===============================================================================
102.05/102.12	c |      4834 |   25606   185480   423375 |    61826     1144     22 | 51.331 % |
102.05/102.17	c |      4934 |   25599   185480   423375 |    68009     1244     22 | 53.591 % |
102.16/102.20	c ===============================================================================
102.16/102.20	c New solution: 211
102.16/102.20	o 211
102.16/102.20	c Elapsed CPU time: 101.982 s	Remaining CPU time: 78.0175 s
102.16/102.20	c ===============================================================================
102.16/102.20	c |      4941 |   25424   185481   423675 |    61827     1251     22 | 53.591 % |
102.16/102.25	c ===============================================================================
102.16/102.25	c New solution: 210
102.16/102.25	o 210
102.16/102.25	c Elapsed CPU time: 102.026 s	Remaining CPU time: 77.9735 s
102.16/102.25	c ===============================================================================
102.16/102.25	c |      4980 |   25242   185482   423975 |    61827     1290     22 | 53.591 % |
102.26/102.33	c |      5080 |   25234   185482   423975 |    68010     1390     24 | 54.255 % |
102.26/102.38	c ===============================================================================
102.26/102.38	c New solution: 209
102.26/102.38	o 209
102.26/102.38	c Elapsed CPU time: 102.159 s	Remaining CPU time: 77.8405 s
102.26/102.38	c ===============================================================================
102.26/102.38	c |      5114 |   24972   185483   424275 |    61827     1065     24 | 54.255 % |
102.35/102.43	c ===============================================================================
102.35/102.43	c New solution: 208
102.35/102.43	o 208
102.35/102.43	c Elapsed CPU time: 102.21 s	Remaining CPU time: 77.7895 s
102.35/102.43	c ===============================================================================
102.35/102.43	c |      5132 |   24812   185484   424575 |    61828     1083     24 | 54.255 % |
102.35/102.47	c ===============================================================================
102.35/102.47	c New solution: 207
102.35/102.47	o 207
102.35/102.47	c Elapsed CPU time: 102.248 s	Remaining CPU time: 77.7515 s
102.35/102.47	c ===============================================================================
102.35/102.47	c |      5149 |   24652   185485   424875 |    61828     1100     24 | 54.255 % |
102.46/102.52	c |      5249 |   24649   185485   424875 |    68011     1200     24 | 55.292 % |
102.46/102.56	c ===============================================================================
102.46/102.56	c New solution: 206
102.46/102.56	o 206
102.46/102.56	c Elapsed CPU time: 102.339 s	Remaining CPU time: 77.6606 s
102.46/102.56	c ===============================================================================
102.46/102.56	c |      5263 |   24492   185486   425175 |    61828     1214     24 | 55.292 % |
102.56/102.62	c ===============================================================================
102.56/102.62	c New solution: 205
102.56/102.62	o 205
102.56/102.62	c Elapsed CPU time: 102.39 s	Remaining CPU time: 77.6096 s
102.56/102.62	c ===============================================================================
102.56/102.62	c |      5320 |   24332   185487   425475 |    61829     1271     24 | 55.292 % |
102.56/102.68	c |      5423 |   24331   185487   425475 |    68011     1374     25 | 55.916 % |
102.66/102.79	c |      5573 |   24326   185487   425475 |    74813     1524     26 | 55.916 % |
102.76/102.83	c ===============================================================================
102.76/102.83	c New solution: 204
102.76/102.83	o 204
102.76/102.83	c Elapsed CPU time: 102.603 s	Remaining CPU time: 77.3966 s
102.76/102.83	c ===============================================================================
102.76/102.83	c |      5583 |   24150   185488   425775 |    61829     1281     25 | 55.916 % |
102.76/102.87	c ===============================================================================
102.76/102.87	c New solution: 203
102.76/102.87	o 203
102.76/102.87	c Elapsed CPU time: 102.645 s	Remaining CPU time: 77.3546 s
102.76/102.87	c ===============================================================================
102.76/102.87	c |      5589 |   23968   185489   426075 |    61829     1287     25 | 55.916 % |
102.86/102.91	c ===============================================================================
102.86/102.91	c New solution: 202
102.86/102.91	o 202
102.86/102.91	c Elapsed CPU time: 102.681 s	Remaining CPU time: 77.3186 s
102.86/102.91	c ===============================================================================
102.86/102.91	c |      5594 |   23786   185490   426375 |    61830     1292     25 | 55.916 % |
102.86/102.94	c ===============================================================================
102.86/102.94	c New solution: 201
102.86/102.94	o 201
102.86/102.94	c Elapsed CPU time: 102.717 s	Remaining CPU time: 77.2826 s
102.86/102.94	c ===============================================================================
102.86/102.94	c |      5602 |   23604   185491   426675 |    61830     1300     25 | 55.916 % |
102.86/102.99	c ===============================================================================
102.86/102.99	c New solution: 200
102.86/102.99	o 200
102.86/102.99	c Elapsed CPU time: 102.762 s	Remaining CPU time: 77.2376 s
102.86/102.99	c ===============================================================================
102.86/102.99	c |      5645 |   23422   185492   426975 |    61830     1343     25 | 55.916 % |
102.96/103.07	c |      5745 |   23417   185492   426975 |    68013     1443     25 | 57.577 % |
103.06/103.10	c ===============================================================================
103.06/103.10	c New solution: 199
103.06/103.10	o 199
103.06/103.10	c Elapsed CPU time: 102.871 s	Remaining CPU time: 77.1286 s
103.06/103.10	c ===============================================================================
103.06/103.10	c |      5748 |   23240   185493   427275 |    61831     1446     25 | 57.577 % |
103.06/103.14	c ===============================================================================
103.06/103.14	c New solution: 198
103.06/103.14	o 198
103.06/103.14	c Elapsed CPU time: 102.91 s	Remaining CPU time: 77.0896 s
103.06/103.14	c ===============================================================================
103.06/103.14	c |      5757 |   23058   185494   427575 |    61831     1455     25 | 57.577 % |
103.06/103.17	c ===============================================================================
103.06/103.17	c New solution: 197
103.06/103.17	o 197
103.06/103.17	c Elapsed CPU time: 102.947 s	Remaining CPU time: 77.0527 s
103.06/103.17	c ===============================================================================
103.06/103.17	c |      5760 |   22876   185495   427875 |    61831     1458     25 | 57.577 % |
103.15/103.21	c ===============================================================================
103.15/103.21	c New solution: 196
103.15/103.21	o 196
103.15/103.21	c Elapsed CPU time: 102.983 s	Remaining CPU time: 77.0167 s
103.15/103.21	c ===============================================================================
103.15/103.21	c |      5764 |   22646   185496   428175 |    61832     1462     25 | 57.577 % |
103.15/103.25	c ===============================================================================
103.15/103.25	c New solution: 195
103.15/103.25	o 195
103.15/103.25	c Elapsed CPU time: 103.023 s	Remaining CPU time: 76.9767 s
103.15/103.25	c ===============================================================================
103.15/103.25	c |      5779 |   22476   185497   428475 |    61832     1477     25 | 57.577 % |
103.15/103.29	c ===============================================================================
103.15/103.29	c New solution: 194
103.15/103.29	o 194
103.15/103.29	c Elapsed CPU time: 103.06 s	Remaining CPU time: 76.9397 s
103.15/103.29	c ===============================================================================
103.15/103.29	c |      5787 |   22306   185498   428775 |    61832     1485     25 | 57.577 % |
103.26/103.33	c ===============================================================================
103.26/103.33	c New solution: 193
103.26/103.33	o 193
103.26/103.33	c Elapsed CPU time: 103.103 s	Remaining CPU time: 76.8967 s
103.26/103.33	c ===============================================================================
103.26/103.33	c |      5823 |   22136   185499   429075 |    61833     1521     25 | 57.577 % |
103.26/103.37	c ===============================================================================
103.26/103.37	c New solution: 192
103.26/103.37	o 192
103.26/103.37	c Elapsed CPU time: 103.14 s	Remaining CPU time: 76.8597 s
103.26/103.37	c ===============================================================================
103.26/103.37	c |      5834 |   21966   185500   429375 |    61833      718     19 | 57.577 % |
103.36/103.41	c ===============================================================================
103.36/103.41	c New solution: 191
103.36/103.41	o 191
103.36/103.41	c Elapsed CPU time: 103.174 s	Remaining CPU time: 76.8257 s
103.36/103.41	c ===============================================================================
103.36/103.41	c |      5847 |   21784   185501   429675 |    61833      731     19 | 57.577 % |
103.36/103.44	c ===============================================================================
103.36/103.44	c New solution: 190
103.36/103.44	o 190
103.36/103.44	c Elapsed CPU time: 103.209 s	Remaining CPU time: 76.7907 s
103.36/103.44	c ===============================================================================
103.36/103.44	c |      5858 |   21602   185502   429975 |    61834      742     19 | 57.577 % |
103.36/103.48	c ===============================================================================
103.36/103.48	c New solution: 189
103.36/103.48	o 189
103.36/103.48	c Elapsed CPU time: 103.245 s	Remaining CPU time: 76.7547 s
103.36/103.48	c ===============================================================================
103.36/103.48	c |      5871 |   21420   185503   430275 |    61834      755     20 | 57.577 % |
103.45/103.51	c ===============================================================================
103.45/103.51	c New solution: 188
103.45/103.51	o 188
103.45/103.51	c Elapsed CPU time: 103.278 s	Remaining CPU time: 76.7217 s
103.45/103.51	c ===============================================================================
103.45/103.51	c |      5878 |   21238   185504   430575 |    61834      762     19 | 57.577 % |
103.45/103.54	c ===============================================================================
103.45/103.54	c New solution: 187
103.45/103.54	o 187
103.45/103.54	c Elapsed CPU time: 103.313 s	Remaining CPU time: 76.6867 s
103.45/103.54	c ===============================================================================
103.45/103.54	c |      5881 |   21056   185505   430875 |    61835      765     19 | 57.577 % |
103.45/103.58	c ===============================================================================
103.45/103.58	c New solution: 186
103.45/103.58	o 186
103.45/103.58	c Elapsed CPU time: 103.347 s	Remaining CPU time: 76.6527 s
103.45/103.58	c ===============================================================================
103.45/103.58	c |      5886 |   20874   185506   431175 |    61835      770     19 | 57.577 % |
103.55/103.61	c ===============================================================================
103.55/103.61	c New solution: 185
103.55/103.61	o 185
103.55/103.61	c Elapsed CPU time: 103.381 s	Remaining CPU time: 76.6187 s
103.55/103.61	c ===============================================================================
103.55/103.61	c |      5887 |   20692   185507   431475 |    61835      771     19 | 57.577 % |
103.55/103.65	c ===============================================================================
103.55/103.65	c New solution: 184
103.55/103.65	o 184
103.55/103.65	c Elapsed CPU time: 103.42 s	Remaining CPU time: 76.5797 s
103.55/103.65	c ===============================================================================
103.55/103.65	c |      5891 |   20510   185508   431775 |    61836      775     19 | 57.577 % |
103.55/103.68	c ===============================================================================
103.55/103.68	c New solution: 183
103.55/103.68	o 183
103.55/103.68	c Elapsed CPU time: 103.452 s	Remaining CPU time: 76.5477 s
103.55/103.68	c ===============================================================================
103.55/103.68	c |      5901 |   20328   185509   432075 |    61836      785     19 | 57.577 % |
103.65/103.72	c ===============================================================================
103.65/103.72	c New solution: 182
103.65/103.72	o 182
103.65/103.72	c Elapsed CPU time: 103.492 s	Remaining CPU time: 76.5077 s
103.65/103.72	c ===============================================================================
103.65/103.72	c |      5910 |   20146   185510   432375 |    61836      794     19 | 57.577 % |
103.65/103.77	c ===============================================================================
103.65/103.77	c New solution: 181
103.65/103.77	o 181
103.65/103.77	c Elapsed CPU time: 103.534 s	Remaining CPU time: 76.4657 s
103.65/103.77	c ===============================================================================
103.65/103.77	c |      5953 |   19964   185511   432675 |    61837      837     19 | 57.577 % |
103.76/103.80	c ===============================================================================
103.76/103.80	c New solution: 180
103.76/103.80	o 180
103.76/103.80	c Elapsed CPU time: 103.566 s	Remaining CPU time: 76.4337 s
103.76/103.80	c ===============================================================================
103.76/103.80	c |      5960 |   19782   185512   432975 |    61837      844     19 | 57.577 % |
103.76/103.83	c ===============================================================================
103.76/103.83	c New solution: 179
103.76/103.83	o 179
103.76/103.83	c Elapsed CPU time: 103.6 s	Remaining CPU time: 76.3997 s
103.76/103.83	c ===============================================================================
103.76/103.83	c |      5962 |   19600   185513   433275 |    61837      846     19 | 57.577 % |
103.76/103.86	c ===============================================================================
103.76/103.86	c New solution: 178
103.76/103.86	o 178
103.76/103.86	c Elapsed CPU time: 103.629 s	Remaining CPU time: 76.3708 s
103.76/103.86	c ===============================================================================
103.76/103.86	c |      5968 |   19418   185514   433575 |    61838      852     19 | 57.577 % |
103.86/103.90	c ===============================================================================
103.86/103.90	c New solution: 177
103.86/103.90	o 177
103.86/103.90	c Elapsed CPU time: 103.662 s	Remaining CPU time: 76.3378 s
103.86/103.90	c ===============================================================================
103.86/103.90	c |      5975 |   19236   185515   433875 |    61838      859     19 | 57.577 % |
103.86/103.93	c ===============================================================================
103.86/103.93	c New solution: 176
103.86/103.93	o 176
103.86/103.93	c Elapsed CPU time: 103.694 s	Remaining CPU time: 76.3058 s
103.86/103.93	c ===============================================================================
103.86/103.93	c |      5980 |   19054   185516   434175 |    61838      864     19 | 57.577 % |
103.86/103.97	c ===============================================================================
103.86/103.97	c New solution: 175
103.86/103.97	o 175
103.86/103.97	c Elapsed CPU time: 103.73 s	Remaining CPU time: 76.2698 s
103.86/103.97	c ===============================================================================
103.86/103.97	c |      5995 |   18872   185517   434475 |    61839      506     19 | 57.577 % |
103.96/104.01	c ===============================================================================
103.96/104.01	c New solution: 174
103.96/104.01	o 174
103.96/104.01	c Elapsed CPU time: 103.771 s	Remaining CPU time: 76.2288 s
103.96/104.01	c ===============================================================================
103.96/104.01	c |      6017 |   18690   185518   434775 |    61839      528     19 | 57.577 % |
103.96/104.04	c ===============================================================================
103.96/104.04	c New solution: 173
103.96/104.04	o 173
103.96/104.04	c Elapsed CPU time: 103.804 s	Remaining CPU time: 76.1958 s
103.96/104.04	c ===============================================================================
103.96/104.04	c |      6030 |   18508   185519   435075 |    61839      541     19 | 57.577 % |
103.96/104.08	c |      6130 |   18471   185519   435075 |    68023      641     21 | 66.547 % |
104.06/104.19	c |      6281 |   18469   185519   435075 |    74825      792     22 | 66.547 % |
104.16/104.22	c ===============================================================================
104.16/104.22	c New solution: 172
104.16/104.22	o 172
104.16/104.22	c Elapsed CPU time: 103.985 s	Remaining CPU time: 76.0148 s
104.16/104.22	c ===============================================================================
104.16/104.22	c |      6284 |   18326   185520   435375 |    61840      795     22 | 66.547 % |
104.16/104.29	c ===============================================================================
104.16/104.29	c New solution: 171
104.16/104.29	o 171
104.16/104.29	c Elapsed CPU time: 104.05 s	Remaining CPU time: 75.9498 s
104.16/104.29	c ===============================================================================
104.16/104.29	c |      6367 |   18144   185521   435675 |    61840      878     24 | 66.547 % |
104.26/104.33	c ===============================================================================
104.26/104.33	c New solution: 170
104.26/104.33	o 170
104.26/104.33	c Elapsed CPU time: 104.089 s	Remaining CPU time: 75.9108 s
104.26/104.33	c ===============================================================================
104.26/104.33	c |      6398 |   17962   185522   435975 |    61840      909     24 | 66.547 % |
104.26/104.36	c ===============================================================================
104.26/104.36	c New solution: 169
104.26/104.36	o 169
104.26/104.36	c Elapsed CPU time: 104.123 s	Remaining CPU time: 75.8768 s
104.26/104.36	c ===============================================================================
104.26/104.36	c |      6416 |   17744   185523   436275 |    61841      927     24 | 66.547 % |
104.36/104.40	c ===============================================================================
104.36/104.40	c New solution: 168
104.36/104.40	o 168
104.36/104.40	c Elapsed CPU time: 104.159 s	Remaining CPU time: 75.8408 s
104.36/104.40	c ===============================================================================
104.36/104.40	c |      6430 |   17580   185524   436575 |    61841      719     24 | 66.547 % |
104.36/104.43	c ===============================================================================
104.36/104.43	c New solution: 167
104.36/104.43	o 167
104.36/104.43	c Elapsed CPU time: 104.192 s	Remaining CPU time: 75.8078 s
104.36/104.43	c ===============================================================================
104.36/104.43	c |      6451 |   17416   185525   436875 |    61841      740     24 | 66.547 % |
104.36/104.47	c |      6552 |   17414   185525   436875 |    68025      841     25 | 68.541 % |
104.46/104.58	c |      6704 |   17413   185525   436875 |    74828      993     26 | 68.541 % |
104.55/104.61	c ===============================================================================
104.55/104.61	c New solution: 166
104.55/104.61	o 166
104.55/104.61	c Elapsed CPU time: 104.375 s	Remaining CPU time: 75.6249 s
104.55/104.61	c ===============================================================================
104.55/104.61	c |      6710 |   17234   185526   437175 |    61842      999     26 | 68.541 % |
104.55/104.65	c ===============================================================================
104.55/104.65	c New solution: 165
104.55/104.65	o 165
104.55/104.65	c Elapsed CPU time: 104.406 s	Remaining CPU time: 75.5939 s
104.55/104.65	c ===============================================================================
104.55/104.65	c |      6717 |   17052   185527   437475 |    61842     1006     26 | 68.541 % |
104.55/104.68	c ===============================================================================
104.55/104.68	c New solution: 164
104.55/104.68	o 164
104.55/104.68	c Elapsed CPU time: 104.441 s	Remaining CPU time: 75.5589 s
104.55/104.68	c ===============================================================================
104.55/104.68	c |      6724 |   16870   185528   437775 |    61842     1013     26 | 68.541 % |
104.65/104.75	c ===============================================================================
104.65/104.75	c New solution: 163
104.65/104.75	o 163
104.65/104.75	c Elapsed CPU time: 104.511 s	Remaining CPU time: 75.4889 s
104.65/104.75	c ===============================================================================
104.65/104.75	c |      6814 |   16688   185529   438075 |    61843     1103     26 | 68.541 % |
104.75/104.80	c |      6914 |   16682   185529   438075 |    68027     1203     26 | 69.870 % |
104.75/104.89	c |      7066 |   16506   185529   438075 |    74830     1078     26 | 69.870 % |
104.85/104.92	c ===============================================================================
104.85/104.92	c New solution: 162
104.85/104.92	o 162
104.85/104.92	c Elapsed CPU time: 104.682 s	Remaining CPU time: 75.3179 s
104.85/104.92	c ===============================================================================
104.85/104.92	c |      7068 |   16506   185530   438375 |    61843     1080     26 | 69.870 % |
104.85/104.95	c ===============================================================================
104.85/104.95	c New solution: 161
104.85/104.95	o 161
104.85/104.95	c Elapsed CPU time: 104.714 s	Remaining CPU time: 75.2859 s
104.85/104.95	c ===============================================================================
104.85/104.95	c |      7074 |   16324   185531   438675 |    61843     1086     26 | 69.870 % |
104.85/104.99	c ===============================================================================
104.85/104.99	c New solution: 160
104.85/104.99	o 160
104.85/104.99	c Elapsed CPU time: 104.747 s	Remaining CPU time: 75.2529 s
104.85/104.99	c ===============================================================================
104.85/104.99	c |      7095 |   16142   185532   438975 |    61844     1107     26 | 69.870 % |
104.95/105.02	c ===============================================================================
104.95/105.02	c New solution: 159
104.95/105.02	o 159
104.95/105.02	c Elapsed CPU time: 104.783 s	Remaining CPU time: 75.2169 s
104.95/105.02	c ===============================================================================
104.95/105.02	c |      7110 |   15960   185533   439275 |    61844     1122     25 | 69.870 % |
104.95/105.08	c |      7210 |   15953   185533   439275 |    68028     1222     27 | 71.199 % |
105.05/105.14	c ===============================================================================
105.05/105.14	c New solution: 158
105.05/105.14	o 158
105.05/105.14	c Elapsed CPU time: 104.9 s	Remaining CPU time: 75.0999 s
105.05/105.14	c ===============================================================================
105.05/105.14	c |      7289 |   15778   185534   439575 |    61844     1301     26 | 71.199 % |
105.05/105.18	c ===============================================================================
105.05/105.18	c New solution: 157
105.05/105.18	o 157
105.05/105.18	c Elapsed CPU time: 104.942 s	Remaining CPU time: 75.058 s
105.05/105.18	c ===============================================================================
105.05/105.18	c |      7318 |   15596   185535   439875 |    61845     1330     27 | 71.199 % |
105.15/105.27	c ===============================================================================
105.15/105.27	c New solution: 156
105.15/105.27	o 156
105.15/105.27	c Elapsed CPU time: 105.029 s	Remaining CPU time: 74.971 s
105.15/105.27	c ===============================================================================
105.15/105.27	c |      7392 |   15414   185536   440175 |    61845     1404     27 | 71.199 % |
105.25/105.30	c ===============================================================================
105.25/105.30	c New solution: 155
105.25/105.30	o 155
105.25/105.30	c Elapsed CPU time: 105.061 s	Remaining CPU time: 74.939 s
105.25/105.30	c ===============================================================================
105.25/105.30	c |      7403 |   15232   185537   440475 |    61845     1415     26 | 71.199 % |
105.25/105.34	c ===============================================================================
105.25/105.34	c New solution: 154
105.25/105.34	o 154
105.25/105.34	c Elapsed CPU time: 105.095 s	Remaining CPU time: 74.905 s
105.25/105.34	c ===============================================================================
105.25/105.34	c |      7414 |   15050   185538   440775 |    61846      937     26 | 71.199 % |
105.25/105.37	c |      7515 |   14997   185538   440775 |    68030     1038     27 | 72.860 % |
105.36/105.42	c ===============================================================================
105.36/105.42	c New solution: 153
105.36/105.42	o 153
105.36/105.42	c Elapsed CPU time: 105.18 s	Remaining CPU time: 74.82 s
105.36/105.42	c ===============================================================================
105.36/105.42	c |      7546 |   14868   185539   441075 |    61846     1069     28 | 72.860 % |
105.36/105.46	c |      7647 |   14868   185539   441075 |    68030     1170     28 | 73.192 % |
105.46/105.57	c |      7797 |   14858   185539   441075 |    74834     1320     30 | 73.323 % |
105.56/105.65	c |      8022 |   14858   185539   441075 |    82317     1545     29 | 73.323 % |
105.65/105.73	c ===============================================================================
105.65/105.73	c New solution: 152
105.65/105.73	o 152
105.65/105.73	c Elapsed CPU time: 105.479 s	Remaining CPU time: 74.521 s
105.65/105.73	c ===============================================================================
105.65/105.73	c |      8136 |   14614   185540   441375 |    61846     1659     30 | 73.323 % |
105.75/105.81	c |      8236 |   14450   185540   441375 |    68031     1508     30 | 73.623 % |
105.75/105.85	c ===============================================================================
105.75/105.85	c New solution: 151
105.75/105.85	o 151
105.75/105.85	c Elapsed CPU time: 105.604 s	Remaining CPU time: 74.3961 s
105.75/105.85	c ===============================================================================
105.75/105.85	c |      8259 |   14450   185541   441675 |    61847     1531     30 | 73.623 % |
105.85/105.90	c |      8359 |   14445   185541   441675 |    68031     1631     30 | 73.922 % |
105.85/105.95	c ===============================================================================
105.85/105.95	c New solution: 150
105.85/105.95	o 150
105.85/105.95	c Elapsed CPU time: 105.702 s	Remaining CPU time: 74.2981 s
105.85/105.95	c ===============================================================================
105.85/105.95	c |      8403 |   14286   185542   441975 |    61847     1675     30 | 73.922 % |
105.85/105.99	c |      8504 |   14279   185542   441975 |    68032     1776     30 | 74.221 % |
105.95/106.10	c |      8654 |   14275   185542   441975 |    74835     1926     30 | 74.221 % |
106.05/106.17	c |      8879 |   14264   185542   441975 |    82318     2151     31 | 74.221 % |
106.25/106.32	c |      9216 |   14122   185542   441975 |    90550     2415     32 | 74.221 % |
106.25/106.36	c ===============================================================================
106.25/106.36	c New solution: 149
106.25/106.36	o 149
106.25/106.36	c Elapsed CPU time: 106.112 s	Remaining CPU time: 73.8881 s
106.25/106.36	c ===============================================================================
106.25/106.36	c |      9278 |   14122   185543   442275 |    61847     2477     32 | 74.221 % |
106.35/106.43	c |      9378 |   14116   185543   442275 |    68032     2577     33 | 74.521 % |
106.35/106.49	c ===============================================================================
106.35/106.49	c New solution: 148
106.35/106.49	o 148
106.35/106.49	c Elapsed CPU time: 106.241 s	Remaining CPU time: 73.7592 s
106.35/106.49	c ===============================================================================
106.35/106.49	c |      9446 |   13886   185544   442575 |    61848     2645     32 | 74.521 % |
106.45/106.53	c |      9547 |   13877   185544   442575 |    68032     2746     32 | 74.952 % |
106.56/106.64	c |      9699 |   13874   185544   442575 |    74836     2898     32 | 74.952 % |
106.66/106.71	c |      9925 |   13722   185544   442575 |    82319     2913     31 | 74.952 % |
106.76/106.89	c |     10263 |   13722   185544   442575 |    90551     3251     32 | 74.952 % |
106.96/107.04	c ===============================================================================
106.96/107.04	c New solution: 147
106.96/107.04	o 147
106.96/107.04	c Elapsed CPU time: 106.786 s	Remaining CPU time: 73.2142 s
106.96/107.04	c ===============================================================================
106.96/107.04	c |     10638 |   13722   185545   442875 |    61848     3626     33 | 74.952 % |
106.96/107.09	c |     10738 |   13717   185545   442875 |    68033     3726     33 | 75.251 % |
107.06/107.13	c ===============================================================================
107.06/107.13	c New solution: 146
107.06/107.13	o 146
107.06/107.13	c Elapsed CPU time: 106.876 s	Remaining CPU time: 73.1242 s
107.06/107.13	c ===============================================================================
107.06/107.13	c |     10769 |   13558   185546   443175 |    61848     3677     32 | 75.251 % |
107.16/107.20	c |     10869 |   13556   185546   443175 |    68033     3777     32 | 75.550 % |
107.16/107.26	c |     11021 |   13547   185546   443175 |    74836     3929     32 | 75.550 % |
107.35/107.40	c |     11246 |   13543   185546   443175 |    82320     4154     32 | 75.550 % |
107.35/107.47	c ===============================================================================
107.35/107.47	c New solution: 145
107.35/107.47	o 145
107.35/107.47	c Elapsed CPU time: 107.216 s	Remaining CPU time: 72.7843 s
107.35/107.47	c ===============================================================================
107.35/107.47	c |     11455 |   13394   185547   443475 |    61849     4363     32 | 75.550 % |
107.45/107.55	c |     11557 |   13387   185547   443475 |    68033     4465     32 | 75.901 % |
107.55/107.60	c |     11708 |   13385   185547   443475 |    74837     4616     32 | 75.901 % |
107.66/107.72	c |     11933 |   13202   185547   443475 |    82321     4652     32 | 75.901 % |
107.76/107.81	c |     12270 |   13202   185547   443475 |    90553     4989     31 | 75.901 % |
108.05/108.13	c |     12777 |   13202   185547   443475 |    99608     5496     34 | 75.901 % |
108.15/108.25	c ===============================================================================
108.15/108.25	c New solution: 144
108.15/108.25	o 144
108.15/108.25	c Elapsed CPU time: 107.985 s	Remaining CPU time: 72.0154 s
108.15/108.25	c ===============================================================================
108.15/108.25	c |     12899 |   13202   185548   443775 |    61849     5618     34 | 75.901 % |
108.25/108.32	c |     12999 |   13024   185548   443775 |    68034     5629     34 | 76.226 % |
108.25/108.36	c |     13150 |   13024   185548   443775 |    74837     5780     33 | 76.226 % |
108.35/108.49	c |     13375 |   13024   185548   443775 |    82321     6005     34 | 76.226 % |
108.46/108.58	c |     13712 |   13024   185548   443775 |    90553     6342     33 | 76.226 % |
108.76/108.82	c |     14218 |   13024   185548   443775 |    99608     6848     33 | 76.226 % |
108.95/109.04	c |     14977 |   13024   185548   443775 |   109569     7607     32 | 76.226 % |
109.75/109.87	c |     16116 |   13024   185548   443775 |   120526     8746     34 | 76.226 % |
110.25/110.34	c |     17824 |   13024   185548   443775 |   132579    10454     35 | 76.226 % |
111.86/111.98	c |     20386 |   13024   185548   443775 |   145837    13016     37 | 76.226 % |
112.06/112.12	c ===============================================================================
112.06/112.12	c New solution: 143
112.06/112.12	o 143
112.06/112.12	c Elapsed CPU time: 111.846 s	Remaining CPU time: 68.154 s
112.06/112.12	c ===============================================================================
112.06/112.12	c |     20691 |   13024   185549   444075 |    61849    13321     37 | 76.226 % |
112.16/112.22	c |     20791 |   12846   185549   444075 |    68034    13208     37 | 76.551 % |
112.25/112.35	c |     20941 |   12846   185549   444075 |    74838    13358     37 | 76.551 % |
112.35/112.43	c |     21166 |   12846   185549   444075 |    82321    13583     37 | 76.551 % |
112.65/112.75	c |     21504 |   12846   185549   444075 |    90554    13921     37 | 76.551 % |
112.85/112.94	c |     22010 |   12846   185549   444075 |    99609    14427     37 | 76.551 % |
113.16/113.22	c |     22770 |   12845   185549   444075 |   109570    15187     36 | 76.682 % |
113.65/113.74	c |     23910 |   12769   185549   444075 |   120527    16297     36 | 76.715 % |
114.85/114.99	c |     25619 |   12769   185549   444075 |   132580    18006     36 | 76.715 % |
116.05/116.15	c |     28181 |   12756   185549   444075 |   145838    20566     37 | 76.715 % |
119.55/119.63	c |     32026 |   12756   185549   444075 |   160422    24411     41 | 76.715 % |
122.85/122.91	c |     37792 |   12756   185549   444075 |   176464    30177     45 | 76.715 % |
129.75/129.90	c ===============================================================================
129.75/129.90	c New solution: 142
129.75/129.90	o 142
129.75/129.90	c Elapsed CPU time: 129.535 s	Remaining CPU time: 50.4647 s
129.75/129.90	c ===============================================================================
129.75/129.90	c |     45347 |   12756   185550   444375 |    61850    37732     47 | 76.715 % |
129.94/130.01	c |     45447 |   12602   185550   444375 |    68035    37625     47 | 76.996 % |
130.04/130.16	c |     45599 |   12602   185550   444375 |    74838    37777     47 | 76.996 % |
130.24/130.33	c |     45824 |   12602   185550   444375 |    82322    38002     47 | 76.996 % |
130.35/130.46	c |     46162 |   12602   185550   444375 |    90554    38340     47 | 76.996 % |
130.76/130.90	c |     46670 |   12602   185550   444375 |    99610    38848     47 | 76.996 % |
131.15/131.29	c |     47431 |   12602   185550   444375 |   109571    39609     47 | 76.996 % |
132.04/132.17	c |     48570 |   12602   185550   444375 |   120528    40748     47 | 76.996 % |
132.95/133.00	c |     50278 |   12602   185550   444375 |   132580    42456     47 | 76.996 % |
135.74/135.80	c |     52840 |   12602   185550   444375 |   145839    45018     47 | 76.996 % |
137.24/137.35	c |     56684 |   12602   185550   444375 |   160422    48862     46 | 76.996 % |
139.55/139.62	c ===============================================================================
139.55/139.62	c New solution: 141
139.55/139.62	o 141
139.55/139.62	c Elapsed CPU time: 139.225 s	Remaining CPU time: 40.7752 s
139.55/139.62	c ===============================================================================
139.55/139.62	c |     59540 |   12568   185551   444675 |    61850    51644     46 | 76.996 % |
139.65/139.71	c |     59640 |   12558   185551   444675 |    68035    51744     46 | 77.332 % |
139.75/139.82	c |     59790 |   12552   185551   444675 |    74838    51894     46 | 77.332 % |
139.95/140.08	c |     60016 |   12549   185551   444675 |    82322    52120     46 | 77.332 % |
140.14/140.29	c |     60355 |   12541   185551   444675 |    90555    52459     46 | 77.332 % |
140.75/140.85	c |     60861 |   12538   185551   444675 |    99610    52965     46 | 77.332 % |
141.14/141.20	c |     61620 |   12537   185551   444675 |   109571    53724     46 | 77.332 % |
142.14/142.28	c |     62759 |   12537   185551   444675 |   120528    54863     46 | 77.332 % |
142.34/142.47	c ===============================================================================
142.34/142.47	c New solution: 140
142.34/142.47	o 140
142.34/142.47	c Elapsed CPU time: 142.063 s	Remaining CPU time: 37.9366 s
142.34/142.47	c ===============================================================================
142.34/142.47	c |     62942 |   12396   185552   444975 |    61850    54293     46 | 77.332 % |
142.44/142.56	c |     63042 |   12393   185552   444975 |    68035    54393     46 | 77.646 % |
142.54/142.67	c |     63192 |   12387   185552   444975 |    74839    54543     46 | 77.646 % |
142.74/142.90	c |     63418 |   12385   185552   444975 |    82323    54769     46 | 77.646 % |
143.04/143.16	c |     63755 |   12383   185552   444975 |    90555    55106     46 | 77.646 % |
143.34/143.41	c |     64264 |   12379   185552   444975 |    99611    55615     45 | 77.646 % |
144.14/144.20	c |     65024 |   12378   185552   444975 |   109572    56375     45 | 77.646 % |
144.74/144.87	c |     66163 |   12377   185552   444975 |   120529    57514     45 | 77.646 % |
146.64/146.74	c |     67871 |   12374   185552   444975 |   132582    59222     45 | 77.646 % |
147.74/147.80	c |     70436 |   12246   185552   444975 |   145840    60279     42 | 77.646 % |
152.54/152.64	c |     74281 |   12246   185552   444975 |   160424    64124     43 | 77.646 % |
156.04/156.19	c |     80047 |   12246   185552   444975 |   176467    69890     44 | 77.646 % |
168.73/168.80	c |     88696 |   12246   185552   444975 |   194113    78539     46 | 77.646 % |
179.24/179.33	c |    101674 |   12246   185552   444975 |   213525    91517     47 | 77.646 % |
180.43/180.55	c There are 42542 assigned variables. 256 in cost function.
181.33/181.42	c core #1
181.33/181.42	c 
181.33/181.42	c 
181.33/181.42	c Core size: 87	Core Weight: 96	Total Weight: 96
181.33/181.42	c
181.33/181.42	c
181.33/181.42	c core #2
181.33/181.42	c 
181.33/181.42	c 
181.33/181.42	c Core size: 253	Core Weight: 1	Total Weight: 97
181.33/181.42	c
181.33/181.42	c
181.33/181.42	c core #3
181.33/181.42	c 
181.33/181.42	c 
181.33/181.42	c Core size: 109	Core Weight: 1	Total Weight: 98
181.33/181.42	c
181.33/181.42	c
181.33/181.42	c core #4
181.33/181.42	c 
181.33/181.42	c 
181.33/181.42	c Core size: 107	Core Weight: 1	Total Weight: 99
181.33/181.42	c
181.33/181.42	c
181.33/181.42	c core #5
181.33/181.42	c 
181.33/181.42	c 
181.33/181.42	c Core size: 105	Core Weight: 1	Total Weight: 100
181.33/181.42	c
181.33/181.42	c
181.33/181.42	c core #6
181.33/181.42	c 
181.33/181.42	c 
181.33/181.42	c Core size: 128	Core Weight: 1	Total Weight: 101
181.33/181.42	c
181.33/181.42	c
181.33/181.42	c ============================[ Search Statistics ]==============================
181.33/181.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.33/181.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.33/181.42	c ===============================================================================
181.33/181.42	c |         0 |    5591    77768    97407 |    25922        0    nan |  0.000 % |
181.33/181.43	c ===============================================================================
181.44/181.54	c core #7
181.44/181.54	c 
181.44/181.54	c 
181.44/181.54	c Core size: 166	Core Weight: 1	Total Weight: 102
181.44/181.54	c
181.44/181.54	c
181.44/181.54	c ============================[ Search Statistics ]==============================
181.44/181.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.44/181.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.44/181.54	c ===============================================================================
181.44/181.54	c |         0 |    5817    77806    97654 |    25935        0    nan |  0.000 % |
181.44/181.54	c ===============================================================================
181.53/181.65	c core #8
181.53/181.65	c 
181.53/181.65	c 
181.53/181.65	c Core size: 160	Core Weight: 1	Total Weight: 103
181.53/181.65	c
181.53/181.65	c
181.53/181.65	c ============================[ Search Statistics ]==============================
181.53/181.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.53/181.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.53/181.65	c ===============================================================================
181.53/181.65	c |         0 |    6053    77843    97909 |    25947        0    nan |  0.000 % |
181.53/181.66	c ===============================================================================
181.63/181.76	c core #9
181.63/181.76	c 
181.63/181.76	c 
181.63/181.76	c Core size: 164	Core Weight: 1	Total Weight: 104
181.63/181.76	c
181.63/181.76	c
181.63/181.76	c ============================[ Search Statistics ]==============================
181.63/181.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.76	c ===============================================================================
181.63/181.76	c |         0 |    6289    77879    98152 |    25959        0    nan |  0.000 % |
181.63/181.77	c ===============================================================================
181.73/181.88	c core #10
181.73/181.88	c 
181.73/181.88	c 
181.73/181.88	c Core size: 193	Core Weight: 1	Total Weight: 105
181.73/181.88	c
181.73/181.88	c
181.73/181.88	c ============================[ Search Statistics ]==============================
181.73/181.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.73/181.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.73/181.88	c ===============================================================================
181.73/181.88	c |         0 |    6510    77914    98396 |    25971        0    nan |  0.000 % |
181.83/181.90	c ===============================================================================
181.93/182.01	c core #11
181.93/182.01	c 
181.93/182.01	c 
181.93/182.01	c Core size: 222	Core Weight: 1	Total Weight: 106
181.93/182.01	c
181.93/182.01	c
181.93/182.01	c ============================[ Search Statistics ]==============================
181.93/182.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.93/182.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.93/182.01	c ===============================================================================
181.93/182.01	c |         0 |    6734    77948    98637 |    25982        0    nan |  0.000 % |
181.93/182.05	c ===============================================================================
182.03/182.15	c core #12
182.03/182.15	c 
182.03/182.15	c 
182.03/182.15	c Core size: 317	Core Weight: 1	Total Weight: 107
182.03/182.15	c
182.03/182.15	c
182.03/182.15	c ============================[ Search Statistics ]==============================
182.03/182.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.15	c ===============================================================================
182.03/182.15	c |         0 |    6949    77981    98869 |    25993        0    nan |  0.000 % |
182.13/182.20	c |       101 |    6943    77981    98869 |    28593      101     17 | 88.589 % |
182.13/182.27	c |       251 |    5560    77981    98869 |    31452      132     17 | 90.439 % |
182.13/182.27	c ===============================================================================
182.23/182.38	c core #13
182.23/182.38	c 
182.23/182.38	c 
182.23/182.38	c Core size: 292	Core Weight: 1	Total Weight: 108
182.23/182.38	c
182.23/182.38	c
182.23/182.38	c ============================[ Search Statistics ]==============================
182.23/182.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.23/182.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.23/182.38	c ===============================================================================
182.23/182.38	c |         0 |    7163    78014    99097 |    26004        0    nan |  0.000 % |
182.33/182.43	c |       102 |    7163    78014    99097 |    28605      102     19 | 87.041 % |
182.43/182.51	c |       253 |    7163    78014    99097 |    31465      253     23 | 87.041 % |
182.53/182.62	c |       478 |    6914    78014    99097 |    34612      437     22 | 88.000 % |
182.63/182.72	c ===============================================================================
182.73/182.83	c core #14
182.73/182.83	c 
182.73/182.83	c 
182.73/182.83	c Core size: 376	Core Weight: 1	Total Weight: 109
182.73/182.83	c
182.73/182.83	c
182.73/182.83	c ============================[ Search Statistics ]==============================
182.73/182.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.83	c ===============================================================================
182.73/182.83	c |         0 |    7376    78045    99320 |    26015        0    nan |  0.000 % |
182.73/182.89	c |       100 |    7376    78045    99320 |    28616      100     18 | 86.664 % |
182.83/182.96	c |       250 |    7376    78045    99320 |    31478      250     21 | 86.664 % |
182.93/183.06	c |       479 |    7376    78045    99320 |    34625      479     23 | 86.664 % |
183.13/183.23	c |       818 |    7071    78045    99320 |    38088      583     22 | 87.215 % |
183.33/183.44	c ===============================================================================
183.43/183.55	c core #15
183.43/183.55	c 
183.43/183.55	c 
183.43/183.55	c Core size: 449	Core Weight: 1	Total Weight: 110
183.43/183.55	c
183.43/183.55	c
183.43/183.55	c ============================[ Search Statistics ]==============================
183.43/183.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.56	c ===============================================================================
183.43/183.56	c |         0 |    7588    78076    99546 |    26025        0    nan |  0.000 % |
183.54/183.61	c |       100 |    7588    78076    99546 |    28627      100     20 | 86.288 % |
183.54/183.68	c |       250 |    7588    78076    99546 |    31490      250     22 | 86.288 % |
183.64/183.79	c |       475 |    7456    78076    99546 |    34639      451     23 | 86.526 % |
183.83/183.95	c |       813 |    7456    78076    99546 |    38103      789     24 | 86.526 % |
184.13/184.21	c |      1320 |    7384    78076    99546 |    41914     1177     25 | 86.944 % |
184.53/184.62	c |      2079 |    7024    78076    99546 |    46105     1677     28 | 87.392 % |
184.83/184.99	c ===============================================================================
185.02/185.10	c core #16
185.02/185.10	c 
185.02/185.10	c 
185.02/185.10	c Core size: 369	Core Weight: 1	Total Weight: 111
185.02/185.10	c
185.02/185.10	c
185.02/185.10	c ============================[ Search Statistics ]==============================
185.02/185.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.02/185.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.02/185.10	c ===============================================================================
185.02/185.10	c |         0 |    7799    78109    99764 |    26036        0    nan |  0.000 % |
185.02/185.16	c |       100 |    7799    78109    99764 |    28639      100     19 | 85.914 % |
185.13/185.22	c |       251 |    7799    78109    99764 |    31503      251     24 | 85.914 % |
185.23/185.34	c |       477 |    7799    78109    99764 |    34654      477     27 | 85.914 % |
185.43/185.50	c |       814 |    7799    78109    99764 |    38119      814     28 | 85.914 % |
185.63/185.75	c |      1320 |    7799    78109    99764 |    41931     1320     29 | 85.914 % |
186.03/186.10	c |      2079 |    7799    78109    99764 |    46124     2079     28 | 85.914 % |
186.63/186.72	c |      3219 |    7715    78109    99764 |    50737     3218     30 | 86.065 % |
187.52/187.66	c |      4927 |    7048    78109    99764 |    55811     2669     26 | 87.292 % |
188.23/188.33	c ===============================================================================
188.33/188.44	c core #17
188.33/188.44	c 
188.33/188.44	c 
188.33/188.44	c Core size: 377	Core Weight: 1	Total Weight: 112
188.33/188.44	c
188.33/188.44	c
188.33/188.44	c ============================[ Search Statistics ]==============================
188.33/188.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.33/188.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.33/188.44	c ===============================================================================
188.33/188.44	c |         0 |    8009    78145    99991 |    26048        0    nan |  0.000 % |
188.33/188.49	c |       100 |    8009    78145    99991 |    28653      100     16 | 85.542 % |
188.43/188.57	c |       252 |    8009    78145    99991 |    31518      252     21 | 85.542 % |
188.53/188.68	c |       478 |    8009    78145    99991 |    34670      478     23 | 85.542 % |
188.73/188.84	c |       816 |    8009    78145    99991 |    38137      816     30 | 85.542 % |
189.03/189.10	c |      1322 |    8009    78145    99991 |    41951     1322     29 | 85.542 % |
189.33/189.49	c |      2082 |    8009    78145    99991 |    46146     2082     31 | 85.542 % |
189.93/190.10	c |      3221 |    8009    78145    99991 |    50760     3221     33 | 85.542 % |
190.93/191.08	c |      4929 |    8009    78145    99991 |    55836     4929     33 | 85.542 % |
192.43/192.59	c |      7491 |    7575    78145    99991 |    61420     5061     31 | 86.325 % |
194.92/195.05	c |     11335 |    7558    78145    99991 |    67562     8902     37 | 86.356 % |
196.33/196.41	c ===============================================================================
196.43/196.53	c core #18
196.43/196.53	c 
196.43/196.53	c 
196.43/196.53	c Core size: 418	Core Weight: 1	Total Weight: 113
196.43/196.53	c
196.43/196.53	c
196.43/196.53	c ============================[ Search Statistics ]==============================
196.43/196.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.43/196.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.43/196.53	c ===============================================================================
196.43/196.53	c |         0 |    8227    78183   100228 |    26061        0    nan |  0.000 % |
196.43/196.58	c |       100 |    8227    78183   100228 |    28667      100     17 | 85.155 % |
196.53/196.64	c |       250 |    8227    78183   100228 |    31533      250     21 | 85.155 % |
196.63/196.74	c |       475 |    8227    78183   100228 |    34687      475     24 | 85.155 % |
196.73/196.90	c |       812 |    8227    78183   100228 |    38155      812     25 | 85.155 % |
197.03/197.14	c |      1318 |    8227    78183   100228 |    41971     1318     26 | 85.155 % |
197.42/197.52	c |      2078 |    8227    78183   100228 |    46168     2078     28 | 85.155 % |
198.03/198.12	c |      3217 |    8227    78183   100228 |    50785     3217     30 | 85.155 % |
198.82/198.92	c |      4926 |    8227    78183   100228 |    55864     4926     33 | 85.155 % |
200.32/200.42	c |      7488 |    8227    78183   100228 |    61450     7488     34 | 85.155 % |
202.83/202.93	c |     11334 |    8227    78183   100228 |    67595    11334     36 | 85.155 % |
207.42/207.51	c |     17102 |    8008    78183   100228 |    74355    13447     35 | 85.551 % |
214.42/214.53	c |     25753 |    7636    78183   100228 |    81790    20501     39 | 86.222 % |
221.02/221.13	c ===============================================================================
221.12/221.25	c core #19
221.12/221.25	c 
221.12/221.25	c 
221.12/221.25	c Core size: 368	Core Weight: 1	Total Weight: 114
221.12/221.25	c
221.12/221.25	c
221.12/221.25	c ============================[ Search Statistics ]==============================
221.12/221.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
221.12/221.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
221.12/221.25	c ===============================================================================
221.12/221.25	c |         0 |    8435    78222   100469 |    26074        0    nan |  0.000 % |
221.22/221.31	c |       100 |    8435    78222   100469 |    28681      100     18 | 84.787 % |
221.22/221.36	c |       252 |    8435    78222   100469 |    31549      252     22 | 84.787 % |
221.32/221.49	c |       477 |    8435    78222   100469 |    34704      477     29 | 84.787 % |
221.52/221.65	c |       814 |    8435    78222   100469 |    38174      814     29 | 84.787 % |
221.72/221.86	c |      1320 |    8435    78222   100469 |    41992     1320     28 | 84.787 % |
222.12/222.24	c |      2082 |    8435    78222   100469 |    46191     2082     30 | 84.787 % |
222.72/222.81	c |      3221 |    8429    78222   100469 |    50810     3219     31 | 84.798 % |
223.61/223.71	c |      4929 |    8429    78222   100469 |    55891     4927     31 | 84.798 % |
225.01/225.13	c |      7491 |    8429    78222   100469 |    61481     7489     33 | 84.798 % |
227.52/227.66	c |     11339 |    8429    78222   100469 |    67629    11337     37 | 84.798 % |
232.12/232.27	c |     17106 |    7985    78222   100469 |    74392    12068     35 | 85.599 % |
239.01/239.15	c |     25755 |    7957    78222   100469 |    81831    14906     33 | 85.649 % |
251.11/251.24	c |     38729 |    7832    78222   100469 |    90014    20394     33 | 85.875 % |
266.90/267.04	c ===============================================================================
267.00/267.18	c core #20
267.00/267.18	c 
267.00/267.18	c 
267.00/267.18	c Core size: 390	Core Weight: 1	Total Weight: 115
267.00/267.18	c
267.00/267.18	c
267.00/267.18	c ============================[ Search Statistics ]==============================
267.00/267.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
267.00/267.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
267.00/267.18	c ===============================================================================
267.00/267.18	c |         0 |    8642    78261   100703 |    26087        0    nan |  0.000 % |
267.11/267.23	c |       101 |    8642    78261   100703 |    28695      101     21 | 84.421 % |
267.11/267.29	c |       252 |    8642    78261   100703 |    31565      252     22 | 84.421 % |
267.21/267.38	c |       477 |    8642    78261   100703 |    34721      477     24 | 84.421 % |
267.41/267.53	c |       814 |    8642    78261   100703 |    38193      814     25 | 84.421 % |
267.61/267.73	c |      1322 |    8642    78261   100703 |    42013     1322     30 | 84.421 % |
267.90/268.09	c |      2084 |    8642    78261   100703 |    46214     2084     32 | 84.421 % |
268.50/268.66	c |      3224 |    8642    78261   100703 |    50836     3224     35 | 84.421 % |
269.31/269.50	c |      4935 |    8642    78261   100703 |    55919     4935     36 | 84.421 % |
270.90/271.03	c |      7497 |    8642    78261   100703 |    61511     7497     37 | 84.421 % |
273.50/273.64	c |     11342 |    8642    78261   100703 |    67662    11342     40 | 84.421 % |
278.30/278.43	c |     17108 |    8642    78261   100703 |    74429    17108     42 | 84.421 % |
285.30/285.48	c |     25757 |    8642    78261   100703 |    81872    25757     44 | 84.421 % |
299.19/299.33	c |     38731 |    8642    78261   100703 |    90059    38731     45 | 84.421 % |
324.69/324.85	c |     58193 |    8642    78261   100703 |    99065    58193     46 | 84.421 % |
378.17/378.34	c |     87388 |    8642    78261   100703 |   108971    87388     47 | 84.421 % |
436.15/436.38	c ===============================================================================
436.35/436.58	c core #21
436.35/436.58	c 
436.35/436.58	c 
436.35/436.58	c Core size: 455	Core Weight: 1	Total Weight: 116
436.35/436.58	c
436.35/436.58	c
436.35/436.58	c ============================[ Search Statistics ]==============================
436.35/436.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
436.35/436.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
436.35/436.58	c ===============================================================================
436.35/436.58	c |         0 |    8848    78323   101000 |    26107        0    nan |  0.000 % |
436.45/436.64	c |       101 |    8848    78323   101000 |    28718      101     18 | 84.057 % |
436.55/436.71	c |       251 |    8848    78323   101000 |    31590      251     23 | 84.057 % |
436.65/436.83	c |       476 |    8848    78323   101000 |    34749      476     27 | 84.057 % |
436.75/436.99	c |       813 |    8848    78323   101000 |    38224      813     27 | 84.057 % |
436.95/437.17	c |      1322 |    8848    78323   101000 |    42046     1322     26 | 84.057 % |
437.35/437.56	c |      2083 |    8848    78323   101000 |    46251     2083     31 | 84.057 % |
437.95/438.12	c |      3223 |    8848    78323   101000 |    50876     3223     32 | 84.057 % |
438.86/439.01	c |      4931 |    8848    78323   101000 |    55964     4931     34 | 84.057 % |
440.05/440.27	c |      7493 |    8848    78323   101000 |    61560     7493     34 | 84.057 % |
442.55/442.72	c |     11337 |    8848    78323   101000 |    67716    11337     34 | 84.057 % |
446.46/446.67	c |     17103 |    8848    78323   101000 |    74488    17103     39 | 84.057 % |
454.54/454.80	c |     25752 |    8848    78323   101000 |    81937    25752     44 | 84.057 % |
468.04/468.22	c |     38726 |    8848    78323   101000 |    90130    38726     47 | 84.057 % |
494.14/494.32	c |     58188 |    8848    78323   101000 |    99143    58188     50 | 84.057 % |
549.11/549.32	c |     87381 |    8848    78323   101000 |   109058    87381     50 | 84.057 % |
654.09/654.36	c |    131171 |    8848    78323   101000 |   119964   131171     51 | 84.057 % |
842.24/842.58	c |    196855 |    8370    78323   101000 |   131960    24129     47 | 84.918 % |
1009.39/1009.75	c |    295384 |    8317    78323   101000 |   145156   103672     53 | 85.013 % |
1088.54/1088.96	c ===============================================================================
1088.93/1089.33	c core #22
1088.93/1089.33	c 
1088.93/1089.33	c 
1088.93/1089.33	c Core size: 485	Core Weight: 1	Total Weight: 117
1088.93/1089.33	c
1088.93/1089.33	c
1088.93/1089.33	c ============================[ Search Statistics ]==============================
1088.93/1089.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1088.93/1089.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1088.93/1089.33	c ===============================================================================
1088.93/1089.33	c |         0 |    9053    78409   101369 |    26136        0    nan |  0.000 % |
1089.03/1089.40	c |       100 |    9053    78409   101369 |    28749      100     17 | 83.694 % |
1089.03/1089.48	c |       251 |    9053    78409   101369 |    31624      251     23 | 83.694 % |
1089.13/1089.57	c |       476 |    9053    78409   101369 |    34787      476     24 | 83.694 % |
1089.33/1089.76	c |       813 |    9053    78409   101369 |    38266      813     26 | 83.694 % |
1089.53/1089.99	c |      1320 |    9053    78409   101369 |    42092     1320     30 | 83.694 % |
1089.93/1090.36	c |      2079 |    9053    78409   101369 |    46302     2079     35 | 83.694 % |
1090.43/1090.89	c |      3218 |    9053    78409   101369 |    50932     3218     33 | 83.694 % |
1091.43/1091.85	c |      4926 |    9053    78409   101369 |    56025     4926     36 | 83.694 % |
1092.94/1093.39	c |      7488 |    9053    78409   101369 |    61628     7488     40 | 83.694 % |
1095.63/1096.08	c |     11334 |    9053    78409   101369 |    67790    11334     40 | 83.694 % |
1100.23/1100.63	c |     17100 |    9053    78409   101369 |    74570    17100     39 | 83.694 % |
1109.13/1109.55	c |     25750 |    9053    78409   101369 |    82027    25750     43 | 83.694 % |
1123.63/1124.06	c |     38726 |    9053    78409   101369 |    90229    38726     44 | 83.694 % |
1147.82/1148.21	c |     58189 |    9053    78409   101369 |    99252    58189     46 | 83.694 % |
1200.20/1200.62	c |     87381 |    9033    78409   101369 |   109177    86522     50 | 83.730 % |
1303.76/1304.20	c |    131170 |    9033    78409   101369 |   120095   130311     52 | 83.730 % |
1448.72/1449.26	c |    196854 |    9033    78409   101369 |   132105    45363     45 | 83.730 % |
1662.95/1663.59	c |    295380 |    9033    78409   101369 |   145315   143889     51 | 83.730 % |

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-2687384-1278452598/watcher-2687384-1278452598 -o /tmp/evaluation-result-2687384-1278452598/solver-2687384-1278452598 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687384-1278452598.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.01 1.00 1.00 3/105 23437
/proc/meminfo: memFree=1815096/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=8824 CPUtime=0
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 366 0 0 0 0 0 0 0 24 0 1 0 13467720 9035776 285 1992294400 134512640 135752675 4287809424 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 2206 285 139 303 0 446 0

[startup+0.01769 s]
/proc/loadavg: 1.01 1.00 1.00 3/105 23437
/proc/meminfo: memFree=1815096/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=9400 CPUtime=0.01
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 522 0 0 0 1 0 0 0 24 0 1 0 13467720 9625600 441 1992294400 134512640 135752675 4287809424 18446744073709551615 135189370 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 2350 441 153 303 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9400

[startup+0.1007 s]
/proc/loadavg: 1.01 1.00 1.00 3/105 23437
/proc/meminfo: memFree=1815096/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=13588 CPUtime=0.09
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 1610 0 0 0 9 0 0 0 24 0 1 0 13467720 13914112 1529 1992294400 134512640 135752675 4287809424 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 3397 1530 282 303 0 1637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13588

[startup+0.300723 s]
/proc/loadavg: 1.01 1.00 1.00 3/105 23437
/proc/meminfo: memFree=1815096/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=16504 CPUtime=0.29
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 2627 0 0 0 28 1 0 0 25 0 1 0 13467720 16900096 2546 1992294400 134512640 135752675 4287809424 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 4126 2546 598 303 0 2366 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16504

[startup+0.700772 s]
/proc/loadavg: 1.01 1.00 1.00 3/105 23437
/proc/meminfo: memFree=1815096/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=24596 CPUtime=0.69
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 5126 0 0 0 67 2 0 0 25 0 1 0 13467720 25186304 4923 1992294400 134512640 135752675 4287809424 18446744073709551615 134633691 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 6149 4924 1253 303 0 4389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24596

[startup+1.50087 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 23438
/proc/meminfo: memFree=1796860/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=42668 CPUtime=1.49
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 11610 0 0 0 145 4 0 0 25 0 1 0 13467720 43692032 9758 1992294400 134512640 135752675 4287809424 18446744073709551615 135221545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 10667 9758 142 303 0 10362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42668

[startup+3.10107 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 23438
/proc/meminfo: memFree=1776276/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=45308 CPUtime=3.09
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 12276 0 0 0 305 4 0 0 25 0 1 0 13467720 46395392 10424 1992294400 134512640 135752675 4287809424 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 11327 10424 142 303 0 11022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45308

[startup+6.30046 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 23440
/proc/meminfo: memFree=1767596/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=52964 CPUtime=6.29
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 14195 0 0 0 624 5 0 0 25 0 1 0 13467720 54235136 12343 1992294400 134512640 135752675 4287809424 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 13241 12343 142 303 0 12936 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52964

[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 23440
/proc/meminfo: memFree=1757180/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=62864 CPUtime=12.69
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 16665 0 0 0 1263 6 0 0 25 0 1 0 13467720 64372736 14813 1992294400 134512640 135752675 4287809424 18446744073709551615 135204667 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 15716 14813 142 303 0 15411 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62864

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23440
/proc/meminfo: memFree=1742548/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=76196 CPUtime=25.49
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 19985 0 0 0 2540 9 0 0 25 0 1 0 13467720 78024704 18133 1992294400 134512640 135752675 4287809424 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 19049 18133 142 303 0 18744 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76196

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23440
/proc/meminfo: memFree=1723452/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=95204 CPUtime=51.08
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 24751 0 0 0 5096 12 0 0 25 0 1 0 13467720 97488896 22899 1992294400 134512640 135752675 4287809424 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 23801 22899 142 303 0 23496 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 95204

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23442
/proc/meminfo: memFree=1702992/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=114552 CPUtime=102.26
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 30674 0 0 0 10208 18 0 0 18 0 1 0 13467720 117301248 27839 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 28638 27839 145 303 0 28333 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 114552

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23444
/proc/meminfo: memFree=1702868/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=114552 CPUtime=162.24
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 30674 0 0 0 16181 43 0 0 25 0 1 0 13467720 117301248 27839 1992294400 134512640 135752675 4287809424 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 28638 27839 145 303 0 28333 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 114552

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23444
/proc/meminfo: memFree=1710432/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=106892 CPUtime=222.21
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 34126 0 0 0 22151 70 0 0 25 0 1 0 13467720 109457408 26120 1992294400 134512640 135752675 4287809424 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 26723 26120 146 303 0 26418 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 106892

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23446
/proc/meminfo: memFree=1711052/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=105268 CPUtime=282.2
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 34126 0 0 0 28128 92 0 0 25 0 1 0 13467720 107794432 25795 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 26317 25795 146 303 0 26012 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 105268

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23448
/proc/meminfo: memFree=1710928/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=105268 CPUtime=342.19
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 34126 0 0 0 34110 109 0 0 25 0 1 0 13467720 107794432 25795 1992294400 134512640 135752675 4287809424 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 26317 25795 146 303 0 26012 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 105268

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23450
/proc/meminfo: memFree=1710928/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=105268 CPUtime=402.17
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 34126 0 0 0 40094 123 0 0 25 0 1 0 13467720 107794432 25795 1992294400 134512640 135752675 4287809424 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 26317 25795 146 303 0 26012 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 105268

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23452
/proc/meminfo: memFree=1710184/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=106892 CPUtime=462.15
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 34452 0 0 0 46073 142 0 0 25 0 1 0 13467720 109457408 26121 1992294400 134512640 135752675 4287809424 18446744073709551615 134639507 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 26723 26121 146 303 0 26418 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 106892

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23452
/proc/meminfo: memFree=1710184/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=106892 CPUtime=522.13
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 34452 0 0 0 52055 158 0 0 25 0 1 0 13467720 109457408 26121 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 26723 26121 146 303 0 26418 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 106892

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23454
/proc/meminfo: memFree=1710060/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=106892 CPUtime=582.11
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 34452 0 0 0 58040 171 0 0 25 0 1 0 13467720 109457408 26121 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 26723 26121 146 303 0 26418 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 106892

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23456
/proc/meminfo: memFree=1710060/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=106892 CPUtime=642.09
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 34452 0 0 0 64030 179 0 0 25 0 1 0 13467720 109457408 26121 1992294400 134512640 135752675 4287809424 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 26723 26121 146 303 0 26418 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 106892

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23460
/proc/meminfo: memFree=1696544/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=120576 CPUtime=822.04
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 37793 0 0 0 81989 215 0 0 25 0 1 0 13467720 123469824 29462 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 30144 29462 146 303 0 29839 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 120576

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23462
/proc/meminfo: memFree=1685756/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=131136 CPUtime=882.02
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 40462 0 0 0 87968 234 0 0 25 0 1 0 13467720 134283264 32131 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 32784 32131 146 303 0 32479 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 131136

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23464
/proc/meminfo: memFree=1674224/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=142892 CPUtime=942
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 43382 0 0 0 93949 251 0 0 25 0 1 0 13467720 146321408 35051 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 35723 35051 146 303 0 35418 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 142892

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23466
/proc/meminfo: memFree=1665792/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=151096 CPUtime=1001.98
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 45447 0 0 0 99933 265 0 0 25 0 1 0 13467720 154722304 37116 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 37774 37116 146 303 0 37469 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 151096

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23468
/proc/meminfo: memFree=1658104/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=158916 CPUtime=1061.96
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 47382 0 0 0 105918 278 0 0 25 0 1 0 13467720 162729984 39051 1992294400 134512640 135752675 4287809424 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 39729 39051 146 303 0 39424 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 158916

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23477
/proc/meminfo: memFree=1645024/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=171168 CPUtime=1121.92
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 50886 0 0 0 111893 299 0 0 25 0 1 0 13467720 175276032 42064 1992294400 134512640 135752675 4287809424 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 42792 42064 146 303 0 42487 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 171168

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23479
/proc/meminfo: memFree=1641428/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=175516 CPUtime=1181.9
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 51945 0 0 0 117873 317 0 0 25 0 1 0 13467720 179728384 43123 1992294400 134512640 135752675 4287809424 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 43879 43124 146 303 0 43574 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 175516

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23481
/proc/meminfo: memFree=1633864/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=182928 CPUtime=1241.89
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 53797 0 0 0 123857 332 0 0 25 0 1 0 13467720 187318272 44975 1992294400 134512640 135752675 4287809424 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 45732 44975 146 303 0 45427 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 182928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23483
/proc/meminfo: memFree=1626920/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=189692 CPUtime=1301.87
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 55493 0 0 0 129842 345 0 0 25 0 1 0 13467720 194244608 46671 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 47423 46671 146 303 0 47118 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 189692

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23485
/proc/meminfo: memFree=1621836/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=194928 CPUtime=1361.84
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 56748 0 0 0 135828 356 0 0 25 0 1 0 13467720 199606272 47926 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 48732 47926 146 303 0 48427 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 194928

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23485
/proc/meminfo: memFree=1616504/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=200220 CPUtime=1421.83
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 58085 0 0 0 141813 370 0 0 25 0 1 0 13467720 205025280 49263 1992294400 134512640 135752675 4287809424 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 50055 49263 146 303 0 49750 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 200220

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23487
/proc/meminfo: memFree=1606336/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=210384 CPUtime=1481.81
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 60644 0 0 0 147794 387 0 0 25 0 1 0 13467720 215433216 51822 1992294400 134512640 135752675 4287809424 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 52596 51822 146 303 0 52291 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 210384

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23489
/proc/meminfo: memFree=1598524/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=218104 CPUtime=1541.79
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 62553 0 0 0 153777 402 0 0 25 0 1 0 13467720 223338496 53731 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 54526 53731 146 303 0 54221 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 218104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23491
/proc/meminfo: memFree=1593068/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=223656 CPUtime=1601.77
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 63937 0 0 0 159761 416 0 0 25 0 1 0 13467720 229023744 55115 1992294400 134512640 135752675 4287809424 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 55914 55115 146 303 0 55609 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 223656

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23493
/proc/meminfo: memFree=1587736/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=228804 CPUtime=1661.75
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 65243 0 0 0 165745 430 0 0 25 0 1 0 13467720 234295296 56421 1992294400 134512640 135752675 4287809424 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 57201 56421 146 303 0 56896 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 228804

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23493
/proc/meminfo: memFree=1583272/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=233416 CPUtime=1721.73
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 66380 0 0 0 171733 440 0 0 25 0 1 0 13467720 239017984 57558 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 58354 57558 146 303 0 58049 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 233416

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23495
/proc/meminfo: memFree=1578932/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=237404 CPUtime=1781.71
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 67394 0 0 0 177720 451 0 0 25 0 1 0 13467720 243101696 58572 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 59351 58572 146 303 0 59046 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 237404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23495
/proc/meminfo: memFree=1577692/2059040 swapFree=4192956/4192956
[pid=23437] ppid=23435 vsize=238592 CPUtime=1800.03
/proc/23437/stat : 23437 (wbo1.4b) R 23435 23437 23083 0 -1 4202496 67704 0 0 0 179548 455 0 0 25 0 1 0 13467720 244318208 58882 1992294400 134512640 135752675 4287809424 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23437/statm: 59648 58882 146 303 0 59343 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 238592

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.06
CPU user time (s): 1795.48
CPU system time (s): 4.5763
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 238592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.48
system time used= 4.5763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67704
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= 60
involuntary context switches= 14211

runsolver used 2.99254 second user time and 8.51271 second system time

The end

Launcher Data 

Begin job on node080 at 2010-07-06 23:43:18
IDJOB=2687384
IDBENCH=77715
IDSOLVER=1190
FILE ID=node080/2687384-1278452598
PBS_JOBID= 11233542
Free space on /tmp= 62532 MiB

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

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

MD5SUM BENCH= 61e5a79df84e43f9b39aa8611a460c56
RANDOM SEED=1514160985

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1815500 kB
Buffers:          5104 kB
Cached:         104556 kB
SwapCached:          0 kB
Active:         111844 kB
Inactive:        58596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1815500 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8576 kB
Writeback:           0 kB
AnonPages:       60756 kB
Mapped:          14456 kB
Slab:            51236 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182404 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node080 at 2010-07-07 00:13:21