Trace number 2687334

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.12 1800.74

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2687334-1278451857.opb.
0.00/0.00	c Instance file HOME/instance-2687334-1278451857.opb
0.00/0.00	c File size is 6018879 bytes.
1.10/1.18	c Highest Coefficient sum: 576
1.10/1.18	c ============================[ Problem Statistics ]=============================
1.10/1.18	c |                                                                             |
1.10/1.18	c |  Parsing time:          1.16         s                                      |
1.10/1.18	c |  Number Variables:      54782                                               |
1.10/1.18	c |  Number Clauses:        175129                                              |
1.10/1.18	c |  Number Cardinality:    0                                                   |
1.10/1.18	c |  Number PB Constraints: 1200                                                |
96.67/96.70	c ============================[ Search Statistics ]==============================
96.67/96.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.67/96.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.67/96.70	c ===============================================================================
96.67/96.70	c |         0 |   43052   177201   422074 |    58776        0    nan |  0.000 % |
96.67/96.75	c ===============================================================================
96.67/96.75	c New solution: 300
96.67/96.75	o 300
96.67/96.75	c Elapsed CPU time: 96.5943 s	Remaining CPU time: 83.4057 s
96.67/96.75	c ===============================================================================
96.67/96.75	c |         1 |   43052   177202   422374 |    59067        1      4 |  0.000 % |
96.76/96.81	c |       101 |   43044   177202   422374 |    64974      101     27 | 21.578 % |
96.76/96.88	c ===============================================================================
96.76/96.88	c New solution: 299
96.76/96.88	o 299
96.76/96.88	c Elapsed CPU time: 96.7243 s	Remaining CPU time: 83.2757 s
96.76/96.88	c ===============================================================================
96.76/96.88	c |       118 |   42961   177203   422674 |    59067      118     26 | 21.578 % |
96.86/96.93	c ===============================================================================
96.86/96.93	c New solution: 298
96.86/96.93	o 298
96.86/96.93	c Elapsed CPU time: 96.7753 s	Remaining CPU time: 83.2247 s
96.86/96.93	c ===============================================================================
96.86/96.93	c |       129 |   42858   177204   422974 |    59068      129     25 | 21.578 % |
96.86/96.98	c ===============================================================================
96.86/96.98	c New solution: 297
96.86/96.98	o 297
96.86/96.98	c Elapsed CPU time: 96.8203 s	Remaining CPU time: 83.1797 s
96.86/96.98	c ===============================================================================
96.86/96.98	c |       136 |   42743   177205   423274 |    59068      136     24 | 21.578 % |
96.95/97.02	c ===============================================================================
96.95/97.02	c New solution: 296
96.95/97.02	o 296
96.95/97.02	c Elapsed CPU time: 96.8663 s	Remaining CPU time: 83.1337 s
96.95/97.02	c ===============================================================================
96.95/97.02	c |       169 |   42617   177206   423574 |    59068      169     25 | 21.578 % |
96.95/97.08	c |       270 |   42606   177206   423574 |    64975      270     27 | 22.453 % |
97.05/97.13	c ===============================================================================
97.05/97.13	c New solution: 295
97.05/97.13	o 295
97.05/97.13	c Elapsed CPU time: 96.9713 s	Remaining CPU time: 83.0287 s
97.05/97.13	c ===============================================================================
97.05/97.13	c |       290 |   42482   177207   423874 |    59069      274     27 | 22.453 % |
97.05/97.18	c ===============================================================================
97.05/97.18	c New solution: 294
97.05/97.18	o 294
97.05/97.18	c Elapsed CPU time: 97.0173 s	Remaining CPU time: 82.9827 s
97.05/97.18	c ===============================================================================
97.05/97.18	c |       302 |   42334   177208   424174 |    59069      286     26 | 22.453 % |
97.15/97.23	c |       404 |   42328   177208   424174 |    64976      388     30 | 23.006 % |
97.15/97.29	c ===============================================================================
97.15/97.29	c New solution: 293
97.15/97.29	o 293
97.15/97.29	c Elapsed CPU time: 97.1262 s	Remaining CPU time: 82.8738 s
97.15/97.29	c ===============================================================================
97.15/97.29	c |       423 |   42179   177209   424474 |    59069      407     30 | 23.006 % |
97.25/97.34	c ===============================================================================
97.25/97.34	c New solution: 292
97.25/97.34	o 292
97.25/97.34	c Elapsed CPU time: 97.1802 s	Remaining CPU time: 82.8198 s
97.25/97.34	c ===============================================================================
97.25/97.34	c |       457 |   42015   177210   424774 |    59070      441     30 | 23.006 % |
97.25/97.39	c |       558 |   42002   177210   424774 |    64977      542     30 | 23.617 % |
97.36/97.44	c |       708 |   41844   177210   424774 |    71474      628     27 | 23.617 % |
97.36/97.48	c ===============================================================================
97.36/97.48	c New solution: 291
97.36/97.48	o 291
97.36/97.48	c Elapsed CPU time: 97.3192 s	Remaining CPU time: 82.6808 s
97.36/97.48	c ===============================================================================
97.36/97.48	c |       711 |   41844   177211   425074 |    59070      631     27 | 23.617 % |
97.46/97.52	c ===============================================================================
97.46/97.52	c New solution: 290
97.46/97.52	o 290
97.46/97.52	c Elapsed CPU time: 97.3612 s	Remaining CPU time: 82.6388 s
97.46/97.52	c ===============================================================================
97.46/97.52	c |       715 |   41668   177212   425374 |    59070      635     27 | 23.617 % |
97.46/97.57	c ===============================================================================
97.46/97.57	c New solution: 289
97.46/97.57	o 289
97.46/97.57	c Elapsed CPU time: 97.4032 s	Remaining CPU time: 82.5968 s
97.46/97.57	c ===============================================================================
97.46/97.57	c |       727 |   41486   177213   425674 |    59071      647     27 | 23.617 % |
97.56/97.61	c ===============================================================================
97.56/97.61	c New solution: 288
97.56/97.61	o 288
97.56/97.61	c Elapsed CPU time: 97.4512 s	Remaining CPU time: 82.5488 s
97.56/97.61	c ===============================================================================
97.56/97.61	c |       744 |   41304   177214   425974 |    59071      664     27 | 23.617 % |
97.56/97.67	c |       844 |   41275   177214   425974 |    64978      764     27 | 24.935 % |
97.66/97.73	c ===============================================================================
97.66/97.73	c New solution: 287
97.66/97.73	o 287
97.66/97.73	c Elapsed CPU time: 97.5632 s	Remaining CPU time: 82.4368 s
97.66/97.73	c ===============================================================================
97.66/97.73	c |       870 |   41122   177215   426274 |    59071      790     27 | 24.935 % |
97.66/97.78	c ===============================================================================
97.66/97.78	c New solution: 286
97.66/97.78	o 286
97.66/97.78	c Elapsed CPU time: 97.6162 s	Remaining CPU time: 82.3838 s
97.66/97.78	c ===============================================================================
97.66/97.78	c |       873 |   40940   177216   426574 |    59072      590     26 | 24.935 % |
97.76/97.83	c ===============================================================================
97.76/97.83	c New solution: 285
97.76/97.83	o 285
97.76/97.83	c Elapsed CPU time: 97.6652 s	Remaining CPU time: 82.3348 s
97.76/97.83	c ===============================================================================
97.76/97.83	c |       897 |   40758   177217   426874 |    59072      614     26 | 24.935 % |
97.86/97.90	c ===============================================================================
97.86/97.90	c New solution: 284
97.86/97.90	o 284
97.86/97.90	c Elapsed CPU time: 97.7381 s	Remaining CPU time: 82.2619 s
97.86/97.90	c ===============================================================================
97.86/97.90	c |       983 |   40576   177218   427174 |    59072      700     29 | 24.935 % |
97.86/97.95	c ===============================================================================
97.86/97.95	c New solution: 283
97.86/97.95	o 283
97.86/97.95	c Elapsed CPU time: 97.7801 s	Remaining CPU time: 82.2199 s
97.86/97.95	c ===============================================================================
97.86/97.95	c |       992 |   40394   177219   427474 |    59073      709     29 | 24.935 % |
97.95/98.00	c ===============================================================================
97.95/98.00	c New solution: 282
97.95/98.00	o 282
97.95/98.00	c Elapsed CPU time: 97.8331 s	Remaining CPU time: 82.1669 s
97.95/98.00	c ===============================================================================
97.95/98.00	c |      1004 |   40212   177220   427774 |    59073      721     29 | 24.935 % |
97.95/98.04	c ===============================================================================
97.95/98.04	c New solution: 281
97.95/98.04	o 281
97.95/98.04	c Elapsed CPU time: 97.8741 s	Remaining CPU time: 82.1259 s
97.95/98.04	c ===============================================================================
97.95/98.04	c |      1016 |   40030   177221   428074 |    59073      733     29 | 24.935 % |
97.95/98.09	c ===============================================================================
97.95/98.09	c New solution: 280
97.95/98.09	o 280
97.95/98.09	c Elapsed CPU time: 97.9201 s	Remaining CPU time: 82.0799 s
97.95/98.09	c ===============================================================================
97.95/98.09	c |      1029 |   39848   177222   428374 |    59074      746     29 | 24.935 % |
98.05/98.13	c ===============================================================================
98.05/98.13	c New solution: 279
98.05/98.13	o 279
98.05/98.13	c Elapsed CPU time: 97.9581 s	Remaining CPU time: 82.0419 s
98.05/98.13	c ===============================================================================
98.05/98.13	c |      1036 |   39666   177223   428674 |    59074      753     28 | 24.935 % |
98.05/98.18	c ===============================================================================
98.05/98.18	c New solution: 278
98.05/98.18	o 278
98.05/98.18	c Elapsed CPU time: 98.0101 s	Remaining CPU time: 81.9899 s
98.05/98.18	c ===============================================================================
98.05/98.18	c |      1040 |   39484   177224   428974 |    59074      481     24 | 24.935 % |
98.16/98.22	c ===============================================================================
98.16/98.22	c New solution: 277
98.16/98.22	o 277
98.16/98.22	c Elapsed CPU time: 98.0501 s	Remaining CPU time: 81.9499 s
98.16/98.22	c ===============================================================================
98.16/98.22	c |      1045 |   39302   177225   429274 |    59075      486     24 | 24.935 % |
98.16/98.28	c ===============================================================================
98.16/98.28	c New solution: 276
98.16/98.28	o 276
98.16/98.28	c Elapsed CPU time: 98.1011 s	Remaining CPU time: 81.8989 s
98.16/98.28	c ===============================================================================
98.16/98.28	c |      1082 |   39120   177226   429574 |    59075      523     24 | 24.935 % |
98.26/98.32	c |      1182 |   39103   177226   429574 |    64982      623     25 | 28.922 % |
98.26/98.39	c |      1332 |   39100   177226   429574 |    71481      773     26 | 28.922 % |
98.36/98.44	c ===============================================================================
98.36/98.44	c New solution: 275
98.36/98.44	o 275
98.36/98.44	c Elapsed CPU time: 98.2671 s	Remaining CPU time: 81.7329 s
98.36/98.44	c ===============================================================================
98.36/98.44	c |      1355 |   38938   177227   429874 |    59075      796     26 | 28.922 % |
98.45/98.52	c ===============================================================================
98.45/98.52	c New solution: 274
98.45/98.52	o 274
98.45/98.52	c Elapsed CPU time: 98.3401 s	Remaining CPU time: 81.6599 s
98.45/98.52	c ===============================================================================
98.45/98.52	c |      1441 |   38756   177228   430174 |    59076      882     27 | 28.922 % |
98.45/98.58	c |      1541 |   38574   177228   430174 |    64983      773     26 | 29.586 % |
98.55/98.63	c ===============================================================================
98.55/98.63	c New solution: 273
98.55/98.63	o 273
98.55/98.63	c Elapsed CPU time: 98.455 s	Remaining CPU time: 81.545 s
98.55/98.63	c ===============================================================================
98.55/98.63	c |      1559 |   38574   177229   430474 |    59076      791     26 | 29.586 % |
98.55/98.69	c ===============================================================================
98.55/98.69	c New solution: 272
98.55/98.69	o 272
98.55/98.69	c Elapsed CPU time: 98.508 s	Remaining CPU time: 81.492 s
98.55/98.69	c ===============================================================================
98.55/98.69	c |      1569 |   38392   177230   430774 |    59076      801     26 | 29.586 % |
98.65/98.74	c ===============================================================================
98.65/98.74	c New solution: 271
98.65/98.74	o 271
98.65/98.74	c Elapsed CPU time: 98.563 s	Remaining CPU time: 81.437 s
98.65/98.74	c ===============================================================================
98.65/98.74	c |      1598 |   38210   177231   431074 |    59077      830     26 | 29.586 % |
98.65/98.79	c ===============================================================================
98.65/98.79	c New solution: 270
98.65/98.79	o 270
98.65/98.79	c Elapsed CPU time: 98.612 s	Remaining CPU time: 81.388 s
98.65/98.79	c ===============================================================================
98.65/98.79	c |      1600 |   38028   177232   431374 |    59077      832     26 | 29.586 % |
98.75/98.84	c ===============================================================================
98.75/98.84	c New solution: 269
98.75/98.84	o 269
98.75/98.84	c Elapsed CPU time: 98.662 s	Remaining CPU time: 81.338 s
98.75/98.84	c ===============================================================================
98.75/98.84	c |      1615 |   37846   177233   431674 |    59077      847     26 | 29.586 % |
98.86/98.91	c |      1716 |   37840   177233   431674 |    64985      948     28 | 31.247 % |
98.86/98.96	c ===============================================================================
98.86/98.96	c New solution: 268
98.86/98.96	o 268
98.86/98.96	c Elapsed CPU time: 98.778 s	Remaining CPU time: 81.222 s
98.86/98.96	c ===============================================================================
98.86/98.96	c |      1726 |   37664   177234   431974 |    59078      779     27 | 31.247 % |
98.96/99.01	c ===============================================================================
98.96/99.01	c New solution: 267
98.96/99.01	o 267
98.96/99.01	c Elapsed CPU time: 98.826 s	Remaining CPU time: 81.174 s
98.96/99.01	c ===============================================================================
98.96/99.01	c |      1731 |   37482   177235   432274 |    59078      784     27 | 31.247 % |
98.96/99.05	c ===============================================================================
98.96/99.05	c New solution: 266
98.96/99.05	o 266
98.96/99.05	c Elapsed CPU time: 98.874 s	Remaining CPU time: 81.126 s
98.96/99.05	c ===============================================================================
98.96/99.05	c |      1742 |   37300   177236   432574 |    59078      795     27 | 31.247 % |
99.05/99.10	c ===============================================================================
99.05/99.10	c New solution: 265
99.05/99.10	o 265
99.05/99.10	c Elapsed CPU time: 98.922 s	Remaining CPU time: 81.078 s
99.05/99.10	c ===============================================================================
99.05/99.10	c |      1763 |   37118   177237   432874 |    59079      816     27 | 31.247 % |
99.05/99.15	c |      1864 |   37113   177237   432874 |    64986      917     28 | 32.576 % |
99.15/99.20	c ===============================================================================
99.15/99.20	c New solution: 264
99.15/99.20	o 264
99.15/99.20	c Elapsed CPU time: 99.0179 s	Remaining CPU time: 80.9821 s
99.15/99.20	c ===============================================================================
99.15/99.20	c |      1875 |   36936   177238   433174 |    59079      928     27 | 32.576 % |
99.15/99.25	c ===============================================================================
99.15/99.25	c New solution: 263
99.15/99.25	o 263
99.15/99.25	c Elapsed CPU time: 99.0659 s	Remaining CPU time: 80.9341 s
99.15/99.25	c ===============================================================================
99.15/99.25	c |      1879 |   36754   177239   433474 |    59079      932     27 | 32.576 % |
99.15/99.29	c ===============================================================================
99.15/99.29	c New solution: 262
99.15/99.29	o 262
99.15/99.29	c Elapsed CPU time: 99.1069 s	Remaining CPU time: 80.8931 s
99.15/99.29	c ===============================================================================
99.15/99.29	c |      1885 |   36572   177240   433774 |    59080      938     27 | 32.576 % |
99.26/99.34	c ===============================================================================
99.26/99.34	c New solution: 261
99.26/99.34	o 261
99.26/99.34	c Elapsed CPU time: 99.1539 s	Remaining CPU time: 80.8461 s
99.26/99.34	c ===============================================================================
99.26/99.34	c |      1891 |   36390   177241   434074 |    59080      944     27 | 32.576 % |
99.36/99.41	c |      1991 |   36372   177241   434074 |    64988     1044     31 | 33.905 % |
99.36/99.49	c ===============================================================================
99.36/99.49	c New solution: 260
99.36/99.49	o 260
99.36/99.49	c Elapsed CPU time: 99.3079 s	Remaining CPU time: 80.6921 s
99.36/99.49	c ===============================================================================
99.36/99.49	c |      2058 |   36208   177242   434374 |    59080      755     29 | 33.905 % |
99.46/99.53	c ===============================================================================
99.46/99.53	c New solution: 259
99.46/99.53	o 259
99.46/99.53	c Elapsed CPU time: 99.3499 s	Remaining CPU time: 80.6501 s
99.46/99.53	c ===============================================================================
99.46/99.53	c |      2071 |   36026   177243   434674 |    59081      768     29 | 33.905 % |
99.46/99.58	c ===============================================================================
99.46/99.58	c New solution: 258
99.46/99.58	o 258
99.46/99.58	c Elapsed CPU time: 99.3909 s	Remaining CPU time: 80.6091 s
99.46/99.58	c ===============================================================================
99.46/99.58	c |      2086 |   35844   177244   434974 |    59081      783     29 | 33.905 % |
99.56/99.63	c ===============================================================================
99.56/99.63	c New solution: 257
99.56/99.63	o 257
99.56/99.63	c Elapsed CPU time: 99.4429 s	Remaining CPU time: 80.5571 s
99.56/99.63	c ===============================================================================
99.56/99.63	c |      2109 |   35662   177245   435274 |    59081      806     29 | 33.905 % |
99.56/99.67	c ===============================================================================
99.56/99.67	c New solution: 256
99.56/99.67	o 256
99.56/99.67	c Elapsed CPU time: 99.4849 s	Remaining CPU time: 80.5151 s
99.56/99.67	c ===============================================================================
99.56/99.67	c |      2123 |   35480   177246   435574 |    59082      820     29 | 33.905 % |
99.65/99.72	c |      2223 |   35456   177246   435574 |    64990      920     29 | 35.566 % |
99.65/99.78	c ===============================================================================
99.65/99.78	c New solution: 255
99.65/99.78	o 255
99.65/99.78	c Elapsed CPU time: 99.5929 s	Remaining CPU time: 80.4071 s
99.65/99.78	c ===============================================================================
99.65/99.78	c |      2258 |   35298   177247   435874 |    59082      955     29 | 35.566 % |
99.75/99.83	c ===============================================================================
99.75/99.83	c New solution: 254
99.75/99.83	o 254
99.75/99.83	c Elapsed CPU time: 99.6449 s	Remaining CPU time: 80.3551 s
99.75/99.83	c ===============================================================================
99.75/99.83	c |      2298 |   35116   177248   436174 |    59082      995     29 | 35.566 % |
99.75/99.89	c ===============================================================================
99.75/99.89	c New solution: 253
99.75/99.89	o 253
99.75/99.89	c Elapsed CPU time: 99.7008 s	Remaining CPU time: 80.2992 s
99.75/99.89	c ===============================================================================
99.75/99.89	c |      2330 |   34934   177249   436474 |    59083      723     22 | 35.566 % |
99.85/99.93	c |      2430 |   34927   177249   436474 |    64991      823     23 | 36.563 % |
99.85/99.99	c ===============================================================================
99.85/99.99	c New solution: 252
99.85/99.99	o 252
99.85/99.99	c Elapsed CPU time: 99.8008 s	Remaining CPU time: 80.1992 s
99.85/99.99	c ===============================================================================
99.85/99.99	c |      2484 |   34752   177250   436774 |    59083      877     24 | 36.563 % |
99.96/100.04	c |      2584 |   34748   177250   436774 |    64991      977     25 | 36.895 % |
99.96/100.10	c ===============================================================================
99.96/100.10	c New solution: 251
99.96/100.10	o 251
99.96/100.10	c Elapsed CPU time: 99.9088 s	Remaining CPU time: 80.0912 s
99.96/100.10	c ===============================================================================
99.96/100.10	c |      2625 |   34570   177251   437074 |    59083     1018     25 | 36.895 % |
100.06/100.14	c ===============================================================================
100.06/100.14	c New solution: 250
100.06/100.14	o 250
100.06/100.14	c Elapsed CPU time: 99.9508 s	Remaining CPU time: 80.0492 s
100.06/100.14	c ===============================================================================
100.06/100.14	c |      2636 |   34388   177252   437374 |    59084     1029     25 | 36.895 % |
100.06/100.18	c ===============================================================================
100.06/100.18	c New solution: 249
100.06/100.18	o 249
100.06/100.18	c Elapsed CPU time: 99.9918 s	Remaining CPU time: 80.0082 s
100.06/100.18	c ===============================================================================
100.06/100.18	c |      2647 |   34206   177253   437674 |    59084     1040     24 | 36.895 % |
100.15/100.25	c |      2747 |   34190   177253   437674 |    64992     1140     26 | 37.892 % |
100.15/100.29	c ===============================================================================
100.15/100.29	c New solution: 248
100.15/100.29	o 248
100.15/100.29	c Elapsed CPU time: 100.103 s	Remaining CPU time: 79.8972 s
100.15/100.29	c ===============================================================================
100.15/100.29	c |      2755 |   34024   177254   437974 |    59084      976     26 | 37.892 % |
100.25/100.35	c ===============================================================================
100.25/100.35	c New solution: 247
100.25/100.35	o 247
100.25/100.35	c Elapsed CPU time: 100.154 s	Remaining CPU time: 79.8462 s
100.25/100.35	c ===============================================================================
100.25/100.35	c |      2801 |   33842   177255   438274 |    59085     1022     26 | 37.892 % |
100.36/100.40	c |      2901 |   33839   177255   438274 |    64993     1122     26 | 38.556 % |
100.36/100.45	c |      3051 |   33805   177255   438274 |    71492     1272     27 | 38.556 % |
100.46/100.56	c |      3276 |   33802   177255   438274 |    78642     1497     29 | 38.556 % |
100.66/100.72	c |      3614 |   33800   177255   438274 |    86506     1835     29 | 38.556 % |
100.66/100.76	c ===============================================================================
100.66/100.76	c New solution: 246
100.66/100.76	o 246
100.66/100.76	c Elapsed CPU time: 100.567 s	Remaining CPU time: 79.4333 s
100.66/100.76	c ===============================================================================
100.66/100.76	c |      3623 |   33660   177256   438574 |    59085     1704     28 | 38.556 % |
100.76/100.81	c ===============================================================================
100.76/100.81	c New solution: 245
100.76/100.81	o 245
100.76/100.81	c Elapsed CPU time: 100.614 s	Remaining CPU time: 79.3863 s
100.76/100.81	c ===============================================================================
100.76/100.81	c |      3632 |   33478   177257   438874 |    59085     1713     28 | 38.556 % |
100.76/100.85	c ===============================================================================
100.76/100.85	c New solution: 244
100.76/100.85	o 244
100.76/100.85	c Elapsed CPU time: 100.658 s	Remaining CPU time: 79.3423 s
100.76/100.85	c ===============================================================================
100.76/100.85	c |      3651 |   33296   177258   439174 |    59086     1732     28 | 38.556 % |
100.86/100.91	c ===============================================================================
100.86/100.91	c New solution: 243
100.86/100.91	o 243
100.86/100.91	c Elapsed CPU time: 100.715 s	Remaining CPU time: 79.2853 s
100.86/100.91	c ===============================================================================
100.86/100.91	c |      3713 |   33114   177259   439474 |    59086     1794     28 | 38.556 % |
100.86/100.96	c |      3813 |   33107   177259   439474 |    64994     1894     29 | 39.885 % |
100.95/101.00	c ===============================================================================
100.95/101.00	c New solution: 242
100.95/101.00	o 242
100.95/101.00	c Elapsed CPU time: 100.803 s	Remaining CPU time: 79.1973 s
100.95/101.00	c ===============================================================================
100.95/101.00	c |      3817 |   32932   177260   439774 |    59086     1898     29 | 39.885 % |
100.95/101.04	c ===============================================================================
100.95/101.04	c New solution: 241
100.95/101.04	o 241
100.95/101.04	c Elapsed CPU time: 100.841 s	Remaining CPU time: 79.1593 s
100.95/101.04	c ===============================================================================
100.95/101.04	c |      3821 |   32750   177261   440074 |    59087     1902     29 | 39.885 % |
100.95/101.08	c ===============================================================================
100.95/101.08	c New solution: 240
100.95/101.08	o 240
100.95/101.08	c Elapsed CPU time: 100.885 s	Remaining CPU time: 79.1153 s
100.95/101.08	c ===============================================================================
100.95/101.08	c |      3824 |   32568   177262   440374 |    59087     1905     29 | 39.885 % |
101.06/101.12	c ===============================================================================
101.06/101.12	c New solution: 239
101.06/101.12	o 239
101.06/101.12	c Elapsed CPU time: 100.925 s	Remaining CPU time: 79.0753 s
101.06/101.12	c ===============================================================================
101.06/101.12	c |      3833 |   32386   177263   440674 |    59087     1914     29 | 39.885 % |
101.06/101.17	c |      3934 |   32375   177263   440674 |    64996     2015     29 | 41.214 % |
101.16/101.27	c |      4084 |   32372   177263   440674 |    71496     2165     30 | 41.214 % |
101.25/101.32	c ===============================================================================
101.25/101.32	c New solution: 238
101.25/101.32	o 238
101.25/101.32	c Elapsed CPU time: 101.118 s	Remaining CPU time: 78.8824 s
101.25/101.32	c ===============================================================================
101.25/101.32	c |      4095 |   32204   177264   440974 |    59088     1310     26 | 41.214 % |
101.25/101.36	c |      4196 |   32163   177264   440974 |    64996     1411     27 | 41.546 % |
101.35/101.43	c |      4346 |   32163   177264   440974 |    71496     1561     28 | 41.546 % |
101.35/101.47	c ===============================================================================
101.35/101.47	c New solution: 237
101.35/101.47	o 237
101.35/101.47	c Elapsed CPU time: 101.275 s	Remaining CPU time: 78.7254 s
101.35/101.47	c ===============================================================================
101.35/101.47	c |      4367 |   32022   177265   441274 |    59088     1582     28 | 41.546 % |
101.45/101.52	c ===============================================================================
101.45/101.52	c New solution: 236
101.45/101.52	o 236
101.45/101.52	c Elapsed CPU time: 101.318 s	Remaining CPU time: 78.6824 s
101.45/101.52	c ===============================================================================
101.45/101.52	c |      4385 |   31840   177266   441574 |    59088     1600     27 | 41.546 % |
101.45/101.58	c ===============================================================================
101.45/101.58	c New solution: 235
101.45/101.58	o 235
101.45/101.58	c Elapsed CPU time: 101.376 s	Remaining CPU time: 78.6244 s
101.45/101.58	c ===============================================================================
101.45/101.58	c |      4466 |   31658   177267   441874 |    59089     1681     28 | 41.546 % |
101.56/101.64	c |      4566 |   31653   177267   441874 |    64997     1781     29 | 42.543 % |
101.66/101.72	c |      4716 |   31630   177267   441874 |    71497     1931     29 | 42.543 % |
101.66/101.78	c ===============================================================================
101.66/101.78	c New solution: 234
101.66/101.78	o 234
101.66/101.78	c Elapsed CPU time: 101.571 s	Remaining CPU time: 78.4294 s
101.66/101.78	c ===============================================================================
101.66/101.78	c |      4750 |   31476   177268   442174 |    59089     1525     27 | 42.543 % |
101.76/101.82	c ===============================================================================
101.76/101.82	c New solution: 233
101.76/101.82	o 233
101.76/101.82	c Elapsed CPU time: 101.617 s	Remaining CPU time: 78.3834 s
101.76/101.82	c ===============================================================================
101.76/101.82	c |      4765 |   31294   177269   442474 |    59089     1540     27 | 42.543 % |
101.86/101.90	c ===============================================================================
101.86/101.90	c New solution: 232
101.86/101.90	o 232
101.86/101.90	c Elapsed CPU time: 101.694 s	Remaining CPU time: 78.3065 s
101.86/101.90	c ===============================================================================
101.86/101.90	c |      4860 |   31112   177270   442774 |    59090     1635     27 | 42.543 % |
101.86/101.97	c |      4960 |   31103   177270   442774 |    64999     1735     28 | 43.540 % |
101.95/102.01	c ===============================================================================
101.95/102.01	c New solution: 231
101.95/102.01	o 231
101.95/102.01	c Elapsed CPU time: 101.807 s	Remaining CPU time: 78.1935 s
101.95/102.01	c ===============================================================================
101.95/102.01	c |      4978 |   30930   177271   443074 |    59090     1753     28 | 43.540 % |
101.95/102.06	c ===============================================================================
101.95/102.06	c New solution: 230
101.95/102.06	o 230
101.95/102.06	c Elapsed CPU time: 101.856 s	Remaining CPU time: 78.1445 s
101.95/102.06	c ===============================================================================
101.95/102.06	c |      5006 |   30748   177272   443374 |    59090     1781     28 | 43.540 % |
102.05/102.10	c ===============================================================================
102.05/102.10	c New solution: 229
102.05/102.10	o 229
102.05/102.10	c Elapsed CPU time: 101.896 s	Remaining CPU time: 78.1045 s
102.05/102.10	c ===============================================================================
102.05/102.10	c |      5010 |   30566   177273   443674 |    59091     1785     28 | 43.540 % |
102.05/102.15	c |      5111 |   30541   177273   443674 |    65000     1886     28 | 44.537 % |
102.16/102.23	c |      5261 |   30541   177273   443674 |    71500     2036     29 | 44.537 % |
102.16/102.30	c ===============================================================================
102.16/102.30	c New solution: 228
102.16/102.30	o 228
102.16/102.30	c Elapsed CPU time: 102.089 s	Remaining CPU time: 77.9105 s
102.16/102.30	c ===============================================================================
102.16/102.30	c |      5299 |   30384   177274   443974 |    59091     1528     27 | 44.537 % |
102.26/102.33	c ===============================================================================
102.26/102.33	c New solution: 227
102.26/102.33	o 227
102.26/102.33	c Elapsed CPU time: 102.125 s	Remaining CPU time: 77.8745 s
102.26/102.33	c ===============================================================================
102.26/102.33	c |      5303 |   30202   177275   444274 |    59091     1532     27 | 44.537 % |
102.26/102.38	c ===============================================================================
102.26/102.38	c New solution: 226
102.26/102.38	o 226
102.26/102.38	c Elapsed CPU time: 102.171 s	Remaining CPU time: 77.8285 s
102.26/102.38	c ===============================================================================
102.26/102.38	c |      5312 |   30020   177276   444574 |    59092     1541     27 | 44.537 % |
102.35/102.43	c ===============================================================================
102.35/102.43	c New solution: 225
102.35/102.43	o 225
102.35/102.43	c Elapsed CPU time: 102.22 s	Remaining CPU time: 77.7795 s
102.35/102.43	c ===============================================================================
102.35/102.43	c |      5328 |   29838   177277   444874 |    59092     1557     27 | 44.537 % |
102.35/102.48	c |      5429 |   29828   177277   444874 |    65001     1658     28 | 45.865 % |
102.45/102.54	c ===============================================================================
102.45/102.54	c New solution: 224
102.45/102.54	o 224
102.45/102.54	c Elapsed CPU time: 102.327 s	Remaining CPU time: 77.6726 s
102.45/102.54	c ===============================================================================
102.45/102.54	c |      5480 |   29656   177278   445174 |    59092     1709     28 | 45.865 % |
102.55/102.61	c ===============================================================================
102.55/102.61	c New solution: 223
102.55/102.61	o 223
102.55/102.61	c Elapsed CPU time: 102.404 s	Remaining CPU time: 77.5956 s
102.55/102.61	c ===============================================================================
102.55/102.61	c |      5546 |   29474   177279   445474 |    59093     1775     27 | 45.865 % |
102.55/102.65	c |      5646 |   29429   177279   445474 |    65002     1875     27 | 46.530 % |
102.65/102.75	c |      5797 |   29426   177279   445474 |    71502     2026     29 | 46.530 % |
102.75/102.80	c ===============================================================================
102.75/102.80	c New solution: 222
102.75/102.80	o 222
102.75/102.80	c Elapsed CPU time: 102.59 s	Remaining CPU time: 77.4096 s
102.75/102.80	c ===============================================================================
102.75/102.80	c |      5806 |   29292   177280   445774 |    59093     1552     27 | 46.530 % |
102.75/102.84	c ===============================================================================
102.75/102.84	c New solution: 221
102.75/102.84	o 221
102.75/102.84	c Elapsed CPU time: 102.634 s	Remaining CPU time: 77.3656 s
102.75/102.84	c ===============================================================================
102.75/102.84	c |      5808 |   29110   177281   446074 |    59093     1554     27 | 46.530 % |
102.75/102.89	c ===============================================================================
102.75/102.89	c New solution: 220
102.75/102.89	o 220
102.75/102.89	c Elapsed CPU time: 102.676 s	Remaining CPU time: 77.3236 s
102.75/102.89	c ===============================================================================
102.75/102.89	c |      5820 |   28928   177282   446374 |    59094     1566     27 | 46.530 % |
102.85/102.93	c ===============================================================================
102.85/102.93	c New solution: 219
102.85/102.93	o 219
102.85/102.93	c Elapsed CPU time: 102.72 s	Remaining CPU time: 77.2796 s
102.85/102.93	c ===============================================================================
102.85/102.93	c |      5825 |   28746   177283   446674 |    59094     1571     27 | 46.530 % |
102.85/102.97	c ===============================================================================
102.85/102.97	c New solution: 218
102.85/102.97	o 218
102.85/102.97	c Elapsed CPU time: 102.761 s	Remaining CPU time: 77.2386 s
102.85/102.97	c ===============================================================================
102.85/102.97	c |      5842 |   28564   177284   446974 |    59094     1588     27 | 46.530 % |
102.95/103.02	c |      5942 |   28552   177284   446974 |    65004     1688     28 | 48.191 % |
102.95/103.07	c ===============================================================================
102.95/103.07	c New solution: 217
102.95/103.07	o 217
102.95/103.07	c Elapsed CPU time: 102.854 s	Remaining CPU time: 77.1456 s
102.95/103.07	c ===============================================================================
102.95/103.07	c |      5962 |   28382   177285   447274 |    59095     1708     27 | 48.191 % |
103.05/103.11	c ===============================================================================
103.05/103.11	c New solution: 216
103.05/103.11	o 216
103.05/103.11	c Elapsed CPU time: 102.902 s	Remaining CPU time: 77.0976 s
103.05/103.11	c ===============================================================================
103.05/103.11	c |      5998 |   28200   177286   447574 |    59095     1744     27 | 48.191 % |
103.15/103.20	c ===============================================================================
103.15/103.20	c New solution: 215
103.15/103.20	o 215
103.15/103.20	c Elapsed CPU time: 102.991 s	Remaining CPU time: 77.0087 s
103.15/103.20	c ===============================================================================
103.15/103.20	c |      6079 |   28018   177287   447874 |    59095     1825     28 | 48.191 % |
103.15/103.29	c ===============================================================================
103.15/103.29	c New solution: 214
103.15/103.29	o 214
103.15/103.29	c Elapsed CPU time: 103.074 s	Remaining CPU time: 76.9257 s
103.15/103.29	c ===============================================================================
103.15/103.29	c |      6161 |   27836   177288   448174 |    59096     1907     28 | 48.191 % |
103.26/103.34	c ===============================================================================
103.26/103.34	c New solution: 213
103.26/103.34	o 213
103.26/103.34	c Elapsed CPU time: 103.127 s	Remaining CPU time: 76.8727 s
103.26/103.34	c ===============================================================================
103.26/103.34	c |      6178 |   27654   177289   448474 |    59096     1259     23 | 48.191 % |
103.26/103.40	c |      6278 |   27646   177289   448474 |    65005     1359     24 | 49.852 % |
103.37/103.44	c ===============================================================================
103.37/103.44	c New solution: 212
103.37/103.44	o 212
103.37/103.44	c Elapsed CPU time: 103.221 s	Remaining CPU time: 76.7787 s
103.37/103.44	c ===============================================================================
103.37/103.44	c |      6284 |   27472   177290   448774 |    59096     1365     24 | 49.852 % |
103.37/103.48	c ===============================================================================
103.37/103.48	c New solution: 211
103.37/103.48	o 211
103.37/103.48	c Elapsed CPU time: 103.261 s	Remaining CPU time: 76.7387 s
103.37/103.48	c ===============================================================================
103.37/103.48	c |      6297 |   27290   177291   449074 |    59097     1378     24 | 49.852 % |
103.46/103.53	c |      6399 |   27224   177291   449074 |    65006     1480     25 | 50.517 % |
103.56/103.61	c ===============================================================================
103.56/103.61	c New solution: 210
103.56/103.61	o 210
103.56/103.61	c Elapsed CPU time: 103.396 s	Remaining CPU time: 76.6037 s
103.56/103.61	c ===============================================================================
103.56/103.61	c |      6480 |   27108   177292   449374 |    59097     1561     25 | 50.517 % |
103.56/103.65	c |      6581 |   27106   177292   449374 |    65007     1662     24 | 50.849 % |
103.66/103.71	c ===============================================================================
103.66/103.71	c New solution: 209
103.66/103.71	o 209
103.66/103.71	c Elapsed CPU time: 103.491 s	Remaining CPU time: 76.5087 s
103.66/103.71	c ===============================================================================
103.66/103.71	c |      6629 |   26926   177293   449674 |    59097     1710     24 | 50.849 % |
103.66/103.75	c |      6731 |   26744   177293   449674 |    65007     1410     23 | 51.181 % |
103.76/103.81	c ===============================================================================
103.76/103.81	c New solution: 208
103.76/103.81	o 208
103.76/103.81	c Elapsed CPU time: 103.589 s	Remaining CPU time: 76.4107 s
103.76/103.81	c ===============================================================================
103.76/103.81	c |      6771 |   26744   177294   449974 |    59098     1450     23 | 51.181 % |
103.76/103.87	c |      6871 |   26736   177294   449974 |    65007     1550     25 | 51.513 % |
103.85/103.93	c ===============================================================================
103.85/103.93	c New solution: 207
103.85/103.93	o 207
103.85/103.93	c Elapsed CPU time: 103.707 s	Remaining CPU time: 76.2928 s
103.85/103.93	c ===============================================================================
103.85/103.93	c |      6914 |   26562   177295   450274 |    59098     1593     25 | 51.513 % |
103.85/103.97	c ===============================================================================
103.85/103.97	c New solution: 206
103.85/103.97	o 206
103.85/103.97	c Elapsed CPU time: 103.752 s	Remaining CPU time: 76.2478 s
103.85/103.97	c ===============================================================================
103.85/103.97	c |      6927 |   26380   177296   450574 |    59098     1606     25 | 51.513 % |
103.95/104.01	c ===============================================================================
103.95/104.01	c New solution: 205
103.95/104.01	o 205
103.95/104.01	c Elapsed CPU time: 103.793 s	Remaining CPU time: 76.2068 s
103.95/104.01	c ===============================================================================
103.95/104.01	c |      6943 |   26198   177297   450874 |    59099     1622     25 | 51.513 % |
103.95/104.08	c ===============================================================================
103.95/104.08	c New solution: 204
103.95/104.08	o 204
103.95/104.08	c Elapsed CPU time: 103.857 s	Remaining CPU time: 76.1428 s
103.95/104.08	c ===============================================================================
103.95/104.08	c |      6982 |   26016   177298   451174 |    59099     1661     25 | 51.513 % |
104.05/104.14	c ===============================================================================
104.05/104.14	c New solution: 203
104.05/104.14	o 203
104.05/104.14	c Elapsed CPU time: 103.918 s	Remaining CPU time: 76.0818 s
104.05/104.14	c ===============================================================================
104.05/104.14	c |      7024 |   25834   177299   451474 |    59099     1703     26 | 51.513 % |
104.15/104.22	c ===============================================================================
104.15/104.22	c New solution: 202
104.15/104.22	o 202
104.15/104.22	c Elapsed CPU time: 103.996 s	Remaining CPU time: 76.0038 s
104.15/104.22	c ===============================================================================
104.15/104.22	c |      7089 |   25652   177300   451774 |    59100     1768     26 | 51.513 % |
104.15/104.26	c ===============================================================================
104.15/104.26	c New solution: 201
104.15/104.26	o 201
104.15/104.26	c Elapsed CPU time: 104.041 s	Remaining CPU time: 75.9588 s
104.15/104.26	c ===============================================================================
104.15/104.26	c |      7094 |   25470   177301   452074 |    59100     1199     22 | 51.513 % |
104.25/104.30	c ===============================================================================
104.25/104.30	c New solution: 200
104.25/104.30	o 200
104.25/104.30	c Elapsed CPU time: 104.08 s	Remaining CPU time: 75.9198 s
104.25/104.30	c ===============================================================================
104.25/104.30	c |      7106 |   25288   177302   452374 |    59100     1211     22 | 51.513 % |
104.25/104.34	c ===============================================================================
104.25/104.34	c New solution: 199
104.25/104.34	o 199
104.25/104.34	c Elapsed CPU time: 104.123 s	Remaining CPU time: 75.8768 s
104.25/104.34	c ===============================================================================
104.25/104.34	c |      7116 |   25106   177303   452674 |    59101     1221     22 | 51.513 % |
104.36/104.41	c ===============================================================================
104.36/104.41	c New solution: 198
104.36/104.41	o 198
104.36/104.41	c Elapsed CPU time: 104.186 s	Remaining CPU time: 75.8138 s
104.36/104.41	c ===============================================================================
104.36/104.41	c |      7190 |   24924   177304   452974 |    59101     1295     23 | 51.513 % |
104.36/104.47	c |      7290 |   24918   177304   452974 |    65011     1395     24 | 54.836 % |
104.46/104.51	c ===============================================================================
104.46/104.51	c New solution: 197
104.46/104.51	o 197
104.46/104.51	c Elapsed CPU time: 104.288 s	Remaining CPU time: 75.7119 s
104.46/104.51	c ===============================================================================
104.46/104.51	c |      7298 |   24742   177305   453274 |    59101     1403     23 | 54.836 % |
104.46/104.55	c ===============================================================================
104.46/104.55	c New solution: 196
104.46/104.55	o 196
104.46/104.55	c Elapsed CPU time: 104.326 s	Remaining CPU time: 75.6739 s
104.46/104.55	c ===============================================================================
104.46/104.55	c |      7310 |   24560   177306   453574 |    59102     1415     23 | 54.836 % |
104.46/104.59	c |      7410 |   24531   177306   453574 |    65012     1515     24 | 55.500 % |
104.55/104.65	c ===============================================================================
104.55/104.65	c New solution: 195
104.55/104.65	o 195
104.55/104.65	c Elapsed CPU time: 104.427 s	Remaining CPU time: 75.5729 s
104.55/104.65	c ===============================================================================
104.55/104.65	c |      7446 |   24378   177307   453874 |    59102     1551     24 | 55.500 % |
104.65/104.71	c ===============================================================================
104.65/104.71	c New solution: 194
104.65/104.71	o 194
104.65/104.71	c Elapsed CPU time: 104.485 s	Remaining CPU time: 75.5149 s
104.65/104.71	c ===============================================================================
104.65/104.71	c |      7507 |   24196   177308   454174 |    59102     1612     24 | 55.500 % |
104.65/104.76	c ===============================================================================
104.65/104.76	c New solution: 193
104.65/104.76	o 193
104.65/104.76	c Elapsed CPU time: 104.536 s	Remaining CPU time: 75.4639 s
104.65/104.76	c ===============================================================================
104.65/104.76	c |      7556 |   24014   177309   454474 |    59103     1036     23 | 55.500 % |
104.76/104.80	c ===============================================================================
104.76/104.80	c New solution: 192
104.76/104.80	o 192
104.76/104.80	c Elapsed CPU time: 104.579 s	Remaining CPU time: 75.4209 s
104.76/104.80	c ===============================================================================
104.76/104.80	c |      7570 |   23832   177310   454774 |    59103     1050     23 | 55.500 % |
104.76/104.87	c ===============================================================================
104.76/104.87	c New solution: 191
104.76/104.87	o 191
104.76/104.87	c Elapsed CPU time: 104.649 s	Remaining CPU time: 75.3509 s
104.76/104.87	c ===============================================================================
104.76/104.87	c |      7646 |   23650   177311   455074 |    59103     1126     25 | 55.500 % |
104.86/104.92	c |      7747 |   23648   177311   455074 |    65014     1227     25 | 57.161 % |
104.86/104.96	c ===============================================================================
104.86/104.96	c New solution: 190
104.86/104.96	o 190
104.86/104.96	c Elapsed CPU time: 104.739 s	Remaining CPU time: 75.2609 s
104.86/104.96	c ===============================================================================
104.86/104.96	c |      7765 |   23468   177312   455374 |    59104     1245     25 | 57.161 % |
104.96/105.02	c |      7866 |   23458   177312   455374 |    65014     1346     27 | 57.493 % |
105.06/105.11	c |      8017 |   23452   177312   455374 |    71515     1497     28 | 57.493 % |
105.06/105.15	c ===============================================================================
105.06/105.15	c New solution: 189
105.06/105.15	o 189
105.06/105.15	c Elapsed CPU time: 104.922 s	Remaining CPU time: 75.078 s
105.06/105.15	c ===============================================================================
105.06/105.15	c |      8022 |   23286   177313   455674 |    59104     1502     28 | 57.493 % |
105.06/105.19	c ===============================================================================
105.06/105.19	c New solution: 188
105.06/105.19	o 188
105.06/105.19	c Elapsed CPU time: 104.961 s	Remaining CPU time: 75.039 s
105.06/105.19	c ===============================================================================
105.06/105.19	c |      8036 |   23104   177314   455974 |    59104     1210     29 | 57.493 % |
105.16/105.22	c ===============================================================================
105.16/105.22	c New solution: 187
105.16/105.22	o 187
105.16/105.22	c Elapsed CPU time: 104.998 s	Remaining CPU time: 75.002 s
105.16/105.22	c ===============================================================================
105.16/105.22	c |      8042 |   22922   177315   456274 |    59105     1216     29 | 57.493 % |
105.16/105.27	c |      8142 |   22903   177315   456274 |    65015     1316     28 | 58.490 % |
105.25/105.38	c |      8292 |   22895   177315   456274 |    71517     1466     29 | 58.490 % |
105.35/105.42	c ===============================================================================
105.35/105.42	c New solution: 186
105.35/105.42	o 186
105.35/105.42	c Elapsed CPU time: 105.186 s	Remaining CPU time: 74.814 s
105.35/105.42	c ===============================================================================
105.35/105.42	c |      8302 |   22740   177316   456574 |    59105     1476     29 | 58.490 % |
105.35/105.45	c ===============================================================================
105.35/105.45	c New solution: 185
105.35/105.45	o 185
105.35/105.45	c Elapsed CPU time: 105.225 s	Remaining CPU time: 74.775 s
105.35/105.45	c ===============================================================================
105.35/105.45	c |      8310 |   22558   177317   456874 |    59105     1484     29 | 58.490 % |
105.35/105.49	c ===============================================================================
105.35/105.49	c New solution: 184
105.35/105.49	o 184
105.35/105.49	c Elapsed CPU time: 105.264 s	Remaining CPU time: 74.736 s
105.35/105.49	c ===============================================================================
105.35/105.49	c |      8328 |   22376   177318   457174 |    59106     1502     29 | 58.490 % |
105.46/105.56	c |      8430 |   22328   177318   457174 |    65016     1604     31 | 59.487 % |
105.57/105.64	c |      8580 |   22327   177318   457174 |    71518     1754     32 | 59.487 % |
105.57/105.68	c ===============================================================================
105.57/105.68	c New solution: 183
105.57/105.68	o 183
105.57/105.68	c Elapsed CPU time: 105.444 s	Remaining CPU time: 74.556 s
105.57/105.68	c ===============================================================================
105.57/105.68	c |      8592 |   22194   177319   457474 |    59106     1331     28 | 59.487 % |
105.66/105.72	c ===============================================================================
105.66/105.72	c New solution: 182
105.66/105.72	o 182
105.66/105.72	c Elapsed CPU time: 105.481 s	Remaining CPU time: 74.519 s
105.66/105.72	c ===============================================================================
105.66/105.72	c |      8604 |   22012   177320   457774 |    59106     1343     28 | 59.487 % |
105.66/105.76	c ===============================================================================
105.66/105.76	c New solution: 181
105.66/105.76	o 181
105.66/105.76	c Elapsed CPU time: 105.523 s	Remaining CPU time: 74.477 s
105.66/105.76	c ===============================================================================
105.66/105.76	c |      8625 |   21830   177321   458074 |    59107     1364     28 | 59.487 % |
105.66/105.79	c ===============================================================================
105.66/105.79	c New solution: 180
105.66/105.79	o 180
105.66/105.79	c Elapsed CPU time: 105.556 s	Remaining CPU time: 74.444 s
105.66/105.79	c ===============================================================================
105.66/105.79	c |      8628 |   21648   177322   458374 |    59107     1367     28 | 59.487 % |
105.75/105.83	c ===============================================================================
105.75/105.83	c New solution: 179
105.75/105.83	o 179
105.75/105.83	c Elapsed CPU time: 105.592 s	Remaining CPU time: 74.4081 s
105.75/105.83	c ===============================================================================
105.75/105.83	c |      8641 |   21466   177323   458674 |    59107     1380     27 | 59.487 % |
105.75/105.87	c ===============================================================================
105.75/105.87	c New solution: 178
105.75/105.87	o 178
105.75/105.87	c Elapsed CPU time: 105.634 s	Remaining CPU time: 74.3661 s
105.75/105.87	c ===============================================================================
105.75/105.87	c |      8670 |   21284   177324   458974 |    59108     1409     27 | 59.487 % |
105.85/105.94	c |      8770 |   21278   177324   458974 |    65018     1509     30 | 61.480 % |
105.95/106.03	c |      8921 |   21271   177324   458974 |    71520     1660     30 | 61.480 % |
105.95/106.07	c ===============================================================================
105.95/106.07	c New solution: 177
105.95/106.07	o 177
105.95/106.07	c Elapsed CPU time: 105.836 s	Remaining CPU time: 74.1641 s
105.95/106.07	c ===============================================================================
105.95/106.07	c |      8958 |   21102   177325   459274 |    59108     1697     30 | 61.480 % |
106.05/106.12	c |      9058 |   21044   177325   459274 |    65019     1797     30 | 61.812 % |
106.05/106.18	c |      9209 |   21044   177325   459274 |    71521     1948     30 | 61.812 % |
106.15/106.29	c ===============================================================================
106.15/106.29	c New solution: 176
106.15/106.29	o 176
106.15/106.29	c Elapsed CPU time: 106.05 s	Remaining CPU time: 73.9501 s
106.15/106.29	c ===============================================================================
106.15/106.29	c |      9318 |   20920   177326   459574 |    59108     1459     27 | 61.812 % |
106.25/106.33	c ===============================================================================
106.25/106.33	c New solution: 175
106.25/106.33	o 175
106.25/106.33	c Elapsed CPU time: 106.09 s	Remaining CPU time: 73.9101 s
106.25/106.33	c ===============================================================================
106.25/106.33	c |      9337 |   20738   177327   459874 |    59109     1478     27 | 61.812 % |
106.25/106.37	c ===============================================================================
106.25/106.37	c New solution: 174
106.25/106.37	o 174
106.25/106.37	c Elapsed CPU time: 106.126 s	Remaining CPU time: 73.8741 s
106.25/106.37	c ===============================================================================
106.25/106.37	c |      9345 |   20556   177328   460174 |    59109     1486     27 | 61.812 % |
106.35/106.40	c ===============================================================================
106.35/106.40	c New solution: 173
106.35/106.40	o 173
106.35/106.40	c Elapsed CPU time: 106.164 s	Remaining CPU time: 73.8361 s
106.35/106.40	c ===============================================================================
106.35/106.40	c |      9362 |   20374   177329   460474 |    59109     1503     27 | 61.812 % |
106.35/106.48	c |      9463 |   20365   177329   460474 |    65020     1604     29 | 63.141 % |
106.45/106.52	c ===============================================================================
106.45/106.52	c New solution: 172
106.45/106.52	o 172
106.45/106.52	c Elapsed CPU time: 106.277 s	Remaining CPU time: 73.7232 s
106.45/106.52	c ===============================================================================
106.45/106.52	c |      9474 |   20192   177330   460774 |    59110     1615     29 | 63.141 % |
106.45/106.55	c ===============================================================================
106.45/106.55	c New solution: 171
106.45/106.55	o 171
106.45/106.55	c Elapsed CPU time: 106.315 s	Remaining CPU time: 73.6852 s
106.45/106.55	c ===============================================================================
106.45/106.55	c |      9481 |   20010   177331   461074 |    59110     1622     29 | 63.141 % |
106.45/106.59	c ===============================================================================
106.45/106.59	c New solution: 170
106.45/106.59	o 170
106.45/106.59	c Elapsed CPU time: 106.35 s	Remaining CPU time: 73.6502 s
106.45/106.59	c ===============================================================================
106.45/106.59	c |      9488 |   19828   177332   461374 |    59110     1629     29 | 63.141 % |
106.56/106.64	c ===============================================================================
106.56/106.64	c New solution: 169
106.56/106.64	o 169
106.56/106.64	c Elapsed CPU time: 106.398 s	Remaining CPU time: 73.6022 s
106.56/106.64	c ===============================================================================
106.56/106.64	c |      9551 |   19646   177333   461674 |    59111     1692     29 | 63.141 % |
106.56/106.68	c |      9651 |   19638   177333   461674 |    65022     1792     29 | 64.470 % |
106.66/106.78	c |      9801 |   19630   177333   461674 |    71524     1942     29 | 64.470 % |
106.76/106.82	c ===============================================================================
106.76/106.82	c New solution: 168
106.76/106.82	o 168
106.76/106.82	c Elapsed CPU time: 106.572 s	Remaining CPU time: 73.4282 s
106.76/106.82	c ===============================================================================
106.76/106.82	c |      9812 |   19464   177334   461974 |    59111     1262     27 | 64.470 % |
106.76/106.85	c ===============================================================================
106.76/106.85	c New solution: 167
106.76/106.85	o 167
106.76/106.85	c Elapsed CPU time: 106.607 s	Remaining CPU time: 73.3932 s
106.76/106.85	c ===============================================================================
106.76/106.85	c |      9822 |   19282   177335   462274 |    59111     1272     26 | 64.470 % |
106.76/106.89	c ===============================================================================
106.76/106.89	c New solution: 166
106.76/106.89	o 166
106.76/106.89	c Elapsed CPU time: 106.643 s	Remaining CPU time: 73.3572 s
106.76/106.89	c ===============================================================================
106.76/106.89	c |      9825 |   19100   177336   462574 |    59112     1275     26 | 64.470 % |
106.85/106.92	c ===============================================================================
106.85/106.92	c New solution: 165
106.85/106.92	o 165
106.85/106.92	c Elapsed CPU time: 106.677 s	Remaining CPU time: 73.3232 s
106.85/106.92	c ===============================================================================
106.85/106.92	c |      9836 |   18918   177337   462874 |    59112     1286     26 | 64.470 % |
106.85/106.97	c ===============================================================================
106.85/106.97	c New solution: 164
106.85/106.97	o 164
106.85/106.97	c Elapsed CPU time: 106.717 s	Remaining CPU time: 73.2832 s
106.85/106.97	c ===============================================================================
106.85/106.97	c |      9867 |   18736   177338   463174 |    59112     1317     26 | 64.470 % |
106.95/107.00	c |      9968 |   18698   177338   463174 |    65023     1418     26 | 66.131 % |
107.05/107.11	c |     10119 |   18693   177338   463174 |    71526     1569     27 | 66.131 % |
107.05/107.14	c ===============================================================================
107.05/107.14	c New solution: 163
107.05/107.14	o 163
107.05/107.14	c Elapsed CPU time: 106.896 s	Remaining CPU time: 73.1043 s
107.05/107.14	c ===============================================================================
107.05/107.14	c |     10123 |   18554   177339   463474 |    59113     1573     27 | 66.131 % |
107.05/107.18	c ===============================================================================
107.05/107.18	c New solution: 162
107.05/107.18	o 162
107.05/107.18	c Elapsed CPU time: 106.929 s	Remaining CPU time: 73.0713 s
107.05/107.18	c ===============================================================================
107.05/107.18	c |     10127 |   18372   177340   463774 |    59113     1577     27 | 66.131 % |
107.15/107.21	c ===============================================================================
107.15/107.21	c New solution: 161
107.15/107.21	o 161
107.15/107.21	c Elapsed CPU time: 106.964 s	Remaining CPU time: 73.0363 s
107.15/107.21	c ===============================================================================
107.15/107.21	c |     10129 |   18190   177341   464074 |    59113     1579     27 | 66.131 % |
107.15/107.25	c ===============================================================================
107.15/107.25	c New solution: 160
107.15/107.25	o 160
107.15/107.25	c Elapsed CPU time: 106.997 s	Remaining CPU time: 73.0033 s
107.15/107.25	c ===============================================================================
107.15/107.25	c |     10135 |   18008   177342   464374 |    59114     1585     27 | 66.131 % |
107.15/107.28	c ===============================================================================
107.15/107.28	c New solution: 159
107.15/107.28	o 159
107.15/107.28	c Elapsed CPU time: 107.031 s	Remaining CPU time: 72.9693 s
107.15/107.28	c ===============================================================================
107.15/107.28	c |     10146 |   17826   177343   464674 |    59114     1596     27 | 66.131 % |
107.25/107.32	c ===============================================================================
107.25/107.32	c New solution: 158
107.25/107.32	o 158
107.25/107.32	c Elapsed CPU time: 107.069 s	Remaining CPU time: 72.9313 s
107.25/107.32	c ===============================================================================
107.25/107.32	c |     10158 |   17644   177344   464974 |    59114     1608     27 | 66.131 % |
107.25/107.39	c |     10259 |   17619   177344   464974 |    65026     1709     27 | 68.125 % |
107.35/107.42	c ===============================================================================
107.35/107.42	c New solution: 157
107.35/107.42	o 157
107.35/107.42	c Elapsed CPU time: 107.172 s	Remaining CPU time: 72.8283 s
107.35/107.42	c ===============================================================================
107.35/107.42	c |     10275 |   17462   177345   465274 |    59115     1725     27 | 68.125 % |
107.35/107.47	c ===============================================================================
107.35/107.47	c New solution: 156
107.35/107.47	o 156
107.35/107.47	c Elapsed CPU time: 107.225 s	Remaining CPU time: 72.7753 s
107.35/107.47	c ===============================================================================
107.35/107.47	c |     10369 |   17280   177346   465574 |    59115     1017     25 | 68.125 % |
107.45/107.52	c |     10469 |   17273   177346   465574 |    65026     1117     26 | 68.789 % |
107.45/107.57	c ===============================================================================
107.45/107.57	c New solution: 155
107.45/107.57	o 155
107.45/107.57	c Elapsed CPU time: 107.316 s	Remaining CPU time: 72.6843 s
107.45/107.57	c ===============================================================================
107.45/107.57	c |     10500 |   17098   177347   465874 |    59115     1148     26 | 68.789 % |
107.55/107.62	c ===============================================================================
107.55/107.62	c New solution: 154
107.55/107.62	o 154
107.55/107.62	c Elapsed CPU time: 107.367 s	Remaining CPU time: 72.6333 s
107.55/107.62	c ===============================================================================
107.55/107.62	c |     10557 |   16916   177348   466174 |    59116     1205     25 | 68.789 % |
107.55/107.68	c |     10658 |   16905   177348   466174 |    65027     1306     26 | 69.453 % |
107.66/107.72	c ===============================================================================
107.66/107.72	c New solution: 153
107.66/107.72	o 153
107.66/107.72	c Elapsed CPU time: 107.463 s	Remaining CPU time: 72.5373 s
107.66/107.72	c ===============================================================================
107.66/107.72	c |     10677 |   16734   177349   466474 |    59116     1325     26 | 69.453 % |
107.66/107.78	c |     10778 |   16726   177349   466474 |    65027     1426     28 | 69.786 % |
107.86/107.90	c |     10929 |   16719   177349   466474 |    71530     1577     29 | 69.786 % |
107.86/107.93	c ===============================================================================
107.86/107.93	c New solution: 152
107.86/107.93	o 152
107.86/107.93	c Elapsed CPU time: 107.674 s	Remaining CPU time: 72.3264 s
107.86/107.93	c ===============================================================================
107.86/107.93	c |     10941 |   16552   177350   466774 |    59116     1589     29 | 69.786 % |
107.86/107.97	c ===============================================================================
107.86/107.97	c New solution: 151
107.86/107.97	o 151
107.86/107.97	c Elapsed CPU time: 107.715 s	Remaining CPU time: 72.2854 s
107.86/107.97	c ===============================================================================
107.86/107.97	c |     10956 |   16370   177351   467074 |    59117     1259     28 | 69.786 % |
107.96/108.01	c ===============================================================================
107.96/108.01	c New solution: 150
107.96/108.01	o 150
107.96/108.01	c Elapsed CPU time: 107.751 s	Remaining CPU time: 72.2494 s
107.96/108.01	c ===============================================================================
107.96/108.01	c |     10968 |   16188   177352   467374 |    59117     1271     27 | 69.786 % |
107.96/108.05	c |     11071 |   16130   177352   467374 |    65029     1374     28 | 70.782 % |
108.06/108.12	c |     11221 |   16130   177352   467374 |    71531     1524     28 | 70.782 % |
108.06/108.16	c ===============================================================================
108.06/108.16	c New solution: 149
108.06/108.16	o 149
108.06/108.16	c Elapsed CPU time: 107.903 s	Remaining CPU time: 72.0974 s
108.06/108.16	c ===============================================================================
108.06/108.16	c |     11234 |   16006   177353   467674 |    59117     1537     28 | 70.782 % |
108.06/108.19	c ===============================================================================
108.06/108.19	c New solution: 148
108.06/108.19	o 148
108.06/108.19	c Elapsed CPU time: 107.937 s	Remaining CPU time: 72.0634 s
108.06/108.19	c ===============================================================================
108.06/108.19	c |     11250 |   15824   177354   467974 |    59118     1553     28 | 70.782 % |
108.16/108.23	c ===============================================================================
108.16/108.23	c New solution: 147
108.16/108.23	o 147
108.16/108.23	c Elapsed CPU time: 107.976 s	Remaining CPU time: 72.0244 s
108.16/108.23	c ===============================================================================
108.16/108.23	c |     11271 |   15642   177355   468274 |    59118     1574     28 | 70.782 % |
108.16/108.28	c |     11371 |   15620   177355   468274 |    65030     1674     28 | 71.779 % |
108.25/108.38	c |     11522 |   15616   177355   468274 |    71533     1825     29 | 71.779 % |
108.35/108.41	c ===============================================================================
108.35/108.41	c New solution: 146
108.35/108.41	o 146
108.35/108.41	c Elapsed CPU time: 108.159 s	Remaining CPU time: 71.8414 s
108.35/108.41	c ===============================================================================
108.35/108.41	c |     11530 |   15460   177356   468574 |    59118     1833     28 | 71.779 % |
108.35/108.50	c ===============================================================================
108.35/108.50	c New solution: 145
108.35/108.50	o 145
108.35/108.50	c Elapsed CPU time: 108.239 s	Remaining CPU time: 71.7615 s
108.35/108.50	c ===============================================================================
108.35/108.50	c |     11619 |   15278   177357   468874 |    59119     1922     30 | 71.779 % |
108.45/108.54	c |     11722 |   15096   177357   468874 |    65030     1456     26 | 72.444 % |
108.55/108.61	c ===============================================================================
108.55/108.61	c New solution: 144
108.55/108.61	o 144
108.55/108.61	c Elapsed CPU time: 108.352 s	Remaining CPU time: 71.6485 s
108.55/108.61	c ===============================================================================
108.55/108.61	c |     11862 |   15096   177358   469174 |    59119     1596     27 | 72.444 % |
108.55/108.66	c |     11963 |   15090   177358   469174 |    65031     1697     27 | 72.776 % |
108.65/108.77	c ===============================================================================
108.65/108.77	c New solution: 143
108.65/108.77	o 143
108.65/108.77	c Elapsed CPU time: 108.512 s	Remaining CPU time: 71.4885 s
108.65/108.77	c ===============================================================================
108.65/108.77	c |     12071 |   14914   177359   469474 |    59119     1805     27 | 72.776 % |
108.76/108.81	c |     12172 |   14869   177359   469474 |    65031     1906     28 | 73.108 % |
108.76/108.88	c |     12322 |   14869   177359   469474 |    71534     2056     28 | 73.108 % |
108.86/108.92	c ===============================================================================
108.86/108.92	c New solution: 142
108.86/108.92	o 142
108.86/108.92	c Elapsed CPU time: 108.66 s	Remaining CPU time: 71.3395 s
108.86/108.92	c ===============================================================================
108.86/108.92	c |     12354 |   14732   177360   469774 |    59120     2088     28 | 73.108 % |
108.86/108.95	c |     12454 |   14726   177360   469774 |    65032     2188     28 | 73.440 % |
108.95/109.06	c |     12605 |   14723   177360   469774 |    71535     2339     28 | 73.440 % |
109.05/109.18	c |     12830 |   14550   177360   469774 |    78688     2323     31 | 73.440 % |
109.25/109.30	c |     13167 |   14550   177360   469774 |    86557     2660     31 | 73.440 % |
109.66/109.70	c |     13673 |   14550   177360   469774 |    95213     3166     32 | 73.440 % |
109.66/109.73	c ===============================================================================
109.66/109.73	c New solution: 141
109.66/109.74	o 141
109.66/109.74	c Elapsed CPU time: 109.468 s	Remaining CPU time: 70.5316 s
109.66/109.74	c ===============================================================================
109.66/109.74	c |     13697 |   14550   177361   470074 |    59120     3190     32 | 73.440 % |
109.66/109.78	c |     13798 |   14368   177361   470074 |    65032     3126     32 | 73.772 % |
109.86/109.94	c ===============================================================================
109.86/109.94	c New solution: 140
109.86/109.94	o 140
109.86/109.94	c Elapsed CPU time: 109.667 s	Remaining CPU time: 70.3327 s
109.86/109.94	c ===============================================================================
109.86/109.94	c |     13937 |   14368   177362   470374 |    59120     3265     32 | 73.772 % |
109.86/109.98	c |     14037 |   14348   177362   470374 |    65032     3365     32 | 74.105 % |
109.96/110.04	c |     14187 |   14348   177362   470374 |    71536     3515     32 | 74.105 % |
110.15/110.20	c ===============================================================================
110.15/110.20	c New solution: 139
110.15/110.20	o 139
110.15/110.20	c Elapsed CPU time: 109.93 s	Remaining CPU time: 70.0697 s
110.15/110.20	c ===============================================================================
110.15/110.20	c |     14364 |   14186   177363   470674 |    59121     3692     32 | 74.105 % |
110.15/110.27	c |     14464 |   14147   177363   470674 |    65033     3792     32 | 74.437 % |
110.25/110.31	c ===============================================================================
110.25/110.31	c New solution: 138
110.25/110.31	o 138
110.25/110.31	c Elapsed CPU time: 110.037 s	Remaining CPU time: 69.9627 s
110.25/110.31	c ===============================================================================
110.25/110.31	c |     14491 |   14004   177364   470974 |    59121     3819     32 | 74.437 % |
110.25/110.36	c |     14593 |   13822   177364   470974 |    65033     3241     29 | 74.769 % |
110.45/110.53	c |     14745 |   13822   177364   470974 |    71536     3393     30 | 74.769 % |
110.55/110.63	c |     14970 |   13822   177364   470974 |    78690     3618     31 | 74.769 % |
110.75/110.86	c |     15307 |   13822   177364   470974 |    86559     3955     32 | 74.769 % |
110.96/111.06	c ===============================================================================
110.96/111.06	c New solution: 137
110.96/111.06	o 137
110.96/111.06	c Elapsed CPU time: 110.786 s	Remaining CPU time: 69.2138 s
110.96/111.06	c ===============================================================================
110.96/111.06	c |     15621 |   13822   177365   471274 |    59121     4269     35 | 74.769 % |
111.06/111.11	c |     15722 |   13640   177365   471274 |    65033     3891     31 | 75.101 % |
111.06/111.17	c |     15872 |   13640   177365   471274 |    71537     4041     31 | 75.101 % |
111.36/111.42	c |     16097 |   13640   177365   471274 |    78690     4266     32 | 75.101 % |
111.46/111.51	c |     16435 |   13640   177365   471274 |    86560     4604     32 | 75.101 % |
111.76/111.86	c |     16942 |   13640   177365   471274 |    95216     5111     33 | 75.101 % |
112.06/112.10	c |     17702 |   13640   177365   471274 |   104737     5871     33 | 75.101 % |
112.85/112.98	c |     18841 |   13640   177365   471274 |   115211     7010     40 | 75.101 % |
113.35/113.41	c |     20549 |   13640   177365   471274 |   126732     8718     38 | 75.101 % |
115.65/115.79	c |     23111 |   13640   177365   471274 |   139405    11280     46 | 75.101 % |
116.65/116.78	c ===============================================================================
116.65/116.78	c New solution: 136
116.65/116.78	o 136
116.65/116.78	c Elapsed CPU time: 116.474 s	Remaining CPU time: 63.5257 s
116.65/116.78	c ===============================================================================
116.65/116.78	c |     25132 |   13640   177366   471574 |    59122    13301     49 | 75.101 % |
116.75/116.87	c |     25232 |   13458   177366   471574 |    65034    12129     42 | 75.434 % |
116.85/116.94	c |     25382 |   13458   177366   471574 |    71537    12279     42 | 75.434 % |
117.05/117.15	c |     25608 |   13458   177366   471574 |    78691    12505     42 | 75.434 % |
117.15/117.29	c |     25946 |   13458   177366   471574 |    86560    12843     42 | 75.434 % |
117.45/117.56	c |     26454 |   13458   177366   471574 |    95216    13351     42 | 75.434 % |
117.95/118.05	c |     27214 |   13458   177366   471574 |   104738    14111     42 | 75.434 % |
118.45/118.59	c |     28353 |   13458   177366   471574 |   115212    15250     42 | 75.434 % |
120.25/120.38	c |     30061 |   13458   177366   471574 |   126733    16958     43 | 75.434 % |
120.45/120.59	c ===============================================================================
120.45/120.59	c New solution: 135
120.45/120.59	o 135
120.45/120.59	c Elapsed CPU time: 120.259 s	Remaining CPU time: 59.7413 s
120.45/120.59	c ===============================================================================
120.45/120.59	c |     30479 |   13458   177367   471874 |    59122    17376     43 | 75.434 % |
120.55/120.66	c |     30579 |   13276   177367   471874 |    65034    16702     42 | 75.766 % |
120.65/120.72	c |     30729 |   13276   177367   471874 |    71538    16852     42 | 75.766 % |
120.75/120.82	c |     30954 |   13276   177367   471874 |    78691    17077     42 | 75.766 % |
120.96/121.04	c |     31291 |   13276   177367   471874 |    86561    17414     42 | 75.766 % |
121.25/121.35	c |     31797 |   13276   177367   471874 |    95217    17920     42 | 75.766 % |
121.65/121.72	c |     32556 |   13276   177367   471874 |   104738    18679     42 | 75.766 % |
122.35/122.47	c |     33695 |   13276   177367   471874 |   115212    19818     42 | 75.766 % |
122.65/122.76	c ===============================================================================
122.65/122.76	c New solution: 134
122.65/122.76	o 134
122.65/122.76	c Elapsed CPU time: 122.417 s	Remaining CPU time: 57.5826 s
122.65/122.76	c ===============================================================================
122.65/122.76	c |     34447 |   13276   177368   472174 |    59122    20570     42 | 75.766 % |
122.75/122.86	c |     34548 |   13094   177368   472174 |    65034    18671     38 | 76.098 % |
122.85/122.99	c |     34699 |   13094   177368   472174 |    71538    18822     38 | 76.098 % |
122.95/123.07	c |     34924 |   13094   177368   472174 |    78692    19047     38 | 76.098 % |
123.15/123.23	c |     35263 |   13094   177368   472174 |    86561    19386     38 | 76.098 % |
123.34/123.43	c |     35770 |   13094   177368   472174 |    95217    19893     38 | 76.098 % |
124.05/124.18	c |     36529 |   13094   177368   472174 |   104739    20652     38 | 76.098 % |
124.45/124.54	c |     37668 |   13094   177368   472174 |   115213    21791     37 | 76.098 % |
125.26/125.34	c |     39376 |   13094   177368   472174 |   126734    23499     38 | 76.098 % |
127.45/127.54	c |     41938 |   13094   177368   472174 |   139408    26061     38 | 76.098 % |
129.34/129.45	c |     45782 |   13094   177368   472174 |   153348    29905     40 | 76.098 % |
134.74/134.84	c |     51548 |   13094   177368   472174 |   168683    35671     45 | 76.098 % |
138.55/138.67	c |     60197 |   13094   177368   472174 |   185552    44320     45 | 76.098 % |
150.64/150.76	c |     73171 |   13094   177368   472174 |   204107    57294     51 | 76.098 % |
161.73/161.84	c |     92636 |   13094   177368   472174 |   224518    76759     46 | 76.098 % |
180.53/180.64	c There are 41688 assigned variables. 248 in cost function.
181.13/181.25	c core #1
181.13/181.25	c core #2
181.13/181.25	c core #3
181.13/181.25	c ============================[ Search Statistics ]==============================
181.13/181.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.13/181.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.13/181.25	c ===============================================================================
181.13/181.25	c |         0 |    4325    78627   104242 |    26209        0    nan |  0.000 % |
181.13/181.26	c ===============================================================================
181.23/181.38	c core #4
181.23/181.38	c ============================[ Search Statistics ]==============================
181.23/181.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.23/181.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.23/181.38	c ===============================================================================
181.23/181.38	c |         0 |    4561    78676   107268 |    26225        0    nan |  0.000 % |
181.23/181.39	c ===============================================================================
181.44/181.50	c core #5
181.44/181.50	c ============================[ Search Statistics ]==============================
181.44/181.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.44/181.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.44/181.50	c ===============================================================================
181.44/181.50	c |         0 |    4791    78724   107637 |    26241        0    nan |  0.000 % |
181.44/181.52	c ===============================================================================
181.53/181.64	c core #6
181.53/181.64	c ============================[ Search Statistics ]==============================
181.53/181.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.53/181.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.53/181.64	c ===============================================================================
181.53/181.64	c |         0 |    5020    78771   108004 |    26257        0    nan |  0.000 % |
181.53/181.66	c ===============================================================================
181.63/181.78	c core #7
181.63/181.78	c ============================[ Search Statistics ]==============================
181.63/181.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.78	c ===============================================================================
181.63/181.78	c |         0 |    5248    78818   108374 |    26272        0    nan |  0.000 % |
181.73/181.82	c |       100 |    5248    78818   108374 |    28899      100     15 | 91.280 % |
181.73/181.84	c ===============================================================================
181.83/181.96	c core #8
181.83/181.96	c ============================[ Search Statistics ]==============================
181.83/181.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.83/181.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.83/181.96	c ===============================================================================
181.83/181.96	c |         0 |    5475    78863   108739 |    26287        0    nan |  0.000 % |
181.93/182.01	c |       100 |    5475    78863   108739 |    28916      100     15 | 90.076 % |
181.93/182.06	c ===============================================================================
182.03/182.18	c core #9
182.03/182.18	c ============================[ Search Statistics ]==============================
182.03/182.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.18	c ===============================================================================
182.03/182.18	c |         0 |    5701    78907   109099 |    26302        0    nan |  0.000 % |
182.13/182.23	c |       100 |    5701    78907   109099 |    28932      100     17 | 89.675 % |
182.13/182.29	c |       250 |    5633    78907   109099 |    31825      170     16 | 89.827 % |
182.23/182.37	c ===============================================================================
182.43/182.50	c core #10
182.43/182.50	c ============================[ Search Statistics ]==============================
182.43/182.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.43/182.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.43/182.50	c ===============================================================================
182.43/182.50	c |         0 |    5926    78950   109454 |    26316        0    nan |  0.000 % |
182.43/182.56	c |       101 |    5926    78950   109454 |    28948      101     17 | 89.276 % |
182.53/182.63	c |       253 |    5926    78950   109454 |    31843      253     23 | 89.276 % |
182.62/182.73	c |       478 |    5926    78950   109454 |    35027      478     21 | 89.276 % |
182.72/182.89	c |       815 |    5838    78950   109454 |    38530      536     18 | 89.435 % |
182.82/182.94	c ===============================================================================
182.92/183.07	c core #11
182.92/183.07	c ============================[ Search Statistics ]==============================
182.92/183.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.92/183.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.92/183.07	c ===============================================================================
182.92/183.07	c |         0 |    6150    78992   109808 |    26330        0    nan |  0.000 % |
183.03/183.12	c |       101 |    6150    78992   109808 |    28963      101     17 | 88.879 % |
183.03/183.18	c |       253 |    6150    78992   109808 |    31860      253     21 | 88.879 % |
183.13/183.27	c |       478 |    6150    78992   109808 |    35046      478     22 | 88.879 % |
183.33/183.43	c |       816 |    6150    78992   109808 |    38550      816     25 | 88.879 % |
183.54/183.66	c |      1322 |    6081    78992   109808 |    42405     1193     27 | 89.099 % |
183.82/183.94	c ===============================================================================
183.92/184.06	c core #12
183.92/184.06	c ============================[ Search Statistics ]==============================
183.92/184.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.92/184.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.92/184.06	c ===============================================================================
183.92/184.06	c |         0 |    6373    79034   110154 |    26344        0    nan |  0.000 % |
184.02/184.12	c |       100 |    6373    79034   110154 |    28979      100     16 | 88.484 % |
184.12/184.21	c |       250 |    6373    79034   110154 |    31877      250     21 | 88.484 % |
184.22/184.30	c |       476 |    6373    79034   110154 |    35064      476     26 | 88.484 % |
184.32/184.46	c |       814 |    6373    79034   110154 |    38571      814     24 | 88.484 % |
184.64/184.70	c |      1320 |    6373    79034   110154 |    42428     1320     26 | 88.484 % |
184.93/185.07	c |      2082 |    6373    79034   110154 |    46671     2082     28 | 88.484 % |
185.53/185.63	c |      3223 |    6357    79034   110154 |    51338     3218     30 | 88.513 % |
186.43/186.51	c |      4932 |    6176    79034   110154 |    56472     3155     27 | 88.871 % |
186.53/186.69	c ===============================================================================
186.73/186.81	c core #13
186.73/186.81	c ============================[ Search Statistics ]==============================
186.73/186.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.73/186.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.73/186.81	c ===============================================================================
186.73/186.81	c |         0 |    6595    79078   110495 |    26359        0    nan |  0.000 % |
186.73/186.86	c |       102 |    6595    79078   110495 |    28995      102     18 | 88.092 % |
186.83/186.94	c |       253 |    6595    79078   110495 |    31894      253     24 | 88.092 % |
186.93/187.03	c |       478 |    6595    79078   110495 |    35084      478     22 | 88.092 % |
187.03/187.18	c |       815 |    6570    79078   110495 |    38592      799     23 | 88.137 % |
187.32/187.43	c |      1321 |    6570    79078   110495 |    42451     1305     26 | 88.137 % |
187.73/187.82	c |      2082 |    6570    79078   110495 |    46697     2066     29 | 88.137 % |
188.32/188.42	c |      3222 |    6570    79078   110495 |    51366     3206     31 | 88.137 % |
189.23/189.34	c |      4931 |    6570    79078   110495 |    56503     4915     33 | 88.137 % |
190.63/190.70	c |      7493 |    6570    79078   110495 |    62153     7477     35 | 88.137 % |
192.92/193.07	c |     11337 |    6430    79078   110495 |    68369     6266     33 | 88.390 % |
193.62/193.79	c ===============================================================================
193.82/193.92	c core #14
193.82/193.92	c ============================[ Search Statistics ]==============================
193.82/193.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.82/193.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.82/193.92	c ===============================================================================
193.82/193.92	c |         0 |    6816    79123   110838 |    26374        0    nan |  0.000 % |
193.82/193.96	c |       100 |    6816    79123   110838 |    29011      100     21 | 87.701 % |
193.92/194.04	c |       250 |    6816    79123   110838 |    31912      250     28 | 87.701 % |
194.02/194.13	c |       478 |    6816    79123   110838 |    35104      478     23 | 87.701 % |
194.12/194.27	c |       817 |    6816    79123   110838 |    38614      817     27 | 87.701 % |
194.32/194.48	c |      1323 |    6816    79123   110838 |    42476     1323     27 | 87.701 % |
194.73/194.81	c |      2082 |    6816    79123   110838 |    46723     2082     29 | 87.701 % |
195.22/195.34	c |      3223 |    6816    79123   110838 |    51396     3223     32 | 87.701 % |
196.12/196.24	c |      4931 |    6816    79123   110838 |    56535     4931     34 | 87.701 % |
197.53/197.69	c |      7493 |    6816    79123   110838 |    62189     7493     35 | 87.701 % |
200.03/200.11	c |     11338 |    6816    79123   110838 |    68408    11338     38 | 87.701 % |
204.12/204.20	c |     17106 |    6685    79123   110838 |    75249    11271     37 | 87.938 % |
209.11/209.21	c ===============================================================================
209.21/209.33	c core #15
209.21/209.33	c ============================[ Search Statistics ]==============================
209.21/209.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.21/209.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
209.21/209.33	c ===============================================================================
209.21/209.33	c |         0 |    7036    79168   111169 |    26389        0    nan |  0.000 % |
209.21/209.38	c |       100 |    7036    79168   111169 |    29028      100     19 | 87.313 % |
209.31/209.44	c |       251 |    7036    79168   111169 |    31931      251     28 | 87.313 % |
209.41/209.51	c |       476 |    7036    79168   111169 |    35124      476     29 | 87.313 % |
209.51/209.64	c |       814 |    7036    79168   111169 |    38636      814     25 | 87.313 % |
209.82/209.91	c |      1321 |    7036    79168   111169 |    42500     1321     30 | 87.313 % |
210.12/210.22	c |      2080 |    7036    79168   111169 |    46750     2080     29 | 87.313 % |
210.62/210.77	c |      3219 |    7036    79168   111169 |    51425     3219     33 | 87.313 % |
211.52/211.67	c |      4927 |    7036    79168   111169 |    56567     4927     31 | 87.313 % |
212.82/212.96	c |      7492 |    7036    79168   111169 |    62224     7492     34 | 87.313 % |
215.22/215.40	c |     11336 |    7036    79168   111169 |    68447    11336     37 | 87.313 % |
219.31/219.45	c |     17104 |    6968    79168   111169 |    75291    16236     38 | 87.436 % |
225.71/225.85	c |     25754 |    6919    79168   111169 |    82821    20957     39 | 87.524 % |
237.31/237.50	c |     38728 |    6861    79168   111169 |    91103    23540     41 | 87.628 % |
249.90/250.09	c ===============================================================================
250.10/250.23	c core #16
250.10/250.23	c ============================[ Search Statistics ]==============================
250.10/250.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
250.10/250.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
250.10/250.23	c ===============================================================================
250.10/250.23	c |         0 |    7255    79217   111512 |    26405        0    nan |  0.000 % |
250.10/250.28	c |       100 |    7255    79217   111512 |    29046      100     17 | 86.927 % |
250.20/250.36	c |       250 |    7255    79217   111512 |    31950      250     24 | 86.927 % |
250.30/250.45	c |       475 |    7255    79217   111512 |    35145      475     27 | 86.927 % |
250.51/250.60	c |       812 |    7255    79217   111512 |    38660      812     30 | 86.927 % |
250.72/250.83	c |      1319 |    7255    79217   111512 |    42526     1319     28 | 86.927 % |
251.10/251.20	c |      2078 |    7255    79217   111512 |    46779     2078     35 | 86.927 % |
251.61/251.71	c |      3218 |    7255    79217   111512 |    51457     3218     34 | 86.927 % |
252.40/252.57	c |      4926 |    7255    79217   111512 |    56602     4926     35 | 86.927 % |
254.01/254.17	c |      7489 |    7201    79217   111512 |    62263     6198     34 | 87.024 % |
256.30/256.48	c |     11333 |    7201    79217   111512 |    68489    10042     33 | 87.024 % |
260.00/260.19	c |     17100 |    7201    79217   111512 |    75338    15809     42 | 87.024 % |
266.80/266.93	c |     25749 |    7201    79217   111512 |    82872    24458     40 | 87.024 % |
278.79/278.90	c |     38723 |    7201    79217   111512 |    91159    37432     44 | 87.024 % |
302.30/302.44	c |     58186 |    7124    79217   111512 |   100275    41903     44 | 87.163 % |
347.67/347.87	c |     87378 |    7096    79217   111512 |   110303    71034     48 | 87.213 % |
421.35/421.54	c |    131170 |    6866    79217   111512 |   121333    32599     32 | 87.633 % |
423.84/424.06	c ===============================================================================
424.04/424.28	c core #17
424.04/424.28	c ============================[ Search Statistics ]==============================
424.04/424.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
424.04/424.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
424.04/424.28	c ===============================================================================
424.04/424.28	c |         0 |    7473    79295   111940 |    26431        0    nan |  0.000 % |
424.15/424.34	c |       100 |    7473    79295   111940 |    29074      100     18 | 86.543 % |
424.25/424.44	c |       250 |    7473    79295   111940 |    31982      250     26 | 86.543 % |
424.35/424.51	c |       476 |    7473    79295   111940 |    35180      476     26 | 86.543 % |
424.45/424.66	c |       814 |    7473    79295   111940 |    38698      814     29 | 86.543 % |
424.74/424.90	c |      1320 |    7473    79295   111940 |    42568     1320     30 | 86.543 % |
425.05/425.27	c |      2079 |    7473    79295   111940 |    46825     2079     28 | 86.543 % |
425.65/425.84	c |      3218 |    7473    79295   111940 |    51507     3218     33 | 86.543 % |
426.44/426.67	c |      4928 |    7473    79295   111940 |    56658     4928     32 | 86.543 % |
427.75/427.91	c |      7491 |    7473    79295   111940 |    62324     7491     36 | 86.543 % |
430.34/430.53	c |     11335 |    7473    79295   111940 |    68556    11335     40 | 86.543 % |
434.25/434.45	c |     17101 |    7473    79295   111940 |    75412    17101     38 | 86.543 % |
440.34/440.57	c |     25751 |    7473    79295   111940 |    82953    25751     40 | 86.543 % |
454.04/454.29	c |     38726 |    7473    79295   111940 |    91249    38726     42 | 86.543 % |
480.54/480.78	c |     58190 |    7409    79295   111940 |   100374    55160     46 | 86.658 % |
533.22/533.49	c |     87384 |    7409    79295   111940 |   110411    84354     47 | 86.658 % |
640.27/640.55	c |    131173 |    7409    79295   111940 |   121452   128143     50 | 86.658 % |
793.22/793.53	c |    196857 |    7261    79295   111940 |   133598   119854     47 | 86.924 % |
1069.72/1070.18	c |    295383 |    6631    79295   111940 |   146957    45251     35 | 88.201 % |
1071.93/1072.36	c ===============================================================================
1072.33/1072.72	c core #18
1072.33/1072.72	c ============================[ Search Statistics ]==============================
1072.33/1072.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1072.33/1072.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1072.33/1072.72	c ===============================================================================
1072.33/1072.72	c |         0 |    7690    79382   112392 |    26460        0    nan |  0.000 % |
1072.33/1072.77	c |       100 |    7690    79382   112392 |    29106      100     17 | 86.161 % |
1072.43/1072.86	c |       251 |    7690    79382   112392 |    32017      251     26 | 86.161 % |
1072.52/1072.96	c |       476 |    7690    79382   112392 |    35219      476     25 | 86.161 % |
1072.72/1073.12	c |       813 |    7690    79382   112392 |    38741      813     27 | 86.161 % |
1073.02/1073.41	c |      1320 |    7690    79382   112392 |    42615     1320     32 | 86.161 % |
1073.32/1073.75	c |      2079 |    7690    79382   112392 |    46876     2079     33 | 86.161 % |
1073.92/1074.31	c |      3218 |    7690    79382   112392 |    51564     3218     33 | 86.161 % |
1074.92/1075.31	c |      4927 |    7690    79382   112392 |    56720     4927     39 | 86.161 % |
1076.32/1076.75	c |      7489 |    7690    79382   112392 |    62392     7489     35 | 86.161 % |
1078.73/1079.17	c |     11333 |    7690    79382   112392 |    68632    11333     40 | 86.161 % |
1083.02/1083.44	c |     17099 |    7690    79382   112392 |    75495    17099     40 | 86.161 % |
1089.42/1089.89	c |     25748 |    7690    79382   112392 |    83044    25748     46 | 86.161 % |
1104.11/1104.57	c |     38724 |    7690    79382   112392 |    91349    38724     44 | 86.161 % |
1131.60/1132.04	c |     58186 |    7690    79382   112392 |   100484    58186     48 | 86.161 % |
1179.98/1180.42	c |     87381 |    7690    79382   112392 |   110532    87381     47 | 86.161 % |
1269.86/1270.32	c |    131170 |    7690    79382   112392 |   121586   131170     51 | 86.161 % |
1415.30/1415.85	c |    196854 |    7690    79382   112392 |   133744    45621     53 | 86.161 % |
1630.83/1631.43	c |    295380 |    7690    79382   112392 |   147119   144147     58 | 86.161 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21451
/proc/meminfo: memFree=1805268/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=8880 CPUtime=0
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 13393762 9093120 293 1992294400 134512640 135751879 4289788800 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 2220 293 144 303 0 445 0

