Trace number 2687373

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.04 1800.53

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2687373-1278452428.opb.
0.00/0.00	c Instance file HOME/instance-2687373-1278452428.opb
0.00/0.00	c File size is 5958770 bytes.
0.99/1.03	c Highest Coefficient sum: 408
0.99/1.03	c ============================[ Problem Statistics ]=============================
0.99/1.03	c |                                                                             |
0.99/1.03	c |  Parsing time:          1.02         s                                      |
0.99/1.03	c |  Number Variables:      54782                                               |
0.99/1.03	c |  Number Clauses:        183207                                              |
0.99/1.03	c |  Number Cardinality:    0                                                   |
0.99/1.03	c |  Number PB Constraints: 1200                                                |
95.86/96.00	c ============================[ Search Statistics ]==============================
95.86/96.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.86/96.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.86/96.00	c ===============================================================================
95.96/96.00	c |         0 |   41130   185391   396675 |    61469        0    nan |  0.000 % |
95.96/96.04	c ===============================================================================
95.96/96.04	c New solution: 300
95.96/96.04	o 300
95.96/96.04	c Elapsed CPU time: 95.8644 s	Remaining CPU time: 84.1356 s
95.96/96.04	c ===============================================================================
95.96/96.04	c |         0 |   41130   185392   396975 |    61797        0    nan |  0.000 % |
96.05/96.11	c |       102 |   41125   185392   396975 |    67977      102     20 | 25.087 % |
96.05/96.18	c |       252 |   41053   185392   396975 |    74774      252     26 | 25.087 % |
96.15/96.27	c |       477 |   41053   185392   396975 |    82252      477     28 | 25.087 % |
96.36/96.44	c |       814 |   41039   185392   396975 |    90477      814     29 | 25.087 % |
96.36/96.48	c ===============================================================================
96.36/96.48	c New solution: 299
96.36/96.48	o 299
96.36/96.48	c Elapsed CPU time: 96.2974 s	Remaining CPU time: 83.7026 s
96.36/96.48	c ===============================================================================
96.36/96.48	c |       834 |   41039   185393   397275 |    61797      834     29 | 25.087 % |
96.46/96.53	c |       934 |   41028   185393   397275 |    67977      934     30 | 25.271 % |
96.56/96.61	c ===============================================================================
96.56/96.61	c New solution: 298
96.56/96.61	o 298
96.56/96.61	c Elapsed CPU time: 96.4273 s	Remaining CPU time: 83.5727 s
96.56/96.61	c ===============================================================================
96.56/96.61	c |      1052 |   40938   185394   397575 |    61798     1047     30 | 25.271 % |
96.56/96.67	c |      1153 |   40929   185394   397575 |    67977     1148     30 | 25.474 % |
96.66/96.76	c |      1303 |   40922   185394   397575 |    74775     1298     29 | 25.474 % |
96.76/96.81	c ===============================================================================
96.76/96.81	c New solution: 297
96.76/96.81	o 297
96.76/96.81	c Elapsed CPU time: 96.6243 s	Remaining CPU time: 83.3757 s
96.76/96.81	c ===============================================================================
96.76/96.81	c |      1310 |   40827   185395   397875 |    61798     1305     29 | 25.474 % |
96.76/96.86	c ===============================================================================
96.76/96.86	c New solution: 296
96.76/96.86	o 296
96.76/96.86	c Elapsed CPU time: 96.6673 s	Remaining CPU time: 83.3327 s
96.76/96.86	c ===============================================================================
96.76/96.86	c |      1318 |   40709   185396   398175 |    61798     1255     29 | 25.474 % |
96.85/96.91	c ===============================================================================
96.85/96.91	c New solution: 295
96.85/96.91	o 295
96.85/96.91	c Elapsed CPU time: 96.7203 s	Remaining CPU time: 83.2797 s
96.85/96.91	c ===============================================================================
96.85/96.91	c |      1324 |   40583   185397   398475 |    61799     1261     29 | 25.474 % |
96.85/96.96	c ===============================================================================
96.85/96.96	c New solution: 294
96.85/96.96	o 294
96.85/96.96	c Elapsed CPU time: 96.7723 s	Remaining CPU time: 83.2277 s
96.85/96.96	c ===============================================================================
96.85/96.96	c |      1350 |   40448   185398   398775 |    61799     1287     29 | 25.474 % |
96.95/97.01	c |      1450 |   40444   185398   398775 |    67979     1387     29 | 26.433 % |
96.95/97.05	c ===============================================================================
96.95/97.05	c New solution: 293
96.95/97.05	o 293
96.95/97.05	c Elapsed CPU time: 96.8653 s	Remaining CPU time: 83.1347 s
96.95/97.05	c ===============================================================================
96.95/97.05	c |      1461 |   40302   185399   399075 |    61799     1398     29 | 26.433 % |
97.05/97.11	c ===============================================================================
97.05/97.11	c New solution: 292
97.05/97.11	o 292
97.05/97.11	c Elapsed CPU time: 96.9163 s	Remaining CPU time: 83.0837 s
97.05/97.11	c ===============================================================================
97.05/97.11	c |      1471 |   40145   185400   399375 |    61800     1408     28 | 26.433 % |
97.05/97.15	c ===============================================================================
97.05/97.15	c New solution: 291
97.05/97.15	o 291
97.05/97.15	c Elapsed CPU time: 96.9593 s	Remaining CPU time: 83.0407 s
97.05/97.15	c ===============================================================================
97.05/97.15	c |      1480 |   39978   185401   399675 |    61800     1417     28 | 26.433 % |
97.05/97.19	c ===============================================================================
97.05/97.19	c New solution: 290
97.05/97.19	o 290
97.05/97.19	c Elapsed CPU time: 96.9993 s	Remaining CPU time: 83.0007 s
97.05/97.19	c ===============================================================================
97.05/97.19	c |      1493 |   39802   185402   399975 |    61800     1430     28 | 26.433 % |
97.16/97.25	c ===============================================================================
97.16/97.25	c New solution: 289
97.16/97.25	o 289
97.16/97.25	c Elapsed CPU time: 97.0552 s	Remaining CPU time: 82.9448 s
97.16/97.25	c ===============================================================================
97.16/97.25	c |      1516 |   39620   185403   400275 |    61801     1058     27 | 26.433 % |
97.26/97.31	c |      1616 |   39618   185403   400275 |    67981     1158     27 | 28.009 % |
97.26/97.35	c ===============================================================================
97.26/97.35	c New solution: 288
97.26/97.35	o 288
97.26/97.35	c Elapsed CPU time: 97.1542 s	Remaining CPU time: 82.8458 s
97.26/97.35	c ===============================================================================
97.26/97.35	c |      1625 |   39438   185404   400575 |    61801     1167     27 | 28.009 % |
97.36/97.40	c ===============================================================================
97.36/97.40	c New solution: 287
97.36/97.40	o 287
97.36/97.40	c Elapsed CPU time: 97.2042 s	Remaining CPU time: 82.7958 s
97.36/97.40	c ===============================================================================
97.36/97.40	c |      1629 |   39256   185405   400875 |    61801     1171     27 | 28.009 % |
97.36/97.44	c ===============================================================================
97.36/97.44	c New solution: 286
97.36/97.44	o 286
97.36/97.44	c Elapsed CPU time: 97.2462 s	Remaining CPU time: 82.7538 s
97.36/97.44	c ===============================================================================
97.36/97.44	c |      1643 |   39074   185406   401175 |    61802     1185     27 | 28.009 % |
97.36/97.49	c ===============================================================================
97.36/97.49	c New solution: 285
97.36/97.49	o 285
97.36/97.49	c Elapsed CPU time: 97.2922 s	Remaining CPU time: 82.7078 s
97.36/97.49	c ===============================================================================
97.36/97.49	c |      1662 |   38892   185407   401475 |    61802     1204     27 | 28.009 % |
97.46/97.54	c |      1762 |   38891   185407   401475 |    67982     1304     27 | 29.338 % |
97.46/97.59	c ===============================================================================
97.46/97.59	c New solution: 284
97.46/97.59	o 284
97.46/97.59	c Elapsed CPU time: 97.3912 s	Remaining CPU time: 82.6088 s
97.46/97.59	c ===============================================================================
97.46/97.59	c |      1779 |   38710   185408   401775 |    61802     1110     25 | 29.338 % |
97.56/97.63	c ===============================================================================
97.56/97.63	c New solution: 283
97.56/97.63	o 283
97.56/97.63	c Elapsed CPU time: 97.4362 s	Remaining CPU time: 82.5638 s
97.56/97.63	c ===============================================================================
97.56/97.63	c |      1801 |   38528   185409   402075 |    61803     1132     25 | 29.338 % |
97.56/97.69	c ===============================================================================
97.56/97.69	c New solution: 282
97.56/97.69	o 282
97.56/97.69	c Elapsed CPU time: 97.4902 s	Remaining CPU time: 82.5098 s
97.56/97.69	c ===============================================================================
97.56/97.69	c |      1824 |   38346   185410   402375 |    61803     1155     25 | 29.338 % |
97.65/97.74	c ===============================================================================
97.65/97.74	c New solution: 281
97.65/97.74	o 281
97.65/97.74	c Elapsed CPU time: 97.5362 s	Remaining CPU time: 82.4638 s
97.65/97.74	c ===============================================================================
97.65/97.74	c |      1827 |   38164   185411   402675 |    61803     1158     25 | 29.338 % |
97.65/97.78	c ===============================================================================
97.65/97.78	c New solution: 280
97.65/97.78	o 280
97.65/97.78	c Elapsed CPU time: 97.5852 s	Remaining CPU time: 82.4148 s
97.65/97.78	c ===============================================================================
97.65/97.78	c |      1837 |   37982   185412   402975 |    61804     1168     25 | 29.338 % |
97.76/97.83	c ===============================================================================
97.76/97.83	c New solution: 279
97.76/97.83	o 279
97.76/97.83	c Elapsed CPU time: 97.6282 s	Remaining CPU time: 82.3718 s
97.76/97.83	c ===============================================================================
97.76/97.83	c |      1850 |   37800   185413   403275 |    61804     1181     25 | 29.338 % |
97.76/97.87	c ===============================================================================
97.76/97.87	c New solution: 278
97.76/97.87	o 278
97.76/97.87	c Elapsed CPU time: 97.6722 s	Remaining CPU time: 82.3278 s
97.76/97.87	c ===============================================================================
97.76/97.87	c |      1862 |   37618   185414   403575 |    61804     1193     25 | 29.338 % |
97.86/97.92	c ===============================================================================
97.86/97.92	c New solution: 277
97.86/97.92	o 277
97.86/97.92	c Elapsed CPU time: 97.7171 s	Remaining CPU time: 82.2829 s
97.86/97.92	c ===============================================================================
97.86/97.92	c |      1875 |   37436   185415   403875 |    61805     1206     24 | 29.338 % |
97.86/97.96	c ===============================================================================
97.86/97.96	c New solution: 276
97.86/97.96	o 276
97.86/97.96	c Elapsed CPU time: 97.7581 s	Remaining CPU time: 82.2419 s
97.86/97.96	c ===============================================================================
97.86/97.96	c |      1886 |   37254   185416   404175 |    61805     1217     24 | 29.338 % |
97.95/98.01	c ===============================================================================
97.95/98.01	c New solution: 275
97.95/98.01	o 275
97.95/98.01	c Elapsed CPU time: 97.8111 s	Remaining CPU time: 82.1889 s
97.95/98.01	c ===============================================================================
97.95/98.01	c |      1906 |   37072   185417   404475 |    61805      874     22 | 29.338 % |
97.95/98.05	c ===============================================================================
97.95/98.05	c New solution: 274
97.95/98.05	o 274
97.95/98.05	c Elapsed CPU time: 97.8521 s	Remaining CPU time: 82.1479 s
97.95/98.05	c ===============================================================================
97.95/98.05	c |      1910 |   36890   185418   404775 |    61806      878     22 | 29.338 % |
98.06/98.11	c ===============================================================================
98.06/98.11	c New solution: 273
98.06/98.11	o 273
98.06/98.11	c Elapsed CPU time: 97.9051 s	Remaining CPU time: 82.0949 s
98.06/98.11	c ===============================================================================
98.06/98.11	c |      1936 |   36708   185419   405075 |    61806      904     22 | 29.338 % |
98.06/98.15	c ===============================================================================
98.06/98.15	c New solution: 272
98.06/98.15	o 272
98.06/98.15	c Elapsed CPU time: 97.9461 s	Remaining CPU time: 82.0539 s
98.06/98.15	c ===============================================================================
98.06/98.15	c |      1945 |   36526   185420   405375 |    61806      913     22 | 29.338 % |
98.06/98.19	c ===============================================================================
98.06/98.19	c New solution: 271
98.06/98.19	o 271
98.06/98.19	c Elapsed CPU time: 97.9851 s	Remaining CPU time: 82.0149 s
98.06/98.19	c ===============================================================================
98.06/98.19	c |      1955 |   36344   185421   405675 |    61807      923     22 | 29.338 % |
98.16/98.24	c ===============================================================================
98.16/98.24	c New solution: 270
98.16/98.24	o 270
98.16/98.24	c Elapsed CPU time: 98.0331 s	Remaining CPU time: 81.9669 s
98.16/98.24	c ===============================================================================
98.16/98.24	c |      1962 |   36162   185422   405975 |    61807      930     22 | 29.338 % |
98.16/98.29	c ===============================================================================
98.16/98.29	c New solution: 269
98.16/98.29	o 269
98.16/98.29	c Elapsed CPU time: 98.0831 s	Remaining CPU time: 81.9169 s
98.16/98.29	c ===============================================================================
98.16/98.29	c |      1973 |   35980   185423   406275 |    61807      941     22 | 29.338 % |
98.26/98.33	c |      2073 |   35971   185423   406275 |    67988     1041     22 | 34.654 % |
98.36/98.43	c |      2224 |   35967   185423   406275 |    74787     1192     24 | 34.654 % |
98.36/98.47	c ===============================================================================
98.36/98.47	c New solution: 268
98.36/98.47	o 268
98.36/98.47	c Elapsed CPU time: 98.2631 s	Remaining CPU time: 81.7369 s
98.36/98.47	c ===============================================================================
98.36/98.47	c |      2234 |   35798   185424   406575 |    61808     1034     24 | 34.654 % |
98.46/98.52	c ===============================================================================
98.46/98.52	c New solution: 267
98.46/98.52	o 267
98.46/98.52	c Elapsed CPU time: 98.3111 s	Remaining CPU time: 81.6889 s
98.46/98.52	c ===============================================================================
98.46/98.52	c |      2242 |   35616   185425   406875 |    61808     1042     24 | 34.654 % |
98.46/98.56	c ===============================================================================
98.46/98.56	c New solution: 266
98.46/98.56	o 266
98.46/98.56	c Elapsed CPU time: 98.353 s	Remaining CPU time: 81.647 s
98.46/98.56	c ===============================================================================
98.46/98.56	c |      2247 |   35434   185426   407175 |    61808     1047     24 | 34.654 % |
98.56/98.60	c ===============================================================================
98.56/98.60	c New solution: 265
98.56/98.60	o 265
98.56/98.60	c Elapsed CPU time: 98.392 s	Remaining CPU time: 81.608 s
98.56/98.60	c ===============================================================================
98.56/98.60	c |      2257 |   35252   185427   407475 |    61809     1057     24 | 34.654 % |
98.56/98.65	c ===============================================================================
98.56/98.65	c New solution: 264
98.56/98.65	o 264
98.56/98.65	c Elapsed CPU time: 98.44 s	Remaining CPU time: 81.56 s
98.56/98.65	c ===============================================================================
98.56/98.65	c |      2267 |   35070   185428   407775 |    61809     1067     24 | 34.654 % |
98.66/98.70	c ===============================================================================
98.66/98.70	c New solution: 263
98.66/98.70	o 263
98.66/98.70	c Elapsed CPU time: 98.497 s	Remaining CPU time: 81.503 s
98.66/98.70	c ===============================================================================
98.66/98.70	c |      2310 |   34888   185429   408075 |    61809     1110     24 | 34.654 % |
98.66/98.77	c ===============================================================================
98.66/98.77	c New solution: 262
98.66/98.77	o 262
98.66/98.77	c Elapsed CPU time: 98.559 s	Remaining CPU time: 81.441 s
98.66/98.77	c ===============================================================================
98.66/98.77	c |      2356 |   34706   185430   408375 |    61810     1156     24 | 34.654 % |
98.75/98.80	c ===============================================================================
98.75/98.81	c New solution: 261
98.75/98.81	o 261
98.75/98.81	c Elapsed CPU time: 98.596 s	Remaining CPU time: 81.404 s
98.75/98.81	c ===============================================================================
98.75/98.81	c |      2360 |   34524   185431   408675 |    61810     1160     24 | 34.654 % |
98.75/98.85	c ===============================================================================
98.75/98.85	c New solution: 260
98.75/98.85	o 260
98.75/98.85	c Elapsed CPU time: 98.64 s	Remaining CPU time: 81.36 s
98.75/98.85	c ===============================================================================
98.75/98.85	c |      2366 |   34342   185432   408975 |    61810     1166     24 | 34.654 % |
98.75/98.89	c ===============================================================================
98.75/98.89	c New solution: 259
98.75/98.89	o 259
98.75/98.89	c Elapsed CPU time: 98.681 s	Remaining CPU time: 81.319 s
98.75/98.89	c ===============================================================================
98.75/98.89	c |      2372 |   34160   185433   409275 |    61811      866     23 | 34.654 % |
98.86/98.94	c ===============================================================================
98.86/98.94	c New solution: 258
98.86/98.94	o 258
98.86/98.94	c Elapsed CPU time: 98.734 s	Remaining CPU time: 81.266 s
98.86/98.94	c ===============================================================================
98.86/98.94	c |      2415 |   33978   185434   409575 |    61811      909     23 | 34.654 % |
98.86/98.99	c ===============================================================================
98.86/98.99	c New solution: 257
98.86/98.99	o 257
98.86/98.99	c Elapsed CPU time: 98.78 s	Remaining CPU time: 81.22 s
98.86/98.99	c ===============================================================================
98.86/98.99	c |      2422 |   33796   185435   409875 |    61811      916     23 | 34.654 % |
98.96/99.03	c ===============================================================================
98.96/99.03	c New solution: 256
98.96/99.03	o 256
98.96/99.03	c Elapsed CPU time: 98.819 s	Remaining CPU time: 81.181 s
98.96/99.03	c ===============================================================================
98.96/99.03	c |      2431 |   33614   185436   410175 |    61812      925     23 | 34.654 % |
98.96/99.07	c ===============================================================================
98.96/99.07	c New solution: 255
98.96/99.07	o 255
98.96/99.07	c Elapsed CPU time: 98.861 s	Remaining CPU time: 81.139 s
98.96/99.07	c ===============================================================================
98.96/99.07	c |      2453 |   33432   185437   410475 |    61812      947     23 | 34.654 % |
99.06/99.15	c |      2554 |   33426   185437   410475 |    67993     1048     23 | 39.305 % |
99.06/99.19	c ===============================================================================
99.06/99.19	c New solution: 254
99.06/99.19	o 254
99.06/99.19	c Elapsed CPU time: 98.978 s	Remaining CPU time: 81.022 s
99.06/99.19	c ===============================================================================
99.06/99.19	c |      2575 |   33250   185438   410775 |    61812     1069     24 | 39.305 % |
99.16/99.25	c ===============================================================================
99.16/99.25	c New solution: 253
99.16/99.25	o 253
99.16/99.25	c Elapsed CPU time: 99.0339 s	Remaining CPU time: 80.9661 s
99.16/99.25	c ===============================================================================
99.16/99.25	c |      2633 |   33068   185439   411075 |    61813     1127     23 | 39.305 % |
99.26/99.31	c |      2733 |   32886   185439   411075 |    67994      995     23 | 39.969 % |
99.26/99.38	c |      2883 |   32886   185439   411075 |    74793     1145     24 | 39.969 % |
99.46/99.54	c |      3112 |   32886   185439   411075 |    82273     1374     25 | 39.969 % |
99.55/99.61	c ===============================================================================
99.55/99.61	c New solution: 252
99.55/99.61	o 252
99.55/99.61	c Elapsed CPU time: 99.3909 s	Remaining CPU time: 80.6091 s
99.55/99.61	c ===============================================================================
99.55/99.61	c |      3146 |   32886   185440   411375 |    61813     1408     25 | 39.969 % |
99.55/99.66	c ===============================================================================
99.55/99.66	c New solution: 251
99.55/99.66	o 251
99.55/99.66	c Elapsed CPU time: 99.4389 s	Remaining CPU time: 80.5611 s
99.55/99.66	c ===============================================================================
99.55/99.66	c |      3152 |   32704   185441   411675 |    61813     1347     25 | 39.969 % |
99.65/99.70	c ===============================================================================
99.65/99.70	c New solution: 250
99.65/99.70	o 250
99.65/99.70	c Elapsed CPU time: 99.4829 s	Remaining CPU time: 80.5171 s
99.65/99.70	c ===============================================================================
99.65/99.70	c |      3157 |   32522   185442   411975 |    61814     1352     25 | 39.969 % |
99.65/99.74	c ===============================================================================
99.65/99.74	c New solution: 249
99.65/99.74	o 249
99.65/99.74	c Elapsed CPU time: 99.5269 s	Remaining CPU time: 80.4731 s
99.65/99.74	c ===============================================================================
99.65/99.74	c |      3171 |   32340   185443   412275 |    61814     1366     25 | 39.969 % |
99.75/99.81	c |      3273 |   32338   185443   412275 |    67995     1468     25 | 41.298 % |
99.85/99.90	c ===============================================================================
99.85/99.90	c New solution: 248
99.85/99.90	o 248
99.85/99.90	c Elapsed CPU time: 99.6788 s	Remaining CPU time: 80.3212 s
99.85/99.90	c ===============================================================================
99.85/99.90	c |      3367 |   32070   185444   412575 |    61814     1562     25 | 41.298 % |
99.85/99.95	c ===============================================================================
99.85/99.95	c New solution: 247
99.85/99.95	o 247
99.85/99.95	c Elapsed CPU time: 99.7248 s	Remaining CPU time: 80.2752 s
99.85/99.95	c ===============================================================================
99.85/99.95	c |      3383 |   31910   185445   412875 |    61815     1578     25 | 41.298 % |
99.96/100.00	c ===============================================================================
99.96/100.00	c New solution: 246
99.96/100.00	o 246
99.96/100.00	c Elapsed CPU time: 99.7768 s	Remaining CPU time: 80.2232 s
99.96/100.00	c ===============================================================================
99.96/100.00	c |      3414 |   31750   185446   413175 |    61815     1609     25 | 41.298 % |
99.96/100.05	c |      3515 |   31590   185446   413175 |    67996     1348     25 | 42.335 % |
100.06/100.11	c ===============================================================================
100.06/100.11	c New solution: 245
100.06/100.11	o 245
100.06/100.11	c Elapsed CPU time: 99.8838 s	Remaining CPU time: 80.1162 s
100.06/100.11	c ===============================================================================
100.06/100.11	c |      3559 |   31590   185447   413475 |    61815     1392     25 | 42.335 % |
100.06/100.15	c ===============================================================================
100.06/100.15	c New solution: 244
100.06/100.15	o 244
100.06/100.15	c Elapsed CPU time: 99.9238 s	Remaining CPU time: 80.0762 s
100.06/100.15	c ===============================================================================
100.06/100.15	c |      3585 |   31430   185448   413775 |    61816     1418     25 | 42.335 % |
100.06/100.19	c ===============================================================================
100.06/100.19	c New solution: 243
100.06/100.19	o 243
100.06/100.19	c Elapsed CPU time: 99.9648 s	Remaining CPU time: 80.0352 s
100.06/100.19	c ===============================================================================
100.06/100.19	c |      3598 |   31248   185449   414075 |    61816     1431     25 | 42.335 % |
100.15/100.24	c |      3698 |   31248   185449   414075 |    67997     1531     25 | 43.292 % |
100.26/100.30	c ===============================================================================
100.26/100.30	c New solution: 242
100.26/100.30	o 242
100.26/100.30	c Elapsed CPU time: 100.077 s	Remaining CPU time: 79.9232 s
100.26/100.30	c ===============================================================================
100.26/100.30	c |      3725 |   31066   185450   414375 |    61816     1558     25 | 43.292 % |
100.26/100.34	c ===============================================================================
100.26/100.34	c New solution: 241
100.26/100.34	o 241
100.26/100.34	c Elapsed CPU time: 100.118 s	Remaining CPU time: 79.8822 s
100.26/100.34	c ===============================================================================
100.26/100.34	c |      3739 |   30884   185451   414675 |    61817     1572     25 | 43.292 % |
100.26/100.38	c ===============================================================================
100.26/100.38	c New solution: 240
100.26/100.38	o 240
100.26/100.38	c Elapsed CPU time: 100.154 s	Remaining CPU time: 79.8462 s
100.26/100.38	c ===============================================================================
100.26/100.38	c |      3745 |   30702   185452   414975 |    61817     1578     25 | 43.292 % |
100.36/100.43	c ===============================================================================
100.36/100.43	c New solution: 239
100.36/100.43	o 239
100.36/100.43	c Elapsed CPU time: 100.201 s	Remaining CPU time: 79.7992 s
100.36/100.43	c ===============================================================================
100.36/100.43	c |      3748 |   30520   185453   415275 |    61817     1179     24 | 43.292 % |
100.36/100.48	c ===============================================================================
100.36/100.48	c New solution: 238
100.36/100.48	o 238
100.36/100.48	c Elapsed CPU time: 100.254 s	Remaining CPU time: 79.7462 s
100.36/100.48	c ===============================================================================
100.36/100.48	c |      3759 |   30316   185454   415575 |    61818     1190     24 | 43.292 % |
100.46/100.53	c |      3860 |   30313   185454   415575 |    67999     1291     25 | 44.953 % |
100.46/100.58	c ===============================================================================
100.46/100.58	c New solution: 237
100.46/100.58	o 237
100.46/100.58	c Elapsed CPU time: 100.353 s	Remaining CPU time: 79.6473 s
100.46/100.58	c ===============================================================================
100.46/100.58	c |      3873 |   30156   185455   415875 |    61818     1304     24 | 44.953 % |
100.56/100.62	c ===============================================================================
100.56/100.62	c New solution: 236
100.56/100.62	o 236
100.56/100.62	c Elapsed CPU time: 100.395 s	Remaining CPU time: 79.6053 s
100.56/100.62	c ===============================================================================
100.56/100.62	c |      3879 |   29974   185456   416175 |    61818     1310     24 | 44.953 % |
100.56/100.67	c ===============================================================================
100.56/100.67	c New solution: 235
100.56/100.67	o 235
100.56/100.67	c Elapsed CPU time: 100.437 s	Remaining CPU time: 79.5633 s
100.56/100.67	c ===============================================================================
100.56/100.67	c |      3906 |   29792   185457   416475 |    61819     1337     25 | 44.953 % |
100.65/100.71	c ===============================================================================
100.65/100.71	c New solution: 234
100.65/100.71	o 234
100.65/100.71	c Elapsed CPU time: 100.484 s	Remaining CPU time: 79.5163 s
100.65/100.71	c ===============================================================================
100.65/100.71	c |      3917 |   29610   185458   416775 |    61819     1348     25 | 44.953 % |
100.65/100.76	c ===============================================================================
100.65/100.76	c New solution: 233
100.65/100.76	o 233
100.65/100.76	c Elapsed CPU time: 100.528 s	Remaining CPU time: 79.4723 s
100.65/100.76	c ===============================================================================
100.65/100.76	c |      3933 |   29428   185459   417075 |    61819     1364     24 | 44.953 % |
100.75/100.80	c ===============================================================================
100.75/100.80	c New solution: 232
100.75/100.80	o 232
100.75/100.80	c Elapsed CPU time: 100.572 s	Remaining CPU time: 79.4283 s
100.75/100.80	c ===============================================================================
100.75/100.80	c |      3943 |   29246   185460   417375 |    61820     1374     24 | 44.953 % |
100.75/100.85	c |      4043 |   29239   185460   417375 |    68002     1474     25 | 46.946 % |
100.85/100.94	c ===============================================================================
100.85/100.94	c New solution: 231
100.85/100.94	o 231
100.85/100.94	c Elapsed CPU time: 100.708 s	Remaining CPU time: 79.2923 s
100.85/100.94	c ===============================================================================
100.85/100.94	c |      4113 |   29064   185461   417675 |    61820     1069     26 | 46.946 % |
100.85/100.99	c ===============================================================================
100.85/100.99	c New solution: 230
100.85/100.99	o 230
100.85/100.99	c Elapsed CPU time: 100.762 s	Remaining CPU time: 79.2383 s
100.85/100.99	c ===============================================================================
100.85/100.99	c |      4210 |   28882   185462   417975 |    61820     1166     25 | 46.946 % |
100.96/101.04	c |      4310 |   28865   185462   417975 |    68002     1266     26 | 47.611 % |
101.06/101.13	c |      4460 |   28864   185462   417975 |    74803     1416     26 | 47.611 % |
101.06/101.18	c ===============================================================================
101.06/101.18	c New solution: 229
101.06/101.18	o 229
101.06/101.18	c Elapsed CPU time: 100.944 s	Remaining CPU time: 79.0563 s
101.06/101.18	c ===============================================================================
101.06/101.18	c |      4475 |   28700   185463   418275 |    61821     1431     26 | 47.611 % |
101.16/101.22	c ===============================================================================
101.16/101.22	c New solution: 228
101.16/101.22	o 228
101.16/101.22	c Elapsed CPU time: 100.986 s	Remaining CPU time: 79.0144 s
101.16/101.22	c ===============================================================================
101.16/101.22	c |      4481 |   28518   185464   418575 |    61821     1437     26 | 47.611 % |
101.16/101.27	c ===============================================================================
101.16/101.27	c New solution: 227
101.16/101.27	o 227
101.16/101.27	c Elapsed CPU time: 101.031 s	Remaining CPU time: 78.9694 s
101.16/101.27	c ===============================================================================
101.16/101.27	c |      4493 |   28336   185465   418875 |    61821     1238     24 | 47.611 % |
101.26/101.31	c ===============================================================================
101.26/101.31	c New solution: 226
101.26/101.31	o 226
101.26/101.31	c Elapsed CPU time: 101.078 s	Remaining CPU time: 78.9224 s
101.26/101.31	c ===============================================================================
101.26/101.31	c |      4514 |   28154   185466   419175 |    61822     1259     24 | 47.611 % |
101.26/101.35	c ===============================================================================
101.26/101.35	c New solution: 225
101.26/101.35	o 225
101.26/101.35	c Elapsed CPU time: 101.119 s	Remaining CPU time: 78.8814 s
101.26/101.35	c ===============================================================================
101.26/101.35	c |      4523 |   27972   185467   419475 |    61822     1268     24 | 47.611 % |
101.26/101.40	c ===============================================================================
101.26/101.40	c New solution: 224
101.26/101.40	o 224
101.26/101.40	c Elapsed CPU time: 101.16 s	Remaining CPU time: 78.8404 s
101.26/101.40	c ===============================================================================
101.26/101.40	c |      4527 |   27790   185468   419775 |    61822     1272     24 | 47.611 % |
101.36/101.44	c ===============================================================================
101.36/101.44	c New solution: 223
101.36/101.44	o 223
101.36/101.44	c Elapsed CPU time: 101.207 s	Remaining CPU time: 78.7934 s
101.36/101.44	c ===============================================================================
101.36/101.44	c |      4554 |   27608   185469   420075 |    61823     1299     24 | 47.611 % |
101.36/101.49	c ===============================================================================
101.36/101.49	c New solution: 222
101.36/101.49	o 222
101.36/101.49	c Elapsed CPU time: 101.251 s	Remaining CPU time: 78.7494 s
101.36/101.49	c ===============================================================================
101.36/101.49	c |      4571 |   27426   185470   420375 |    61823     1316     24 | 47.611 % |
101.46/101.54	c ===============================================================================
101.46/101.54	c New solution: 221
101.46/101.54	o 221
101.46/101.54	c Elapsed CPU time: 101.301 s	Remaining CPU time: 78.6994 s
101.46/101.54	c ===============================================================================
101.46/101.54	c |      4601 |   27244   185471   420675 |    61823     1346     24 | 47.611 % |
101.46/101.59	c ===============================================================================
101.46/101.59	c New solution: 220
101.46/101.59	o 220
101.46/101.59	c Elapsed CPU time: 101.357 s	Remaining CPU time: 78.6434 s
101.46/101.59	c ===============================================================================
101.46/101.59	c |      4622 |   26990   185472   420975 |    61824     1367     24 | 47.611 % |
101.55/101.65	c ===============================================================================
101.55/101.65	c New solution: 219
101.55/101.65	o 219
101.55/101.65	c Elapsed CPU time: 101.413 s	Remaining CPU time: 78.5874 s
101.55/101.65	c ===============================================================================
101.55/101.65	c |      4667 |   26826   185473   421275 |    61824     1412     24 | 47.611 % |
101.65/101.72	c |      4768 |   26823   185473   421275 |    68006     1513     24 | 51.331 % |
101.65/101.76	c ===============================================================================
101.65/101.76	c New solution: 218
101.65/101.76	o 218
101.65/101.76	c Elapsed CPU time: 101.519 s	Remaining CPU time: 78.4814 s
101.65/101.76	c ===============================================================================
101.65/101.76	c |      4777 |   26662   185474   421575 |    61824     1087     22 | 51.331 % |
101.75/101.80	c ===============================================================================
101.75/101.80	c New solution: 217
101.75/101.80	o 217
101.75/101.80	c Elapsed CPU time: 101.56 s	Remaining CPU time: 78.4404 s
101.75/101.80	c ===============================================================================
101.75/101.80	c |      4797 |   26498   185475   421875 |    61825     1107     22 | 51.331 % |
101.75/101.84	c ===============================================================================
101.75/101.84	c New solution: 216
101.75/101.84	o 216
101.75/101.84	c Elapsed CPU time: 101.595 s	Remaining CPU time: 78.4054 s
101.75/101.84	c ===============================================================================
101.75/101.84	c |      4799 |   26334   185476   422175 |    61825     1109     22 | 51.331 % |
101.75/101.87	c ===============================================================================
101.75/101.87	c New solution: 215
101.75/101.87	o 215
101.75/101.87	c Elapsed CPU time: 101.633 s	Remaining CPU time: 78.3675 s
101.75/101.87	c ===============================================================================
101.75/101.87	c |      4801 |   26152   185477   422475 |    61825     1111     22 | 51.331 % |
101.85/101.91	c ===============================================================================
101.85/101.91	c New solution: 214
101.85/101.91	o 214
101.85/101.91	c Elapsed CPU time: 101.672 s	Remaining CPU time: 78.3285 s
101.85/101.91	c ===============================================================================
101.85/101.91	c |      4803 |   25970   185478   422775 |    61826     1113     22 | 51.331 % |
101.85/101.95	c ===============================================================================
101.85/101.95	c New solution: 213
101.85/101.95	o 213
101.85/101.95	c Elapsed CPU time: 101.711 s	Remaining CPU time: 78.2895 s
101.85/101.95	c ===============================================================================
101.85/101.95	c |      4815 |   25788   185479   423075 |    61826     1125     22 | 51.331 % |
101.85/101.99	c ===============================================================================
101.85/101.99	c New solution: 212
101.85/101.99	o 212
101.85/101.99	c Elapsed CPU time: 101.751 s	Remaining CPU time: 78.2495 s
101.85/101.99	c ===============================================================================
101.85/101.99	c |      4834 |   25606   185480   423375 |    61826     1144     22 | 51.331 % |
101.96/102.04	c |      4934 |   25599   185480   423375 |    68009     1244     22 | 53.591 % |
101.96/102.08	c ===============================================================================
101.96/102.08	c New solution: 211
101.96/102.08	o 211
101.96/102.08	c Elapsed CPU time: 101.834 s	Remaining CPU time: 78.1665 s
101.96/102.08	c ===============================================================================
101.96/102.08	c |      4941 |   25424   185481   423675 |    61827     1251     22 | 53.591 % |
102.06/102.12	c ===============================================================================
102.06/102.12	c New solution: 210
102.06/102.12	o 210
102.06/102.12	c Elapsed CPU time: 101.879 s	Remaining CPU time: 78.1215 s
102.06/102.12	c ===============================================================================
102.06/102.12	c |      4980 |   25242   185482   423975 |    61827     1290     22 | 53.591 % |
102.16/102.20	c |      5080 |   25234   185482   423975 |    68010     1390     24 | 54.255 % |
102.16/102.25	c ===============================================================================
102.16/102.25	c New solution: 209
102.16/102.25	o 209
102.16/102.25	c Elapsed CPU time: 102.006 s	Remaining CPU time: 77.9935 s
102.16/102.25	c ===============================================================================
102.16/102.25	c |      5114 |   24972   185483   424275 |    61827     1065     24 | 54.255 % |
102.16/102.30	c ===============================================================================
102.16/102.30	c New solution: 208
102.16/102.30	o 208
102.16/102.30	c Elapsed CPU time: 102.05 s	Remaining CPU time: 77.9495 s
102.16/102.30	c ===============================================================================
102.16/102.30	c |      5132 |   24812   185484   424575 |    61828     1083     24 | 54.255 % |
102.26/102.34	c ===============================================================================
102.26/102.34	c New solution: 207
102.26/102.34	o 207
102.26/102.34	c Elapsed CPU time: 102.086 s	Remaining CPU time: 77.9135 s
102.26/102.34	c ===============================================================================
102.26/102.34	c |      5149 |   24652   185485   424875 |    61828     1100     24 | 54.255 % |
102.26/102.39	c |      5249 |   24649   185485   424875 |    68011     1200     24 | 55.292 % |
102.35/102.43	c ===============================================================================
102.35/102.43	c New solution: 206
102.35/102.43	o 206
102.35/102.43	c Elapsed CPU time: 102.176 s	Remaining CPU time: 77.8235 s
102.35/102.43	c ===============================================================================
102.35/102.43	c |      5263 |   24492   185486   425175 |    61828     1214     24 | 55.292 % |
102.35/102.48	c ===============================================================================
102.35/102.48	c New solution: 205
102.35/102.48	o 205
102.35/102.48	c Elapsed CPU time: 102.228 s	Remaining CPU time: 77.7715 s
102.35/102.48	c ===============================================================================
102.35/102.48	c |      5320 |   24332   185487   425475 |    61829     1271     24 | 55.292 % |
102.45/102.54	c |      5423 |   24331   185487   425475 |    68011     1374     25 | 55.916 % |
102.56/102.65	c |      5573 |   24326   185487   425475 |    74813     1524     26 | 55.916 % |
102.56/102.69	c ===============================================================================
102.56/102.69	c New solution: 204
102.56/102.69	o 204
102.56/102.69	c Elapsed CPU time: 102.436 s	Remaining CPU time: 77.5636 s
102.56/102.69	c ===============================================================================
102.56/102.69	c |      5583 |   24150   185488   425775 |    61829     1281     25 | 55.916 % |
102.66/102.73	c ===============================================================================
102.66/102.73	c New solution: 203
102.66/102.73	o 203
102.66/102.73	c Elapsed CPU time: 102.477 s	Remaining CPU time: 77.5226 s
102.66/102.73	c ===============================================================================
102.66/102.73	c |      5589 |   23968   185489   426075 |    61829     1287     25 | 55.916 % |
102.66/102.77	c ===============================================================================
102.66/102.77	c New solution: 202
102.66/102.77	o 202
102.66/102.77	c Elapsed CPU time: 102.512 s	Remaining CPU time: 77.4876 s
102.66/102.77	c ===============================================================================
102.66/102.77	c |      5594 |   23786   185490   426375 |    61830     1292     25 | 55.916 % |
102.76/102.80	c ===============================================================================
102.76/102.80	c New solution: 201
102.76/102.80	o 201
102.76/102.80	c Elapsed CPU time: 102.548 s	Remaining CPU time: 77.4516 s
102.76/102.80	c ===============================================================================
102.76/102.80	c |      5602 |   23604   185491   426675 |    61830     1300     25 | 55.916 % |
102.76/102.85	c ===============================================================================
102.76/102.85	c New solution: 200
102.76/102.85	o 200
102.76/102.85	c Elapsed CPU time: 102.593 s	Remaining CPU time: 77.4066 s
102.76/102.85	c ===============================================================================
102.76/102.85	c |      5645 |   23422   185492   426975 |    61830     1343     25 | 55.916 % |
102.86/102.92	c |      5745 |   23417   185492   426975 |    68013     1443     25 | 57.577 % |
102.86/102.96	c ===============================================================================
102.86/102.96	c New solution: 199
102.86/102.96	o 199
102.86/102.96	c Elapsed CPU time: 102.701 s	Remaining CPU time: 77.2986 s
102.86/102.96	c ===============================================================================
102.86/102.96	c |      5748 |   23240   185493   427275 |    61831     1446     25 | 57.577 % |
102.86/103.00	c ===============================================================================
102.86/103.00	c New solution: 198
102.86/103.00	o 198
102.86/103.00	c Elapsed CPU time: 102.74 s	Remaining CPU time: 77.2596 s
102.86/103.00	c ===============================================================================
102.86/103.00	c |      5757 |   23058   185494   427575 |    61831     1455     25 | 57.577 % |
102.96/103.03	c ===============================================================================
102.96/103.03	c New solution: 197
102.96/103.03	o 197
102.96/103.03	c Elapsed CPU time: 102.777 s	Remaining CPU time: 77.2226 s
102.96/103.03	c ===============================================================================
102.96/103.03	c |      5760 |   22876   185495   427875 |    61831     1458     25 | 57.577 % |
102.96/103.07	c ===============================================================================
102.96/103.07	c New solution: 196
102.96/103.07	o 196
102.96/103.07	c Elapsed CPU time: 102.813 s	Remaining CPU time: 77.1866 s
102.96/103.07	c ===============================================================================
102.96/103.07	c |      5764 |   22646   185496   428175 |    61832     1462     25 | 57.577 % |
103.06/103.10	c ===============================================================================
103.06/103.10	c New solution: 195
103.06/103.10	o 195
103.06/103.10	c Elapsed CPU time: 102.849 s	Remaining CPU time: 77.1506 s
103.06/103.10	c ===============================================================================
103.06/103.10	c |      5779 |   22476   185497   428475 |    61832     1477     25 | 57.577 % |
103.06/103.14	c ===============================================================================
103.06/103.14	c New solution: 194
103.06/103.14	o 194
103.06/103.14	c Elapsed CPU time: 102.887 s	Remaining CPU time: 77.1126 s
103.06/103.14	c ===============================================================================
103.06/103.14	c |      5787 |   22306   185498   428775 |    61832     1485     25 | 57.577 % |
103.06/103.18	c ===============================================================================
103.06/103.18	c New solution: 193
103.06/103.18	o 193
103.06/103.18	c Elapsed CPU time: 102.93 s	Remaining CPU time: 77.0696 s
103.06/103.18	c ===============================================================================
103.06/103.18	c |      5823 |   22136   185499   429075 |    61833     1521     25 | 57.577 % |
103.16/103.23	c ===============================================================================
103.16/103.23	c New solution: 192
103.16/103.23	o 192
103.16/103.23	c Elapsed CPU time: 102.97 s	Remaining CPU time: 77.0297 s
103.16/103.23	c ===============================================================================
103.16/103.23	c |      5834 |   21966   185500   429375 |    61833      718     19 | 57.577 % |
103.16/103.26	c ===============================================================================
103.16/103.26	c New solution: 191
103.16/103.26	o 191
103.16/103.26	c Elapsed CPU time: 103.004 s	Remaining CPU time: 76.9957 s
103.16/103.26	c ===============================================================================
103.16/103.26	c |      5847 |   21784   185501   429675 |    61833      731     19 | 57.577 % |
103.26/103.30	c ===============================================================================
103.26/103.30	c New solution: 190
103.26/103.30	o 190
103.26/103.30	c Elapsed CPU time: 103.042 s	Remaining CPU time: 76.9577 s
103.26/103.30	c ===============================================================================
103.26/103.30	c |      5858 |   21602   185502   429975 |    61834      742     19 | 57.577 % |
103.26/103.34	c ===============================================================================
103.26/103.34	c New solution: 189
103.26/103.34	o 189
103.26/103.34	c Elapsed CPU time: 103.077 s	Remaining CPU time: 76.9227 s
103.26/103.34	c ===============================================================================
103.26/103.34	c |      5871 |   21420   185503   430275 |    61834      755     20 | 57.577 % |
103.26/103.37	c ===============================================================================
103.26/103.37	c New solution: 188
103.26/103.37	o 188
103.26/103.37	c Elapsed CPU time: 103.11 s	Remaining CPU time: 76.8897 s
103.26/103.37	c ===============================================================================
103.26/103.37	c |      5878 |   21238   185504   430575 |    61834      762     19 | 57.577 % |
103.36/103.40	c ===============================================================================
103.36/103.40	c New solution: 187
103.36/103.40	o 187
103.36/103.40	c Elapsed CPU time: 103.145 s	Remaining CPU time: 76.8547 s
103.36/103.40	c ===============================================================================
103.36/103.40	c |      5881 |   21056   185505   430875 |    61835      765     19 | 57.577 % |
103.36/103.44	c ===============================================================================
103.36/103.44	c New solution: 186
103.36/103.44	o 186
103.36/103.44	c Elapsed CPU time: 103.178 s	Remaining CPU time: 76.8217 s
103.36/103.44	c ===============================================================================
103.36/103.44	c |      5886 |   20874   185506   431175 |    61835      770     19 | 57.577 % |
103.36/103.47	c ===============================================================================
103.36/103.47	c New solution: 185
103.36/103.47	o 185
103.36/103.47	c Elapsed CPU time: 103.213 s	Remaining CPU time: 76.7867 s
103.36/103.47	c ===============================================================================
103.36/103.47	c |      5887 |   20692   185507   431475 |    61835      771     19 | 57.577 % |
103.45/103.51	c ===============================================================================
103.45/103.51	c New solution: 184
103.45/103.51	o 184
103.45/103.51	c Elapsed CPU time: 103.25 s	Remaining CPU time: 76.7497 s
103.45/103.51	c ===============================================================================
103.45/103.51	c |      5891 |   20510   185508   431775 |    61836      775     19 | 57.577 % |
103.45/103.54	c ===============================================================================
103.45/103.54	c New solution: 183
103.45/103.54	o 183
103.45/103.54	c Elapsed CPU time: 103.282 s	Remaining CPU time: 76.7177 s
103.45/103.54	c ===============================================================================
103.45/103.54	c |      5901 |   20328   185509   432075 |    61836      785     19 | 57.577 % |
103.45/103.58	c ===============================================================================
103.45/103.58	c New solution: 182
103.45/103.58	o 182
103.45/103.58	c Elapsed CPU time: 103.321 s	Remaining CPU time: 76.6787 s
103.45/103.58	c ===============================================================================
103.45/103.58	c |      5910 |   20146   185510   432375 |    61836      794     19 | 57.577 % |
103.55/103.62	c ===============================================================================
103.55/103.62	c New solution: 181
103.55/103.62	o 181
103.55/103.62	c Elapsed CPU time: 103.362 s	Remaining CPU time: 76.6377 s
103.55/103.62	c ===============================================================================
103.55/103.62	c |      5953 |   19964   185511   432675 |    61837      837     19 | 57.577 % |
103.55/103.66	c ===============================================================================
103.55/103.66	c New solution: 180
103.55/103.66	o 180
103.55/103.66	c Elapsed CPU time: 103.395 s	Remaining CPU time: 76.6047 s
103.55/103.66	c ===============================================================================
103.55/103.66	c |      5960 |   19782   185512   432975 |    61837      844     19 | 57.577 % |
103.55/103.69	c ===============================================================================
103.55/103.69	c New solution: 179
103.55/103.69	o 179
103.55/103.69	c Elapsed CPU time: 103.429 s	Remaining CPU time: 76.5707 s
103.55/103.69	c ===============================================================================
103.55/103.69	c |      5962 |   19600   185513   433275 |    61837      846     19 | 57.577 % |
103.65/103.72	c ===============================================================================
103.65/103.72	c New solution: 178
103.65/103.72	o 178
103.65/103.72	c Elapsed CPU time: 103.458 s	Remaining CPU time: 76.5417 s
103.65/103.72	c ===============================================================================
103.65/103.72	c |      5968 |   19418   185514   433575 |    61838      852     19 | 57.577 % |
103.65/103.75	c ===============================================================================
103.65/103.75	c New solution: 177
103.65/103.75	o 177
103.65/103.75	c Elapsed CPU time: 103.492 s	Remaining CPU time: 76.5077 s
103.65/103.75	c ===============================================================================
103.65/103.75	c |      5975 |   19236   185515   433875 |    61838      859     19 | 57.577 % |
103.65/103.78	c ===============================================================================
103.65/103.78	c New solution: 176
103.65/103.78	o 176
103.65/103.78	c Elapsed CPU time: 103.523 s	Remaining CPU time: 76.4767 s
103.65/103.78	c ===============================================================================
103.65/103.78	c |      5980 |   19054   185516   434175 |    61838      864     19 | 57.577 % |
103.75/103.82	c ===============================================================================
103.75/103.82	c New solution: 175
103.75/103.82	o 175
103.75/103.82	c Elapsed CPU time: 103.562 s	Remaining CPU time: 76.4377 s
103.75/103.82	c ===============================================================================
103.75/103.82	c |      5995 |   18872   185517   434475 |    61839      506     19 | 57.577 % |
103.75/103.86	c ===============================================================================
103.75/103.86	c New solution: 174
103.75/103.86	o 174
103.75/103.86	c Elapsed CPU time: 103.598 s	Remaining CPU time: 76.4018 s
103.75/103.86	c ===============================================================================
103.75/103.86	c |      6017 |   18690   185518   434775 |    61839      528     19 | 57.577 % |
103.75/103.89	c ===============================================================================
103.75/103.89	c New solution: 173
103.75/103.89	o 173
103.75/103.89	c Elapsed CPU time: 103.631 s	Remaining CPU time: 76.3688 s
103.75/103.89	c ===============================================================================
103.75/103.89	c |      6030 |   18508   185519   435075 |    61839      541     19 | 57.577 % |
103.85/103.93	c |      6130 |   18471   185519   435075 |    68023      641     21 | 66.547 % |
103.95/104.04	c |      6281 |   18469   185519   435075 |    74825      792     22 | 66.547 % |
103.95/104.07	c ===============================================================================
103.95/104.07	c New solution: 172
103.95/104.07	o 172
103.95/104.07	c Elapsed CPU time: 103.809 s	Remaining CPU time: 76.1908 s
103.95/104.07	c ===============================================================================
103.95/104.07	c |      6284 |   18326   185520   435375 |    61840      795     22 | 66.547 % |
104.06/104.14	c ===============================================================================
104.06/104.14	c New solution: 171
104.06/104.14	o 171
104.06/104.14	c Elapsed CPU time: 103.873 s	Remaining CPU time: 76.1268 s
104.06/104.14	c ===============================================================================
104.06/104.14	c |      6367 |   18144   185521   435675 |    61840      878     24 | 66.547 % |
104.06/104.18	c ===============================================================================
104.06/104.18	c New solution: 170
104.06/104.18	o 170
104.06/104.18	c Elapsed CPU time: 103.912 s	Remaining CPU time: 76.0878 s
104.06/104.18	c ===============================================================================
104.06/104.18	c |      6398 |   17962   185522   435975 |    61840      909     24 | 66.547 % |
104.16/104.21	c ===============================================================================
104.16/104.21	c New solution: 169
104.16/104.21	o 169
104.16/104.21	c Elapsed CPU time: 103.946 s	Remaining CPU time: 76.0538 s
104.16/104.21	c ===============================================================================
104.16/104.21	c |      6416 |   17744   185523   436275 |    61841      927     24 | 66.547 % |
104.16/104.25	c ===============================================================================
104.16/104.25	c New solution: 168
104.16/104.25	o 168
104.16/104.25	c Elapsed CPU time: 103.982 s	Remaining CPU time: 76.0178 s
104.16/104.25	c ===============================================================================
104.16/104.25	c |      6430 |   17580   185524   436575 |    61841      719     24 | 66.547 % |
104.16/104.28	c ===============================================================================
104.16/104.28	c New solution: 167
104.16/104.28	o 167
104.16/104.28	c Elapsed CPU time: 104.015 s	Remaining CPU time: 75.9848 s
104.16/104.28	c ===============================================================================
104.16/104.28	c |      6451 |   17416   185525   436875 |    61841      740     24 | 66.547 % |
104.26/104.32	c |      6552 |   17414   185525   436875 |    68025      841     25 | 68.541 % |
104.36/104.43	c |      6704 |   17413   185525   436875 |    74828      993     26 | 68.541 % |
104.36/104.46	c ===============================================================================
104.36/104.46	c New solution: 166
104.36/104.46	o 166
104.36/104.46	c Elapsed CPU time: 104.195 s	Remaining CPU time: 75.8048 s
104.36/104.46	c ===============================================================================
104.36/104.46	c |      6710 |   17234   185526   437175 |    61842      999     26 | 68.541 % |
104.36/104.49	c ===============================================================================
104.36/104.49	c New solution: 165
104.36/104.49	o 165
104.36/104.49	c Elapsed CPU time: 104.227 s	Remaining CPU time: 75.7728 s
104.36/104.49	c ===============================================================================
104.36/104.49	c |      6717 |   17052   185527   437475 |    61842     1006     26 | 68.541 % |
104.46/104.53	c ===============================================================================
104.46/104.53	c New solution: 164
104.46/104.53	o 164
104.46/104.53	c Elapsed CPU time: 104.261 s	Remaining CPU time: 75.7389 s
104.46/104.53	c ===============================================================================
104.46/104.53	c |      6724 |   16870   185528   437775 |    61842     1013     26 | 68.541 % |
104.46/104.60	c ===============================================================================
104.46/104.60	c New solution: 163
104.46/104.60	o 163
104.46/104.60	c Elapsed CPU time: 104.33 s	Remaining CPU time: 75.6699 s
104.46/104.60	c ===============================================================================
104.46/104.60	c |      6814 |   16688   185529   438075 |    61843     1103     26 | 68.541 % |
104.56/104.64	c |      6914 |   16682   185529   438075 |    68027     1203     26 | 69.870 % |
104.66/104.74	c |      7066 |   16506   185529   438075 |    74830     1078     26 | 69.870 % |
104.66/104.76	c ===============================================================================
104.66/104.76	c New solution: 162
104.66/104.76	o 162
104.66/104.76	c Elapsed CPU time: 104.498 s	Remaining CPU time: 75.5019 s
104.66/104.76	c ===============================================================================
104.66/104.76	c |      7068 |   16506   185530   438375 |    61843     1080     26 | 69.870 % |
104.76/104.80	c ===============================================================================
104.76/104.80	c New solution: 161
104.76/104.80	o 161
104.76/104.80	c Elapsed CPU time: 104.53 s	Remaining CPU time: 75.4699 s
104.76/104.80	c ===============================================================================
104.76/104.80	c |      7074 |   16324   185531   438675 |    61843     1086     26 | 69.870 % |
104.76/104.83	c ===============================================================================
104.76/104.83	c New solution: 160
104.76/104.83	o 160
104.76/104.83	c Elapsed CPU time: 104.563 s	Remaining CPU time: 75.4369 s
104.76/104.83	c ===============================================================================
104.76/104.83	c |      7095 |   16142   185532   438975 |    61844     1107     26 | 69.870 % |
104.76/104.86	c ===============================================================================
104.76/104.86	c New solution: 159
104.76/104.86	o 159
104.76/104.86	c Elapsed CPU time: 104.598 s	Remaining CPU time: 75.4019 s
104.76/104.86	c ===============================================================================
104.76/104.86	c |      7110 |   15960   185533   439275 |    61844     1122     25 | 69.870 % |
104.85/104.92	c |      7210 |   15953   185533   439275 |    68028     1222     27 | 71.199 % |
104.85/104.98	c ===============================================================================
104.85/104.98	c New solution: 158
104.85/104.98	o 158
104.85/104.98	c Elapsed CPU time: 104.712 s	Remaining CPU time: 75.2879 s
104.85/104.98	c ===============================================================================
104.85/104.98	c |      7289 |   15778   185534   439575 |    61844     1301     26 | 71.199 % |
104.95/105.02	c ===============================================================================
104.95/105.02	c New solution: 157
104.95/105.02	o 157
104.95/105.02	c Elapsed CPU time: 104.752 s	Remaining CPU time: 75.2479 s
104.95/105.02	c ===============================================================================
104.95/105.02	c |      7318 |   15596   185535   439875 |    61845     1330     27 | 71.199 % |
105.05/105.11	c ===============================================================================
105.05/105.11	c New solution: 156
105.05/105.11	o 156
105.05/105.11	c Elapsed CPU time: 104.836 s	Remaining CPU time: 75.1639 s
105.05/105.11	c ===============================================================================
105.05/105.11	c |      7392 |   15414   185536   440175 |    61845     1404     27 | 71.199 % |
105.05/105.14	c ===============================================================================
105.05/105.14	c New solution: 155
105.05/105.14	o 155
105.05/105.14	c Elapsed CPU time: 104.864 s	Remaining CPU time: 75.1359 s
105.05/105.14	c ===============================================================================
105.05/105.14	c |      7403 |   15232   185537   440475 |    61845     1415     26 | 71.199 % |
105.05/105.17	c ===============================================================================
105.05/105.17	c New solution: 154
105.05/105.17	o 154
105.05/105.17	c Elapsed CPU time: 104.896 s	Remaining CPU time: 75.1039 s
105.05/105.17	c ===============================================================================
105.05/105.17	c |      7414 |   15050   185538   440775 |    61846      937     26 | 71.199 % |
105.15/105.20	c |      7515 |   14997   185538   440775 |    68030     1038     27 | 72.860 % |
105.15/105.25	c ===============================================================================
105.15/105.25	c New solution: 153
105.15/105.25	o 153
105.15/105.25	c Elapsed CPU time: 104.979 s	Remaining CPU time: 75.021 s
105.15/105.25	c ===============================================================================
105.15/105.25	c |      7546 |   14868   185539   441075 |    61846     1069     28 | 72.860 % |
105.15/105.29	c |      7647 |   14868   185539   441075 |    68030     1170     28 | 73.192 % |
105.35/105.40	c |      7797 |   14858   185539   441075 |    74834     1320     30 | 73.323 % |
105.35/105.48	c |      8022 |   14858   185539   441075 |    82317     1545     29 | 73.323 % |
105.46/105.55	c ===============================================================================
105.46/105.55	c New solution: 152
105.46/105.55	o 152
105.46/105.55	c Elapsed CPU time: 105.274 s	Remaining CPU time: 74.726 s
105.46/105.55	c ===============================================================================
105.46/105.55	c |      8136 |   14614   185540   441375 |    61846     1659     30 | 73.323 % |
105.56/105.64	c |      8236 |   14450   185540   441375 |    68031     1508     30 | 73.623 % |
105.56/105.68	c ===============================================================================
105.56/105.68	c New solution: 151
105.56/105.68	o 151
105.56/105.68	c Elapsed CPU time: 105.398 s	Remaining CPU time: 74.602 s
105.56/105.68	c ===============================================================================
105.56/105.68	c |      8259 |   14450   185541   441675 |    61847     1531     30 | 73.623 % |
105.65/105.72	c |      8359 |   14445   185541   441675 |    68031     1631     30 | 73.922 % |
105.65/105.78	c ===============================================================================
105.65/105.78	c New solution: 150
105.65/105.78	o 150
105.65/105.78	c Elapsed CPU time: 105.497 s	Remaining CPU time: 74.503 s
105.65/105.78	c ===============================================================================
105.65/105.78	c |      8403 |   14286   185542   441975 |    61847     1675     30 | 73.922 % |
105.75/105.82	c |      8504 |   14279   185542   441975 |    68032     1776     30 | 74.221 % |
105.85/105.92	c |      8654 |   14275   185542   441975 |    74835     1926     30 | 74.221 % |
105.85/105.99	c |      8879 |   14264   185542   441975 |    82318     2151     31 | 74.221 % |
106.06/106.14	c |      9216 |   14122   185542   441975 |    90550     2415     32 | 74.221 % |
106.06/106.18	c ===============================================================================
106.06/106.18	c New solution: 149
106.06/106.18	o 149
106.06/106.18	c Elapsed CPU time: 105.898 s	Remaining CPU time: 74.1021 s
106.06/106.18	c ===============================================================================
106.06/106.18	c |      9278 |   14122   185543   442275 |    61847     2477     32 | 74.221 % |
106.16/106.25	c |      9378 |   14116   185543   442275 |    68032     2577     33 | 74.521 % |
106.25/106.31	c ===============================================================================
106.25/106.31	c New solution: 148
106.25/106.31	o 148
106.25/106.31	c Elapsed CPU time: 106.025 s	Remaining CPU time: 73.9751 s
106.25/106.31	c ===============================================================================
106.25/106.31	c |      9446 |   13886   185544   442575 |    61848     2645     32 | 74.521 % |
106.25/106.35	c |      9547 |   13877   185544   442575 |    68032     2746     32 | 74.952 % |
106.35/106.46	c |      9699 |   13874   185544   442575 |    74836     2898     32 | 74.952 % |
106.45/106.53	c |      9925 |   13722   185544   442575 |    82319     2913     31 | 74.952 % |
106.56/106.70	c |     10263 |   13722   185544   442575 |    90551     3251     32 | 74.952 % |
106.75/106.85	c ===============================================================================
106.75/106.85	c New solution: 147
106.75/106.85	o 147
106.75/106.85	c Elapsed CPU time: 106.563 s	Remaining CPU time: 73.4372 s
106.75/106.85	c ===============================================================================
106.75/106.85	c |     10638 |   13722   185545   442875 |    61848     3626     33 | 74.952 % |
106.85/106.90	c |     10738 |   13717   185545   442875 |    68033     3726     33 | 75.251 % |
106.85/106.94	c ===============================================================================
106.85/106.94	c New solution: 146
106.85/106.94	o 146
106.85/106.94	c Elapsed CPU time: 106.65 s	Remaining CPU time: 73.3502 s
106.85/106.94	c ===============================================================================
106.85/106.94	c |     10769 |   13558   185546   443175 |    61848     3677     32 | 75.251 % |
106.95/107.01	c |     10869 |   13556   185546   443175 |    68033     3777     32 | 75.550 % |
106.95/107.06	c |     11021 |   13547   185546   443175 |    74836     3929     32 | 75.550 % |
107.15/107.21	c |     11246 |   13543   185546   443175 |    82320     4154     32 | 75.550 % |
107.15/107.28	c ===============================================================================
107.15/107.28	c New solution: 145
107.15/107.28	o 145
107.15/107.28	c Elapsed CPU time: 106.987 s	Remaining CPU time: 73.0133 s
107.15/107.28	c ===============================================================================
107.15/107.28	c |     11455 |   13394   185547   443475 |    61849     4363     32 | 75.550 % |
107.25/107.36	c |     11557 |   13387   185547   443475 |    68033     4465     32 | 75.901 % |
107.36/107.41	c |     11708 |   13385   185547   443475 |    74837     4616     32 | 75.901 % |
107.45/107.52	c |     11933 |   13202   185547   443475 |    82321     4652     32 | 75.901 % |
107.55/107.61	c |     12270 |   13202   185547   443475 |    90553     4989     31 | 75.901 % |
107.85/107.92	c |     12777 |   13202   185547   443475 |    99608     5496     34 | 75.901 % |
107.95/108.04	c ===============================================================================
107.95/108.04	c New solution: 144
107.95/108.04	o 144
107.95/108.04	c Elapsed CPU time: 107.743 s	Remaining CPU time: 72.2574 s
107.95/108.04	c ===============================================================================
107.95/108.04	c |     12899 |   13202   185548   443775 |    61849     5618     34 | 75.901 % |
108.05/108.11	c |     12999 |   13024   185548   443775 |    68034     5629     34 | 76.226 % |
108.05/108.15	c |     13150 |   13024   185548   443775 |    74837     5780     33 | 76.226 % |
108.15/108.28	c |     13375 |   13024   185548   443775 |    82321     6005     34 | 76.226 % |
108.25/108.37	c |     13712 |   13024   185548   443775 |    90553     6342     33 | 76.226 % |
108.56/108.61	c |     14218 |   13024   185548   443775 |    99608     6848     33 | 76.226 % |
108.76/108.83	c |     14977 |   13024   185548   443775 |   109569     7607     32 | 76.226 % |
109.55/109.65	c |     16116 |   13024   185548   443775 |   120526     8746     34 | 76.226 % |
110.05/110.11	c |     17824 |   13024   185548   443775 |   132579    10454     35 | 76.226 % |
111.65/111.73	c |     20386 |   13024   185548   443775 |   145837    13016     37 | 76.226 % |
111.75/111.87	c ===============================================================================
111.75/111.87	c New solution: 143
111.75/111.87	o 143
111.75/111.87	c Elapsed CPU time: 111.547 s	Remaining CPU time: 68.453 s
111.75/111.87	c ===============================================================================
111.75/111.87	c |     20691 |   13024   185549   444075 |    61849    13321     37 | 76.226 % |
111.85/111.97	c |     20791 |   12846   185549   444075 |    68034    13208     37 | 76.551 % |
111.95/112.10	c |     20941 |   12846   185549   444075 |    74838    13358     37 | 76.551 % |
112.05/112.18	c |     21166 |   12846   185549   444075 |    82321    13583     37 | 76.551 % |
112.35/112.49	c |     21504 |   12846   185549   444075 |    90554    13921     37 | 76.551 % |
112.55/112.68	c |     22010 |   12846   185549   444075 |    99609    14427     37 | 76.551 % |
112.85/112.96	c |     22770 |   12845   185549   444075 |   109570    15187     36 | 76.682 % |
113.35/113.47	c |     23910 |   12769   185549   444075 |   120527    16297     36 | 76.715 % |
114.65/114.71	c |     25619 |   12769   185549   444075 |   132580    18006     36 | 76.715 % |
115.75/115.85	c |     28181 |   12756   185549   444075 |   145838    20566     37 | 76.715 % |
119.25/119.30	c |     32026 |   12756   185549   444075 |   160422    24411     41 | 76.715 % |
122.45/122.55	c |     37792 |   12756   185549   444075 |   176464    30177     45 | 76.715 % |
129.35/129.47	c ===============================================================================
129.35/129.47	c New solution: 142
129.35/129.47	o 142
129.35/129.47	c Elapsed CPU time: 129.063 s	Remaining CPU time: 50.9366 s
129.35/129.47	c ===============================================================================
129.35/129.47	c |     45347 |   12756   185550   444375 |    61850    37732     47 | 76.715 % |
129.45/129.58	c |     45447 |   12602   185550   444375 |    68035    37625     47 | 76.996 % |
129.65/129.73	c |     45599 |   12602   185550   444375 |    74838    37777     47 | 76.996 % |
129.75/129.89	c |     45824 |   12602   185550   444375 |    82322    38002     47 | 76.996 % |
129.94/130.03	c |     46162 |   12602   185550   444375 |    90554    38340     47 | 76.996 % |
130.34/130.46	c |     46670 |   12602   185550   444375 |    99610    38848     47 | 76.996 % |
130.76/130.84	c |     47431 |   12602   185550   444375 |   109571    39609     47 | 76.996 % |
131.65/131.71	c |     48570 |   12602   185550   444375 |   120528    40748     47 | 76.996 % |
132.45/132.53	c |     50278 |   12602   185550   444375 |   132580    42456     47 | 76.996 % |
135.16/135.28	c |     52840 |   12602   185550   444375 |   145839    45018     47 | 76.996 % |
136.75/136.80	c |     56684 |   12602   185550   444375 |   160422    48862     46 | 76.996 % |
138.94/139.03	c ===============================================================================
138.94/139.03	c New solution: 141
138.94/139.03	o 141
138.94/139.03	c Elapsed CPU time: 138.574 s	Remaining CPU time: 41.4261 s
138.94/139.03	c ===============================================================================
138.94/139.03	c |     59540 |   12568   185551   444675 |    61850    51644     46 | 76.996 % |
139.04/139.12	c |     59640 |   12558   185551   444675 |    68035    51744     46 | 77.332 % |
139.14/139.23	c |     59790 |   12552   185551   444675 |    74838    51894     46 | 77.332 % |
139.34/139.49	c |     60016 |   12549   185551   444675 |    82322    52120     46 | 77.332 % |
139.55/139.70	c |     60355 |   12541   185551   444675 |    90555    52459     46 | 77.332 % |
140.15/140.25	c |     60861 |   12538   185551   444675 |    99610    52965     46 | 77.332 % |
140.45/140.59	c |     61620 |   12537   185551   444675 |   109571    53724     46 | 77.332 % |
141.54/141.66	c |     62759 |   12537   185551   444675 |   120528    54863     46 | 77.332 % |
141.75/141.84	c ===============================================================================
141.75/141.84	c New solution: 140
141.75/141.84	o 140
141.75/141.84	c Elapsed CPU time: 141.376 s	Remaining CPU time: 38.6245 s
141.75/141.84	c ===============================================================================
141.75/141.84	c |     62942 |   12396   185552   444975 |    61850    54293     46 | 77.332 % |
141.85/141.93	c |     63042 |   12393   185552   444975 |    68035    54393     46 | 77.646 % |
141.94/142.04	c |     63192 |   12387   185552   444975 |    74839    54543     46 | 77.646 % |
142.14/142.27	c |     63418 |   12385   185552   444975 |    82323    54769     46 | 77.646 % |
142.45/142.53	c |     63755 |   12383   185552   444975 |    90555    55106     46 | 77.646 % |
142.65/142.76	c |     64264 |   12379   185552   444975 |    99611    55615     45 | 77.646 % |
143.45/143.55	c |     65024 |   12378   185552   444975 |   109572    56375     45 | 77.646 % |
144.14/144.21	c |     66163 |   12377   185552   444975 |   120529    57514     45 | 77.646 % |
145.94/146.05	c |     67871 |   12374   185552   444975 |   132582    59222     45 | 77.646 % |
146.94/147.09	c |     70436 |   12246   185552   444975 |   145840    60279     42 | 77.646 % |
151.75/151.89	c |     74281 |   12246   185552   444975 |   160424    64124     43 | 77.646 % |
155.24/155.38	c |     80047 |   12246   185552   444975 |   176467    69890     44 | 77.646 % |
167.73/167.83	c |     88696 |   12246   185552   444975 |   194113    78539     46 | 77.646 % |
178.14/178.21	c |    101674 |   12246   185552   444975 |   213525    91517     47 | 77.646 % |
180.54/180.61	c There are 42542 assigned variables. 256 in cost function.
181.34/181.47	c core #1
181.34/181.47	c core #2
181.34/181.47	c core #3
181.34/181.47	c core #4
181.34/181.47	c core #5
181.34/181.47	c core #6
181.34/181.47	c ============================[ Search Statistics ]==============================
181.34/181.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.34/181.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.34/181.47	c ===============================================================================
181.34/181.47	c |         0 |    5593    77773    97467 |    25924        0    nan |  0.000 % |
181.34/181.48	c ===============================================================================
181.44/181.58	c core #7
181.44/181.58	c ============================[ Search Statistics ]==============================
181.44/181.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.44/181.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.44/181.58	c ===============================================================================
181.44/181.58	c |         0 |    5819    77811    97714 |    25937        0    nan |  0.000 % |
181.44/181.59	c ===============================================================================
181.53/181.69	c core #8
181.53/181.69	c ============================[ Search Statistics ]==============================
181.53/181.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.53/181.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.53/181.69	c ===============================================================================
181.53/181.69	c |         0 |    6055    77848    97969 |    25949        0    nan |  0.000 % |
181.63/181.70	c ===============================================================================
181.73/181.81	c core #9
181.73/181.81	c ============================[ Search Statistics ]==============================
181.73/181.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.73/181.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.73/181.81	c ===============================================================================
181.73/181.81	c |         0 |    6291    77884    98212 |    25961        0    nan |  0.000 % |
181.73/181.82	c ===============================================================================
181.83/181.93	c core #10
181.83/181.93	c ============================[ Search Statistics ]==============================
181.83/181.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.83/181.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.83/181.93	c ===============================================================================
181.83/181.93	c |         0 |    6512    77919    98456 |    25973        0    nan |  0.000 % |
181.83/181.95	c ===============================================================================
181.93/182.05	c core #11
181.93/182.05	c ============================[ Search Statistics ]==============================
181.93/182.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.93/182.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.93/182.05	c ===============================================================================
181.93/182.05	c |         0 |    6736    77953    98697 |    25984        0    nan |  0.000 % |
181.93/182.09	c ===============================================================================
182.03/182.19	c core #12
182.03/182.19	c ============================[ Search Statistics ]==============================
182.03/182.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.19	c ===============================================================================
182.03/182.19	c |         0 |    6951    77986    98929 |    25995        0    nan |  0.000 % |
182.13/182.24	c |       101 |    6945    77986    98929 |    28594      101     17 | 88.589 % |
182.23/182.31	c ===============================================================================
182.33/182.42	c core #13
182.33/182.42	c ============================[ Search Statistics ]==============================
182.33/182.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.33/182.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.33/182.42	c ===============================================================================
182.33/182.42	c |         0 |    7165    78019    99157 |    26006        0    nan |  0.000 % |
182.33/182.47	c |       102 |    7165    78019    99157 |    28606      102     19 | 87.038 % |
182.44/182.54	c |       255 |    7165    78019    99157 |    31467      255     23 | 87.038 % |
182.54/182.66	c |       483 |    7165    78019    99157 |    34614      483     24 | 87.038 % |
182.63/182.77	c ===============================================================================
182.73/182.88	c core #14
182.73/182.88	c ============================[ Search Statistics ]==============================
182.73/182.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.88	c ===============================================================================
182.73/182.88	c |         0 |    7378    78051    99383 |    26017        0    nan |  0.000 % |
182.83/182.94	c |       100 |    7378    78051    99383 |    28618      100     18 | 86.660 % |
182.93/183.01	c |       251 |    7378    78051    99383 |    31480      251     23 | 86.660 % |
183.03/183.12	c |       478 |    7372    78051    99383 |    34628      477     24 | 86.671 % |
183.13/183.28	c |       815 |    7372    78051    99383 |    38091      814     27 | 86.671 % |
183.44/183.53	c |      1322 |    6923    78051    99383 |    41900      905     26 | 87.651 % |
183.44/183.60	c ===============================================================================
183.64/183.71	c core #15
183.64/183.71	c ============================[ Search Statistics ]==============================
183.64/183.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.64/183.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.64/183.71	c ===============================================================================
183.64/183.71	c |         0 |    7590    78082    99609 |    26027        0    nan |  0.000 % |
183.64/183.76	c |       100 |    7590    78082    99609 |    28630      100     18 | 86.285 % |
183.73/183.83	c |       250 |    7458    78082    99609 |    31493      227     21 | 86.523 % |
183.83/183.95	c |       475 |    7458    78082    99609 |    34642      452     24 | 86.523 % |
184.03/184.10	c |       813 |    7430    78082    99609 |    38106      663     24 | 86.574 % |
184.23/184.36	c |      1319 |    7362    78082    99609 |    41917     1168     27 | 86.697 % |
184.64/184.75	c |      2079 |    7222    78082    99609 |    46109     1638     27 | 86.950 % |
184.93/185.02	c ===============================================================================
185.03/185.13	c core #16
185.03/185.13	c ============================[ Search Statistics ]==============================
185.03/185.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.03/185.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.03/185.13	c ===============================================================================
185.03/185.13	c |         0 |    7801    78112    99818 |    26037        0    nan |  0.000 % |
185.03/185.18	c |       100 |    7801    78112    99818 |    28641      100     18 | 85.911 % |
185.13/185.25	c |       251 |    7801    78112    99818 |    31505      251     26 | 85.911 % |
185.24/185.35	c |       478 |    7801    78112    99818 |    34655      478     26 | 85.911 % |
185.44/185.52	c |       818 |    7801    78112    99818 |    38121      818     27 | 85.911 % |
185.63/185.76	c |      1329 |    7801    78112    99818 |    41933     1329     28 | 85.911 % |
186.03/186.15	c |      2088 |    7801    78112    99818 |    46126     2088     29 | 85.911 % |
186.63/186.74	c |      3228 |    7555    78112    99818 |    50739     2805     29 | 86.355 % |
187.53/187.67	c |      4937 |    7389    78112    99818 |    55813     3515     30 | 86.655 % |
188.93/189.07	c |      7500 |    6699    78112    99818 |    61394     1433     19 | 88.802 % |
189.04/189.10	c ===============================================================================
189.14/189.21	c core #17
189.14/189.21	c ============================[ Search Statistics ]==============================
189.14/189.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.21	c ===============================================================================
189.14/189.21	c |         0 |    8011    78144   100034 |    26048        0    nan |  0.000 % |
189.14/189.26	c |       101 |    8011    78144   100034 |    28652      101     18 | 85.539 % |
189.23/189.32	c |       251 |    8011    78144   100034 |    31518      251     25 | 85.539 % |
189.33/189.40	c |       476 |    8011    78144   100034 |    34669      476     25 | 85.539 % |
189.44/189.56	c |       813 |    8011    78144   100034 |    38136      813     24 | 85.539 % |
189.63/189.78	c |      1320 |    8011    78144   100034 |    41950     1320     27 | 85.539 % |
190.03/190.15	c |      2079 |    8011    78144   100034 |    46145     2079     29 | 85.539 % |
190.63/190.75	c |      3218 |    8011    78144   100034 |    50760     3218     30 | 85.539 % |
191.63/191.70	c |      4926 |    7849    78144   100034 |    55836     2992     26 | 85.831 % |
192.93/193.08	c |      7488 |    7678    78144   100034 |    61419     3994     25 | 86.140 % |
195.03/195.19	c |     11332 |    7386    78144   100034 |    67561     4343     25 | 86.667 % |
196.43/196.56	c ===============================================================================
196.53/196.68	c core #18
196.53/196.68	c ============================[ Search Statistics ]==============================
196.53/196.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.53/196.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.53/196.68	c ===============================================================================
196.53/196.68	c |         0 |    8229    78181   100268 |    26060        0    nan |  0.000 % |
196.63/196.73	c |       101 |    8229    78181   100268 |    28666      101     18 | 85.152 % |
196.63/196.79	c |       251 |    8229    78181   100268 |    31533      251     26 | 85.152 % |
196.73/196.89	c |       476 |    8229    78181   100268 |    34686      476     25 | 85.152 % |
196.93/197.05	c |       814 |    8229    78181   100268 |    38154      814     26 | 85.152 % |
197.13/197.28	c |      1322 |    8229    78181   100268 |    41970     1322     29 | 85.152 % |
197.53/197.65	c |      2082 |    8229    78181   100268 |    46167     2082     31 | 85.152 % |
198.13/198.25	c |      3221 |    8229    78181   100268 |    50784     3221     32 | 85.152 % |
199.04/199.15	c |      4929 |    8229    78181   100268 |    55862     4929     36 | 85.152 % |
200.62/200.76	c |      7492 |    8157    78181   100268 |    61448     7491     37 | 85.282 % |
203.34/203.41	c |     11338 |    8157    78181   100268 |    67593    11337     37 | 85.282 % |
207.52/207.66	c |     17104 |    8157    78181   100268 |    74353    17103     39 | 85.282 % |
214.13/214.23	c |     25754 |    7624    78181   100268 |    81788     9487     34 | 86.282 % |
217.73/217.89	c ===============================================================================
217.92/218.01	c core #19
217.92/218.01	c ============================[ Search Statistics ]==============================
217.92/218.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.92/218.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.92/218.01	c ===============================================================================
217.92/218.01	c |         0 |    8437    78226   100527 |    26075        0    nan |  0.000 % |
217.92/218.06	c |       101 |    8437    78226   100527 |    28682      101     18 | 84.784 % |
218.02/218.11	c |       253 |    8437    78226   100527 |    31551      253     21 | 84.784 % |
218.12/218.20	c |       479 |    8437    78226   100527 |    34706      479     24 | 84.784 % |
218.22/218.34	c |       820 |    8437    78226   100527 |    38176      820     25 | 84.784 % |
218.52/218.61	c |      1329 |    8437    78226   100527 |    41994     1329     33 | 84.784 % |
218.93/219.01	c |      2088 |    8437    78226   100527 |    46194     2088     31 | 84.784 % |
219.53/219.68	c |      3227 |    8437    78226   100527 |    50813     3227     34 | 84.784 % |
220.52/220.68	c |      4935 |    8437    78226   100527 |    55894     4935     36 | 84.784 % |
222.03/222.18	c |      7498 |    8296    78226   100527 |    61484     7487     37 | 85.039 % |
224.42/224.51	c |     11343 |    8296    78226   100527 |    67632    11332     37 | 85.039 % |
228.73/228.85	c |     17109 |    8296    78226   100527 |    74395    17098     39 | 85.039 % |
237.31/237.48	c |     25760 |    8296    78226   100527 |    81835    25749     42 | 85.039 % |
252.32/252.45	c |     38734 |    8166    78226   100527 |    90019    25734     38 | 85.273 % |
275.61/275.78	c ===============================================================================
275.81/275.92	c core #20
275.81/275.92	c ============================[ Search Statistics ]==============================
275.81/275.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
275.81/275.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
275.81/275.92	c ===============================================================================
275.81/275.92	c |         0 |    8644    78268   100770 |    26089        0    nan |  0.000 % |
275.81/275.98	c |       100 |    8644    78268   100770 |    28698      100     28 | 84.418 % |
275.91/276.04	c |       250 |    8644    78268   100770 |    31568      250     27 | 84.418 % |
276.01/276.12	c |       475 |    8644    78268   100770 |    34724      475     25 | 84.418 % |
276.10/276.26	c |       812 |    8644    78268   100770 |    38197      812     23 | 84.418 % |
276.41/276.54	c |      1319 |    8624    78268   100770 |    42017     1104     30 | 84.454 % |
276.71/276.85	c |      2078 |    8624    78268   100770 |    46218     1863     33 | 84.454 % |
277.21/277.36	c |      3218 |    8624    78268   100770 |    50840     3003     33 | 84.454 % |
278.01/278.16	c |      4927 |    8624    78268   100770 |    55924     4712     32 | 84.454 % |
279.61/279.71	c |      7489 |    8331    78268   100770 |    61517     7181     34 | 84.982 % |
282.11/282.29	c |     11336 |    8315    78268   100770 |    67669    11021     35 | 85.011 % |
286.31/286.46	c |     17103 |    8315    78268   100770 |    74435    16788     38 | 85.011 % |
293.62/293.73	c |     25753 |    8315    78268   100770 |    81879    25438     41 | 85.011 % |
307.80/307.92	c |     38728 |    8315    78268   100770 |    90067    38413     44 | 85.011 % |
334.59/334.72	c |     58190 |    8315    78268   100770 |    99074    57875     46 | 85.011 % |
387.98/388.13	c |     87384 |    8163    78268   100770 |   108981    77682     47 | 85.285 % |
477.95/478.13	c |    131174 |    7802    78268   100770 |   119879    47858     40 | 85.936 % |
482.05/482.26	c ===============================================================================
482.25/482.46	c core #21
482.25/482.46	c ============================[ Search Statistics ]==============================
482.25/482.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
482.25/482.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
482.25/482.46	c ===============================================================================
482.25/482.46	c |         0 |    8850    78318   101031 |    26106        0    nan |  0.000 % |
482.35/482.52	c |       100 |    8850    78318   101031 |    28716      100     19 | 84.053 % |
482.45/482.60	c |       252 |    8850    78318   101031 |    31588      252     24 | 84.053 % |
482.55/482.72	c |       477 |    8850    78318   101031 |    34747      477     30 | 84.053 % |
482.66/482.87	c |       816 |    8850    78318   101031 |    38221      816     35 | 84.053 % |
482.85/483.08	c |      1323 |    8850    78318   101031 |    42043     1323     34 | 84.053 % |
483.25/483.42	c |      2082 |    8850    78318   101031 |    46248     2082     32 | 84.053 % |
483.96/484.13	c |      3221 |    8850    78318   101031 |    50873     3221     36 | 84.053 % |
484.86/485.08	c |      4929 |    8850    78318   101031 |    55960     4929     38 | 84.053 % |
486.36/486.53	c |      7491 |    8850    78318   101031 |    61556     7491     39 | 84.053 % |
488.65/488.83	c |     11336 |    8850    78318   101031 |    67712    11336     39 | 84.053 % |
492.86/493.02	c |     17102 |    8850    78318   101031 |    74483    17102     43 | 84.053 % |
500.05/500.26	c |     25752 |    8850    78318   101031 |    81931    25752     41 | 84.053 % |
514.34/514.56	c |     38726 |    8850    78318   101031 |    90124    38726     39 | 84.054 % |
540.95/541.17	c |     58188 |    8850    78318   101031 |    99137    58188     44 | 84.053 % |
589.72/589.95	c |     87380 |    8850    78318   101031 |   109051    87380     47 | 84.054 % |
685.01/685.29	c |    131170 |    8372    78318   101031 |   119956   110610     48 | 84.915 % |
855.76/856.07	c |    196854 |    8319    78318   101031 |   131952   132136     46 | 85.010 % |
1161.38/1161.79	c |    295380 |    7775    78318   101031 |   145147    86152     37 | 85.990 % |
1168.88/1169.25	c ===============================================================================
1169.27/1169.60	c core #22
1169.27/1169.60	c ============================[ Search Statistics ]==============================
1169.27/1169.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1169.27/1169.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1169.27/1169.60	c ===============================================================================
1169.27/1169.60	c |         0 |    9055    78383   101337 |    26127        0    nan |  0.000 % |
1169.27/1169.66	c |       100 |    9055    78383   101337 |    28740      100     20 | 83.691 % |
1169.37/1169.73	c |       250 |    9055    78383   101337 |    31614      250     24 | 83.691 % |
1169.47/1169.88	c |       477 |    9055    78383   101337 |    34775      477     30 | 83.691 % |
1169.68/1170.01	c |       814 |    9055    78383   101337 |    38253      814     26 | 83.691 % |
1169.88/1170.27	c |      1326 |    9055    78383   101337 |    42078     1326     29 | 83.691 % |
1170.18/1170.56	c |      2086 |    9055    78383   101337 |    46286     2086     30 | 83.691 % |
1170.77/1171.12	c |      3226 |    9055    78383   101337 |    50915     3226     33 | 83.691 % |
1171.57/1171.91	c |      4936 |    9055    78383   101337 |    56006     4936     35 | 83.691 % |
1173.07/1173.46	c |      7499 |    9055    78383   101337 |    61607     7499     39 | 83.691 % |
1175.57/1175.93	c |     11344 |    9055    78383   101337 |    67768    11344     42 | 83.691 % |
1179.98/1180.32	c |     17110 |    9055    78383   101337 |    74545    17110     42 | 83.691 % |
1188.47/1188.88	c |     25759 |    9055    78383   101337 |    81999    25759     43 | 83.691 % |
1202.27/1202.68	c |     38733 |    9055    78383   101337 |    90199    38733     44 | 83.691 % |
1228.37/1228.77	c |     58194 |    9055    78383   101337 |    99219    58194     47 | 83.691 % |
1279.74/1280.19	c |     87387 |    9055    78383   101337 |   109141    87387     51 | 83.691 % |
1390.51/1390.97	c |    131177 |    9037    78383   101337 |   120055   131176     54 | 83.723 % |
1536.77/1537.27	c |    196862 |    9028    78383   101337 |   132061    47190     51 | 83.739 % |
1736.12/1736.64	c |    295390 |    9028    78383   101337 |   145267   145718     50 | 83.739 % |

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-2687373-1278452428/watcher-2687373-1278452428 -o /tmp/evaluation-result-2687373-1278452428/solver-2687373-1278452428 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687373-1278452428.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.08 1.59 1.52 3/105 24316
/proc/meminfo: memFree=1836804/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=8820 CPUtime=0
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 374 0 0 0 0 0 0 0 19 0 1 0 13451119 9031680 293 1992294400 134512640 135751879 4288270688 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 2205 294 145 303 0 445 0

[startup+0.065314 s]
/proc/loadavg: 1.08 1.59 1.52 3/105 24316
/proc/meminfo: memFree=1836804/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=11968 CPUtime=0.06
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 1211 0 0 0 6 0 0 0 21 0 1 0 13451119 12255232 1130 1992294400 134512640 135751879 4288270688 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 2992 1130 240 303 0 1232 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11968

[startup+0.100316 s]
/proc/loadavg: 1.08 1.59 1.52 3/105 24316
/proc/meminfo: memFree=1836804/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=13912 CPUtime=0.09
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 1700 0 0 0 9 0 0 0 21 0 1 0 13451119 14245888 1619 1992294400 134512640 135751879 4288270688 18446744073709551615 135204083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 3478 1619 293 303 0 1718 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13912

[startup+0.300339 s]
/proc/loadavg: 1.08 1.59 1.52 3/105 24316
/proc/meminfo: memFree=1836804/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=16632 CPUtime=0.29
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 2681 0 0 0 29 0 0 0 21 0 1 0 13451119 17031168 2600 1992294400 134512640 135751879 4288270688 18446744073709551615 135196487 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 4158 2601 622 303 0 2398 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16632

[startup+0.700383 s]
/proc/loadavg: 1.08 1.59 1.52 3/105 24316
/proc/meminfo: memFree=1836804/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=24856 CPUtime=0.69
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 5272 0 0 0 68 1 0 0 22 0 1 0 13451119 25452544 5069 1992294400 134512640 135751879 4288270688 18446744073709551615 134617499 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 6214 5069 1289 303 0 4454 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24856