[startup+0.073065 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21451
/proc/meminfo: memFree=1805268/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=12160 CPUtime=0.06
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 1254 0 0 0 6 0 0 0 20 0 1 0 13393762 12451840 1172 1992294400 134512640 135751879 4289788800 18446744073709551615 135225325 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 3040 1174 246 303 0 1265 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12160

[startup+0.10107 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21451
/proc/meminfo: memFree=1805268/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=13644 CPUtime=0.09
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 1625 0 0 0 9 0 0 0 20 0 1 0 13393762 13971456 1543 1992294400 134512640 135751879 4289788800 18446744073709551615 135379173 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 3411 1544 288 303 0 1636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13644

[startup+0.301108 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21451
/proc/meminfo: memFree=1805268/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=16552 CPUtime=0.29
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 2598 0 0 0 29 0 0 0 20 0 1 0 13393762 16949248 2516 1992294400 134512640 135751879 4289788800 18446744073709551615 134559744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 4138 2517 596 303 0 2363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16552

[startup+0.701183 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21451
/proc/meminfo: memFree=1805268/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=24504 CPUtime=0.69
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 5042 0 0 0 68 1 0 0 21 0 1 0 13393762 25092096 4838 1992294400 134512640 135751879 4289788800 18446744073709551615 135225275 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 6126 4839 1221 303 0 4351 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24504

[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21452
/proc/meminfo: memFree=1787652/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=41752 CPUtime=1.49
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 11391 0 0 0 145 4 0 0 23 0 1 0 13393762 42754048 9523 1992294400 134512640 135751879 4289788800 18446744073709551615 134697150 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 10438 9523 146 303 0 10133 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41752

[startup+3.10164 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21452
/proc/meminfo: memFree=1765456/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=45976 CPUtime=3.09
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 12439 0 0 0 305 4 0 0 25 0 1 0 13393762 47079424 10571 1992294400 134512640 135751879 4289788800 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 11494 10571 146 303 0 11189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45976

[startup+6.30124 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21452
/proc/meminfo: memFree=1757396/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=53368 CPUtime=6.29
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 14281 0 0 0 624 5 0 0 25 0 1 0 13393762 54648832 12413 1992294400 134512640 135751879 4289788800 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 13342 12413 146 303 0 13037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53368

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21452
/proc/meminfo: memFree=1746608/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=63796 CPUtime=12.68
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 16916 0 0 0 1262 6 0 0 25 0 1 0 13393762 65327104 15048 1992294400 134512640 135751879 4289788800 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 15949 15048 146 303 0 15644 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63796

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21454
/proc/meminfo: memFree=1731728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=77656 CPUtime=25.48
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 20355 0 0 0 2540 8 0 0 25 0 1 0 13393762 79519744 18487 1992294400 134512640 135751879 4289788800 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 19414 18487 146 303 0 19109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77656

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21454
/proc/meminfo: memFree=1712384/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=97360 CPUtime=51.07
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 25274 0 0 0 5098 9 0 0 25 0 1 0 13393762 99696640 23406 1992294400 134512640 135751879 4289788800 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 24340 23406 146 303 0 24035 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97360

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21456
/proc/meminfo: memFree=1691924/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=116048 CPUtime=102.26
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31035 0 0 0 10209 17 0 0 21 0 1 0 13393762 118833152 28183 1992294400 134512640 135751879 4289788800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 29012 28183 147 303 0 28707 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 116048

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21456
/proc/meminfo: memFree=1691924/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=116048 CPUtime=162.24
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31035 0 0 0 16175 49 0 0 25 0 1 0 13393762 118833152 28183 1992294400 134512640 135751879 4289788800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 29012 28183 147 303 0 28707 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 116048

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21458
/proc/meminfo: memFree=1700728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=105964 CPUtime=222.21
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31575 0 0 0 22141 80 0 0 25 0 1 0 13393762 108507136 25967 1992294400 134512640 135751879 4289788800 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 26491 25967 151 303 0 26186 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 105964

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21460
/proc/meminfo: memFree=1700728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=105964 CPUtime=282.2
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31576 0 0 0 28115 105 0 0 25 0 1 0 13393762 108507136 25968 1992294400 134512640 135751879 4289788800 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 26491 25968 151 303 0 26186 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 105964

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21462
/proc/meminfo: memFree=1700728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=105964 CPUtime=342.17
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31576 0 0 0 34097 120 0 0 25 0 1 0 13393762 108507136 25968 1992294400 134512640 135751879 4289788800 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 26491 25968 151 303 0 26186 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 105964

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21464
/proc/meminfo: memFree=1700728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=105964 CPUtime=402.16
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31576 0 0 0 40079 137 0 0 25 0 1 0 13393762 108507136 25968 1992294400 134512640 135751879 4289788800 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 26491 25968 151 303 0 26186 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 105964

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21464
/proc/meminfo: memFree=1700728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=105964 CPUtime=462.13
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31576 0 0 0 46057 156 0 0 25 0 1 0 13393762 108507136 25968 1992294400 134512640 135751879 4289788800 18446744073709551615 134605082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 26491 25968 151 303 0 26186 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 105964

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21466
/proc/meminfo: memFree=1700728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=105964 CPUtime=522.11
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31576 0 0 0 52038 173 0 0 25 0 1 0 13393762 108507136 25968 1992294400 134512640 135751879 4289788800 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 26491 25968 151 303 0 26186 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 105964

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21468
/proc/meminfo: memFree=1700728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=105964 CPUtime=582.09
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31576 0 0 0 58023 186 0 0 25 0 1 0 13393762 108507136 25968 1992294400 134512640 135751879 4289788800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 26491 25968 151 303 0 26186 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 105964

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21470
/proc/meminfo: memFree=1700728/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=106096 CPUtime=642.08
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 31602 0 0 0 64011 197 0 0 25 0 1 0 13393762 108642304 25994 1992294400 134512640 135751879 4289788800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 26524 25994 151 303 0 26219 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 106096

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21476
/proc/meminfo: memFree=1673820/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=133104 CPUtime=881.99
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 38291 0 0 0 87944 255 0 0 25 0 1 0 13393762 136298496 32683 1992294400 134512640 135751879 4289788800 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 33276 32683 151 303 0 32971 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 133104

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21478
/proc/meminfo: memFree=1667000/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=139884 CPUtime=941.96
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 39988 0 0 0 93928 268 0 0 25 0 1 0 13393762 143241216 34380 1992294400 134512640 135751879 4289788800 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 34971 34380 151 303 0 34666 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 139884

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21480
/proc/meminfo: memFree=1660800/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=146116 CPUtime=1001.95
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 41515 0 0 0 99914 281 0 0 25 0 1 0 13393762 149622784 35907 1992294400 134512640 135751879 4289788800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 36529 35907 151 303 0 36224 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 146116

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21480
/proc/meminfo: memFree=1653980/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=152856 CPUtime=1061.92
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 43225 0 0 0 105900 292 0 0 25 0 1 0 13393762 156524544 37617 1992294400 134512640 135751879 4289788800 18446744073709551615 134604733 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 38214 37617 151 303 0 37909 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 152856

[startup+1122.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 21482
/proc/meminfo: memFree=1643068/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=163684 CPUtime=1121.9
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 45933 0 0 0 111875 315 0 0 25 0 1 0 13393762 167612416 40174 1992294400 134512640 135751879 4289788800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 40921 40174 151 303 0 40616 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 163684

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 21484
/proc/meminfo: memFree=1639348/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=168048 CPUtime=1181.88
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 47025 0 0 0 117857 331 0 0 25 0 1 0 13393762 172081152 41266 1992294400 134512640 135751879 4289788800 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 42012 41266 151 303 0 41707 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 168048

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21486
/proc/meminfo: memFree=1630668/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=176644 CPUtime=1241.86
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 49167 0 0 0 123839 347 0 0 25 0 1 0 13393762 180883456 43408 1992294400 134512640 135751879 4289788800 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 44161 43408 151 303 0 43856 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 176644

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21488
/proc/meminfo: memFree=1623724/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=183576 CPUtime=1301.85
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 50851 0 0 0 129823 362 0 0 25 0 1 0 13393762 187981824 45092 1992294400 134512640 135751879 4289788800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 45894 45092 151 303 0 45589 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 183576

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21488
/proc/meminfo: memFree=1618392/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=188888 CPUtime=1361.82
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 52192 0 0 0 135807 375 0 0 25 0 1 0 13393762 193421312 46433 1992294400 134512640 135751879 4289788800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 47222 46433 151 303 0 46917 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 188888

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21490
/proc/meminfo: memFree=1608968/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=198136 CPUtime=1421.81
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 54513 0 0 0 141788 393 0 0 25 0 1 0 13393762 202891264 48754 1992294400 134512640 135751879 4289788800 18446744073709551615 134605951 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 49534 48754 151 303 0 49229 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 198136

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21492
/proc/meminfo: memFree=1599916/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=207140 CPUtime=1481.78
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 56781 0 0 0 147769 409 0 0 25 0 1 0 13393762 212111360 51022 1992294400 134512640 135751879 4289788800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 51785 51022 151 303 0 51480 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 207140

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21494
/proc/meminfo: memFree=1591980/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=215060 CPUtime=1541.76
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 58731 0 0 0 153752 424 0 0 25 0 1 0 13393762 220221440 52972 1992294400 134512640 135751879 4289788800 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 53765 52972 151 303 0 53460 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 215060

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21496
/proc/meminfo: memFree=1585780/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=221296 CPUtime=1601.74
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 60285 0 0 0 159739 435 0 0 25 0 1 0 13393762 226607104 54526 1992294400 134512640 135751879 4289788800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 55324 54526 151 303 0 55019 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 221296

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21496
/proc/meminfo: memFree=1580200/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=226764 CPUtime=1661.72
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 61665 0 0 0 165723 449 0 0 25 0 1 0 13393762 232206336 55906 1992294400 134512640 135751879 4289788800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 56691 55906 151 303 0 56386 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 226764

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21498
/proc/meminfo: memFree=1573628/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=233408 CPUtime=1721.7
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 63312 0 0 0 171708 462 0 0 25 0 1 0 13393762 239009792 57553 1992294400 134512640 135751879 4289788800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 58352 57553 151 303 0 58047 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 233408

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21500
/proc/meminfo: memFree=1567800/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=239096 CPUtime=1781.68
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 64753 0 0 0 177695 473 0 0 25 0 1 0 13393762 244834304 58994 1992294400 134512640 135751879 4289788800 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 59774 58994 151 303 0 59469 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 239096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21500
/proc/meminfo: memFree=1565816/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=240948 CPUtime=1800.08
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 65229 0 0 0 179533 475 0 0 25 0 1 0 13393762 246730752 59470 1992294400 134512640 135751879 4289788800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 60237 59470 151 303 0 59932 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 240948

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21500
/proc/meminfo: memFree=1565816/2059040 swapFree=4164924/4192956
[pid=21451] ppid=21449 vsize=240948 CPUtime=1800.08
/proc/21451/stat : 21451 (wbo1.4b) R 21449 21451 21219 0 -1 4202496 65229 0 0 0 179533 475 0 0 25 0 1 0 13393762 246730752 59470 1992294400 134512640 135751879 4289788800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21451/statm: 60237 59470 151 303 0 59932 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 240948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.12
CPU user time (s): 1795.34
CPU system time (s): 4.78527
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 240948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.34
system time used= 4.78527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65229
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= 53
involuntary context switches= 4011

runsolver used 3.13652 second user time and 8.37073 second system time

The end

Launcher Data 

Begin job on node037 at 2010-07-06 23:30:57
IDJOB=2687334
IDBENCH=77699
IDSOLVER=1161
FILE ID=node037/2687334-1278451857
PBS_JOBID= 11233547
Free space on /tmp= 62572 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9013_9.std.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687334-1278451857/watcher-2687334-1278451857 -o /tmp/evaluation-result-2687334-1278451857/solver-2687334-1278451857 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687334-1278451857.opb

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

MD5SUM BENCH= b0c7829ae2c1e7f3e474b84d63238c03
RANDOM SEED=6501323

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1805920 kB
Buffers:         21280 kB
Cached:         129164 kB
SwapCached:       1412 kB
Active:         102140 kB
Inactive:        82308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1805920 kB
SwapTotal:     4192956 kB
SwapFree:      4164924 kB
Dirty:            8620 kB
Writeback:           0 kB
AnonPages:       32516 kB
Mapped:          13596 kB
Slab:            46632 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264880 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687334-1278451857.opb

Free space on /tmp at the end= 62572 MiB
End job on node037 at 2010-07-07 00:01:00