[startup+1.50047 s]
/proc/loadavg: 1.08 1.59 1.52 2/106 24317
/proc/meminfo: memFree=1818444/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=42664 CPUtime=1.49
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 11614 0 0 0 146 3 0 0 25 0 1 0 13451119 43687936 9762 1992294400 134512640 135751879 4288270688 18446744073709551615 135202577 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 10666 9762 146 303 0 10361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42664

[startup+3.10065 s]
/proc/loadavg: 1.08 1.59 1.52 2/106 24317
/proc/meminfo: memFree=1798108/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=45700 CPUtime=3.09
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 12377 0 0 0 305 4 0 0 25 0 1 0 13451119 46796800 10525 1992294400 134512640 135751879 4288270688 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 11425 10525 146 303 0 11120 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45700

[startup+6.301 s]
/proc/loadavg: 1.08 1.58 1.52 2/106 24317
/proc/meminfo: memFree=1789304/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=52960 CPUtime=6.29
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 14199 0 0 0 624 5 0 0 25 0 1 0 13451119 54231040 12347 1992294400 134512640 135751879 4288270688 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 13240 12347 146 303 0 12935 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52960

[startup+12.7007 s]
/proc/loadavg: 1.07 1.57 1.52 2/106 24317
/proc/meminfo: memFree=1779012/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=62860 CPUtime=12.69
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 16669 0 0 0 1262 7 0 0 25 0 1 0 13451119 64368640 14817 1992294400 134512640 135751879 4288270688 18446744073709551615 134523936 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 15715 14817 146 303 0 15410 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62860

[startup+25.5011 s]
/proc/loadavg: 1.06 1.55 1.51 2/106 24317
/proc/meminfo: memFree=1764380/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=76192 CPUtime=25.48
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 19997 0 0 0 2540 8 0 0 25 0 1 0 13451119 78020608 18145 1992294400 134512640 135751879 4288270688 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 19048 18146 146 303 0 18743 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76192

[startup+51.101 s]
/proc/loadavg: 1.04 1.50 1.49 2/106 24319
/proc/meminfo: memFree=1745532/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=95200 CPUtime=51.07
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 24755 0 0 0 5097 10 0 0 25 0 1 0 13451119 97484800 22903 1992294400 134512640 135751879 4288270688 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 23800 22903 146 303 0 23495 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95200

[startup+102.308 s]
/proc/loadavg: 1.01 1.42 1.46 2/106 24319
/proc/meminfo: memFree=1724948/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=114548 CPUtime=102.26
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 30676 0 0 0 10205 21 0 0 18 0 1 0 13451119 117297152 27841 1992294400 134512640 135751879 4288270688 18446744073709551615 134616678 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 28637 27841 147 303 0 28332 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 114548

[startup+162.3 s]
/proc/loadavg: 1.00 1.34 1.43 2/106 24321
/proc/meminfo: memFree=1724700/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=114548 CPUtime=162.23
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 30676 0 0 0 16173 50 0 0 25 0 1 0 13451119 117297152 27841 1992294400 134512640 135751879 4288270688 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 28637 27841 147 303 0 28332 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 114548

[startup+222.301 s]
/proc/loadavg: 1.00 1.28 1.40 2/106 24323
/proc/meminfo: memFree=1732884/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=105264 CPUtime=222.22
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 31216 0 0 0 22146 76 0 0 25 0 1 0 13451119 107790336 25800 1992294400 134512640 135751879 4288270688 18446744073709551615 135221308 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 26316 25800 151 303 0 26011 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 105264

[startup+282.301 s]
/proc/loadavg: 1.00 1.22 1.37 2/106 24325
/proc/meminfo: memFree=1732760/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=105264 CPUtime=282.21
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 31216 0 0 0 28124 97 0 0 25 0 1 0 13451119 107790336 25800 1992294400 134512640 135751879 4288270688 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 26316 25800 151 303 0 26011 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 105264

[startup+342.301 s]
/proc/loadavg: 1.00 1.18 1.35 2/106 24327
/proc/meminfo: memFree=1732636/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=105264 CPUtime=342.19
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 31216 0 0 0 34102 117 0 0 25 0 1 0 13451119 107790336 25800 1992294400 134512640 135751879 4288270688 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 26316 25800 151 303 0 26011 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 105264

[startup+402.301 s]
/proc/loadavg: 1.00 1.14 1.32 2/106 24327
/proc/meminfo: memFree=1732760/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=105264 CPUtime=402.17
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 31216 0 0 0 40087 130 0 0 25 0 1 0 13451119 107790336 25800 1992294400 134512640 135751879 4288270688 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 26316 25800 151 303 0 26011 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 105264

[startup+462.3 s]
/proc/loadavg: 1.00 1.12 1.30 2/106 24329
/proc/meminfo: memFree=1732636/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=105264 CPUtime=462.16
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 31216 0 0 0 46071 145 0 0 25 0 1 0 13451119 107790336 25800 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 26316 25800 151 303 0 26011 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 105264

[startup+522.301 s]
/proc/loadavg: 1.00 1.09 1.28 2/106 24331
/proc/meminfo: memFree=1732636/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=105264 CPUtime=522.14
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 31216 0 0 0 52049 165 0 0 25 0 1 0 13451119 107790336 25800 1992294400 134512640 135751879 4288270688 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 26316 25800 151 303 0 26011 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 105264

[startup+582.301 s]
/proc/loadavg: 1.00 1.07 1.26 2/106 24333
/proc/meminfo: memFree=1732636/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=105264 CPUtime=582.12
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 31216 0 0 0 58032 180 0 0 25 0 1 0 13451119 107790336 25800 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 26316 25800 151 303 0 26011 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 105264

[startup+642.3 s]
/proc/loadavg: 1.00 1.06 1.24 2/106 24335
/proc/meminfo: memFree=1732512/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=105264 CPUtime=642.12
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 31216 0 0 0 64017 195 0 0 25 0 1 0 13451119 107790336 25800 1992294400 134512640 135751879 4288270688 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 26316 25800 151 303 0 26011 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 105264

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.02 1.17 2/106 24341
/proc/meminfo: memFree=1708208/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=130432 CPUtime=882.05
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 37429 0 0 0 87954 251 0 0 25 0 1 0 13451119 133562368 32013 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 32608 32013 151 303 0 32303 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 130432

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.16 2/106 24343
/proc/meminfo: memFree=1702008/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=136684 CPUtime=942.03
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 38971 0 0 0 93941 262 0 0 25 0 1 0 13451119 139964416 33555 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 34171 33555 151 303 0 33866 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 136684

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/106 24343
/proc/meminfo: memFree=1695188/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=143172 CPUtime=1002.02
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 40617 0 0 0 99926 276 0 0 25 0 1 0 13451119 146608128 35201 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 35793 35201 151 303 0 35488 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 143172

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 24345
/proc/meminfo: memFree=1689360/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=149272 CPUtime=1062
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 42117 0 0 0 105911 289 0 0 25 0 1 0 13451119 152854528 36701 1992294400 134512640 135751879 4288270688 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 37318 36701 151 303 0 37013 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 149272

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 24347
/proc/meminfo: memFree=1683780/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=154724 CPUtime=1121.98
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 43498 0 0 0 111899 299 0 0 25 0 1 0 13451119 158437376 38082 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 38681 38082 151 303 0 38376 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 154724

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 24349
/proc/meminfo: memFree=1669644/2059040 swapFree=4136052/4192956
[pid=24316] ppid=24314 vsize=168572 CPUtime=1181.97
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 46984 0 0 0 117882 315 0 0 25 0 1 0 13451119 172617728 41417 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 42143 41417 151 303 0 41838 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 168572

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 24360
/proc/meminfo: memFree=1668652/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=168836 CPUtime=1241.94
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 47066 0 0 0 123860 334 0 0 25 0 1 0 13451119 172888064 41499 1992294400 134512640 135751879 4288270688 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 42209 41499 151 303 0 41904 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 168836

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 24360
/proc/meminfo: memFree=1661460/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=176772 CPUtime=1301.94
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 49003 0 0 0 129842 352 0 0 25 0 1 0 13451119 181014528 43436 1992294400 134512640 135751879 4288270688 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 44193 43436 151 303 0 43888 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 176772

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 24362
/proc/meminfo: memFree=1653896/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=184176 CPUtime=1361.91
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 50885 0 0 0 135825 366 0 0 25 0 1 0 13451119 188596224 45318 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 46044 45318 151 303 0 45739 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 184176

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 24364
/proc/meminfo: memFree=1648316/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=190048 CPUtime=1421.9
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 52292 0 0 0 141810 380 0 0 25 0 1 0 13451119 194609152 46725 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 47512 46725 151 303 0 47207 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 190048

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 24366
/proc/meminfo: memFree=1643356/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=195000 CPUtime=1481.88
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 53538 0 0 0 147797 391 0 0 25 0 1 0 13451119 199680000 47971 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 48750 47971 151 303 0 48445 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 195000

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 24368
/proc/meminfo: memFree=1634056/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=204240 CPUtime=1541.87
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 55869 0 0 0 153776 411 0 0 25 0 1 0 13451119 209141760 50302 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 51060 50302 151 303 0 50755 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 204240

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 24368
/proc/meminfo: memFree=1625500/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=212960 CPUtime=1601.85
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 58022 0 0 0 159757 428 0 0 25 0 1 0 13451119 218071040 52455 1992294400 134512640 135751879 4288270688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 53240 52455 151 303 0 52935 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 212960

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 24370
/proc/meminfo: memFree=1619672/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=218696 CPUtime=1661.84
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 59469 0 0 0 165741 443 0 0 25 0 1 0 13451119 223944704 53902 1992294400 134512640 135751879 4288270688 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 54674 53902 151 303 0 54369 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 218696

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 24372
/proc/meminfo: memFree=1614340/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=224176 CPUtime=1721.82
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 60826 0 0 0 171726 456 0 0 25 0 1 0 13451119 229556224 55259 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 56044 55259 151 303 0 55739 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 224176

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 24374
/proc/meminfo: memFree=1608636/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=229448 CPUtime=1781.8
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 62152 0 0 0 177712 468 0 0 25 0 1 0 13451119 234954752 56585 1992294400 134512640 135751879 4288270688 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 57362 56585 151 303 0 57057 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 229448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 24374
/proc/meminfo: memFree=1607024/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=231164 CPUtime=1800.01
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 62555 0 0 0 179528 473 0 0 25 0 1 0 13451119 236711936 56988 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 57791 56988 151 303 0 57486 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 231164

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 24374
/proc/meminfo: memFree=1607024/2059040 swapFree=4136056/4192956
[pid=24316] ppid=24314 vsize=231164 CPUtime=1800.01
/proc/24316/stat : 24316 (wbo1.4b) R 24314 24316 23602 0 -1 4202496 62555 0 0 0 179528 473 0 0 25 0 1 0 13451119 236711936 56988 1992294400 134512640 135751879 4288270688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24316/statm: 57791 56988 151 303 0 57486 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 231164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.04
CPU user time (s): 1795.29
CPU system time (s): 4.75328
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 231164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.29
system time used= 4.75328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62555
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= 69
involuntary context switches= 7092

runsolver used 2.84857 second user time and 8.65868 second system time

The end

Launcher Data 

Begin job on node087 at 2010-07-06 23:40:29
IDJOB=2687373
IDBENCH=77715
IDSOLVER=1161
FILE ID=node087/2687373-1278452428
PBS_JOBID= 11233493
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= 61e5a79df84e43f9b39aa8611a460c56
RANDOM SEED=2069129646

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1837456 kB
Buffers:         12844 kB
Cached:         140916 kB
SwapCached:      12860 kB
Active:          98796 kB
Inactive:        72628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1837456 kB
SwapTotal:     4192956 kB
SwapFree:      4136052 kB
Dirty:            8536 kB
Writeback:           0 kB
AnonPages:       12504 kB
Mapped:           8288 kB
Slab:            28432 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687373-1278452428.opb

Free space on /tmp at the end= 62504 MiB
End job on node087 at 2010-07-07 00:10:31